Sciweavers

3686 search results - page 415 / 738
» Comprehensive comprehensions
Sort
View
148
Voted
CSB
2005
IEEE
130views Bioinformatics» more  CSB 2005»
15 years 9 months ago
iSimBioSys: An "In Silico" Discrete Event Simulation Framework for Modeling Biological Systems
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...
CSB
2005
IEEE
131views Bioinformatics» more  CSB 2005»
15 years 9 months ago
Current Challenges in Bioimage Database Design
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
Ambuj K. Singh, Arnab Bhattacharya, Vebjorn Ljosa
125
Voted
CSB
2005
IEEE
161views Bioinformatics» more  CSB 2005»
15 years 9 months ago
Data Integration in the Mouse Genome Informatics (MGI) Database
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
Donnie Qi, Judith A. Blake, James A. Kadin, Joel E...
CSFW
2005
IEEE
15 years 9 months ago
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
Michael Backes, Markus Dürmuth
116
Voted
CSMR
2005
IEEE
15 years 9 months ago
Maintenance and Analysis of Visual Programs -- An Industrial Case
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...
Mika Karaila, Tarja Systä