1902 search results - page 76 / 381 » Differential Dynamic Logics |
136
click to vote
ENTCS
2010
15 years 5 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
153
click to vote
ETS
2011
IEEE
14 years 5 months ago
2011
IEEE
—As circuits continue to scale to smaller feature sizes, wearout and latent defects are expected to cause an increasing number of errors in the field. Online error detection tec...
141
click to vote
MOC
2002
15 years 5 months ago
2002
We study the dynamical behavior of the discontinuous Galerkin finite element method for initial value problems in ordinary differential equations. We make two different assumptions...
116
click to vote
MP
2006
15 years 5 months ago
2006
We present a time-stepping method to simulate rigid multibody dynamics with inelastic collision, contact, and friction. The method progresses with fixed time step without backtrac...
148
click to vote
INFORMATICALT
1998
15 years 5 months ago
1998
We discuss an age-sex-structured population dynamics deterministic model taking into account random mating of sexes, females’ pregnancy and its dispersal in whole space. This mod...