We propose an ultra-short-term dynamic interval predictor (DIP) of solar irradiance. Our DIP relies on experimentally observed correlations between the derivative of the solar irradiance and the forecast error in the next time-step. The main originalities of this DIP are (i) its independence from the method used for the point forecast of solar irradiance, (ii) its independence from the error di...

We updated the phylogenetic analysis of the evolution of habitat choice and social habits in the cockroach group of [Zetoborinae + Blaberinae + Gyninae + Diplopterinae] (Dictyoptera: Blaberidae) elaborated by Grandcolas (1998b). The original phylogenetic matrix was updated with new data obtained in the Brazilian Atlantic forest for the genera Parasphaeria and Zetobora (Zetoborinae), Monastria, ...

The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for experimenting their combination. The ELAN language is based on rewriting logic and evaluation of labelled conditional rewrite rules. ELAN has two originalities with respect to several other algebraic languages, namely to handle n...

Transformation to continuation-passing style (CPS) is often performed by optimizing compilers for functional programming languages. As part of the development and proof of correctness of a compiler for the mini-ML functional language, we have mechanically verified the correctness of two CPS transformations for a call-by-value λ-calculus with n-ary functions, recursive functions, data types and ...

It is very important for virtual character designers to generate 3D face models interactively and creatively in real-time. This paper investigates the use of sketch-based interface in 3D face modeling and focuses on how to map 2D sketchy features onto a 3D model. A mapping mechanism on the basis of contour lines is proposed. Representative points of the input are extracted, which retain the glo...

Low-frequency oscillation (LFO) of the synchronous generators in power systems by wind is boring. To improve robustness damping control scheme, this paper applies sliding mode (SMC) at doubly fed induction generator (DFIG), with parameter SMC optimized eigen-sensitivity. The originalities lie in, (1) states strongly associated critical modes are newly applied to design surface, (2) closed-loop ...

background: socket preservation after tooth extraction is one of the indications of bone grafting to enhance preorthodontic condition. the aim of this study is to determine the effects of socket preservation on the immediate tooth movement, alveolar ridge height preservation and orthodontic root resorption. materials and methods: in a split-mouth technique, twelve sites in three dogs were inves...