We prove existence of a wetting transition for two classes of gradient elds which include: (1) The Continuous SOS model in any dimension and (2) The massless Gaussian model in dimension 2. Combined with a recent result proving the absence of such a transition for Gaussian models above 2 dimensions (Bolthausen et al., 2000. J. Math. Phys. to appear), this shows in particular that absolute-value ...

We present a novel technique to remove spurious ambiguity from transition systems for dependency parsing. Our technique chooses a canonical sequence of transition operations (computation) for a given dependency tree. Our technique can be applied to a large class of bottom-up transition systems, including for instance Nivre [2004] and Attardi [2006].

the main objective of an ecosystem sustainable management is to preserve itscapacity to respond and adapt to current disturbances and/or future changes, and maintain theprovision of environmental goods and services. two very important properties linked to thisobjective are the ecosystem resilience and resistance to disturbance factors. the objective ofthis paper is to recommend conceptual modif...

Singlet extensions of the Standard Model (SM) allow for a strongly first order electroweak phase transition, because of trilinear terms in the tree-level potential. We present a systematic procedure to study the parameter space of the Next-toMinimal Supersymmetric SM (NMSSM). We find that this model is consistent with electroweak baryogenesis for a wide range of parameters, allowing Higgs masse...

Equivalences, partitions and (bi)simulations are usually tackled using concrete relations. There are only few treatments by abstract relation algebra or category theory. We give an approach based on the theory of semirings and quantales. This allows applying the results directly to structures such as path and tree algebras which is not as straightforward in the other approaches mentioned. Also,...

This paper describes a technique based on network grammars and abstraction to verify families of state transition systems The family of state transition systems is represented by a context free network grammar Using the structure of the network grammar our tech nique constructs an invariant which simulates all the state transition systems in the family A novel idea used in this paper is to use ...

Uncertain Reward-Transition MDPs for Negotiable Reinforcement Learning

In this paper a resonant tunnelling quantum well infrared photodetector (RT-QWIP) is discussed. Each period of this photodetector structure comprises of a resonant tunnelling structure (AlAs/AlGaAs/AlAs) nearby a quantum well (AlGaAs/GaAs). In this photodetector, photocurrent is produced when an electron makes a transition from the ground state of the well to an excited state which is coupled t...

in this study, kinetics and mechanism of the sulfur dioxide adsorption on the single-walled carbon nanotubes (cnt) are investigated. three single-walled carbon nanotubes, including the armchair (6,6), chiral (6,5) and zigzag (6,0) cnts were chosen as the models and the different orientations of so2 molecule relative to the cnt axis were considered. the b3lyp functional within the 6-31g(d) basis...