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 “"concretization"”.
-
On the Concretization of Abstract Categories
No abstract prepared.
-
Ersatz
… temporal aspects of the perceived world, the concretization of which only exists in the mind of the viewer. This thesis statement will address issues of surface and illusionism in modern pictorial theory and the importance of perception verses objectification. In addition I will discuss the …
-
HyperSketch : Language for Implementing Generic Neuro-Symbolic Program Synthesizers
… to encode prior knowledge about the order of concretization of unknown model structure, and offering the developer to choose which solvers (and hyperparameters) to use for solving different parts of the sketch. The core innovation of our language is a family of primitives for runtime …
-
A Lightweight Approach of Human-Like Playtest for Android Apps
… has two phases: tactic generalization and tactic concretization. In Phase I, when a human tester plays an Android game G for awhile (e.g., eight minutes), LIT records the tester's inputs and related scenes. Based on the collected data, LIT infers a set of context-aware, abstract playtest tactics …
-
A Model of Scientists’ Information Seeking and a User-Interface Design
… the use of personas for the modelling, and the concretization of the model into a new user-interface design.
-
A model of scientists' information seeking and a user-interface design
… the use of personas for the modelling, and the concretization of the model into a new user-interface design.
-
Assembling the field: literary journalism about marginalised subjects by Indian writers
… solidified. One of the processes involved in the concretization or solidification of the field is the struggle to define the dominating illusio, or the underpinning ideology, in the field. This thesis explores this struggle using conceptual tools from Bourdieusian field theory in the context of …
-
The Internet of Individuation
… can be seen as modulation, sensing as concretization, and actuation as transduction. Three empirical chapters furnish these transformations with qualitative interviews with IoT practitioners in Australia and abroad: student-run engineering labs in Canberra; the office of a smart …
-
The Internet of Individuation
… can be seen as modulation, sensing as concretization, and actuation as transduction. Three empirical chapters furnish these transformations with qualitative interviews with IoT practitioners in Australia and abroad: student-run engineering labs in Canberra; the office of a smart …
-
Abstraction Guided Semi-formal Verification
Abstraction-guided simulation is a promising semi-formal framework for design validation in which an abstract model of the design is used to guide a logic simulator towards a target property. However, key issues still need to be addressed before this framework can truly deliver on it's promise. …