Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particular relevant in practice when programs with variables are considered, where such transformations play a basic role in (offline) simplifications of logic programs. So far, such transformations of non-ground programs have...

Observed bimodal tree cover distributions at particular environmental conditions and theoretical models indicate that some areas in the tropics can be in either of the alternative stable vegetation states forest or savanna. However, when including spatial interaction in nonspatial differential equation models of a bistable quantity, only the state with the lowest potential energy remains stable...

We study bilinear embedding models for the task of multirelational link prediction and knowledge graph completion. Bilinear models belong to the most basic models for this task, they are comparably efficient to train and use, and they can provide good prediction performance. The main goal of this paper is to explore the expressiveness of and the connections between various bilinear models propo...

a detailed study of ostracoda changes against the stable isotopes of carbon and oxygen acrossthe cenomanian-turonian boundary mass extinction has been fully documented in one section, the south ofengland. this section comprises the uppermost cenomanian to lowermost turonian strata. the comparisonbetween the results obtained in this research and two rival models for the cenomanian-turonian bound...

Passive solar systems such as solar chimneys need solar radiation in order to work. Therefore, they cannot present stable natural ventilation when solar energy vanishes: to have a more robust and stable condition, solar energy should be stored during the day and released back during the night. Phase change materials can save additional thermal energy during the day and release it during the nig...

Passive solar systems such as solar chimneys need solar radiation in order to work. Therefore, they cannot present stable natural ventilation when solar energy vanishes: to have a more robust and stable condition, solar energy should be stored during the day and released back during the night. Phase change materials can save additional thermal energy during the day and release it during the...

‎in this work we introduce and study discrete time periodically correlated stable‎ ‎processes and multivariate stationary stable processes related to periodic and cyclic‎ ‎flows‎. ‎our study involves producing a spectral representation and a‎ ‎spectral identification for such processes‎. ‎we show that the third‎ ‎component of a periodically correlated stable process has a component related to a...

A sufficient condition for uniqueness is identified on the preferences in the marriage problem, i.e. two-sided one-to-one matching with non transferable utility. For small economies this condition is also necessary. This class of preferences is broad and they are of particular relevance in economic applications.  2000 Elsevier Science S.A. All rights reserved.