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 1699 for “"inductive"”.
-
Countable inductive limits
Inductive systems and inductive limits have by now become fairly well established in the general theory of topological vector spaces. It is a branch of Functional Analysis which is receiving a reasonable amount of attention by modern mathematicians. It is of course a very interesting subject of its …
-
Constructing Higher Inductive Types
Contains fulltext : 226923.pdf (Publisher’s version ) (Open Access)
-
The evolution of 'Boxes' to quantized inductive learning: a study in inductive learning
An inductive learning method is analyzed for use in on-line control. The controller has the benefit of being designed without a system model and is able to adapt itself to varying system parameters. Numerical experiments were performed with the Quantized Inductive Learning (QIL) algorithm, an …
-
Learning-based inductive invariant synthesis
The problem of synthesizing adequate inductive invariants to prove a program correct lies at the heart of automated program verification. We investigate, herein, learning approaches to synthesize inductive invariants of sequential programs towards automatically verifying them. To this end, we …
-
The acquisition of inductive constraints
Human learners routinely make inductive inferences, or inferences that go beyond the data they have observed. Inferences like these must be supported by constraints, some of which are innate, although others are almost certainly learned. This thesis presents a hierarchical Bayesian framework that …
-
Simulation algorithms for inductive effects
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.
-
Damage identification using inductive learning
… identification method incorporating the use of inductive learning is presented. Inductive learning is the process of learning from examples. The method utilizes as much dynamic-response data as is available, ordering this information to find the best data with which to discriminate among a set …
-
Learning inductive invariants using Winnow algorithm
… learning algorithm, Winnow-ICE, to synthesize inductive invariants for proving that a program is correct by validating its assertions. Winnow is an online learning algorithm that can be used to learn Boolean formulae from positive, negative and implication counterexamples. We implemented the …
-
Social inductive biases for reinforcement learning
How can we build machines that collaborate and learn more seamlessly with humans, and with each other? How do we create fairer societies? How do we minimize the impact of information manipulation campaigns, and fight back? How do we build machine learning algorithms that are more sample efficient …
-
Learning 3D Robotics Perception using Inductive Priors
… covers the topic of learning with structured inductive bias and priors to design approaches and algorithms unlocking the potential of principle-centric intelligence for the real-world. Prior knowledge (priors for short), often available in terms of past experience as well as assumptions of how …
-
Knowledge Selection in Category-Based Inductive Reasoning
Current theories of category-based inductive reasoning can be distinguished by the emphasis they place on structured and unstructured knowledge. Theories which draw on unstructured knowledge focus on associative strength, or temporal and spatial contiguity between categories. In contrast, accounts …
-
Inductive and Deductive Synthesis for Database Applications
… this need, I present a new, general-purpose inductive synthesizer, and show that it offers state-of-the-art performance on several challenging tasks.
-
Investigation of inductive components for power electronics applications
L'abstract è presente nell'allegato / the abstract is in the attachment
-
Inductive constructions for Lie bialgebras and Hopf algebras
… the quantized enveloping algebras. I develop an inductive approach to the study of these objects. An important tool is a construction called double-bosonisation defined by Majid for both Lie bialgebras and Hopf algebras, inspired by the triangular decomposition of a Lie algebra into positive and …
-
Inductive Monitoring Systems: A CubeSat Ground-Based Prototype
<p>Inductive Monitoring Systems (IMS) are the newest form of health monitoring available to the aerospace industry. IMS is a program that builds a knowledge base of nominal state vectors from a nominal data set using data mining techniques. The nominal knowledge base is then used to monitor new …
-
Transient antenna-plasma interaction in inductive plasma thrusters
… to other technologies under consideration, inductive plasma thrusters are a promising candidate due to their high thrust density and proven propellant flexibility. In contrast with conventional space propulsion technologies, inductive coupling can deliver energy to a propellant without …
-
A Naturalistic and Inductive Methodology for Clinical Research
Made available in DSpace on 2014-12-12T19:55:35Z (GMT). No. of bitstreams: 1 7913395.pdf: 7128469 bytes, checksum: c70b9207ead5f9856ea632340ae275b4 (MD5) Previous issue date: 1978
-
Injecting Inductive Biases into Distributed Representations of Text
… the desired properties into embeddings, use inductive biases. First, we use Knowledge Graphs (KGs) as a data-based inductive bias to derive the semantic representation of words and sentences. The explicit semantics that is encoded in a structure of a KG allows us to acquire the semantic …
-
Inductive compensation of operational amplifiers in feedback circuits
In this thesis I designed, implemented, and tested an integrated-circuit feedback compensator that uses inductors as compensation elements. Introducing inductors as feedback elements makes it possible to implement lead compensators using shunt topologies, which preserve the closed loop response of …
Page 1 of 85