Sciweavers

516 search results - page 45 / 104
» Generalizing the Discrete Timed Automaton
Sort
View
AAAI
1998
13 years 11 months ago
An Integer Local Search Method with Application to Capacitated Production Planning
Production planning is an important task in manufacturing systems. We consider a real-world capacitated lot-sizing problem (CLSP) from the process industry. Because the problem re...
Joachim P. Walser, Ramesh Iyer, Narayan Venkatasub...
CORR
2010
Springer
174views Education» more  CORR 2010»
13 years 10 months ago
Hybrid Numerical Solution of the Chemical Master Equation
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
Thomas A. Henzinger, Maria Mateescu, Linar Mikeev,...
CCR
2006
148views more  CCR 2006»
13 years 10 months ago
NetScale: scalable time-stepped hybrid simulation of large IP networks
This paper presents a scalable time-stepped hybrid simulation algorithm which is well adapted to the simulation of large IP networks (up to one million of competing flows and netw...
Laurent Fournié, Dohy Hong, Florent Perisse
JSCIC
2008
134views more  JSCIC 2008»
13 years 10 months ago
Discontinuous Hamiltonian Finite Element Method for Linear Hyperbolic Systems
Abstract We develop a Hamiltonian discontinuous finite element discretization of a generalized Hamiltonian system for linear hyperbolic systems, which include the rotating shallow ...
Yan Xu, Jaap J. W. van der Vegt, Onno Bokhove
COMPGEOM
2011
ACM
13 years 1 months ago
An output-sensitive algorithm for persistent homology
In this paper, we present the first output-sensitive algorithm to compute the persistence diagram of a filtered simplicial complex. For any Γ > 0, it returns only those homo...
Chao Chen, Michael Kerber