Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 3713 for “"Logic"”.
-
Pseudo-Threshold Logic: A Generalization of Threshold Logic
Made available in DSpace on 2014-12-08T22:54:50Z (GMT). No. of bitstreams: 1 7105039.pdf: 9727742 bytes, checksum: 59cc33f87a759d40491c6220d47cc582 (MD5) Previous issue date: 1970
-
Quantified Epistemic Logic
Made available in DSpace on 2014-12-10T17:07:45Z (GMT). No. of bitstreams: 1 7013518.pdf: 9303428 bytes, checksum: aba837db0e39fda3dd90703011faab73 (MD5) Previous issue date: 1969
-
Computer Logic Programs
Made available in DSpace on 2014-12-05T21:50:17Z (GMT). No. of bitstreams: 1 6003879.pdf: 2955786 bytes, checksum: f8932bcfde996d40e6bc70c74e643445 (MD5) Previous issue date: 1960
-
Matching μ-Logic
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-12-04 without embargo terms
-
Microfluidic bubble logic
… science and fluid dynamics, I present a new logic family "Bubble Logic" capable of both universal computation and programmable material manipulation in an all-fluidic two-phase system. This removes the distinction between materials and mechanisms to control them, bringing the programmability …
-
Asynchronous logic automata
… the spatially concurrent, asynchronous nature of logic, scaling down in size and up in complexity becomes significantly easier. In particular, we introduce "asynchronous logic automata", which are a specialization of both asynchronous cellular automata and Petri nets, and include Boolean logic …
-
Logic, semantics, ontology
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1991.
-
Logic matter : digital logic as heuristics for physical self-guided-assembly
… complexity we need to develop automated assembly logic embedded within our material parts to aid in construction. In this thesis I introduce Logic Matter as a system of passive mechanical digital logic modules for self-guided-assembly of large-scale structures. As opposed to current systems in …
-
Geometric Fuzzy Logic Systems
… prior to this thesis, generalised type-2 fuzzy logic has not yet been applied in a time critical domain, such as control. Control applications are the main application area of type-l fuzzy systems with the literature reporting many successes in this area. Clearly the computational complexity …
-
Evolving Variability Tolerant Logic
… clusters. The observed results for two-input logic gates demonstrate that the technique can be effective in the reduction of statistical spread in the delay and power consumption of circuits subject to intrinsic variability. The thesis finishes with the investigation of larger circuits which …
-
Forward with separation logic
The use of Hoare logic in combination with weakest preconditions and strongest postconditions is a standard tool for program verification, known as backward and forward reasoning. Separation logic, an extension of Hoare logic, finds countless applications in the areas of program verification, but …
-
Visualization of logic programming
… In particular, the execution processes of logic programming languages are of interest here, since the typical model of execution may seem foreign to programmers familiar only with procedural languages. In this work, we examine a logic programming language, Fuzzy Relational Inference …
-
Frontiers of Conditional Logic
<p>Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the …
-
Optically Powered Logic Transistor
… solid-state device meant to be used for digital logic circuits. Most current logic circuits are based on MOSFETs. The new logic device uses some of the same operating principles, but also relies on optical illumination to provide input power. In order to obtain the desired current-voltage …
-
Free will and logic
… moral responsibility - can be settled only by a logical or conceptual enquiry. A contrary view - that we can settle the dispute by appeal to introspection - is examined and refuted. The question 'Are our wills contra-causally free?' is shown to have three presuppositions: One factual, and two …
-
Free will and logic
… moral responsibility - can be settled only by a logical or conceptual enquiry. A contrary view - that we can settle the dispute by appeal to introspection - is examined and refuted. The question 'Are our wills contra-causally free?' is shown to have three presuppositions: One factual, and two …
-
Multi-Threshold Threshold Logic
Made available in DSpace on 2014-12-08T22:24:08Z (GMT). No. of bitstreams: 1 6706782.pdf: 1956941 bytes, checksum: 2d859c8c1fb64bb028a7b32de7a4cde6 (MD5) Previous issue date: 1966
-
A di alogue logic
… of a particular craft, one can create unique "logics" that blur the perceived line between craft and computation.
Page 1 of 186