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 53 for “"Type Systems"”.
-
Control and stabilization of kdv-kdv and kp type systems
… and control of several nonlinear dispersive systems, including the Boussinesq KdV-KdV type system, the Hirota-Satsuma system, the Kadomtsev-Petviashvili (KP) equation and its higher-order variant, the Kawahara-KP (K- KP) equation. For the Boussinesq KdV-KdV type system and Hirota-Satsuma …
-
Patterns of elite-mass conflict in Soviet-type systems: 1948-1989
… throughout 1989, scholars of communist political systems began to reassess major theories concerning the durability of such regimes. This dissertation represents an effort to establish patterns of elite and mass political behavior across the region, and across time, and propose an explanation for …
-
Multiple-part-type systems in high volume manufacturing : Kanban System design for automatic production scheduling
… line meet fluctuating demands for multiple part types. Based on the parameter settings of the Control-Point Policy, the optimum Kanban levels are obtained. The simulation software Simul8 was used to model the factory line and the Kanban system. Using the optimum Kanban levels, the Kanban system …
-
Multiple-part-type systems in high volume manufacturing : long-term capacity planning & time-based production control
… characterized the station as a multiple part type system with mixed low and high volume manufacturing, the lead strategy for long-term capacity planning was applied to fulfill excess demand. In the second stage of the project, the Setup-Enhanced Control-Point Policy was adapted to derive an …
-
Type checking and type inference for object-oriented programming languages
Type systems for object-oriented programming languages have been studied a great deal over the past few years. Since Smalltalk was one of the earliest object-oriented languages, it is not surprising that there have been several attempts to provide a type system for it. Unfortunately, none of the …
-
Practical pluggable types for Java
… Framework, which supports adding pluggable type systems to the Java language in a backward-compatible way. A type system designer defines type qualifiers and their semantics, and a compiler plug-in enforces the semantics. Programmers can write the type qualifiers in their programs and use …
-
Effective Use of MRP-Type Computer Systems to Support manufacturing
… 30 years, Manufacturing Resource Planning (MRP-type) computer systems have quickly evolved from basic materials requirement planning software to today's enterprise resource planning (ERP) integrated software packages that reside on client/server computer architecture. However, given the …
-
Extending the Java language for the prevention of data races
… a language extension for Java that ensures that type-checked programs will be free of race conditions. By adding parameterization to class types, this mostly static type-system allows programmers to write generic object code independent of the concurrency protection mechanism to be used to guard …
-
Dependency Tracking and Dependent Types
… computations depend on their inputs. Dependent types, on the other hand, allow static types to depend on and be determined by program values. This dissertation describes my work on designing expressive dependently typed systems where useful features such as relevance tracking and termination …
-
Vortices, Painlevé integrability and projective geometry
… and Yang-Mills theory. It is proved that the 5 types of vortices recently proposed by Manton are actually symmetry reductions of (anti-)self-dual Yang-Mills equations with suitable gauge groups and symmetry groups acting as isometries in a 4-manifold. As a consequence, the twistor integrability …
-
Types, categories, actions
… the standard relational model. We then alter the type system leading to a general categorical framework for type systems with dimension types. We develop some informative models of this type theory, including a model based on group actions that captures invariance under scaling.
-
Optimal and Feedback Control for Hyperbolic Conservation Laws
… Control models are also proposed for relaxation type systems of hyperbolic PDEs. Existence of optimal control for the case of constant controls is presented. Unbounded and bounded feedback control designs are proposed. These include advective, diffusive, and advective-diffusive controls. …
-
A mechanized Theory of Aspects
… Basic concepts such as the locality of errors, type soundness and re-usability can thus be harmed by aspects. This thesis employs the method of rigorous language development on Aspect Orientation in order to show what classes of aspects maintain the safety of an application. Our rigorous …
-
Nonlinear Optical Spectroscopy of Gallium Arsenide Interfaces
… interface. In particular, in Au:GaAs n-type systems we have observed two resonance features at 0.715 eV and 0.731 eV for the Ga-rich interface and a single resonance feature at 0.715 eV for the As-rich interface. Similar single resonance features at 0.715 eV were observed in As:GaAs …
-
Types for mutual exclusion in concurrent programming languages
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-04-12 without embargo terms
-
Strategies for developing ultrathin, high-density, actively multiplexed neural mapping device
Electronic systems that integrate with biological systems must be able to accommodate the dynamic mechanical characteristics of the tissue. With the rise in the interest of diagnosing and treating brain diseases it is critical that electrodes involving brain/machine interfaces have minimal effect …
-
Programming languages and principles for read–write linked data
… analysis of Read–Write Linked Data is through a type system. The simplest type system for this application simply checks that well understood terms which appear in the semi-structured data, such as numbers and strings of characters, are used correctly. Static analysis then verifies that basic …
-
Programming and static analysis with graded monads
… properties of a computation purely from their type of a computation. They have been used to represent a variety of properties traditionally inferred by frameworks such as type-and-effect systems -- for example, success of partial computation and taint checking. However, their use has been …
-
A wide spectrum type system for transformation theory
… the migration of a legacy system. Usually, these systems are unstructured, poorly documented and contain complex program logic. The reason for this, in most cases, is an emphasis on raw performance rather than on clean and structured code as well as a long period of applying quick fixes and …
Page 1 of 3