Sciweavers

12487 search results - page 323 / 2498
» Graspable Work Modeling
Sort
View
140
Voted
BIRTHDAY
2010
Springer
15 years 6 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
CIBCB
2009
IEEE
15 years 6 months ago
Steady-state analysis of genetic regulatory networks modeled by nonlinear ordinary differential equations
Although Ordinary Differential Equations (ODEs) have been used to model Genetic Regulatory Networks (GRNs) in many previous works, their steady-state behaviors are not well studied...
Haixin Wang, Lijun Qian, Edward R. Dougherty
98
Voted
CCE
2008
15 years 5 months ago
Population balance modeling in Simulink: PCSS
In this work we develop, demonstrate, and distribute the code for a new Simulink block that models the dynamic evolution of the population density function for a physical system w...
Jeffrey D. Ward, Cheng-Ching Yu
ENTCS
2008
96views more  ENTCS 2008»
15 years 4 months ago
Undecidability of Model Checking in Brane Logic
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
Giorgio Bacci, Marino Miculan
ACL
2010
15 years 2 months ago
Modeling Norms of Turn-Taking in Multi-Party Conversation
Substantial research effort has been invested in recent decades into the computational study and automatic processing of multi-party conversation. While most aspects of conversati...
Kornel Laskowski