-
The PLATO Mission
Authors:
Heike Rauer,
Conny Aerts,
Juan Cabrera,
Magali Deleuil,
Anders Erikson,
Laurent Gizon,
Mariejo Goupil,
Ana Heras,
Jose Lorenzo-Alvarez,
Filippo Marliani,
Cesar Martin-Garcia,
J. Miguel Mas-Hesse,
Laurence O'Rourke,
Hugh Osborn,
Isabella Pagano,
Giampaolo Piotto,
Don Pollacco,
Roberto Ragazzoni,
Gavin Ramsay,
Stéphane Udry,
Thierry Appourchaux,
Willy Benz,
Alexis Brandeker,
Manuel Güdel,
Eduardo Janot-Pacheco
, et al. (801 additional authors not shown)
Abstract:
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati…
▽ More
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution.
The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
The AI Collaborator: Bridging Human-AI Interaction in Educational and Professional Settings
Authors:
Mohammad Amin Samadi,
Spencer JaQuay,
**g Gu,
Nia Nixon
Abstract:
AI Collaborator, powered by OpenAI's GPT-4, is a groundbreaking tool designed for human-AI collaboration research. Its standout feature is the ability for researchers to create customized AI personas for diverse experimental setups using a user-friendly interface. This functionality is essential for simulating various interpersonal dynamics in team settings. AI Collaborator excels in mimicking dif…
▽ More
AI Collaborator, powered by OpenAI's GPT-4, is a groundbreaking tool designed for human-AI collaboration research. Its standout feature is the ability for researchers to create customized AI personas for diverse experimental setups using a user-friendly interface. This functionality is essential for simulating various interpersonal dynamics in team settings. AI Collaborator excels in mimicking different team behaviors, enabled by its advanced memory system and a sophisticated personality framework. Researchers can tailor AI personas along a spectrum from dominant to cooperative, enhancing the study of their impact on team processes. The tool's modular design facilitates integration with digital platforms like Slack, making it versatile for various research scenarios. AI Collaborator is thus a crucial resource for exploring human-AI team dynamics more profoundly.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
SAFE-RL: Saliency-Aware Counterfactual Explainer for Deep Reinforcement Learning Policies
Authors:
Amir Samadi,
Konstantinos Koufos,
Kurt Debattista,
Mehrdad Dianati
Abstract:
While Deep Reinforcement Learning (DRL) has emerged as a promising solution for intricate control tasks, the lack of explainability of the learned policies impedes its uptake in safety-critical applications, such as automated driving systems (ADS). Counterfactual (CF) explanations have recently gained prominence for their ability to interpret black-box Deep Learning (DL) models. CF examples are as…
▽ More
While Deep Reinforcement Learning (DRL) has emerged as a promising solution for intricate control tasks, the lack of explainability of the learned policies impedes its uptake in safety-critical applications, such as automated driving systems (ADS). Counterfactual (CF) explanations have recently gained prominence for their ability to interpret black-box Deep Learning (DL) models. CF examples are associated with minimal changes in the input, resulting in a complementary output by the DL model. Finding such alternations, particularly for high-dimensional visual inputs, poses significant challenges. Besides, the temporal dependency introduced by the reliance of the DRL agent action on a history of past state observations further complicates the generation of CF examples. To address these challenges, we propose using a saliency map to identify the most influential input pixels across the sequence of past observed states by the agent. Then, we feed this map to a deep generative model, enabling the generation of plausible CFs with constrained modifications centred on the salient regions. We evaluate the effectiveness of our framework in diverse domains, including ADS, Atari Pong, Pacman and space-invaders games, using traditional performance metrics such as validity, proximity and sparsity. Experimental results demonstrate that this framework generates more informative and plausible CFs than the state-of-the-art for a wide range of environments and DRL agents. In order to foster research in this area, we have made our datasets and codes publicly available at https://github.com/Amir-Samadi/SAFE-RL.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Taming Transformers for Realistic Lidar Point Cloud Generation
Authors:
Hamed Haghighi,
Amir Samadi,
Mehrdad Dianati,
Valentina Donzella,
Kurt Debattista
Abstract:
Diffusion Models (DMs) have achieved State-Of-The-Art (SOTA) results in the Lidar point cloud generation task, benefiting from their stable training and iterative refinement during sampling. However, DMs often fail to realistically model Lidar raydrop noise due to their inherent denoising process. To retain the strength of iterative sampling while enhancing the generation of raydrop noise, we intr…
▽ More
Diffusion Models (DMs) have achieved State-Of-The-Art (SOTA) results in the Lidar point cloud generation task, benefiting from their stable training and iterative refinement during sampling. However, DMs often fail to realistically model Lidar raydrop noise due to their inherent denoising process. To retain the strength of iterative sampling while enhancing the generation of raydrop noise, we introduce LidarGRIT, a generative model that uses auto-regressive transformers to iteratively sample the range images in the latent space rather than image space. Furthermore, LidarGRIT utilises VQ-VAE to separately decode range images and raydrop masks. Our results show that LidarGRIT achieves superior performance compared to SOTA models on KITTI-360 and KITTI odometry datasets. Code available at:https://github.com/hamedhaghighi/LidarGRIT.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
A Novel Deep Neural Network for Trajectory Prediction in Automated Vehicles Using Velocity Vector Field
Authors:
MReza Alipour Sormoli,
Amir Samadi,
Sajjad Mozaffari,
Konstantinos Koufos,
Mehrdad Dianati,
Roger Woodman
Abstract:
Anticipating the motion of other road users is crucial for automated driving systems (ADS), as it enables safe and informed downstream decision-making and motion planning. Unfortunately, contemporary learning-based approaches for motion prediction exhibit significant performance degradation as the prediction horizon increases or the observation window decreases. This paper proposes a novel techniq…
▽ More
Anticipating the motion of other road users is crucial for automated driving systems (ADS), as it enables safe and informed downstream decision-making and motion planning. Unfortunately, contemporary learning-based approaches for motion prediction exhibit significant performance degradation as the prediction horizon increases or the observation window decreases. This paper proposes a novel technique for trajectory prediction that combines a data-driven learning-based method with a velocity vector field (VVF) generated from a nature-inspired concept, i.e., fluid flow dynamics. In this work, the vector field is incorporated as an additional input to a convolutional-recurrent deep neural network to help predict the most likely future trajectories given a sequence of bird's eye view scene representations. The performance of the proposed model is compared with state-of-the-art methods on the HighD dataset demonstrating that the VVF inclusion improves the prediction accuracy for both short and long-term (5~sec) time horizons. It is also shown that the accuracy remains consistent with decreasing observation windows which alleviates the requirement of a long history of past observations for accurate trajectory prediction. Source codes are available at: https://github.com/Amir-Samadi/VVF-TP.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
SAFE: Saliency-Aware Counterfactual Explanations for DNN-based Automated Driving Systems
Authors:
Amir Samadi,
Amir Shirian,
Konstantinos Koufos,
Kurt Debattista,
Mehrdad Dianati
Abstract:
A CF explainer identifies the minimum modifications in the input that would alter the model's output to its complement. In other words, a CF explainer computes the minimum modifications required to cross the model's decision boundary. Current deep generative CF models often work with user-selected features rather than focusing on the discriminative features of the black-box model. Consequently, su…
▽ More
A CF explainer identifies the minimum modifications in the input that would alter the model's output to its complement. In other words, a CF explainer computes the minimum modifications required to cross the model's decision boundary. Current deep generative CF models often work with user-selected features rather than focusing on the discriminative features of the black-box model. Consequently, such CF examples may not necessarily lie near the decision boundary, thereby contradicting the definition of CFs. To address this issue, we propose in this paper a novel approach that leverages saliency maps to generate more informative CF explanations. Source codes are available at: https://github.com/Amir-Samadi//Saliency_Aware_CF.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Counterfactual Explainer Framework for Deep Reinforcement Learning Models Using Policy Distillation
Authors:
Amir Samadi,
Konstantinos Koufos,
Kurt Debattista,
Mehrdad Dianati
Abstract:
Deep Reinforcement Learning (DRL) has demonstrated promising capability in solving complex control problems. However, DRL applications in safety-critical systems are hindered by the inherent lack of robust verification techniques to assure their performance in such applications. One of the key requirements of the verification process is the development of effective techniques to explain the system…
▽ More
Deep Reinforcement Learning (DRL) has demonstrated promising capability in solving complex control problems. However, DRL applications in safety-critical systems are hindered by the inherent lack of robust verification techniques to assure their performance in such applications. One of the key requirements of the verification process is the development of effective techniques to explain the system functionality, i.e., why the system produces specific results in given circumstances. Recently, interpretation methods based on the Counterfactual (CF) explanation approach have been proposed to address the problem of explanation in DRLs. This paper proposes a novel CF explanation framework to explain the decisions made by a black-box DRL. To evaluate the efficacy of the proposed explanation framework, we carried out several experiments in the domains of automated driving systems and Atari Pong game. Our analysis demonstrates that the proposed framework generates plausible and meaningful explanations for various decisions made by deep underlying DRLs. Source codes are available at: \url{https://github.com/Amir-Samadi/Counterfactual-Explanation}
△ Less
Submitted 7 October, 2023; v1 submitted 25 May, 2023;
originally announced May 2023.
-
Attacks against Ranking Algorithms with Text Embeddings: a Case Study on Recruitment Algorithms
Authors:
Anahita Samadi,
Debapriya Banerjee,
Shirin Nilizadeh
Abstract:
Recently, some studies have shown that text classification tasks are vulnerable to poisoning and evasion attacks. However, little work has investigated attacks against decision making algorithms that use text embeddings, and their output is a ranking. In this paper, we focus on ranking algorithms for recruitment process, that employ text embeddings for ranking applicants resumes when compared to a…
▽ More
Recently, some studies have shown that text classification tasks are vulnerable to poisoning and evasion attacks. However, little work has investigated attacks against decision making algorithms that use text embeddings, and their output is a ranking. In this paper, we focus on ranking algorithms for recruitment process, that employ text embeddings for ranking applicants resumes when compared to a job description. We demonstrate both white box and black box attacks that identify text items, that based on their location in embedding space, have significant contribution in increasing the similarity score between a resume and a job description. The adversary then uses these text items to improve the ranking of their resume among others. We tested recruitment algorithms that use the similarity scores obtained from Universal Sentence Encoder (USE) and Term Frequency Inverse Document Frequency (TF IDF) vectors. Our results show that in both adversarial settings, on average the attacker is successful. We also found that attacks against TF IDF is more successful compared to USE.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Evaluating Sparse Interpretable Word Embeddings for Biomedical Domain
Authors:
Mohammad Amin Samadi,
Mohammad Sadegh Akhondzadeh,
Sayed Jalal Zahabi,
Mohammad Hossein Manshaei,
Zeinab Maleki,
Payman Adibi
Abstract:
Word embeddings have found their way into a wide range of natural language processing tasks including those in the biomedical domain. While these vector representations successfully capture semantic and syntactic word relations, hidden patterns and trends in the data, they fail to offer interpretability. Interpretability is a key means to justification which is an integral part when it comes to bi…
▽ More
Word embeddings have found their way into a wide range of natural language processing tasks including those in the biomedical domain. While these vector representations successfully capture semantic and syntactic word relations, hidden patterns and trends in the data, they fail to offer interpretability. Interpretability is a key means to justification which is an integral part when it comes to biomedical applications. We present an inclusive study on interpretability of word embeddings in the medical domain, focusing on the role of sparse methods. Qualitative and quantitative measurements and metrics for interpretability of word vector representations are provided. For the quantitative evaluation, we introduce an extensive categorized dataset that can be used to quantify interpretability based on category theory. Intrinsic and extrinsic evaluation of the studied methods are also presented. As for the latter, we propose datasets which can be utilized for effective extrinsic evaluation of word vectors in the biomedical domain. Based on our experiments, it is seen that sparse word vectors show far more interpretability while preserving the performance of their original vectors in downstream tasks.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
Multi-technique investigation of the binary fraction among A-F type candidate hybrid variable stars discovered by Kepler
Authors:
P. Lampens,
Y. Frémat,
L. Vermeylen,
Á. Sódor,
M. Skarka,
P. De Cat,
Zs. Bognár,
R. De Nutte,
L. Dumortier,
A. Escorza,
G. M. Oomen,
G. Van de Steene,
D. Kamath,
M. Laverick,
A. Samadi,
S. Triana,
H. Lehmann
Abstract:
Hundreds of candidate hybrid pulsators of intermediate type A-F were revealed by the recent space missions. Hybrid pulsators allow to study the full stellar interiors, where p- and g-modes are simultaneously excited. The true hybrid stars must be identified since other processes, due to stellar multiplicity or rotation, might explain the presence of (some) low frequencies observed in their periodo…
▽ More
Hundreds of candidate hybrid pulsators of intermediate type A-F were revealed by the recent space missions. Hybrid pulsators allow to study the full stellar interiors, where p- and g-modes are simultaneously excited. The true hybrid stars must be identified since other processes, due to stellar multiplicity or rotation, might explain the presence of (some) low frequencies observed in their periodograms. We measured the radial velocities of 50 candidate Delta Sct - Gamma Dor hybrid stars from the Kepler mission with the Hermes/Ace spectrographs over a span of months to years. We aim to derive the fraction of binary and multiple systems and to provide an independent and homogeneous determination of the atmospheric properties and vsini for all targets. The objective is to identify the physical cause of the low frequencies. We computed 1-D cross-correlation functions (CCFs) in order to find the best parameters in terms of the number of components, spectral type and vsini for each target. Radial velocities were measured from spectrum synthesis and by using a 2-D cross-correlation technique in the case of double- and triple-lined systems. Fundamental parameters were determined by fitting (composite) synthetic spectra to the normalised median spectra corrected for the appropriate Doppler shifts. We report on the analysis of 478 high-resolution Hermes and 41 Ace spectra of A/F-type candidate hybrid pulsators from the Kepler field. We determined their radial velocities, projected rotational velocities, atmospheric properties and classified our targets based on the shape of the CCFs and the temporal behaviour of the radial velocities. We derived orbital solutions for seven new systems. Three long-period preliminary orbital solutions are confirmed by a photometric time-delay analysis. Finally, we determined a global multiplicity fraction of 27% in our sample of candidate hybrid stars.
△ Less
Submitted 11 September, 2017;
originally announced September 2017.
-
Quantum Barro--Gordon Game in Monetary Economics
Authors:
Ali Hussein Samadi,
Afshin Montakhab,
Hussein Marzban,
Sakine Owjimehr
Abstract:
Classical game theory addresses decision problems in multi-agent environment where one rational agent's decision affects other agents' payoffs. Game theory has widespread application in economic, social and biological sciences. In recent years quantum versions of classical games have been proposed and studied. In this paper, we consider a quantum version of the classical Barro-Gordon game which ca…
▽ More
Classical game theory addresses decision problems in multi-agent environment where one rational agent's decision affects other agents' payoffs. Game theory has widespread application in economic, social and biological sciences. In recent years quantum versions of classical games have been proposed and studied. In this paper, we consider a quantum version of the classical Barro-Gordon game which captures the problem of time inconsistency in monetary economics. Such time inconsistency refers to the temptation of weak policy maker to implement high inflation when the public expects low inflation. The inconsistency arises when the public punishes the weak policy maker in the next cycle. We first present a quantum version of the Barro-Gordon game. Next, we show that in a particular case of the quantum game, time-consistent Nash equilibrium could be achieved when public expects low inflation, thus resolving the game.
△ Less
Submitted 10 August, 2017;
originally announced August 2017.