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 78 for “"Well-founded"”.
-
A non-well-founded set theory (GST)
Open Restriction set for Item 19544 on 2020-11-02T17:15:11Z with date null by astein@illinois.edu.
-
Flexible Computation of the Well-Founded Semantics of Normal Logic Programs
The well-founded semantics has been accepted as the most relevant semantics for logic-based information systems. In this dissertation a framework based on a set of program transformations is presented that generalizes all major computation approaches for the well-founded semantics using a common …
-
On the relation between neural network size and performance
… and for the effort involved in developing well performing network models. This thesis uncovers a fundamental relationship that ties model size and performance in a predictable manner. This relationship enables a well-founded development of networks at small scale while producing insight …
-
Modal logics of provability
… to the class of finite, transitive, reversely well-founded models. This essentially means that the set of theorems of GL is recursive and hence there exists an effective procedure to determine whether a given wff is a theorem of GL or not. We investigate a weaker version of GL called GH and …
-
Semantic Image Interpretation - Integration of Numerical Data and Logical Knowledge for Cognitive Vision
… of images. In this thesis, we propose two well-founded methods for SII. Both methods exploit background knowledge, in the form of logical constraints of a knowledge base, about the domain of the images. The first method formalizes the SII as the extraction of a partial model of a knowledge …
-
Possible worlds explorer: Combining declarative programming with user-friendly Jupyter Notebooks
… PWE also has support for the three-valued well-founded semantics of Datalog programs (via DLV) and temporal models that use a special state argument. Using simple Python functions, generic as well as user-definable presentation and visualization formats can be easily created, e.g., to …
-
Price discovery in the foreign exchange market
… recent studies suggest such assumptions are not well founded and have generated the 'disconnection' puzzle of exchange rates deviating from their fundamentals in the short and medium term. Using EFX tick-by-tick data, we find that information is not always available to all and the actual price …
-
Ancestral sound. Archive and study of pre-hispanic Ecuadorian sound objects
… The underlying premise is that the absence of a well-founded digital repository has hindered progress in this field of study in Ecuador. In turn, it aims to establish a new experimental methodology for the study of ancient sound objects.
-
A Credible Fear: The Politics of Gang Violence in the Northern Triangle
… for asylum in the United States based on a well-founded fear of persecution. An analysis of the legal framework of the asylum system in the United States, profiles of the two largest gangs in the Northern Triangle the Mara Salvatrucha and Barrio 18, a profile of the asylum seekers arriving …
-
Narcissistic illusions : an empirical typology
… claims of a dual nature of narcissism are well founded and to examine the mental health implications of "positive illusions." Subjects were 251 college students at a large Midwest University. The mean age of the participants was 21 years. Self-report measures of narcissism, positive …
-
Segmentation of medical images under topological constraints
… and develop generally applicable and well-founded algorithms to achieve accurate segmentations of medical images under topological constraints. First, we introduce a digital concept that offers more flexibility in controlling the topology of digital segmentations. Second, we design a …
-
ACTS OF QUEER RESILIENCE: TRAUMA AS IDENTITY AND AGENCY IN LGBTQ POLITICAL ASYLUM
Persecution or a well-founded fear of persecution is the impetus for asylum seekers to flee their home countries and seek protection elsewhere. Much of the scholarly literature and published legal cases correlate persecution with trauma and approach traumatic events of asylum seekers as always …
-
Política e gestão da informação no contexto da LGPD: a perspectiva da auditoria de informação para o registro do tratamento de dados pessoais
… as this information management tool provides a well-founded assessment of how the organization is treating the personal data collected, where they are, what they are and the operations that are performed with this data.
-
New Partnership for Africa's Development (Nepad) : a hostage to conditionality?
… effects of conditionality on democracy is well-founded, but suggest that re-examination and re-construction of conditionality may avert foreseeable harm and produce favourable results.
-
An empirical study of negation in datalog programs
… at UCT. I analyse and compare stratified, well-founded and inflationary semantics for negation, each of which has been implemented on top of INFORMIX; we call the resulting system NDatalog. According to the test results, we find that some results are unexpected. For example, when we …
-
Probabilistic Modeling of Multi-relational and Multivariate Discrete Data
… the multi-relational patterns as dense and well-connected chains of biclusters over multiple relations, and model the discrete data by the maximum entropy principle, such that in a statistically well-founded way we can gauge the surprisingness of a discovered bicluster chain with respect to …
-
Model driven security from UML models to access control architectures
… a modeling language for a particular area as well as accompanying methods and tools. <br> <br>We present different instances of this schema, which combine different <br>UML modeling languages with a security modeling language for formalizing <br>access control requirements. From models in …
-
The postmodern debate and the search for emancipation : rationality, the self and politics in the thought of Foucault, Derrida, Rorty and MacIntyre
… and critique of the Enlightenment project are well founded, that there do not exist any universal or transcendental truths.Secondly, that the attempts of postmodern theorists to derive from these insights any implication for politics, society, or the self, whether of an emancipatory or of a …
-
The State of the Drug Court: A Systematic and Critical Analysis of Drug Court Evaluations
… to explain specific issues, such as how well drug courts work for different types of offenders. I was also able to generate a well founded policy recommendation for the evaluation of drug courts based on empirical data and literature. Conclusions show that Drug Courts do reduce …
-
A study of persistent absence from school in Sheffield : Prevalence and associated educational, psychological and social factors.
… pressure to attend school partly because of well-founded anxiety about their parents' health; (d) that absentees referred to the psychological service tended to have a more serious history of anti-social behaviour and of inadequacy in social relationships at school; (e) that truants differed …
Page 1 of 4