Sciweavers

4064 search results - page 678 / 813
» Animation: can it facilitate
Sort
View
3DPH
2009
207views Healthcare» more  3DPH 2009»
13 years 10 months ago
A 3D Human Brain Atlas
3D representations of human physiology provide interesting options in the field of education. Understanding the human brain seems to be much easier when the anatomical structure is...
Sebastian Thelen, Jörg Meyer, Achim Ebert, Ha...
APLAS
2010
ACM
13 years 9 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
BMCBI
2010
153views more  BMCBI 2010»
13 years 9 months ago
VITCOMIC: visualization tool for taxonomic compositions of microbial communities based on 16S rRNA gene sequences
Background: Understanding the community structure of microbes is typically accomplished by sequencing 16S ribosomal RNA (16S rRNA) genes. These community data can be represented b...
Hiroshi Mori, Fumito Maruyama, Ken Kurokawa
BIOINFORMATICS
2007
195views more  BIOINFORMATICS 2007»
13 years 9 months ago
Context-dependent clustering for dynamic cellular state modeling of microarray gene expression
Motivation: High-throughput expression profiling allows researchers to study gene activities globally. Genes with similar expression profiles are likely to encode proteins that ma...
Shinsheng Yuan, Ker-Chau Li
BMCBI
2010
110views more  BMCBI 2010»
13 years 9 months ago
OLS Dialog: An open-source front end to the Ontology Lookup Service
Background: With the growing amount of biomedical data available in public databases it has become increasingly important to annotate data in a consistent way in order to allow ea...
Harald Barsnes, Richard G. Côté, Ingv...