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 31 for “"formal representation"”.
-
Formal Representation of Computer Architectures (Simulation, Language, Hardware)
… specifically in the area of architecture representation. The main results are that it is possible to represent computer architectures in a formal fashion and that there are theoretical and practical advantages to considering architecture in the abstract. The representation that we define …
-
ICANN or ICANN't Represent Internet Users
… the dimensions of descriptive, substantive, and formal representation (Pitkin 1967). Evaluation of ICANN's descriptive representation focused on the Board members' sex, educational backgrounds, and nationalities and compared the geographic representation on the Board to the global distribution of …
-
A model and an algebra for semi-structured and full-text queries
… equivalence and containment; to this aim, a formal representation of document and queries is needed. The goal of this thesis is to establish such formal background. We define a data model for XML documents and propose an algebra able to represent most of XQuery Full-Text expressions. We show …
-
Towards a framework for architecting heterogeneous teams of humans and robots for space exploration
… not yet a framework that lends itself both to a formal representation of heterogeneous teams of humans and robots, and to an evaluation of such teams across a series of common, task-based metrics. My objective in this thesis is to lay the foundations of a unified framework for architecting …
-
A study of illegal housing of Lisbon built in 1974 to 1984 : from description to computation
… their many contradictions, second, to find a formal representation despite the chaotic appearance and genesis of these illegal houses, and third, to contribute to the formalizing of a computer implementation that could help to prevent further echoes of this scenario.
-
Formal Analysis and Design for Engineering Security
… software security properties. The use of formal methods that are based on mathematical models has long been advocated in the development of secure systems, yet the promise of formal methods has not been realized. This is due to the additional discipline needed to formulate precisely the …
-
Identification of Atomic Propositions in English Instructions for Flexible Translation to Robot Planning Representations
… interfacing natural-language instructions into formal representations. This formal representation should contain all the verifiable constituent units (ideally atomic propositions) which are present in the natural language instruction. However, the format and vocabulary of atomic propositions may …
-
In anticipation : a new city design for East Jerusalem as the capital of Palestine
… between conflict and urban design through its formal representation in the urban master plans developed for Jerusalem, concentrating on the period between the end of the 19th century to the present day, in form of a brief historical background, fully subordinated to the main research.
-
Goal and Preference Identification in Natural Language Expressions
Goal models allow efficient representation of stakeholder goals and alternative ways by which these can be satisfied. Preferences over goals in the goal model are then used to specify criteria for selecting alternatives that fit specific contexts, situations and strategies. Given such preferences, …
-
All life converges to some centre: alienation and modernity in the early Ayi Kwei Armah
This paper examines representations of existential alienation in two early novels by the Ghanaian author Ayi Kwei Armah. The introductory chapter extrapolates an account of how the representational strategies of existential alienation produce specific effects on the act of self - writing. From …
-
An expert system to diagnose quality problems in the continuous casting of steel billets
… viewpoint, this exercise provided them with a formal representation of their knowledge to solve quality problems and identified new areas for future research. Moreover, the Experts actually generated new ideas about the domain which previously were unrecognized. For the users, this system …
-
Policy capturing and two level specifications of policies for human and software processing
… ways: a Policy Definition Language (PDL), a formal logic-based policy representation language or an informal natural language. Generally, an editor and a policy management tool are used to input these specifications. Because both the PDLs and the formal logic-based policy representation …
-
Computation with Curved Shapes: Towards Freeform Shape Generation in Design
Shape computations are a formal representation that specify particular aspects of the design process with reference to form. They are defined according to shape grammars, where manipulations of pictorial representations of designs are formalised by shapes and rules applied to those shapes. They …
-
Enhancing Retrieval Augmented Generation Through Robust Information Retrieval
… rule-based, retrieval algorithms, and provide formal representation for deterministic evaluation metrics and error analysis techniques. Our experiments show that lexical retrieval covers more of the limitations of semantic similarity retrieval in open domain environments, indicating that …
-
Knowledge composition methodology for effective analysis problem formulation in simulation-based design
… the following research gaps: (1) the lack of formalization of the knowledge used by analysts in formulating simulation templates, and (2) the inability to leverage this knowledge to define model composition methods for formulating simulation templates. KCM overcomes these gaps by providing: …
-
Modular Hopping and Running via Parallel Composition
… of scale. Dynamical systems theory can offer a formal representation of such reductions in terms of ``anchored templates,'' respecting which Raibert's empirical synthesis (and the animals' empirical performance) can be posed as a parallel composition. However, the orthodox notion (attracting …
-
Practical Digital Library Generation into DSpace with the 5S Framework
… concerns of digital libraries into a complex, formal representation of the elements that are basic to any minimal digital library system including Streams, Structures, Spaces, Scenarios, and Societies. We reflect on this previous work and provide a fresh application of the 5S framework to …
-
Enabling scalable self-management for enterprise-scale systems
… the operational status of a system. Using this formal representation, we have developed and integrated into iManage techniques that establish a probabilistic model relating the variables of interest and the controllable variables under the prevailing operational conditions. Such models are then …
-
Development of spike train algorithms for physiotherapy assessment using deep learning approaches
… in the studies to be encoded into spike trains formal representation which resulting to an average of 415 spike patterns. Next, the patterns of raster plots were being trained as the input into a deep learning framework to evaluate the accuracy of the pattern's uniqueness. Furthermore, this …
-
The 'I' in First-Person Thought and What is Meant by Self-Knowledge
… ‘I’ associated with a thinking subject is just a formal representation of the substantially existing subject. This raises the question about whether or not ‘I’ is actually a referring expression? In this paper I explore two accounts from both sides of the debate which opens up a dialectical space …
Page 1 of 2