Showing 1–30 of 30 results for author: Roux, C

Parametric Study of a Bladeless Fan Geometry: Investigating the Influence of Geometry Parameters on Discharge Ratio and Thrust Force

Authors: Guillaume Maîtrejean, Merlin Kempf, Lucas Antoniali, Feirrera-Lopes, Mohamed Karrouch, Didier Bleses, François Truong, Denis C. D. Roux

Abstract: The innovative bladeless design of the AirMultiplier, patented by Dyson in 2009, has generated significant interest due to its unique approach to air circulation that leverages the Coanda effect. In this study, we present a comprehensive parametric analysis of a simplified bladeless fan geometry, with a specific focus on the discharge ratio and generated thrust force for small to medium radii (5 t… ▽ More The innovative bladeless design of the AirMultiplier, patented by Dyson in 2009, has generated significant interest due to its unique approach to air circulation that leverages the Coanda effect. In this study, we present a comprehensive parametric analysis of a simplified bladeless fan geometry, with a specific focus on the discharge ratio and generated thrust force for small to medium radii (5 to 200mm) and a range of flow rates spanning from 1 to 100g/s. In addition to the radii and mass flow rates, this study also addresses the effect of the slit nozzle thickness on the discharge ratio and thrust force of the AirMultiplier. By exploring the influence of this additional parameter, we aim to provide a more complete understanding of the performance characteristics of the geometry and to offer insights that could inform the design and optimization of similar bladeless geometries. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Secure communication based on sensing of undetected photons

Authors: Jean Sternberg, Julien Voisin, Charline Roux, Yannick Chassagneux, Maria Ines Amanti

Abstract: In this paper, we introduce a secure optical communication protocol that harnesses quantum correlation within entangled photon pairs. A message written by acting on one of the photons can be read by exclusive measurements of the other photon of the pair. In this scheme a bright, meaningless optical beam hides the message rendering it inaccessible to potential eavesdroppers. Unlike traditional meth… ▽ More In this paper, we introduce a secure optical communication protocol that harnesses quantum correlation within entangled photon pairs. A message written by acting on one of the photons can be read by exclusive measurements of the other photon of the pair. In this scheme a bright, meaningless optical beam hides the message rendering it inaccessible to potential eavesdroppers. Unlike traditional methods our approach only affects unauthorized users, fundamentally limiting their access to the communication channel. We demonstrate the effectiveness of our protocol by achieving secure communication through both amplitude and phase modulation. We successfully employ this technique for the secure transfer of an image. We demonstrate data exchange speed of up to 8 bits per second, along with the corresponding eye diagrams. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Convergence and Trade-Offs in Riemannian Gradient Descent and Riemannian Proximal Point

Authors: David Martínez-Rubio, Christophe Roux, Sebastian Pokutta

Abstract: In this work, we analyze two of the most fundamental algorithms in geodesically convex optimization: Riemannian gradient descent and (possibly inexact) Riemannian proximal point. We quantify their rates of convergence and produce different variants with several trade-offs. Crucially, we show the iterates naturally stay in a ball around an optimizer, of radius depending on the initial distance and,… ▽ More In this work, we analyze two of the most fundamental algorithms in geodesically convex optimization: Riemannian gradient descent and (possibly inexact) Riemannian proximal point. We quantify their rates of convergence and produce different variants with several trade-offs. Crucially, we show the iterates naturally stay in a ball around an optimizer, of radius depending on the initial distance and, in some cases, on the curvature. In contrast, except for limited cases, previous works bounded the maximum distance between iterates and an optimizer only by assumption, leading to incomplete analyses and unquantified rates. We also provide an implementable inexact proximal point algorithm yielding new results on minmax problems, and we prove several new useful properties of Riemannian proximal methods: they work when positive curvature is present, the proximal operator does not move points away from any optimizer, and we quantify the smoothness of its induced Moreau envelope. Further, we explore beyond our theory with empirical tests. △ Less

Submitted 15 March, 2024; originally announced March 2024.

On the Byzantine-Resilience of Distillation-Based Federated Learning

Authors: Christophe Roux, Max Zimmer, Sebastian Pokutta

Abstract: Federated Learning (FL) algorithms using Knowledge Distillation (KD) have received increasing attention due to their favorable properties with respect to privacy, non-i.i.d. data and communication cost. These methods depart from transmitting model parameters and, instead, communicate information about a learning task by sharing predictions on a public dataset. In this work, we study the performanc… ▽ More Federated Learning (FL) algorithms using Knowledge Distillation (KD) have received increasing attention due to their favorable properties with respect to privacy, non-i.i.d. data and communication cost. These methods depart from transmitting model parameters and, instead, communicate information about a learning task by sharing predictions on a public dataset. In this work, we study the performance of such approaches in the byzantine setting, where a subset of the clients act in an adversarial manner aiming to disrupt the learning process. We show that KD-based FL algorithms are remarkably resilient and analyze how byzantine clients can influence the learning process compared to Federated Averaging. Based on these insights, we introduce two new byzantine attacks and demonstrate that they are effective against prior byzantine-resilient methods. Additionally, we propose FilterExp, a novel method designed to enhance the byzantine resilience of KD-based FL algorithms and demonstrate its efficacy. Finally, we provide a general method to make attacks harder to detect, improving their effectiveness. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Sloshing of viscous fluids: Application to aerospace

Authors: Benjamin Arthur Hugo Meunier, Maxime Christophe Nicolas Roux

Abstract: This bachelor project presents a theoretical model describing the resonant frequencies in rectangular and cylindrical tanks. It presents an experimental validation in the rectangular case. The resonant frequencies are determined and then used to construct a theoretical model for the free damping of viscous fluids. The predictions of the model are qualitatively analysed. The higher the resonant fre… ▽ More This bachelor project presents a theoretical model describing the resonant frequencies in rectangular and cylindrical tanks. It presents an experimental validation in the rectangular case. The resonant frequencies are determined and then used to construct a theoretical model for the free damping of viscous fluids. The predictions of the model are qualitatively analysed. The higher the resonant frequency, the higher the attenuation associated with that mode. Adding a layer of a more viscous liquid, even a thin one, significantly increases the attenuation. In addition, the addition of a layer of polystyrene beads prevents excitation at low frequencies. However, experiments are still needed to find out exactly what physical phenomena explain this. In addition. Finally, an algorithm is designed and implemented in a Matlab code to determine the behaviour of the liquid when subjected to a horizontal sinusoidal excitation. The results of the algorithm are promising, but it still encounters convergence problems for extreme cases. The algorithm can be used to make theoretical predictions for rocket propellants. The application of this research to the Bella Lui rocket of the EPFL rocket team is discussed. △ Less

Submitted 4 October, 2023; originally announced October 2023.

Comments: 55 pages, 27 figures

Development and validation of an interpretable machine learning-based calculator for predicting 5-year weight trajectories after bariatric surgery: a multinational retrospective cohort SOPHIA study

Authors: Patrick Saux, Pierre Bauvin, Violeta Raverdy, Julien Teigny, Hélène Verkindt, Tomy Soumphonphakdy, Maxence Debert, Anne Jacobs, Daan Jacobs, Valerie Monpellier, Phong Ching Lee, Chin Hong Lim, Johanna C Andersson-Assarsson, Lena Carlsson, Per-Arne Svensson, Florence Galtier, Guelareh Dezfoulian, Mihaela Moldovanu, Severine Andrieux, Julien Couster, Marie Lepage, Erminia Lembo, Ornella Verrastro, Maud Robert, Paulina Salminen , et al. (9 additional authors not shown)

Abstract: Background Weight loss trajectories after bariatric surgery vary widely between individuals, and predicting weight loss before the operation remains challenging. We aimed to develop a model using machine learning to provide individual preoperative prediction of 5-year weight loss trajectories after surgery. Methods In this multinational retrospective observational study we enrolled adult participa… ▽ More Background Weight loss trajectories after bariatric surgery vary widely between individuals, and predicting weight loss before the operation remains challenging. We aimed to develop a model using machine learning to provide individual preoperative prediction of 5-year weight loss trajectories after surgery. Methods In this multinational retrospective observational study we enrolled adult participants (aged $\ge$18 years) from ten prospective cohorts (including ABOS [NCT01129297], BAREVAL [NCT02310178], the Swedish Obese Subjects study, and a large cohort from the Dutch Obesity Clinic [Nederlandse Obesitas Kliniek]) and two randomised trials (SleevePass [NCT00793143] and SM-BOSS [NCT00356213]) in Europe, the Americas, and Asia, with a 5 year followup after Roux-en-Y gastric bypass, sleeve gastrectomy, or gastric band. Patients with a previous history of bariatric surgery or large delays between scheduled and actual visits were excluded. The training cohort comprised patients from two centres in France (ABOS and BAREVAL). The primary outcome was BMI at 5 years. A model was developed using least absolute shrinkage and selection operator to select variables and the classification and regression trees algorithm to build interpretable regression trees. The performances of the model were assessed through the median absolute deviation (MAD) and root mean squared error (RMSE) of BMI. Findings10 231 patients from 12 centres in ten countries were included in the analysis, corresponding to 30 602 patient-years. Among participants in all 12 cohorts, 7701 (75$\bullet$3%) were female, 2530 (24$\bullet$7%) were male. Among 434 baseline attributes available in the training cohort, seven variables were selected: height, weight, intervention type, age, diabetes status, diabetes duration, and smoking status. At 5 years, across external testing cohorts the overall mean MAD BMI was 2$\bullet$8 kg/m${}^2$ (95% CI 2$\bullet$6-3$\bullet$0) and mean RMSE BMI was 4$\bullet$7 kg/m${}^2$ (4$\bullet$4-5$\bullet$0), and the mean difference between predicted and observed BMI was-0$\bullet$3 kg/m${}^2$ (SD 4$\bullet$7). This model is incorporated in an easy to use and interpretable web-based prediction tool to help inform clinical decision before surgery. InterpretationWe developed a machine learning-based model, which is internationally validated, for predicting individual 5-year weight loss trajectories after three common bariatric interventions. △ Less

Submitted 31 August, 2023; originally announced August 2023.

Comments: The Lancet Digital Health, 2023

LARG, Language-based Automatic Reward and Goal Generation

Authors: Julien Perez, Denys Proux, Claude Roux, Michael Niemaz

Abstract: Goal-conditioned and Multi-Task Reinforcement Learning (GCRL and MTRL) address numerous problems related to robot learning, including locomotion, navigation, and manipulation scenarios. Recent works focusing on language-defined robotic manipulation tasks have led to the tedious production of massive human annotations to create dataset of textual descriptions associated with trajectories. To levera… ▽ More Goal-conditioned and Multi-Task Reinforcement Learning (GCRL and MTRL) address numerous problems related to robot learning, including locomotion, navigation, and manipulation scenarios. Recent works focusing on language-defined robotic manipulation tasks have led to the tedious production of massive human annotations to create dataset of textual descriptions associated with trajectories. To leverage reinforcement learning with text-based task descriptions, we need to produce reward functions associated with individual tasks in a scalable manner. In this paper, we leverage recent capabilities of Large Language Models (LLMs) and introduce \larg, Language-based Automatic Reward and Goal Generation, an approach that converts a text-based task description into its corresponding reward and goal-generation functions We evaluate our approach for robotic manipulation and demonstrate its ability to train and execute policies in a scalable manner, without the need for handcrafted reward functions. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Accelerated Methods for Riemannian Min-Max Optimization Ensuring Bounded Geometric Penalties

Authors: David Martínez-Rubio, Christophe Roux, Christopher Criscitiello, Sebastian Pokutta

Abstract: In this work, we study optimization problems of the form $\min_x \max_y f(x, y)$, where $f(x, y)$ is defined on a product Riemannian manifold $\mathcal{M} \times \mathcal{N}$ and is $μ_x$-strongly geodesically convex (g-convex) in $x$ and $μ_y$-strongly g-concave in $y$, for $μ_x, μ_y \geq 0$. We design accelerated methods when $f$ is $(L_x, L_y, L_{xy})$-smooth and $\mathcal{M}$, $\mathcal{N}$ ar… ▽ More In this work, we study optimization problems of the form $\min_x \max_y f(x, y)$, where $f(x, y)$ is defined on a product Riemannian manifold $\mathcal{M} \times \mathcal{N}$ and is $μ_x$-strongly geodesically convex (g-convex) in $x$ and $μ_y$-strongly g-concave in $y$, for $μ_x, μ_y \geq 0$. We design accelerated methods when $f$ is $(L_x, L_y, L_{xy})$-smooth and $\mathcal{M}$, $\mathcal{N}$ are Hadamard. To that aim we introduce new g-convex optimization results, of independent interest: we show global linear convergence for metric-projected Riemannian gradient descent and improve existing accelerated methods by reducing geometric constants. Additionally, we complete the analysis of two previous works applying to the Riemannian min-max case by removing an assumption about iterates staying in a pre-specified compact set. △ Less

Submitted 30 October, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: added weakly-convex analysis, and some remarks

Integrated Access and Backhaul in 5G with Aerial Distributed Unit using OpenAirInterface

Authors: Rakesh Mundlamuri, Omid Esrafilian, Rajeev Gangula, Rohan Kharade, Cedric Roux, Florian Kaltenberger, Raymond Knopp, David Gesbert

Abstract: In this work, we propose an UAV-aided Integrated Access and Backhaul (IAB) system design offering 5G connectivity to ground users. UAV is integrated with a distributed unit (DU) acting as an aerial DU, which can provide 5G wireless backhaul access to a terrestrial central unit (CU). The CU-DU interface fully complies with the 3GPP defined F1 application protocol (F1AP). Such aerial DU can be insta… ▽ More In this work, we propose an UAV-aided Integrated Access and Backhaul (IAB) system design offering 5G connectivity to ground users. UAV is integrated with a distributed unit (DU) acting as an aerial DU, which can provide 5G wireless backhaul access to a terrestrial central unit (CU). The CU-DU interface fully complies with the 3GPP defined F1 application protocol (F1AP). Such aerial DU can be instantiated and configured dynamically, tailoring to the network demands. The complete radio and access network solution is based on open-source software from OpenAirInterface (OAI) and off-the-shelf commercial 5G mobile terminals. Experimental results illustrate throughput gains and coverage extension brought by the aerial DU. △ Less

Submitted 8 December, 2023; v1 submitted 10 May, 2023; originally announced May 2023.

The Forward Physics Facility at the High-Luminosity LHC

Authors: Jonathan L. Feng, Felix Kling, Mary Hall Reno, Juan Rojo, Dennis Soldin, Luis A. Anchordoqui, Jamie Boyd, Ahmed Ismail, Lucian Harland-Lang, Kevin J. Kelly, Vishvas Pandey, Sebastian Trojanowski, Yu-Dai Tsai, Jean-Marco Alameddine, Takeshi Araki, Akitaka Ariga, Tomoko Ariga, Kento Asai, Alessandro Bacchetta, Kincso Balazs, Alan J. Barr, Michele Battistin, Jianming Bian, Caterina Bertone, Weidong Bai , et al. (211 additional authors not shown)

Abstract: High energy collisions at the High-Luminosity Large Hadron Collider (LHC) produce a large number of particles along the beam collision axis, outside of the acceptance of existing LHC experiments. The proposed Forward Physics Facility (FPF), to be located several hundred meters from the ATLAS interaction point and shielded by concrete and rock, will host a suite of experiments to probe Standard Mod… ▽ More High energy collisions at the High-Luminosity Large Hadron Collider (LHC) produce a large number of particles along the beam collision axis, outside of the acceptance of existing LHC experiments. The proposed Forward Physics Facility (FPF), to be located several hundred meters from the ATLAS interaction point and shielded by concrete and rock, will host a suite of experiments to probe Standard Model (SM) processes and search for physics beyond the Standard Model (BSM). In this report, we review the status of the civil engineering plans and the experiments to explore the diverse physics signals that can be uniquely probed in the forward region. FPF experiments will be sensitive to a broad range of BSM physics through searches for new particle scattering or decay signatures and deviations from SM expectations in high statistics analyses with TeV neutrinos in this low-background environment. High statistics neutrino detection will also provide valuable data for fundamental topics in perturbative and non-perturbative QCD and in weak interactions. Experiments at the FPF will enable synergies between forward particle production at the LHC and astroparticle physics to be exploited. We report here on these physics topics, on infrastructure, detector, and simulation studies, and on future directions to realize the FPF's physics potential. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Comments: 429 pages, contribution to Snowmass 2021

Report number: UCI-TR-2022-01, CERN-PBC-Notes-2022-001, FERMILAB-PUB-22-094-ND-SCD-T, INT-PUB-22-006, BONN-TH-2022-04

NL-Augmenter: A Framework for Task-Sensitive Natural Language Augmentation

Authors: Kaustubh D. Dhole, Varun Gangal, Sebastian Gehrmann, Aadesh Gupta, Zhenhao Li, Saad Mahamood, Abinaya Mahendiran, Simon Mille, Ashish Shrivastava, Samson Tan, Tongshuang Wu, Jascha Sohl-Dickstein, Jinho D. Choi, Eduard Hovy, Ondrej Dusek, Sebastian Ruder, Sajant Anand, Nagender Aneja, Rabin Banjade, Lisa Barthe, Hanna Behnke, Ian Berlot-Attwell, Connor Boyle, Caroline Brun, Marco Antonio Sobrevilla Cabezudo , et al. (101 additional authors not shown)

Abstract: Data augmentation is an important component in the robustness evaluation of models in natural language processing (NLP) and in enhancing the diversity of the data they are trained on. In this paper, we present NL-Augmenter, a new participatory Python-based natural language augmentation framework which supports the creation of both transformations (modifications to the data) and filters (data split… ▽ More Data augmentation is an important component in the robustness evaluation of models in natural language processing (NLP) and in enhancing the diversity of the data they are trained on. In this paper, we present NL-Augmenter, a new participatory Python-based natural language augmentation framework which supports the creation of both transformations (modifications to the data) and filters (data splits according to specific features). We describe the framework and an initial set of 117 transformations and 23 filters for a variety of natural language tasks. We demonstrate the efficacy of NL-Augmenter by using several of its transformations to analyze the robustness of popular natural language models. The infrastructure, datacards and robustness analysis results are available publicly on the NL-Augmenter repository (https://github.com/GEM-benchmark/NL-Augmenter). △ Less

Submitted 11 October, 2022; v1 submitted 5 December, 2021; originally announced December 2021.

Comments: 39 pages, repository at https://github.com/GEM-benchmark/NL-Augmenter

A Validated Privacy-Utility Preserving Recommendation System with Local Differential Privacy

Authors: Seryne Rahali, Maryline Laurent, Souha Masmoudi, Charles Roux, Brice Mazeau

Abstract: This paper proposes a new recommendation system preserving both privacy and utility. It relies on the local differential privacy (LDP) for the browsing user to transmit his noisy preference profile, as perturbed Bloom filters, to the service provider. The originality of the approach is multifold. First, as far as we know, the approach is the first one including at the user side two perturbation ro… ▽ More This paper proposes a new recommendation system preserving both privacy and utility. It relies on the local differential privacy (LDP) for the browsing user to transmit his noisy preference profile, as perturbed Bloom filters, to the service provider. The originality of the approach is multifold. First, as far as we know, the approach is the first one including at the user side two perturbation rounds - PRR (Permanent Randomized Response) and IRR (Instantaneous Randomized Response) - over a complete user profile. Second, a full validation experimentation chain is set up, with a machine learning decoding algorithm based on neural network or XGBoost for decoding the perturbed Bloom filters and the clustering Kmeans tool for clustering users. Third, extensive experiments show that our method achieves good utility-privacy trade-off, i.e. a 90$\%$ clustering success rate, resp. 80.3$\%$ for a value of LDP $ε= 0.8$, resp. $ε= 2$. Fourth, an experimental and theoretical analysis gives concrete results on the resistance of our approach to the plausible deniability and resistance against averaging attacks. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Comments: Accepted for publication in the 15th IEEE International Conference on Big Data Science and Engineering (BigDataSE 2021)

Steady-state Real-time Optimization Using Transient Measurements on an Experimental Rig

Authors: J. Matias, J. P. C. Oliveira, G. A. C. Le Roux, J. Jaschke

Abstract: Real-time optimization with persistent parameter adaptation (ROPA) is an RTO approach, where the steady-state model parameters are updated dynamically using transient measurements. Consequently, we avoid waiting for a steady-state before triggering the optimization cycle, and the steady-state economic optimization can be scheduled at any desired rate. The steady-state wait has been recognized as a… ▽ More Real-time optimization with persistent parameter adaptation (ROPA) is an RTO approach, where the steady-state model parameters are updated dynamically using transient measurements. Consequently, we avoid waiting for a steady-state before triggering the optimization cycle, and the steady-state economic optimization can be scheduled at any desired rate. The steady-state wait has been recognized as a fundamental limitation of the traditional RTO approach. In this paper, we implement ROPA on an experimental rig that emulates a subsea oil well network. For comparison, we also implement traditional and dynamic RTO. The experimental results confirm the in-silico findings that ROPA's performance is similar to dynamic RTO's performance with a much lower computational cost. Finally, we present some guidelines for ROPA's practical implementation. △ Less

Submitted 2 September, 2021; originally announced September 2021.

MSC Class: 93-05

Journal ref: Journal of Process Control Volume 2022, 115, Pages 181-196

Efficient Online-Bandit Strategies for Minimax Learning Problems

Authors: Christophe Roux, Elias Wirth, Sebastian Pokutta, Thomas Kerdreux

Abstract: Several learning problems involve solving min-max problems, e.g., empirical distributional robust learning or learning with non-standard aggregated losses. More specifically, these problems are convex-linear problems where the minimization is carried out over the model parameters $w\in\mathcal{W}$ and the maximization over the empirical distribution $p\in\mathcal{K}$ of the training set indexes, w… ▽ More Several learning problems involve solving min-max problems, e.g., empirical distributional robust learning or learning with non-standard aggregated losses. More specifically, these problems are convex-linear problems where the minimization is carried out over the model parameters $w\in\mathcal{W}$ and the maximization over the empirical distribution $p\in\mathcal{K}$ of the training set indexes, where $\mathcal{K}$ is the simplex or a subset of it. To design efficient methods, we let an online learning algorithm play against a (combinatorial) bandit algorithm. We argue that the efficiency of such approaches critically depends on the structure of $\mathcal{K}$ and propose two properties of $\mathcal{K}$ that facilitate designing efficient algorithms. We focus on a specific family of sets $\mathcal{S}_{n,k}$ encompassing various learning applications and provide high-probability convergence guarantees to the minimax values. △ Less

Submitted 4 June, 2021; v1 submitted 28 May, 2021; originally announced May 2021.

Formal Methods for the Informal Engineer: Workshop Recommendations

Authors: Gopal Sarma, James Koppel, Gregory Malecha, Patrick Schultz, Eric Drexler, Ramana Kumar, Cody Roux, Philip Zucker

Abstract: Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biomedical software ecosystem. The motivation for organizing FMIE was the recognition that the life sciences and medicine are undergoing a transition from being passive consumers of software and AI/ML technologies to fundame… ▽ More Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biomedical software ecosystem. The motivation for organizing FMIE was the recognition that the life sciences and medicine are undergoing a transition from being passive consumers of software and AI/ML technologies to fundamental drivers of new platforms, including those which will need to be mission and safety-critical. Drawing on conversations leading up to and during the workshop, we make five concrete recommendations to help software leaders organically incorporate tools, techniques, and perspectives from formal methods into their project planning and development trajectories. △ Less

Submitted 1 April, 2021; originally announced April 2021.

Comments: 6 pages

Linear Bandits on Uniformly Convex Sets

Authors: Thomas Kerdreux, Christophe Roux, Alexandre d'Aspremont, Sebastian Pokutta

Abstract: Linear bandit algorithms yield $\tilde{\mathcal{O}}(n\sqrt{T})$ pseudo-regret bounds on compact convex action sets $\mathcal{K}\subset\mathbb{R}^n$ and two types of structural assumptions lead to better pseudo-regret bounds. When $\mathcal{K}$ is the simplex or an $\ell_p$ ball with $p\in]1,2]$, there exist bandits algorithms with $\tilde{\mathcal{O}}(\sqrt{nT})$ pseudo-regret bounds. Here, we der… ▽ More Linear bandit algorithms yield $\tilde{\mathcal{O}}(n\sqrt{T})$ pseudo-regret bounds on compact convex action sets $\mathcal{K}\subset\mathbb{R}^n$ and two types of structural assumptions lead to better pseudo-regret bounds. When $\mathcal{K}$ is the simplex or an $\ell_p$ ball with $p\in]1,2]$, there exist bandits algorithms with $\tilde{\mathcal{O}}(\sqrt{nT})$ pseudo-regret bounds. Here, we derive bandit algorithms for some strongly convex sets beyond $\ell_p$ balls that enjoy pseudo-regret bounds of $\tilde{\mathcal{O}}(\sqrt{nT})$, which answers an open question from [BCB12, §5.5.]. Interestingly, when the action set is uniformly convex but not necessarily strongly convex, we obtain pseudo-regret bounds with a dimension dependency smaller than $\mathcal{O}(\sqrt{n})$. However, this comes at the expense of asymptotic rates in $T$ varying between $\tilde{\mathcal{O}}(\sqrt{T})$ and $\tilde{\mathcal{O}}(T)$. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Understanding the $K^*/K$ ratio in heavy ion collisions

Authors: C. Le Roux, F. S. Navarra, L. M. Abreu

Abstract: We study the $K^*$ meson dissociation in heavy ion collisions during the hadron gas phase. We use the production and absorption cross sections of the $K^*$ and $K$ mesons in a hadron gas, which were calculated in a previous work. We compute the time evolution of the $K^*$ abundance and the $K^* /K$ ratio during the hadron gas phase. Assuming a Bjorken type cooling and using an empirical relation b… ▽ More We study the $K^*$ meson dissociation in heavy ion collisions during the hadron gas phase. We use the production and absorption cross sections of the $K^*$ and $K$ mesons in a hadron gas, which were calculated in a previous work. We compute the time evolution of the $K^*$ abundance and the $K^* /K$ ratio during the hadron gas phase. Assuming a Bjorken type cooling and using an empirical relation between the freeze-out temperature and the central multiplicity density, we are able to write $K^* /K$ as a function of ($ dN /d η(η=0)$). The obtained function is in very good agreement with recent experimental data. △ Less

Submitted 18 January, 2021; originally announced January 2021.

Comments: 9 pages, 5 figures

Machine Translation of Restaurant Reviews: New Corpus for Domain Adaptation and Robustness

Authors: Alexandre Bérard, Ioan Calapodescu, Marc Dymetman, Claude Roux, Jean-Luc Meunier, Vassilina Nikoulina

Abstract: We share a French-English parallel corpus of Foursquare restaurant reviews (https://europe.naverlabs.com/research/natural-language-processing/machine-translation-of-restaurant-reviews), and define a new task to encourage research on Neural Machine Translation robustness and domain adaptation, in a real-world scenario where better-quality MT would be greatly beneficial. We discuss the challenges of… ▽ More We share a French-English parallel corpus of Foursquare restaurant reviews (https://europe.naverlabs.com/research/natural-language-processing/machine-translation-of-restaurant-reviews), and define a new task to encourage research on Neural Machine Translation robustness and domain adaptation, in a real-world scenario where better-quality MT would be greatly beneficial. We discuss the challenges of such user-generated content, and train good baseline models that build upon the latest techniques for MT robustness. We also perform an extensive evaluation (automatic and human) that shows significant improvements over existing online systems. Finally, we propose task-specific metrics based on sentiment analysis or translation accuracy of domain-specific polysemous words. △ Less

Submitted 31 October, 2019; originally announced October 2019.

Comments: WNGT 2019 Paper

Naver Labs Europe's Systems for the WMT19 Machine Translation Robustness Task

Authors: Alexandre Bérard, Ioan Calapodescu, Claude Roux

Abstract: This paper describes the systems that we submitted to the WMT19 Machine Translation robustness task. This task aims to improve MT's robustness to noise found on social media, like informal language, spelling mistakes and other orthographic variations. The organizers provide parallel data extracted from a social media website in two language pairs: French-English and Japanese-English (in both trans… ▽ More This paper describes the systems that we submitted to the WMT19 Machine Translation robustness task. This task aims to improve MT's robustness to noise found on social media, like informal language, spelling mistakes and other orthographic variations. The organizers provide parallel data extracted from a social media website in two language pairs: French-English and Japanese-English (in both translation directions). The goal is to obtain the best scores on unseen test sets from the same source, according to automatic metrics (BLEU) and human evaluation. We proposed one single and one ensemble system for each translation direction. Our ensemble models ranked first in all language pairs, according to BLEU evaluation. We discuss the pre-processing choices that we made, and present our solutions for robustness to noise and domain adaptation. △ Less

Submitted 15 July, 2019; originally announced July 2019.

Comments: WMT 2019 - Shared Task Paper

Elaboration in Dependent Type Theory

Authors: Leonardo de Moura, Jeremy Avigad, Soonho Kong, Cody Roux

Abstract: To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a co… ▽ More To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean's elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. △ Less

Submitted 17 December, 2015; v1 submitted 16 May, 2015; originally announced May 2015.

A heuristic prover for real inequalities

Authors: Jeremy Avigad, Robert Y. Lewis, Cody Roux

Abstract: We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-styl… ▽ More We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method works well on a variety of examples, and complements techniques that are used by contemporary interactive provers. △ Less

Submitted 4 January, 2016; v1 submitted 16 April, 2014; originally announced April 2014.

ACM Class: I.1.2; G.4; F.2.1

The trap design of PENTATRAP

Authors: C. Roux, Ch. Böhm, A. Dörr, S. Eliseev, S. George, Yu. Novikov, J. Repp, S. Sturm, S. Ulmer, K. Blaum

Abstract: A novel Penning trap tower consisting of five compensated cylindrical Penning traps is developed for the PENTATRAP mass spectrometer at the Max-Planck-Institut für Kernphysik in Heidelberg, Germany. An analytical expression for the electrostatic potential inside the trap tower is derived to calculate standard Penning trap properties like the compensation of anharmonicities and an orthogonal geomet… ▽ More A novel Penning trap tower consisting of five compensated cylindrical Penning traps is developed for the PENTATRAP mass spectrometer at the Max-Planck-Institut für Kernphysik in Heidelberg, Germany. An analytical expression for the electrostatic potential inside the trap tower is derived to calculate standard Penning trap properties like the compensation of anharmonicities and an orthogonal geometry of the trap electrodes. Since the PENTATRAP project described in the preceding article aims for ultra high-precision mass-ratio measurements of highly charged ions up to uranium, systematic effects for highly charged ions inside the trap tower are considered for the design process as well. Finally, a limit due to remaining anharmonic shifts at large amplitudes is estimated for the resulting geometry, which is important for phase-sensitive measurements of the reduced cyclotron frequency of the ions. △ Less

Submitted 13 October, 2011; originally announced October 2011.

PENTATRAP: A novel cryogenic multi-Penning trap experiment for high-precision mass measurements on highly charged ions

Authors: J. Repp, Ch. Böhm, J. R. Crespo López-Urrutia, A. Dörr, S. Eliseev, S. George, M. Goncharov, Yu. N. Novikov, C. Roux, S. Sturm, S. Ulmer, K. Blaum

Abstract: The novel five-Penning trap mass spectrometer PENTATRAP is developed at the Max-Planck-Institut für Kernphysik (MPIK), Heidelberg. Ions of interest are long-lived highly charged nuclides up to bare uranium. PENTATRAP aims for an accuracy of a few parts in 10^12 for mass ratios of mass doublets. A physics program for PENTATRAP includes Q-values measurements of β-transitions relevant for neutrino ph… ▽ More The novel five-Penning trap mass spectrometer PENTATRAP is developed at the Max-Planck-Institut für Kernphysik (MPIK), Heidelberg. Ions of interest are long-lived highly charged nuclides up to bare uranium. PENTATRAP aims for an accuracy of a few parts in 10^12 for mass ratios of mass doublets. A physics program for PENTATRAP includes Q-values measurements of β-transitions relevant for neutrino physics, stringent tests of quantum electrodynamics in the regime of extreme electric fields, and a test of special relativity. Main features of PENTATRAP are an access to a source of highly charged ions, a multi-trap configuration, simultaneous measurements of frequencies, a continuous precise monitoring of magnetic field fluctuations, a fast exchange between different ions, and a highly sensitive cryogenic non-destructive detection system. This paper gives a motivation for the new mass spectrometer PENTATRAP, presents its experimental setup, and describes the present status. △ Less

Submitted 13 October, 2011; originally announced October 2011.

Refinement Types as Higher Order Dependency Pairs

Authors: Cody Roux

Abstract: Refinement types are a well-studied manner of performing in-depth analysis on functional programs. The dependency pair method is a very powerful method used to prove termination of rewrite systems; however its extension to higher order rewrite systems is still the object of active research. We observe that a variant of refinement types allow us to express a form of higher-order dependency pair cri… ▽ More Refinement types are a well-studied manner of performing in-depth analysis on functional programs. The dependency pair method is a very powerful method used to prove termination of rewrite systems; however its extension to higher order rewrite systems is still the object of active research. We observe that a variant of refinement types allow us to express a form of higher-order dependency pair criterion that only uses information at the type level, and we prove the correctness of this criterion. △ Less

Submitted 24 January, 2011; v1 submitted 5 January, 2011; originally announced January 2011.

Effect of vortices on the spin-flip lifetime of atoms in superconducting atom-chips

Authors: Gilles Nogues, Cédric Roux, Thomas Nirrengarten, Adrian Lupascu, Andreas Emmert, Michel Brune, Jean-Michel Raimond, Serge Haroche, Bernard Placais, Jean-Jacques Greffet

Abstract: We study theoretically the lifetime of magnetically trapped atoms in the close vicinity of a type-II superconducting surface, in the context of superconducting atom-chips. We account for the magnetic noise created at the cloud position by the vortices present in the superconductor and give specific results for our experiment which uses a niobium film. Our main result is that atom losses are domi… ▽ More We study theoretically the lifetime of magnetically trapped atoms in the close vicinity of a type-II superconducting surface, in the context of superconducting atom-chips. We account for the magnetic noise created at the cloud position by the vortices present in the superconductor and give specific results for our experiment which uses a niobium film. Our main result is that atom losses are dominated by the presence of vortices. They remain however dramatically smaller than in equivalent room-temperature atom-chip setups using normal metals. △ Less

Submitted 21 July, 2009; originally announced July 2009.

Comments: accepted for publication in EPL on June 25 2009

On the relation between size-based termination and semantic labelling

Authors: Frédéric Blanqui, Cody Roux

Abstract: We investigate the relationship between two independently developed termination techniques. On the one hand, sized-types based termination (SBT) uses types annotated with size expressions and Girard's reducibility candidates, and applies on systems using constructor matching only. On the other hand, semantic labelling transforms a rewrite system by annotating each function symbol with the semant… ▽ More We investigate the relationship between two independently developed termination techniques. On the one hand, sized-types based termination (SBT) uses types annotated with size expressions and Girard's reducibility candidates, and applies on systems using constructor matching only. On the other hand, semantic labelling transforms a rewrite system by annotating each function symbol with the semantics of its arguments, and applies to any rewrite system. First, we introduce a simplified version of SBT for the simply-typed lambda-calculus. Then, we give new proofs of the correctness of SBT using semantic labelling, both in the first and in the higher-order case. As a consequence, we show that SBT can be extended to systems using matching on defined symbols (e.g. associative functions). △ Less

Submitted 23 June, 2009; originally announced June 2009.

Journal ref: 18th EACSL Annual Conference on Computer Science Logic (2009)

TER: A Robot for Remote Ultrasonic Examination: Experimental Evaluations

Authors: Jean-Jacques Banihachemi, Eric Boidard, Jean-Luc Bosson, Luc Bressollette, Ivan Bricault, Philippe Cinquin, Gilbert Ferretti, Maud Marchal, Thomas Martinelli, Alexandre Moreau-Gaudry, Franck Pelissier, Christian Roux, Dominique Saragaglia, Pierre Thorel, Jocelyne Troccaz, Adriana Vilchis

Abstract: This chapter: o Motivates the clinical use of robotic tele-echography o Introduces the TER system o Describes technical and clinical evaluations performed with TER This chapter: o Motivates the clinical use of robotic tele-echography o Introduces the TER system o Describes technical and clinical evaluations performed with TER △ Less

Submitted 28 January, 2008; originally announced January 2008.

Journal ref: Telesurgery, Springer Verlag (Ed.) (2008) 91-99

Bose-Einstein condensation on a superconducting atom chip

Authors: C. Roux, A. Emmert, A. Lupascu, T. Nirrengarten, G. Nogues, M. Brune, J. -M. Raimond, S. Haroche

Abstract: We have produced a Bose-Einstein condensate (BEC) on an atom chip using only superconducting wires in a cryogenic environment. We observe the onset of condensation for 10^4 atoms at a temperature of 100 nK. This result opens the way for studies of atom losses and decoherence in a BEC interacting with a superconducting surface. Studies of dipole-blockade with long-lived Rydberg atoms in a small a… ▽ More We have produced a Bose-Einstein condensate (BEC) on an atom chip using only superconducting wires in a cryogenic environment. We observe the onset of condensation for 10^4 atoms at a temperature of 100 nK. This result opens the way for studies of atom losses and decoherence in a BEC interacting with a superconducting surface. Studies of dipole-blockade with long-lived Rydberg atoms in a small and dense atomic sample are underway. △ Less

Submitted 23 January, 2008; originally announced January 2008.

Comments: 4 pages, 4 figures. Accepted for publication in Europhysics Letters

Realization of a superconducting atom chip

Authors: Thomas Nirrengarten, Angie Qarry, Cédric Roux, Andreas Emmert, Gilles Nogues, Michel Brune, Jean-Michel Raimond, Serge Haroche

Abstract: We have trapped rubidium atoms in the magnetic field produced by a superconducting atom chip operated at liquid Helium temperatures. Up to $8.2\cdot 10^5$ atoms are held in a Ioffe-Pritchard trap at a distance of 440 $μ$m from the chip surface, with a temperature of 40 $μ$K. The trap lifetime reaches 115 s at low atomic densities. These results open the way to the exploration of atom--surface in… ▽ More We have trapped rubidium atoms in the magnetic field produced by a superconducting atom chip operated at liquid Helium temperatures. Up to $8.2\cdot 10^5$ atoms are held in a Ioffe-Pritchard trap at a distance of 440 $μ$m from the chip surface, with a temperature of 40 $μ$K. The trap lifetime reaches 115 s at low atomic densities. These results open the way to the exploration of atom--surface interactions and coherent atomic transport in a superconducting environment, whose properties are radically different from normal metals at room temperature. △ Less

Submitted 9 October, 2006; v1 submitted 3 October, 2006; originally announced October 2006.

Comments: Submitted to Phys. Rev. Lett

Journal ref: Physical review letters 97 (17/11/2006) 200405

Enriching a Text by Semantic Disambiguation for Information Extraction

Authors: Bernard Jacquemin, Caroline Brun, Claude Roux

Abstract: External linguistic resources have been used for a very long time in information extraction. These methods enrich a document with data that are semantically equivalent, in order to improve recall. For instance, some of these methods use synonym dictionaries. These dictionaries enrich a sentence with words that have a similar meaning. However, these methods present some serious drawbacks, since w… ▽ More External linguistic resources have been used for a very long time in information extraction. These methods enrich a document with data that are semantically equivalent, in order to improve recall. For instance, some of these methods use synonym dictionaries. These dictionaries enrich a sentence with words that have a similar meaning. However, these methods present some serious drawbacks, since words are usually synonyms only in restricted contexts. The method we propose here consists of using word sense disambiguation rules (WSD) to restrict the selection of synonyms to only these that match a specific syntactico-semantic context. We show how WSD rules are built and how information extraction techniques can benefit from the application of these rules. △ Less

Submitted 12 June, 2005; originally announced June 2005.

Comments: 7 pp

ACM Class: H.3; H.4; H.5

Journal ref: LREC 2002 Workshop Proceedings "Using semantics for informaiton retrival and filtering" (2002) 45-51