07.2 Altre pubblicazioni (Other types of publications)

07.2 Altre pubblicazioni (Other types of publications): [4083] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 661 a 680 di 4.083

Decision Problems for Spatial Logics Revisited

2008-01-01 Policriti, Alberto; Mardare, Radu

Towards a Complete Axiomatization for Spatial Logic

2008-01-01 Mardare, Radu; Policriti, Alberto

Algorithmic Systems Biology: An Opportunity for Computer Science

2008-01-01 Priami, Corrado

Notes on Stochastic Simulation of Chemical Kinetics with Cycle-Leaping

2008-01-01 Lecca, Paola; Teso, Stefano

From BlenX to Chemical Reactions via SBML

2008-01-01 Larcher, Roberto; Priami, Corrado

Inferring Rate Coefficents of Biochemical Reactions from Noisy Data with KInfer

2008-01-01 Palmisano, Alida; Priami, Corrado; Lecca, Paola

Modeling and Simulating Bio-Molecule Diffusion in Non-Homogeneous Solutions. Diffusive Spatial Effects on Chaperone-Assisted Protein Folding: A Case Study

2008-01-01 Lecca, Paola; Dematte', Lorenzo; Priami, Corrado

Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins

2008-01-01 Mazza, Tommaso; Cavaliere, Matteo

Calibration of Biochemical Network Models

2008-01-01 Palmisano, Alida; Priami, Corrado; Lecca, Paola; Sanguinetti, Guido

Simulation of non-Markovian Processes in BlenX

2008-01-01 Prandi, Davide; Priami, Corrado; Romanel, Alessandro

From Solvable to Executable Models of Biological Systems

2008-01-01 Palmisano, Alida; Priami, Corrado

The BlenX Language: A Tutorial

2008-01-01 Dematte', Lorenzo; Priami, Corrado; Romanel, Alessandro

Study on an Optimistic Reaction-Diusion Simulator based on Gillespie SSA

2008-01-01 Dematte', Lorenzo; Mazza, Tommaso

Independent Component Analysis for the Aggregation of Stochastic Simulation Output

2008-01-01 Forlin, Michele; Mura, Ivan

Cyto-Sim: A Formal Language Model and Stochastic Simulator of Membrane-Enclosed Biochemical Processes

2008-01-01 Sedwards, Sean; Mazza, Tommaso

Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking

2008-01-01 Ballarini, Paolo; Mura, Ivan; Mardare, Radu

Efficient Coverage Optimization in Energy-Constrained Wireless Sensor Networks

2009-01-01 Palopoli, Luigi; Passerone, Roberto; Toldo, Paolo

Automated Generation of Narrative Language Programs from NCI-Nature's Pathway Interaction Database

2008-01-01 Polo, Filippo; Priami, Corrado

Some Issues on Biological DBs: Data Integration and Mining

2006-01-01 Bilich, Carlos

On the Computational Power of BlenX

2008-01-01 Romanel, Alessandro; Priami, Corrado

Titolo	Anno di pubblicazione	Autori Unitn
Decision Problems for Spatial Logics Revisited	1-gen-2008	Policriti, AlbertoMardare, Radu + -
Towards a Complete Axiomatization for Spatial Logic	1-gen-2008	Mardare, RaduPolicriti, Alberto + -
Algorithmic Systems Biology: An Opportunity for Computer Science	1-gen-2008	Priami, Corrado
Notes on Stochastic Simulation of Chemical Kinetics with Cycle-Leaping	1-gen-2008	Lecca, PaolaTeso, Stefano
From BlenX to Chemical Reactions via SBML	1-gen-2008	Larcher, RobertoPriami, Corrado
Inferring Rate Coefficents of Biochemical Reactions from Noisy Data with KInfer	1-gen-2008	Palmisano, AlidaPriami, CorradoLecca, Paola
Modeling and Simulating Bio-Molecule Diffusion in Non-Homogeneous Solutions. Diffusive Spatial Effects on Chaperone-Assisted Protein Folding: A Case Study	1-gen-2008	Lecca, PaolaDematte', LorenzoPriami, Corrado
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins	1-gen-2008	Mazza, TommasoCavaliere, Matteo + -
Calibration of Biochemical Network Models	1-gen-2008	Palmisano, AlidaPriami, CorradoLecca, PaolaSanguinetti, Guido
Simulation of non-Markovian Processes in BlenX	1-gen-2008	Prandi, DavidePriami, CorradoRomanel, Alessandro
From Solvable to Executable Models of Biological Systems	1-gen-2008	Palmisano, AlidaPriami, Corrado
The BlenX Language: A Tutorial	1-gen-2008	Dematte', LorenzoPriami, CorradoRomanel, Alessandro
Study on an Optimistic Reaction-Diusion Simulator based on Gillespie SSA	1-gen-2008	Dematte', LorenzoMazza, Tommaso
Independent Component Analysis for the Aggregation of Stochastic Simulation Output	1-gen-2008	Forlin, MicheleMura, Ivan + -
Cyto-Sim: A Formal Language Model and Stochastic Simulator of Membrane-Enclosed Biochemical Processes	1-gen-2008	Sedwards, SeanMazza, Tommaso
Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking	1-gen-2008	Ballarini, PaoloMura, IvanMardare, Radu + -
Efficient Coverage Optimization in Energy-Constrained Wireless Sensor Networks	1-gen-2009	Palopoli, LuigiPasserone, RobertoToldo, Paolo + -
Automated Generation of Narrative Language Programs from NCI-Nature's Pathway Interaction Database	1-gen-2008	Polo, FilippoPriami, Corrado + -
Some Issues on Biological DBs: Data Integration and Mining	1-gen-2006	Bilich, Carlos
On the Computational Power of BlenX	1-gen-2008	Romanel, AlessandroPriami, Corrado

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 661 a 680 di 4.083

Legenda icone

file ad accesso aperto
file disponibili sulla rete interna
file disponibili agli utenti autorizzati
file disponibili solo agli amministratori
file sotto embargo
nessun file disponibile

Scopri

Accesso al fulltext

no fulltext2294
open1645
reserved134
partially open10