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 210 for “"Formalization"”.
-
Formalization, data abstraction, and communication
… foundations, describes the methods of formalization, data abstraction, and communication with Shape Grammar in making designs, and illustrates the process of making folly as the result of this thesis. The approach is derived from the study of the different definitions of architectural …
-
Faceted Lightweight Ontologies: a Formalization and some Experiments
While classifications are heavily used to categorize web content, the evolution of the web foresees a more formal structure -- ontology - which can serve this purpose. Ontologies are core artifacts of the Semantic Web which enable machines to use inference rules to conduct automated reasoning on …
-
A preliminary formalization of scale in topology optimization
Topology Optimization often enforces a minimum feature size, also known as a scale, to avoid instability and inaccuracy in the optimized result. This is usually done by applying a discretized convolution kernel on either the density or the sensitivity values. It is not well-established, however, …
-
Formalization of a converged internet and telecommunications service environment
The programmable network envisioned in the 1990s within standardization and research for the Intelligent Network is currently coming into reality using IPbased Next Generation Networks (NGN) and applying Service-Oriented Architecture (SOA) principles for service creation, execution, and hosting. …
-
CoqIOA : a formalization of IO automata in the Coq proof assistant
Implementing distributed systems correctly is difficult. Designing correct distributed systems protocols is challenging because designs must account for concurrent operation and handle network and machine failures. Implementing these protocols is challenging as well: it is difficult to avoid subtle …
-
Property rights and agricultural performance: effects of land formalization on agricultural performance
Este artículo examina si la implementación del Programa Nacional para la Formalización de la Propiedad Rural en Colombia ha tenido un impacto en el desempeño agrícola. El programa de formalización fue una iniciativa gubernamental encaminada a formalizar la propiedad de la tierra y mejorar la …
-
Formalization Of Input And Output In Modern Operating Systems: The Hadley Model
We present the Hadley model, a formal descriptive model of input and output for modern computer operating systems. Our model is intentionally inspired by the Open Systems Interconnection model of networking; I/O as a process is defined as a set of translations between a set of computer-sensible …
-
The formalization of New Orleans jazz musicians: a case study of organizational change
… hypotheses involve sociological concepts such as formalization, socialization into jazz, band cohesion, band-audience relations, commercialism and organizational type. However, the hypotheses function merely as starting points for the major purpose of this paper -- the generation of emergent …
-
FORMALIZATION AND IMPLEMENTATION OF GENERALIZED CONSTRAINT LANGUAGE FOR REALIZATION OF COMPUTING WITH WORDS
The Generalized Constraint Language (GCL), introduced by Zadeh, is the essence of Computing with Words (CW). It provides an genda to represent the meaning of imprecise words and phrases in natural language and introduces advanced techniques to perform reasoning on imprecise knowledge. Despite its …
-
Formalization of flight mechanical CS-25 requirements for assessments using flight simulation in preliminary aircraft design
For the development of new aircraft, manufacturers already employ numerical computation methods with increasing modelling accuracy in the early design phases, benefiting from the increasing computational power available today. These methods are utilized by the system design departments to create …
-
Formalization of a Security Framework Design for a Health Prescription Assistant in an Internet of Things System
<p>Security system design flaws will create greater risks and repercussions as the systems being secured further integrate into our daily life. One such application example is incorporating the powerful potential of the concept of the Internet of Things (IoT) into software services engineered for …
-
Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation
Sustainable computer systems require some flexibility to adapt to environmental unpredictable changes. A solution lies in autonomous software agents which can adapt autonomously to their environments. Though autonomy allows agents to decide which behavior to adopt, a disadvantage is a lack of …
-
Testing the appetite of potential players in the housing microfinance field to develop niche loans for backyard shack formalization
… in unlocking the potential that backyard shack formalization holds. Government interventions such as the provision of grants and subsidies have resulted in sub-optimal allocation of resources and unintended negative consequences. Housing Microfinance (HMF) is increasingly viewed as an important …
-
Digital Platforms and Mobile Technologies for Development: Essays on Firm Formalization, Financial Inclusion, and Agricultural Resilience in Sub-Saharan Africa
… we find that improved access increases firm formalization and expands the tax base, strengthening revenue collection. Chapter 2 presents a randomized controlled trial in Niger—the world’s most financially excluded country—to identify barriers to adoption of a mobile money platform. …
-
Digital Platforms and Mobile Technologies for Development: Essays on Firm Formalization, Financial Inclusion, and Agricultural Resilience in Sub-Saharan Africa
… we find that improved access increases firm formalization and expands the tax base, strengthening revenue collection. Chapter 2 presents a randomized controlled trial in Niger—the world’s most financially excluded country—to identify barriers to adoption of a mobile money platform. …
-
Group Formalization into Vicoba Model : A Case of Kimara Women Empowerment Group in Kimara Ward, Kinondoni District, Dar es salaam
… community needs assessment is to support the formalization of the informal women groups in Kinondoni District, Dar es Salaam a case study of Kimara Ward. Specifically, the assessment sought: specifically to assess the community needs of the women in Kimara Ward, Kinondoni District; to …
-
Barriers and facilitators to transitioning of small businesses (SMME’s) from the second to the first economy in South Africa
… non financial barriers and facilitators to the formalization/transitioning process. The study was motivated by the lack of data on the South African context of the barriers and facilitators of the formalization process. The conversion of enterprises from informal to formal concerns is not well …
-
Formalisasi syariah: Studi konstruksi sosial elit partai politik di Kabupaten Pamekasan
… Islamic parties will determine the future of the formalization of sharia in Pamekasan. Because the accomodation of Islamic law through the Regional Legislation (Proglegsda) is the only way that’s most effective in transforming Islamic law. But the struggle of elite’s Islamic parties foundered …
-
How Journalists Sustain Their Autonomy under Ownership Change: A Case Study in Taiwan
… faces the change of managerial practice and the formalization of control after the changes in ownership. This research attempts to examine how these changes influence journalists? autonomy, and further clarify how journalists react to the change of their autonomy. To examine the problem, I …
Page 1 of 11