Showing papers by "École normale supérieure de Cachan published in 2011"

Light Propagation with Phase Discontinuities: Generalized Laws of Reflection and Refraction

Abstract: Conventional optical components rely on gradual phase shifts accumulated during light propagation to shape light beams. New degrees of freedom are attained by introducing abrupt phase changes over the scale of the wavelength. A two-dimensional array of optical resonators with spatially varying phase response and subwavelength separation can imprint such phase discontinuities on propagating light as it traverses the interface between two media. Anomalous reflection and refraction phenomena are observed in this regime in optically thin arrays of metallic antennas on silicon with a linear phase variation along the interface, which are in excellent agreement with generalized laws derived from Fermat’s principle. Phase discontinuities provide great flexibility in the design of light beams, as illustrated by the generation of optical vortices through use of planar designer metallic interfaces.

Avoiding power broadening in optically detected magnetic resonance of single NV defects for enhanced dc magnetic field sensitivity

Abstract: We report a systematic study of the magnetic field sensitivity of a magnetic sensor consisting of a single nitrogen-vacancy (NV) defect in diamond, by using continuous optically detected electron spin resonance (ESR) spectroscopy. We first investigate the behavior of the ESR contrast and linewidth as a function of the microwave and optical pumping power. The experimental results are in good agreement with a simplified model of the NV defect spin dynamics, leading to an optimized sensitivity around $2\phantom{\rule{4pt}{0ex}}\ensuremath{\mu}$T$/\sqrt{\mathrm{Hz}}$ for a single NV defect in a high-purity diamond crystal grown by chemical vapor deposition. We then demonstrate an enhancement of the magnetic sensitivity by one order of magnitude by using a simple pulsed-ESR scheme. This technique is based on repetitive excitation of the NV defect with a resonant microwave $\ensuremath{\pi}$ pulse followed by an optimized readout laser pulse, allowing to fully eliminate power broadening of the ESR linewidth. The achieved sensitivity is similar to that obtained by using Ramsey-type sequences, which is the optimal magnetic field sensitivity for the detection of a dc magnetic field.

Traffic congestion pricing methodologies and technologies

Abstract: This paper reviews the methods and technologies for congestion pricing of roads. Congestion tolls can be implemented at scales ranging from individual lanes on single links to national road networks. Tolls can be differentiated by time of day, road type and vehicle characteristics, and even set in real time according to current traffic conditions. Conventional toll booths have largely given way to electronic toll collection technologies. The main technology categories are roadside-only systems employing digital photography, tag & beacon systems that use short-range microwave technology, and in-vehicle-only systems based on either satellite or cellular network communications. The best technology choice depends on the application. The rate at which congestion pricing is implemented, and its ultimate scope, will depend on what technology is used and on what other functions and services it can perform.

Track to the future: Spatio-temporal video segmentation with long-range motion cues

Abstract: Video provides not only rich visual cues such as motion and appearance, but also much less explored long-range temporal interactions among objects. We aim to capture such interactions and to construct a powerful intermediate-level video representation for subsequent recognition. Motivated by this goal, we seek to obtain spatio-temporal oversegmentation of a video into regions that respect object boundaries and, at the same time, associate object pixels over many video frames. The contributions of this paper are two-fold. First, we develop an efficient spatiotemporal video segmentation algorithm, which naturally incorporates long-range motion cues from the past and future frames in the form of clusters of point tracks with coherent motion. Second, we devise a new track clustering cost function that includes occlusion reasoning, in the form of depth ordering constraints, as well as motion similarity along the tracks. We evaluate the proposed approach on a challenging set of video sequences of office scenes from feature length movies.

Nanodiamond as a Vector for siRNA Delivery to Ewing Sarcoma Cells

Abstract: The ability of diamond nanoparticles (nanodiamonds, NDs) to deliver small interfering RNA (siRNA) into Ewing sarcoma cells is investigated with a view to the possibility of in-vivo anticancer nucleic-acid drug delivery. siRNA is adsorbed onto NDs that are coated with cationic polymer. Cell uptake of NDs is demonstrated by taking advantage of the NDs' intrinsic fluorescence from embedded color-center defects. Cell toxicity of these coated NDs is shown to be low. Consistent with the internalization efficacy, a specific inhibition of EWS/Fli-1 gene expression is shown at the mRNA and protein level by the ND-vectorized siRNA in a serum-containing medium.

Reconstructing an image from its local descriptors

Abstract: This paper shows that an image can be approximately reconstructed based on the output of a blackbox local description software such as those classically used for image indexing. Our approach consists first in using an off-the-shelf image database to find patches that are visually similar to each region of interest of the unknown input image, according to associated local descriptors. These patches are then warped into input image domain according to interest region geometry and seamlessly stitched together. Final completion of still missing texture-free regions is obtained by smooth interpolation. As demonstrated in our experiments, visually meaningful reconstructions are obtained just based on image local descriptors like SIFT, provided the geometry of regions of interest is known. The reconstruction most often allows the clear interpretation of the semantic image content. As a result, this work raises critical issues of privacy and rights when local descriptors of photos or videos are given away for indexing and search purpose.

Toward Early-Warning Detection of Gravitational Waves from Compact Binary Coalescence

Abstract: Rapid detection of compact binary coalescence (CBC) with a network of advanced gravitational-wave detectors will offer a unique opportunity for multi-messenger astronomy. Prompt detection alerts for the astronomical community might make it possible to observe the onset of electromagnetic emission from (CBC). We demonstrate a computationally practical filtering strategy that could produce early-warning triggers before gravitational radiation from the final merger has arrived at the detectors.

Nanoscale magnetic field mapping with a single spin scanning probe magnetometer

Abstract: We demonstrate quantitative magnetic field mapping with nanoscale resolution, by applying a lock-in technique on the electron spin resonance frequency of a single nitrogen-vacancy defect placed at the apex of an atomic force microscope tip. In addition, we report an all-optical magnetic imaging technique which is sensitive to large off-axis magnetic fields, thus extending the operation range of diamond-based magnetometry. Both techniques are illustrated by using a magnetic hard disk as a test sample. Owing to the non-perturbing and quantitative nature of the magnetic probe, this work should open up numerous perspectives in nanomagnetism and spintronics.

Monetary incentives in the loss domain and behavior toward risk: An experimental comparison of three reward schemes including real losses

Abstract: In the loss domain, both practical and ethical considerations rule out the systematic use of an incentive-compatible procedure involving real losses. The experimental study presented here aims at investigating whether some easier-to-implement procedure could be adequately used. For that purpose, the subjects’ degree of risk aversion is compared across three payment conditions: a real-losses condition based on a random-lottery (incentive-compatible) system, which serves as a benchmark, and two challengers, namely a “losses-from-an-initial-endowment” procedure and a hypothetical-losses condition. As a by-product, our experimental design also allows us to investigate the impact of monetary incentives in the gain domain. The main result is twofold: no significant difference arises between the three payment conditions in the loss domain, while real and hypothetical choices significantly differ in the gain domain. Our results suggest that the use of monetary incentives may be more crucial in the gain domain than in the loss domain.

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

Abstract: Dickson's Lemma is a simple yet powerful tool widely used in decidability proofs, especially when dealing with counters or related data structures in algorithmics, verification and model-checking, constraint solving, logic, etc. While Dickson's Lemma is well-known, most computer scientists are not aware of the complexity upper bounds that are entailed by its use. This is mainly because, on this issue, the existing literature is not very accessible. We propose a new analysis of the length of bad sequences over $(\mathbb{N}^k,\leq)$, improving on earlier results and providing upper bounds that are essentially tight. This analysis is complemented by a ``user guide'' explaining through practical examples how to easily derive complexity upper bounds from Dickson's Lemma.

Large Time Asymptotics for Partially Dissipative Hyperbolic Systems

Abstract: This work is concerned with (n-component) hyperbolic systems of balance laws in m space dimensions. First, we consider linear systems with constant coefficients and analyze the possible behavior of solutions as t → ∞. Using the Fourier transform, we examine the role that control theoretical tools, such as the classical Kalman rank condition, play. We build Lyapunov functionals allowing us to establish explicit decay rates depending on the frequency variable. In this way we extend the previous analysis by Shizuta and Kawashima under the so-called algebraic condition (SK). In particular, we show the existence of systems exhibiting more complex behavior than the one that the (SK) condition allows. We also discuss links between this analysis and previous literature in the context of damped wave equations, hypoellipticity and hypocoercivity. To conclude, we analyze the existence of global solutions around constant equilibria for nonlinear systems of balance laws. Our analysis of the linear case allows proving existence results in situations that the previously existing theory does not cover.

The VOLNA code for the numerical modeling of tsunami waves: Generation, propagation and inundation

Abstract: A novel tool for tsunami wave modelling is presented. This tool has the potential of being used for operational purposes: indeed, the numerical code \VOLNA is able to handle the complete life-cycle of a tsunami (generation, propagation and run-up along the coast). The algorithm works on unstructured triangular meshes and thus can be run in arbitrary complex domains. This paper contains the detailed description of the finite volume scheme implemented in the code. The numerical treatment of the wet/dry transition is explained. This point is crucial for accurate run-up/run-down computations. Most existing tsunami codes use semi-empirical techniques at this stage, which are not always sufficient for tsunami hazard mitigation. Indeed the decision to evacuate inhabitants is based on inundation maps which are produced with this type of numerical tools. We present several realistic test cases that partially validate our algorithm. Comparisons with analytical solutions and experimental data are performed. Finally the main conclusions are outlined and the perspectives for future research presented.

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Abstract: Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and probability. This approach captures a strong notion of security, guaranteed against all probabilistic polynomial-time attacks. The other approach relies on a symbolic model of protocol executions in which cryptographic primitives are treated as black boxes. Since the seminal work of Dolev and Yao, it has been realized that this latter approach enables significantly simpler and often automated proofs. However, the guarantees that it offers with respect to the more detailed computational models have been quite unclear. For more than 20 years the two approaches have coexisted but evolved mostly independently. Recently, significant research efforts attempt to develop paradigms for cryptographic systems analysis that combines the best of both worlds. There are two broad directions that have been followed. Computational soundness aims to establish sufficient conditions under which results obtained using symbolic models imply security under computational models. The direct approach aims to apply the principles and the techniques developed in the context of symbolic models directly to computational ones. In this paper we survey existing results along both of these directions. Our goal is to provide a rather complete summary that could act as a quick reference for researchers who want to contribute to the field, want to make use of existing results, or just want to get a better picture of what results already exist.

An L 1 -based variational model for Retinex theory and its application to medical images

Abstract: Human visual system (HVS) can perceive constant color under varying illumination conditions while digital images record information of both reflectance (physical color) of objects and illumination. Retinex theory, formulated by Edwin H. Land, aimed to simulate and explain this feature of HVS. However, to recover the reflectance from a given image is in general an ill-posed problem. In this paper, we establish an L 1 -based variational model for Retinex theory that can be solved by a fast computational approach based on Bregman iteration. Compared with previous works, our L 1 -Retinex method is more accurate for recovering the reflectance, which is illustrated by examples and statistics. In medical images such as magnetic resonance imaging (MRI), intensity inhomogeneity is often encountered due to bias fields. This is a similar formulation to Retinex theory while the MRI has some specific properties. We then modify the L 1 -Retinex method and develop a new algorithm for MRI data. We demonstrate the performance of our method by comparison with previous work on simulated and real data.

Engineered arrays of nitrogen-vacancy color centers in diamond based on implantation of CN− molecules through nanoapertures

Abstract: We report a versatile method for engineering arrays of nitrogen-vacancy (NV) color centers in diamond at the nanoscale. The defects were produced in parallel by ion implantation through 80 nm diameter apertures patterned using electron beam lithography in a polymethyl methacrylate (PMMA) layer deposited on a diamond surface. The implantation was performed with CN− molecules that increased the NV defect-formation yield. This method could enable the realization of a solid-state coupled-spin array and could be used for positioning an optically active NV center on a photonic microstructure.

Improvement of HepG2/C3a cell functions in a microfluidic biochip.

Abstract: Current developments in tissue engineering and microtechnology fields allow the use of microfluidic biochip as microtools for in vitro investigations. In the present study, we describe the behavior of HepG2/C3a cells cultivated in a poly(dimethylsiloxane) (PDMS) microfluidic biochip coupled to a perfusion system. Cell culture in the microfluidic biochip for 96 h including 72 h of perfusion provoked a 24 h delay in cell growth compared to plate cultures. Inside the microfluidic biochip, few apoptosis, and necrosis were detected along the culture and 3D cell organization was observed. Regarding the hepatic metabolism, glucose and glutamine consumptions as well as albumin synthesis were maintained. A transcriptomic analysis performed at 96 h of culture using Affymetrix GeneChip demonstrated that 1,025 genes with a fold change above 1.8 were statistically differentially expressed in the microfluidic biochip cultures compared to plate cultures. Among those genes, phase I enzymes involved in the xenobiotic's metabolism such as the cytochromes P450 (CYP) 1A1/2, 2B6, 3A4, 3A5, and 3A7 were up-regulated. The CYP1A1/2 up-regulation was associated with the appearance of CYP1A1/2's activity evidenced by using EROD biotransformation assay. Several phase II enzymes such as sulfotransferases (SULT1A1 and SULT1A2), UDP-glucuronyltransferase (UGT1A1, UGT2B7) and phase III transporters (such as MDR1, MRP2) were also up-regulated. In conclusion, microfluidic biochip could and provide an important insight to exploring the xenobiotic's metabolism. Altogether, these results suggest that this kind of biochip could be considered as a new pertinent tool for predicting cell toxicity and clearance of xenobiotics in vitro.

Evaluation of servo, geometric and dynamic error sources on five-axis high-speed machine tool

Abstract: Many sources of errors exist in the manufacturing process of complex shapes. Some approximations occur at each step from the design geometry to the machined part. The aim of the paper is to present a method to evaluate the effect of high-speed and high dynamic load on volumetric errors at the tool center point. The interpolator output signals and the machine encoder signals are recorded and compared to evaluate the contouring errors resulting from each axis follow-up error. The machine encoder signals are also compared to the actual tool center point position as recorded with a non-contact measuring instrument called CapBall to evaluate the total geometric errors. The novelty of the work lies in the method that is proposed to decompose the geometric errors into two categories: the quasi-static geometric errors independent from the speed of the trajectory and the dynamic geometric errors, dependent on the programmed feed rate and resulting from the machine structure deflection during the acceleration of its axes. The evolution of the respective contributions for contouring errors, quasi-static geometric errors and dynamic geometric errors is experimentally evaluated and a relation between programmed feed rate and dynamic errors is highlighted.

Linear and nonlinear optical properties of cationic bipyridyl iridium(III) complexes: tunable and photoswitchable?

Abstract: A series of cationic Ir(III) substituted bipyridyl ()(N(∧)N (N(∧)N-bpy) complexes incorporating electron-donor and -acceptor substituents, [Ir(C(∧)N-ppy-R')(2)(N(∧)N-bpy-CH═CH-C(6)H(4)-R)][X] (X(-) = PF(6)(-) or C(12)H(25)SO(3)(-)), 2 (a, R = NEt(2) and R' = Me; b, R = O-Oct and R' = Me; c, R = NO(2) and R' = C(6)H(13); C(∧)N-ppy = cyclometalated 2-phenylpyridine, [Ir(C(∧)N-ppy-Me)(2)(N(∧)N-bpy-CH═CH-thienyl-Me)][PF(6)], 2d, and the dithienylethene (DTE)-containing complex 2e have been synthesized and characterized, and their absorption, luminescence, and quadratic nonlinear optical (NLO) properties are reported. Density functional theory (DFT) and time-dependent-DFT (TD-DFT) calculations on the complexes facilitate a detailed assignment of the excited states involved in the absorption and emission processes. All five complexes are luminescent in a rigid glass at 77 K, displaying vibronically structured spectra with long lifetimes (14-90 μs), attributed to triplet states localized on the styryl-appended bipyridines. The second-order NLO properties of 2a-d and related complexes 1a-d with 1,10-phenanthrolines have been investigated by both electric field induced second harmonic generation (EFISH) and harmonic light scattering (HLS) techniques. They are characterized by high negative EFISH μβ values which decrease when the ion pair strength between the cation and the counterion (PF(6)(-), C(12)H(25)SO(3)(-)) increases. The EFISH response is mainly controlled by metal-to-ligand charge-transfer/ligand-to-ligand charge-transfer (MLCT/L'LCT) processes. A combination of HLS and EFISH techniques is used to evaluate both the dipolar and octupolar contributions to the total quadratic hyperpolarizability, demonstrating that the major contribution is controlled by the octupolar part. The incorporation of a photochromic DTE unit into the N(∧)N-bpy ligand (complex 2e) allows the luminescence to be switched ON or OFF. The photocyclisation of the DTE unit can be triggered by using either UV (365 nm) or visible light (430 nm), leading to an efficient quenching of the ligand-based 77 K luminescence, which can be restored upon irradiation of the closed form at 715 nm. In contrast, no significant modification of the EFISH μβ value is observed upon photocyclization, suggesting that the quadratic NLO response is dominated by the MLCT/L'LCT processes, rather than by the intraligand excited states localized on the substituted bipyridine ligand.

Designing Dye–Nanochannel Antenna Hybrid Materials for Light Harvesting, Transport and Trapping

Abstract: We discuss artificial photonic antenna systems that are built by incorporating chromophores into one-dimensional nanochannel materials and by organizing the latter in specific ways. Zeolite L (ZL) is an excellent host for the supramolecular organization of different kinds of molecules and complexes. The range of possibilities for filling its one-dimensional channels with suitable guests has been shown to be much larger than one might expect. Geometrical constraints imposed by the host structure lead to supramolecular organization of the guests in the channels. The arrangement of dyes inside the ZL channels is what we call the first stage of organization. It allows light harvesting within the volume of a dye-loaded ZL crystal and also the radiationless transport of energy to either the channel ends or center. One-dimensional FRET transport can be realized in these guest-host materials. The second stage of organization is realized by coupling either an external acceptor or donor stopcock fluorophore at the ends of the ZL channels, which can then trap or inject electronic excitation energy. The third stage of organization is obtained by interfacing the material to an external device via a stopcock intermediate. A possibility to achieve higher levels of organization is by controlled assembly of the host into ordered structures and preparation of monodirectional materials. The usually strong light scattering of ZL can be suppressed by refractive-index matching and avoidance of microphase separation in hybrid polymer/dye-ZL materials. The concepts are illustrated and discussed in detail on a bidirectional dye antenna system. Experimental results of two materials with a donor-to-acceptor ratio of 33:1 and 52:1, respectively, and a three-dye system illustrate the validity and challenges of this approach for synthesizing dye-nanochannel hybrid materials for light harvesting, transport, and trapping.

An expression for droplet evaporation incorporating thermal effects

Abstract: We propose a general theoretical expression for sessile droplets' evaporation, incorporating thermal effects related to the thermal resistance of the substrate and liquid properties. We develop an expression which accounts for thermal effects associated with evaporative cooling; the latter leads to a reduction in the rate of evaporation, which is not accounted for in the current theories, i.e. ‘isothermal diffusion theories’. The threshold for transition to a regime in which thermal effects start to be significant is identified through a dimensionless number which includes substrate and liquid properties as well as the kinetics of evaporation. The proposed theory is validated against experimental data in a very wide range of conditions and for a variety of systems. The developed expression extends the domain of use of diffusion-based models for droplet evaporation and accurately describes some aspects of the phenomenon which, to the best of our knowledge, are highlighted for the first time.