top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Computational methods in systems biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings / David Gilbert, Monika Heiner (eds.).
Computational methods in systems biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings / David Gilbert, Monika Heiner (eds.).
Creatore [CMSB 2012 (2012 : London, England)]
Estensione 1 online resource.
Disciplina 570.285
Accesso persona Gilbert, David, Dr
Heiner, Monika, 1954-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Computer simulation
Bioinformatics
Computational Biology/Bioinformatics
Computation by Abstract Devices
Computer Appl. in Life Sciences
Symbolic and Algebraic Manipulation
ISBN 9783642336362 (electronic bk.)
3642336361 (electronic bk.)
9783642336355
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Differential and Integral Views of Gene-Phenotype Relations: A Systems Biological Insight / Denis Noble -- Resolving the Three-Dimensional Histology of the Heart / Matthew Gibb, Rebecca A. B. Burton, Christian Bollensdorff, Carlos Afonso and Tahir Mansoori, et al. -- Bimodal Protein Distributions in Heterogeneous Oscillating Systems / Maciej Dobrzyński, Dirk Fey, Lan K. Nguyen and Boris N. Kholodenko -- Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics / Paolo Ballarini, Jarno Mäkelä and Andre S. Ribeiro -- Symmetry-Based Model Reduction for Approximate Stochastic Analysis / Kirill Batmanov, Celine Kuttler, Francois Lemaire, Cédric Lhoussaine and Cristian Versari -- Detection of Multi-clustered Genes and Community Structure for the Plant Pathogenic Fungus Fusarium graminearum / Laura Bennett, Artem Lysenko, Lazaros G. Papageorgiou, Martin Urban and Kim Hammond-Kosack, et al. -- Predicting Phenotype from Genotype through Automatically Composed Petri Nets / Mary Ann Blätke, Monika Heiner and Wolfgang Marwan --
A Simple Model to Control Growth Rate of Synthetic E. coli during the Exponential Phase: Model Analysis and Parameter Estimation / Alfonso Carta, Madalena Chaves and Jean-Luc Gouzé -- Multi-objective Optimisation, Sensitivity and Robustness Analysis in FBA Modelling / Jole Costanza, Giovanni Carapezza, Claudio Angione, Pietro Liò and Giuseppe Nicosia -- Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics / Franck Delaplace, Hanna Klaudel, Tarek Melliti and Sylvain Sené -- Concretizing the Process Hitting into Biological Regulatory Networks / Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin and Olivier Roux -- Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation / Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano and Masami Hagiya -- Parameter Identification and Model Ranking of Thomas Networks / Hannes Klarner, Adam Streck, David Šafránek, Juraj Kolčák and Heike Siebert --
Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach / David Marco, Erin Scott, David Cairns, Andrea Graham and Judi Allen, et al. -- Population Dynamics P Systems on CUDA / Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Adolfo Gastalver-Rubio, Anne C. Elster and Mario J. Pérez-Jiménez -- Approximate Bisimulations for Sodium Channel Dynamics / Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth M. Cherry and Flavio H. Fenton, et al. -- Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control / Aurélien Naldi, Pedro T. Monteiro and Claudine Chaouiya -- Sequence Dependent Properties of the Expression Dynamics of Genes and Gene Networks / Ilya Potapov, Jarno Mäkelä, Olli Yli-Harja and Andre Ribeiro -- Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System / Sriram Sankaranarayanan and Georgios Fainekos --
Revisiting the Training of Logic Models of Protein Signaling Networks with ASP / Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele and Niels Grabe, et al. -- JAK-STAT Signalling as Example for a Database-Supported Modular Modelling Concept / Mary Ann Blätke, Anna Dittrich, Monika Heiner, Fred Schaper and Wolfgang Marwan -- ManyCell: A Multiscale Simulator for Cellular Systems / Joseph O. Dada and Pedro Mendes -- Inferring Reaction Models from ODEs / François Fages, Steven Gay and Sylvain Soliman -- Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA / Vashti Galpin -- Models of Tet-On System with Epigenetic Effects / Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine and Guillaume Madelaine, et al. -- GeneFuncster: A Web Tool for Gene Functional Enrichment Analysis and Visualisation / Asta Laiho, András Király and Attila Gyenesei -- Effects of Molecular Noise on the Multistability in a Synthetic Genetic Oscillator / Ilya Potapov and Evgenii Volkov -- Towards an Ontology of Biomodelling / Larisa Soldatova, Qian Gao and David Gilbert.
Record Nr. UPENN-9960101013503681
[CMSB 2012 (2012 : London, England)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Certified programs and proofs [electronic resource] : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).
Certified programs and proofs [electronic resource] : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).
Creatore [CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan)]
Estensione 1 online resource (xv, 399 p.)
Disciplina 004.01/51
Accesso persona Jouannaud, Jean-Pierre
Shao, Zhong, 1968-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
Artificial Intelligence (incl. Robotics)
ISBN 9783642253799 (electronic bk.)
3642253792 (electronic bk.)
9783642253782
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089713503681
[CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Guide to computational geometry processing [electronic resource] : foundations, algorithms, and methods / Jakob Andreas Bræentzen...[et al.].
Guide to computational geometry processing [electronic resource] : foundations, algorithms, and methods / Jakob Andreas Bræentzen...[et al.].
Estensione 1 online resource.
Disciplina 516.00285
Accesso persona Bræentzen, Jakob Andreas
Genere/Forma Electronic books
Soggetto non controllato Computer science
Algebra -- Data processing
Artificial intelligence
Computer graphics
Computer vision
Computer aided design
Math Applications in Computer Science
Symbolic and Algebraic Manipulation
Artificial Intelligence (incl. Robotics)
Image Processing and Computer Vision
Computer-Aided Engineering (CAD, CAE) and Design
ISBN 9781447140757 (electronic bk.)
1447140753 (electronic bk.)
9781447140740
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-8874188
Materiale a stampa
Lo trovi qui: University of Chicago
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings / by Alfonso Miola
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings / by Alfonso Miola
Creatore [Miola, Alfonso]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Graphics
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Symbolic and Algebraic Manipulation
ISBN 9783540572350
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355139
[Miola, Alfonso]  
Software
Lo trovi qui: University of Chicago
Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / by Hubert Comon
Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / by Hubert Comon
Creatore [Comon, Hubert]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
ISBN 9783540629504
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355638
[Comon, Hubert]  
Software
Lo trovi qui: University of Chicago
Recent Trends in Algebraic Development Techniques [electronic resource] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / by Martin Wirsing, Dirk Pattinson, Rolf Hennicker
Recent Trends in Algebraic Development Techniques [electronic resource] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / by Martin Wirsing, Dirk Pattinson, Rolf Hennicker
Creatore [Wirsing, M. (Martin)]
Accesso persona Hennicker, Rolf
Pattinson, Dirk, 1970-
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computer Science, general
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Symbolic and Algebraic Manipulation
ISBN 9783540205371
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354160
[Wirsing, M. (Martin)]  
Software
Lo trovi qui: University of Chicago
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).
Creatore [International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)]
Estensione 1 online resource (x, 258 pages).
Disciplina 516.00285
Accesso persona Schreck, Pascal
Narboux, Julien
Richter-Gebert, Jürgen, 1963-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computational complexity
Artificial intelligence
Computer graphics
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
ISBN 9783642250705
364225070X
9783642250699
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004372472
[International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Relational and algebraic methods in computer science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / Wolfram Kahl, Timothy G. Griffin (eds.).
Relational and algebraic methods in computer science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / Wolfram Kahl, Timothy G. Griffin (eds.).
Creatore [RAMiCS (Conference) (13th : 2012 : Cambridge, England)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Kahl, W. (Wolfram)
Griffin, Timothy G.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Computational complexity
Artificial intelligence
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Logics and Meanings of Programs
Discrete Mathematics in Computer Science
ISBN 9783642333149
3642333141
9783642333132
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transitive Separation Logic / Han-Hing Dang and Bernhard Möller -- Unifying Lazy and Strict Computations / Walter Guttmann -- Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming / Peter Höfner, Bernhard Möller and Andreas Zelend -- Towards an Algebra for Real-Time Programs / Brijesh Dongol, Ian J. Hayes, Larissa Meinicke and Kim Solin -- Automated Reasoning in Higher-Order Regular Algebra / Alasdair Armstrong and Georg Struth -- Towards Certifiable Implementation of Graph Transformation via Relation Categories / Wolfram Kahl -- Deciding Regular Expressions (In- )Equivalence in Coq / Nelma Moreira, David Pereira and Simão Melo de Sousa -- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures / Rudolf Berghammer and Sebastian Fischer -- Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings / Nikita Danilenko -- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants / Nuno Macedo, Hugo Pacheco and Alcino Cunha -- Left-Handed Completeness / Dexter Kozen and Alexandra Silva -- On Completeness of Omega-Regular Algebras / Michael R. Laurence and Georg Struth -- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings / Peter Jipsen -- Relational Representation Theorem for Powerset Quantales / Koki Nishizawa and Hitoshi Furusawa -- Point Axioms in Dedekind Categories / Hitoshi Furusawa and Yasuo Kawahara -- Two Observations in Dioid Based Model Refinement / Roland Glück -- Relation Algebras, Matrices, and Multi-valued Decision Diagrams / Francis Atampore and Michael Winter -- Incremental Pseudo Rectangular Organization of Information Relative to a Domain / Sahar Ismail and Ali Jaoua -- Relational Concepts in Social Choice / Gunther Schmidt -- An Algebra of Layered Complex Preferences / Bernhard Möller and Patrick Roocks -- Continuous Relations and Richardson's Theorem / Hitoshi Furusawa, Toshikazu Ishida and Yasuo Kawahara -- Relations on Hypergraphs / John G. Stell -- Extension Properties of Boolean Contact Algebras / Ivo Düntsch and Sanjiang Li.
Record Nr. NYU-004624746
[RAMiCS (Conference) (13th : 2012 : Cambridge, England)]  
Materiale a stampa
Lo trovi qui: New York University
Sets, logic and maths for computing / by David Makinson
Sets, logic and maths for computing / by David Makinson
Creatore [Makinson, David, 1941-]
Edizione [2nd ed.]
Estensione 1 online resource (xxi, 283 pages).
Disciplina 004.01/51
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computational complexity
Algebra -- Data processing
Computer science -- Mathematics
Discrete Mathematics in Computer Science
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Probability and Statistics in Computer Science
Computational Mathematics and Numerical Analysis
ISBN 9781447125006
1447125002
1447124995
9781447124993
Classificazione 54.71
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Sets, Logic and Mathsfor Computing; Preface; For the Student; What Is in This Book?; How Should You Use It?; For the Instructor; Manner of Presentation; Choice of Topics; Courses Outside Computer Science; The Second Edition; Acknowledgements; Contents; List of Figures; 1 Collecting Things Together: Sets; 1.1 The Intuitive Concept of a Set; 1.2 Basic Relations Between Sets; 1.2.1 Inclusion; 1.2.2 Identity and Proper Inclusion; 1.2.3 Diagrams; 1.2.4 Ways of Defining a Set; 1.3 The Empty Set; 1.3.1 Emptiness; 1.3.2 Disjoint Sets; 1.4 Boolean Operations on Sets; 1.4.1 Intersection; 1.4.2 Union.
1.4.3 Difference and Complement1.5 Generalized Union and Intersection; 1.6 Power Sets; Selected Reading; 2 Comparing Things: Relations; 2.1 Ordered Tuples, Cartesian Products and Relations; 2.1.1 Ordered Tuples; 2.1.2 Cartesian Products; 2.1.3 Relations; 2.2 Tables and Digraphs for Relations; 2.2.1 Tables; 2.2.2 Digraphs; 2.3 Operations on Relations; 2.3.1 Converse; 2.3.2 Join, Projection, Selection; 2.3.3 Composition; 2.3.4 Image; 2.4 Reflexivity and Transitivity; 2.4.1 Reflexivity; 2.4.2 Transitivity; 2.5 Equivalence Relations and Partitions; 2.5.1 Symmetry; 2.5.2 Equivalence Relations.
2.5.3 Partitions2.5.4 The Partition/Equivalence Correspondence; 2.6 Relations for Ordering; 2.6.1 Partial Order; 2.6.2 Linear Orderings; 2.6.3 Strict Orderings; 2.7 Closing with Relations; 2.7.1 Transitive Closure of a Relation; 2.7.2 Closure of a Set Under a Relation; Selected Reading; 3 Associating One Item with Another:Functions; 3.1 What Is a Function?; 3.2 Operations on Functions; 3.2.1 Domain and Range; 3.2.2 Restriction, Image, Closure; 3.2.3 Composition; 3.2.4 Inverse; 3.3 Injections, Surjections, Bijections; 3.3.1 Injectivity; 3.3.2 Surjectivity; 3.3.3 Bijective Functions.
3.4 Using Functions to Compare Size3.4.1 Equinumerosity; 3.4.2 Cardinal Comparison; 3.4.3 The Pigeonhole Principle; 3.5 Some Handy Functions; 3.5.1 Identity Functions; 3.5.2 Constant Functions; 3.5.3 Projection Functions; 3.5.4 Characteristic Functions; 3.6 Families and Sequences; 3.6.1 Families of Sets; 3.6.2 Sequences and Suchlike; Selected Reading; 4 Recycling Outputs as Inputs: Induction and Recursion; 4.1 What Are Induction and Recursion?; 4.2 Proof by Simple Induction on the Positive Integers; 4.2.1 An Example; 4.2.2 The Principle Behind the Example.
4.3 Definition by Simple Recursion on the Positive Integers4.4 Evaluating Functions Defined by Recursion; 4.5 Cumulative Induction and Recursion; 4.5.1 Cumulative Recursive Definitions; 4.5.2 Proof by Cumulative Induction; 4.5.3 Simultaneous Recursion and Induction; 4.6 Structural Recursion and Induction; 4.6.1 Defining Sets by Structural Recursion; 4.6.2 Proof by Structural Induction; 4.6.3 Defining Functions by Structural Recursion on Their Domains; 4.7 Recursion and Induction on Well-Founded Sets*; 4.7.1 Well-Founded Sets; 4.7.2 Proof by Well-Founded Induction.
Record Nr. NYU-004621915
[Makinson, David, 1941-]  
Materiale a stampa
Lo trovi qui: New York University
Languages alive : essays dedicated to Jürgen Dassow on the occasion of his 65th birthday / Henning Bordihn, Martin Kutrib, Bianca Truthe (eds.).
Languages alive : essays dedicated to Jürgen Dassow on the occasion of his 65th birthday / Henning Bordihn, Martin Kutrib, Bianca Truthe (eds.).
Estensione 1 online resource (x, 290 pages) : illustrations, color portrait.
Disciplina 005.13/1
Accesso persona Bordihn, Henning
Kutrib, Martin
Truthe, Bianca
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information theory
Computational complexity
Electronic data processing
Theory of Computation
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Computing Methodologies
ISBN 9783642316449
3642316441
9783642316432
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Peptide Computers / M. Sakthi Balan and Helmut Jürgensen -- On the Power of Randomness versus Advice in Online Computation / Hans-Joachim Böckenhauer, Juraj Hromkovič, Dennis Komm, Richard Královič and Peter Rossmanith -- Relevance of Entities in Reaction Systems / Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny and Grzegorz Rozenberg -- Generalized Random Context Picture Grammars: The State of the Art / Sigrid Ewert and Max Rabkin -- Cooperating Distributed Tree Automata / Henning Fernau -- A Note on Combined Derivation Modes for Cooperating Distributed Grammar Systems / Markus Holzer -- Equations in the Partial Semigroup of Words with Overlapping Products / Mari Huova and Juhani Karhumäki -- On CD-Systems of Stateless Deterministic Two-Phase RR(1)-Automata / Martin Kutrib and Friedrich Otto -- The Boolean Formula Value Problem as Formal Language / Klaus-Jörn Lange -- Hairpin Lengthening and Shortening of Regular Languages / Florin Manea, Robert Mercas and Victor Mitrana -- One-Sided Random Context Grammars with Leftmost Derivations / Alexander Meduna and Petr Zemek -- Earley's Parsing Algorithm and k-Petri Net Controlled Grammars / Taishin Y. Nishida -- Descriptional Complexity of Input-Driven Pushdown Automata / Alexander Okhotin, Xiaoxue Piao and Kai Salomaa -- Towards "Fypercomputations" (in Membrane Computing) / Gheorghe Păun -- Undecidability of State Complexities Using Mirror Images / Arto Salomaa -- Asymptotic Subword Complexity / Ludwig Staiger -- On Grammars Controlled by Parikh Vectors / Ralf Stiebe -- On the Nonterminal Complexity of Tree Controlled Grammars / György Vaszil -- One-Way Finite Automata with Quantum and Classical States / Shenggen Zheng, Daowen Qiu, Lvzhou Li and Jozef Gruska.
Record Nr. NYU-004623715
Materiale a stampa
Lo trovi qui: New York University