-
Spatio-temporal control of light in complex media
The aim of the work presented in this dissertation is to combine the tools and the formalism developed initially for acoustic waves with techniques peculiar to the... -
A sequent calculus with procedure calls
The proof of Cut-elimination is unfortunately bugged. It is repaired in "Sequent Calculi with procedure calls", hal-00779199, v4 -
Optimal Spatiotemporal Focusing Through Multiple Scattering Media
International audience -
Acoustic treatments for building curved surfaces: practical applications
International audience -
High-resolution focusing and imaging of vibrational and sound sources in the ...
Developing new high resolution focusing and imaging techniques for audible vibrational and acoustic sources is an important problem to solve in acoustics. Methods of... -
Acoustical imaging of 2D fluid targets buried in a half-space: A diffraction ...
International audience -
Asymptotic properties of the dynamics near stationary solutions for some nonl...
The present thesis is devoted to the investigation of certain aspects of the large time behavior of the solutions of two nonlinear Schrödinger equations in dimension... -
Sequent Calculi with procedure calls
In this paper, we introduce two focussed sequent calculi, LKp(T) and LK+(T), that are based on Miller-Liang's LKF system for polarised classical logic. The novelty is... -
A Hybrid Linear Logic for Constrained Transition Systems with Applications to...
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly... -
Polarizing Double Negation Translations
International audience -
Impact of square environment on the connectivity in finite ad hoc networks
International audience -
Nested Deduction in Logical Foundations for Computation
This thesis investigates the use of deep inference formalisms as basis for a computational interpretation of proof systems, following the two main approaches:... -
Focusing of light through a stratified medium: a practical approach for compu...
International audience -
Focusing of light through a stratified medium: a practical approach for compu...
International audience
