The concept of backdoor was introduced to try to explain the good performances achieved on real world SAT instances by solvers. A backdoor is a set of variables that, once decided, makes the rest of the problem simple (i.e. polynomial-time). In this thesis we provide a comprehensive overview on the state of the art of backdoors for SAT. Moreover, we study the relation between backdoors and para...

Co-Simulation is a general approach to simulate coupled technical systems. In a master-slave concept the slaves simulate sub-problems whereas the master is responsible for both coordinating the overall simulation as well as transferring data. To unify the interface between master and slave the FMI for CoSimulation was developed. Using FMI a master was implemented with simple and advanced algori...

Three types of Al-5Ti master alloys were synthesized by a method of thermal explosion reaction in pure molten aluminum. Performance comparison of Al-5Ti master alloy in grain refinement of commercial purity Al with different additions (0.6%, 1.0%, 1.6%, 2.0%, and 3.0%) and holding time (10, 30, 60 and 120 min) were investigated. The results show that Al-5Ti master alloy with blocky TiAl₃ partic...

The master sintering curve method was applied to analyze the and crystallization behavior of 15Na2O.10CaO.75SiO2 (SLS) 17Na2O.33CaO.50SiO2 (NC2S3) glasses, in mol %. densification samples successfully analyzed using (MSC) method; it gives activation energy Q = 310–340 kJ.mol−1, which is good agreement with expected viscous flow. While obtained enables predicting SLS glass, actual results are di...

We present a stabilized master-laser power-amplifier system for ground-based differential absorption LIDAR (DIAL) for profiling atmospheric water vapor. This system consists of two CW master lasers with the wavelength of each master laser actively stabilized. The system employs GaAlAs laser diodes for both the master lasers and the tapered laser amplifier. The on-line master laser is currently ...

• Master of Arts in Education and Human Development in the field of assessment, testing, and measurement in education (http://bulletin.gwu.edu/education-human-development/ masters-program/education-human-developmentassessment-testing-and-measurement) • Master of Arts in Education and Human Development in the field of education policy studies (http://bulletin.gwu.edu/ education-human-development...

The issue discussed is a thermodynamic version of the Bern-Kosower master amplitude formula, which contains all necessary one-loop Feynman diagrams. It is demonstrated how the master amplitude at finite values of temperature and chemical potential can be formulated within the framework of the world-line formalism. In particular we present an elegant method how to introduce a chemical potential ...