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 1455 for “"computations"”.
-
Computations in monotone Floer theory
… conjecture. This work presents several new computations in Floer theory which combine the use of geometric symmetries, naturally arising in various contexts, with advanced algebraic structures related to Floer theory, like the string maps and the Fukaya category. The three main directions of …
-
An Environment for Imprecise Computations
This thesis is concerned with the problem of providing operating system support to flexible real-time applications with end-to-end deadlines and of integrating checkpointing and rollback recovery with flexible applications as a means to increase the availability and dependability of real-time …
-
Tiling optimizations for stencil computations
… communication overhead by introducing redundant computations. Hierarchical Overlapped Tiling also applies the idea of hierarchical tiling to take advantage of hardware hierarchy, so that the additional overhead introduced by redundant computations can be minimized. The second tiling technique is …
-
Primitive computations in phrase construction
The Minimalist Program in current linguistic theory seeks to explain linguistic structure in terms of economy principles, under the assumption that the human language faculty is a perfect system that performs only enough work to satisfy interface requirements. We consider processing costs as a …
-
Contention Bounds for Locking Computations
… restricted case of fork-join (series-parallel) computations with 𝑛 strands and a single lock we offer a Θ(𝑛²) exact algorithm as well as a Θ(𝑛) 2-approximation for worst case contention. In proving these bounds linking maximum contention to the antichain sizes of a program’s parallel trace, we …
-
Order computations in generic groups
We consider the problem of computing the order of an element in a generic group. The two standard algorithms, Pollard's rho method and Shanks' baby-steps giant-steps technique, both use [theta](N^1/2) group operations to compute abs([alpha])=N. A lower bound of [omega](N^1/2) has been conjectured. …
-
Mixed-Field Finite-Element Computations
A new method called the Direct Method is developed to solve for the propagating modes in waveguides via the finite-element method. The variational form of the Direct method is derived to ensure that an extremum is reached. The Direct method uses Maxwell's equations directly, both zero and …
-
Combinatorial Koszul Homology: computations and Applications
With a particular focus on explicit computations and applications of the Koszul homology and Betti numbers of monomial ideals, the main goals od this thesis are the following: Analyze the Koszul homology of monomial ideals and apply it to describe the structure of monomial ideals. Describe …
-
ERES Methodology and Approximate Algebraic Computations
The area of approximate algebraic computations is a fast growing area in modern computer algebra which has attracted many researchers in recent years. Amongst the various algebraic computations, the computation of the Greatest Common Divisor (GCD) and the Least Common Multiple (LCM) of a set of …
-
Theoretical Computations of Exchange-Reaction Probabilities
Made available in DSpace on 2014-12-09T17:34:57Z (GMT). No. of bitstreams: 1 6500794.pdf: 2618370 bytes, checksum: e0be16fdea8cec960818eb096587d24e (MD5) Previous issue date: 1964
-
Efficient matrix computations via subsampling sketches
Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2025-08-01
-
Lagrangian computations of radiating fire plumes
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2000.
-
Electroactive polymer actuators: theory and computations
… continuum-mechanical theories and finite element computations for three common types of electroactive polymer actuators: (1) ionic polymer-metal composites (IPMCs), (2) piezoelectric polymers, and (3) dielectric elastomers. Highly-coupled physical phenomena drive the actuation mechanism for each …
-
Coordinate-independent computations on differential equations
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.
-
Airborne radar altimeter return waveform computations
Radar altimeter experiments have shown the need for expanding the downward-looking, single-beam system into a multiple beam radar altimeter employing off-nadir altimetry so that information from a wider swath can be obtained from a single overflight. Problems associated with off-nadir altimetry …
-
Computations of bubble dynamics with heat transfer
… the predicted temperature drop is more in the computations than in the experiments. This can be explained by the fact that, in the computations, the calculations are carried out using a 2D model which cannot account for lateral mixing as the bubble slides in the boundary layer. Conduction from …
-
Adiabatic Circuits for Power-Constrained Cryptographic Computations
… operation in power-constrained cryptographic computations. An example of such an application could be smartcards. One of the techniques which has proven to have the potential of rendering ultra-low power operation is ‘Adiabatic Logic Technique’. However, the adiabatic circuits has associated …
Page 1 of 73