Biological

Results: 47656



#Item
1Virology / Microbiology / Computer viruses / Biology / Security / Virus / Influenza / HIV / Antivirus software / Viral marketing / Comparison of computer viruses / Viral neuronal tracing

A Plague of Viruses: Biological, Computer and Marketing12 Jeffrey Boase and Barry Wellman Abstract We analyze the transfer of biological, computer and marketing viruses. Despite differences between these three types of v

Add to Reading List

Source URL: individual.utoronto.ca

Language: English - Date: 2017-09-21 13:37:53
2Mathematics / Theoretical computer science / Mathematical logic / Formal languages / Order theory / Logic in computer science / Multiset / Path ordering / Term / Structure / Rewriting / Model theory

FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5

Add to Reading List

Source URL: pages.di.unipi.it

Language: English - Date: 2015-12-18 06:55:14
3Mathematics / Mathematical analysis / Theoretical computer science / Distribution / Functional analysis / Substitution / Denotational semantics / Markov chain

Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2018-06-22 10:21:17
4Probabilistic CTL / Temporal logic / Markov chain

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2

Add to Reading List

Source URL: pages.di.unipi.it

Language: English - Date: 2015-12-18 06:55:14
5Environment of the United States / Natural environment / Biota / Conservation in the United States / Mammals of Asia / Endangered Species Act / Environment / United States Fish and Wildlife Service / Wildlife law / Endangered species / Beluga whale / Wolf

2011 ANNUAL REPORT CENTER FOR BIOLOGICAL DIVERSITY

Add to Reading List

Source URL: www.biologicaldiversity.org

Language: English - Date: 2016-03-19 14:22:33
6Cell biology / Biology / Cell signaling / Tyrosine kinase receptors / Signal transduction / Proteins / Phosphorus / Fibroblast growth factor receptor / GRB2 / MAPK/ERK pathway / Fibroblast growth factor / FRS2

Probabilistic Model Checking of Complex Biological Pathways John Heath a , Marta Kwiatkowska b,? , Gethin Norman b , David Parker b , Oksana Tymchyshyn c a School

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2007-12-19 10:53:34
7Natural environment / Biology / Conservation / Habitat / Ecology / Environmental conservation / Conservation in the United States / Endangered Species Act / Environment / Wildlife conservation / Biodiversity / Endangered species

2010 ANNUAL REPORT CENTER FOR BIOLOGICAL DIVERSITY

Add to Reading List

Source URL: www.biologicaldiversity.org

Language: English - Date: 2016-03-19 14:22:04
8Mathematics / Formal languages / Combinatorics / Theoretical computer science / Mathematical logic / Combinatorics on words / Data types / Order theory / Multiset / Rewriting / Path ordering / L-system

An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, 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
9Western United States / Utah / Protected areas of the United States / United States Fish and Wildlife Service / El Jefe / National Wildlife Refuge / North American jaguar / Bears Ears National Monument / Presidency of Donald Trump / Malheur / Public land

Center for Biological DiversityAnnual report 1

Add to Reading List

Source URL: www.biologicaldiversity.org

Language: English - Date: 2017-12-06 12:49:09
UPDATE