Sciweavers

5664 search results - page 1118 / 1133
» Creativity support tools
Sort
View
BMCBI
2005
179views more  BMCBI 2005»
13 years 7 months ago
MARS: Microarray analysis, retrieval, and storage system
Background: Microarray analysis has become a widely used technique for the study of geneexpression patterns on a genomic scale. As more and more laboratories are adopting microarr...
Michael Maurer, Robert Molidor, Alexander Sturn, J...
BMCBI
2005
250views more  BMCBI 2005»
13 years 7 months ago
FiatFlux - a software for metabolic flux analysis from 13C-glucose experiments
Background: Quantitative knowledge of intracellular fluxes is important for a comprehensive characterization of metabolic networks and their functional operation. In contrast to d...
Nicola Zamboni, Eliane Fischer, Uwe Sauer
JFP
2007
111views more  JFP 2007»
13 years 7 months ago
Mechanizing metatheory in a logical framework
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
Robert Harper, Daniel R. Licata
CE
2005
170views more  CE 2005»
13 years 7 months ago
Development of an environmental virtual field laboratory
Laboratory exercises, field observations and field trips are a fundamental part of many earth science and environmental science courses. Field observations and field trips can be ...
V. Ramasundaram, S. Grunwald, A. Mangeot, N. B. Co...
AAMAS
2004
Springer
13 years 7 months ago
Automated Assistants for Analyzing Team Behaviors
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
Ranjit Nair, Milind Tambe, Stacy Marsella, Taylor ...
« Prev « First page 1118 / 1133 Last » Next »