Showing 1–50 of 106 results for author: Abbas, M

Remarks on b-enriched nonexpansive map**s

Authors: Rizwan Anjum, Mujahid Abbas

Abstract: In this note, we analyzed the concept of enriched nonexpansive which was proposed in "Approximating fixed points of enriched nonexpansive map**s by Krasnoselskij iteration in Hilbert spaces" (Carpathian J. Math., 35(2019), No. 3, 293-304.) Through our analysis, we conclude that the idea of enriched nonexpansive needs reconsideration, as it coincides with well known concept of nonexpansive. Our f… ▽ More In this note, we analyzed the concept of enriched nonexpansive which was proposed in "Approximating fixed points of enriched nonexpansive map**s by Krasnoselskij iteration in Hilbert spaces" (Carpathian J. Math., 35(2019), No. 3, 293-304.) Through our analysis, we conclude that the idea of enriched nonexpansive needs reconsideration, as it coincides with well known concept of nonexpansive. Our findings provide an insights into the existing literature and highlight the need for further investigations and clarifications in the existing literature on a metric-fixed point theory. △ Less

Submitted 3 May, 2024; originally announced May 2024.

MSC Class: 47H09. 47H10

Toward industrial use of continual learning : new metrics proposal for class incremental learning

Authors: Konaté Mohamed Abbas, Anne-Françoise Yao, Thierry Chateau, Pierre Bouges

Abstract: In this paper, we investigate continual learning performance metrics used in class incremental learning strategies for continual learning (CL) using some high performing methods. We investigate especially mean task accuracy. First, we show that it lacks of expressiveness through some simple experiments to capture performance. We show that monitoring average tasks performance is over optimistic and… ▽ More In this paper, we investigate continual learning performance metrics used in class incremental learning strategies for continual learning (CL) using some high performing methods. We investigate especially mean task accuracy. First, we show that it lacks of expressiveness through some simple experiments to capture performance. We show that monitoring average tasks performance is over optimistic and can lead to misleading conclusions for future real life industrial uses. Then, we propose first a simple metric, Minimal Incremental Class Accuracy (MICA) which gives a fair and more useful evaluation of different continual learning methods. Moreover, in order to provide a simple way to easily compare different methods performance in continual learning, we derive another single scalar metric that take into account the learning performance variation as well as our newly introduced metric. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 7 pages, Accepted at IJCNN 2023

Enhancing In-context Learning via Linear Probe Calibration

Authors: Momin Abbas, Yi Zhou, Parikshit Ram, Nathalie Baracaldo, Horst Samulowitz, Theodoros Salonidis, Tianyi Chen

Abstract: In-context learning (ICL) is a new paradigm for natural language processing that utilizes Generative Pre-trained Transformer (GPT)-like models. This approach uses prompts that include in-context demonstrations to generate the corresponding output for a new query input. However, applying ICL in real cases does not scale with the number of samples, and lacks robustness to different prompt templates… ▽ More In-context learning (ICL) is a new paradigm for natural language processing that utilizes Generative Pre-trained Transformer (GPT)-like models. This approach uses prompts that include in-context demonstrations to generate the corresponding output for a new query input. However, applying ICL in real cases does not scale with the number of samples, and lacks robustness to different prompt templates and demonstration permutations. In this paper, we first show that GPT-like models using ICL result in unreliable predictions based on a new metric based on Shannon entropy. Then, to solve this problem, we propose a new technique called the Linear Probe Calibration (LinC), a method that calibrates the model's output probabilities, resulting in reliable predictions and improved performance, while requiring only minimal additional samples (as few as five labeled data samples). LinC significantly enhances the ICL test performance of GPT models on various benchmark datasets, with an average improvement of up to 21%, and up to a 50% improvement in some cases, and significantly boosts the performance of PEFT methods, especially in the low resource regime. Moreover, LinC achieves lower expected calibration error, and is highly robust to varying label proportions, prompt templates, and demonstration permutations. Our code is available at \url{https://github.com/mominabbass/LinC}. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Comments: Accepted at AISTATS2024

Viscous rebound of a quasi-2D cylinder on a solid wall

Authors: Alicia Aguilar-Corona, Micheline Abbas, Matthieu J. Mercier, Laurent Lacaze

Abstract: The purpose of the present study is to extend the simple concept of apparent coefficient of restitution, widely approached in the literature for the case of a single-contact-point between a sphere and a wall, to the case of bouncing whose complexity is increased due to the shape of the contacting object. Experiments are carried out with a finite-length cylinder, freely falling in a liquid at res… ▽ More The purpose of the present study is to extend the simple concept of apparent coefficient of restitution, widely approached in the literature for the case of a single-contact-point between a sphere and a wall, to the case of bouncing whose complexity is increased due to the shape of the contacting object. Experiments are carried out with a finite-length cylinder, freely falling in a liquid at rest. Complex 3D motions of the cylinder with respect to the wall occur during bouncing, including multi-contact-points between the cylinder and the bottom as well as cavitation. We investigate numerical modelling of an idealized situation (2D infinite cylinder falling parallel to the wall) with 2D simulations where the fluid equations of motion were coupled to the particle equation of motion through an Immersed Boundary Method. The particle equation of motion is coupled to an elastic force to model bouncing, requiring a parameterization of the cut-off length (interpreted as a roughness) and the contact time (associated with the contact elasticity) used here to capture the experimental observations. The simulations confirmed that i) the departure of the coefficient of restitution from 0 is strictly dependent on the apparent roughness and ii) the coefficient of restitution depends on the contact time. Finally, we model the coefficient of restitution as the product of two contributions to the mechanical loss of energy: the collision-to-terminal velocity ratio ($V_c/V_t$) of the approach-phase and the rebound-to-collision velocity ratio ($-V_r/V_c$) of the contact-phase. This leads to a reasonably good prediction of the coefficient of restitution in the intermediate regime in $St$. This suggests the relevance of lum** the complex details of physical phenomena involved during contact into a simple concept based on the contact apparent roughness and elasticity. △ Less

Submitted 5 March, 2024; v1 submitted 6 December, 2023; originally announced December 2023.

Comments: 22 pages, 12 figures, submitted to Physical Review Fluids

First Principal Investigations to Explore the Half-metallicity, Structural, Mechanical, and Optoelectronic Properties of Sodium-Based Fluoroperovskites NaYF3 (Y = Sc and Ti) for Applications in Spintronics and Optoelectronics

Authors: Saeed Ullah, Uzma Gul, Saad Tariq, Riaz Ullah, Nasir Rahman, Essam A. Ali, Mudasser Husain, Munawar Abbas, Hafeez Ullah

Abstract: A theoretical investigation was conducted on Na-based fluoro-perovskites NaYF3 (Y = Sc, Ti) to examine their structural, optical, electronic, and mechanical characteristics for the first time. These cubic compounds exhibit structural stability, maintaining perovskite structures with lattice spacing ranging from 4.15 to 4.26 Å. Computation of elastic parameters confirms their stability, ionic bondi… ▽ More A theoretical investigation was conducted on Na-based fluoro-perovskites NaYF3 (Y = Sc, Ti) to examine their structural, optical, electronic, and mechanical characteristics for the first time. These cubic compounds exhibit structural stability, maintaining perovskite structures with lattice spacing ranging from 4.15 to 4.26 Å. Computation of elastic parameters confirms their stability, ionic bonding, ductility, and anisotropy. Computed band profiles reveal the half-metallic nature with indirect (M-Γ) bandgaps for the spin-down configurations. Furthermore, density-of-states analysis highlights the role of Y (Sc, Ti) atoms in the metallic character and conduction band contribution. The lack of absorbance in the visible region highlights the materials' suitability for optoelectronic devices. This investigation aims to provide comprehensive insights and encourage further experimental research. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: 25 pages, 6 figures

MSC Class: cond-mat.mtrl-sci

Pulsed-mode metalorganic vapor-phase epitaxy of GaN on graphene-coated c-sapphire for freestanding GaN thin films

Authors: Seokje Lee, Muhammad S. Abbas, Dongha Yoo, Keundong Lee, Tobiloba G. Fabunmi, Eunsu Lee, Han Ik Kim, Imhwan Kim, Daniel Jang, Sangmin Lee, Jusang Lee, Ki-Tae Park, Changgu Lee, Miyoung Kim, Yun Seog Lee, Celesta S. Chang, Gyu-Chul Yi

Abstract: We report the growth of high-quality GaN epitaxial thin films on graphene-coated c-sapphire substrates using pulsed-mode metalorganic vapor-phase epitaxy, together with the fabrication of freestanding GaN films by simple mechanical exfoliation for transferable light-emitting diodes (LEDs). High-quality GaN films grown on the graphene-coated sapphire substrates were easily lifted off using thermal… ▽ More We report the growth of high-quality GaN epitaxial thin films on graphene-coated c-sapphire substrates using pulsed-mode metalorganic vapor-phase epitaxy, together with the fabrication of freestanding GaN films by simple mechanical exfoliation for transferable light-emitting diodes (LEDs). High-quality GaN films grown on the graphene-coated sapphire substrates were easily lifted off using thermal release tape and transferred onto foreign substrates. Furthermore, we revealed that the pulsed operation of ammonia flow during GaN growth was a critical factor for the fabrication of high-quality freestanding GaN films. These films, exhibiting excellent single crystallinity, were utilized to fabricate transferable GaN LEDs by heteroepitaxially growing InxGa1-xN/GaN multiple quantum wells and a p-GaN layer on the GaN films, showing their potential application in advanced optoelectronic devices. △ Less

Submitted 5 December, 2023; v1 submitted 8 October, 2023; originally announced October 2023.

Comments: This document is the unedited Author's version of a Submitted Work that was subsequently accepted for publication in Nano Letters, copyright 2023 American Chemical Society after peer review. To access the final edited and published work see https://doi.org/10.1021/acs.nanolett.3c03333

DenMune: Density peak based clustering using mutual nearest neighbors

Authors: Mohamed Abbas, Adel El-Zoghobi, Amin Shoukry

Abstract: Many clustering algorithms fail when clusters are of arbitrary shapes, of varying densities, or the data classes are unbalanced and close to each other, even in two dimensions. A novel clustering algorithm, DenMune is presented to meet this challenge. It is based on identifying dense regions using mutual nearest neighborhoods of size K, where K is the only parameter required from the user, besides… ▽ More Many clustering algorithms fail when clusters are of arbitrary shapes, of varying densities, or the data classes are unbalanced and close to each other, even in two dimensions. A novel clustering algorithm, DenMune is presented to meet this challenge. It is based on identifying dense regions using mutual nearest neighborhoods of size K, where K is the only parameter required from the user, besides obeying the mutual nearest neighbor consistency principle. The algorithm is stable for a wide range of values of K. Moreover, it is able to automatically detect and remove noise from the clustering process as well as detecting the target clusters. It produces robust results on various low and high-dimensional datasets relative to several known state-of-the-art clustering algorithms. △ Less

Submitted 23 September, 2023; originally announced September 2023.

Comments: pyMune is a Python package that implements this clustering algorithm proposed in this paper, DenMune. It is opensource and reproducible, doi:10.1016/j.simpa.2023.100564

Journal ref: Pattern Recognition 109 (2021) 107589

Critical Evaluation of Artificial Intelligence as Digital Twin of Pathologist for Prostate Cancer Pathology

Authors: Okyaz Eminaga, Mahmoud Abbas, Christian Kunder, Yuri Tolkach, Ryan Han, James D. Brooks, Rosalie Nolley, Axel Semjonow, Martin Boegemann, Robert West, ** Long, Richard Fan, Olaf Bettendorf

Abstract: Prostate cancer pathology plays a crucial role in clinical management but is time-consuming. Artificial intelligence (AI) shows promise in detecting prostate cancer and grading patterns. We tested an AI-based digital twin of a pathologist, vPatho, on 2,603 histology images of prostate tissue stained with hematoxylin and eosin. We analyzed various factors influencing tumor-grade disagreement betwee… ▽ More Prostate cancer pathology plays a crucial role in clinical management but is time-consuming. Artificial intelligence (AI) shows promise in detecting prostate cancer and grading patterns. We tested an AI-based digital twin of a pathologist, vPatho, on 2,603 histology images of prostate tissue stained with hematoxylin and eosin. We analyzed various factors influencing tumor-grade disagreement between vPatho and six human pathologists. Our results demonstrated that vPatho achieved comparable performance in prostate cancer detection and tumor volume estimation, as reported in the literature. Concordance levels between vPatho and human pathologists were examined. Notably, moderate to substantial agreement was observed in identifying complementary histological features such as ductal, cribriform, nerve, blood vessels, and lymph cell infiltrations. However, concordance in tumor grading showed a decline when applied to prostatectomy specimens (kappa = 0.44) compared to biopsy cores (kappa = 0.70). Adjusting the decision threshold for the secondary Gleason pattern from 5% to 10% improved the concordance level between pathologists and vPatho for tumor grading on prostatectomy specimens (kappa from 0.44 to 0.64). Potential causes of grade discordance included the vertical extent of tumors toward the prostate boundary and the proportions of slides with prostate cancer. Gleason pattern 4 was particularly associated with discordance. Notably, grade discordance with vPatho was not specific to any of the six pathologists involved in routine clinical grading. In conclusion, our study highlights the potential utility of AI in develo** a digital twin of a pathologist. This approach can help uncover limitations in AI adoption and the current grading system for prostate cancer pathology. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: Under Review

Amplification and Excitation of Surface Plasmon Polaritons via Four-Wave Mixing Process

Authors: Andleeb Zahra, Muqaddar Abbas, Rahmat Ullah

Abstract: We suggest a scheme for the excitation and amplification of surface plasmon polaritons (SPPs) along the interface between metal and semiconductor quantum well (SQW), employing a four-wave mixing (FWM) process. The SQW consists of four-level asymmetric double quantum wells that exhibit quantum interference effects, which leads to the coupler-free excitation of SPPs. In our proposed system, the inhe… ▽ More We suggest a scheme for the excitation and amplification of surface plasmon polaritons (SPPs) along the interface between metal and semiconductor quantum well (SQW), employing a four-wave mixing (FWM) process. The SQW consists of four-level asymmetric double quantum wells that exhibit quantum interference effects, which leads to the coupler-free excitation of SPPs. In our proposed system, the inherent losses of SPPs are compensated by introducing gain through the FWM process. This results in a significant enhancement in the propagation length and large penetration depth of SPPs. We further analyze the effect of gain on the long-range and short-range SPPs and observe that the propagation distance and lifetime of both types of SPPs are enhanced. △ Less

Submitted 22 August, 2023; originally announced August 2023.

A data-centric deep learning approach to airway segmentation

Authors: Wing Keung Cheung, Ashkan Pakzad, Nesrin Mogulkoc, Sarah Needleman, Bojidar Rangelov, Eyjolfur Gudmundsson, An Zhao, Mariam Abbas, Davina McLaverty, Dimitrios Asimakopoulos, Robert Chapman, Recep Savas, Sam M Janes, Yipeng Hu, Daniel C. Alexander, John R Hurst, Joseph Jacob

Abstract: The morphology and distribution of airway tree abnormalities enables diagnosis and disease characterisation across a variety of chronic respiratory conditions. In this regard, airway segmentation plays a critical role in the production of the outline of the entire airway tree to enable estimation of disease extent and severity. In this study, we propose a data-centric deep learning technique to se… ▽ More The morphology and distribution of airway tree abnormalities enables diagnosis and disease characterisation across a variety of chronic respiratory conditions. In this regard, airway segmentation plays a critical role in the production of the outline of the entire airway tree to enable estimation of disease extent and severity. In this study, we propose a data-centric deep learning technique to segment the airway tree. The proposed technique utilises interpolation and image split to improve data usefulness and quality. Then, an ensemble learning strategy is implemented to aggregate the segmented airway trees at different scales. In terms of segmentation performance (dice similarity coefficient), our method outperforms the baseline model by 2.5% on average when a combined loss is used. Further, our proposed technique has a low GPU usage and high flexibility enabling it to be deployed on any 2D deep learning model. △ Less

Submitted 29 July, 2023; originally announced August 2023.

Step-GRAND: A Low Latency Universal Soft-input Decoder

Authors: Syed Mohsin Abbas, Marwan Jalaleddine, Chi-Ying Tsui, Warren J. Gross

Abstract: GRAND features both soft-input and hard-input variants that are well suited to efficient hardware implementations that can be characterized with achievable average and worst-case decoding latency. This paper introduces step-GRAND, a soft-input variant of GRAND that, in addition to achieving appealing average decoding latency, also reduces the worst-case decoding latency of the corresponding hardwa… ▽ More GRAND features both soft-input and hard-input variants that are well suited to efficient hardware implementations that can be characterized with achievable average and worst-case decoding latency. This paper introduces step-GRAND, a soft-input variant of GRAND that, in addition to achieving appealing average decoding latency, also reduces the worst-case decoding latency of the corresponding hardware implementation. The hardware implementation results demonstrate that the proposed step-GRAND can decode CA-polar code $(128,105+11)$ with an average information throughput of $47.7$ Gbps at the target FER of $\leq10^{-7}$. Furthermore, the proposed step-GRAND hardware is $10\times$ more area efficient than the previous soft-input ORBGRAND hardware implementation, and its worst-case latency is $\frac{1}{6.8}\times$ that of the previous ORBGRAND hardware. △ Less

Submitted 26 July, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: Submitted to 2023 IEEE Globecom Workshops

Integer Linear Programming Modeling of Addition Sequences With Additional Constraints for Evaluation of Power Terms

Authors: Muhammad Abbas, Oscar Gustafsson

Abstract: In this work, an integer linear programming (ILP) based model is proposed for the computation of a minimal cost addition sequence for a given set of integers. Since exponents are additive under multiplication, the minimal length addition sequence will provide an economical solution for the evaluation of a requested set of power terms. This is turn, finds application in, e.g., window-based exponent… ▽ More In this work, an integer linear programming (ILP) based model is proposed for the computation of a minimal cost addition sequence for a given set of integers. Since exponents are additive under multiplication, the minimal length addition sequence will provide an economical solution for the evaluation of a requested set of power terms. This is turn, finds application in, e.g., window-based exponentiation for cryptography and polynomial evaluation. Not only is an optimal model proposed, the model is extended to consider different costs for multipliers and squarers as well as controlling the depth of the resulting addition sequence. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Comments: This manuscript was written in 2012, and, hence, lacks more recent references

Matched Pair Calibration for Ranking Fairness

Authors: Hannah Korevaar, Chris McConnell, Edmund Tong, Erik Brinkman, Alana Shine, Misam Abbas, Blossom Metevier, Sam Corbett-Davies, Khalid El-Arini

Abstract: We propose a test of fairness in score-based ranking systems called matched pair calibration. Our approach constructs a set of matched item pairs with minimal confounding differences between subgroups before computing an appropriate measure of ranking error over the set. The matching step ensures that we compare subgroup outcomes between identically scored items so that measured performance differ… ▽ More We propose a test of fairness in score-based ranking systems called matched pair calibration. Our approach constructs a set of matched item pairs with minimal confounding differences between subgroups before computing an appropriate measure of ranking error over the set. The matching step ensures that we compare subgroup outcomes between identically scored items so that measured performance differences directly imply unfairness in subgroup-level exposures. We show how our approach generalizes the fairness intuitions of calibration from a binary classification setting to ranking and connect our approach to other proposals for ranking fairness measures. Moreover, our strategy shows how the logic of marginal outcome tests extends to cases where the analyst has access to model scores. Lastly, we provide an example of applying matched pair calibration to a real-word ranking data set to demonstrate its efficacy in detecting ranking bias. △ Less

Submitted 30 November, 2023; v1 submitted 6 June, 2023; originally announced June 2023.

Comments: 19 pages, 8 figures

ACM Class: K.4.1; K.4.2

Sparse logistic regression for RR Lyrae vs binaries classification

Authors: Piero Trevisan, Mario Pasquato, Gaia Carenini, Nicolas Mekhael, Vittorio F. Braga, Giuseppe Bono, Mohamad Abbas

Abstract: RR Lyrae (RRL) are old, low-mass radially pulsating variable stars in their core helium burning phase. They are popular stellar tracers and primary distance indicators, since they obey to well defined period-luminosity relations in the near-infrared regime. Their photometric identification is not trivial, indeed, RRL samples can be contaminated by eclipsing binaries, especially in large datasets p… ▽ More RR Lyrae (RRL) are old, low-mass radially pulsating variable stars in their core helium burning phase. They are popular stellar tracers and primary distance indicators, since they obey to well defined period-luminosity relations in the near-infrared regime. Their photometric identification is not trivial, indeed, RRL samples can be contaminated by eclipsing binaries, especially in large datasets produced by fully automatic pipelines. Interpretable machine-learning approaches for separating eclipsing binaries from RRL are thus needed. Ideally, they should be able to achieve high precision in identifying RRL while generalizing to new data from different instruments. In this paper, we train a simple logistic regression classifier on Catalina Sky Survey (CSS) light curves. It achieves a precision of 87% at 78% recall for the RRL class on unseen CSS light curves. It generalizes on out-of-sample data (ASAS/ASAS-SN light curves) with a precision of 85% at 96% recall. We also considered a L1-regularized version of our classifier, which reaches 90% sparsity in the light-curve features with a limited trade-off in accuracy on our CSS validation set and -- remarkably -- also on the ASAS/ASAS-SN light curve test set. Logistic regression is natively interpretable, and regularization allows us to point out the parts of the light curves that matter the most in classification. We thus achieved both good generalization and full interpretability. △ Less

Submitted 28 April, 2023; v1 submitted 24 April, 2023; originally announced April 2023.

Comments: To appear on The Astrophysical Journal. 13 pages, 8 figures, 3 tables

An alternative simulation approach for surface flashover in vacuum using a 1D2V continuum and kinetic model

Authors: Guang-Yu Sun, Ru-Hui Lian, Shu Zhang, Xiong Yang, Muhammad Farasat Abbas, Chao Wang, Bao-Hong Guo, Bai-Peng Song, Guan-Jun Zhang

Abstract: Surface flashover across insulator in vacuum is a destructive plasma discharge which undermines the behaviors of a range of applications in electrical engineering, particle physics, space engineering, etc. This phenomenon is widely modeled by the particle-in-cell (PIC) simulation, here the continuum and kinetic simulation method is first proposed and implemented as an alternative solution for flas… ▽ More Surface flashover across insulator in vacuum is a destructive plasma discharge which undermines the behaviors of a range of applications in electrical engineering, particle physics, space engineering, etc. This phenomenon is widely modeled by the particle-in-cell (PIC) simulation, here the continuum and kinetic simulation method is first proposed and implemented as an alternative solution for flashover modeling, aiming for the prevention of the unfavorable particle noises in PIC models. The 1D2V (one dimension in space, two dimensions in velocity) kinetic simulation model is constructed. Modeling setup, physical assumptions, and simulation algorithm are presented in detail, and a comparison with the well-known secondary electron emission avalanche (SEEA) analytical expression and existing PIC simulation is made. Obtained kinetic simulation results are consistent with the analytical prediction, and feature noise-free data of surface charge density as well as particle fluxes of primary and secondary electrons. Discrepancies between the two simulation models and analytical predictions are explained. The code is convenient for updating to include additional physical processes, and possible implementations of outgassing and extra plasma species for final breakdown stage are discussed. The proposed continuum and kinetic approach is expected to inspire future flashover modeling studies for the understanding and mitigation. △ Less

Submitted 28 April, 2023; v1 submitted 24 March, 2023; originally announced March 2023.

Making Sense of Failure Logs in an Industrial DevOps Environment

Authors: Muhammad Abbas, Ali Hamayouni, Mahshid Helali Moghadam, Mehrdad Saadatmand, Per Erik Strandberg

Abstract: Processing and reviewing nightly test execution failure logs for large industrial systems is a tedious activity. Furthermore, multiple failures might share one root/common cause during test execution sessions, and the review might therefore require redundant efforts. This paper presents the LogGrouper approach for automated grou** of failure logs to aid root/common cause analysis and for enablin… ▽ More Processing and reviewing nightly test execution failure logs for large industrial systems is a tedious activity. Furthermore, multiple failures might share one root/common cause during test execution sessions, and the review might therefore require redundant efforts. This paper presents the LogGrouper approach for automated grou** of failure logs to aid root/common cause analysis and for enabling the processing of each log group as a batch. LogGrouper uses state-of-art natural language processing and clustering approaches to achieve meaningful log grou**. The approach is evaluated in an industrial setting in both a qualitative and quantitative manner. Results show that LogGrouper produces good quality grou**s in terms of our two evaluation metrics (Silhouette Coefficient and Calinski-Harabasz Index) for clustering quality. The qualitative evaluation shows that experts perceive the groups as useful, and the groups are seen as an initial pointer for root cause analysis and failure assignment. △ Less

Submitted 9 January, 2023; originally announced January 2023.

Comments: Preprint, accepted to ITNG 2023

Modular $A_4$ Symmetry With Three-Moduli and Flavor Problem

Authors: Mohammed Abbas, Shaaban Khalil

Abstract: The modular $A_4$ symmetry with three moduli is investigated. We assign different moduli to charged leptons, neutrinos, and quarks. We analyze these moduli at their fixed points where a residual symmetry exists. We consider two possibilities for right-handed neutrinos. First, they are assumed to be singlets under modular symmetry. In this case, we show that the lepton masses and mixing can be obta… ▽ More The modular $A_4$ symmetry with three moduli is investigated. We assign different moduli to charged leptons, neutrinos, and quarks. We analyze these moduli at their fixed points where a residual symmetry exists. We consider two possibilities for right-handed neutrinos. First, they are assumed to be singlets under modular symmetry. In this case, we show that the lepton masses and mixing can be obtained consistently with experimental observations. Second, they are assigned non-trivially under modular symmetry. We emphasize that a small deviation from their fixed point is required in this case. Finally, the quark masses and mixing are generated correctly around the fixed point of their modulus. In our analysis, we only consider the simple case of weight 2. △ Less

Submitted 12 February, 2024; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: 13 pages, 4 figures

Fixed point results in R-enriched interpolative Kannan pair in R-Convex metric spaces

Authors: Mujahid Abbas, Rizwan Anjum, Shakeela Riasat

Abstract: The purpose of this paper is to introduce the class of R-enriched interpolative Kannan pair and proved a common fixed point result in the context of R-complete convex metric spaces. Some examples are presented to support the concepts introduced herein. Moreover, we study the well-posedness, limit shadowing property and Ulam-Hyers stability of the map**s introduced herein. Our result extend and g… ▽ More The purpose of this paper is to introduce the class of R-enriched interpolative Kannan pair and proved a common fixed point result in the context of R-complete convex metric spaces. Some examples are presented to support the concepts introduced herein. Moreover, we study the well-posedness, limit shadowing property and Ulam-Hyers stability of the map**s introduced herein. Our result extend and generalize several comparable results in the existing literature. △ Less

Submitted 27 September, 2022; originally announced November 2022.

Safe Reinforcement Learning using Data-Driven Predictive Control

Authors: Mahmoud Selim, Amr Alanwar, M. Watheq El-Kharashi, Hazem M. Abbas, Karl H. Johansson

Abstract: Reinforcement learning (RL) algorithms can achieve state-of-the-art performance in decision-making and continuous control tasks. However, applying RL algorithms on safety-critical systems still needs to be well justified due to the exploration nature of many RL algorithms, especially when the model of the robot and the environment are unknown. To address this challenge, we propose a data-driven sa… ▽ More Reinforcement learning (RL) algorithms can achieve state-of-the-art performance in decision-making and continuous control tasks. However, applying RL algorithms on safety-critical systems still needs to be well justified due to the exploration nature of many RL algorithms, especially when the model of the robot and the environment are unknown. To address this challenge, we propose a data-driven safety layer that acts as a filter for unsafe actions. The safety layer uses a data-driven predictive controller to enforce safety guarantees for RL policies during training and after deployment. The RL agent proposes an action that is verified by computing the data-driven reachability analysis. If there is an intersection between the reachable set of the robot using the proposed action, we call the data-driven predictive controller to find the closest safe action to the proposed unsafe action. The safety layer penalizes the RL agent if the proposed action is unsafe and replaces it with the closest safe one. In the simulation, we show that our method outperforms state-of-the-art safe RL methods on the robotics navigation problem for a Turtlebot 3 in Gazebo and a quadrotor in Unreal Engine 4 (UE4). △ Less

Submitted 20 November, 2022; originally announced November 2022.

An Assessment of Safety-Based Driver Behavior Modeling in Microscopic Simulation Utilizing Real-Time Vehicle Trajectories

Authors: Awad Abdelhalim, Montasir Abbas

Abstract: Accurate representation of observed driving behavior is critical for effectively evaluating safety and performance interventions in simulation modeling. In this study, we implement and evaluate a safety-based Optimal Velocity Model (OVM) to provide a high-fidelity replication of safety-critical behavior in microscopic simulation and showcase its implications for safety-focused assessments of traff… ▽ More Accurate representation of observed driving behavior is critical for effectively evaluating safety and performance interventions in simulation modeling. In this study, we implement and evaluate a safety-based Optimal Velocity Model (OVM) to provide a high-fidelity replication of safety-critical behavior in microscopic simulation and showcase its implications for safety-focused assessments of traffic control strategies. A comprehensive simulation model is created for the site of study in PTV VISSIM utilizing detailed vehicle trajectory information extracted from real-time video inference, which are also used to calibrate the parameters of the safety-based OVM to replicate the observed driving behavior in the site of study. The calibrated model is then incorporated as an external driver model that overtakes VISSIM's default Wiedemann 74 model during simulated car-following episodes. The results of the preliminary analysis show the significant improvements achieved by using our model in replicating the existing safety conflicts observed at the site of the study. We then utilize this improved representation of the status quo to assess the potential impact of different scenarios of signal control and speed limit enforcement in reducing those existing conflicts by up to 23%. The results of this study showcase the considerable improvements that can be achieved by utilizing data-driven car-following behavior modeling, and the workflow presented provides an end-to-end, scalable, automated, and generalizable approach for replicating the existing driving behavior observed at a site of interest in microscopic simulation by utilizing vehicle trajectories efficiently extracted via roadside video inference. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Fixed point results of enriched interpolative Kannan type operators with applications

Authors: Mujahid Abbas, Rizwan Anjum, Shakeela Riasat

Abstract: The purpose of this paper is to introduce the class of enriched interpolative Kannan type operators on Banach space that contains the classes of enriched Kannan operators, interpolative Kannan type contraction operators and some other classes of nonlinear operators. Some examples are presented to support the concepts introduced herein. A convergence theorem for the Krasnoselskii iteration method t… ▽ More The purpose of this paper is to introduce the class of enriched interpolative Kannan type operators on Banach space that contains the classes of enriched Kannan operators, interpolative Kannan type contraction operators and some other classes of nonlinear operators. Some examples are presented to support the concepts introduced herein. A convergence theorem for the Krasnoselskii iteration method to approximate fixed point of the enriched interpolative Kannan type operators is proved. We study well-posedness, Ulam-Hyers stability and periodic point property of operators introduced herein. As an application of the main result, variational inequality problem is solved. △ Less

Submitted 27 September, 2022; originally announced September 2022.

A generalized Suzuki Berinde contraction that characterizes Banach spaces

Authors: Mujahid Abbas, Rizwan Anjum, Vladimir Rakočevi\' c

Abstract: We introduce a large class of contractive map**s, called Suzuki Berinde type contraction. We show that any Suzuki Berinde type contraction has a fixed point and characterizes the completeness of the underlying normed space. A fixed point theorem for multivalued map** is also obtained. These results unify, generalize and complement various known comparable results in the literature. We introduce a large class of contractive map**s, called Suzuki Berinde type contraction. We show that any Suzuki Berinde type contraction has a fixed point and characterizes the completeness of the underlying normed space. A fixed point theorem for multivalued map** is also obtained. These results unify, generalize and complement various known comparable results in the literature. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Fixed points of enriched contraction map**s in 2-normed spaces

Authors: Rizwan Anjum, Mujahid Abbas

Abstract: Very recently, Berinde and Păcurar obtained in [V. Berinde and M. Păcurar, Approximating fixed points of enriched contractions in Banach spaces. Journal of Fixed Point Theory and Applications. \textbf{22}(2) (2020), 1--10.] an interesting generalization of the Banach contractive map** principle in the framework of Banach spaces. The aim of this paper is to prove some fixed point theorems which e… ▽ More Very recently, Berinde and Păcurar obtained in [V. Berinde and M. Păcurar, Approximating fixed points of enriched contractions in Banach spaces. Journal of Fixed Point Theory and Applications. \textbf{22}(2) (2020), 1--10.] an interesting generalization of the Banach contractive map** principle in the framework of Banach spaces. The aim of this paper is to prove some fixed point theorems which extend the results of Berinde and Păcurar to the case of 2-normed spaces. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Comments: Accepted

MSC Class: 46B20. 47H09. 47H10

Perov type T-contractive Map**s on Cone b-Metric Spaces with Generalized c-Distance

Authors: Talat Nazir, Mujahid Abbas, Sergei Silvestrov

Abstract: Fixed point results of Perov type map** which satisfy generalized Tcontractive conditions in the setup of cone b-metric spaces associated with generalized c-distance are proved and illustrated by nontrivial examples. Fixed point results of Perov type map** which satisfy generalized Tcontractive conditions in the setup of cone b-metric spaces associated with generalized c-distance are proved and illustrated by nontrivial examples. △ Less

Submitted 20 August, 2022; originally announced August 2022.

Sharp-MAML: Sharpness-Aware Model-Agnostic Meta Learning

Authors: Momin Abbas, Quan Xiao, Lisha Chen, Pin-Yu Chen, Tianyi Chen

Abstract: Model-agnostic meta learning (MAML) is currently one of the dominating approaches for few-shot meta-learning. Albeit its effectiveness, the optimization of MAML can be challenging due to the innate bilevel problem structure. Specifically, the loss landscape of MAML is much more complex with possibly more saddle points and local minimizers than its empirical risk minimization counterpart. To addres… ▽ More Model-agnostic meta learning (MAML) is currently one of the dominating approaches for few-shot meta-learning. Albeit its effectiveness, the optimization of MAML can be challenging due to the innate bilevel problem structure. Specifically, the loss landscape of MAML is much more complex with possibly more saddle points and local minimizers than its empirical risk minimization counterpart. To address this challenge, we leverage the recently invented sharpness-aware minimization and develop a sharpness-aware MAML approach that we term Sharp-MAML. We empirically demonstrate that Sharp-MAML and its computation-efficient variant can outperform the plain-vanilla MAML baseline (e.g., $+3\%$ accuracy on Mini-Imagenet). We complement the empirical study with the convergence rate analysis and the generalization bound of Sharp-MAML. To the best of our knowledge, this is the first empirical and theoretical study on sharpness-aware minimization in the context of bilevel learning. The code is available at https://github.com/mominabbass/Sharp-MAML. △ Less

Submitted 14 August, 2022; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: Note: While finalizing the Github repository, we found an error in the testing script. We have reimplemented the code and updated the results in this version. The new code has been uploaded to Github, and the revision includes tables 1-5 and figures 2-3

GRAND for Rayleigh Fading Channels

Authors: Syed Mohsin Abbas, Marwan Jalaleddine, Warren J. Gross

Abstract: Guessing Random Additive Noise Decoding (GRAND) is a code-agnostic decoding technique for short-length and high-rate channel codes. GRAND tries to guess the channel noise by generating test error patterns (TEPs), and the sequence of the TEPs is the main difference between different GRAND variants. In this work, we extend the application of GRAND to multipath frequency non-selective Rayleigh fading… ▽ More Guessing Random Additive Noise Decoding (GRAND) is a code-agnostic decoding technique for short-length and high-rate channel codes. GRAND tries to guess the channel noise by generating test error patterns (TEPs), and the sequence of the TEPs is the main difference between different GRAND variants. In this work, we extend the application of GRAND to multipath frequency non-selective Rayleigh fading communication channels, and we refer to this GRAND variant as Fading-GRAND. The proposed Fading-GRAND adapts its TEP generation to the fading conditions of the underlying communication channel, outperforming traditional channel code decoders in scenarios with $L$ spatial diversity branches as well as scenarios with no diversity. Numerical simulation results show that the Fading-GRAND outperforms the traditional Berlekamp-Massey (B-M) decoder for decoding BCH code $(127,106)$ and BCH code $(127,113)$ by $\mathbf{0.5\sim6.5}$ dB at a target FER of $10^{-7}$. Similarly, Fading-GRAND outperforms GRANDAB, the hard-input variation of GRAND, by $0.2\sim8$ dB at a target FER of $10^{-7}$ with CRC $(128,104)$ code and RLC $(128,104)$. Furthermore the average complexity of Fading-GRAND, at $\frac{E_b}{N_0}$ corresponding to target FER of $10^{-7}$, is $\frac{1}{2}\times\sim \frac{1}{46}\times$ the complexity of GRANDAB. △ Less

Submitted 30 November, 2022; v1 submitted 29 April, 2022; originally announced May 2022.

Comments: To appear in IEEE Global Communications Conference (GLOBECOM) 2022 Workshops

Journal ref: GLOBECOM 2022 Workshops

Quality Control of Mass-Produced GEM Detectors for the CMS GE1/1 Muon Upgrade

Authors: M. Abbas, M. Abbrescia, H. Abdalla, A. Abdelalim, S. AbuZeid, A. Agapitos, A. Ahmad, A. Ahmed, W. Ahmed, C. Aimè, C. Aruta, I. Asghar, P. Aspell, C. Avila, J. Babbar, Y. Ban, R. Band, S. Bansal, L. Benussi, T. Beyrouthy, V. Bhatnagar, M. Bianco, S. Bianco, K. Black, L. Borgonovi , et al. (157 additional authors not shown)

Abstract: The series of upgrades to the Large Hadron Collider, culminating in the High Luminosity Large Hadron Collider, will enable a significant expansion of the physics program of the CMS experiment. However, the accelerator upgrades will also make the experimental conditions more challenging, with implications for detector operations, triggering, and data analysis. The luminosity of the proton-proton co… ▽ More The series of upgrades to the Large Hadron Collider, culminating in the High Luminosity Large Hadron Collider, will enable a significant expansion of the physics program of the CMS experiment. However, the accelerator upgrades will also make the experimental conditions more challenging, with implications for detector operations, triggering, and data analysis. The luminosity of the proton-proton collisions is expected to exceed $2-3\times10^{34}$~cm$^{-2}$s$^{-1}$ for Run 3 (starting in 2022), and it will be at least $5\times10^{34}$~cm$^{-2}$s$^{-1}$ when the High Luminosity Large Hadron Collider is completed for Run 4. These conditions will affect muon triggering, identification, and measurement, which are critical capabilities of the experiment. To address these challenges, additional muon detectors are being installed in the CMS endcaps, based on Gas Electron Multiplier technology. For this purpose, 161 large triple-Gas Electron Multiplier detectors have been constructed and tested. Installation of these devices began in 2019 with the GE1/1 station and will be followed by two additional stations, GE2/1 and ME0, to be installed in 2023 and 2026, respectively. The assembly and quality control of the GE1/1 detectors were distributed across several production sites around the world. We motivate and discuss the quality control procedures that were developed to standardize the performance of the detectors, and we present the final results of the production. Out of 161 detectors produced, 156 detectors passed all tests, and 144 detectors are now installed in the CMS experiment. The various visual inspections, gas tightness tests, intrinsic noise rate characterizations, and effective gas gain and response uniformity tests allowed the project to achieve this high success rate. △ Less

Submitted 22 March, 2022; originally announced March 2022.

Comments: 45 pages, 39 figures, submitted to Nuclear Instruments and Methods in Physics Research Section A

High-Throughput and Energy-Efficient VLSI Architecture for Ordered Reliability Bits GRAND

Authors: Syed Mohsin Abbas, Thibaud Tonnellier, Furkan Ercan, Marwan Jalaleddine, Warren J. Gross

Abstract: Ultra-reliable low-latency communication (URLLC), a major 5G New-Radio use case, is the key enabler for applications with strict reliability and latency requirements. These applications necessitate the use of short-length and high-rate codes. Guessing Random Additive Noise Decoding (GRAND) is a recently proposed Maximum Likelihood (ML) decoding technique for these short-length and high-rate codes.… ▽ More Ultra-reliable low-latency communication (URLLC), a major 5G New-Radio use case, is the key enabler for applications with strict reliability and latency requirements. These applications necessitate the use of short-length and high-rate codes. Guessing Random Additive Noise Decoding (GRAND) is a recently proposed Maximum Likelihood (ML) decoding technique for these short-length and high-rate codes. Rather than decoding the received vector, GRAND tries to infer the noise that corrupted the transmitted codeword during transmission through the communication channel. As a result, GRAND can decode any code, structured or unstructured. GRAND has hard-input as well as soft-input variants. Among these variants, Ordered Reliability Bits GRAND (ORBGRAND) is a soft-input variant that outperforms hard-input GRAND and is suitable for parallel hardware implementation. This work reports the first hardware architecture for ORBGRAND, which achieves an average throughput of up to $42.5$ Gbps for a code length of $128$ at a target FER of $10^{-7}$. Furthermore, the proposed hardware can be used to decode any code as long as the length and rate constraints are met. In comparison to the GRANDAB, a hard-input variant of GRAND, the proposed architecture enhances decoding performance by at least $2$ dB. When compared to the state-of-the-art fast dynamic successive cancellation flip decoder (Fast-DSCF) using a 5G polar $(128,105)$ code, the proposed ORBGRAND VLSI implementation has $49\times$ higher average throughput, $32\times$ times more energy efficiency, and $5\times$ more area efficiency while maintaining similar decoding performance. △ Less

Submitted 11 March, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

Comments: Accepted for inclusion in IEEE Transactions on Very Large Scale Integration Systems (TVLSI), 2022. For the updated version, please see IEEE Xplore

Journal ref: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2022

List-GRAND: A practical way to achieve Maximum Likelihood Decoding

Authors: Syed Mohsin Abbas, Marwan Jalaleddine, Warren J. Gross

Abstract: Guessing Random Additive Noise Decoding (GRAND) is a recently proposed universal Maximum Likelihood (ML) decoder for short-length and high-rate linear block-codes. Soft-GRAND (SGRAND) is a prominent soft-input GRAND variant, outperforming the other GRAND variants in decoding performance; nevertheless, SGRAND is not suitable for parallel hardware implementation. Ordered Reliability Bits-GRAND (ORBG… ▽ More Guessing Random Additive Noise Decoding (GRAND) is a recently proposed universal Maximum Likelihood (ML) decoder for short-length and high-rate linear block-codes. Soft-GRAND (SGRAND) is a prominent soft-input GRAND variant, outperforming the other GRAND variants in decoding performance; nevertheless, SGRAND is not suitable for parallel hardware implementation. Ordered Reliability Bits-GRAND (ORBGRAND) is another soft-input GRAND variant that is suitable for parallel hardware implementation, however it has lower decoding performance than SGRAND. In this paper, we propose List-GRAND (LGRAND), a technique for enhancing the decoding performance of ORBGRAND to match the ML decoding performance of SGRAND. Numerical simulation results show that LGRAND enhances ORBGRAND's decoding performance by $0.5-0.75$ dB for channel-codes of various classes at a target FER of $10^{-7}$. For linear block codes of length $127/128$ and different code-rates, LGRAND's VLSI implementation can achieve an average information throughput of $47.27-51.36$ Gbps. In comparison to ORBGRAND's VLSI implementation, the proposed LGRAND hardware has a $4.84\%$ area overhead. △ Less

Submitted 2 December, 2022; v1 submitted 24 September, 2021; originally announced September 2021.

Comments: This article has been accepted for publication in IEEE Transactions on Very Large Scale Integration (VLSI) Systems. This is the author's version which has not been fully edited and content may change prior to final publication. Citation information: DOI 10.1109/TVLSI.2022.3223692

Journal ref: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2022

High-Throughput VLSI Architecture for GRAND Markov Order

Authors: Syed Mohsin Abbas, Marwan Jalaleddine, Warren J. Gross

Abstract: Guessing Random Additive Noise Decoding (GRAND) is a recently proposed Maximum Likelihood (ML) decoding technique. Irrespective of the structure of the error correcting code, GRAND tries to guess the noise that corrupted the codeword in order to decode any linear error-correcting block code. GRAND Markov Order (GRAND-MO) is a variant of GRAND that is useful to decode error correcting code transmit… ▽ More Guessing Random Additive Noise Decoding (GRAND) is a recently proposed Maximum Likelihood (ML) decoding technique. Irrespective of the structure of the error correcting code, GRAND tries to guess the noise that corrupted the codeword in order to decode any linear error-correcting block code. GRAND Markov Order (GRAND-MO) is a variant of GRAND that is useful to decode error correcting code transmitted over communication channels with memory which are vulnerable to burst noise. Usually, interleavers and de-interleavers are used in communication systems to mitigate the effects of channel memory. Interleaving and de-interleaving introduce undesirable latency, which increases with channel memory. To prevent this added latency penalty, GRAND-MO can be directly used on the hard demodulated channel signals. This work reports the first GRAND-MO hardware architecture which achieves an average throughput of up to $52$ Gbps and $64$ Gbps for a code length of $128$ and $79$ respectively. Compared to the GRANDAB, hard-input variant of GRAND, the proposed architecture achieves $3$ dB gain in decoding performance for a target FER of $10^{-5}$. Similarly, comparing the GRAND-MO decoder with a decoder tailored for a $(79,64)$ BCH code showed that the proposed architecture achieves 33$\%$ higher worst case throughput and $2$ dB gain in decoding performance. △ Less

Submitted 27 August, 2021; originally announced August 2021.

Comments: 6 pages; Accepted to be Published at 2021 International Workshop on Signal Processing Systems (SiPS)

Performance of a Triple-GEM Demonstrator in $pp$ Collisions at the CMS Detector

Authors: M. Abbas, M. Abbrescia, H. Abdalla, A. Abdelalim, S. AbuZeid, A. Agapitos, A. Ahmad, A. Ahmed, W. Ahmed, C. Aimè, C. Aruta, I. Asghar, P. Aspell, C. Avila, J. Babbar, Y. Ban, R. Band, S. Bansal, L. Benussi, V. Bhatnagar, M. Bianco, S. Bianco, K. Black, L. Borgonovi, O. Bouhali , et al. (156 additional authors not shown)

Abstract: After the Phase-2 high-luminosity upgrade to the Large Hadron Collider (LHC), the collision rate and therefore the background rate will significantly increase, particularly in the high $η$ region. To improve both the tracking and triggering of muons, the Compact Muon Solenoid (CMS) Collaboration plans to install triple-layer Gas Electron Multiplier (GEM) detectors in the CMS muon endcaps. Demonstr… ▽ More After the Phase-2 high-luminosity upgrade to the Large Hadron Collider (LHC), the collision rate and therefore the background rate will significantly increase, particularly in the high $η$ region. To improve both the tracking and triggering of muons, the Compact Muon Solenoid (CMS) Collaboration plans to install triple-layer Gas Electron Multiplier (GEM) detectors in the CMS muon endcaps. Demonstrator GEM detectors were installed in CMS during 2017 to gain operational experience and perform a preliminary investigation of detector performance. We present the results of triple-GEM detector performance studies performed in situ during normal CMS and LHC operations in 2018. The distribution of cluster size and the efficiency to reconstruct high $p_T$ muons in proton--proton collisions are presented as well as the measurement of the environmental background rate to produce hits in the GEM detector. △ Less

Submitted 22 September, 2021; v1 submitted 20 July, 2021; originally announced July 2021.

Comments: 10 pages, 5 figures

Modeling the triple-GEM detector response to background particles for the CMS Experiment

Authors: M. Abbas, M. Abbrescia, H. Abdalla, A. Abdelalim, S. AbuZeid, A. Agapitos, A. Ahmad, A. Ahmed, W. Ahmed, C. Aimè, C. Aruta, I. Asghar, P. Aspell, C. Avila, I. Azhgirey, J. Babbar, Y. Ban, R. Band, S. Bansal, L. Benussi, V. Bhatnagar, M. Bianco, S. Bianco, K. Black, L. Borgonovi , et al. (164 additional authors not shown)

Abstract: An estimate of environmental background hit rate on triple-GEM chambers is performed using Monte Carlo (MC) simulation and compared to data taken by test chambers installed in the CMS experiment (GE1/1) during Run-2 at the Large Hadron Collider (LHC). The hit rate is measured using data collected with proton-proton collisions at 13 TeV and a luminosity of 1.5$\times10^{34}$ cm$^{-2}$ s$^{-1}$. The… ▽ More An estimate of environmental background hit rate on triple-GEM chambers is performed using Monte Carlo (MC) simulation and compared to data taken by test chambers installed in the CMS experiment (GE1/1) during Run-2 at the Large Hadron Collider (LHC). The hit rate is measured using data collected with proton-proton collisions at 13 TeV and a luminosity of 1.5$\times10^{34}$ cm$^{-2}$ s$^{-1}$. The simulation framework uses a combination of the FLUKA and Geant4 packages to obtain the hit rate. FLUKA provides the radiation environment around the GE1/1 chambers, which is comprised of the particle flux with momentum direction and energy spectra ranging from $10^{-11}$ to $10^{4}$ MeV for neutrons, $10^{-3}$ to $10^{4}$ MeV for $γ$'s, $10^{-2}$ to $10^{4}$ MeV for $e^{\pm}$, and $10^{-1}$ to $10^{4}$ MeV for charged hadrons. Geant4 provides an estimate of detector response (sensitivity) based on an accurate description of detector geometry, material composition and interaction of particles with the various detector layers. The MC simulated hit rate is estimated as a function of the perpendicular distance from the beam line and agrees with data within the assigned uncertainties of 10-14.5%. This simulation framework can be used to obtain a reliable estimate of background rates expected at the High Luminosity LHC. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: 16 pages, 9 figures, 6 tables

A Framework for Real-time Traffic Trajectory Tracking, Speed Estimation, and Driver Behavior Calibration at Urban Intersections Using Virtual Traffic Lanes

Authors: Awad Abdelhalim, Montasir Abbas, Bhavi Bharat Kotha, Alfred Wicks

Abstract: In a previous study, we presented VT-Lane, a three-step framework for real-time vehicle detection, tracking, and turn movement classification at urban intersections. In this study, we present a case study incorporating the highly accurate trajectories and movement classification obtained via VT-Lane for the purpose of speed estimation and driver behavior calibration for traffic at urban intersecti… ▽ More In a previous study, we presented VT-Lane, a three-step framework for real-time vehicle detection, tracking, and turn movement classification at urban intersections. In this study, we present a case study incorporating the highly accurate trajectories and movement classification obtained via VT-Lane for the purpose of speed estimation and driver behavior calibration for traffic at urban intersections. First, we use a highly instrumented vehicle to verify the estimated speeds obtained from video inference. The results of the speed validation show that our method can estimate the average travel speed of detected vehicles in real-time with an error of 0.19 m/sec, which is equivalent to 2% of the average observed travel speeds in the intersection of the study. Instantaneous speeds (at the resolution of 30 Hz) were found to be estimated with an average error of 0.21 m/sec and 0.86 m/sec respectively for free-flowing and congested traffic conditions. We then use the estimated speeds to calibrate the parameters of a driver behavior model for the vehicles in the area of study. The results show that the calibrated model replicates the driving behavior with an average error of 0.45 m/sec, indicating the high potential for using this framework for automated, large-scale calibration of car-following models from roadside traffic video data, which can lead to substantial improvements in traffic modeling via microscopic simulation. △ Less

Submitted 18 June, 2021; originally announced June 2021.

RR Lyrae Stars In Stellar Streams with Gaia: The Escapers

Authors: Mohamad Abbas, Eva K. Grebel, Mirko Simunovic

Abstract: We attempt to identify RR Lyrae (RRL) stars in stellar streams that might have escaped from seven globular clusters (GCs) based on proper motions, distances, color-magnitude diagrams, and other properties extracted from the Gaia Early Data Release 3 (EDR3) database. Specifically, we cross-match two large RRL stars catalogs (from Gaia DR2 and Catalina Sky Survey) with each other and with the EDR3 d… ▽ More We attempt to identify RR Lyrae (RRL) stars in stellar streams that might have escaped from seven globular clusters (GCs) based on proper motions, distances, color-magnitude diagrams, and other properties extracted from the Gaia Early Data Release 3 (EDR3) database. Specifically, we cross-match two large RRL stars catalogs (from Gaia DR2 and Catalina Sky Survey) with each other and with the EDR3 database and we end up with a sample of ~ 150,000 unique RRL stars. We calculate distances to RRL stars using the (M_G-[Fe/H]) and (M_V-[Fe/H]) absolute magnitude-metallicity relations and adopt [Fe/H] values for the GCs from different spectroscopic studies. We also constrain our search in areas where stellar streams associated with GCs were previously suggested or identified in other studies. We identify 24 RRL stars that might have escaped from the following seven GCs: Palomar 13 (Pal 13), NGC 6341 (M92), NGC 5904 (M5), NGC 5466, NGC 1261, NGC 288, and NGC 1851. We list our findings in Table 2. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Comments: Accepted for publication in ApJ, 14 pages, 6 figures, 1 table

ClustML: A Measure of Cluster Pattern Complexity in Scatterplots Learnt from Human-labeled Grou**s

Authors: Mostafa M. Abbas, Ehsan Ullah, Abdelkader Baggag, Halima Bensmail, Michael Sedlmair, Michaël Aupetit

Abstract: Visual quality measures (VQMs) are designed to support analysts by automatically detecting and quantifying patterns in visualizations. We propose a new VQM for visual grou** patterns in scatterplots, called ClustML, which is trained on previously collected human subject judgments. Our model encodes scatterplots in the parametric space of a Gaussian Mixture Model and uses a classifier trained on… ▽ More Visual quality measures (VQMs) are designed to support analysts by automatically detecting and quantifying patterns in visualizations. We propose a new VQM for visual grou** patterns in scatterplots, called ClustML, which is trained on previously collected human subject judgments. Our model encodes scatterplots in the parametric space of a Gaussian Mixture Model and uses a classifier trained on human judgment data to estimate the perceptual complexity of grou** patterns. The numbers of initial mixture components and final combined groups. It improves on existing VQMs, first, by better estimating human judgments on two-Gaussian cluster patterns and, second, by giving higher accuracy when ranking general cluster patterns in scatterplots. We use it to analyze kinship data for genome-wide association studies, in which experts rely on the visual analysis of large sets of scatterplots. We make the benchmark datasets and the new VQM available for practical use and further improvements. △ Less

Submitted 1 May, 2024; v1 submitted 1 June, 2021; originally announced June 2021.

Comments: Published in SAGE Information Visualization journal

ACM Class: D.2.8; H.1.2; I.3.6; I.5.1; I.5.2; I.5.3

Journal ref: Information Visualization Journal 23(2) 105-122 (2024)

High-Throughput VLSI architecture for Soft-Decision decoding with ORBGRAND

Authors: Syed Mohsin Abbas, Thibaud Tonnellier, Furkan Ercan, Marwan Jalaleddine, Warren J. Gross

Abstract: Guessing Random Additive Noise Decoding (GRAND) is a recently proposed approximate Maximum Likelihood (ML) decoding technique that can decode any linear error-correcting block code. Ordered Reliability Bits GRAND (ORBGRAND) is a powerful variant of GRAND, which outperforms the original GRAND technique by generating error patterns in a specific order. Moreover, their simplicity at the algorithm lev… ▽ More Guessing Random Additive Noise Decoding (GRAND) is a recently proposed approximate Maximum Likelihood (ML) decoding technique that can decode any linear error-correcting block code. Ordered Reliability Bits GRAND (ORBGRAND) is a powerful variant of GRAND, which outperforms the original GRAND technique by generating error patterns in a specific order. Moreover, their simplicity at the algorithm level renders GRAND family a desirable candidate for applications that demand very high throughput. This work reports the first-ever hardware architecture for ORBGRAND, which achieves an average throughput of up to $42.5$ Gbps for a code length of $128$ at an SNR of $10$ dB. Moreover, the proposed hardware can be used to decode any code provided the length and rate constraints. Compared to the state-of-the-art fast dynamic successive cancellation flip decoder (Fast-DSCF) using a 5G polar $(128,105)$ code, the proposed VLSI implementation has $49\times$ more average throughput while maintaining similar decoding performance. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Comments: Please note that a mislabeling in Fig. 1 has occurred in the IEEE Xplore version of this paper. This error has been corrected in this version of the manuscript. (Accepted in ICASSP 2021)

ARC: A Vision-based Automatic Retail Checkout System

Authors: Syed Talha Bukhari, Abdul Wahab Amin, Muhammad Abdullah Naveed, Muhammad Rzi Abbas

Abstract: Retail checkout systems employed at supermarkets primarily rely on barcode scanners, with some utilizing QR codes, to identify the items being purchased. These methods are time-consuming in practice, require a certain level of human supervision, and involve waiting in long queues. In this regard, we propose a system, that we call ARC, which aims at making the process of check-out at retail store c… ▽ More Retail checkout systems employed at supermarkets primarily rely on barcode scanners, with some utilizing QR codes, to identify the items being purchased. These methods are time-consuming in practice, require a certain level of human supervision, and involve waiting in long queues. In this regard, we propose a system, that we call ARC, which aims at making the process of check-out at retail store counters faster, autonomous, and more convenient, while reducing dependency on a human operator. The approach makes use of a computer vision-based system, with a Convolutional Neural Network at its core, which scans objects placed beneath a webcam for identification. To evaluate the proposed system, we curated an image dataset of one-hundred local retail items of various categories. Within the given assumptions and considerations, the system achieves a reasonable test-time accuracy, pointing towards an ambitious future for the proposed setup. The project code and the dataset are made publicly available. △ Less

Submitted 17 May, 2021; v1 submitted 6 April, 2021; originally announced April 2021.

Comments: Work was done during the academic year 2017-2018 as a Senior Year (undergraduate) Project (thesis)

A Panoramic Survey of Natural Language Processing in the Arab World

Authors: Kareem Darwish, Nizar Habash, Mourad Abbas, Hend Al-Khalifa, Huseein T. Al-Natsheh, Samhaa R. El-Beltagy, Houda Bouamor, Karim Bouzoubaa, Violetta Cavalli-Sforza, Wassim El-Hajj, Mustafa Jarrar, Hamdy Mubarak

Abstract: The term natural language refers to any system of symbolic communication (spoken, signed or written) without intentional human planning and design. This distinguishes natural languages such as Arabic and Japanese from artificially constructed languages such as Esperanto or Python. Natural language processing (NLP) is the sub-field of artificial intelligence (AI) focused on modeling natural languag… ▽ More The term natural language refers to any system of symbolic communication (spoken, signed or written) without intentional human planning and design. This distinguishes natural languages such as Arabic and Japanese from artificially constructed languages such as Esperanto or Python. Natural language processing (NLP) is the sub-field of artificial intelligence (AI) focused on modeling natural languages to build applications such as speech recognition and synthesis, machine translation, optical character recognition (OCR), sentiment analysis (SA), question answering, dialogue systems, etc. NLP is a highly interdisciplinary field with connections to computer science, linguistics, cognitive science, psychology, mathematics and others. Some of the earliest AI applications were in NLP (e.g., machine translation); and the last decade (2010-2020) in particular has witnessed an incredible increase in quality, matched with a rise in public awareness, use, and expectations of what may have seemed like science fiction in the past. NLP researchers pride themselves on develo** language independent models and tools that can be applied to all human languages, e.g. machine translation systems can be built for a variety of languages using the same basic mechanisms and models. However, the reality is that some languages do get more attention (e.g., English and Chinese) than others (e.g., Hindi and Swahili). Arabic, the primary language of the Arab world and the religious language of millions of non-Arab Muslims is somewhere in the middle of this continuum. Though Arabic NLP has many challenges, it has seen many successes and developments. Next we discuss Arabic's main challenges as a necessary background, and we present a brief history of Arabic NLP. We then survey a number of its research areas, and close with a critical discussion of the future of Arabic NLP. △ Less

Submitted 27 September, 2021; v1 submitted 25 November, 2020; originally announced November 2020.

Near-wall forces on a neutrally-buoyant spherical particle in an axisymmetric stagnation-point flow

Authors: Jacques Magnaudet, Micheline Abbas

Abstract: Hydrodynamic forces acting on a neutrally-buoyant spherical particle immersed in a wall-bounded axisymmetric stagnation point flow (Hiemenz-Homann flow) are predicted, based on a suitable form of the reciprocal theorem. An approximate algebraic form of the undisturbed velocity field is set up, mimicking the gradual transition of the actual carrying flow throughout the boundary layer, from a pure l… ▽ More Hydrodynamic forces acting on a neutrally-buoyant spherical particle immersed in a wall-bounded axisymmetric stagnation point flow (Hiemenz-Homann flow) are predicted, based on a suitable form of the reciprocal theorem. An approximate algebraic form of the undisturbed velocity field is set up, mimicking the gradual transition of the actual carrying flow throughout the boundary layer, from a pure linear straining flow in the bulk to a parabolic flow at the wall. The particle Reynolds number is assumed to be small and predictions based on the cree**-flow assumption are first derived. Then, inertial corrections are computed, assuming that the particle stands close enough to the wall for the latter to be in the inner region of the disturbance. Predictions for the time-dependent slip velocity between the particle and ambient fluid are obtained in the form of a differential equation, first assuming that the particle moves along the flow symmetry axis, then extending the analysis to particles released at an arbitrary radial position. In the former case, these predictions are compared with results provided by numerical simulations. When the strain-based Reynolds number (built on the particle radius and strain rate in the bulk) exceeds $0.1$, finite-inertia effects due to particle-wall interactions and to the relative acceleration between the particle and fluid are found to substantially modify the way the slip velocity varies with the distance to the wall. △ Less

Submitted 21 November, 2020; originally announced November 2020.

Comments: 35 pages, 6 figures

Extracting Signals of Higgs Boson From Background Noise Using Deep Neural Networks

Authors: Muhammad Abbas, Asifullah Khan, Aqsa Saeed Qureshi, Muhammad Waleed Khan

Abstract: Higgs boson is a fundamental particle, and the classification of Higgs signals is a well-known problem in high energy physics. The identification of the Higgs signal is a challenging task because its signal has a resemblance to the background signals. This study proposes a Higgs signal classification using a novel combination of random forest, auto encoder and deep auto encoder to build a robust a… ▽ More Higgs boson is a fundamental particle, and the classification of Higgs signals is a well-known problem in high energy physics. The identification of the Higgs signal is a challenging task because its signal has a resemblance to the background signals. This study proposes a Higgs signal classification using a novel combination of random forest, auto encoder and deep auto encoder to build a robust and generalized Higgs boson prediction system to discriminate the Higgs signal from the background noise. The proposed ensemble technique is based on achieving diversity in the decision space, and the results show good discrimination power on the private leaderboard; achieving an area under the Receiver Operating Characteristic curve of 0.9 and an Approximate Median Significance score of 3.429. △ Less

Submitted 16 October, 2020; originally announced October 2020.

Comments: Figures: 2, Table: 1

Interstrip Capacitances of the Readout Board used in Large Triple-GEM Detectors for the CMS Muon Upgrade

Authors: M. Abbas, M. Abbrescia, H. Abdalla, A. Abdelalim, S. AbuZeid, A. Agapitos, A. Ahmad, A. Ahmed, W. Ahmed, C. Aimè, C. Aruta, I. Asghar, P. Aspell, C. Avila, J. Babbar, Y. Ban, R. Band, S. Bansal, L. Benussi, V. Bhatnagar, M. Bianco, S. Bianco, K. Black, L. Borgonovi, O. Bouhali , et al. (156 additional authors not shown)

Abstract: We present analytical calculations, Finite Element Analysis modeling, and physical measurements of the interstrip capacitances for different potential strip geometries and dimensions of the readout boards for the GE2/1 triple-Gas Electron Multiplier detector in the CMS muon system upgrade. The main goal of the study is to find configurations that minimize the interstrip capacitances and consequent… ▽ More We present analytical calculations, Finite Element Analysis modeling, and physical measurements of the interstrip capacitances for different potential strip geometries and dimensions of the readout boards for the GE2/1 triple-Gas Electron Multiplier detector in the CMS muon system upgrade. The main goal of the study is to find configurations that minimize the interstrip capacitances and consequently maximize the signal-to-noise ratio for the detector. We find agreement at the 1.5--4.8% level between the two methods of calculations and on the average at the 17% level between calculations and measurements. A configuration with halved strip lengths and doubled strip widths results in a measured 27--29% reduction over the original configuration while leaving the total number of strips unchanged. We have now adopted this design modification for all eight module types of the GE2/1 detector and will produce the final detector with this new strip design. △ Less

Submitted 20 September, 2020; originally announced September 2020.

Comments: 22 pages, 14 figures

Journal ref: 2020 JINST 15 P12019

Vehicle Class, Speed, and Roadway Geometry Based Driver Behavior Identification and Classification

Authors: Awad Abdelhalim, Montasir Abbas

Abstract: This paper focuses on the study of the impact that the class of the vehicle, leading heavy vehicles in particular, causes on the following vehicle's behavior, specifically in terms of the bumper-to-bumper distance (gap) between the following and leading vehicles. This was done by extracting and analyzing different car-following episodes from the Next Generation Simulation (NGSIM) dataset for Inter… ▽ More This paper focuses on the study of the impact that the class of the vehicle, leading heavy vehicles in particular, causes on the following vehicle's behavior, specifically in terms of the bumper-to-bumper distance (gap) between the following and leading vehicles. This was done by extracting and analyzing different car-following episodes from the Next Generation Simulation (NGSIM) dataset for Interstate 80 (I 80) in Emeryville, California, USA. The results of the statistical analysis are compared to that of the synthesized literature of research efforts that have been conducted on the topic, then are further assessed utilizing different behavioral clusters for the Gazis-Herman-Rothery (GHR) car-following model calibrated from naturalistic driving data. We assess the similarities and differences in car-following behavior between drivers of the same vehicle class, validating the results of the statistical analysis and highlighting possible future implementations for improved modeling in microscopic simulation. △ Less

Submitted 15 July, 2021; v1 submitted 16 September, 2020; originally announced September 2020.

A Chirality-Based Quantum Leap

Authors: Clarice D. Aiello, Muneer Abbas, John M. Abendroth, Andrei Afanasev, Shivang Agarwal, Amartya S. Banerjee, David N. Beratan, Jason N. Belling, Bertrand Berche, Antia Botana, Justin R. Caram, Giuseppe Luca Celardo, Gianaurelio Cuniberti, Aitzol Garcia-Etxarri, Arezoo Dianat, Ismael Diez-Perez, Yuqi Guo, Rafael Gutierrez, Carmen Herrmann, Joshua Hihath, Suneet Kale, Philip Kurian, Ying-Cheng Lai, Alexander Lopez, Ernesto Medina , et al. (19 additional authors not shown)

Abstract: Chiral degrees of freedom occur in matter and in electromagnetic fields and constitute an area of research that is experiencing renewed interest driven by recent observations of the chiral-induced spin selectivity (CISS) effect in chiral molecules and engineered nanomaterials. The CISS effect underpins the fact that charge transport through nanoscopic chiral structures favors a particular electron… ▽ More Chiral degrees of freedom occur in matter and in electromagnetic fields and constitute an area of research that is experiencing renewed interest driven by recent observations of the chiral-induced spin selectivity (CISS) effect in chiral molecules and engineered nanomaterials. The CISS effect underpins the fact that charge transport through nanoscopic chiral structures favors a particular electronic spin orientation, resulting in large room-temperature spin polarizations. Observations of the CISS effect suggest opportunities for spin control and for the design and fabrication of room-temperature quantum devices from the bottom up, with atomic-scale precision. Any technology that relies on optimal charge transport, including quantum devices for logic, sensing, and storage, may benefit from chiral quantum properties. These properties can be theoretically and experimentally investigated from a quantum information perspective, which is presently lacking. There are uncharted implications for the quantum sciences once chiral couplings can be engineered to control the storage, transduction, and manipulation of quantum information. This forward-looking perspective provides a survey of the experimental and theoretical fundamentals of chiral-influenced quantum effects, and presents a vision for their future roles in enabling room-temperature quantum technologies. △ Less

Submitted 11 November, 2021; v1 submitted 31 August, 2020; originally announced September 2020.

High Accuracy Traffic Light Controller for Increasing the Given Green Time Utilization

Authors: Maythem K. Abbas, Mohd N. Karsiti, Madzlan Napiah, Brahim B. Samir, Marwan Al-Jemeli

Abstract: Traffic congestion has become one of the major problems in the urban cities according to the increasing number of vehicles in those cities, obsolete technologies used on the roads of those cities, inappropriate road design, and many other reasons. So, that has urged the need for a more accurate traffic light controlling system; one that will help in maintaining high stability at all levels of dema… ▽ More Traffic congestion has become one of the major problems in the urban cities according to the increasing number of vehicles in those cities, obsolete technologies used on the roads of those cities, inappropriate road design, and many other reasons. So, that has urged the need for a more accurate traffic light controlling system; one that will help in maintaining high stability at all levels of demand. This paper introduces a dynamic traffic light phase plan protocol for Single-Isolated Intersections. The developed controlling method was compared with four other methods and showed a good performance in terms of reducing the average and maximum queue lengths, optimizing the given green time amount as needed, and increased the intersections throughput (increased the given green time utilization). In addition, it maintained a good traffic light stability at all levels of demand. △ Less

Submitted 31 August, 2020; originally announced August 2020.

Comments: 21 pages Journal Paper

Report number: 41

Journal ref: Computers and Electrical Engineering, 2015

A Novel Multiple Ensemble Learning Models Based on Different Datasets for Software Defect Prediction

Authors: Ali Nawaz, Attique Ur Rehman, Muhammad Abbas

Abstract: Software testing is one of the important ways to ensure the quality of software. It is found that testing cost more than 50% of overall project cost. Effective and efficient software testing utilizes the minimum resources of software. Therefore, it is important to construct the procedure which is not only able to perform the efficient testing but also minimizes the utilization of project resources… ▽ More Software testing is one of the important ways to ensure the quality of software. It is found that testing cost more than 50% of overall project cost. Effective and efficient software testing utilizes the minimum resources of software. Therefore, it is important to construct the procedure which is not only able to perform the efficient testing but also minimizes the utilization of project resources. The goal of software testing is to find maximum defects in the software system. More the defects found in the software ensure more efficiency is the software testing Different techniques have been proposed to detect the defects in software and to utilize the resources and achieve good results. As world is continuously moving toward data driven approach for making important decision. Therefore, in this research paper we performed the machine learning analysis on the publicly available datasets and tried to achieve the maximum accuracy. The major focus of the paper is to apply different machine learning techniques on the datasets and find out which technique produce efficient result. Particularly, we proposed an ensemble learning models and perform comparative analysis among KNN, Decision tree, SVM and Naïve Bayes on different datasets and it is demonstrated that performance of Ensemble method is more than other methods in term of accuracy, precision, recall and F1-score. The classification accuracy of ensemble model trained on CM1 is 98.56%, classification accuracy of ensemble model trained on KM2 is 98.18% similarly, the classification accuracy of ensemble learning model trained on PC1 is 99.27%. This reveals that Ensemble is more efficient method for making the defect prediction as compared other techniques. △ Less

Submitted 30 August, 2020; originally announced August 2020.

Role of Project Management in Virtual Teams Success

Authors: Attique Ur Rehman, Ali Nawaz, Muhammad Abbas

Abstract: A virtual team is a group of geographically distant people who work together to achieve a shared goal for a common organization. From the past few years this concept has been evolved and has emerged the idea of global project management. Virtual teams have been beneficial in cost reduction; hiring competent work force and improving globalization. Although virtual teams are beneficial for an organi… ▽ More A virtual team is a group of geographically distant people who work together to achieve a shared goal for a common organization. From the past few years this concept has been evolved and has emerged the idea of global project management. Virtual teams have been beneficial in cost reduction; hiring competent work force and improving globalization. Although virtual teams are beneficial for an organization; but they are hard to manage and control successfully. There can be several challenges like cultural issues; different time zones and communication gap. These challenges are not hard to manage; and we can overcome these challenges using effective project management skills. These skills will become the success factors for making virtual teams successful and will be determined by comparison of the survey results of traditional and virtual teams. △ Less

Submitted 30 August, 2020; originally announced August 2020.

Journal ref: iKSP Journal of Computer Science and Engineering. 1, 2 (Feb. 2021), 43-51 (2021)

Agile Methods: Testing Challenges, Solutions & Tool Support

Authors: Attique Ur Rehman, Ali Nawaz, Muhammad Abbas

Abstract: Agile development is conventional these days and with the passage of time software developers are rapidly moving from Waterfall to Agile development. Agile methods focus on delivering executable code quickly by increasing the responsiveness of software companies while decreasing development overhead and consider people as the strongest pillar of software development. As agile development overshado… ▽ More Agile development is conventional these days and with the passage of time software developers are rapidly moving from Waterfall to Agile development. Agile methods focus on delivering executable code quickly by increasing the responsiveness of software companies while decreasing development overhead and consider people as the strongest pillar of software development. As agile development overshadows Waterfall methodologies for software development, it comes up with some distinct challenges related to testing of such software. Our study is going to discuss the challenges this approach has stirred up. Some of the challenges are discussed in this paper with possible solutions and approaches used for resolving these challenges. Also, the tools in practice are mentioned to improve the efficiency of the process. △ Less

Submitted 30 August, 2020; originally announced August 2020.

Journal ref: 2020 14th International Conference on Open Source Systems and Technologies (ICOSST), Lahore, Pakistan, 2020, pp. 1-5

Integrated Self-Organized Traffic Light Controllers for Signalized Intersections

Authors: Maythem K. Abbas, Mohd Noh Karsiti, Madzlan Napiah, Samir Brahim

Abstract: Detecting emergency vehicles arrival on roads has been the focus for many researchers. It is quite important to detect the emergency vehicles (e.g; ambulance) arrival to traffic light to give the green light for it to pass through. Many researchers have suggested and patented emergency vehicles detection systems however, according to our knowledge, none of them considered solving the effect of giv… ▽ More Detecting emergency vehicles arrival on roads has been the focus for many researchers. It is quite important to detect the emergency vehicles (e.g; ambulance) arrival to traffic light to give the green light for it to pass through. Many researchers have suggested and patented emergency vehicles detection systems however, according to our knowledge, none of them considered solving the effect of giving extra green time to a road while the queues are being built on others. This paper considers the problem of finding a better traffic light phase plan to stabilize/recover the situation at an effected intersection after solving an emergency vehicle existence. A hardware setup and a novel messaging protocol have been suggested to be set on roads and vehicles to collect roads real time data. In addition, a novel decision making protocol has been created to make the use of the collected data for making a better traffic light phase plan for an intersection. The phase plan has two main decisions to be made; which light has a higher priority to be green in the next phase, and how long the green phase should be. After simulating the proposed system using our customized simulator written in Matlab programing language and comparing its performance with other related works, significant enhancements have been observed in terms of stabilizing the queue lengths at an intersection after solving an emergency case. △ Less

Submitted 25 August, 2020; originally announced August 2020.

Journal ref: International Review of Automatic Control 2013

Four-point boundary value problems for a coupled system of fractional differential equations with $ψ$-Caputo fractional derivatives

Authors: Mohamed I. Abbas

Abstract: In this paper, we focus on the existence and uniqueness of solutions of boundary value problems for a coupled system of fractional differential equations with four-point boundary conditions involving $ψ$-Caputo fractional derivatives. Our investigation is based on Leray-Schauder alternative and Banach's fixed point theorem. Two examples are presented to illustrate the applicability of the results… ▽ More In this paper, we focus on the existence and uniqueness of solutions of boundary value problems for a coupled system of fractional differential equations with four-point boundary conditions involving $ψ$-Caputo fractional derivatives. Our investigation is based on Leray-Schauder alternative and Banach's fixed point theorem. Two examples are presented to illustrate the applicability of the results developed. △ Less

Submitted 10 July, 2020; originally announced July 2020.

Comments: 15 pages

MSC Class: 34A08; 34A12; 34B15

High-Throughput VLSI Architecture for GRAND

Authors: Syed Mohsin Abbas, Thibaud Tonnellier, Furkan Ercan, Warren J. Gross

Abstract: Guessing Random Additive Noise Decoding (GRAND) is a recently proposed universal decoding algorithm for linear error correcting codes. Since GRAND does not depend on the structure of the code, it can be used for any code encountered in contemporary communication standards or may even be used for random linear network coding. This property makes this new algorithm particularly appealing. Instead of… ▽ More Guessing Random Additive Noise Decoding (GRAND) is a recently proposed universal decoding algorithm for linear error correcting codes. Since GRAND does not depend on the structure of the code, it can be used for any code encountered in contemporary communication standards or may even be used for random linear network coding. This property makes this new algorithm particularly appealing. Instead of trying to decode the received vector, GRAND attempts to identify the noise that corrupted the codeword. To that end, GRAND relies on the generation of test error patterns that are successively applied to the received vector. In this paper, we propose the first hardware architecture for the GRAND algorithm. Considering GRAND with ABandonment (GRANDAB) that limits the number of test patterns, the proposed architecture only needs $2+\sum_{i=2}^{n} \left\lfloor\frac{i}{2}\right\rfloor$ time steps to perform the $\sum_{i=1}^3 \binom{n}{i}$ queries required when $\text{AB}=3$. For a code length of $128$, our proposed hardware architecture demonstrates only a fraction ($1.2\%$) of the total number of performed queries as time steps. Synthesis result using TSMC 65nm CMOS technology shows that average throughputs of $32$ Gbps to $64$ Gbps can be achieved at an SNR of $10$ dB for a code length of $128$ and code rates rate higher than $0.75$, transmitted over an AWGN channel. Comparisons with a decoder tailored for a $(79,64)$ BCH code show that the proposed architecture can achieve a slightly higher average throughput at high SNRs, while obtaining the same decoding performance. △ Less

Submitted 14 July, 2020; originally announced July 2020.

Comments: 6 pages, 6 figures, submitted to SiPS 2020