-
Issues and Their Causes in WebAssembly Applications: An Empirical Study
Authors:
Muhammad Waseem,
Teerath Das,
Aakash Ahmad,
Peng Liang,
Tommi Mikkonen
Abstract:
WebAssembly (Wasm) is a binary instruction format designed for secure and efficient execution within sandboxed environments -- predominantly web apps and browsers -- to facilitate performance, security, and flexibility of web programming languages. In recent years, Wasm has gained significant attention from the academic research community and industrial development projects to engineer high-perfor…
▽ More
WebAssembly (Wasm) is a binary instruction format designed for secure and efficient execution within sandboxed environments -- predominantly web apps and browsers -- to facilitate performance, security, and flexibility of web programming languages. In recent years, Wasm has gained significant attention from the academic research community and industrial development projects to engineer high-performance web applications. Despite the offered benefits, developers encounter a multitude of issues rooted in Wasm (e.g., faults, errors, failures) and are often unaware of their root causes that impact the development of web applications. To this end, we conducted an empirical study that mines and documents practitioners' knowledge expressed as 385 issues from 12 open-source Wasm projects deployed on GitHub and 354 question-answer posts via Stack Overflow. Overall, we identified 120 types of issues, which were categorized into 19 subcategories and 9 categories to create a taxonomical classification of issues encountered in Wasm-based applications. Furthermore, root cause analysis of the issues helped us identify 278 types of causes, which have been categorized into 29 subcategories and 10 categories as a taxonomy of causes. Our study led to first-of-its-kind taxonomies of the issues faced by developers and their underlying causes in Wasm-based applications. The issue-cause taxonomies -- identified from GitHub and SO, offering empirically derived guidelines -- can guide researchers and practitioners to design, develop, and refactor Wasm-based applications.
△ Less
Submitted 9 April, 2024; v1 submitted 1 November, 2023;
originally announced November 2023.
-
Magnetotransport in spin-orbit coupled noncentrosymmetric and Weyl metals
Authors:
Gautham Varma K,
Azaz Ahmad,
Sumanta Tewari,
G. Sharma
Abstract:
Recently, chiral anomaly (CA) has been proposed to occur in spin-orbit coupled noncentrosymmetric metals (SOC-NCMs), motivating CA to be a Fermi surface property rather than a Weyl node property. Although the nature of the anomaly is similar in both SOC-NCMs and Weyl systems, here we point out significant fundamental differences between the two. We show that the different nature of the orbital mag…
▽ More
Recently, chiral anomaly (CA) has been proposed to occur in spin-orbit coupled noncentrosymmetric metals (SOC-NCMs), motivating CA to be a Fermi surface property rather than a Weyl node property. Although the nature of the anomaly is similar in both SOC-NCMs and Weyl systems, here we point out significant fundamental differences between the two. We show that the different nature of the orbital magnetic moment (OMM) in the two systems leads to non-trivial consequences -- particularly the sign of the longitudinal magnetoconductance always remains positive in a SOC non-centrosymmetric metal, unlike a Weyl metal that displays either sign. Furthermore,we investigate the planar Hall effect and the geometrical contribution to the Hall effect in the two systems and point out significant differences in the two systems. We conduct our analysis for magnetic and non-magnetic impurities, making our study important in light of current and upcoming experiments in both SOC-NCMs and Weyl metals.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Datastore Design for Analysis of Police Broadcast Audio at Scale
Authors:
Ayah Ahmad,
Christopher Graziul,
Margaret Beale Spencer
Abstract:
With policing coming under greater scrutiny in recent years, researchers have begun to more thoroughly study the effects of contact between police and minority communities. Despite data archives of hundreds of thousands of recorded Broadcast Police Communications (BPC) being openly available to the public, a closer look at a large-scale analysis of the language of policing has remained largely une…
▽ More
With policing coming under greater scrutiny in recent years, researchers have begun to more thoroughly study the effects of contact between police and minority communities. Despite data archives of hundreds of thousands of recorded Broadcast Police Communications (BPC) being openly available to the public, a closer look at a large-scale analysis of the language of policing has remained largely unexplored. While this research is critical in understanding a "pre-reflective" notion of policing, the large quantity of data presents numerous challenges in its organization and analysis.
In this paper, we describe preliminary work towards enabling Speech Emotion Recognition (SER) in an analysis of the Chicago Police Department's (CPD) BPC by demonstrating the pipelined creation of a datastore to enable a multimodal analysis of composed raw audio files.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
The Teenager's Problem: Efficient Garment Decluttering With Grasp Optimization
Authors:
Aviv Adler,
Ayah Ahmad,
Shengyin Wang,
Wisdom C. Agboh,
Edith Llontop,
Tianshuang Qiu,
Jeffrey Ichnowski,
Mehmet Dogar,
Thomas Kollar,
Richard Cheng,
Ken Goldberg
Abstract:
This paper addresses the ''Teenager's Problem'': efficiently removing scattered garments from a planar surface. As grasping and transporting individual garments is highly inefficient, we propose analytical policies to select grasp locations for multiple garments using an overhead camera. Two classes of methods are considered: depth-based, which use overhead depth data to find efficient grasps, and…
▽ More
This paper addresses the ''Teenager's Problem'': efficiently removing scattered garments from a planar surface. As grasping and transporting individual garments is highly inefficient, we propose analytical policies to select grasp locations for multiple garments using an overhead camera. Two classes of methods are considered: depth-based, which use overhead depth data to find efficient grasps, and segment-based, which use segmentation on the RGB overhead image (without requiring any depth data); grasp efficiency is measured by Objects per Transport, which denotes the average number of objects removed per trip to the laundry basket. Experiments suggest that both depth- and segment-based methods easily reduce Objects per Transport (OpT) by $20\%$; furthermore, these approaches complement each other, with combined hybrid methods yielding improvements of $34\%$. Finally, a method employing consolidation (with segmentation) is considered, which manipulates the garments on the work surface to increase OpT; this yields an improvement of $67\%$ over the baseline, though at a cost of additional physical actions.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
ChatGPT as a Software Development Bot: A Project-based Study
Authors:
Muhammad Waseem,
Teerath Das,
Aakash Ahmad,
Peng Liang,
Mahdi Fehmideh,
Tommi Mikkonen
Abstract:
Artificial Intelligence has demonstrated its significance in software engineering through notable improvements in productivity, accuracy, collaboration, and learning outcomes. This study examines the impact of generative AI tools, specifically ChatGPT, on the software development experiences of undergraduate students. Over a three-month project with seven students, ChatGPT was used as a support to…
▽ More
Artificial Intelligence has demonstrated its significance in software engineering through notable improvements in productivity, accuracy, collaboration, and learning outcomes. This study examines the impact of generative AI tools, specifically ChatGPT, on the software development experiences of undergraduate students. Over a three-month project with seven students, ChatGPT was used as a support tool. The research focused on assessing ChatGPT's effectiveness, benefits, limitations, and its influence on learning. Results showed that ChatGPT significantly addresses skill gaps in software development education, enhancing efficiency, accuracy, and collaboration. It also improved participants' fundamental understanding and soft skills. The study highlights the importance of incorporating AI tools like ChatGPT in education to bridge skill gaps and increase productivity, but stresses the need for a balanced approach to technology use. Future research should focus on optimizing ChatGPT's application in various development contexts to maximize learning and address specific challenges.
△ Less
Submitted 22 February, 2024; v1 submitted 20 October, 2023;
originally announced October 2023.
-
The birth and early evolution of a low mass protostar
Authors:
Adnan Ali Ahmad,
Matthias González,
Patrick Hennebelle,
Benoît Commerçon
Abstract:
Understanding the collapse of dense molecular cloud cores to stellar densities and the subsequent evolution of the protostar is of importance to model the feedback effects such an object has on its surrounding environment, as well as describing the conditions with which it enters the stellar evolutionary track. This process is fundamentally multi-scale and necessitates the use of robust numerical…
▽ More
Understanding the collapse of dense molecular cloud cores to stellar densities and the subsequent evolution of the protostar is of importance to model the feedback effects such an object has on its surrounding environment, as well as describing the conditions with which it enters the stellar evolutionary track. This process is fundamentally multi-scale and necessitates the use of robust numerical simulations. We aim to model the birth and early evolution of a low-mass protostar. We also seek to describe the interior structure of the protostar and the radiative behavior of its accretion shock front. We carry out a high resolution numerical simulation of the collapse of a gravitationally unstable $1$ $\mathrm{M_{\odot}}$ dense molecular cloud core to stellar densities using three-dimensional radiation hydrodynamics under the gray flux-limited diffusion approximation. We follow the initial isothermal phase, the first adiabatic contraction, the second gravitational collapse triggered by the dissociation of $\mathrm{H}_{2}$ molecules, and $\approx 247$ days of the subsequent main accretion phase. We find that the sub-critical radiative behavior of the protostar's shock front causes it to swell as it accretes matter. We also find that the protostar is turbulent from the moment of its inception despite its radiative stability. This turbulence causes significant entropy mixing inside the protostar, which regulates the swelling. Furthermore, we find that the protostar is not fully ionized at birth, but the relative amount of ionized material within it increases as it accretes matter from its surroundings. Finally, we report in the appendix the results of the first 3D calculations involving a frequency-dependent treatment of radiative transfer, which has not produced any major differences with its gray counterpart.
△ Less
Submitted 6 October, 2023; v1 submitted 2 October, 2023;
originally announced October 2023.
-
Classification of Potholes Based on Surface Area Using Pre-Trained Models of Convolutional Neural Network
Authors:
Chauhdary Fazeel Ahmad,
Abdullah Cheema,
Waqas Qayyum,
Rana Ehtisham,
Muhammad Haroon Yousaf,
Junaid Mir,
Nasim Shakouri Mahmoudabadi,
Afaq Ahmad
Abstract:
Potholes are fatal and can cause severe damage to vehicles as well as can cause deadly accidents. In South Asian countries, pavement distresses are the primary cause due to poor subgrade conditions, lack of subsurface drainage, and excessive rainfalls. The present research compares the performance of three pre-trained Convolutional Neural Network (CNN) models, i.e., ResNet 50, ResNet 18, and Mobil…
▽ More
Potholes are fatal and can cause severe damage to vehicles as well as can cause deadly accidents. In South Asian countries, pavement distresses are the primary cause due to poor subgrade conditions, lack of subsurface drainage, and excessive rainfalls. The present research compares the performance of three pre-trained Convolutional Neural Network (CNN) models, i.e., ResNet 50, ResNet 18, and MobileNet. At first, pavement images are classified to find whether images contain potholes, i.e., Potholes or Normal. Secondly, pavements images are classi-fied into three categories, i.e., Small Pothole, Large Pothole, and Normal. Pavement images are taken from 3.5 feet (waist height) and 2 feet. MobileNet v2 has an accuracy of 98% for detecting a pothole. The classification of images taken at the height of 2 feet has an accuracy value of 87.33%, 88.67%, and 92% for classifying the large, small, and normal pavement, respectively. Similarly, the classification of the images taken from full of waist (FFW) height has an accuracy value of 98.67%, 98.67%, and 100%.
△ Less
Submitted 29 September, 2023;
originally announced September 2023.
-
Unraveling Forward and Backward Source Problems for a Nonlocal Integrodifferential Equation: A Journey through Operational Calculus for Dzherbashian-Nersesian Operator
Authors:
Anwar Ahmad,
Muhammad Ali,
Salman A. Malik
Abstract:
This article primarily aims at introducing a novel operational calculus of Mikusiński's type for the Dzherbashian-Nersesian operator. Using this calculus, we are able to derive exact solutions for the forward and backward source problems (BSPs) of a differential equation that features Dzherbashian-Nersesian operator in time and intertwined with nonlocal boundary conditions. The initial condition i…
▽ More
This article primarily aims at introducing a novel operational calculus of Mikusiński's type for the Dzherbashian-Nersesian operator. Using this calculus, we are able to derive exact solutions for the forward and backward source problems (BSPs) of a differential equation that features Dzherbashian-Nersesian operator in time and intertwined with nonlocal boundary conditions. The initial condition is expressed in terms of Riemann-Liouville integral (RLI). Solution is presented using Mittag-Leffler type functions (MLTFs). The outcomes related to the existence and uniqueness subject to certain conditions of regularity on the input data are established.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
DynaPix SLAM: A Pixel-Based Dynamic SLAM Approach
Authors:
Chenghao Xu,
Elia Bonetto,
Aamir Ahmad
Abstract:
In static environments, visual simultaneous localization and mapping (V-SLAM) methods achieve remarkable performance. However, moving objects severely affect core modules of such systems like state estimation and loop closure detection. To address this, dynamic SLAM approaches often use semantic information, geometric constraints, or optical flow to mask features associated with dynamic entities.…
▽ More
In static environments, visual simultaneous localization and mapping (V-SLAM) methods achieve remarkable performance. However, moving objects severely affect core modules of such systems like state estimation and loop closure detection. To address this, dynamic SLAM approaches often use semantic information, geometric constraints, or optical flow to mask features associated with dynamic entities. These are limited by various factors such as a dependency on the quality of the underlying method, poor generalization to unknown or unexpected moving objects, and often produce noisy results, e.g. by masking static but movable objects or making use of predefined thresholds. In this paper, to address these trade-offs, we introduce a novel visual SLAM system, DynaPix, based on per-pixel motion probability values. Our approach consists of a new semantic-free probabilistic pixel-wise motion estimation module and an improved pose optimization process. Our per-pixel motion probability estimation combines a novel static background differencing method on both images and optical flows from splatted frames. DynaPix fully integrates those motion probabilities into both map point selection and weighted bundle adjustment within the tracking and optimization modules of ORB-SLAM2. We evaluate DynaPix against ORB-SLAM2 and DynaSLAM on both GRADE and TUM-RGBD datasets, obtaining lower errors and longer trajectory tracking times. We will release both source code and data upon acceptance of this work.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Demystifying Practices, Challenges and Expected Features of Using GitHub Copilot
Authors:
Beiqi Zhang,
Peng Liang,
Xiyu Zhou,
Aakash Ahmad,
Muhammad Waseem
Abstract:
With the advances in machine learning, there is a growing interest in AI-enabled tools for autocompleting source code. GitHub Copilot has been trained on billions of lines of open source GitHub code, and is one of such tools that has been increasingly used since its launch in June 2021. However, little effort has been devoted to understanding the practices, challenges, and expected features of usi…
▽ More
With the advances in machine learning, there is a growing interest in AI-enabled tools for autocompleting source code. GitHub Copilot has been trained on billions of lines of open source GitHub code, and is one of such tools that has been increasingly used since its launch in June 2021. However, little effort has been devoted to understanding the practices, challenges, and expected features of using Copilot in programming for auto-completed source code from the point of view of practitioners. To this end, we conducted an empirical study by collecting and analyzing the data from Stack Overflow (SO) and GitHub Discussions. We searched and manually collected 303 SO posts and 927 GitHub discussions related to the usage of Copilot. We identified the programming languages, Integrated Development Environments (IDEs), technologies used with Copilot, functions implemented, benefits, limitations, and challenges when using Copilot. The results show that when practitioners use Copilot: (1) The major programming languages used with Copilot are JavaScript and Python, (2) the main IDE used with Copilot is Visual Studio Code, (3) the most common used technology with Copilot is Node.js, (4) the leading function implemented by Copilot is data processing, (5) the main purpose of users using Copilot is to help generate code, (6) the significant benefit of using Copilot is useful code generation, (7) the main limitation encountered by practitioners when using Copilot is difficulty of integration, and (8) the most common expected feature is that Copilot can be integrated with more IDEs. Our results suggest that using Copilot is like a double-edged sword, which requires developers to carefully consider various aspects when deciding whether or not to use it. Our study provides empirically grounded foundations that could inform developers and practitioners, as well as provide a basis for future investigations.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Low-energy spectrum of the BULLKID detector array operated on surface
Authors:
D. Delicato,
A. Ahmad,
L. Bandiera,
M. Calvo,
M. Cappelli,
G. Del Castello,
M. del Gallo Roccagiovine,
M. Giammei,
V. Guidi,
D. Maiello,
V. Pettinacci,
M. Romagnoni,
M. Tamisari,
A. Cruciani,
A. Mazzolari,
A. Monfardini,
M. Vignati
Abstract:
We present the first continuous operation in a surface lab of BULLKID, a detector for searches of light Dark Matter and precision measurements of the coherent and elastic neutrino-nucleus scattering. The detector consists of an array of 60 cubic silicon particle absorbers of 0.34 g each, sensed by cryogenic kinetic inductance detectors. The data presented focusses on one of the central elements of…
▽ More
We present the first continuous operation in a surface lab of BULLKID, a detector for searches of light Dark Matter and precision measurements of the coherent and elastic neutrino-nucleus scattering. The detector consists of an array of 60 cubic silicon particle absorbers of 0.34 g each, sensed by cryogenic kinetic inductance detectors. The data presented focusses on one of the central elements of the array and on its surrounding elements used as veto. The energy spectrum resulting from an exposure of 39 hours to ambient backgrounds, obtained without radiation shields, is flat at the level of $(2.0\pm0.1\,{\rm stat.}\pm0.2\,{\rm syst.})\times10^6$ counts / keV kg days down to the energy threshold of $160\pm13$ eV. The data analysis demonstrates the unique capability of rejecting backgrounds generated from interactions in other sites of the array, stemming from the segmented and monolithic structure of the detector.
△ Less
Submitted 17 April, 2024; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Robust features of QCD phase diagram through a Contact Interaction model for quarks: A view from the effective potential
Authors:
Aftab Ahmad,
Muhammad Azher,
Alfredo Raya
Abstract:
Our research delves into the QCD phase diagram in the temperature $T$ and quark chemical potential $μ$ plane. We use a unique confining contact interaction effective model of quark dynamics that maintains the QCD symmetry intact. By embedding the model into a Schwinger-Dyson equations framework, within a Landau gauge rainbow-ladder-like truncation, we derive the gap equation. In order to accuratel…
▽ More
Our research delves into the QCD phase diagram in the temperature $T$ and quark chemical potential $μ$ plane. We use a unique confining contact interaction effective model of quark dynamics that maintains the QCD symmetry intact. By embedding the model into a Schwinger-Dyson equations framework, within a Landau gauge rainbow-ladder-like truncation, we derive the gap equation. In order to accurately regulate the said equation, we utilize the Schwinger optimal time regularization scheme. We further derive the effective potential of the model by integrating the gap equation over the dynamical mass, which along with the confining length scale serve as parameters for the chiral and confinement deconfinement phase transitions, respectively. A cross-over transition is observed at low $μ$ and above a critical value of the temperature $T_c$, whilst a first order phase transition is found for low $T$ at high density. The critical end point is estimated to be located at $(μ_{E}/T_{c,0}=1.6, T_{E}/T_{c,0}=0.42)$, which falls within the range of other QCD effective models predictions. $T_{c,0} =208$ MeV is the critical temperature at vanishing $μ$. Screening effects of the medium which dilute the strength of the effective coupling are considered by including the vacuum polarization contribution due to quarks at high temperatures into the framework. It locates the critical end point at $( μ^{E}_{c}/T_c \approx2.6, T^{E}_{c}/T_c \approx 0.57)$, which hints for a deeper analysis of screening effects on models of this kind.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
Addressing Knowledge Leakage Risk caused by the use of mobile devices in Australian Organizations
Authors:
Carlos Andres Agudelo Serna,
Rachelle Bosua,
Sean B. Maynard,
Atif Ahmad
Abstract:
Information and knowledge leakage has become a significant security risk to Australian organizations. Each security incident in Australian business cost an average US$\$$2.8 million. Furthermore, Australian organisations spend the second most worldwide (US$\$$1.2 million each on average) on investigating and assessing information breaches. The leakage of sensitive organizational information occurs…
▽ More
Information and knowledge leakage has become a significant security risk to Australian organizations. Each security incident in Australian business cost an average US$\$$2.8 million. Furthermore, Australian organisations spend the second most worldwide (US$\$$1.2 million each on average) on investigating and assessing information breaches. The leakage of sensitive organizational information occurs through different avenues, such as social media, cloud computing and mobile devices. In this study, we (1) analyze the knowledge leakage risk (KLR) caused by the use of mobile devices in knowledge-intensive Australian organizations, (2) present a conceptual research model to explain the determinants that influence KLR through the use of mobile devices grounded in the literature, (3) conduct interviews with security and knowledge managers to understand what strategies they use to mitigate KLR caused by the use of mobile devices and (4) use content analysis and the conceptual model to frame the preliminary findings from the interviews. Keywords: Knowledge leakage, mobile devices, mobile contexts, knowledge leakage risk
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Towards a knowledge leakage Mitigation framework for mobile Devices in knowledge-intensive Organizations
Authors:
Carlos Andres Agudelo Serna,
Rachelle Bosua,
Atif Ahmad,
Sean B. Maynard
Abstract:
The use of mobile devices in knowledge-intensive organizations while effective and cost-efficient also pose a challenging management problem. Often employees whether deliberately or inadvertently are the cause of knowledge leakage in organizations and the use of mobile devices further exacerbates it. This problem is the result of overly focusing on technical controls while neglecting human factors…
▽ More
The use of mobile devices in knowledge-intensive organizations while effective and cost-efficient also pose a challenging management problem. Often employees whether deliberately or inadvertently are the cause of knowledge leakage in organizations and the use of mobile devices further exacerbates it. This problem is the result of overly focusing on technical controls while neglecting human factors. Knowledge leakage is a multidimensional problem, and in this paper, we highlight the different dimensions that constitute it. In this study, our contributions are threefold. First, we study knowledge leakage risk (KLR) within the context of mobile devices in knowledge-intensive organizations in Australia. Second, we present a conceptual framework to explain and categorize the mitigation strategies to combat KLR through the use of mobile devices grounded in the literature. And third, we apply the framework to the findings from interviews with security and knowledge managers. Keywords: Knowledge Leakage, Knowledge Risk, Knowledge intensive, Mobile device.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Sat2Cap: Mapping Fine-Grained Textual Descriptions from Satellite Images
Authors:
Aayush Dhakal,
Adeel Ahmad,
Subash Khanal,
Srikumar Sastry,
Hannah Kerner,
Nathan Jacobs
Abstract:
We propose a weakly supervised approach for creating maps using free-form textual descriptions. We refer to this work of creating textual maps as zero-shot mapping. Prior works have approached mapping tasks by developing models that predict a fixed set of attributes using overhead imagery. However, these models are very restrictive as they can only solve highly specific tasks for which they were t…
▽ More
We propose a weakly supervised approach for creating maps using free-form textual descriptions. We refer to this work of creating textual maps as zero-shot mapping. Prior works have approached mapping tasks by developing models that predict a fixed set of attributes using overhead imagery. However, these models are very restrictive as they can only solve highly specific tasks for which they were trained. Mapping text, on the other hand, allows us to solve a large variety of mapping problems with minimal restrictions. To achieve this, we train a contrastive learning framework called Sat2Cap on a new large-scale dataset with 6.1M pairs of overhead and ground-level images. For a given location and overhead image, our model predicts the expected CLIP embeddings of the ground-level scenery. The predicted CLIP embeddings are then used to learn about the textual space associated with that location. Sat2Cap is also conditioned on date-time information, allowing it to model temporally varying concepts over a location. Our experimental results demonstrate that our models successfully capture ground-level concepts and allow large-scale mapping of fine-grained textual queries. Our approach does not require any text-labeled data, making the training easily scalable. The code, dataset, and models will be made publicly available.
△ Less
Submitted 11 April, 2024; v1 submitted 29 July, 2023;
originally announced July 2023.
-
Design of an energy aware petaflops class high performance cluster based on power architecture
Authors:
W. A. Ahmad,
A. Bartolini,
F. Beneventi,
L. Benini,
A. Borghesi,
M. Cicala,
P. Forestieri,
C. Gianfreda,
D. Gregori,
A. Libri,
F. Spiga,
S. Tinti
Abstract:
In this paper we present D.A.V.I.D.E. (Development for an Added Value Infrastructure Designed in Europe), an innovative and energy efficient High Performance Computing cluster designed by E4 Computer Engineering for PRACE (Partnership for Advanced Computing in Europe). D.A.V.I.D.E. is built using best-in-class components (IBM's POWER8-NVLink CPUs, NVIDIA TESLA P100 GPUs, Mellanox InfiniBand EDR 10…
▽ More
In this paper we present D.A.V.I.D.E. (Development for an Added Value Infrastructure Designed in Europe), an innovative and energy efficient High Performance Computing cluster designed by E4 Computer Engineering for PRACE (Partnership for Advanced Computing in Europe). D.A.V.I.D.E. is built using best-in-class components (IBM's POWER8-NVLink CPUs, NVIDIA TESLA P100 GPUs, Mellanox InfiniBand EDR 100 Gb/s networking) plus custom hardware and an innovative system middleware software. D.A.V.I.D.E. features (i) a dedicated power monitor interface, built around the BeagleBone Black Board that allows high frequency sampling directly from the power backplane and scalable integration with the internal node telemetry and system level power management software; (ii) a custom-built chassis, based on OpenRack form factor, and liquid cooling that allows the system to be used in modern, energy efficient, datacenter; (iii) software components designed for enabling fine grain power monitoring, power management (i.e. power capping and energy aware job scheduling) and application power profiling, based on dedicated machine learning components. Software APIs are offered to developers and users to tune the computing node performance and power consumption around on the application requirements. The first pilot system that we will deploy at the beginning of 2017, will demonstrate key HPC applications from different fields ported and optimized for this innovative platform.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
ScriptWorld: Text Based Environment For Learning Procedural Knowledge
Authors:
Abhinav Joshi,
Areeb Ahmad,
Umang Pandey,
Ashutosh Modi
Abstract:
Text-based games provide a framework for developing natural language understanding and commonsense knowledge about the world in reinforcement learning based agents. Existing text-based environments often rely on fictional situations and characters to create a gaming framework and are far from real-world scenarios. In this paper, we introduce ScriptWorld: a text-based environment for teaching agent…
▽ More
Text-based games provide a framework for developing natural language understanding and commonsense knowledge about the world in reinforcement learning based agents. Existing text-based environments often rely on fictional situations and characters to create a gaming framework and are far from real-world scenarios. In this paper, we introduce ScriptWorld: a text-based environment for teaching agents about real-world daily chores and hence imparting commonsense knowledge. To the best of our knowledge, it is the first interactive text-based gaming framework that consists of daily real-world human activities designed using scripts dataset. We provide gaming environments for 10 daily activities and perform a detailed analysis of the proposed environment. We develop RL-based baseline models/agents to play the games in Scriptworld. To understand the role of language models in such environments, we leverage features obtained from pre-trained language models in the RL agents. Our experiments show that prior knowledge obtained from a pre-trained language model helps to solve real-world text-based gaming environments. We release the environment via Github: https://github.com/Exploration-Lab/ScriptWorld
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
The Busboy Problem: Efficient Tableware Decluttering Using Consolidation and Multi-Object Grasps
Authors:
Kishore Srinivas,
Shreya Ganti,
Rishi Parikh,
Ayah Ahmad,
Wisdom Agboh,
Mehmet Dogar,
Ken Goldberg
Abstract:
We present the "Busboy Problem": automating an efficient decluttering of cups, bowls, and silverware from a planar surface. As grasping and transporting individual items is highly inefficient, we propose policies to generate grasps for multiple items. We introduce the metric of Objects per Trip (OpT) carried by the robot to the collection bin to analyze the improvement seen as a result of our poli…
▽ More
We present the "Busboy Problem": automating an efficient decluttering of cups, bowls, and silverware from a planar surface. As grasping and transporting individual items is highly inefficient, we propose policies to generate grasps for multiple items. We introduce the metric of Objects per Trip (OpT) carried by the robot to the collection bin to analyze the improvement seen as a result of our policies. In physical experiments with singulated items, we find that consolidation and multi-object grasps resulted in an 1.8x improvement in OpT, compared to methods without multi-object grasps. See https://sites.google.com/berkeley.edu/busboyproblem for code and supplemental materials.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Crossed product algebras and generalized entropy for subregions
Authors:
Shadi Ali Ahmad,
Ro Jefferson
Abstract:
An early result of algebraic quantum field theory is that the algebra of any subregion in a QFT is a von Neumann factor of type III$_1$, in which entropy cannot be well-defined because such algebras do not admit a trace or density states. However, associated to the algebra is a modular group of automorphisms characterizing the local dynamics of degrees of freedom in the region, and the crossed pro…
▽ More
An early result of algebraic quantum field theory is that the algebra of any subregion in a QFT is a von Neumann factor of type III$_1$, in which entropy cannot be well-defined because such algebras do not admit a trace or density states. However, associated to the algebra is a modular group of automorphisms characterizing the local dynamics of degrees of freedom in the region, and the crossed product of the algebra with its modular group yields a type II$_\infty$ factor, in which traces and hence von Neumann entropy can be well-defined. In this work, we generalize recent constructions of the crossed product algebra for the TFD to, in principle, arbitrary spacetime regions in arbitrary QFTs, paving the way to the study of entanglement entropy without UV divergences. In contrast to previous works, we emphasize that this construction is independent of gravity. In this sense, the crossed product construction represents a refinement of Haag's assignment of nets of observable algebras to spacetime regions by providing a natural construction of a type II factor. We present several concrete examples: a QFT in Rindler space, a CFT in an open ball of Minkowski space, and arbitrary boundary subregions in AdS/CFT. In the holographic setting, we provide a novel argument for why the bulk dual must be the entanglement wedge, and discuss the distinction arising from boundary modular flow between causal and entanglement wedges for excited states and disjoint regions.
△ Less
Submitted 30 April, 2024; v1 submitted 12 June, 2023;
originally announced June 2023.
-
MRS Drone: A Modular Platform for Real-World Deployment of Aerial Multi-Robot Systems
Authors:
Daniel Hert,
Tomas Baca,
Pavel Petracek,
Vit Kratky,
Robert Penicka,
Vojtech Spurny,
Matej Petrlik,
Matous Vrba,
David Zaitlik,
Pavel Stoudek,
Viktor Walter,
Petr Stepan,
Jiri Horyna,
Vaclav Pritzl,
Martin Sramek,
Afzal Ahmad,
Giuseppe Silano,
Daniel Bonilla Licea,
Petr Stibinger,
Tiago Nascimento,
Martin Saska
Abstract:
This paper presents a modular autonomous Unmanned Aerial Vehicle (UAV) platform called the Multi-robot Systems (MRS) Drone that can be used in a large range of indoor and outdoor applications. The MRS Drone features unique modularity with respect to changes in actuators, frames, and sensory configuration. As the name suggests, the platform is specially tailored for deployment within a MRS group. T…
▽ More
This paper presents a modular autonomous Unmanned Aerial Vehicle (UAV) platform called the Multi-robot Systems (MRS) Drone that can be used in a large range of indoor and outdoor applications. The MRS Drone features unique modularity with respect to changes in actuators, frames, and sensory configuration. As the name suggests, the platform is specially tailored for deployment within a MRS group. The MRS Drone contributes to the state-of-the-art of UAV platforms by allowing smooth real-world deployment of multiple aerial robots, as well as by outperforming other platforms with its modularity. For real-world multi-robot deployment in various applications, the platform is easy to both assemble and modify. Moreover, it is accompanied by a realistic simulator to enable safe pre-flight testing and a smooth transition to complex real-world experiments. In this manuscript, we present mechanical and electrical designs, software architecture, and technical specifications to build a fully autonomous multi UAV system. Finally, we demonstrate the full capabilities and the unique modularity of the MRS Drone in various real-world applications that required a diverse range of platform configurations.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
Towards using utility data to quantify how investments would have increased the wind resilience of distribution systems
Authors:
Arslan Ahmad,
Ian Dobson
Abstract:
We quantify resilience with metrics extracted from the historical outage data that is routinely recorded by many distribution utilities. The outage data is coordinated with wind data to relate average outage rates in an area to wind speed measured at a nearby weather station. A past investment in wind hardening would have reduced the outage rates, and the effect of this on metrics can be calculate…
▽ More
We quantify resilience with metrics extracted from the historical outage data that is routinely recorded by many distribution utilities. The outage data is coordinated with wind data to relate average outage rates in an area to wind speed measured at a nearby weather station. A past investment in wind hardening would have reduced the outage rates, and the effect of this on metrics can be calculated by sampling a reduced number of the historical outages and recomputing the metrics. This quantifies the impact that the hardening would have had on customers. This is a tangible way to relate an investment in wind resilience to the benefits it would have had on the lived experience of customers that could help make the case for the investment to the public and regulators. We also quantify the impact of earlier or faster restoration on customer metrics and compare this to the impact of investment in hardening. Overall this is a new and straightforward approach to quantify resilience and justify resilience investments to stakeholders that is directly driven by utility data. The approach driven by data avoids complicated models or modeling assumptions.
△ Less
Submitted 12 December, 2023; v1 submitted 10 June, 2023;
originally announced June 2023.
-
A Reference Architecture for Quantum Computing as a Service
Authors:
Aakash Ahmad,
Ahmed B. Altamimi,
Jamal Aqib
Abstract:
Quantum computers (QCs) aim to disrupt the status-quo of computing -- replacing traditional systems and platforms that are driven by digital circuits and modular software -- with hardware and software that operates on the principle of quantum mechanics. QCs that rely on quantum mechanics can exploit quantum circuits (i.e., quantum bits for manipulating quantum gates) to achieve "quantum computatio…
▽ More
Quantum computers (QCs) aim to disrupt the status-quo of computing -- replacing traditional systems and platforms that are driven by digital circuits and modular software -- with hardware and software that operates on the principle of quantum mechanics. QCs that rely on quantum mechanics can exploit quantum circuits (i.e., quantum bits for manipulating quantum gates) to achieve "quantum computational supremacy" over traditional, i.e., digital computing systems. Currently, the issues that impede mass-scale adoption of quantum systems are rooted in the fact that building, maintaining, and/or programming QCs is a complex and radically distinct engineering paradigm when compared to challenges of classical computing and software engineering. Quantum service orientation is seen as a solution that synergises the research on service computing and quantum software engineering (QSE) to allow developers and users to build and utilise quantum software services based on pay-per-shot utility computing model. The pay-per-shot model represents a single execution of instruction on quantum processing unit and it allows vendors (e.g., Amazon Braket) to offer their QC platforms, simulators, software services etc. to enterprises and individuals who do not need to own or maintain quantum systems. This research contributes by 1) developing a reference architecture for enabling quantum computing as a service, 2) implementing microservices with the quantum-classic split pattern as an architectural use-case, and 3) evaluating the reference architecture based on feedback by 22 practitioners. In the QSE context, the research focuses on unifying architectural methods and service-orientation patterns to promote reuse knowledge and best practices to tackle emerging and futuristic challenges of architecting and implementing Quantum Computing as a Service (QCaaS).
△ Less
Submitted 3 June, 2023;
originally announced June 2023.
-
Simulation of Dynamic Environments for SLAM
Authors:
Elia Bonetto,
Chenghao Xu,
Aamir Ahmad
Abstract:
Simulation engines are widely adopted in robotics. However, they lack either full simulation control, ROS integration, realistic physics, or photorealism. Recently, synthetic data generation and realistic rendering has advanced tasks like target tracking and human pose estimation. However, when focusing on vision applications, there is usually a lack of information like sensor measurements or time…
▽ More
Simulation engines are widely adopted in robotics. However, they lack either full simulation control, ROS integration, realistic physics, or photorealism. Recently, synthetic data generation and realistic rendering has advanced tasks like target tracking and human pose estimation. However, when focusing on vision applications, there is usually a lack of information like sensor measurements or time continuity. On the other hand, simulations for most robotics tasks are performed in (semi)static environments, with specific sensors and low visual fidelity. To solve this, we introduced in our previous work a fully customizable framework for generating realistic animated dynamic environments (GRADE) [1]. We use GRADE to generate an indoor dynamic environment dataset and then compare multiple SLAM algorithms on different sequences. By doing that, we show how current research over-relies on known benchmarks, failing to generalize. Our tests with refined YOLO and Mask R-CNN models provide further evidence that additional research in dynamic SLAM is necessary. The code, results, and generated data are provided as open-source at https://eliabntt.github.io/grade-rrSimulation of Dynamic Environments for SLAM
△ Less
Submitted 26 May, 2023; v1 submitted 7 May, 2023;
originally announced May 2023.
-
Learning from synthetic data generated with GRADE
Authors:
Elia Bonetto,
Chenghao Xu,
Aamir Ahmad
Abstract:
Recently, synthetic data generation and realistic rendering has advanced tasks like target tracking and human pose estimation. Simulations for most robotics applications are obtained in (semi)static environments, with specific sensors and low visual fidelity. To solve this, we present a fully customizable framework for generating realistic animated dynamic environments (GRADE) for robotics researc…
▽ More
Recently, synthetic data generation and realistic rendering has advanced tasks like target tracking and human pose estimation. Simulations for most robotics applications are obtained in (semi)static environments, with specific sensors and low visual fidelity. To solve this, we present a fully customizable framework for generating realistic animated dynamic environments (GRADE) for robotics research, first introduced in [1]. GRADE supports full simulation control, ROS integration, realistic physics, while being in an engine that produces high visual fidelity images and ground truth data. We use GRADE to generate a dataset focused on indoor dynamic scenes with people and flying objects. Using this, we evaluate the performance of YOLO and Mask R-CNN on the tasks of segmenting and detecting people. Our results provide evidence that using data generated with GRADE can improve the model performance when used for a pre-training step. We also show that, even training using only synthetic data, can generalize well to real-world images in the same application domain such as the ones from the TUM-RGBD dataset. The code, results, trained models, and the generated data are provided as open-source at https://eliabntt.github.io/grade-rr.
△ Less
Submitted 26 May, 2023; v1 submitted 7 May, 2023;
originally announced May 2023.
-
Synthetic Data-based Detection of Zebras in Drone Imagery
Authors:
Elia Bonetto,
Aamir Ahmad
Abstract:
Nowadays, there is a wide availability of datasets that enable the training of common object detectors or human detectors. These come in the form of labelled real-world images and require either a significant amount of human effort, with a high probability of errors such as missing labels, or very constrained scenarios, e.g. VICON systems. On the other hand, uncommon scenarios, like aerial views,…
▽ More
Nowadays, there is a wide availability of datasets that enable the training of common object detectors or human detectors. These come in the form of labelled real-world images and require either a significant amount of human effort, with a high probability of errors such as missing labels, or very constrained scenarios, e.g. VICON systems. On the other hand, uncommon scenarios, like aerial views, animals, like wild zebras, or difficult-to-obtain information, such as human shapes, are hardly available. To overcome this, synthetic data generation with realistic rendering technologies has recently gained traction and advanced research areas such as target tracking and human pose estimation. However, subjects such as wild animals are still usually not well represented in such datasets. In this work, we first show that a pre-trained YOLO detector can not identify zebras in real images recorded from aerial viewpoints. To solve this, we present an approach for training an animal detector using only synthetic data. We start by generating a novel synthetic zebra dataset using GRADE, a state-of-the-art framework for data generation. The dataset includes RGB, depth, skeletal joint locations, pose, shape and instance segmentations for each subject. We use this to train a YOLO detector from scratch. Through extensive evaluations of our model with real-world data from i) limited datasets available on the internet and ii) a new one collected and manually labelled by us, we show that we can detect zebras by using only synthetic data during training. The code, results, trained models, and both the generated and training data are provided as open-source at https://eliabntt.github.io/grade-rr.
△ Less
Submitted 4 July, 2023; v1 submitted 30 April, 2023;
originally announced May 2023.
-
Robustness Measures and Monitors for Time Window Temporal Logic
Authors:
Ahmad Ahmad,
Cristian-Ioan Vasile,
Roberto Tron,
Calin Belta
Abstract:
Temporal logics (TLs) have been widely used to formalize interpretable tasks for cyber-physical systems. Time Window Temporal Logic (TWTL) has been recently proposed as a specification language for dynamical systems. In particular, it can easily express robotic tasks, and it allows for efficient, automata-based verification and synthesis of control policies for such systems. In this paper, we defi…
▽ More
Temporal logics (TLs) have been widely used to formalize interpretable tasks for cyber-physical systems. Time Window Temporal Logic (TWTL) has been recently proposed as a specification language for dynamical systems. In particular, it can easily express robotic tasks, and it allows for efficient, automata-based verification and synthesis of control policies for such systems. In this paper, we define two quantitative semantics for this logic, and two corresponding monitoring algorithms, which allow for real-time quantification of satisfaction of formulas by trajectories of discrete-time systems. We demonstrate the new semantics and their runtime monitors on numerical examples.
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
LQR-CBF-RRT*: Safe and Optimal Motion Planning
Authors:
Guang Yang,
Mingyu Cai,
Ahmad Ahmad,
Amanda Prorok,
Roberto Tron,
Calin Belta
Abstract:
We present LQR-CBF-RRT*, an incremental sampling-based algorithm for offline motion planning. Our framework leverages the strength of Control Barrier Functions (CBFs) and Linear Quadratic Regulators (LQR) to generate safety-critical and optimal trajectories for a robot with dynamics described by an affine control system. CBFs are used for safety guarantees, while LQRs are employed for optimal cont…
▽ More
We present LQR-CBF-RRT*, an incremental sampling-based algorithm for offline motion planning. Our framework leverages the strength of Control Barrier Functions (CBFs) and Linear Quadratic Regulators (LQR) to generate safety-critical and optimal trajectories for a robot with dynamics described by an affine control system. CBFs are used for safety guarantees, while LQRs are employed for optimal control synthesis during edge extensions. Popular CBF-based formulations for safety critical control require solving Quadratic Programs (QPs), which can be computationally expensive. Moreover, LQR-based controllers require repetitive applications of first-order Taylor approximations for nonlinear systems, which can also create an additional computational burden. To improve the motion planning efficiency, we verify the satisfaction of the CBF constraints directly in edge extension to avoid the burden of solving the QPs. We store computed optimal LQR gain matrices in a hash table to avoid re-computation during the local linearization of the rewiring procedure. Lastly, we utilize the Cross-Entropy Method for importance sampling to improve sampling efficiency. Our results show that the proposed planner surpasses its counterparts in computational efficiency and performs well in an experimental setup.
△ Less
Submitted 27 September, 2023; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Bagging by Learning to Singulate Layers Using Interactive Perception
Authors:
Lawrence Yunliang Chen,
Baiyu Shi,
Roy Lin,
Daniel Seita,
Ayah Ahmad,
Richard Cheng,
Thomas Kollar,
David Held,
Ken Goldberg
Abstract:
Many fabric handling and 2D deformable material tasks in homes and industry require singulating layers of material such as opening a bag or arranging garments for sewing. In contrast to methods requiring specialized sensing or end effectors, we use only visual observations with ordinary parallel jaw grippers. We propose SLIP: Singulating Layers using Interactive Perception, and apply SLIP to the t…
▽ More
Many fabric handling and 2D deformable material tasks in homes and industry require singulating layers of material such as opening a bag or arranging garments for sewing. In contrast to methods requiring specialized sensing or end effectors, we use only visual observations with ordinary parallel jaw grippers. We propose SLIP: Singulating Layers using Interactive Perception, and apply SLIP to the task of autonomous bagging. We develop SLIP-Bagging, a bagging algorithm that manipulates a plastic or fabric bag from an unstructured state, and uses SLIP to grasp the top layer of the bag to open it for object insertion. In physical experiments, a YuMi robot achieves a success rate of 67% to 81% across bags of a variety of materials, shapes, and sizes, significantly improving in success rate and generality over prior work. Experiments also suggest that SLIP can be applied to tasks such as singulating layers of folded cloth and garments. Supplementary material is available at https://sites.google.com/view/slip-bagging/.
△ Less
Submitted 1 September, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
The Gap between Higher Education and the Software Industry -- A Case Study on Technology Differences
Authors:
Felix Dobslaw,
Kristian Angelin,
Lena-Maria Öberg,
Awais Ahmad
Abstract:
We see an explosive global labour demand in the Software Industry, and higher education institutions play a crucial role in supplying the industry with professionals with relevant education. Existing literature identifies a gap between what software engineering education teaches students and what the software industry demands. Using our open-sourced Job Market AnalyseR (JMAR) text-analysis tool, w…
▽ More
We see an explosive global labour demand in the Software Industry, and higher education institutions play a crucial role in supplying the industry with professionals with relevant education. Existing literature identifies a gap between what software engineering education teaches students and what the software industry demands. Using our open-sourced Job Market AnalyseR (JMAR) text-analysis tool, we compared keywords from higher education course syllabi and job posts to investigate the knowledge gap from a technology-focused departure point. We present a trend analysis of technology in job posts over the past six years in Sweden. We found that demand for cloud and automation technology such as Kubernetes and Docker is rising in job ads but not that much in higher education syllabi. The language used in higher education syllabi and job ads differs where the former emphasizes concepts and the latter technologies more heavily. We discuss possible remedies to bridge this mismatch to draw further conclusions in future work, including calibrating JMAR to other industry-relevant aspects, including soft skills, software concepts, or new demographics.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Engineering Software Systems for Quantum Computing as a Service: A Mapping Study
Authors:
Aakash Ahmad,
Muhammad Waseem,
Peng Liang,
Mahdi Fehmideh,
Arif Ali Khan,
David Georg Reichelt,
Tommi Mikkonen
Abstract:
Quantum systems have started to emerge as a disruptive technology and enabling platforms - exploiting the principles of quantum mechanics - to achieve quantum supremacy in computing. Academic research, industrial projects (e.g., Amazon Braket), and consortiums like 'Quantum Flagship' are striving to develop practically capable and commercially viable quantum computing (QC) systems and technologies…
▽ More
Quantum systems have started to emerge as a disruptive technology and enabling platforms - exploiting the principles of quantum mechanics - to achieve quantum supremacy in computing. Academic research, industrial projects (e.g., Amazon Braket), and consortiums like 'Quantum Flagship' are striving to develop practically capable and commercially viable quantum computing (QC) systems and technologies. Quantum Computing as a Service (QCaaS) is viewed as a solution attuned to the philosophy of service-orientation that can offer QC resources and platforms, as utility computing, to individuals and organisations who do not own quantum computers. To understand the quantum service development life cycle and pinpoint emerging trends, we used evidence-based software engineering approach to conduct a systematic mapping study (SMS) of research that enables or enhances QCaaS. The SMS process retrieved a total of 55 studies, and based on their qualitative assessment we selected 9 of them to investigate (i) the functional aspects, design models, patterns, programming languages, deployment platforms, and (ii) trends of emerging research on QCaaS. The results indicate three modelling notations and a catalogue of five design patterns to architect QCaaS, whereas Python (native code or frameworks) and Amazon Braket are the predominant solutions to implement and deploy QCaaS solutions. From the quantum software engineering (QSE) perspective, this SMS provides empirically grounded findings that could help derive processes, patterns, and reference architectures to engineer software services for QC.
△ Less
Submitted 26 March, 2023;
originally announced March 2023.
-
Multi-Task Reinforcement Learning in Continuous Control with Successor Feature-Based Concurrent Composition
Authors:
Yu Tang Liu,
Aamir Ahmad
Abstract:
Deep reinforcement learning (DRL) frameworks are increasingly used to solve high-dimensional continuous control tasks in robotics. However, due to the lack of sample efficiency, applying DRL for online learning is still practically infeasible in the robotics domain. One reason is that DRL agents do not leverage the solution of previous tasks for new tasks. Recent work on multi-task DRL agents base…
▽ More
Deep reinforcement learning (DRL) frameworks are increasingly used to solve high-dimensional continuous control tasks in robotics. However, due to the lack of sample efficiency, applying DRL for online learning is still practically infeasible in the robotics domain. One reason is that DRL agents do not leverage the solution of previous tasks for new tasks. Recent work on multi-task DRL agents based on successor features (SFs) has proven to be quite promising in increasing sample efficiency. In this work, we present a new approach that unifies two prior multi-task RL frameworks, SF-GPI and value composition, and adapts them to the continuous control domain. We exploit compositional properties of successor features to compose a policy distribution from a set of primitives without training any new policy. Lastly, to demonstrate the multi-tasking mechanism, we present our proof-of-concept benchmark environments, Pointmass and Pointer, based on IsaacGym, which facilitates large-scale parallelization to accelerate the experiments. Our experimental results show that our multi-task agent has single-task performance on par with soft actor-critic (SAC), and the agent can successfully transfer to new unseen tasks. We provide our code as open-source at "https://github.com/robot-perception-group/concurrent_composition" for the benefit of the community.
△ Less
Submitted 29 April, 2024; v1 submitted 24 March, 2023;
originally announced March 2023.
-
Autonomous Blimp Control via H-infinity Robust Deep Residual Reinforcement Learning
Authors:
Yang Zuo,
Yu Tang Liu,
Aamir Ahmad
Abstract:
Due to their superior energy efficiency, blimps may replace quadcopters for long-duration aerial tasks. However, designing a controller for blimps to handle complex dynamics, modeling errors, and disturbances remains an unsolved challenge. One recent work combines reinforcement learning (RL) and a PID controller to address this challenge and demonstrates its effectiveness in real-world experiments…
▽ More
Due to their superior energy efficiency, blimps may replace quadcopters for long-duration aerial tasks. However, designing a controller for blimps to handle complex dynamics, modeling errors, and disturbances remains an unsolved challenge. One recent work combines reinforcement learning (RL) and a PID controller to address this challenge and demonstrates its effectiveness in real-world experiments. In the current work, we build on that using an H-infinity robust controller to expand the stability margin and improve the RL agent's performance. Empirical analysis of different mixing methods reveals that the resulting H-infinity-RL controller outperforms the prior PID-RL combination and can handle more complex tasks involving intensive thrust vectoring. We provide our code as open-source at https://github.com/robot-perception-group/robust_deep_residual_blimp.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
Practices and Challenges of Using GitHub Copilot: An Empirical Study
Authors:
Beiqi Zhang,
Peng Liang,
Xiyu Zhou,
Aakash Ahmad,
Muhammad Waseem
Abstract:
With the advances in machine learning, there is a growing interest in AI-enabled tools for autocompleting source code. GitHub Copilot, also referred to as the "AI Pair Programmer", has been trained on billions of lines of open source GitHub code, and is one of such tools that has been increasingly used since its launch on June 2021. However, little effort has been devoted to understanding the prac…
▽ More
With the advances in machine learning, there is a growing interest in AI-enabled tools for autocompleting source code. GitHub Copilot, also referred to as the "AI Pair Programmer", has been trained on billions of lines of open source GitHub code, and is one of such tools that has been increasingly used since its launch on June 2021. However, little effort has been devoted to understanding the practices and challenges of using Copilot in programming with auto-completed source code. To this end, we conducted an empirical study by collecting and analyzing the data from Stack Overflow (SO) and GitHub Discussions. More specifically, we searched and manually collected 169 SO posts and 655 GitHub discussions related to the usage of Copilot. We identified the programming languages, IDEs, technologies used with Copilot, functions implemented, benefits, limitations, and challenges when using Copilot. The results show that when practitioners use Copilot: (1) The major programming languages used with Copilot are JavaScript and Python, (2) the main IDE used with Copilot is Visual Studio Code, (3) the most common used technology with Copilot is Node.js, (4) the leading function implemented by Copilot is data processing, (5) the significant benefit of using Copilot is useful code generation, and (6) the main limitation encountered by practitioners when using Copilot is difficulty of integration. Our results suggest that using Copilot is like a double-edged sword, which requires developers to carefully consider various aspects when deciding whether or not to use it. Our study provides empirically grounded foundations and basis for future research on the role of Copilot as an AI pair programmer in software development.
△ Less
Submitted 27 April, 2023; v1 submitted 15 March, 2023;
originally announced March 2023.
-
GRADE: Generating Realistic Animated Dynamic Environments for Robotics Research
Authors:
Elia Bonetto,
Chenghao Xu,
Aamir Ahmad
Abstract:
In recent years, computer vision tasks like target tracking and human pose estimation have immensely benefited from synthetic data generation and novel rendering techniques. On the other hand, methods in robotics, especially for robot perception, have been slow to leverage these techniques. This is because state-of-the-art simulation frameworks for robotics lack either complete control, integratio…
▽ More
In recent years, computer vision tasks like target tracking and human pose estimation have immensely benefited from synthetic data generation and novel rendering techniques. On the other hand, methods in robotics, especially for robot perception, have been slow to leverage these techniques. This is because state-of-the-art simulation frameworks for robotics lack either complete control, integration with the Robot Operating System (ROS), realistic physics or photorealism. To solve this, we present a fully customizable framework for generating realistic animated dynamic environments (GRADE) for robotics research, focused primarily at robot perception. The framework can be used either to generate ground truth data for robotic vision-related tasks and offline processing, or to experiment with robots online in dynamic environments. We build upon the Nvidia Isaac Sim to allow control of custom robots. We provide methods to include assets, populate and control the simulation, and process the data. Using autonomous robots in GRADE, we generate video datasets of an indoor dynamic environment. First, we use it to demonstrate the framework's visual realism by evaluating the sim-to-real gap through experiments with YOLO and Mask R-CNN. Second, we benchmark dynamic SLAM algorithms with this dataset. This not only shows that GRADE can significantly improve training performance and generalization to real sequences, but also highlights how current dynamic SLAM methods over-rely on known benchmarks, failing to generalize. We also introduce a method to precisely repeat a previously recorded experiment, while allowing changes in the surroundings of the robot. Code and data are provided as open-source at https://grade.is.tue.mpg.de.
△ Less
Submitted 12 October, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Validation of a Hospital Digital Twin with Machine Learning
Authors:
Muhammad Aurangzeb Ahmad,
Vijay Chickarmane,
Farinaz Sabz Ali Pour,
Nima Shariari,
Taposh Dutta Roy
Abstract:
Recently there has been a surge of interest in developing Digital Twins of process flows in healthcare to better understand bottlenecks and areas of improvement. A key challenge is in the validation process. We describe a work in progress for a digital twin using an agent based simulation model for determining bed turnaround time for patients in hospitals. We employ a strategy using machine learni…
▽ More
Recently there has been a surge of interest in developing Digital Twins of process flows in healthcare to better understand bottlenecks and areas of improvement. A key challenge is in the validation process. We describe a work in progress for a digital twin using an agent based simulation model for determining bed turnaround time for patients in hospitals. We employ a strategy using machine learning for validating the model and implementing sensitivity analysis.
△ Less
Submitted 8 March, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
Laser calibration of the ATLAS Tile Calorimeter during LHC Run 2
Authors:
M. N. Agaras,
A. Ahmad,
A. Blanco,
D. Boumediene,
R. Bonnefoy,
D. Calvet,
M. Calvetti,
R. Chadelas,
P. Conde Muino,
A. Cortes Gonzalez,
M. Crouau,
C. Crozatier,
F. Daudon,
T. Davidek,
G. Di Gregorio,
L. Fiorini,
B. Galhardo,
Ph. Gris,
P. Klimek,
P. Lafarguette,
D. Lambert,
S. Leone,
A. Maio,
M. Marjanovic,
F. Martins
, et al. (15 additional authors not shown)
Abstract:
This article reports the laser calibration of the hadronic Tile Calorimeter of the ATLAS experiment in the LHC Run 2 data campaign. The upgraded Laser II calibration system is described. The system was commissioned during the first LHC Long Shutdown, exhibiting a stability better than 0.8% for the laser light monitoring. The methods employed to derive the detector calibration factors with data fro…
▽ More
This article reports the laser calibration of the hadronic Tile Calorimeter of the ATLAS experiment in the LHC Run 2 data campaign. The upgraded Laser II calibration system is described. The system was commissioned during the first LHC Long Shutdown, exhibiting a stability better than 0.8% for the laser light monitoring. The methods employed to derive the detector calibration factors with data from the laser calibration runs are also detailed. These allowed to correct for the response fluctuations of the 9852 photomultiplier tubes of the Tile Calorimeter with a total uncertainty of 0.5% plus a luminosity-dependent sub-dominant term. Finally, we report the regular monitoring and performance studies using laser events in both standalone runs and during proton collisions. These studies include channel timing and quality inspection, and photomultiplier linearity and response dependence on anode current.
△ Less
Submitted 5 July, 2023; v1 submitted 28 February, 2023;
originally announced March 2023.
-
Towards Human-Bot Collaborative Software Architecting with ChatGPT
Authors:
Aakash Ahmad,
Muhammad Waseem,
Peng Liang,
Mahdi Fehmideh,
Mst Shamima Aktar,
Tommi Mikkonen
Abstract:
Architecting software-intensive systems can be a complex process. It deals with the daunting tasks of unifying stakeholders' perspectives, designers' intellect, tool-based automation, pattern-driven reuse, and so on, to sketch a blueprint that guides software implementation and evaluation. Despite its benefits, architecture-centric software engineering (ACSE) inherits a multitude of challenges. AC…
▽ More
Architecting software-intensive systems can be a complex process. It deals with the daunting tasks of unifying stakeholders' perspectives, designers' intellect, tool-based automation, pattern-driven reuse, and so on, to sketch a blueprint that guides software implementation and evaluation. Despite its benefits, architecture-centric software engineering (ACSE) inherits a multitude of challenges. ACSE challenges could stem from a lack of standardized processes, socio-technical limitations, and scarcity of human expertise etc. that can impede the development of existing and emergent classes of software (e.g., IoTs, blockchain, quantum systems). Software Development Bots (DevBots) trained on large language models can help synergise architects' knowledge with artificially intelligent decision support to enable rapid architecting in a human-bot collaborative ACSE. An emerging solution to enable this collaboration is ChatGPT, a disruptive technology not primarily introduced for software engineering, but is capable of articulating and refining architectural artifacts based on natural language processing. We detail a case study that involves collaboration between a novice software architect and ChatGPT for architectural analysis, synthesis, and evaluation of a services-driven software application. Preliminary results indicate that ChatGPT can mimic an architect's role to support and often lead ACSE, however; it requires human oversight and decision support for collaborative architecting. Future research focuses on harnessing empirical evidence about architects' productivity and exploring socio-technical aspects of architecting with ChatGPT to tackle emerging and futuristic challenges of ACSE.
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
Schwinger Pair Production in QCD from Flavor-Dependent Contact Interaction Model of Quarks
Authors:
Aftab Ahmad,
Akif Farooq
Abstract:
We study the Schwinger mechanism in QCD i.e., the quark-antiquark pair production rate $Γ$ in the presence of pure electric field strength $eE$, for a higher number of colors $N_c$ and flavors $N_f$. In this context, our unified formalism is based on the Schwinger-Dyson equations, flavor-dependent symmetry preserving vector-vector contact interaction model of quarks, and an optimal time regulariza…
▽ More
We study the Schwinger mechanism in QCD i.e., the quark-antiquark pair production rate $Γ$ in the presence of pure electric field strength $eE$, for a higher number of colors $N_c$ and flavors $N_f$. In this context, our unified formalism is based on the Schwinger-Dyson equations, flavor-dependent symmetry preserving vector-vector contact interaction model of quarks, and an optimal time regularization scheme. For fixed $N_c=3$ and $N_f=2$, the dynamically quark mass decreases as we increase $eE$ and near at and above the pseudo-critical electric field $eE_c$, the chiral symmetry is restored and quarks becomes unconfined. The pair production rate $Γ$ becomes stable and grows quickly above $eE_c$. For fixed $N_c=3$ and upon increasing $N_f$ the dynamical mass suppresses and as a result, the $eE_c$ reduces to its smaller values, the pair production rate $Γ$ tends to initiates and grows quickly for smaller values of $eE_c$. In contrast, for fixed $N_f=2$ and upon increasing $N_c$, the dynamical chiral symmetry is restored for larger and larger values of $eE_c$ and at $N_c\geq4$, the transition changes from smooth cross-over to the first order at some critical endpoint ($N_{c,p}, eE_{c,p}$). Consequently, the quark-antiquark production rate $Γ$ needs higher values of $eE_c$ for the stable and quick growth as we increase $N_c$.
Our findings are satisfactory and in agreement with already predicted results for pair production rate (for fixed $N_c=3$ and $N_f=2$) by other reliable effective models of QCD.
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
Reinforcement Learning based Autonomous Multi-Rotor Landing on Moving Platforms
Authors:
Pascal Goldschmid,
Aamir Ahmad
Abstract:
Multi-rotor UAVs suffer from a restricted range and flight duration due to limited battery capacity. Autonomous landing on a 2D moving platform offers the possibility to replenish batteries and offload data, thus increasing the utility of the vehicle. Classical approaches rely on accurate, complex and difficult-to-derive models of the vehicle and the environment. Reinforcement learning (RL) provid…
▽ More
Multi-rotor UAVs suffer from a restricted range and flight duration due to limited battery capacity. Autonomous landing on a 2D moving platform offers the possibility to replenish batteries and offload data, thus increasing the utility of the vehicle. Classical approaches rely on accurate, complex and difficult-to-derive models of the vehicle and the environment. Reinforcement learning (RL) provides an attractive alternative due to its ability to learn a suitable control policy exclusively from data during a training procedure. However, current methods require several hours to train, have limited success rates and depend on hyperparameters that need to be tuned by trial-and-error. We address all these issues in this work. First, we decompose the landing procedure into a sequence of simpler, but similar learning tasks. This is enabled by applying two instances of the same RL based controller trained for 1D motion for controlling the multi-rotor's movement in both the longitudinal and the lateral directions. Second, we introduce a powerful state space discretization technique that is based on i) kinematic modeling of the moving platform to derive information about the state space topology and ii) structuring the training as a sequential curriculum using transfer learning. Third, we leverage the kinematics model of the moving platform to also derive interpretable hyperparameters for the training process that ensure sufficient maneuverability of the multi-rotor vehicle. The training is performed using the tabular RL method Double Q-Learning. Through extensive simulations we show that the presented method significantly increases the rate of successful landings, while requiring less training time compared to other deep RL approaches. Finally, we deploy and demonstrate our algorithm on real hardware. For all evaluation scenarios we provide statistics on the agent's performance.
△ Less
Submitted 16 May, 2024; v1 submitted 25 February, 2023;
originally announced February 2023.
-
Deep OC-SORT: Multi-Pedestrian Tracking by Adaptive Re-Identification
Authors:
Gerard Maggiolino,
Adnan Ahmad,
Jinkun Cao,
Kris Kitani
Abstract:
Motion-based association for Multi-Object Tracking (MOT) has recently re-achieved prominence with the rise of powerful object detectors. Despite this, little work has been done to incorporate appearance cues beyond simple heuristic models that lack robustness to feature degradation. In this paper, we propose a novel way to leverage objects' appearances to adaptively integrate appearance matching i…
▽ More
Motion-based association for Multi-Object Tracking (MOT) has recently re-achieved prominence with the rise of powerful object detectors. Despite this, little work has been done to incorporate appearance cues beyond simple heuristic models that lack robustness to feature degradation. In this paper, we propose a novel way to leverage objects' appearances to adaptively integrate appearance matching into existing high-performance motion-based methods. Building upon the pure motion-based method OC-SORT, we achieve 1st place on MOT20 and 2nd place on MOT17 with 63.9 and 64.9 HOTA, respectively. We also achieve 61.3 HOTA on the challenging DanceTrack benchmark as a new state-of-the-art even compared to more heavily-designed methods. The code and models are available at \url{https://github.com/GerardMaggiolino/Deep-OC-SORT}.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Accelerated Video Annotation driven by Deep Detector and Tracker
Authors:
Eric Price,
Aamir Ahmad
Abstract:
Annotating object ground truth in videos is vital for several downstream tasks in robot perception and machine learning, such as for evaluating the performance of an object tracker or training an image-based object detector. The accuracy of the annotated instances of the moving objects on every image frame in a video is crucially important. Achieving that through manual annotations is not only ver…
▽ More
Annotating object ground truth in videos is vital for several downstream tasks in robot perception and machine learning, such as for evaluating the performance of an object tracker or training an image-based object detector. The accuracy of the annotated instances of the moving objects on every image frame in a video is crucially important. Achieving that through manual annotations is not only very time consuming and labor intensive, but is also prone to high error rate. State-of-the-art annotation methods depend on manually initializing the object bounding boxes only in the first frame and then use classical tracking methods, e.g., adaboost, or kernelized correlation filters, to keep track of those bounding boxes. These can quickly drift, thereby requiring tedious manual supervision. In this paper, we propose a new annotation method which leverages a combination of a learning-based detector (SSD) and a learning-based tracker (RE$^3$). Through this, we significantly reduce annotation drifts, and, consequently, the required manual supervision. We validate our approach through annotation experiments using our proposed annotation method and existing baselines on a set of drone video frames. Source code and detailed information on how to run the annotation program can be found at https://github.com/robot-perception-group/smarter-labelme
△ Less
Submitted 19 February, 2023;
originally announced February 2023.
-
PACNav: A collective navigation approach for UAV swarms deprived of communication and external localization
Authors:
Afzal Ahmad,
Daniel Bonilla Licea,
Giuseppe Silano,
Tomas Baca,
Martin Saska
Abstract:
This article proposes Persistence Administered Collective Navigation (PACNav) as an approach for achieving decentralized collective navigation of Unmanned Aerial Vehicle (UAV) swarms. The technique is based on the flocking and collective navigation behavior observed in natural swarms, such as cattle herds, bird flocks, and even large groups of humans. As global and concurrent information of all sw…
▽ More
This article proposes Persistence Administered Collective Navigation (PACNav) as an approach for achieving decentralized collective navigation of Unmanned Aerial Vehicle (UAV) swarms. The technique is based on the flocking and collective navigation behavior observed in natural swarms, such as cattle herds, bird flocks, and even large groups of humans. As global and concurrent information of all swarm members is not available in natural swarms, these systems use local observations to achieve the desired behavior. Similarly, PACNav relies only on local observations of relative positions of UAVs, making it suitable for large swarms deprived of communication capabilities and external localization systems. We introduce the novel concepts of path persistence and path similarity that allow each swarm member to analyze the motion of other members in order to determine its own future motion. PACNav is based on two main principles: (1) UAVs with little variation in motion direction have high path persistence, and are considered by other UAVs to be reliable leaders; (2) groups of UAVs that move in a similar direction have high path similarity, and such groups are assumed to contain a reliable leader. The proposed approach also embeds a reactive collision avoidance mechanism to avoid collisions with swarm members and environmental obstacles. This collision avoidance ensures safety while reducing deviations from the assigned path. Along with several simulated experiments, we present a real-world experiment in a natural forest, showcasing the validity and effectiveness of the proposed collective navigation approach in challenging environments. The source code is released as open-source, making it possible to replicate the obtained results and facilitate the continuation of research by the community.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Machine Learning based tool for CMS RPC currents quality monitoring
Authors:
E. Shumka,
A. Samalan,
M. Tytgat,
M. El Sawy,
G. A. Alves,
F. Marujo,
E. A. Coelho,
E. M. Da Costa,
H. Nogima,
A. Santoro,
S. Fonseca De Souza,
D. De Jesus Damiao,
M. Thiel,
K. Mota Amarilo,
M. Barroso Ferreira Filho,
A. Aleksandrov,
R. Hadjiiska,
P. Iaydjiev,
M. Rodozov,
M. Shopova,
G. Soultanov,
A. Dimitrov,
L. Litov,
B. Pavlov,
P. Petkov
, et al. (83 additional authors not shown)
Abstract:
The muon system of the CERN Compact Muon Solenoid (CMS) experiment includes more than a thousand Resistive Plate Chambers (RPC). They are gaseous detectors operated in the hostile environment of the CMS underground cavern on the Large Hadron Collider where pp luminosities of up to $2\times 10^{34}$ $\text{cm}^{-2}\text{s}^{-1}$ are routinely achieved. The CMS RPC system performance is constantly m…
▽ More
The muon system of the CERN Compact Muon Solenoid (CMS) experiment includes more than a thousand Resistive Plate Chambers (RPC). They are gaseous detectors operated in the hostile environment of the CMS underground cavern on the Large Hadron Collider where pp luminosities of up to $2\times 10^{34}$ $\text{cm}^{-2}\text{s}^{-1}$ are routinely achieved. The CMS RPC system performance is constantly monitored and the detector is regularly maintained to ensure stable operation. The main monitorable characteristics are dark current, efficiency for muon detection, noise rate etc. Herein we describe an automated tool for CMS RPC current monitoring which uses Machine Learning techniques. We further elaborate on the dedicated generalized linear model proposed already and add autoencoder models for self-consistent predictions as well as hybrid models to allow for RPC current predictions in a distant future.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Understanding the Issues, Their Causes and Solutions in Microservices Systems: An Empirical Study
Authors:
Muhammad Waseem,
Peng Liang,
Aakash Ahmad,
Arif Ali Khan,
Mojtaba Shahin,
Pekka Abrahamsson,
Ali Rezaei Nasab,
Tommi Mikkonen
Abstract:
Many small to large organizations have adopted the Microservices Architecture (MSA) style to develop and deliver their core businesses. Despite the popularity of MSA in the software industry, there is a limited evidence-based and thorough understanding of the types of issues (e.g., errors, faults, failures, and bugs) that microservices system developers experience, the causes of the issues, and th…
▽ More
Many small to large organizations have adopted the Microservices Architecture (MSA) style to develop and deliver their core businesses. Despite the popularity of MSA in the software industry, there is a limited evidence-based and thorough understanding of the types of issues (e.g., errors, faults, failures, and bugs) that microservices system developers experience, the causes of the issues, and the solutions as potential fixing strategies to address the issues. To ameliorate this gap, we conducted a mixed-methods empirical study that collected data from 2,641 issues from the issue tracking systems of 15 open-source microservices systems on GitHub, 15 interviews, and an online survey completed by 150 practitioners from 42 countries across 6 continents. Our analysis led to comprehensive taxonomies for the issues, causes, and solutions. The findings of this study inform that Technical Debt, Continuous Integration and Delivery, Exception Handling, Service Execution and Communication, and Security are the most dominant issues in microservices systems. Furthermore, General Programming Errors, Missing Features and Artifacts, and Invalid Configuration and Communication are the main causes behind the issues. Finally, we found 177 types of solutions that can be applied to fix the identified issues. Based on our study results, we formulated future research directions that could help researchers and practitioners to engineer emergent and next-generation microservices systems.
△ Less
Submitted 11 July, 2023; v1 submitted 3 February, 2023;
originally announced February 2023.
-
An Image captioning algorithm based on the Hybrid Deep Learning Technique (CNN+GRU)
Authors:
Rana Adnan Ahmad,
Muhammad Azhar,
Hina Sattar
Abstract:
Image captioning by the encoder-decoder framework has shown tremendous advancement in the last decade where CNN is mainly used as encoder and LSTM is used as a decoder. Despite such an impressive achievement in terms of accuracy in simple images, it lacks in terms of time complexity and space complexity efficiency. In addition to this, in case of complex images with a lot of information and object…
▽ More
Image captioning by the encoder-decoder framework has shown tremendous advancement in the last decade where CNN is mainly used as encoder and LSTM is used as a decoder. Despite such an impressive achievement in terms of accuracy in simple images, it lacks in terms of time complexity and space complexity efficiency. In addition to this, in case of complex images with a lot of information and objects, the performance of this CNN-LSTM pair downgraded exponentially due to the lack of semantic understanding of the scenes presented in the images. Thus, to take these issues into consideration, we present CNN-GRU encoder decode framework for caption-to-image reconstructor to handle the semantic context into consideration as well as the time complexity. By taking the hidden states of the decoder into consideration, the input image and its similar semantic representations is reconstructed and reconstruction scores from a semantic reconstructor are used in conjunction with likelihood during model training to assess the quality of the generated caption. As a result, the decoder receives improved semantic information, enhancing the caption production process. During model testing, combining the reconstruction score and the log-likelihood is also feasible to choose the most appropriate caption. The suggested model outperforms the state-of-the-art LSTM-A5 model for picture captioning in terms of time complexity and accuracy.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
RPC based tracking system at CERN GIF++ facility
Authors:
K. Mota Amarilo,
A. Samalan,
M. Tytgat,
M. El Sawy,
G. A. Alves,
F. Marujo,
E. A. Coelho,
E. M. Da Costa,
H. Nogima,
A. Santoro,
S. Fonseca De Souza,
D. De Jesus Damiao,
M. Thiel,
M. Barroso Ferreira Filho,
A. Aleksandrov,
R. Hadjiiska,
P. Iaydjiev,
M. Rodozov,
M. Shopova,
G. Soultanov,
A. Dimitrov,
L. Litov,
B. Pavlov,
P. Petkov,
A. Petrov
, et al. (83 additional authors not shown)
Abstract:
With the HL-LHC upgrade of the LHC machine, an increase of the instantaneous luminosity by a factor of five is expected and the current detection systems need to be validated for such working conditions to ensure stable data taking. At the CERN Gamma Irradiation Facility (GIF++) many muon detectors undergo such studies, but the high gamma background can pose a challenge to the muon trigger system…
▽ More
With the HL-LHC upgrade of the LHC machine, an increase of the instantaneous luminosity by a factor of five is expected and the current detection systems need to be validated for such working conditions to ensure stable data taking. At the CERN Gamma Irradiation Facility (GIF++) many muon detectors undergo such studies, but the high gamma background can pose a challenge to the muon trigger system which is exposed to many fake hits from the gamma background. A tracking system using RPCs is implemented to clean the fake hits, taking profit of the high muon efficiency of these chambers. This work will present the tracking system configuration, used detector analysis algorithm and results.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Properties of self-excited pulsations in 3D simulations of AGB stars and red supergiants
Authors:
Arief Ahmad,
Bernd Freytag,
Susanne Höfner
Abstract:
The characteristic variability of cool giants and supergiants is attributed to a combination of stellar pulsation and large-scale convective flows. Full 3D radiation-hydrodynamical modelling is an essential tool for understanding the nature of these dynamical processes. The parameter space in our 3D model grid of red giants has expanded in recent years. These models can provide many insights on th…
▽ More
The characteristic variability of cool giants and supergiants is attributed to a combination of stellar pulsation and large-scale convective flows. Full 3D radiation-hydrodynamical modelling is an essential tool for understanding the nature of these dynamical processes. The parameter space in our 3D model grid of red giants has expanded in recent years. These models can provide many insights on the nature and properties of the pulsations, including the interplay between convection and pulsations. We treat 3D dynamical models of asymptotic giant branch (AGB) stars and red supergiants similar to observational data. We aim to explore the relation between stellar parameters and the properties of the self-excited pulsations. Output from global 'star-in-a-box' models computed with the CO5BOLD radiation-hydrodynamics code were analysed, particularly in regards to the pulsation properties, to find possible correlations with input and emergent stellar parameters. The fast Fourier transform was applied to spherically averaged mass flows to identify possible radial pulsation periods beneath the photosphere of the modelled stars. Stellar parameters were investigated for correlations with the extracted pulsation periods. We find that the pulsation periods varied with the stellar parameters in good agreement with the current expectations. The pulsation periods follow Ritter's period-mean density relation well and our AGB models agree with period-luminosity relations derived from observations. A mass estimate formula was derived from the 3D models, relating the stellar mass to the fundamental mode pulsation period and the stellar radius. While the non-linearity of the interplay between the self-excited pulsations and the self-consistent convection complicates analyses, the resulting correlations are in good agreement with respect to current theoretical and observational understandings.
△ Less
Submitted 4 July, 2024; v1 submitted 14 November, 2022;
originally announced November 2022.
-
An Empirical Study on Secure Usage of Mobile Health Apps: The Attack Simulation Approach
Authors:
Bakheet Aljedaani,
Aakash Ahmad,
Mansooreh Zahedi,
M. Ali Babar
Abstract:
Mobile applications, mobile apps for short, have proven their usefulness in enhancing service provisioning across a multitude of domains that range from smart healthcare, to mobile commerce, and areas of context sensitive computing. In recent years, a number of empirically grounded, survey-based studies have been conducted to investigate secure development and usage of mHealth apps. However, such…
▽ More
Mobile applications, mobile apps for short, have proven their usefulness in enhancing service provisioning across a multitude of domains that range from smart healthcare, to mobile commerce, and areas of context sensitive computing. In recent years, a number of empirically grounded, survey-based studies have been conducted to investigate secure development and usage of mHealth apps. However, such studies rely on self reported behaviors documented via interviews or survey questions that lack a practical, i.e. action based approach to monitor and synthesise users actions and behaviors in security critical scenarios. We conducted an empirical study, engaging participants with attack simulation scenarios and analyse their actions, for investigating the security awareness of mHealth app users via action-based research. We simulated some common security attack scenarios in mHealth context and engaged a total of 105 app users to monitor their actions and analyse their behavior. We analysed users data with statistical analysis including reliability and correlations tests, descriptive analysis, and qualitative data analysis. Our results indicate that whilst the minority of our participants perceived access permissions positively, the majority had negative views by indicating that such an app could violate or cost them to lose privacy. Users provide their consent, granting permissions, without a careful review of privacy policies that leads to undesired or malicious access to health critical data. The results also indicated that 73.3% of our participants had denied at least one access permission, and 36% of our participants preferred no authentication method. The study complements existing research on secure usage of mHealth apps, simulates security threats to monitor users actions, and provides empirically grounded guidelines for secure development and usage of mobile health systems.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Electroencephalography and mild cognitive impairment research: A scoping review and bibliometric analysis (ScoRBA)
Authors:
Adi Wijaya,
Noor Akhmad Setiawan,
Asma Hayati Ahmad,
Rahimah Zakaria,
Zahiruddin Othman
Abstract:
Background: Mild cognitive impairment (MCI) is often considered a precursor to Alzheimer's disease (AD) due to the high rate of progression from MCI to AD. Sensitive neural biomarkers may provide a tool for an accurate MCI diagnosis, enabling earlier and perhaps more effective treatment. Despite the availability of numerous neuroscience techniques, electroencephalography (EEG) is the most popular…
▽ More
Background: Mild cognitive impairment (MCI) is often considered a precursor to Alzheimer's disease (AD) due to the high rate of progression from MCI to AD. Sensitive neural biomarkers may provide a tool for an accurate MCI diagnosis, enabling earlier and perhaps more effective treatment. Despite the availability of numerous neuroscience techniques, electroencephalography (EEG) is the most popular and frequently used tool among researchers due to its low cost and superior temporal resolution. Objective: We conducted a scoping review of EEG and MCI between 2012 and 2022 to track the progression of research in this field. Methods: In contrast to previous scoping reviews, the data charting was aided by co-occurrence analysis using VOSviewer, while data reporting adopted a Patterns, Advances, Gaps, Evidence of Practice, and Research Recommendations (PAGER) framework to increase the quality of the results. Results: Event-related potentials (ERPs) and EEG, epilepsy, quantitative EEG (QEEG), and EEG-based machine learning were the research themes addressed by 2310 peer-reviewed articles on EEG and MCI. Conclusion: Our review identified the main research themes in EEG and MCI with high-accuracy detection of seizure and MCI performed using ERP/EEG, QEEG and EEG-based machine learning frameworks.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
GRB 180325A: dust grain-size distribution and interstellar iron nanoparticles contribution
Authors:
Elizabeth Cappellazzo,
Tayyaba Zafar,
Pablo Corcho-Caballero,
David Alexander Kann,
Ángel López-Sánchez,
Adeel Ahmad
Abstract:
We modelled dust grain-size distributions for carbonaceous and silicates dust, as well as for free-flying iron nanoparticles in the environment of a $γ$-ray burst (GRB) afterglow, GRB 180325A. This GRB, at $z=2.2486$, has an unambiguous detection of the 2175 Å extinction feature with $R_V=4.58$ and $A_V=1.58$. In addition to silicates, polycyclic aromatic hydrocarbons (PAH), and graphite, we used…
▽ More
We modelled dust grain-size distributions for carbonaceous and silicates dust, as well as for free-flying iron nanoparticles in the environment of a $γ$-ray burst (GRB) afterglow, GRB 180325A. This GRB, at $z=2.2486$, has an unambiguous detection of the 2175 Å extinction feature with $R_V=4.58$ and $A_V=1.58$. In addition to silicates, polycyclic aromatic hydrocarbons (PAH), and graphite, we used iron nanoparticles grain-size distributions for the first time to model the observed extinction curve of GRB 180325A. We fit the observed extinction for four model permutations, using 232 sets of silicates, graphite, carbon abundance in hydrocarbon molecules ($b_C$), and fraction of iron abundance in free-flying nanoparticles ($b_{\text{Fe}}$). These four different permutations were chosen to test iron nanoparticles significance and carbon abundance in hydrocarbons. Our results indicate that iron nanoparticles contribution is insignificant and there is a degeneracy of carbon abundances, with the range $(0.0 \leq b_C \leq 0.7)\times10^{-5}$ providing the best-fit to the observed extinction curve of GRB 180325A. We therefore favour the simplest model of silicates and polycyclic aromatic hydrocarbons. The silicates are dominant and contribute to the entire wavelength range of the GRB extinction curve while graphite contributes towards both the 2175 Å bump and the UV extinction. The afterglow peak luminosity ($1.5\times10^{51}$ ergs/s) indicates dust destruction may have taken place. We conclude that further investigations into other potential contributors of extinction are warranted, particularly for steep UV extinction.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.