Academic literature on the topic 'Logic evaluation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logic evaluation.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Logic evaluation"
STÄRK, ROBERT F. "Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages." Journal of Functional Programming 8, no. 2 (March 1998): 97–129. http://dx.doi.org/10.1017/s0956796898002974.
Full textGreene, Jennifer C. "Logic and evaluation theory." Evaluation and Program Planning 38 (June 2013): 71–73. http://dx.doi.org/10.1016/j.evalprogplan.2012.03.017.
Full textOzeki, Satoshi, Chris L. S. Coryn, and Daniela C. Schröter. "Evaluation logic in practice." Evaluation and Program Planning 76 (October 2019): 101681. http://dx.doi.org/10.1016/j.evalprogplan.2019.101681.
Full textT. Kamol, Saydazimov. "Problem of Explanation and Understanding in the Evaluation Logic." International Journal of Psychosocial Rehabilitation 24, Special Issue 1 (February 28, 2020): 966–73. http://dx.doi.org/10.37200/ijpr/v24sp1/pr201241.
Full textScriven, Michael. "The logic of evaluation and evaluation practice." New Directions for Evaluation 1995, no. 68 (September 1995): 49–70. http://dx.doi.org/10.1002/ev.1019.
Full textRenger, Ralph, Shandiin Wood, Simon Williamson, and Stefanie Krapp. "Systemic Evaluation, Impact Evaluation and Logic Models." Evaluation Journal of Australasia 11, no. 2 (September 2011): 24–30. http://dx.doi.org/10.1177/1035719x1101100204.
Full textDeborah, Lazarus Jegatha, Ramachandran Baskaran, and Arputharaj Kannan. "Deontic Logic Based Ontology Alignment Technique for E-Learning." International Journal of Intelligent Information Technologies 8, no. 3 (July 2012): 56–72. http://dx.doi.org/10.4018/jiit.2012070104.
Full textMoggi, Eugenio. "A SEMANTICS FOR EVALUATION LOGIC." Fundamenta Informaticae 22, no. 1,2 (1995): 117–52. http://dx.doi.org/10.3233/fi-1995-22126.
Full textLin, Ching-Torng, Hero Chiu, and Yi-Hong Tseng. "Agility evaluation using fuzzy logic." International Journal of Production Economics 101, no. 2 (June 2006): 353–68. http://dx.doi.org/10.1016/j.ijpe.2005.01.011.
Full textDOURRA, HUSSEIN, and PEPE SIY. "STOCK EVALUATION USING FUZZY LOGIC." International Journal of Theoretical and Applied Finance 04, no. 04 (August 2001): 585–602. http://dx.doi.org/10.1142/s0219024901001188.
Full textDissertations / Theses on the topic "Logic evaluation"
Verma, Atulya Kumar. "Application of fuzzy logic in mineral resource evaluation." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61304.pdf.
Full textFuller, David Alfredo. "Partial evaluation and mix computation in logic programming." Thesis, Imperial College London, 1989. http://hdl.handle.net/10044/1/47442.
Full textModi, Manish Harsukh. "Susceptibility evaluation of combational logic in VLSI circuits." Thesis, Virginia Tech, 1990. http://hdl.handle.net/10919/42221.
Full textMaster of Science
Orri, Stefansson Hlynur. "Decision theory and counterfactual evaluation." Thesis, London School of Economics and Political Science (University of London), 2014. http://etheses.lse.ac.uk/984/.
Full textMarsh, Andrew J. "A query evaluation model supporting parallelism for logic programs." Thesis, University of Essex, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278617.
Full textUcar, Baris. "Coastal Scenic Evaluation By Application Of Fuzzy Logic Mathematics." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12605198/index.pdf.
Full textirali were related to demographical information of respondents by factorial analysis. A coastal scenic classification curve was obtained for all 86 coastal sites around the world which enabled grouping of the sites in five different classes.
Hardy, Martin Charles. "Control logic evaluation of bespoke computer controlled machine tools." Thesis, University of Huddersfield, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.359143.
Full textSlaney, Kathleen L. "The logic of test analysis: an evaluation of test theory and a proposed logic for test analysis /." Burnaby B.C. : Simon Fraser University, 2006. http://ir.lib.sfu.ca/handle/1892/2668.
Full textRuff, Tina. "Program Evaluation of Student-Athlete Academic Support Services Unit Using the Logic Model Evaluation." Thesis, University of Nevada, Reno, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10252257.
Full textThe study utilized the logic model evaluation to ascertain the effectiveness of the Student-Athlete Academic Support Services (SAASS) unit at a NCAA Division I research university located in the Western United States. The logic model evaluation provided a process to determine the extent to which the unit achieved its purpose and outcomes. The logic model evaluation can be tailored to the exact unit based on the short-term and long-term goals of the program. Based on the tenets of flexibility and adaptability, the logic model evaluation was selected as an appropriate tool for the study. Overall, the SAASS unit was perceived to be effective by its key constituent groups. The evaluation highlighted the importance of the athletic academic advisor in keeping students on track to graduation and communicating issues to administrators, coaches, and professors. Recommendations are provided to potentially improve the SAASS unit under study.
Peemöller, Björn [Verfasser]. "Normalization and Partial Evaluation of Functional Logic Programs / Björn Peemöller." Kiel : Universitätsbibliothek Kiel, 2017. http://d-nb.info/1137555211/34.
Full textBooks on the topic "Logic evaluation"
Dujmović, Jozo. Soft Computing Evaluation Logic. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2018. http://dx.doi.org/10.1002/9781119256489.
Full textLagkouvardos, Dimitrios. Evaluation of transaction logic programs. Ottawa: National Library of Canada, 1993.
Find full textLagkouvardos, Dimitrios. Evaluation of transaction logic programs. Toronto: University of Toronto, Dept. of Computer Science, 1994.
Find full textLogic modeling methods in program evaluation. San Francisco: Jossey-Bass, a Wiley imprint, 2007.
Find full textClarke, D. S. Deductive logic: An introduction to evaluation techniques and logical theory. 2nd ed. Lanham, Md: University Press of America, 1998.
Find full textVerma, Atulya Kumar. Application of fuzzy logic in mineral resource evaluation. Sudbury, Ont: Mineral Resources Engineering, Laurentian University, 2001.
Find full textVaidya, Anand. Logic & critical reasoning: Conceptual foundations and techniques of evaluation. Dubuque, IA: Kendall Hunt, 2011.
Find full textHardy, Martin Charles. Control logic evaluation of bespoke computer controlled machine tools. Huddersfield: The University, 1994.
Find full textRodohan, Darren Patrick. The associative evaluation of logic programs and heuristic search techniques. Uxbridge: Brunel University, 1993.
Find full textLongvill, J. F. J. Evaluation of a three dimensional FPGA logic and routing architecture. Manchester: UMIST, 1997.
Find full textBook chapters on the topic "Logic evaluation"
Pitts, Andrew M. "Evaluation Logic." In Workshops in Computing, 162–89. London: Springer London, 1991. http://dx.doi.org/10.1007/978-1-4471-3182-3_11.
Full textLeuschel, Michael. "Logic Program Specialisation." In Partial Evaluation, 155–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-47018-2_5.
Full textLeuschel, Michael. "Advanced Logic Program Specialisation." In Partial Evaluation, 271–92. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-47018-2_11.
Full textCeri, Stefano, Georg Gottlob, and Letizia Tanca. "Evaluation Methods." In Logic Programming and Databases, 145–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-642-83952-8_9.
Full textMcLaughlin, John A., and Gretchen B. Jordan. "Using Logic Models." In Handbook of Practical Program Evaluation, 62–87. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2015. http://dx.doi.org/10.1002/9781119171386.ch3.
Full textCaferra, Ricardo, Alexander Leitsch, and Nicholas Peltier. "Model Representation and Evaluation." In Applied Logic Series, 233–72. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-1-4020-2653-9_5.
Full textCosta, Jorge, and Ricardo Rocha. "Global Storing Mechanisms for Tabled Evaluation." In Logic Programming, 708–12. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89982-2_62.
Full textSaha, Diptikalyan, and C. R. Ramakrishnan. "Incremental Evaluation of Tabled Logic Programs." In Logic Programming, 392–406. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-24599-5_27.
Full textAntoy, Sergio. "Lazy evaluation in logic." In Programming Language Implementation and Logic Programming, 371–82. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54444-5_113.
Full textParekh, Bhikhu. "Logic of Intercultural Evaluation." In Rethinking Multiculturalism, 264–94. London: Macmillan Education UK, 2006. http://dx.doi.org/10.1007/978-0-230-20425-6_10.
Full textConference papers on the topic "Logic evaluation"
Liu, Ang, Wei Wei, and Stephen C. Y. Lu. "Logic-Based Evaluation Metrics for Concept Evaluation." In ASME 2014 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/detc2014-35168.
Full textBaier, Christel, Tomas Brazdil, Marcus Grosser, and Antonin Kucera. "Stochastic Game Logic." In Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). IEEE, 2007. http://dx.doi.org/10.1109/qest.2007.38.
Full textPyo, Changwoo. "Partial evaluation of logic programs." In the 1988 ACM sixteenth annual conference. New York, New York, USA: ACM Press, 1988. http://dx.doi.org/10.1145/322609.323132.
Full textLópez-Fraguas, Francisco J., and Enrique Martin-Martin. "Typing as functional-logic evaluation." In the ACM SIGPLAN 2013 workshop. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2426890.2426896.
Full textSikora, R. "Reconstruction of Cracks from Eddy Current Signals Using Genetic Algorithm and Fuzzy Logic." In QUANTITATIVE NONDESTRUCTIVE EVALUATION. AIP, 2006. http://dx.doi.org/10.1063/1.2184605.
Full textKumar, Umesh, Lavisha Sahu, and Uma Sharma. "Performance evaluation of reversible logic gates." In 2016 International Conference on ICT in Business Industry & Government (ICTBIG). IEEE, 2016. http://dx.doi.org/10.1109/ictbig.2016.7892693.
Full textPingali, K. "Lazy evaluation and the logic variable." In the 2nd international conference. New York, New York, USA: ACM Press, 1988. http://dx.doi.org/10.1145/55364.55419.
Full textJiang, Yunjian, Slobodan Matic, and Robert K. Brayton. "Generalized cofactoring for logic function evaluation." In the 40th conference. New York, New York, USA: ACM Press, 2003. http://dx.doi.org/10.1145/775832.775873.
Full textNunez, Juan, Maria J. Avedillo, and Jose M. Quintana. "Evaluation of RTD-CMOS Logic Gates." In 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD). IEEE, 2010. http://dx.doi.org/10.1109/dsd.2010.17.
Full textIngoley, Shilpa N., and J. W. Bakal. "Students' performance evaluation using fuzzy logic." In 2012 Nirma University International Conference on Engineering (NUiCONE). IEEE, 2012. http://dx.doi.org/10.1109/nuicone.2012.6493179.
Full textReports on the topic "Logic evaluation"
Libby, S. I., M. A. Parker, G. R. Olbright, and P. D. Swanson. Preliminary Surface-Emitting Laser Logic Device Evaluation. Fort Belvoir, VA: Defense Technical Information Center, March 1993. http://dx.doi.org/10.21236/ada266111.
Full textPeters, Arthur. The Basic Scheme for the Evaluation of Functional Logic Programs. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.914.
Full textFiorentini, Xenia, Sudarsan Rachuri, Mahesh Mani, Steven J. Fenves, and Ram D. Sriram. An Evaluation of description logic for the development of product models. Gaithersburg, MD: National Institute of Standards and Technology, 2008. http://dx.doi.org/10.6028/nist.ir.7481.
Full textFellows, R. L. Oak Ridge K-25 Site Technology Logic Diagram. Volume 1, Technology evaluation. Office of Scientific and Technical Information (OSTI), February 1993. http://dx.doi.org/10.2172/10131613.
Full textWiecha, Jean L., and Mary K. Muth. Agreements Between Public Health Organizations and Food and Beverage Companies: Approaches to Improving Evaluation. RTI Press, January 2021. http://dx.doi.org/10.3768/rtipress.2021.op.0067.2101.
Full textHays, K. M., G. D. Wyss, and S. L. Daniel. A user`s guide to SABLE 2.0: The Sandia Automated Boolean Logic Evaluation software. Office of Scientific and Technical Information (OSTI), April 1996. http://dx.doi.org/10.2172/231653.
Full textAuthor, Not Given. Oak Ridge National Laboratory Technology Logic Diagram. Volume 3, Technology evaluation data sheets: Part A, Characterization, Decontamination. Office of Scientific and Technical Information (OSTI), September 1993. http://dx.doi.org/10.2172/10147346.
Full textFellows, R. L. Oak Ridge K-25 Site Technology Logic Diagram. Volume 3, Technology evaluation data sheets; Part A, Characterization, decontamination, dismantlement. Office of Scientific and Technical Information (OSTI), February 1993. http://dx.doi.org/10.2172/10131616.
Full textFellows, R. L. Oak Ridge K-25 Site Technology Logic Diagram. Volume 3, Technology evaluation data sheets; Part B, Remedial action, robotics/automation, waste management. Office of Scientific and Technical Information (OSTI), February 1993. http://dx.doi.org/10.2172/10131618.
Full textPalmer, John M. Using Fuzzy Logic in Evaluating User Tabled Correlation Rules for COMINT. Fort Belvoir, VA: Defense Technical Information Center, May 2000. http://dx.doi.org/10.21236/ada394698.
Full text