Sciweavers

CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 8 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
CORR
2010
Springer
43views Education» more  CORR 2010»
13 years 8 months ago
Effective Capacity and Randomness of Closed Sets
Douglas Cenzer, Paul Brodhead
CORR
2010
Springer
45views Education» more  CORR 2010»
13 years 8 months ago
Complementary approaches to understanding the plant circadian clock
Ozgur E. Akman, Maria Luisa Guerriero, Laurence Lo...
CORR
2010
Springer
167views Education» more  CORR 2010»
13 years 8 months ago
Collaborative Astronomical Image Mosaics
This chapter describes how astronomical imaging survey data have become a vital part of modern astronomy, how these data are archived and then served to the astronomical community...
Daniel S. Katz, G. Bruce Berriman, Robert G. Mann
CORR
2010
Springer
52views Education» more  CORR 2010»
13 years 8 months ago
Hierarchy and information in feedforward networks
Bernat Corominas-Murtra, Joaquín Goñ...
CORR
2010
Springer
50views Education» more  CORR 2010»
13 years 8 months ago
How Accurate is Mean-Field Theory for Dynamics on Real-World Networks?
James P. Gleeson, Sergey Melnik, Jonathan Ward, Ma...
CORR
2010
Springer
127views Education» more  CORR 2010»
13 years 8 months ago
Learning Networks of Stochastic Differential Equations
We consider linear models for stochastic dynamics. To any such model can be associated a network (namely a directed graph) describing which degrees of freedom interact under the d...
José Bento, Morteza Ibrahimi, Andrea Montan...
CORR
2010
Springer
127views Education» more  CORR 2010»
13 years 8 months ago
Precisely Analyzing Loss in Interface Adapter Chains
Interface adaptation allows code written for one interface to be used with a software component with another interface. When multiple adapters are chained together to make certain...
Yoo Chung
CORR
2010
Springer
95views Education» more  CORR 2010»
13 years 8 months ago
Single-Call Mechanisms
Following Babaioff, Kleinberg, and Slivkins [4], we study single-call mechanisms — truthful mechanisms that evaluate an allocation function only once per instantiation. First, w...
Balasubramanian Sivan, Christopher A. Wilkens
CORR
2010
Springer
178views Education» more  CORR 2010»
13 years 8 months ago
Enumerative Algorithms for the Shortest and Closest Lattice Vector Problems in Any Norm via M-Ellipsoid Coverings
We give an algorithm for solving the exact Shortest Vector Problem in n-dimensional lattices, in any norm, in deterministic 2O(n) time (and space), given poly(n)-sized advice that...
Daniel Dadush, Chris Peikert, Santosh Vempala