Sciweavers

3299 search results - page 177 / 660
» A general mathematics of names
Sort
View
EOR
2008
109views more  EOR 2008»
15 years 6 months ago
Basin-wide cooperative water resources allocation
The Cooperative Water Allocation Model (CWAM) is designed within a general mathematical programming framework for modeling equitable and efficient water allocation among competing...
Lizhong Wang, Liping Fang, Keith W. Hipel
JAPLL
2008
98views more  JAPLL 2008»
15 years 6 months ago
A formal account of Socratic-style argumentation
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
Martin Caminada
MAGS
2008
169views more  MAGS 2008»
15 years 6 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi
MICS
2008
103views more  MICS 2008»
15 years 6 months ago
The Freedom to Extend OpenMath and its Utility
Abstract. OpenMath [6] is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML [8] in not being directly concerned with the presen...
James H. Davenport, Paul Libbrecht
JCB
2002
131views more  JCB 2002»
15 years 6 months ago
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
Hidde de Jong