5550 search results - page 1072 / 1110 » Different Approaches to Proof Systems |
103
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Ideas by Statistical Mechanics (ISM) is a generic program to model evolution and propagation of ideas/patterns throughout populations subjected to endogenous and exogenous interac...
110
click to vote
ENGL
2006
15 years 1 months ago
2006
Recently, there has been a growth in the amount of machine readable information pertaining to the biomedical field. With this growth comes a desire to be able to extract informati...
117
click to vote
ENVSOFT
2007
15 years 1 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...
121
click to vote
NC
2008
15 years 1 months ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...
119
click to vote
SIAMSC
2008
15 years 1 months ago
2008
The convergence of Multigrid methods can be analyzed based on a Fourier analysis of the method or by proving certain inequalities that have to be fulfilled by the smoother and by t...