Sciweavers

2907 search results - page 280 / 582
» Presentations of Structures in Admissible Sets
Sort
View
170
Voted
NAR
2007
155views more  NAR 2007»
15 years 6 months ago
AthaMap web tools for the analysis and identification of co-regulated genes
The AthaMap database generates a map of cisregulatory elements for the whole Arabidopsis thaliana genome. This database has been extended by new tools to identify common cis-regul...
Claudia Galuschka, Martin Schindler, Lorenz Bü...
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 4 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
IEEESCC
2009
IEEE
15 years 4 months ago
Theoretical Framework for Eliminating Redundancy in Workflows
In this paper we look at combining and compressing a set of workflows, such that computation can be minimized. In this context, we look at two novel theoretical problems with appl...
Dhrubajyoti Saha, Abhishek Samanta, Smruti R. Sara...
ESOP
1999
Springer
15 years 11 months ago
Types for Safe Locking
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...
Cormac Flanagan, Martín Abadi
BIOINFORMATICS
2006
106views more  BIOINFORMATICS 2006»
15 years 6 months ago
Identification of biochemical networks by S-tree based genetic programming
Motivation: Most previous approaches to model biochemical networks havefocusedeither on the characterization of a networkstructurewith a number of components or on the estimation ...
Dong-Yeon Cho, Kwang-Hyun Cho, Byoung-Tak Zhang