Sciweavers

9018 search results - page 1614 / 1804
» 3D-Brain Model Software
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 4 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
BMCBI
2006
131views more  BMCBI 2006»
15 years 4 months ago
The statistics of identifying differentially expressed genes in Expresso and TM4: a comparison
Background: Analysis of DNA microarray data takes as input spot intensity measurements from scanner software and returns differential expression of genes between two conditions, t...
Allan A. Sioson, Shrinivasrao P. Mane, Pinghua Li,...
BMCBI
2006
125views more  BMCBI 2006»
15 years 4 months ago
Development of an open source laboratory information management system for 2-D gel electrophoresis-based proteomics workflow
Background: In the post-genome era, most research scientists working in the field of proteomics are confronted with difficulties in management of large volumes of data, which they...
Hiraku Morisawa, Mikako Hirota, Tosifusa Toda
COMPUTER
2007
153views more  COMPUTER 2007»
15 years 4 months ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis
TASE
2008
IEEE
15 years 4 months ago
Group Elevator Scheduling With Advance Information for Normal and Emergency Modes
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
Peter B. Luh, Bo Xiong, Shi-Chung Chang
« Prev « First page 1614 / 1804 Last » Next »