4520 search results - page 297 / 904 » Algebraic Techniques for Timed Systems |
198
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
196
click to vote
CMSB
2009
Springer
16 years 2 months ago
2009
Springer
Circadian clocks are biochemical networks, present in nearly all living organisms, whose function is to regulate the expression of specific mRNAs and proteins to synchronise rhyth...
196
click to vote
ICCS
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
220
click to vote
DKE
2006
15 years 7 months ago
2006
As several mature implementations of data warehousing systems are fully operational, a crucial role in preserving their up-to-dateness is played by the ability to manage the chang...
174
click to vote
SIAMSC
2010
15 years 5 months ago
2010
A significant amount of the computational time in large Monte Carlo simulations of lattice field theory is spent inverting the discrete Dirac operator. Unfortunately, traditional...