IT - PDFSEARCH.IO - Document Search Engine

IT
Results: 512079

#	Item
111	Fundamenta Informaticae XX–29 1 IOS Press Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Computer programming Biology Theoretical computer science Protein structure Epidermal growth factor Morphogens Sequence Monad Protein domain Rewriting WiskottAldrich syndrome protein Protein
112	March 31, 2013 4:32 am Monkey beats man on stock market picks By Chris Flood Add to Reading List Source URL: www.pluchino.it Language: English - Date: 2013-04-15 12:27:58 Economy Finance Money Mathematical finance Stock market index Investment management Beta VIX Volatility Stock market Rate of return Fundamentally based indexes
113	why should iT MATTER TO ME? Many residents think census data is only used to determine the number of legislative seats Illinois has in Washington or Springfield. This is only a part of what is determined by census Add to Reading List Source URL: illinoiscensus2020.com Language: English - Date: 2018-10-10 08:30:24 Geography of Illinois Geography of the United States Illinois Genealogy Survey methodology Census Chicago
114	Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Mathematical analysis Mathematics Distribution Functional analysis Markov chain Chemical reaction
115	SPAZIO EVENTI c/o Centro Svizzero – Via Palestro 2, 20121 Milano. Tel. + - Fax + All’interno del Centro Svizzero al 3° piano, in Piazza Cavour, SPAZIO EVENTI è una location dalla pos Add to Reading List Source URL: www.swisschamber.it Language: Italian - Date: 2016-03-10 04:32:12
116	The Calculus of Looping Sequences for Modeling Biological Membranes Roberto Barbuti Andrea Maggiolo–Schettini Paolo Milazzo Angelo Troina Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Biology Biotechnology Nucleic acids Molecular biology Epidermal growth factor Morphogens RNA DNA Protein domain Transmembrane protein
117	Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways Roberto Barbuti1 , Andrea Maggiolo–Schettini1, Paolo Milazzo1 , Paolo Tiberi1 , and Angelo Troina2 1 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Theoretical computer science Mathematics Logic in computer science Lambda calculus Formal languages Mathematical logic Rewriting Fixed-point combinator Sequence Rewrite order Substitution
118	Dissertation Abstract: Distributed Privacy-preserving Multi-agent Planning Andrea Bonisoli Univrsit`a degli Studi di Brescia Dipartimento di Ingegneria dell’Informazione Via Branze, Brescia (IT) andrea.bonis Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:19 Multi-agent systems Automated planning and scheduling Artificial intelligence Systems science Computing Multi-agent planning Planning Domain Definition Language Intelligent agent Agent-based model
119	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-03-15 18:34:02 Mathematical logic Logic Boolean algebra Mathematics Complexity classes True quantified Boolean formula Predicate logic FO PSPACE-complete Boolean Propositional calculus Model theory
120	Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Differential equations Biology Stochastic simulation Stochastic processes Cellular processes Cell cycle Delay differential equation G1 phase Gillespie algorithm