190 search results - page 10 / 38 » Immunotherapy with Interleukin-2: A Study Based on Mathemati... |
ICES
2003
Springer
15 years 3 months ago
2003
Springer
The communication mechanism used by the biological cells of higher animals is an integral part of an organisms ability to tolerate cell deficiency or loss. The massive redundancy ...
B
2007
Springer
15 years 4 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
ITP
2010
15 years 1 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
LICS
1989
IEEE
15 years 2 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
ISCSCT
2008
IEEE
15 years 4 months ago
2008
IEEE
—Relevance feedback(RF) has been proved to be an effective way to improve the precision and recall of 3D model retrieval. However, the existing RF approaches do not consider whic...