Sciweavers

2664 search results - page 205 / 533
» Theory of processes
Sort
View
EUSFLAT
2007
142views Fuzzy Logic» more  EUSFLAT 2007»
15 years 7 months ago
Compenzational Vagueness
Some manipulations with vague quantities consist in an aggregation of vague amounts where the resulting aggregated quantity (in our case a sum of vague summands) is expected to be...
Milan Mares
PROCOMET
1998
15 years 7 months ago
Bisimulations in the join-calculus
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
Michele Boreale, Cédric Fournet, Cosimo Lan...
BIOSYSTEMS
2007
111views more  BIOSYSTEMS 2007»
15 years 6 months ago
Metastability, criticality and phase transitions in brain and its models
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...
Gerhard Werner
CORR
2006
Springer
88views Education» more  CORR 2006»
15 years 6 months ago
Polynomial Time Nondimensionalisation of Ordinary Differential Equations via their Lie Point Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equation. ...
Evelyne Hubert, Alexandre Sedoglavic
JSYML
2006
119views more  JSYML 2006»
15 years 5 months ago
0-D-valued fields
In [Sca99], T. Scanlon proved a quantifier elimination result for valued D-fields in a three-sorted language by using angular component functions. Here we prove an analogous theore...
Nicolas Guzy