5205 search results - page 157 / 1041 » Tilings and model theory |
ISMB
1996
13 years 11 months ago
1996
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
AAAI
1990
13 years 11 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
ERCIM
2010
13 years 10 months ago
2010
: We show that the cusp catastrophe model explains the crash of stock exchanges much better than other models. On the data of U.S. stock markets we demonstrate that the crash of 19...
AINA
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
ITRUST
2005
Springer
14 years 3 months ago
2005
Springer
The importance of risk in trust-based systems is well established. This paper presents a novel model of risk and decision-making based on economic theory. Use of the model is illus...