-
A Framework for Defining Logical Frameworks
In this paper, we introduce a General Logical Framework, called GLF, for defining Logical Frameworks, based on dependent types, in the style of the well known... -
Time Series Symbolization and Search for Frequent Patterns
International audience -
Ferrofluids and liquid foams: structure, elasticity and dynamics
This manuscript is devoted to an investigation of morphology and physical properties of two complex fluids: ferrofluids and liquid foams. First, we focus on the... -
Parametric scattering in semiconductor microcavities : second order coherence...
This thesis is devoted to the study of optical parametric emission from resonantly excited semiconductor microcavities. These systems are formed by multiple quantum... -
A Formal Framework to Specify and Verify Real Time Properties on Critical Sys...
International audience -
Phase shielding soliton in parametrically driven systems
International audience -
Optimization of block copolymer self-assembly through graphoepitaxy: A defect...
International audience -
Non-interactive fish communities in the coastal streams of North-western France
International audience -
Tackling Real-Time Signal Processing Applications on Shared Memory Multicore ...
International audience -
Permutations Containing and Avoiding $\textit{123}$ and $\textit{132}$ Patterns
International audience -
Some equinumerous pattern-avoiding classes of permutations
International audience -
Turnover of soil bacterial diversity driven by wide-scale environmental heter...
International audience -
MOSSES AND LICHENS OF THE ATLANTIC GREY DUNES :<br />STRUCTURAL CHARACTERISTI...
Coastal dune-systems provide opportunities for the study of plant successions and colonisation processes. The french atlantic dune-system is five hundred kilometres... -
A High-Level Programming Model to Ease Pipeline Parallelism Expression On Sha...
International audience -
Patterns in words versus patterns in trees : a brief survey and new results
Colloque avec actes et comité de lecture. -
Causes for Contemporary Regional Sea Level Changes
ISI Document Delivery No.: BEF34 Times Cited: 5 Cited Reference Count: 121 Cited References: Ablain M, 2009, OCEAN SCI, V5, P193 Argo Data Manag. Team, 2008, 9 ARG DAT MAN M... -
Spécification et spécialisation de patterns en UML et B
Colloque avec actes et comité de lecture. nationale. -
Quelques formes 'naturelles' à l'intèrieur d'une texture fractale
Some 'natural' patterns inside a fractal texture (Quelques formes 'naturelles' à l'intèrieur d'une texture fractale) -
Statistical modeling of maternal and neonatal mortality for help in planning ...
The aim of this thesis is to design a supervised statistical learning methodology that can overcome the weakness of standard methods when the prior distribution of the...
