Sciweavers

963 search results - page 125 / 193
» Escape Analysis on Lists
Sort
View
150
Voted
NAR
2011
274views Computer Vision» more  NAR 2011»
14 years 7 months ago
A series of PDB related databases for everyday needs
The Protein Data Bank (PDB) is the world-wide repository of macromolecular structure information. We present a series of databases that run parallel to the PDB. Each database hold...
Robbie P. Joosten, Tim A. H. te Beek, Elmar Kriege...
115
Voted
NAR
2011
194views Computer Vision» more  NAR 2011»
14 years 3 months ago
GreenPhylDB v2.0: comparative and functional genomics in plants
GreenPhylDB is a database designed for comparative and functional genomics based on complete genomes. Version 2 now contains sixteen full genomes of members of the plantae kingdom...
Mathieu Rouard, Valentin Guignon, Christelle Aluom...
CADE
2011
Springer
14 years 16 days ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...

Publication
216views
13 years 10 months ago
The Geometry of Time-Stepping
The space-time geometric structure of Maxwell’s equations is examined and a subset of them is found to define a pair of exact discrete time-stepping relations. The desirability ...
Claudio Mattiussi
KDD
2007
ACM
148views Data Mining» more  KDD 2007»
16 years 29 days ago
Detecting research topics via the correlation between graphs and texts
In this paper we address the problem of detecting topics in large-scale linked document collections. Recently, topic detection has become a very active area of research due to its...
Yookyung Jo, Carl Lagoze, C. Lee Giles