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 115 for “"Formalisation"”.
-
Formalisation and execution of Linear Algebra: theorems and algorithms
This thesis studies the formalisation and execution of Linear Algebra algorithms in Isabelle/HOL, an interactive theorem prover. The work is based on the HOL Multivariate Analysis library, whose matrix representation has been refined to datatypes that admit a representation in functional …
-
Towards formalisation of situation-specific computationsin pervasive computing environments
We have categorised the characteristics and the content of pervasive computing environments (PCEs), and demonstrated why a non-dynamic approach to knowledge conceptualisation in PCEs does not fulfil the expectations we may have from them. Consequently, we have proposed a formalised computational …
-
Towards the formalisation of artisanal and small-scale mining in South Africa
Artisanal and small-scale mining (ASM) plays a significant role in South Africa’s mineral economy by providing livelihoods to many who operate outside the formal mining sector. However, despite its contribution, the occupational health and safety (OHS) of these miners remain poorly regulated and …
-
The biomatrix model : the development and formalisation of a general systems model
… of this thesis is the further development and formalisation of the biomatrix model as proposed by Jéros and Cloete (1987). It focuses on the formulation and description of the model per se and not its application, and is essentially a conceptual-theoretical study positioned within the broader …
-
The formalisation of informal trade in Cape Town : a case study of Greenmarket Square
This research report explores whether the rules, regulations and policies set by the City have formalised informal trade at Greenmarket Square. The sample included 14 informal traders from Greenmarket Square, a former "illegal" trader, three formal business owners and three City of Cape Town …
-
Formalisation des connaissances d'usinage pour une intégration des logiciels de CFAO : application aux pièces structurales aéronautiques
… recherche portera alors sur cet objectif de formalisation et de caractérisation des connaissances d’usinage. Pour y arriver, des experts sur les méthodes de fabrication ont été consultés afin de recueillir leur savoir-faire appliqué à l’usinage des pièces structurales aéronautiques, le tout …
-
The role of women in the formalisation of housing and placemaking: The case of the Victoria Mxenge housing project
… is a need to explore women's inclusion in the formalisation of housing and placemaking to redress the historical and systemic failings of the state. This dissertation examines the multifaceted challenges within informal settlements in Cape Town, South Africa. It delves into three key issues: …
-
The 'formalisation dilemma' of artisanal and small-scale mining: an analysis with reference to the Democratic Republic of the Congo
… which flow therefrom. Despite these ASM-formalisation efforts, governments continue to face numerous obstacles along the way, with many of the artisanal miners continuing to operate illegally. The case study of the DRC provides an informative understanding of ASM's informality in …
-
Land rights and urban tenure: ownership and the eradication of poverty in South Africa
This paper analyses De Soto's argument that the formalisation of property leads to economic development and accepts it on the premise that such formalisation is not a panacea but a possible weapon in the armoury against poverty in South Africa. A prerequisite to formalisation is land acquisition. …
-
An investigation into the implications of formally accrediting training offered by non-governmental organisations : a case study approach
… The sociological concerns centred on how formalisation might impact on the social purpose of education and training. The epistemological issues involved concerns about which knowledge gets privileged under formalisation and the question of the transferability of different types of …
-
Formalising Combinatorial Structures and Proof Techniques in Isabelle/HOL
The formalisation of mathematics is an area of increasing interest, enabling us to verify correctness, gain deeper insight into proofs, and benefit from advances in automation and search. The remarkable growth over the last decade in proof assistant capabilities and advanced formal mathematical …
-
Law, Logic, Language and Artificial Intelligence
… of artificial intelligence in law in the formalisation of legislation. Certain aspects of statute law are identified as posing particular problems for representation in logic. The problems are exposed as the result of attempting to represent meta-level notions in the object language. The …
-
Using Codecharts for formally modelling and automating detection of patterns with application to Security Patterns
… important to overcome these issues by patterns formalisation in order to allow sharing the same understanding of the patterns to be implemented. The current patterns formalisation approaches aim to translate UML diagrams using different formal methods. However, these diagrams are incomplete or …
-
“This is the place that the women built”: A case study of the nexus of formalised land rights and housing recognition on spatial justice in Cape Town
… opportunity. This research investigated how formalisation of land rights inhibits the capability of the urban poor in Cape Town to access urban opportunity. The main research question explored whether the formalisation of land rights affects alienation of the residents of Victoria Mxenge …
-
OntoCASE : méthodologie et assistant logiciel pour une ingénierie ontologique fondée sur la transformation d'un modèle semi-formel
… obligeant ainsi à mettre en oeuvre une étape de formalisation du modèle semi-formel. Nous avons conçu une méthodologie de transformation d'un modèle semi-formel en ontologie et développé un assistant logiciel qui semi-automatise, ou automatise les processus de la méthodologie de transformation. …
-
Étude de la planification de l'intervention éducative à caractère interdisciplinaire chez des enseignantes et des enseignants du primaire
… diverses informations en regard du processus de formalisation de la planification observé, des objets sur lesquels porte la planification à caractère interdisciplinaire et de l'opérationnalisation de l'interdisciplinarité. Les résultats sont discutés selon ces trois angles d'étude.
-
Towards robust inference for Bayesian filtering of linear Gaussian dynamical systems subject to additive change
… tails not considered by the model. We propose a formalisation of observation noise mis-specification in terms of Huber’s ε-contamination as well as a computationally cheap solution via generalised Bayesian posteriors with a diffusion Stein divergence loss resulting in the diffusion score matching …
-
Circumstantial social entrepreneurship: Exploring inclusive, social innovation in the transition from shadow to mainstream economic spaces. A case study of informal sector recycling activities in Bulawayo, Zimbabwe
… This research explores the dialogue around „formalisation of the informal‟ and „integration of informal recycling sector into mainstream solid waste management systems‟, approaching this from an informal sector perspective. The research endeavours to offer insights to this discourse from an …
-
Generic architectures for open, multi-objective autonomic systems : application to smart micro-grids
… complex autonomic systems. We propose a formalisation of management objectives, a generic architecture for designing adaptable multi-objective autonomic systems, and generic organisations integrating such autonomic systems. We apply our approach to the concrete case of smart micro-grids …
-
Generic Theorem Proving Using HOL2P: A Category Theory Inspired Approach
… thesis seeks to fill this gap by presenting a formalisation and implementation of a category theory inspired approach to generic program specification. Theorems to simplify verification of generic programs are developed along with a formal framework for reasoning. The result is theorem proving …
Page 1 of 6