Pages

Results: 36249



#Item
41Biology / Cell biology / Chemistry / Membrane biology / Electrophysiology / Membrane technology / Models of computation / Integral membrane proteins / P system / Cell membrane / Membrane / Ion channel

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
42Chemistry / Membrane technology / Models of computation / Water technology / P system / Membrane / Mobile membranes

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
43Economy / Money / Finance / Actuarial science / Financial crises / Financial markets / Economy of Northern Cyprus / Turkey / Turkish currency and debt crisis / Asset allocation / Risk parity / Financial risk

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
44Brain / Cerebrum / Neuroscience / Cognition / Cerebral cortex / Visual perception / Temporal lobe / Visual cortex / Face perception / Fusiform face area / Visual system / Amygdala

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
45Theoretical computer science / Logic in computer science / Software engineering / Computing / Formal languages / Formal methods / Bisimulation / -calculus / Monad / Petri net / Rewriting / Lac operon

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
46Models of computation / Timed automaton / Symbol / Multiset / P system / Mathematics / Mobile membranes

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
47Models of computation / Concurrency / Computing / Formal methods / Diagrams / Petri net / Finite automata / Model checking / Analog television / Finite-state machine / Actor model / Information and communications technology

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
48Biology / Cell biology / Membrane biology / Anatomy / Organelles / Vesicles / Cellular processes / Models of computation / Endosome / Endocytosis / Rab / Cell membrane

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
49Theoretical computer science / Logic in computer science / Mathematics / Formal methods / Bisimulation / Mathematical logic / Petri net / Rewriting

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
50Marketing / Economy / E-commerce / Cryptocurrencies / Business / Information technology management / Alternative currencies / B2B / B2B e-commerce / Blockchain / Market research / Business-to-business

BCS_WhitePaper_Update_Pages

Add to Reading List

Source URL: bcschain.io

Language: English - Date: 2018-09-06 06:26:20
UPDATE