Sciweavers

282 search results - page 19 / 57
» Jumping Contexts of Space and Time
Sort
View
IWMM
2004
Springer
98views Hardware» more  IWMM 2004»
14 years 1 months ago
Dynamic object sampling for pretenuring
Many state-of-the-art garbage collectors are generational, collecting the young nursery objects more frequently than old objects. These collectors perform well because young objec...
Maria Jump, Stephen M. Blackburn, Kathryn S. McKin...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 days ago
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
Stavros Tripakis, Karine Altisen
BIOSYSTEMS
2007
123views more  BIOSYSTEMS 2007»
13 years 7 months ago
Real time computation: Zooming in on population codes
Information processing in nervous systems intricately combines computation at the neuronal and network levels. Many computations may be envisioned as sequences of signal processin...
Olivier Rochel, Netta Cohen
JMLR
2011
175views more  JMLR 2011»
13 years 2 months ago
Causal Time Series Analysis of Functional Magnetic Resonance Imaging Data
This review focuses on dynamic causal analysis of functional magnetic resonance (fMRI) data to infer brain connectivity from a time series analysis and dynamical systems perspecti...
Alard Roebroeck, Anil K. Seth, Pedro A. Valdes-Sos...
COCOON
2009
Springer
14 years 2 months ago
A Polynomial-Time Perfect Sampler for the Q-Ising with a Vertex-Independent Noise
We present a polynomial-time perfect sampler for the Q-Ising with a vertex-independent noise. The Q-Ising, one of the generalized models of the Ising, arose in the context of Baye...
Masaki Yamamoto, Shuji Kijima, Yasuko Matsui