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 54 for “"formal models"”.
-
Formal Models of Fallible Knowledge
… essential assumptions that must be added to the models representing this family of theories to solve the problem. I first review the epistemologic theories which are the basis of the study, and later discuss their formalizations and how Holliday’s theory identifies and solves the problem. At the …
-
XFM: An Incremental Methodology for Developing Formal Models
We present a methodology of an agile formal method named eXtreme Formal Modeling (XFM) recently developed by us, based on Extreme Programming concepts to construct abstract models from a natural language specification of a complex system. In particular, we focus on Prescriptive Formal Models (PFMs) …
-
Formal Models and Refinement for Graphical User Interface Design
Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties …
-
Testing the adequacy of formal models of an irrational learning effect
… This thesis investigates the adequacy of formal explanations for this puzzling phenomenon. In the first project, I will focus on mechanisms of learning that mathematical models posit underlie this preference. A class of attentional explanation produces a counter-intuitive prediction: the …
-
Visual Calculating Aesthetic Value: Formal Models of Description and Evaluation for Aesthetic Systems
… an open-ended aesthetic process and mathematical formality in computing methods in architecture and other areas of design. The work extends across two areas of research. First, by taking as background developments in “mathematics of shapes”, it introduces new approaches to the structural …
-
This machine kills fascists : detecting propaganda with formal models of mass discourse structure (and other ideas)
… structure. The upshot is that tools from formal pragmatics have an application in the characterization, and perhaps ultimately detection, of propaganda.
-
Back annotation for conceptual structures
… for a digital system from various kinds of informal specifications( e.g. natural language descriptions, flowcharts, block diagrams, timing diagrams). This thesis describes an interactive tool for validating and correcting formal models acquired from natural language specifications of digital …
-
Anton Webern and the politics of historicism
"The appropriation of historical techniques and formal models in a modernist context presents numerous problems, both aesthetic and political. The subject of this thesis is the unique approach to these problems practiced by Anton Webern, an approach which can be described as ""critical …
-
Techniques for specification and validation of complex protocols
… more complex, or more people get involved. Formal Description Techniques (FDTs) have been developed to convey this information clearly and unambiguously (and as a basis for correctness verification) but FDT-based specifications tend to be long and hard to follow. In order to help the user …
-
Description and analysis of central registry, a pattern for modular implicit invocation
… We describe the pattern in detail and present a formal model of its key features. Using the formal model, we are able to establish, by automatic analysis, properties of any system that uses the pattern. We also describe an implementation framework for the pattern and evaluate its use in five …
-
Mindcraft: a Dynamical Systems Theory of Cognition
… behavior begins with the construction of a formal model of the processing problem for that behavior, where this model is distinct from the physical device and the functions performed by the device's components. In the third chapter, I argue that the component dynamical mechanisms of …
-
p-adic L-functions and the Geometry of Hida Families
… $p$-adically interpolating congruences using formal models. These methods should extend to the entire eigencurve.</p>
-
"Poetic Surrealism in the Films of Bernardo Bertolucci: ""The Spider's Strategem"", ""The Conformist"" and ""Last Tango in Paris"""
… in Paris as it developed out of a series of formal models that derive from surrealist painting, photography and film. Subliminally registered images that show the union of irreconcilable elements as they are reconstituted in a dream or fantasy, contradict the storyline and develop the …
-
Inhabiting the Drawing
… drawing. Drawings were then tested against formal models.
-
Epistemologies of safety : a comparative study of contemporary French and American reactor design practices
… early-stage design decisions, their use of formal models of risk and local heuristics, and finally their response to crisis (in this case the Fukushima Daiichi accident). I find that designers broadly take two different approaches to the early stages of design.
-
Leadership and ethics : a comparative study of leader moral values and organizational culture
… literatures, conducting interviews and building formal models. All serve the goal of examining the moral fabric (or lack thereof) that stands behind the actions of organizational leaders. In the end, recommendations are made for strengthening the ethics and moral competency of all organizational …
-
Tertiary colleges: a study of perspectives on organizational innovation
… from organisation theory, and discusses various models for analysing organisations and their goals: rational system and formal models, and three alternative approaches - political, ambiguity and subjective models. Rational system and formal models are dominant in the organisational literature. …
-
The Politics of the American Policymaking System
… oversight by a third-party. Through a series of formal models I illustrate how oversight, such as judicial or executive review of agency actions, structures the policymaking incentives of bureaucratic agencies. The way oversight affects agency behavior, in turn, structures incentives for …
-
Multiple Uses of Frequent Episodes in Temporal Process Modeling
… discovery in many domains. Many different formalisms have been proposed for modeling temporal processes such as motifs, dynamic Bayesian networks and partial orders, but the direct inference of such models from data has been computationally intensive or even intractable. In this work, we …
-
Design of a goal ontology for medical decision-support
… are several ongoing efforts aimed at developing formal models of medical knowledge and reasoning to design decision-support systems. Until now, these efforts have focused primarily on representing content of clinical guidelines and their logical structure. The present study aims to develop a …
Page 1 of 3