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 21 for “"realizability"”.
-
Controllability, Observability and Realizability
… including controllability, observability and realizability. In particular, we analyze the theory of and solutions to linear time systems, continuous and discrete time systems, time-varying systems, and first-order matrix Sylvester systems. Examples and sample computed calculations are provided …
-
Realizability Conditions of Single-Contact Functions
Made available in DSpace on 2014-12-04T21:03:34Z (GMT). No. of bitstreams: 1 6305081.pdf: 2724919 bytes, checksum: 37449cc4eabe8dd8c5ecbd7fb6899800 (MD5) Previous issue date: 1963
-
On the Realizability of Quasi-Linear Sequential Machines
Made available in DSpace on 2014-12-08T22:24:15Z (GMT). No. of bitstreams: 1 6801722.pdf: 1511897 bytes, checksum: f06ea0a7de189598aea378aa6db58480 (MD5) Previous issue date: 1967
-
On Physical Realizability of Signal Flow Graphs and Realization Techniques
Made available in DSpace on 2014-12-04T21:03:36Z (GMT). No. of bitstreams: 1 6305116.pdf: 1462357 bytes, checksum: 7b469ac78260ac91431ba0e0aaff3222 (MD5) Previous issue date: 1963
-
Synthesis of Controllers for Linear Multivariable Systems With Consideration of Physical Realizability, Sensitivity, and Interaction
Made available in DSpace on 2015-05-12T17:06:27Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 6200621.PDF: 1747112 bytes, checksum: 9b54f13240dd0b8599614bd68648ebe8 (MD5) Previous issue date: 1961
-
Independence and conservativity results for intuitionistic set theory
… results. In 1979, Lifschitz in [13] introduced a realizability interpretation for Heyting's arithmetic, HA, that could differentiate between Church's thesis with uniqueness condition, CT0!, and the general form of Church's thesis, CT0. The objective here is to extend Lifschitz' realizability to …
-
A general linear systems theory on time scales : transforms, stability, and control.
… transforms, stability, controllability, and realizability. In particular, we revisit the definition of the Laplace transform by Bohner and Peterson in [10]. We provide sufficient conditions for a given function to be transformable, as well as an inversion formula for the transform. Sufficient …
-
Symbolic Approaches for Boolean Synthesis
… the identification of full, partial, and nullary realizability for the input domain, and the construction of the functions for the unknown variables. As a fundamental problem with applications in circuit design, formal verification, and temporal logic synthesis, in the last few decades there have …
-
Computational framework for metastable materials discovery: integrating kinetics and accurate properties
… and thermodynamics to understand their realizability, their phase transformation kinetics to determine if they are long-lived, and their properties to understand their technological relevance. The realizability and thermodynamics are assessed via ab initio random structure sampling, …
-
Functionalism and Strange Minds
… realizer, the difficulties in multiple realizability, and the interpretation therein. This paper firstly demonstrates the functionalist arguement, its precedents, and the work of hillary putnam, secondly it proposes the myriad physical effects that change the functionality of certain …
-
The Structure of Secure Multi-Party Computation
… the first alternate characterization of secure realizability in the framework of universally composable (UC) security. This is the first characterization in any model to consider completely arbitrary computational tasks and completely arbitrary communication channels. * The most long-standing …
-
Explorations in the Classification of Vertices as Good or Bad.
… of classifying caterpillars. Further, we develop realizability conditions for a graph <em>G</em> given a triple of nonnegative integers representing the domination number of <em>γ</em>(<em>G</em>), <em>g</em>(<em>G</em>), and <em>b</em>(<em>G</em>), respectively, and provide constructions of …
-
Co-Optimization and Co-Learning Methods for Automated Design of Rigid and Soft Robots
… in modeling (via differentiable simulation) and realizability (through automated and semi-automated fabrication worfklows). We describe how this entire suite of capabilities from modeling to automated fabrication can be conceptualized in a complete end-to-end "robot design stack," providing full …
-
Classification, Valuation and Real Options Analysis of Climate Change Projects in Africa: A case study of Ghana in West Africa
… certain measures: flexibility, optionability and realizability. These metrics help us to identify the project in which real options can be used. In this case, we characterize real options into mechanisms and types. The mechanisms are noted to be the enablers of real options while the types are the …
-
Design and analysis of process choreographies
… This thesis investigates different dimensions of realizability.
-
The Industrial Application of Digital Signal Processing
… misadjustment noise and effects due to realizability constraints. It was found that theoretical predictions of the systems behaviour were in good agreement with the results of computer simulation except for the level of output misadjustment noise. In order to make the mathematics of the …
-
A novel state-space based method for direct numerical simulation of particle-laden turbulent flows
… results in an efficient implementation where realizability and conservation properties are satisfied. The method is validated by comparing the results obtained from the Lagrangian particle tracking method for various flows, which include a one-dimensional manufactured flow, the Taylor-Green …
-
On folding and unfolding with linkages and origami
… Chapter 2, we exactly settle the complexity of realizability, rigidity, and global rigidy for graphs and linkages in the plane, even when the graphs are (1) promised to avoid crossings in all configurations, or (2) equilateral and required to be drawn without crossings ("matchstick graphs"): …
-
Static analysis for circuit families
… static type system capable of: (1) checking the realizability of a description, (2) detecting bus width mismatches and array bounds violations, and (3) providing parametric guarantees on the resources required to realize a generic description. The power of the chosen framework is once more …
-
Combinatorics related to the totally nonnegative Grassmannian
… definition of positroids without relying on its realizability. We will show that positroids can be defined as certain collections that satisfy some cyclic inequalities. In other words, we express positroids using cyclically shifted Schubert matroids. Postnikov showed that each positroid cell is …
Page 1 of 2