-
Threat analysis and adversarial model for Smart Grids
Authors:
Javier Sande Ríos,
Jesús Canal Sánchez,
Carmen Manzano Hernandez,
Sergio Pastrana
Abstract:
The power grid is a critical infrastructure that allows for the efficient and robust generation, transmission, delivery and consumption of electricity. In the recent years, the physical components have been equipped with computing and network devices, which optimizes the operation and maintenance of the grid. The cyber domain of this smart power grid opens a new plethora of threats, which adds to…
▽ More
The power grid is a critical infrastructure that allows for the efficient and robust generation, transmission, delivery and consumption of electricity. In the recent years, the physical components have been equipped with computing and network devices, which optimizes the operation and maintenance of the grid. The cyber domain of this smart power grid opens a new plethora of threats, which adds to classical threats on the physical domain. Accordingly, different stakeholders including regulation bodies, industry and academy, are making increasing efforts to provide security mechanisms to mitigate and reduce cyber-risks. Despite these efforts, there have been various cyberattacks that have affected the smart grid, leading in some cases to catastrophic consequences, showcasing that the industry might not be prepared for attacks from high profile adversaries. At the same time, recent work shows a lack of agreement among grid practitioners and academic experts on the feasibility and consequences of academic-proposed threats. This is in part due to inadequate simulation models which do not evaluate threats based on attackers full capabilities and goals. To address this gap, in this work we first analyze the main attack surfaces of the smart grid, and then conduct a threat analysis from the adversarial model perspective, including different levels of knowledge, goals, motivations and capabilities. To validate the model, we provide real-world examples of the potential capabilities by studying known vulnerabilities in critical components, and then analyzing existing cyber-attacks that have affected the smart grid, either directly or indirectly.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Contextual Moral Value Alignment Through Context-Based Aggregation
Authors:
Pierre Dognin,
Jesus Rios,
Ronny Luss,
Inkit Padhi,
Matthew D Riemer,
Miao Liu,
Prasanna Sattigeri,
Manish Nagireddy,
Kush R. Varshney,
Djallel Bouneffouf
Abstract:
Develo** value-aligned AI agents is a complex undertaking and an ongoing challenge in the field of AI. Specifically within the domain of Large Language Models (LLMs), the capability to consolidate multiple independently trained dialogue agents, each aligned with a distinct moral value, into a unified system that can adapt to and be aligned with multiple moral values is of paramount importance. I…
▽ More
Develo** value-aligned AI agents is a complex undertaking and an ongoing challenge in the field of AI. Specifically within the domain of Large Language Models (LLMs), the capability to consolidate multiple independently trained dialogue agents, each aligned with a distinct moral value, into a unified system that can adapt to and be aligned with multiple moral values is of paramount importance. In this paper, we propose a system that does contextual moral value alignment based on contextual aggregation. Here, aggregation is defined as the process of integrating a subset of LLM responses that are best suited to respond to a user input, taking into account features extracted from the user's input. The proposed system shows better results in term of alignment to human value compared to the state of the art.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations
Authors:
Swapnaja Achintalwar,
Ioana Baldini,
Djallel Bouneffouf,
Joan Byamugisha,
Maria Chang,
Pierre Dognin,
Eitan Farchi,
Ndivhuwo Makondo,
Aleksandra Mojsilovic,
Manish Nagireddy,
Karthikeyan Natesan Ramamurthy,
Inkit Padhi,
Orna Raz,
Jesus Rios,
Prasanna Sattigeri,
Moninder Singh,
Siphiwe Thwala,
Rosario A. Uceda-Sosa,
Kush R. Varshney
Abstract:
The alignment of large language models is usually done by model providers to add or control behaviors that are common or universally understood across use cases and contexts. In contrast, in this article, we present an approach and architecture that empowers application developers to tune a model to their particular values, social norms, laws and other regulations, and orchestrate between potentia…
▽ More
The alignment of large language models is usually done by model providers to add or control behaviors that are common or universally understood across use cases and contexts. In contrast, in this article, we present an approach and architecture that empowers application developers to tune a model to their particular values, social norms, laws and other regulations, and orchestrate between potentially conflicting requirements in context. We lay out three main components of such an Alignment Studio architecture: Framers, Instructors, and Auditors that work in concert to control the behavior of a language model. We illustrate this approach with a running example of aligning a company's internal-facing enterprise chatbot to its business conduct guidelines.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Forecasting Adversarial Actions Using Judgment Decomposition-Recomposition
Authors:
Yolanda Gomez,
Jesus Rios,
David Rios Insua,
Jose Vila
Abstract:
In domains such as homeland security, cybersecurity and competitive marketing, it is frequently the case that analysts need to forecast adversarial actions that impact the problem of interest. Standard structured expert judgement elicitation techniques may fall short as they do not explicitly take into account intentionality. We present a decomposition technique based on adversarial risk analysis…
▽ More
In domains such as homeland security, cybersecurity and competitive marketing, it is frequently the case that analysts need to forecast adversarial actions that impact the problem of interest. Standard structured expert judgement elicitation techniques may fall short as they do not explicitly take into account intentionality. We present a decomposition technique based on adversarial risk analysis followed by a behavioral recomposition using discrete choice models that facilitate such elicitation process and illustrate its performance through behavioral experiments.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
EUSO-SPB1 Mission and Science
Authors:
JEM-EUSO Collaboration,
:,
G. Abdellaoui,
S. Abe,
J. H. Adams. Jr.,
D. Allard,
G. Alonso,
L. Anchordoqui,
A. Anzalone,
E. Arnone,
K. Asano,
R. Attallah,
H. Attoui,
M. Ave Pernas,
R. Bachmann,
S. Bacholle,
M. Bagheri,
M. Bakiri,
J. Baláz,
D. Barghini,
S. Bartocci,
M. Battisti,
J. Bayer,
B. Beldjilali,
T. Belenguer
, et al. (271 additional authors not shown)
Abstract:
The Extreme Universe Space Observatory on a Super Pressure Balloon 1 (EUSO-SPB1) was launched in 2017 April from Wanaka, New Zealand. The plan of this mission of opportunity on a NASA super pressure balloon test flight was to circle the southern hemisphere. The primary scientific goal was to make the first observations of ultra-high-energy cosmic-ray extensive air showers (EASs) by looking down on…
▽ More
The Extreme Universe Space Observatory on a Super Pressure Balloon 1 (EUSO-SPB1) was launched in 2017 April from Wanaka, New Zealand. The plan of this mission of opportunity on a NASA super pressure balloon test flight was to circle the southern hemisphere. The primary scientific goal was to make the first observations of ultra-high-energy cosmic-ray extensive air showers (EASs) by looking down on the atmosphere with an ultraviolet (UV) fluorescence telescope from suborbital altitude (33~km). After 12~days and 4~hours aloft, the flight was terminated prematurely in the Pacific Ocean. Before the flight, the instrument was tested extensively in the West Desert of Utah, USA, with UV point sources and lasers. The test results indicated that the instrument had sensitivity to EASs of approximately 3 EeV. Simulations of the telescope system, telescope on time, and realized flight trajectory predicted an observation of about 1 event assuming clear sky conditions. The effects of high clouds were estimated to reduce this value by approximately a factor of 2. A manual search and a machine-learning-based search did not find any EAS signals in these data. Here we review the EUSO-SPB1 instrument and flight and the EAS search.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Developments and results in the context of the JEM-EUSO program obtained with the ESAF Simulation and Analysis Framework
Authors:
S. Abe,
J. H. Adams Jr.,
D. Allard,
P. Alldredge,
L. Anchordoqui,
A. Anzalone,
E. Arnone,
B. Baret,
D. Barghini,
M. Battisti,
J. Bayer,
R. Bellotti,
A. A. Belov,
M. Bertaina,
P. F. Bertone,
M. Bianciotto,
P. L. Biermann,
F. Bisconti,
C. Blaksley,
S. Blin-Bondil,
P. Bobik,
K. Bolmgren,
S. Briz,
J. Burton,
F. Cafagna
, et al. (150 additional authors not shown)
Abstract:
JEM--EUSO is an international program for the development of space-based Ultra-High Energy Cosmic Ray observatories. The program consists of a series of missions which are either under development or in the data analysis phase. All instruments are based on a wide-field-of-view telescope, which operates in the near-UV range, designed to detect the fluorescence light emitted by extensive air showers…
▽ More
JEM--EUSO is an international program for the development of space-based Ultra-High Energy Cosmic Ray observatories. The program consists of a series of missions which are either under development or in the data analysis phase. All instruments are based on a wide-field-of-view telescope, which operates in the near-UV range, designed to detect the fluorescence light emitted by extensive air showers in the atmosphere. We describe the simulation software ESAFin the framework of the JEM--EUSO program and explain the physical assumptions used. We present here the implementation of the JEM--EUSO, POEMMA, K--EUSO, TUS, Mini--EUSO, EUSO--SPB1 and EUSO--TA configurations in ESAF. For the first time ESAF simulation outputs are compared with experimental data.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Supervised Learning Based Real-Time Adaptive Beamforming On-board Multibeam Satellites
Authors:
Flor Ortiz,
Juan A. Vasquez-Peralvo,
Jorge Querol,
Eva Lagunas,
Jorge L. Gonzalez Rios,
Marcele O. K. Mendonca,
Luis Garces,
Victor Monzon Baeza,
Symeon Chatzinotas
Abstract:
Satellite communications (SatCom) are crucial for global connectivity, especially in the era of emerging technologies like 6G and narrowing the digital divide. Traditional SatCom systems struggle with efficient resource management due to static multibeam configurations, hindering quality of service (QoS) amidst dynamic traffic demands. This paper introduces an innovative solution - real-time adapt…
▽ More
Satellite communications (SatCom) are crucial for global connectivity, especially in the era of emerging technologies like 6G and narrowing the digital divide. Traditional SatCom systems struggle with efficient resource management due to static multibeam configurations, hindering quality of service (QoS) amidst dynamic traffic demands. This paper introduces an innovative solution - real-time adaptive beamforming on multibeam satellites with software-defined payloads in geostationary orbit (GEO). Utilizing a Direct Radiating Array (DRA) with circular polarization in the 17.7 - 20.2 GHz band, the paper outlines DRA design and a supervised learning-based algorithm for on-board beamforming. This adaptive approach not only meets precise beam projection needs but also dynamically adjusts beamwidth, minimizes sidelobe levels (SLL), and optimizes effective isotropic radiated power (EIRP).
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Overview of Use Cases in Single Channel Full Duplex Techniques for Satellite Communication
Authors:
Victor Monzon Baeza,
Steven Kisseleff,
Jorge Luis González Rios,
Juan Andrés Vasquez-Peralvo,
Carlos Mosquera,
Roberto López Valcarce,
Tomás Ramírez Parracho,
Pablo Losada Sanisidro,
Juan Carlos Merlano Duncan,
Symeon Chatzinotas
Abstract:
This paper provides an overview of the diverse range of applications and use cases for Single-Channel Full-Duplex (SCFD) techniques within the field of satellite communication. SCFD, allowing simultaneous transmission and reception on a single frequency channel, presents a transformative approach to enhancing satellite communication systems. We select eight potential use cases with the objective o…
▽ More
This paper provides an overview of the diverse range of applications and use cases for Single-Channel Full-Duplex (SCFD) techniques within the field of satellite communication. SCFD, allowing simultaneous transmission and reception on a single frequency channel, presents a transformative approach to enhancing satellite communication systems. We select eight potential use cases with the objective of highlighting the substantial potential of SCFD techniques in revolutionizing SatCom across a multitude of critical domains. In addition, preliminary results from the qualitative assessment are shown. This work is carried out within the European Space Agency (ESA) ongoing activity FDSAT: Single Channel Full Duplex Techniques for Satellite Communications.
△ Less
Submitted 29 September, 2023;
originally announced October 2023.
-
Harnessing Supervised Learning for Adaptive Beamforming in Multibeam Satellite Systems
Authors:
Flor Ortiz,
Juan A. Vasquez-Peralvo,
Jorge Querol,
Eva Lagunas,
Jorge L. Gonzalez Rios,
Luis Garces,
Victor Monzon-Baeza,
Symeon Chatzinotas
Abstract:
In today's ever-connected world, the demand for fast and widespread connectivity is insatiable, making multibeam satellite systems an indispensable pillar of modern telecommunications infrastructure. However, the evolving communication landscape necessitates a high degree of adaptability. This adaptability is particularly crucial for beamforming, as it enables the adjustment of peak throughput and…
▽ More
In today's ever-connected world, the demand for fast and widespread connectivity is insatiable, making multibeam satellite systems an indispensable pillar of modern telecommunications infrastructure. However, the evolving communication landscape necessitates a high degree of adaptability. This adaptability is particularly crucial for beamforming, as it enables the adjustment of peak throughput and beamwidth to meet fluctuating traffic demands by varying the beamwidth, side lobe level (SLL), and effective isotropic radiated power (EIRP). This paper introduces an innovative approach rooted in supervised learning to efficiently derive the requisite beamforming matrix, aligning it with system requirements. Significantly reducing computation time, this method is uniquely tailored for real-time adaptation, enhancing the agility and responsiveness of satellite multibeam systems. Exploiting the power of supervised learning, this research enables multibeam satellites to respond quickly and intelligently to changing communication needs, ultimately ensuring uninterrupted and optimized connectivity in a dynamic world.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Chatbots put to the test in math and logic problems: A preliminary comparison and assessment of ChatGPT-3.5, ChatGPT-4, and Google Bard
Authors:
Vagelis Plevris,
George Papazafeiropoulos,
Alejandro Jiménez Rios
Abstract:
A comparison between three chatbots which are based on large language models, namely ChatGPT-3.5, ChatGPT-4 and Google Bard is presented, focusing on their ability to give correct answers to mathematics and logic problems. In particular, we check their ability to Understand the problem at hand; Apply appropriate algorithms or methods for its solution; and Generate a coherent response and a correct…
▽ More
A comparison between three chatbots which are based on large language models, namely ChatGPT-3.5, ChatGPT-4 and Google Bard is presented, focusing on their ability to give correct answers to mathematics and logic problems. In particular, we check their ability to Understand the problem at hand; Apply appropriate algorithms or methods for its solution; and Generate a coherent response and a correct answer. We use 30 questions that are clear, without any ambiguities, fully described with plain text only, and have a unique, well defined correct answer. The questions are divided into two sets of 15 each. The questions of Set A are 15 "Original" problems that cannot be found online, while Set B contains 15 "Published" problems that one can find online, usually with their solution. Each question is posed three times to each chatbot. The answers are recorded and discussed, highlighting their strengths and weaknesses. It has been found that for straightforward arithmetic, algebraic expressions, or basic logic puzzles, chatbots may provide accurate solutions, although not in every attempt. However, for more complex mathematical problems or advanced logic tasks, their answers, although written in a usually "convincing" way, may not be reliable. Consistency is also an issue, as many times a chatbot will provide conflicting answers when given the same question more than once. A comparative quantitative evaluation of the three chatbots is made through scoring their final answers based on correctness. It was found that ChatGPT-4 outperforms ChatGPT-3.5 in both sets of questions. Bard comes third in the original questions of Set A, behind the other two chatbots, while it has the best performance (first place) in the published questions of Set B. This is probably because Bard has direct access to the internet, in contrast to ChatGPT chatbots which do not have any communication with the outside world.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Quasi-static Lineshape Theory for Rydberg Excitations
Authors:
Trevor Scheuing,
Jesús Pérez Ríos
Abstract:
This work presents a theoretical approach for lineshapes of Rydberg excitations. In particular, we introduce the quasi-static lineshape theory, leading to a methodic and general approach, and its validity is studied. Next, using $^{84}$Sr as a prototypical scenario, we discuss the role of the thermal atoms and core-perturber interactions, generally disregarded in Rydberg physics. Finally, we prese…
▽ More
This work presents a theoretical approach for lineshapes of Rydberg excitations. In particular, we introduce the quasi-static lineshape theory, leading to a methodic and general approach, and its validity is studied. Next, using $^{84}$Sr as a prototypical scenario, we discuss the role of the thermal atoms and core-perturber interactions, generally disregarded in Rydberg physics. Finally, we present a characterization of the role of Ryderg-core perturber interactions based on the density and principal quantum number that, beyond affecting the lineshape, could potentially apply to chemi-ionization reactions responsible for the decay or Rydberg atoms in high density media.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Joint Linear Precoding and DFT Beamforming Design for Massive MIMO Satellite Communication
Authors:
Vu Nguyen Ha,
Zaid Abdullah,
Geoffrey Eappen,
Juan Carlos Merlano Duncan,
Rakesh Palisetty,
Jorge Luis Gonzalez Rios,
Wallace Alves Martins,
Hong-Fu Chou,
Juan Andres Vasquez,
Luis Manuel Garces-Socarras,
Haythem Chaker,
Symeon Chatzinotas
Abstract:
This paper jointly designs linear precoding (LP) and codebook-based beamforming implemented in a satellite with massive multiple-input multiple-output (mMIMO) antenna technology. The codebook of beamforming weights is built using the columns of the discrete Fourier transform (DFT) matrix, and the resulting joint design maximizes the achievable throughput under limited transmission power. The corre…
▽ More
This paper jointly designs linear precoding (LP) and codebook-based beamforming implemented in a satellite with massive multiple-input multiple-output (mMIMO) antenna technology. The codebook of beamforming weights is built using the columns of the discrete Fourier transform (DFT) matrix, and the resulting joint design maximizes the achievable throughput under limited transmission power. The corresponding optimization problem is first formulated as a mixed integer non-linear programming (MINP). To adequately address this challenging problem, an efficient LP and DFT-based beamforming algorithm are developed by utilizing several optimization tools, such as the weighted minimum mean square error transformation, duality method, and Hungarian algorithm. In addition, a greedy algorithm is proposed for benchmarking. A complexity analysis of these solutions is provided along with a comprehensive set of Monte Carlo simulations demonstrating the efficiency of our proposed algorithms.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
The dynamics of a single trapped ion in a high density media: a stochastic approach
Authors:
Mateo Londoño,
Javier Madroñero,
Jesús Pérez Ríos
Abstract:
Based on the Langevin equation, a stochastic formulation is implemented to describe the dynamics of a trapped ion in a bath of ultracold atoms, including an excess of micromotion. The ion dynamics is described following a hybrid analytical-numerical approach in which the ion is treated as a classical impurity in a thermal bath. As a result, the ion energy's time evolution and distribution are deri…
▽ More
Based on the Langevin equation, a stochastic formulation is implemented to describe the dynamics of a trapped ion in a bath of ultracold atoms, including an excess of micromotion. The ion dynamics is described following a hybrid analytical-numerical approach in which the ion is treated as a classical impurity in a thermal bath. As a result, the ion energy's time evolution and distribution are derived from studying the sympathetic cooling process. Furthermore, the ion dynamics under different stochastic noise terms is also considered to gain information on the bath properties' role in the system's energy transfer processes. Finally, the results obtained from this formulation are contrasted with those obtained with a more traditional Monte Carlo approach.
△ Less
Submitted 25 April, 2022;
originally announced May 2022.
-
Fourier Representations for Black-Box Optimization over Categorical Variables
Authors:
Hamid Dadkhahi,
Jesus Rios,
Karthikeyan Shanmugam,
Payel Das
Abstract:
Optimization of real-world black-box functions defined over purely categorical variables is an active area of research. In particular, optimization and design of biological sequences with specific functional or structural properties have a profound impact in medicine, materials science, and biotechnology. Standalone search algorithms, such as simulated annealing (SA) and Monte Carlo tree search (M…
▽ More
Optimization of real-world black-box functions defined over purely categorical variables is an active area of research. In particular, optimization and design of biological sequences with specific functional or structural properties have a profound impact in medicine, materials science, and biotechnology. Standalone search algorithms, such as simulated annealing (SA) and Monte Carlo tree search (MCTS), are typically used for such optimization problems. In order to improve the performance and sample efficiency of such algorithms, we propose to use existing methods in conjunction with a surrogate model for the black-box evaluations over purely categorical variables. To this end, we present two different representations, a group-theoretic Fourier expansion and an abridged one-hot encoded Boolean Fourier expansion. To learn such representations, we consider two different settings to update our surrogate model. First, we utilize an adversarial online regression setting where Fourier characters of each representation are considered as experts and their respective coefficients are updated via an exponential weight update rule each time the black box is evaluated. Second, we consider a Bayesian setting where queries are selected via Thompson sampling and the posterior is updated via a sparse Bayesian regression model (over our proposed representation) with a regularized horseshoe prior. Numerical experiments over synthetic benchmarks as well as real-world RNA sequence optimization and design problems demonstrate the representational power of the proposed methods, which achieve competitive or superior performance compared to state-of-the-art counterparts, while improving the computation cost and/or sample efficiency, substantially.
△ Less
Submitted 24 February, 2022; v1 submitted 8 February, 2022;
originally announced February 2022.
-
JEM-EUSO Collaboration contributions to the 37th International Cosmic Ray Conference
Authors:
G. Abdellaoui,
S. Abe,
J. H. Adams Jr.,
D. Allard,
G. Alonso,
L. Anchordoqui,
A. Anzalone,
E. Arnone,
K. Asano,
R. Attallah,
H. Attoui,
M. Ave Pernas,
M. Bagheri,
J. Baláz,
M. Bakiri,
D. Barghini,
S. Bartocci,
M. Battisti,
J. Bayer,
B. Beldjilali,
T. Belenguer,
N. Belkhalfa,
R. Bellotti,
A. A. Belov,
K. Benmessai
, et al. (267 additional authors not shown)
Abstract:
Compilation of papers presented by the JEM-EUSO Collaboration at the 37th International Cosmic Ray Conference (ICRC), held on July 12-23, 2021 (online) in Berlin, Germany.
Compilation of papers presented by the JEM-EUSO Collaboration at the 37th International Cosmic Ray Conference (ICRC), held on July 12-23, 2021 (online) in Berlin, Germany.
△ Less
Submitted 28 January, 2022;
originally announced January 2022.
-
Spectroscopic characterization of the a$^3Π$ state of aluminum monofluoride
Authors:
Nicole Walter,
Maximilian Doppelbauer,
Silvio Marx,
Johannes Seifert,
Xiangyue Liu,
Jesús Pérez Ríos,
Boris Sartakov,
Stefan Truppe,
Gerard Meijer
Abstract:
Spectroscopic studies of aluminum monofluoride (AlF) have revealed its highly favorable properties for direct laser cooling. All $Q$ lines of the strong A$^1Π$ $\leftarrow$ X$^1Σ^+$ transition around 227~nm are rotationally closed and thereby suitable for the main cooling cycle. The same holds for the narrow, spin-forbidden a$^3Π$ $\leftarrow$ X$^1Σ^+$ transition around 367 nm which has a recoil l…
▽ More
Spectroscopic studies of aluminum monofluoride (AlF) have revealed its highly favorable properties for direct laser cooling. All $Q$ lines of the strong A$^1Π$ $\leftarrow$ X$^1Σ^+$ transition around 227~nm are rotationally closed and thereby suitable for the main cooling cycle. The same holds for the narrow, spin-forbidden a$^3Π$ $\leftarrow$ X$^1Σ^+$ transition around 367 nm which has a recoil limit in the micro Kelvin range.
We here report on the spectroscopic characterization of the lowest rotational levels in the a$^3Π$ state of AlF for $v=0-8$ using a jet-cooled, pulsed molecular beam. An accidental AC Stark shift is observed on the a$^3Π_0, v=4$ $\leftarrow$ X$^1Σ^+, v=4$ band. By using time-delayed ionization for state-selective detection of the molecules in the metastable a$^3Π$ state at different points along the molecular beam, the radiative lifetime of the a$^3Π_1, v=0, J=1$ level is experimentally determined as $τ=1.89 \pm 0.15$~ms. A laser/radio-frequency multiple resonance ionization scheme is employed to determine the hyperfine splittings in the a$^3Π_1, v=5$ level. The experimentally derived hyperfine parameters are compared to the outcome of quantum chemistry calculations. A spectral line with a width of 1.27 kHz is recorded between hyperfine levels in the a$^3Π, v=0$ state. These measurements benchmark the electronic potential of the a$^3Π$ state and yield accurate values for the photon scattering rate and for the elements of the Franck-Condon matrix of the a$^3Π$ $-$ X$^1Σ^+$ system.
△ Less
Submitted 16 February, 2022; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Predicting Crack Growth and Fatigue Life with Surrogate Models
Authors:
Simon Pfingstl,
Jose Ignacio Rios,
Horst Baier,
Markus Zimmermann
Abstract:
Fatigue-induced damage is still one of the most uncertain failures in structural systems. Prognostic health monitoring together with surrogate models can help to predict the fatigue life of a structure. This paper demonstrates how to combine data from previously observed crack evolutions with data from the currently observed structure in order to predict crack growth and the total fatigue life. We…
▽ More
Fatigue-induced damage is still one of the most uncertain failures in structural systems. Prognostic health monitoring together with surrogate models can help to predict the fatigue life of a structure. This paper demonstrates how to combine data from previously observed crack evolutions with data from the currently observed structure in order to predict crack growth and the total fatigue life. We show the application of one physics-based model, which is based on Paris' law, and four mathematical surrogate models: recurrent neural networks, Gaussian process regression, k-nearest neighbors, and support vector regression. For a coupon test, we predict the time to failure and the crack growth with confidence intervals. Moreover, we compare the performance of all proposed models by the mean absolute error, coefficient of determination, mean of log-likelihood, and their confidence intervals. The results show that the best mathematical surrogate models are Gaussian process regression and recurrent neural networks. Furthermore, this paper shows that the mathematical surrogate models tend to have conservative confidence intervals, whereas the physics-based model exhibits overly optimistic (too small) confidence intervals.
△ Less
Submitted 26 October, 2020; v1 submitted 5 August, 2020;
originally announced August 2020.
-
A Bayesian response-adaptive dose finding and comparative effectiveness trial
Authors:
Anna Heath,
Maryna Yaskina,
Petros Pechlivanoglou,
Juan David Rios,
Martin Offringa,
Terry P Klassen,
Naveen Poonai,
Eleanor Pullenayegum
Abstract:
Aims: Combinations of treatments can offer additional benefit over the treatments individually. However, trials of these combinations are lower priority than the development of novel therapies, which can restrict funding, timelines and patient availability. This paper develops a novel trial design to facilitate the evaluation of novel combination therapies that combines elements of phase II and ph…
▽ More
Aims: Combinations of treatments can offer additional benefit over the treatments individually. However, trials of these combinations are lower priority than the development of novel therapies, which can restrict funding, timelines and patient availability. This paper develops a novel trial design to facilitate the evaluation of novel combination therapies that combines elements of phase II and phase III trials. Methods: This trial uses response adaptive randomisation to increase the information collected about successful novel drug combinations and Bayesian dose-response modelling to undertake a comparative-effectiveness analysis for the most successful dose combination against a relevant comparator. We used simulation methods to evaluate the probability of selecting the correct optimal dose combination, the operating characteristics and predictive power of this design for a trial in pain management and sedation in paediatric emergency departments. Results: With 410 participants, 5 interim updates of the randomisation ratio and a probability of effectiveness of 0.93, 0.88 and 0.83 for the three dose combinations, we have an 83% chance of randomising the largest number of patients to the drug with the highest probability of effectiveness. Based on this adaptive randomisation procedure, the comparative effectiveness analysis has a type I error of less than 5% and a 93% chance of correctly concluding non-inferiority when the probability of effectiveness for the optimal combination therapy is 0.9. In this case, the trial has a 77% chance of meeting its dual aims of dose finding and comparative effectiveness. Finally, the Bayesian predictive power of the trial is over 90%. Conclusion: The proposed trial has high potential to meet the dual study objectives within a feasible level of recruitment, minimising the administrative burden and recruitment time for a trial.
△ Less
Submitted 8 September, 2020; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Combinatorial Black-Box Optimization with Expert Advice
Authors:
Hamid Dadkhahi,
Karthikeyan Shanmugam,
Jesus Rios,
Payel Das,
Samuel Hoffman,
Troy David Loeffler,
Subramanian Sankaranarayanan
Abstract:
We consider the problem of black-box function optimization over the boolean hypercube. Despite the vast literature on black-box function optimization over continuous domains, not much attention has been paid to learning models for optimization over combinatorial domains until recently. However, the computational complexity of the recently devised algorithms are prohibitive even for moderate number…
▽ More
We consider the problem of black-box function optimization over the boolean hypercube. Despite the vast literature on black-box function optimization over continuous domains, not much attention has been paid to learning models for optimization over combinatorial domains until recently. However, the computational complexity of the recently devised algorithms are prohibitive even for moderate numbers of variables; drawing one sample using the existing algorithms is more expensive than a function evaluation for many black-box functions of interest. To address this problem, we propose a computationally efficient model learning algorithm based on multilinear polynomials and exponential weight updates. In the proposed algorithm, we alternate between simulated annealing with respect to the current polynomial representation and updating the weights using monomial experts' advice. Numerical experiments on various datasets in both unconstrained and sum-constrained boolean optimization indicate the competitive performance of the proposed algorithm, while improving the computational time up to several orders of magnitude compared to state-of-the-art algorithms in the literature.
△ Less
Submitted 13 October, 2020; v1 submitted 6 June, 2020;
originally announced June 2020.
-
Contributions to the 36th International Cosmic Ray Conference (ICRC 2019) of the JEM-EUSO Collaboration
Authors:
G. Abdellaoui,
S. Abe,
J. H. Adams Jr.,
A. Ahriche,
D. Allard,
L. Allen,
G. Alonso,
L. Anchordoqui,
A. Anzalone,
Y. Arai,
K. Asano,
R. Attallah,
H. Attoui,
M. Ave Pernas,
S. Bacholle,
M. Bakiri,
P. Baragatti,
P. Barrillon,
S. Bartocci,
J. Bayer,
B. Beldjilali,
T. Belenguer,
N. Belkhalfa,
R. Bellotti,
A. Belov
, et al. (287 additional authors not shown)
Abstract:
Compilation of papers presented by the JEM-EUSO Collaboration at the 36th International Cosmic Ray Conference (ICRC), held July 24 through August 1, 2019 in Madison, Wisconsin.
Compilation of papers presented by the JEM-EUSO Collaboration at the 36th International Cosmic Ray Conference (ICRC), held July 24 through August 1, 2019 in Madison, Wisconsin.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Insider threat modeling: An adversarial risk analysis approach
Authors:
Chaitanya Joshi,
David Rios Insua,
Jesus Rios
Abstract:
Insider threats entail major security issues in geopolitics, cyber risk management and business organization. The game theoretic models proposed so far do not take into account some important factors such as the organisational culture and whether the attacker was detected or not. They also fail to model the defensive mechanisms already put in place by an organisation to mitigate an insider attack.…
▽ More
Insider threats entail major security issues in geopolitics, cyber risk management and business organization. The game theoretic models proposed so far do not take into account some important factors such as the organisational culture and whether the attacker was detected or not. They also fail to model the defensive mechanisms already put in place by an organisation to mitigate an insider attack. We propose two new models which incorporate these settings and hence are more realistic. %Most earlier work in the field has focused on %standard game theoretic approaches to find the solutions. We use the adversarial risk analysis (ARA) approach to find the solution to our models. ARA does not assume common knowledge and solves the problem from the point of view of one of the players, taking into account their knowledge and uncertainties regarding the choices available to them, to their adversaries, the possible outcomes, their utilities and their opponents' utilities. Our models and the ARA solutions are general and can be applied to most insider threat scenarios. A data security example illustrates the discussion.
△ Less
Submitted 22 November, 2019;
originally announced November 2019.
-
Accelerating Physics-Based Simulations Using Neural Network Proxies: An Application in Oil Reservoir Modeling
Authors:
Jiri Navratil,
Alan King,
Jesus Rios,
Georgios Kollias,
Ruben Torrado,
Andres Codas
Abstract:
We develop a proxy model based on deep learning methods to accelerate the simulations of oil reservoirs--by three orders of magnitude--compared to industry-strength physics-based PDE solvers. This paper describes a new architectural approach to this task, accompanied by a thorough experimental evaluation on a publicly available reservoir model. We demonstrate that in a practical setting a speedup…
▽ More
We develop a proxy model based on deep learning methods to accelerate the simulations of oil reservoirs--by three orders of magnitude--compared to industry-strength physics-based PDE solvers. This paper describes a new architectural approach to this task, accompanied by a thorough experimental evaluation on a publicly available reservoir model. We demonstrate that in a practical setting a speedup of more than 2000X can be achieved with an average sequence error of about 10\% relative to the oil-field simulator. The proxy model is contrasted with a high-quality physics-based acceleration baseline and is shown to outperform it by several orders of magnitude. We believe the outcomes presented here are extremely promising and offer a valuable benchmark for continuing research in oil field development optimization. Due to its domain-agnostic architecture, the presented approach can be extended to many applications beyond the field of oil and gas exploration.
△ Less
Submitted 23 May, 2019;
originally announced June 2019.
-
A Methodology for Using GitLab for Software Engineering Learning Analytics
Authors:
Julio César Cortés Ríos,
Kamilla Kopec-Harding,
Sukru Eraslan,
Christopher Page,
Robert Haines,
Caroline Jay,
Suzanne M. Embury
Abstract:
To bridge the digital skills gap, we need to train more people in Software Engineering techniques. This paper reports on a project exploring the way students solve tasks using collaborative development platforms and version control systems, such as GitLab, to find patterns and evaluation metrics that can be used to improve the course content and reflect on the most common issues the students are f…
▽ More
To bridge the digital skills gap, we need to train more people in Software Engineering techniques. This paper reports on a project exploring the way students solve tasks using collaborative development platforms and version control systems, such as GitLab, to find patterns and evaluation metrics that can be used to improve the course content and reflect on the most common issues the students are facing. In this paper, we explore Learning Analytics approaches that can be used with GitLab and similar tools, and discuss the challenges raised when applying those approaches in Software Engineering Education, with the objective of building a pipeline that supports the full Learning Analytics cycle, from data extraction to data analysis. We focus in particular on the data anonymisation step of the proposed pipeline to explore the available alternatives to satisfy the data protection requirements when handling personal information in academic environments for research purposes.
△ Less
Submitted 15 March, 2019;
originally announced March 2019.
-
ABMS of social network based on affinity
Authors:
Juan Camilo Ramírez de los Rios,
Paula Alejandra Escudero Marín,
María Camila Vásquez-Correa
Abstract:
An agent-based model is proposed for analyzing the dynamics that arise from interactions within social networks, analyzing the individual behavior of each profile. Said model considers a simplified construction of a social network while satisfying properties attributed to this type of systems. For that matter, previously established studies on the matter are taken into account, while including eac…
▽ More
An agent-based model is proposed for analyzing the dynamics that arise from interactions within social networks, analyzing the individual behavior of each profile. Said model considers a simplified construction of a social network while satisfying properties attributed to this type of systems. For that matter, previously established studies on the matter are taken into account, while including each profiles preferences, and how they evolve with time, for the system's dynamic behavior. Results are analyzed based on concepts like the emergence of clusters, the polarization of the network and the homogeneity of preferences between connected profiles; and how they may depend on the characteristics of the profiles and of the network.
△ Less
Submitted 28 February, 2019;
originally announced March 2019.
-
Extreme events in forced oscillatory media in 0, 1 and 2 dimensions
Authors:
S. Barland,
M. Brambilla,
L. Columbo,
B. Garbin,
C. J. Gibson,
M. Giudici,
F. Gustave,
C. Masoller,
G. -L. Oppo,
F. Prati,
C. Rimoldi,
J. R. Rios,
J. R. Tredicce,
G. Tissoni,
P. Walczak,
A. M. Yao,
J. Zamora-Munt
Abstract:
One of the open questions in the field of optical rogue waves is the relevance of the number of spatial dimensions in which waves propagate. Here we review recent results on extreme events obtained in 0, 1 and 2 spatial dimensions in the specific context of forced oscillatory media. We show that some dynamical scenarii can be relevant from 0 to 2D while others can take place only in sufficiently l…
▽ More
One of the open questions in the field of optical rogue waves is the relevance of the number of spatial dimensions in which waves propagate. Here we review recent results on extreme events obtained in 0, 1 and 2 spatial dimensions in the specific context of forced oscillatory media. We show that some dynamical scenarii can be relevant from 0 to 2D while others can take place only in sufficiently large number of spatial dimensions.
△ Less
Submitted 30 January, 2019;
originally announced January 2019.
-
First observations of speed of light tracks by a fluorescence detector looking down on the atmosphere
Authors:
G. Abdellaoui,
S. Abe,
J. H. Adams Jr.,
A. Ahriche,
D. Allard,
L. Allen,
G. Alonso,
L. Anchordoqui,
A. Anzalone,
Y. Arai,
K. Asano,
R. Attallah,
H. Attoui,
M. Ave Pernas,
S. Bacholle,
M. Bakiri,
P. Baragatti,
P. Barrillon,
S. Bartocci,
J. Bayer,
B. Beldjilali,
T. Belenguer,
N. Belkhalfa,
R. Bellotti,
A. Belov
, et al. (289 additional authors not shown)
Abstract:
EUSO-Balloon is a pathfinder mission for the Extreme Universe Space Observatory onboard the Japanese Experiment Module (JEM-EUSO). It was launched on the moonless night of the 25$^{th}$ of August 2014 from Timmins, Canada. The flight ended successfully after maintaining the target altitude of 38 km for five hours. One part of the mission was a 2.5 hour underflight using a helicopter equipped with…
▽ More
EUSO-Balloon is a pathfinder mission for the Extreme Universe Space Observatory onboard the Japanese Experiment Module (JEM-EUSO). It was launched on the moonless night of the 25$^{th}$ of August 2014 from Timmins, Canada. The flight ended successfully after maintaining the target altitude of 38 km for five hours. One part of the mission was a 2.5 hour underflight using a helicopter equipped with three UV light sources (LED, xenon flasher and laser) to perform an inflight calibration and examine the detectors capability to measure tracks moving at the speed of light. We describe the helicopter laser system and details of the underflight as well as how the laser tracks were recorded and found in the data. These are the first recorded laser tracks measured from a fluorescence detector looking down on the atmosphere. Finally, we present a first reconstruction of the direction of the laser tracks relative to the detector.
△ Less
Submitted 7 August, 2018;
originally announced August 2018.
-
Matricial Closure
Authors:
Frank Murphy-Hernandez,
Francisco Raggi,
Jose Rios
Abstract:
In this paper we build, for any natural $n$, a closure operator relative to the $n-$matrix endofunctor over the category of rings with $1$. We analyze which properties are invariant under this operator. This operator tends to be decisive, in the sense that the operator preserves the property or loses the property for all rings.
In this paper we build, for any natural $n$, a closure operator relative to the $n-$matrix endofunctor over the category of rings with $1$. We analyze which properties are invariant under this operator. This operator tends to be decisive, in the sense that the operator preserves the property or loses the property for all rings.
△ Less
Submitted 8 May, 2018;
originally announced May 2018.
-
Classes of Preradicals Induced by Relative Injectivity
Authors:
Frank Murphy-Hernandez,
Jose Ríos
Abstract:
In this work is presented a weakened version of the left exact preradicals: the prehereditary preradicals. Also is presented a weakened version of the idempotent preradicals: the essentially idempotent preradicals. These new classes of prerradicals are studied under the lattice theory. Each class serves to generalize the theorems of the injectivity respect to a torsion theory.
In this work is presented a weakened version of the left exact preradicals: the prehereditary preradicals. Also is presented a weakened version of the idempotent preradicals: the essentially idempotent preradicals. These new classes of prerradicals are studied under the lattice theory. Each class serves to generalize the theorems of the injectivity respect to a torsion theory.
△ Less
Submitted 5 November, 2015; v1 submitted 4 November, 2015;
originally announced November 2015.
-
Design of the Front End Electronics for the Infrared Camera of JEM-EUSO, and manufacturing and verification of the prototype model
Authors:
Oscar Maroto,
Laura Díez-Merino,
Jordi Carbonell,
Albert Tomàs,
Marcos Reyes,
Enrique Joven,
Yolanda Martín,
J. A. Morales de los Ríos,
Luis Del Peral,
M. D. Rodríguez Frías
Abstract:
The Japanese Experiment Module (JEM) Extreme Universe Space Observatory (EUSO) will be launched and attached to the Japanese module of the International Space Station (ISS). Its aim is to observe UV photon tracks produced by ultra-high energy cosmic rays develo** in the atmosphere and producing extensive air showers.
The key element of the instrument is a very wide-field, very fast, large-lens…
▽ More
The Japanese Experiment Module (JEM) Extreme Universe Space Observatory (EUSO) will be launched and attached to the Japanese module of the International Space Station (ISS). Its aim is to observe UV photon tracks produced by ultra-high energy cosmic rays develo** in the atmosphere and producing extensive air showers.
The key element of the instrument is a very wide-field, very fast, large-lense telescope that can detect extreme energy particles with energy above $10^{19}$ eV. The Atmospheric Monitoring System (AMS), comprising, among others, the Infrared Camera (IRCAM), which is the Spanish contribution, plays a fundamental role in the understanding of the atmospheric conditions in the Field of View (FoV) of the telescope. It is used to detect the temperature of clouds and to obtain the cloud coverage and cloud top altitude during the observation period of the JEM-EUSO main instrument. SENER is responsible for the preliminary design of the Front End Electronics (FEE) of the Infrared Camera, based on an uncooled microbolometer, and the manufacturing and verification of the prototype model. This paper describes the flight design drivers and key factors to achieve the target features, namely, detector biasing with electrical noise better than $100 μ$V from $1$ Hz to $10$ MHz, temperature control of the microbolometer, from $10^{\circ}$C to $40^{\circ}$C with stability better than $10$ mK over $4.8$ hours, low noise high bandwidth amplifier adaptation of the microbolometer output to differential input before analog to digital conversion, housekee** generation, microbolometer control, and image accumulation for noise reduction.
△ Less
Submitted 25 January, 2015;
originally announced January 2015.
-
Thin and thick cloud top height retrieval algorithm with the Infrared Camera and LIDAR of the JEM-EUSO Space Mission
Authors:
G. Sáez-Cano,
J. A. Morales de los Ríos,
L. del Peral,
A. Neronov,
S. Wada,
M. D. Rodríguez Frías
Abstract:
The origin of cosmic rays have remained a mistery for more than a century. JEM-EUSO is a pioneer space-based telescope that will be located at the International Space Station (ISS) and its aim is to detect Ultra High Energy Cosmic Rays (UHECR) and Extremely High Energy Cosmic Rays (EHECR) by observing the atmosphere. Unlike ground-based telescopes, JEM-EUSO will observe from upwards, and therefore…
▽ More
The origin of cosmic rays have remained a mistery for more than a century. JEM-EUSO is a pioneer space-based telescope that will be located at the International Space Station (ISS) and its aim is to detect Ultra High Energy Cosmic Rays (UHECR) and Extremely High Energy Cosmic Rays (EHECR) by observing the atmosphere. Unlike ground-based telescopes, JEM-EUSO will observe from upwards, and therefore, for a properly UHECR reconstruction under cloudy conditions, a key element of JEM-EUSO is an Atmospheric Monitoring System (AMS). This AMS consists of a space qualified bi-spectral Infrared Camera, that will provide the cloud coverage and cloud top height in the JEM-EUSO Field of View (FoV) and a LIDAR, that will measure the atmospheric optical depth in the direction it has been shot. In this paper we will explain the effects of clouds for the determination of the UHECR arrival direction. Moreover, since the cloud top height retrieval is crucial to analyze the UHECR and EHECR events under cloudy conditions, the retrieval algorithm that fulfills the technical requierements of the Infrared Camera of JEM-EUSO to reconstruct the cloud top height is presently reported.
△ Less
Submitted 20 January, 2015;
originally announced January 2015.
-
An evaluation of the exposure in nadir observation of the JEM-EUSO mission
Authors:
J. H. Adams,
S. Ahmad,
J. -N. Albert,
D. Allard,
M. Ambrosio,
L. Anchordoqui,
A. Anzalone,
Y. Arai,
C. Aramo,
K. Asano,
M. Ave,
P. Barrillon,
T. Batsch,
J. Bayer,
T. Belenguer,
R. Bellotti,
A. A. Berlind,
M. Bertaina,
P. L. Biermann,
S. Biktemerova,
C. Blaksley,
J. Blecki,
S. Blin-Bondil,
J. Bluemer,
P. Bobik
, et al. (236 additional authors not shown)
Abstract:
We evaluate the exposure during nadir observations with JEM-EUSO, the Extreme Universe Space Observatory, on-board the Japanese Experiment Module of the International Space Station. Designed as a mission to explore the extreme energy Universe from space, JEM-EUSO will monitor the Earth's nighttime atmosphere to record the ultraviolet light from tracks generated by extensive air showers initiated b…
▽ More
We evaluate the exposure during nadir observations with JEM-EUSO, the Extreme Universe Space Observatory, on-board the Japanese Experiment Module of the International Space Station. Designed as a mission to explore the extreme energy Universe from space, JEM-EUSO will monitor the Earth's nighttime atmosphere to record the ultraviolet light from tracks generated by extensive air showers initiated by ultra-high energy cosmic rays. In the present work, we discuss the particularities of space-based observation and we compute the annual exposure in nadir observation. The results are based on studies of the expected trigger aperture and observational duty cycle, as well as, on the investigations of the effects of clouds and different types of background light. We show that the annual exposure is about one order of magnitude higher than those of the presently operating ground-based observatories.
△ Less
Submitted 11 May, 2013;
originally announced May 2013.
-
The JEM-EUSO Mission: Status and Prospects in 2011
Authors:
The JEM-EUSO Collaboration,
:,
J. H. Adams Jr,
S. Ahmad,
J. -N. Albert,
D. Allard,
M. Ambrosio,
L. Anchordoqui,
A. Anzalone,
Y. Arai,
C. Aramo,
K. Asano,
P. Barrillon,
T. Batsch,
J. Bayer,
T. Belenguer,
R. Bellotti,
A. A. Berlind,
M. Bertaina,
P. L. Biermann,
S. Biktemerova,
C. Blaksley,
J. Blecki,
S. Blin-Bondil,
J. Bluemer
, et al. (235 additional authors not shown)
Abstract:
Contributions of the JEM-EUSO Collaboration to the 32nd International Cosmic Ray Conference, Bei**g, August, 2011.
Contributions of the JEM-EUSO Collaboration to the 32nd International Cosmic Ray Conference, Bei**g, August, 2011.
△ Less
Submitted 23 April, 2012;
originally announced April 2012.