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 10 of 10 for “"logical systems"”.
-
Linear Logic and Noncommutativity in the Calculus of Structures
In this thesis I study several deductive systems for linear logic, its fragments, and some noncommutative extensions. All systems will be designed within the calculus of structures, which is a proof theoretical formalism for specifying logical systems, in the tradition of Hilbert's formalism, …
-
Improving operational efficiency of a semiconductor equipment manufacturing warehouse through effective utilization of Vertical Lift Modules
… The three strategies are then crafted into logical systems that could be used to strategically place received parts and eliminate the need for periodic reslotting. The Snake method was found to be the most well suited for this particular situation due to the small order sizes. This method …
-
In Search of Homo Sociologicus
… subgroups. Epistemic logic is the study of logical systems that express mathematical properties of knowledge and belief. In recent years, there have been increasing number of new epistemic logic systems that are focused on community properties such as knowledge and belief adoption among …
-
Mezinárodní bezpilotní přeprava zboží
… Weyr and the way of functioning of formally logical systems is performed within the work. This normative theory has a great impact on the actual functioning of the information system itself, which is exempt from the content of its own rule contained in the norm itself. There are described …
-
Lifted First-Order Probabilistic Inference
… has been a long standing division in AI between logical symbolic and probabilistic reasoning approaches. While probabilistic models can deal well with inherent uncertainty in many real-world domains, they operate on a mostly propositional level. Logic systems, on the other hand, can deal with …
-
AbsInt-AI: Language Models for Abstract Interpretation
… static analysis algorithms model programs as logical systems with well-defined semantics, enabling strong guarantees such as never missing a bug. However, traditional analyses almost always rely on uniform, hard-coded heap abstractions. While more adaptive abstractions are possible in theory, …
-
The Relationship Between Metaphysics and Logic
… open our eyes to the metaphysical reality of logical systems and more questions begin to appear; does this notion of input and output presuppose metaphysics in the sense that we derive these rules from pre-existing laws apparent in the nature of reality? And what is the primacy of importance …
-
Qualitative modeling of chaotic logical circuits and walking droplets: a dynamical systems approach
Logical circuits and wave-particle duality have been studied for most of the 20th century. During the current century scientists have been thinking differently about these well-studied systems. Specifically, there has been great interest in chaotic logical circuits and hydrodynamic quantum analogs. …
-
Experimental Design of Single Cell Sequencing Experiments
… and high-dimensional studies of bio- logical systems. This is particularly useful in functional genomics screens that introduce perturbations to investigate and reconstruct the regulatory networks within and between cells. CRISPR screens are the leading method of conducting functional …
-
The Logical Structure of Scientific Knowledge-Systems
… of, what I shall call, scientific knowledge-systems. This line of argument is laid out over the course of two parts, along with an extended introduction. In my extended introduction, I will situate myself with respect to the wider philosophy of science. This is necessary, because the body of …