This thesis studies intersecting brane models, which are a class of quasi-realistic compactifications of string theory. Techniques are developed for exploring the complete space of intersecting brane models on an orientifold. The classification of all solutions for the widely-studied T 6/Z 2 x Z2 orientifold is made possible by computing all combinations of branes with negative tadpole contribu...

The steady state of a magnetization M of a ferromagnetic sample Ω was first described by Landau and Lifschitz as the solution of a certain minimization problem, which is nowadays accepted as the relevant model to describe micromagnetic phenomena. For uniaxial material with easy axis e1, the free micromagnetic energy reads E(M) = d ∫

In this work we present additional results related to the property of strong equivalence of logic programs. This property asserts that two programs share the same set of stable models, even under the addition of new rules. As shown in a recent work by Lifschitz, Pearce and Valverde, strong equivalence can be simply reduced to equivalence in the logic of Here-and-There (HT). In this paper we pro...

Performance characterisation of IP networks Bogdan Vladimir Ghita