1056 search results - page 103 / 212 » Handbook of mathematical functions |
POPL
2010
ACM
14 years 6 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
ISBI
2009
IEEE
14 years 3 months ago
2009
IEEE
Recently various mathematical models have been proposed to model the signal attenuation obtained from Diffusion Weighted Magnetic Resonance Imaging (DW-MRI). Though effective to v...
LATA
2009
Springer
14 years 3 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated bacteria. We perform the study both experimentally and theoretically. ...
MKM
2009
Springer
14 years 3 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...