Sciweavers

2542 search results - page 66 / 509
» integration 2010
Sort
View
DASFAA
2010
IEEE
148views Database» more  DASFAA 2010»
15 years 3 months ago
Competitive Privacy: Secure Analysis on Integrated Sequence Data
Sequence data analysis has been extensively studied in the literature. However, most previous work focuses on analyzing sequence data from a single source or party. In many applica...
Raymond Chi-Wing Wong, Eric Lo
ITP
2010
230views Mathematics» more  ITP 2010»
15 years 1 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
BMCBI
2010
122views more  BMCBI 2010»
14 years 11 months ago
Genome3D: A viewer-model framework for integrating and visualizing multi-scale epigenomic information within a three-dimensional
Background: New technologies are enabling the measurement of many types of genomic and epigenomic information at scales ranging from the atomic to nuclear. Much of this new data i...
Thomas M. Asbury, Matt Mitman, Jijun Tang, W. Jim ...
ENVSOFT
2007
166views more  ENVSOFT 2007»
14 years 11 months ago
The implications of complexity for integrated resources management
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
C. Pahl-Wostl
92
Voted
AUTOMATICA
2010
111views more  AUTOMATICA 2010»
14 years 8 months ago
Connection between cooperative positive systems and integral input-to-state stability of large-scale systems
We consider a class of continuous-time cooperative systems evolving on the positive orthant Rn +. We show that if the origin is globally attractive, then it is also globally stabl...
Björn Rüffer, Christopher M. Kellett, St...