Results 301 to 310 of about 29,394,877 (347)

PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks

Computer Algebra in Scientific Computing, 2012
S. Samal, Hassan Errami, A. Weber
semanticscholar   +1 more source

Relational and Algebraic Methods in Computer Science

Lecture Notes in Computer Science, 2012
J. Hartmanis, Takeo Kanade
semanticscholar   +1 more source

Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial)

International Conference on Relational and Algebraic Methods in Computer Science, 2011
S. Foster, G. Struth, Tjark Weber
semanticscholar   +1 more source

Constructive and Algebraic Methods of the Theory of Rough Sets

Information Sciences, 1998
Yiyu Yao
semanticscholar   +1 more source

Automating Algebraic Methods in Isabelle

IEEE International Conference on Formal Engineering Methods, 2011
Walter Guttmann, G. Struth, Tjark Weber
semanticscholar   +1 more source

MicroRNAome genome: A treasure for cancer diagnosis and therapy

Ca-A Cancer Journal for Clinicians, 2014
Ioana Berindan-Neagoe, Barbara Pasculli, George A Calin   +2 more
exaly  

Algebraic Methods

2002
openaire   +2 more sources

Algebraic Methods

2007
openaire   +1 more source

Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods

Sensors Applications Symposium, 2010
N. Matringe, A. Moura, R. Rebiha
semanticscholar   +1 more source

Electronic patient‐reported outcome systems in oncology clinical practice

Ca-A Cancer Journal for Clinicians, 2012
Antonia V Bennett, Ethan M Basch
exaly