Sciweavers

4255 search results - page 840 / 851
» Cover
Sort
View
JCIT
2010
127views more  JCIT 2010»
14 years 4 months ago
Review of PSE (Problem Solving Environment) Study
This review paper presents an overview of the current state of the art in Problem Solving Environments (PSE). PSE provides integrated human-friendly innovative computational servi...
Shigeo Kawata
JUCS
2010
152views more  JUCS 2010»
14 years 4 months ago
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
Michal Konecný, Amin Farjudian
MICS
2010
128views more  MICS 2010»
14 years 4 months ago
Arrangements on Parametric Surfaces II: Concretizations and Applications
We describe the algorithms and implementation details involved in the concretizations of a generic framework that enables exact construction, maintenance, and manipulation of arran...
Eric Berberich, Efi Fogel, Dan Halperin, Michael K...
NAR
2010
122views more  NAR 2010»
14 years 4 months ago
ELM: the status of the 2010 eukaryotic linear motif resource
Linear motifs are short segments of multidomain proteins that provide regulatory functions independently of protein tertiary structure. Much of intracellular signalling passes thr...
Cathryn M. Gould, Francesca Diella, Allegra Via, P...
NAR
2010
148views more  NAR 2010»
14 years 4 months ago
SIMAP - a comprehensive database of pre-calculated protein sequence similarities, domains, annotations and clusters
The prediction of protein function as well as the reconstruction of evolutionary genesis employing sequence comparison at large is still the most powerful tool in sequence analysi...
Thomas Rattei, Patrick Tischler, Stefan Götz,...