Sciweavers

516 search results - page 45 / 104
» Generalizing the Discrete Timed Automaton
Sort
View
110
Voted
AAAI
1998
15 years 2 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...
116
Voted
CORR
2010
Springer
174views Education» more  CORR 2010»
15 years 1 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»
15 years 1 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»
15 years 1 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
14 years 5 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