Academic literature on the topic 'Logic evaluation'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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"

1

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 text
Abstract:
In this article we explain two different operational interpretations of functional programs by two different logics. The programs are simply typed λ-terms with pairs, projections, if-then-else and least fixed point recursion. A logic for call-by-value evaluation and a logic for call-by-name evaluation are obtained as as extensions of a system which we call the basic logic of partial terms (BPT). This logic is suitable to prove properties of programs that are valid under both strict and non-strict evaluation. We use methods from denotational semantics to show that the two extensions of BPT are adequate for call-by-value and call-by-name evaluation. Neither the programs nor the logics contain the constant ‘undefined’.
APA, Harvard, Vancouver, ISO, and other styles
2

Greene, 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 text
APA, Harvard, Vancouver, ISO, and other styles
3

Ozeki, 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 text
APA, Harvard, Vancouver, ISO, and other styles
4

T. 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 text
APA, Harvard, Vancouver, ISO, and other styles
5

Scriven, 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 text
APA, Harvard, Vancouver, ISO, and other styles
6

Renger, 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 text
APA, Harvard, Vancouver, ISO, and other styles
7

Deborah, 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 text
Abstract:
The recent explosion in web services usage and information technology has led to the challenging issue of Ontology Construction and Alignment in order to enhance the semantics of web documents in E-Learning scenarios. In such a circumstance, it is necessary to provide an effective solution for Ontology Alignment that can help in student performance evaluation. The authors propose a rule-based solution for evaluating the students using Ontology Alignment techniques. For this purpose, they make use of the rules based on Deontic Logic and hence make a positive attempt in analyzing the presence of some of the non-dominant categorization of words like determiners, time clauses and modal verbs occurring in the text documents using Standard Deontic rules. The experiments have been carried out on evaluating the learning of C programming language using an E-Learning framework. From these evaluations, it has been observed that the proposed evaluation technique improves the accuracy of student evaluation significantly.
APA, Harvard, Vancouver, ISO, and other styles
8

Moggi, 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 text
APA, Harvard, Vancouver, ISO, and other styles
9

Lin, 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 text
APA, Harvard, Vancouver, ISO, and other styles
10

DOURRA, 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 text
Abstract:
We use fuzzy logic engineering tools to detect human behavior in the finance arena, specifically in the technical analysis field. Since technical analysis theory consists of indicators used by experts to evaluate stock prices, the new proposed method maps these indicators into new inputs that can be fed into a fuzzy logic system. This system can create an optimum computerized model to evaluate stock price movement. This method relies on human psychology to predict human behavior when certain price movements or certain price formations occur. The success of the system is measured by comparing system output versus stock price movement. The new stock evaluation method is proven to exceed market performance and it can be an excellent tool in the technical analysis field. The flexibility of the system is also demonstrated.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logic evaluation"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

Fuller, David Alfredo. "Partial evaluation and mix computation in logic programming." Thesis, Imperial College London, 1989. http://hdl.handle.net/10044/1/47442.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Modi, Manish Harsukh. "Susceptibility evaluation of combational logic in VLSI circuits." Thesis, Virginia Tech, 1990. http://hdl.handle.net/10919/42221.

Full text
Abstract:
A number of errors occur in digital systems operating in a harsh radiation environment. These errors are due to transient faults which may cause a temporary change in the state of the system without any permanent damage. These transient faults are referred to as Single Event Upsets (SEUs). Because of their random and non-recurring nature, such faults are very difficult to detect and hence are of source of great concern. This thesis examines the logical response of combinational logic circuits to SEUs. Time domain analyses of a large number of circuits attempts to determine the affect of an SEU on a flip-flop which might lay at the end of a chain of combinational logic gates. In this way, the concept of an upset window, as it pertains to different types of logic gates is introduced. The results of the simulations carried out on various blocks of combinational logic are discussed. A program called SUPER (SUsceptibility PrEdiction pRogram) is developed. SUPER predicts the probability of a circuit fault occurring given that a cosmic ray with certain energy characteristics impinges on an arbitrary point within an IC. IC. The input variables to SUPER include the radiation level, the duration of the radiation, the types of gates the radiation affects, the signal path, the type of voltage pulse that the radiation produces (rising or falling) and the time (with respect to the clock pulse) that the radiation is incident on the circuit. The output of SUPER consists of a prediction as to whether or not the incident radiation causes a change in the output of a flip-flop.
Master of Science
APA, Harvard, Vancouver, ISO, and other styles
4

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 text
Abstract:
The value of actual outcomes or states of affairs often depends on what could have been. Such dependencies create well-known “paradoxes” for decision theory, the best-known perhaps being the so-called Allais Paradox. The primary aim of this PhD thesis is to enrich decision theory such that it includes counterfactual prospects in the domains of desirability (or utility) functions, and show that, as a result, the paradoxes in question disappear. Before discussing the way in which counterfactual propositions influence the desirability of actual outcomes, I discuss the way in which the truth of one factual proposition influences the desirability of another. This examination leads me to reject the Invariance assumption, which states that the desirability of a proposition is independent of whether it is true. The assumption plays an important role in David Lewis’ famous arguments against the so-called Desire-as-Belief thesis (DAB). The unsoundness of Lewis’ argument does of course not make DAB true. In fact, I provide novel arguments against different versions of DAB, without assuming Invariance. To justify the assumptions I make when extending decision theory to counterfactual prospects, I discuss several issues concerning the logic, metaphysics and epistemology of counterfactuals. For instance, I defend a version of the so-called Ramsey test, and show that Richard Bradley’s recent Multidimensional Possible World Semantics for Conditionals is both more plausible and permissive than Bradley’s original formulation of it suggested. I use the multidimensional semantics to extend Richard Jeffrey’s decision theory to counterfactuals, and show that his desirability measure, extended to counterfactuals, can represent the various different ways in which counterfactuals influence the desirability of factual propositions. And I explain why the most common alternatives to Jeffrey’s theory cannot be similarly extended. I conclude the thesis by using Jeffrey’s extended decision theory to construct an ethical theory I call Modal Consequentialism, and argue that it better satisfies certain entrenched moral intuitions than Non-Modal Consequentialism (such as classical utilitarianism and welfare economics).
APA, Harvard, Vancouver, ISO, and other styles
5

Marsh, 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 text
APA, Harvard, Vancouver, ISO, and other styles
6

Ucar, 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 text
Abstract:
Coastal scenery evaluated by utilization of selected landscape components was subject to fuzzy logic system approach. Based on this methodology, coastal areas were grouped into five classes using the evaluation index D giving the overall result of scenic assessment over the attributes. Within the methodology, public perception surveys from Turkey, UK, Malta, and Croatia were used as a tool for environmental perception in the methodology. The results of the public perception surveys were utilized to obtain the weights of scenic parameters. Public surveys in Ç
irali 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.
APA, Harvard, Vancouver, ISO, and other styles
7

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 text
APA, Harvard, Vancouver, ISO, and other styles
8

Slaney, 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 text
APA, Harvard, Vancouver, ISO, and other styles
9

Ruff, 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 text
Abstract:

The 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.

APA, Harvard, Vancouver, ISO, and other styles
10

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 text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Logic evaluation"

1

Dujmović, Jozo. Soft Computing Evaluation Logic. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2018. http://dx.doi.org/10.1002/9781119256489.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lagkouvardos, Dimitrios. Evaluation of transaction logic programs. Ottawa: National Library of Canada, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lagkouvardos, Dimitrios. Evaluation of transaction logic programs. Toronto: University of Toronto, Dept. of Computer Science, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Logic modeling methods in program evaluation. San Francisco: Jossey-Bass, a Wiley imprint, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Clarke, D. S. Deductive logic: An introduction to evaluation techniques and logical theory. 2nd ed. Lanham, Md: University Press of America, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Verma, Atulya Kumar. Application of fuzzy logic in mineral resource evaluation. Sudbury, Ont: Mineral Resources Engineering, Laurentian University, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Vaidya, Anand. Logic & critical reasoning: Conceptual foundations and techniques of evaluation. Dubuque, IA: Kendall Hunt, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hardy, Martin Charles. Control logic evaluation of bespoke computer controlled machine tools. Huddersfield: The University, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Rodohan, Darren Patrick. The associative evaluation of logic programs and heuristic search techniques. Uxbridge: Brunel University, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Longvill, J. F. J. Evaluation of a three dimensional FPGA logic and routing architecture. Manchester: UMIST, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logic evaluation"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

Leuschel, 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 text
APA, Harvard, Vancouver, ISO, and other styles
3

Leuschel, 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 text
APA, Harvard, Vancouver, ISO, and other styles
4

Ceri, 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 text
APA, Harvard, Vancouver, ISO, and other styles
5

McLaughlin, 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 text
APA, Harvard, Vancouver, ISO, and other styles
6

Caferra, 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 text
APA, Harvard, Vancouver, ISO, and other styles
7

Costa, 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 text
APA, Harvard, Vancouver, ISO, and other styles
8

Saha, 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 text
APA, Harvard, Vancouver, ISO, and other styles
9

Antoy, 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 text
APA, Harvard, Vancouver, ISO, and other styles
10

Parekh, 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 text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logic evaluation"

1

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 text
Abstract:
Synthesis is a common activity in engineering design. It is widely recognized to be important to the whole engineering design process in general, and to the early design stages in particular. In the past, however, there remains lack of a set of rigorous metrics to evaluate the effectiveness of performing design synthesis in conceptual design. Based on relevant studies of abductive reasoning in logic, this paper introduces a set of domain-independent design synthesis metric: clarity, feasibility, testability, simplicity, and analogy. For each metrics, the rationale of including it is explained, and a systemic evaluation procedure is prescribed. Individually, each metrics addresses a particular aspect of design synthesis in conceptual design. Collectively, the combined consideration of all metrics as a single vector helps the designer to identify the most promising synthesis outcome, the best design concept, which both satisfies upstream objectives and meets downstream constraints.
APA, Harvard, Vancouver, ISO, and other styles
2

Baier, 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 text
APA, Harvard, Vancouver, ISO, and other styles
3

Pyo, 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 text
APA, Harvard, Vancouver, ISO, and other styles
4

Ló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 text
APA, Harvard, Vancouver, ISO, and other styles
5

Sikora, 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 text
APA, Harvard, Vancouver, ISO, and other styles
6

Kumar, 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 text
APA, Harvard, Vancouver, ISO, and other styles
7

Pingali, 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 text
APA, Harvard, Vancouver, ISO, and other styles
8

Jiang, 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 text
APA, Harvard, Vancouver, ISO, and other styles
9

Nunez, 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 text
APA, Harvard, Vancouver, ISO, and other styles
10

Ingoley, 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 text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logic evaluation"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

Peters, 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 text
APA, Harvard, Vancouver, ISO, and other styles
3

Fiorentini, 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 text
APA, Harvard, Vancouver, ISO, and other styles
4

Fellows, 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 text
APA, Harvard, Vancouver, ISO, and other styles
5

Wiecha, 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 text
Abstract:
Efforts in the United States and abroad to address the chronic disease epidemic have led to the emergence of voluntary industry agreements as a substitute for regulatory approaches to improve the healthfulness of foods and beverages. Because of the lack of access to data and limited budgets, evaluations of these agreements have often been limited to process evaluation with less focus on outcomes and impact. Increasing scientific scope and rigor in evaluating voluntary food and beverage industry agreements would improve potential public health benefits and understanding of the effects of these agreements. We describe how evaluators can provide formative, process, and outcome assessment and discuss challenges and opportunities for impact assessment. We explain how logic models, industry profiles, quasi-experimental designs, mixed-methods approaches, and third-party data can improve the effectiveness of agreement design and evaluation. These methods could result in more comprehensive and rigorous evaluation of voluntary industry agreements, thus providing data to bolster the public health impacts of future agreements. However, improved access to data and larger evaluation budgets will be needed to support improvements in evaluation.
APA, Harvard, Vancouver, ISO, and other styles
6

Hays, 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 text
APA, Harvard, Vancouver, ISO, and other styles
7

Author, 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 text
APA, Harvard, Vancouver, ISO, and other styles
8

Fellows, 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 text
APA, Harvard, Vancouver, ISO, and other styles
9

Fellows, 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 text
APA, Harvard, Vancouver, ISO, and other styles
10

Palmer, 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
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography