PAGES - PDFSEARCH.IO - Document Search Engine

PAGES
Results: 36249

#	Item
41	Fundamenta Informaticae XX–15 1 IOS Press Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Biology Cell biology Chemistry Membrane biology Electrophysiology Membrane technology Models of computation Integral membrane proteins P system Cell membrane Membrane Ion channel
42	Towards a P Systems Normal Form Preserving Step–by–step Behaviour Roberto Barbuti1 Andrea Maggiolo-Schettini1 1 Paolo Milazzo Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Chemistry Membrane technology Models of computation Water technology P system Membrane Mobile membranes
43	PERSPECTIVES OCTOBER /NOVEMBERPerspectives Investment Strategy – pages 3-7 Opposing forces dictate market direction Add to Reading List Source URL: perspectives.pictet.com Language: English - Date: 2018-09-26 10:20:20 Economy Money Finance Actuarial science Financial crises Financial markets Economy of Northern Cyprus Turkey Turkish currency and debt crisis Asset allocation Risk parity Financial risk
44	TICS 1818 No. of Pages 12 Opinion Social Origins of Cortical Face Areas Lindsey J. Powell,1 Heather L. Kosakowski,1 and Rebecca Saxe1,* Add to Reading List Source URL: saxelab.mit.edu Language: English - Date: 2018-08-15 11:24:25 Brain Cerebrum Neuroscience Cognition Cerebral cortex Visual perception Temporal lobe Visual cortex Face perception Fusiform face area Visual system Amygdala
45	Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina 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:14 Theoretical computer science Logic in computer science Software engineering Computing Formal languages Formal methods Bisimulation -calculus Monad Petri net Rewriting Lac operon
46	MeCBICTimed P Automata Roberto Barbutia,1 Andrea Maggiolo-Schettinia,1 Paolo Milazzoa,1 Luca Teseib,2 a Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Models of computation Timed automaton Symbol Multiset P system Mathematics Mobile membranes
47	DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, 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 Models of computation Concurrency Computing Formal methods Diagrams Petri net Finite automata Model checking Analog television Finite-state machine Actor model Information and communications technology
48	P Systems with Endosomes R. Barbuti G. Caravagna A. Maggiolo-Schettini Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Biology Cell biology Membrane biology Anatomy Organelles Vesicles Cellular processes Models of computation Endosome Endocytosis Rab Cell membrane
49	Under consideration for publication in Formal Aspects of Computing Bisimulations in Calculi Modelling Membranes Roberto Barbuti1 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 and Angelo Troina2 1 Dipartimento Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Theoretical computer science Logic in computer science Mathematics Formal methods Bisimulation Mathematical logic Petri net Rewriting
50	BCS_WhitePaper_Update_Pages Add to Reading List Source URL: bcschain.io Language: English - Date: 2018-09-06 06:26:20 Marketing Economy E-commerce Cryptocurrencies Business Information technology management Alternative currencies B2B B2B e-commerce Blockchain Market research Business-to-business