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 1902 for “"first-order"”.
-
First Order Linear Systems
… a physical situation by a set of equations in order to solve real life problems. Most natural events can be expressed as differential and difference equations. In this respect, <em>Ordinary Differential Equations (ODE)</em> are one of the most useful parts of mathematics for theory and …
-
Lifted First-Order Probabilistic Inference
… with much richer representations, especially first-order ones. In the last two decades, many probabilistic algorithms accepting first-order specifications have been proposed, but in the inference stage they still operate mostly on a propositional level, where the rich and useful first-order …
-
Fast distributed first-order methods
This thesis provides a systematic framework for the development and analysis of distributed optimization methods for multi-agent networks with time-varying connectivity. The goal is to optimize a global objective function which is the sum of local objective functions privately known to individual …
-
First Order Signatures and Knot Concordance
… Once armed with these tools we use them first to study the knot concordance group generated by the twist knots which are of order 2 in the algebraic concordance group. With our computational tools we can show that with only finitely many exceptions, they form a linearly independent set in …
-
Advancements in automated first-order verification
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms
-
Distance information transmission using first order reflections
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
First Order Methods for Large-Scale Sparse Optimization
… these problems forces one to use the so-called first-order methods that only use gradient information at each iterate. These methods are efficient for problems with a "simple" feasible set such that Euclidean projections onto the set can be computed very efficiently, e.g. the positive orthant, …
-
A System for Models of First Order Theories
… and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the …
-
Novel first-order methods for bilevel and minimax optimization.
… and bilevel optimization and develops novel first-order methods with strong theoretical guarantees for solving both classes of problems. Specifically, we study a class of constrained minimax problems and propose efficient augmented Lagrangian methods with complexity guarantees for both …
-
Disorder at first-order classical and quantum phase transitions
… dissertation studies the effects of quenched disorder on classical, quantum and nonequilibrium phase transitions. After a short introduction which covers the basic concepts of phase transitions, finite-size scaling and random disorder, the dissertation focuses on four separate but related …
-
An Interactive Theorem Prover for First-Order Dynamic Logic
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of …
-
A Random First Order Theory of Liquid -Glass Transition
… of glassy dynamics based on an underlying random first order transition is developed to explain the magnitude and variation of free energy barriers for glassy relaxation. A variety of empirical correlations embodied in the concept of liquid ""fragility"" are shown to be quantitatively explained by …
-
A Random first order theory of liquid-glass transition
… of glassy dynamics based on an underlying random first order transition is developed to explain the magnitude and variation of free energy barriers for glassy relaxation. A variety of empirical correlations embodied in the concept of liquid ""fragility"" are shown to be quantitatively explained by …
-
Efficient learning of temporal dynamics with first-order methods
… efficient, by harnessing the power of first-order optimization methods. In particular, we provide solutions to the above challenges, by developing the following distinct, yet closely related algorithms: • First, we introduce an online learning framework for nonparametric maximum …
-
Formulas of first-order logic in distributive normal form
… by Jaakko Hintikka that every formula of first-order logic can be written as a disjunction of formulas called constituents. Such a disjunction is called a distributive normal form of the formula. It is a generalization of the disjunctive normal form for propositional logic. However, there are …
-
Dynamical systems view of acceleration in first order optimization
Gradient based optimization algorithms are among the most fundamental algorithms in optimization and machine learning, yet they suffer from slow convergence. Consequently, accelerating gradient based methods have become an important recent topic of study. In this thesis, we focus on explaining and …
-
The nature of mantle layering from first-order reverberations
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Earth, Atmospheric, and Planetary Sciences, 1989.
-
Performance-based earthquake engineering with the first-order reliability method
… the present study focuses on two broad themes; first, treatment of uncertainties and the application of the first-order reliability method (FORM) in finite-element reliability analysis, and second, the seismic risk assessment of reinforced concrete structures for performance states such as, …
-
Accelerated first-order optimization methods using inertia and error bounds
… machine learning applications. The focus is on first-order methods which have low per-iteration complexity and can exploit problem structure to a high degree. First-order methods have the capacity to address large-scale problems for which all alternative methods fail. However, first-order …
-
Environmental magnetic applications of first-order reversal curve diagram analysis
… based on principal component analysis (PCA) of first-order reversal curve (FORC) diagrams. Magnetic records are crucial for the understanding of paleoclimate, and are a source of information on the geological history of Earth. The information extracted with established (conventional) methods may …
Page 1 of 96