Sciweavers

2978 search results - page 592 / 596
» Swarms on Continuous Data
Sort
View
ICFEM
2009
Springer
13 years 7 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
BIOINFORMATICS
2011
13 years 4 months ago
Integrative network alignment reveals large regions of global network similarity in yeast and human
Motivation: High-throughput methods for detecting molecular interactions have produced large sets of biological network data with much more yet to come. Analogous to sequence alig...
Oleksii Kuchaiev, Natasa Przulj
CORR
2011
Springer
189views Education» more  CORR 2011»
13 years 4 months ago
Aging in language dynamics
Human languages evolve continuously, and a puzzling problem is how to reconcile the apparent robustness of most of the deep linguistic structures we use with the evidence that the...
Animesh Mukherjee, Francesca Tria, Andrea Baronche...
MBEC
2011
198views more  MBEC 2011»
13 years 4 months ago
Clinically oriented real-time monitoring of the individual's risk for deep tissue injury
Spinal cord injury patients are under daily risk for developing deep tissue injury which is a severe pressure ulcer that initiates in soft tissues at the bones’ proximity. We aim...
Sigal Portnoy, Nicolas Vuillerme, Yohan Payan, Ami...
SIAMIS
2011
13 years 4 months ago
NESTA: A Fast and Accurate First-Order Method for Sparse Recovery
Abstract. Accurate signal recovery or image reconstruction from indirect and possibly undersampled data is a topic of considerable interest; for example, the literature in the rece...
Stephen Becker, Jérôme Bobin, Emmanue...