Sciweavers

8582 search results - page 71 / 1717
» Here or There
Sort
View
CORR
2010
Springer
57views Education» more  CORR 2010»
13 years 7 months ago
Slopes of Tilings
We study here slopes of periodicity of tilings. A tiling is of slope if it is periodic along direction but has no other direction of periodicity. We characterize in this paper th...
Emmanuel Jeandel, Pascal Vanier
IMCSIT
2010
13 years 4 months ago
Real-time controller design based on NI Compact-RIO
Abstract--The paper is focused on NI Compact-RIO configured as a controller for the active magnetic levitation used here as a benchmark for time-critical systems. Three realtime co...
Maciej Rosól, Adam Pilat, Andrzej Turnau
JCAM
2010
139views more  JCAM 2010»
13 years 4 months ago
A finite difference method for free boundary problems
Fornberg and Meyer-Spasche proposed some time ago a simple strategy to correct finite difference schemes in the presence of a free boundary that cuts across a Cartesian grid. We sh...
Bengt Fornberg
JSAT
2010
158views more  JSAT 2010»
13 years 4 months ago
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
Olga Tveretina, Carsten Sinz, Hans Zantema
JSYML
2010
103views more  JSYML 2010»
13 years 4 months ago
A note on Hjorth's oscillation theorem
We reformulate, in the context of continuous logic, an oscillation theorem proved by G. Hjorth and give a proof of the theorem in that setting which is similar to, but simpler than...
Julien Melleray