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 8 of 8 for “"Language and logic"”.
-
A Language and Logic for Programming and Reasoning with Partial Observability
… of the environment. For example, the Mars Polar Lander (MPL) is a lost space probe that crashed because its control software believed it was on the Martian surface when it was actually 40m high, and as a result, it turned off its descent engine too early. Developers need better software …
-
A framework for the language and logic of computer-aided phenomena-based process modeling
… analysis, control, scheduling, diagnosis, and training all rely on mathematical models for solution of some engineering problem. Likewise, most of the undergraduate chemical engineering curricula are model-based. However, the lack of formalization and systematization associated with model …
-
A study in child thought, language and logic : observations of a six-year-old child, individually at home, and together with his play and school groups : experimental tests and analysis of observations, in accordance with the theories of Piaget
… Piaget, Institut J. J. Rousseau, Geneva, Switzerland, The Language and Thought of the Child and Judgement and Reasoning in the Child; hence the very small bibliography, the material used being observations and experimental tests based on these volumes.<sup>1</sup></p><p>Much has been written …
-
The Letter of James and Middle Platonism: Tracing Early Christian Engagements with Greek Philosophy
… philosophical context of Greco-Roman antiquity, and argues that what are typically seen as Jewish “Wisdom themes” in the letter should instead be understood in terms of Greek philosophical discourse. Through comparative analysis, it shows that the central concerns in the letter of James, …
-
Digital nomads : space + narrative computing for the village of Al Araqib
… energy to provide electricity to the village, and smartphones to document and report demolitions. As an act of resistance as much as a practical measure, they repeatedly rebuild their houses, appropriating architecture as a political tool. This creates a situation where the Bedouin with their …
-
As Below So Above: Reconstructing the Neo-Babylonian Worldview
… BCE Neo-Babylonians thought, reasoned, and wrote in order to partially reconstruct the shared, generally held worldview of the Neo-Babylonian people using the transdisciplinary approach of worldview analysis. Worldviews are what we use to think with, not what we think about. Underlying …
-
Polarized substructural session types
… difficult to reason about, both for programmers and formally. One approach to coping with this difficulty is to study new programming languages and type features such as Session Types. Session types take as their conceptual notion of concurrency as a collection of processes linked together via …