Pages - PDFSEARCH.IO - Document Search Engine

Pages
Results: 36249

#	Item
21	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
22	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
23	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
24	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
25	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
26	MATHEMATICS OF COMPUTATION Volume 81, Number 279, July 2012, Pages 1487–1511 SArticle electronically published on February 17, 2012 PERTURBATION ANALYSIS OF THE QR FACTOR R Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2017-06-27 04:39:37 Algebra Mathematics Linear algebra Rank QR decomposition Matrix Determinant
27	JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1 Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Mathematics Mathematical logic Theoretical computer science Enumerative combinatorics Enumeration Ordering Lambda calculus Type theory Enumerated type Recursively enumerable set Combinatory logic
28	Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2000-10-30 16:55:50 Software engineering Computer programming Computing Object-oriented programming Component-based software engineering Inter-process communication C++ Component Object Model Inline function ECO Scope C standard library
29	PERSPECTIVES AOÛT/SEPTEMBREPerspectives Stratégie d’investissement – pages 3-5 Add to Reading List Source URL: perspectives.pictet.com Language: French - Date: 2018-07-20 04:10:29
30	CS2BioModular Verification of Interactive Systems with Application to Biology Peter Dr´abik Andrea Maggiolo-Schettini Paolo Milazzo Dipartimento di Informatica, Universit` Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Gene expression Molecular biology Biochemistry Biology Lac operon Beta-galactosidase Inducer Allolactose Galactosidases Lac repressor Lactose Galactose