Models of computation

Results: 1716



#Item
51Genome Informatics 12: 292–Genomic Object Net: Petri Net Enhancement for Multi-Cellular Processes

Genome Informatics 12: 292–Genomic Object Net: Petri Net Enhancement for Multi-Cellular Processes

Add to Reading List

Source URL: www.jsbi.org

Language: English - Date: 2002-01-17 08:51:06
52Microsoft Word - IBSAlgorithms.doc

Microsoft Word - IBSAlgorithms.doc

Add to Reading List

Source URL: foibg.com

Language: English - Date: 2015-02-02 13:45:53
53Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli

Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli

Add to Reading List

Source URL: www.neil.dantam.name

Language: English - Date: 2016-07-08 21:59:42
54The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler  Indiana University, USA

The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2016-07-07 12:33:11
55Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University

Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 1999-11-28 23:07:44
56Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel†

Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel†

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2014-12-08 14:42:38
57c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful

c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2005-06-24 01:20:00
58Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement

Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement

Add to Reading List

Source URL: www.monomorphic.org

Language: English - Date: 2016-02-21 08:39:18
59An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry

An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry

Add to Reading List

Source URL: www.janis-voigtlaender.eu

Language: English - Date: 2016-08-01 09:50:10
60ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-01-27 12:14:30