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 1086 for “"Constructive"”.
-
Synthetic Constructive
<p>Synthetic Constructive is an exhibition of paintings and collages, both reflect the building and managing of synthetically constructed places and expose the human condition of struggle in both the physical world and the emotional world. I view these works as synthetically created arenas that …
-
Socially constructive individualism ..
This item was digitized by the Internet Archive. Typewritten sheets in cover. Thesis (M.A.)--Boston University Bibliography: p. [98]-107.
-
Constructive online disagreement
… also cases where online disagreements are very constructive, an example of which can be seen on Wikipedia Talk pages. Wikipedia volunteers develop articles through consensus-based collaboration, which requires the integration of different opinions. To manage these interactions, a dispute …
-
Knowledge-guided constructive induction
The relationship between constructive induction and domain knowledge can be analyzed systematically. Recent research has integrated knowledge and constructive induction in isolated domains with some success, but undue emphasis is often given to the technique developed rather than the underlying …
-
Constructive Analysis of Partial Differential Equations
… of the Dirichlet Problem within Errett Bishop's constructive mathematics. It roughly falls into three major parts: a critical analysis of the classical approaches from a constructive point of view (Chapter 2); constructive results on the existence, stability, and maximality of weak solutions …
-
On the Constructive Content of Proofs
… for extracting programs from proofs. We focus on constructive theories of inductive definitions and classical systems allowing choice principles. Special emphasis is put on optimizations that allow for the extraction of realistic programs. Our main field of application is infinitary combinatorics. …
-
Walter Barnard Hill: Constructive Southern American
… conclusions, I have chosen to label Hill a constructive southern American.</p> <p>Because of G. Ray Mathis' recent dissertation on Hill's administration at the University of Georgia, I have de-emphasized the chancellorship and have attempted to study an unworked area of Hill's contribution …
-
Constructive synthesis of optimized cryptographic primitives
In this thesis, I designed and implemented a formally verified compiler for programs over arbitrary-width integers in Parametric Higher-Order Abstract Syntax. This was part of a larger project, Fiat-crypto, which seeks to produce formally verified machine-code implementations of Elliptic Curve …
-
Constructive global analysis of hybrid systems
… In this thesis, we develop an entirely new constructive global analysis methodology for PLS. This methodology consists in inferring global properties of PLS solely by studying their behavior at switching surfaces associated with PLS. The main idea is to analyze impact maps, i.e., maps from …
-
Constructive clarity in a fire station
In understanding the program of a fire station, this project represents much more than a pragmatic excursion into problem solving, but instead focuses on the elements which give my architecture life. The notion of advertising the structure from within, the presence of cores to designate specific …
-
Appreciation and Well Being: Proposing Active Constructive Complimenting (ACC) and Active Constructive Accepting (ACA) to improve appreciation
… and sociology, to propose the concepts of active constructive complimenting and active constructive accepting, as suggestions to better use the opportunity of giving and receiving verbal appreciation. In doing so, I suggest how we could transform our daily lives by building quality connections …
-
Coactive Learning Algorithms for Constructive Preference Elicitation
… combination explicitly. This is an example of constructive decision problem, in which an object has to be synthesized on the basis of the preferences of the customer and the constraints over the configuration domain. Constructive problems such as product configuration have traditionally been …
-
An Overview of the Constructive Local Lemma
<p>The Local Lemma has been a powerful tool in probabilistic combinatorics. Recent advances by Moser and Tardos have provided an algorithmic variant of the Local Lemma. We provide an overview of the analysis of their algorithm, and provide an implementation of the algorithm to a hypergraph coloring …
-
Automatic refinement of constructive solid geometry models
… in the form of a sophisticated model based on Constructive Solid Geometry (CSG) concepts. A recent novel technique in this area transfers 2D engineering drawings directly into a 3D solid model called `the first approximation'. In many cases, however, this does not represent the real object. In …
-
Sheaf Semantics in Constructive Algebra and Type Theory
… of sheaf semantics. The first is to give constructive proof of Newton-Puiseux theorem. The second is to show the independence of Markov's principle from type theory. In the first part we study Newton-Puiseux algorithm from a constructive point of view. This is the algorithm used for …
-
Transforming Learning Into A Constructive Cognitive And Metacognitive
This study explored the effectiveness of embedding a guided, learner-generated instructional strategy (query method), designed to support learners' cognitive and metacognitive processes, within the context of a computer-based complex task training environment (i.e., principles of flight in the …
-
The constructive developmental impact of effectuation on practice
… 2001, 2008). This Portfolio focuses on the constructive developmental impact of effectuation on practice, where constructive development was utilised as an apparatus of thought. Research was conducted through first-person action research to address the research question, which focused on the …
-
Live, virtual, and constructive environments for performance support
… support, the live, the virtual, and the constructive environments. It provides a means for the maintenance technician to gain knowledge associated with completing a given task. Seventy-eight maintenance technician trainees at an U.S. Army training center tested the framework. The …
-
Constructive globalism: Tracing the route toward inclusive education
<p>Globalization’s impact remains a point of interest for many leaders and scholars. Globalization interconnects hundreds of cultures together. From clothing styles to food tastes, almost every industry, such as political affairs, manufacturing, and finance, has seen a world breaking movement. What …
-
A constructive learning algorithm based on back-propagation
There are been a resurgence of interest in the neural networks field in recent years, provoked in part by the discovery of the properties of multi-layer networks. This interest has in turn raised questions about the possibility of making neural network behaviour more adaptive by automating some of …
Page 1 of 55