Sciweavers

1348 search results - page 48 / 270
» From Informatics to Bioinformatics
Sort
View
ISMDA
2005
Springer
14 years 1 months ago
The Ontological Lens: Zooming in and out from Genomic to Clinical Level
Abstract. Ontology is the talk of the day in the medical informatics comm.unity. Its relevant role in the design and implementation of information systems in health care is now wid...
Domenico M. Pisanelli, Francesco Pinciroli, Marco ...
GI
2004
Springer
14 years 1 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
BIB
2008
141views more  BIB 2008»
13 years 7 months ago
Detecting short tandem repeats from genome data: opening the software black box
Short tandem repeats, specifically microsatellites, are widely used genetic markers, associated with human genetic diseases, and play an important role in various regulatory mecha...
Angelika Merkel, Neil Gemmell
KI
2002
Springer
13 years 7 months ago
Acquisition of Landmark Knowledge from Static and Dynamic Presentation of Route Maps
This contribution reports on ongoing collaborative research at the University of Stanford, Department of Psychology, and the University of Hamburg, Department for Informatics. Ext...
Paul U. Lee, Heike Tappe, Alexander Klippel
FGCS
2007
172views more  FGCS 2007»
13 years 7 months ago
From access and integration to mining of secure genomic data sets across the Grid
The UK Department of Trade and Industry (DTI) funded BRIDGES project (Biomedical Research Informatics Delivered by Grid Enabled Services) has developed a Grid infrastructure to su...
Richard O. Sinnott