Sciweavers

9698 search results - page 43 / 1940
» models 2010
Sort
View
IRCDL
2010
15 years 6 months ago
An Event-Centric Provenance Model for Digital Libraries
Donatella Castelli, Leonardo Candela, Paolo Manghi...
ACS
2010
15 years 4 months ago
Exact Sequences and Closed Model Categories
Mónica García-Pinillos, Luis Javier ...
121
Voted
ACTA
2010
117views more  ACTA 2010»
15 years 4 months ago
Symmetry and partial order reduction techniques in model checking Rebeca
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad ...
82
Voted
BIOINFORMATICS
2010
79views more  BIOINFORMATICS 2010»
15 years 4 months ago
Standard virtual biological parts: a repository of modular modeling components for synthetic biology
M. T. Cooling, V. Rouilly, G. Misirli, J. Lawson, ...
BIOINFORMATICS
2010
70views more  BIOINFORMATICS 2010»
15 years 4 months ago
Markov dynamic models for long-timescale protein motion
Tsung-Han Chiang, David Hsu, Jean-Claude Latombe