Hal-Diderot
Not a member yet
3207753 research outputs found
Sort by
Simultaneous in-chamber MHz sensing of CO, H 2 O, temperature, and pressure via mid-infrared laser absorption in a rotating detonation rocket engine
No full textInternational audienc
CertViT: Certified Robustness of Pre-Trained Vision Transformers
No full textLipschitz bounded neural networks are certifiably robust and have a good trade-off between clean and certified accuracy. Existing Lipschitz bounding methods train from scratch and are limited to moderately sized networks (< 6M parameters). They require a fair amount of hyper-parameter tuning and are computationally prohibitive for large networks like Vision Transformers (5M to 660M parameters). Obtaining certified robustness of transformers is not feasible due to the non-scalability and inflexibility of the current methods. This work presents CertViT, a two-step proximal-projection method to achieve certified robustness from pre-trained weights. The proximal step tries to lower the Lipschitz bound and the projection step tries to maintain the clean accuracy of pre-trained weights. We show that CertViT networks have better certified accuracy than state-of-the-art Lipschitz trained networks. We apply CertViT on several variants of pre-trained vision transformers and show adversarial robustness using standard attacks. Code : \url{https://github.com/sagarverma/transformer-lipschitz
MuSLi: a Multi Sensor LiDAR Detection for C-V2X Networks
No full textInternational audienceObstacle detection is a tool adopted in vehicular safety applications, aiming to detect a moving obstacle in an area of interest with the highest accuracy. Different sensors are used for this aim, such as LiDAR devices mounted on board of a vehicle that capture images of the surrounding environment. Extending the number of LiDAR sensors can be useful to improve the obstacle detection accuracy, since multiple images are captured from different distances and directions, and this represents an interesting approach, specially in case of dense networks with cooperative nodes. In this paper we present MuSLi technique, aiming to (i) provide an accurate obstacle detection and (ii) forward alert messages to other cars in the network, in case of correct detection of a pedestrian crossing the street. MuSLi relies on the connected content islands scenario, where each vehicle defined as a content island subscribes to a service in order to receive and share published messages. Specifically, the road safety service allows the detection of an obstacle through multiple LiDAR sensors from neighboring cars. Furthermore, we investigate the fastest transmission mode among those defined in the C-V2X releases to alert the presence of a pedestrian to the other approaching cars. The proposed technique provides the distances by the crossroad in which is better to use V2V, V2I or V2N according to the environment, the scheduling technique and the measured interference
Iterated hyperplane search for the budgeted maximum coverage problem
No full textInternational audienc
New Laboratory Experiments to Study the Large-Scale Circulation and Climate Dynamics
No full textInternational audienceThe large-scale flows of the oceans and the atmosphere are driven by a non-uniform surface heating over latitude, and rotation. For many years scientists try to understand these flows by doing laboratory experiments. In the present paper we discuss two rather new laboratory experiments designed to study certain aspects of the atmospheric circulation. One of the experiments, the differentially heated rotating annulus at the Brandenburg University of Technology (BTU) Cottbus, has a cooled inner cylinder and a heated outer wall. However, the structure of the atmospheric meridional circulation motivates a variation of this “classical” design. In the second experiment described, operational at the Institute of Continuous Media Mechanics (ICMM) in Perm, heating and cooling is performed at different vertical levels that resembles more the atmospheric situation. Recent results of both experiments are presented and discussed. Differences and consistencies are highlighted. Though many issues are still open we conclude that both setups have their merits. The variation with heating and cooling at different levels might be more suited to study processes in the transition zone between pure rotating convection and the zone of westerly winds. On the other hand, the simpler boundary conditions of the BTU experiment make this experiment easier to control
Jean-Luc Godard. Écrits politiques sur le cinéma et autres arts filmiques 2
No full textInternational audienc
Dictionnaire de droit de la santé mentale et de la psychiatrie
No full textInternational audienceS. THERON,LEH édition, 2023, 261 page
Recurrent Benign Paroxysmal Positional Vertigo in DFNB16 Patients with Biallelic STRC Gene Deletions
No full textInternational audienc
