679 search results - page 26 / 136 » hybrid 2010 |
JAPLL
2010
13 years 4 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
NHM
2010
13 years 4 months ago
2010
We present different ways, coming from Finite Volume or Mixed Finite Element frameworks, to discretize convection terms in Hybrid Finite Volume, Mimetic Finite Difference and Mixed...
JAPLL
2010
13 years 4 months ago
2010
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
IJRR
2010
13 years 7 months ago
2010
The bounding gait for the Platform for Ambulating Wheels (PAW), a new and unique hybrid wheeled-leg system is presented here. Two hypotheses are tested and discussed: first, that ...
JAPLL
2010
13 years 4 months ago
2010
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...