Sciweavers

9425 search results - page 238 / 1885
» Some Notes on Models and Modelling
Sort
View
125
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
Thirteen Definitions of a Stable Model
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
Vladimir Lifschitz
ANOR
2007
67views more  ANOR 2007»
15 years 3 months ago
A stochastic programming model for asset liability management of a Finnish pension company
This paper describes a stochastic programming model that was developed for asset liability management of a Finnish pension insurance company. In many respects the model resembles t...
Petri Hilli, Matti Koivu, Teemu Pennanen, Antero R...
107
Voted
COMBINATORICS
2007
67views more  COMBINATORICS 2007»
15 years 3 months ago
Directed Animals and Gas Models Revisited
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
Yvan Le Borgne, Jean-François Marckert
125
Voted
JALC
2006
95views more  JALC 2006»
15 years 3 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
STTT
2008
89views more  STTT 2008»
15 years 3 months ago
Modelling defence logistics networks
Military logistics concerns the activities required to support operational forces. It encompasses the storage and distribution of materiel, management of personnel and the provisio...
Guy Edward Gallasch, Nimrod Lilith, Jonathan Billi...