The Institute of Mathematics and Computer Science

Results: 130



#Item
121Chişinău / Moldova / Geography / Europe / Gheorghe Păun / Iași

CMC14 – The 14th International Conference on Membrane Computing August 20-23, 2013, Chisinau, Republic of Moldova Organizing institution Institute of Mathematics and Computer Science of

Add to Reading List

Source URL: www.math.md

Language: English - Date: 2013-01-30 10:40:08
122Network theory / Combinatorics / Complex network / Random graph / Community structure / Assortativity / Modularity / Degree distribution / Topology / Graph theory / Mathematics / Networks

Kernel Models for Complex Networks Milena Mihail Yorgos Amanatidis Stephen Young School of Computer Science and School of Mathematics Georgia Institute of Technology Abstract: We advocate the study of graph models for co

Add to Reading List

Source URL: journal.webscience.org

Language: English - Date: 2011-10-24 11:14:15
123Complexity classes / Mathematical optimization / NP-complete problems / Structural complexity theory / NP-complete / NP / Boolean satisfiability problem / P versus NP problem / 2-satisfiability / Theoretical computer science / Computational complexity theory / Applied mathematics

Phase transitions in NP-complete problems: a challenge for probability, combinatorics, and computer science Cristopher Moore University of New Mexico and the Santa Fe Institute

Add to Reading List

Source URL: tuvalu.santafe.edu

Language: English - Date: 2010-10-12 20:57:56
124Applied mathematics / NP / P versus NP problem / EXPTIME / P / Complete / Hamiltonian path / Co-NP / Polynomial-time reduction / Theoretical computer science / Computational complexity theory / Complexity classes

A Tale of Two Cultures: Phase Transitions in Physics and Computer Science Cristopher Moore University of New Mexico and the Santa Fe Institute

Add to Reading List

Source URL: tuvalu.santafe.edu

Language: English - Date: 2006-12-15 13:47:11
125Herbert Edelsbrunner / Austria / Biophysics / Neuroscience / Institute of Science and Technology / Klosterneuburg / Institute of Science and Technology Austria / Academia / Science

Research at IST Austria Currently, research at IST Austria focuses on evolutionary biology, neuroscience, cell biology, physics, mathematics and computer science. In order to foster an interdisciplinary spirit, the Insti

Add to Reading List

Source URL: ist.ac.at

Language: English - Date: 2013-11-14 05:30:36
126Calyampudi Radhakrishna Rao / Kannada people / University of Pune / Financial modeling / University of Hyderabad / CR Rao Advanced Institute of Mathematics /  Statistics and Computer Science / S. B. Rao / States and territories of India / Statistics / Education in Andhra Pradesh

About the Institute Organizing Committee C. R. Rao AIMSCS (www.crraoaimscs.org)

Add to Reading List

Source URL: crraoaimscs.org

Language: English - Date: 2014-05-26 07:18:44
127Complexity classes / Finite model theory / Graph connectivity / Game theory / FO / Reachability / P / Extensive-form game / Tree / Theoretical computer science / Graph theory / Mathematics

Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc

Add to Reading List

Source URL: jakubszymanik.com

Language: English - Date: 2013-07-13 09:14:28
128Classes of computers / Symbolic computation / Reduced instruction set computing / Computing / Computer science / Science / Bruno Buchberger / SIGSAM / Research Institute for Symbolic Computation / Computer algebra / Hagenberg im Mühlkreis

Doctoral Studies in Symbolic Computation Symbolic Computation at RISC Symbolic Computation is the subarea of mathematics and computer science which solves problems on symbolic objects

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2011-12-15 08:55:43
129Education in the United States / American Association of State Colleges and Universities / Public universities / Geography of Texas / Texas / UTeach / University of Texas at Dallas / University of Texas at Austin / University of Texas at Arlington / Oak Ridge Associated Universities / Association of Public and Land-Grant Universities / The UTeach Institute

SPRING[removed]UTeach National Expansion UTeach answers the challenge for universities to train more mathematics and science teachers by enabling students studying mathematics, science, engineering, or computer science to

Add to Reading List

Source URL: uteach-institute.org

Language: English - Date: 2014-05-19 09:37:20
130Applied mathematics / Models of computation / Computer science / Model checking / Finite-state machine / Formal language / Algorithm / Theoretical computer science / Automata theory / Mathematics

The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec

Add to Reading List

Source URL: www.veromodo.com

Language: English - Date: 2011-10-24 14:32:42
UPDATE