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 22 for “"Finite Domain"”.
-
Valued Constraint Satisfaction Problems over Infinite Domains
… precisely, the input of a VCSP consists of a finite set of variables, a finite set of cost functions that depend on these variables, and a cost $u$; the task is to find values for the variables such that the sum of the cost functions is at most $u$. By restricting the set of possible cost …
-
Magellan : a robust executive enabling long horizon multi-agent campaigns
… by hybrid activity plans, featuring both finite domain and real-valued variables. This thesis introduces a robust, centralized executive, Magellan, to facilitate the execution of long horizon hybrid campaigns. Previous hybrid execution approaches address the challenges of generating …
-
A Finite Element Approach to Model Electromagnetic Fields Scattered by a Buried Cavity
… arbitrarily shaped cavity embedded in an infinite metallic surface that has been covered with a layer or layers of dielectric material, considering both transverse electric and transverse magnetic polarizations. Due to the shape of the cavity, this problem is approached using the finite …
-
Reduced basis method for Boltzmann equation
… of the velocity variable y, such that the semi-infinite domain is mapped into a finite domain; we choose the weighting function t(y), to balance contributions at infinity. Once we obtain an accurate and well defined finite element solution of the problem. The next step is to perform the reduced …
-
Nonstandard Models in Measure Theory and in functional Analysis
… to develop a model for the probability of infinite sequences of coin tosses coherent with the original ideas of Laplace. In functional analysis, we introduce a space of functions of nonstandard analysis with a formally finite domain, that extends both the space of distributions and the space …
-
In situ x-ray investigations of staging and sequencing potassium-graphite intercalation compounds
… mixing is seen to be a direct consequence of finite domain size and entropy. It is unclear whether the discontinuous nature of the stage transitions is a true miscibility gap resulting from a first-order transition or whether it is an apparent miscibility gap resulting from the particular form …
-
The use and analysis of infinite elements
Until recently, problems defined in infinite domains were usually solved using truncated finite elements in a finite domain. A mesh extending to some finite boundary would be chosen, and any boundary conditions which should have been applied at infinity would, in practice, be imposed at this …
-
Materials and strategies for flexible, stretchable and large area photonic devices
… visible range of operation. Optical modeling by finite domain time domain simulations will be incorporated to achieve optimized device design. Similarly, large area and highly stretchable plasmonic nanoparticle arrays will be obtained to show large resonance tuning for the first time with unusual …
-
Automating modular program verification by refining specifications
… property has been validated (with respect to a finite domain), or a non-spurious counterexample has been found. Furthermore, we describe a lightweight static technique to extract specifications of heap-manipulating procedures. These specifications neither are context-dependent, nor require any …
-
Cosmological backreaction : from the local Hubble expansion rate to dark energy
… completely on the boundary of the averaged domain. For any finite domain, these surface terms are nonzero in general, and thus backreaction is for real. We map the backreaction effect on an effectively homogeneous and isotropic (fluid) model and prove that a cosmological constant can be …
-
Optimization Modulo Theories with OptiMathSAT
… optimization of goals defined over multiple domains –the Boolean, the mixed Linear Integer and Rational Arithmetic, the Bit-Vector and the Floating Point domain– including (Partial Weighted) MaxSMT. We validate our theoretical contributions experimentally, by comparing the performance of …
-
Magnetic thin films For spintronic memory
Domain walls are regions of spatially non-uniform magnetizations in magnetic materials. They form the boundaries between two or more uniformly magnetized regions called domains. Skyrmions are circular magnetic domains with chiral domain walls that are interesting due to their stability and …
-
Applied math in geophysical fluids : partially trapped wave problems and mining plumes
… waves are partially trapped. By replacing the infinite domain with a finite domain and appropriate boundary conditions it is possible in many cases to construct a complete basis for the solution in terms of these modes. Formulating such effective boundary conditions requires a notion of the …
-
Optimal nonlinear control and estimation using global domain linearization
… nonlinear differential equations over a finite domain. It is used to engineer optimal convergence to target sets, a general form of spatial reasoning. Ordinary differential equations are ubiquitous models in physics and engineering that describe a wide range of phenomena including …
-
Consistent description of radiation damping in transient soil-structure interaction
… problems are characterized by an unbounded soil-domain and thus by radiation damping. This radiation damping arises due to wave propagation from the excited structure into the subsoil and may lead to a reduction of the structural response. A consistent description of this radiation damping has …
-
Models and Algorithms for School Timetabling
… solver for modeling and solving TPPs in a finite-domain constraint programming framework. To investigate our problem solvers' behavior, we performed a large-scale empirical study. When designing the experiment, the top priority was to obtain results that are both reliable from a statistical …
-
Meandering river dynamics
… equations. Our predictions for non-periodic finite-domains constitute the first correct explanation of behavior observed in flumes, where a fixed inlet leads to the long-term decay of all meanders. We show that a continuous perturbation is required for sustained meandering. With a driven …
-
Nonlinear long-wave interfacial stability of two-layer gas-liquid flow
… is destabilizing. In the general case, over a finite domain, a general stability diagram of film thickness and pressure drop is found. For sufficently large countercurrent pressure drops, the interfacial mode becomes unstable, with the location of the largest deformation found near the liquid …
Page 1 of 2