-
Enhancing Language Learning through Technology: Introducing a New English-Azerbaijani (Arabic Script) Parallel Corpus
Authors:
Jalil Nourmohammadi Khiarak,
Ammar Ahmadi,
Taher Ak-bari Saeed,
Meysam Asgari-Chenaghlu,
Toğrul Atabay,
Mohammad Reza Baghban Karimi,
Ismail Ceferli,
Farzad Hasanvand,
Seyed Mahboub Mousavi,
Morteza Noshad
Abstract:
This paper introduces a pioneering English-Azerbaijani (Arabic Script) parallel corpus, designed to bridge the technological gap in language learning and machine translation (MT) for under-resourced languages. Consisting of 548,000 parallel sentences and approximately 9 million words per language, this dataset is derived from diverse sources such as news articles and holy texts, aiming to enhance…
▽ More
This paper introduces a pioneering English-Azerbaijani (Arabic Script) parallel corpus, designed to bridge the technological gap in language learning and machine translation (MT) for under-resourced languages. Consisting of 548,000 parallel sentences and approximately 9 million words per language, this dataset is derived from diverse sources such as news articles and holy texts, aiming to enhance natural language processing (NLP) applications and language education technology. This corpus marks a significant step forward in the realm of linguistic resources, particularly for Turkic languages, which have lagged in the neural machine translation (NMT) revolution. By presenting the first comprehensive case study for the English-Azerbaijani (Arabic Script) language pair, this work underscores the transformative potential of NMT in low-resource contexts. The development and utilization of this corpus not only facilitate the advancement of machine translation systems tailored for specific linguistic needs but also promote inclusive language learning through technology. The findings demonstrate the corpus's effectiveness in training deep learning MT systems and underscore its role as an essential asset for researchers and educators aiming to foster bilingual education and multilingual communication. This research covers the way for future explorations into NMT applications for languages lacking substantial digital resources, thereby enhancing global language education frameworks. The Python package of our code is available at https://pypi.org/project/chevir-kartalol/, and we also have a website accessible at https://translate.kartalol.com/.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
An AI-enabled Bias-Free Respiratory Disease Diagnosis Model using Cough Audio: A Case Study for COVID-19
Authors:
Tabish Saeed,
Aneeqa Ijaz,
Ismail Sadiq,
Haneya N. Qureshi,
Ali Rizwan,
Ali Imran
Abstract:
Cough-based diagnosis for Respiratory Diseases (RDs) using Artificial Intelligence (AI) has attracted considerable attention, yet many existing studies overlook confounding variables in their predictive models. These variables can distort the relationship between cough recordings (input data) and RD status (output variable), leading to biased associations and unrealistic model performance. To addr…
▽ More
Cough-based diagnosis for Respiratory Diseases (RDs) using Artificial Intelligence (AI) has attracted considerable attention, yet many existing studies overlook confounding variables in their predictive models. These variables can distort the relationship between cough recordings (input data) and RD status (output variable), leading to biased associations and unrealistic model performance. To address this gap, we propose the Bias Free Network (RBFNet), an end to end solution that effectively mitigates the impact of confounders in the training data distribution. RBFNet ensures accurate and unbiased RD diagnosis features, emphasizing its relevance by incorporating a COVID19 dataset in this study. This approach aims to enhance the reliability of AI based RD diagnosis models by navigating the challenges posed by confounding variables. A hybrid of a Convolutional Neural Networks (CNN) and Long-Short Term Memory (LSTM) networks is proposed for the feature encoder module of RBFNet. An additional bias predictor is incorporated in the classification scheme to formulate a conditional Generative Adversarial Network (cGAN) which helps in decorrelating the impact of confounding variables from RD prediction. The merit of RBFNet is demonstrated by comparing classification performance with State of The Art (SoTA) Deep Learning (DL) model (CNN LSTM) after training on different unbalanced COVID-19 data sets, created by using a large scale proprietary cough data set. RBF-Net proved its robustness against extremely biased training scenarios by achieving test set accuracies of 84.1%, 84.6%, and 80.5% for the following confounding variables gender, age, and smoking status, respectively. RBF-Net outperforms the CNN-LSTM model test set accuracies by 5.5%, 7.7%, and 8.2%, respectively
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Reimagining Application User Interface (UI) Design using Deep Learning Methods: Challenges and Opportunities
Authors:
Subtain Malik,
Muhammad Tariq Saeed,
Marya Jabeen Zia,
Shahzad Rasool,
Liaquat Ali Khan,
Mian Ilyas Ahmed
Abstract:
In this paper, we present a review of the recent work in deep learning methods for user interface design. The survey encompasses well known deep learning techniques (deep neural networks, convolutional neural networks, recurrent neural networks, autoencoders, and generative adversarial networks) and datasets widely used to design user interface applications. We highlight important problems and eme…
▽ More
In this paper, we present a review of the recent work in deep learning methods for user interface design. The survey encompasses well known deep learning techniques (deep neural networks, convolutional neural networks, recurrent neural networks, autoencoders, and generative adversarial networks) and datasets widely used to design user interface applications. We highlight important problems and emerging research frontiers in this field. We believe that the use of deep learning for user interface design automation tasks could be one of the high potential fields for the advancement of the software development industry.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Effect of Multipole Moments in the Weak Field Limit of a Black Hole Plus Halo Potential
Authors:
F. L. Dubeibe,
Tareq Saeed,
Euaggelos E. Zotos
Abstract:
In this paper, we consider a Newtonian system whose relativistic counterpart describes a superimposed halo with a black hole. Our aim is to determine how the quadrupole and octupole moments affect the nature of the motion of a test particle, moving in the close vicinity of the black hole. The different types of trajectories for the test particle are mainly classified as bounded, collisional, and e…
▽ More
In this paper, we consider a Newtonian system whose relativistic counterpart describes a superimposed halo with a black hole. Our aim is to determine how the quadrupole and octupole moments affect the nature of the motion of a test particle, moving in the close vicinity of the black hole. The different types of trajectories for the test particle are mainly classified as bounded, collisional, and esca**, by using modern color-coded basin diagrams. Moreover, an additional analysis is carried out for distinguishing between the different types of bounded motion (regular, sticky, and chaotic). Our results strongly indicate that the multipole moments, along with the total orbital energy, highly affect the final state of the test particle, while at the same time the basin geometry of the phase space tends to be highly dominated by collision and escape orbits.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Orbit classification in a disk galaxy model with a pseudo-Newtonian central black hole
Authors:
Euaggelos E. Zotos,
F. L. Dubeibe,
André F. Steklain,
Tareq Saeed
Abstract:
We numerically investigate the motion of stars on the meridional plane of an axially symmetric disk galaxy model, containing a central supermassive black hole, represented by the Paczynski-Wiita potential. By using this pseudo-Newtonian potential we can replicate important relativistic properties, such as the existence of the Schwarzschild radius. After classifying extensive samples of initial con…
▽ More
We numerically investigate the motion of stars on the meridional plane of an axially symmetric disk galaxy model, containing a central supermassive black hole, represented by the Paczynski-Wiita potential. By using this pseudo-Newtonian potential we can replicate important relativistic properties, such as the existence of the Schwarzschild radius. After classifying extensive samples of initial conditions of trajectories, we manage to distinguish between collisional, ordered, and chaotic motion. Besides, all starting conditions of regular orbits are further classified into families of regular orbits. Our results are presented through modern color-coded basin diagrams on several types of two-dimensional planes. Our analysis reveals that both the mass of the black hole (in direct relation with the Schwarzschild radius) as well as the angular momentum play an important role in the character of orbits of stars. More specifically, the trajectories of low angular momentum stars are highly affected by the mass of the black hole, while high angular momentum stars seem to be unaffected by the central black hole. Comparison with previous related outcomes, using Newtonian potentials for the central region of the galaxy, is also made.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Control of COVID-19 dynamics through a fractional-order model
Authors:
Samia Bushnaq,
Tareq Saeed,
Delfim F. M. Torres,
Anwar Zeb
Abstract:
We investigate, through a fractional mathematical model, the effects of physical distance on the SARS-CoV-2 virus transmission. Two controls are considered in our model for eradication of the spread of COVID-19: media education, through campaigns explaining the importance of social distancing, use of face masks, etc., towards all population, while the second one is quarantine social isolation of t…
▽ More
We investigate, through a fractional mathematical model, the effects of physical distance on the SARS-CoV-2 virus transmission. Two controls are considered in our model for eradication of the spread of COVID-19: media education, through campaigns explaining the importance of social distancing, use of face masks, etc., towards all population, while the second one is quarantine social isolation of the exposed individuals. A general fractional order optimal control problem, and associated optimality conditions of Pontryagin type, are discussed, with the goal to minimize the number of susceptible and infected while maximizing the number of recovered. The extremals are then numerically obtained.
△ Less
Submitted 12 February, 2021;
originally announced February 2021.
-
Benford's law: what does it say on adversarial images?
Authors:
João G. Zago,
Fabio L. Baldissera,
Eric A. Antonelo,
Rodrigo T. Saad
Abstract:
Convolutional neural networks (CNNs) are fragile to small perturbations in the input images. These networks are thus prone to malicious attacks that perturb the inputs to force a misclassification. Such slightly manipulated images aimed at deceiving the classifier are known as adversarial images. In this work, we investigate statistical differences between natural images and adversarial ones. More…
▽ More
Convolutional neural networks (CNNs) are fragile to small perturbations in the input images. These networks are thus prone to malicious attacks that perturb the inputs to force a misclassification. Such slightly manipulated images aimed at deceiving the classifier are known as adversarial images. In this work, we investigate statistical differences between natural images and adversarial ones. More precisely, we show that employing a proper image transformation and for a class of adversarial attacks, the distribution of the leading digit of the pixels in adversarial images deviates from Benford's law. The stronger the attack, the more distant the resulting distribution is from Benford's law. Our analysis provides a detailed investigation of this new approach that can serve as a basis for alternative adversarial example detection methods that do not need to modify the original CNN classifier neither work on the raw high-dimensional pixels as features to defend against attacks.
△ Less
Submitted 5 March, 2023; v1 submitted 8 February, 2021;
originally announced February 2021.
-
Workload Characterization of Programmable Metasurfaces
Authors:
Taqwa Saeed,
Sergi Abadal,
Christos Liaskos,
Andreas Pitsillides,
Hamidreza Taghvaee,
Albert Cabellos-Aparicio,
Marios Lestas,
Eduard Alarcon
Abstract:
Metasurfaces are envisaged to play a key role in next-generation wireless systems due to their powerful control over electromagnetic waves. The last decade has witnessed huge advances in this regard, shifting from static to programmable metasurfaces. The HyperSurface (HSF) paradigm takes one step further by integrating a network of controllers within the device with the aim of adding intelligence,…
▽ More
Metasurfaces are envisaged to play a key role in next-generation wireless systems due to their powerful control over electromagnetic waves. The last decade has witnessed huge advances in this regard, shifting from static to programmable metasurfaces. The HyperSurface (HSF) paradigm takes one step further by integrating a network of controllers within the device with the aim of adding intelligence, connectivity, and autonomy. However, little is known about the traffic that this network will have to support as the target electromagnetic function or boundary conditions change. In this paper, we lay down the foundations of a methodology to characterize the workload of programmable metasurfaces and then employ it to analyze the case of beam steering HSFs. We observe that traffic is bursty and highly dependent on the position of the target. These results will enable the early-stage evaluation of intra-HSF networks, as well as the estimation of the system performance and cost.
△ Less
Submitted 10 November, 2020;
originally announced November 2020.
-
Dynamics of a Stochastic COVID-19 Epidemic Model with Jump-Diffusion
Authors:
Almaz Tesfay,
Tareq Saeed,
Anwar Zeb,
Daniel Tesfay,
Anas Khalaf,
James Brannan
Abstract:
For a stochastic COVID-19 model with jump-diffusion, we prove the existence and uniqueness of the global positive solution. We also investigate some conditions for the extinction and persistence of the disease. We calculate the threshold of the stochastic epidemic system which determines the extinction or permanence of the disease at different intensities of the stochastic noises. This threshold i…
▽ More
For a stochastic COVID-19 model with jump-diffusion, we prove the existence and uniqueness of the global positive solution. We also investigate some conditions for the extinction and persistence of the disease. We calculate the threshold of the stochastic epidemic system which determines the extinction or permanence of the disease at different intensities of the stochastic noises. This threshold is denoted by $ξ$ which depends on the white and jump noises. The effects of these noises on the dynamics of the model are studied. The numerical experiments show that the random perturbation introduced in the stochastic model suppresses disease outbreaks as compared to its deterministic counterpart. In other words, the impact of the noises on the extinction and persistence is high. When the noise is large or small, our numerical findings show that the COVID-19 vanishes from the population if $ξ<1;$ whereas the epidemic can't go out of control if $ξ>1.$ From this, we observe that white noise and jump noise have a significant effect on the spread of COVID-19 infection, i.e., we can conclude that the stochastic model is more realistic than the deterministic one. Finally, to illustrate this phenomenon, we put some numerical simulations.
△ Less
Submitted 14 April, 2021; v1 submitted 12 November, 2020;
originally announced November 2020.
-
Toward Fault-Tolerant Deadlock-Free Routing in HyperSurface-Embedded Controller Networks
Authors:
Taqwa Saeed,
Vassos Soteriou,
Christos Liaskos,
Andreas Pitsillides,
Marios Lestas
Abstract:
HyperSurfaces (HSFs) consist of structurally reconfigurable metasurfaces whose electromagnetic properties can be changed via a software interface, using an embedded miniaturized network of controllers. With the HSF controllers, interconnected in an irregular, near-Manhattan geometry, we propose a robust, deterministic Fault-Tolerant (FT), deadlock- and livelock-free routing protocol where faults a…
▽ More
HyperSurfaces (HSFs) consist of structurally reconfigurable metasurfaces whose electromagnetic properties can be changed via a software interface, using an embedded miniaturized network of controllers. With the HSF controllers, interconnected in an irregular, near-Manhattan geometry, we propose a robust, deterministic Fault-Tolerant (FT), deadlock- and livelock-free routing protocol where faults are contained in a set of disjointed rectangular regions called faulty blocks. The proposed FT protocol can support an unbounded number of faulty nodes as long as nodes outside the faulty blocks are connected. Simulation results show the efficacy of the proposed FT protocol under various faulty node distribution scenarios.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Short-term stability of particles in the WD J0914+1914 white dwarf planetary system
Authors:
Euaggelos E. Zotos,
Dimitri Veras,
Tareq Saeed,
Luciano A. Darriba
Abstract:
Nearly all known white dwarf planetary systems contain detectable rocky debris in the stellar photosphere. A glaring exception is the young and still evolving white dwarf WD J0914+1914, which instead harbours a giant planet and a disc of pure gas. The stability boundaries of this disc and the future prospects for this white dwarf to be polluted with rocks depend upon the mass and orbit of the plan…
▽ More
Nearly all known white dwarf planetary systems contain detectable rocky debris in the stellar photosphere. A glaring exception is the young and still evolving white dwarf WD J0914+1914, which instead harbours a giant planet and a disc of pure gas. The stability boundaries of this disc and the future prospects for this white dwarf to be polluted with rocks depend upon the mass and orbit of the planet, which are only weakly constrained. Here we combine an ensemble of plausible planet orbits and masses to determine where observers should currently expect to find the outer boundary of the gas disc. We do so by performing a sweep of the entire plausible phase space with short-term numerical integrations. We also demonstrate that particle-star collisional trajectories, which would lead to the (unseen) signature of rocky metal pollution, occupy only a small fraction of the phase space, mostly limited to particle eccentricities above 0.75. Our analysis reveals that a highly inflated planet on a near-circular orbit is the type of planet which is most consistent with the current observations.
△ Less
Submitted 31 July, 2020;
originally announced July 2020.
-
Multi cloak invisibility, a new strategy for simultaneous acoustic and electromagnetic invisibility
Authors:
Hasanpour Tadi Saeed,
Shokri Babak
Abstract:
Based on electromagnetic and acoustic transformation theory, a new strategy has been presented in this article to implement double invisibility cloaking, which has not been done yet. By applying a combination of four conventional cloaking methods, for cloaking an object by electromagnetic and acoustic waves, which are two essential methods for objects detection (sonar, radar, eye, ear, camera ...)…
▽ More
Based on electromagnetic and acoustic transformation theory, a new strategy has been presented in this article to implement double invisibility cloaking, which has not been done yet. By applying a combination of four conventional cloaking methods, for cloaking an object by electromagnetic and acoustic waves, which are two essential methods for objects detection (sonar, radar, eye, ear, camera ...), the object will be blind or deaf, while it will be undetectable acoustically and electromagnetically simultaneously. In deaf mode structure, the object has an interaction with electromagnetic waves; so it can see what is outside the cloaking structure electromagnetically while it has not any acoustic interaction with the outside, but in blind mode arrangement, as opposed to the deaf arrangement, the acoustic link has turned on while there is no electromagnetic connection. Finally, the proposed approach in this paper does not generalize for any two classes of physics, electrical-mechanical, thermal-mechanical, electrical-thermal, electromagnetic-sonic, etc.
△ Less
Submitted 29 November, 2019;
originally announced November 2019.
-
Mathematical Modeling of Routes Maintenance and Recovery Procedure for MANETs
Authors:
Zafar Iqbal,
Tahreem Saeed,
Tariq Rafiq,
Ahsan Humayun
Abstract:
Routing is one of the most mysterious issues from the birth of networks up till now. Designing routing protocols for Mobile Ad hoc Networks (MANETs) is a complicated task because unpredictable mobility patterns of mobile nodes greatly effect routing decisions. Various routing protocols are designed to improve this very problem. Different simulator based routing protocols are designed but these pro…
▽ More
Routing is one of the most mysterious issues from the birth of networks up till now. Designing routing protocols for Mobile Ad hoc Networks (MANETs) is a complicated task because unpredictable mobility patterns of mobile nodes greatly effect routing decisions. Various routing protocols are designed to improve this very problem. Different simulator based routing protocols are designed but these protocols might fail during deployment because of the testing procedures of simulators. In this study, a novel formal model for routes management is proposed for MANETs. Formal methods are the most novel techniques based purely on mathematics and are used for the verification, validation of critical systems/models and guarantee the correctness and completeness of hardware/software systems. The proposed routing model is a complete and detailed graph based logical model defined in VDM-SL (formal language) and then verified and validated by using VDM-SL toolbox.
△ Less
Submitted 23 September, 2018;
originally announced October 2018.
-
Fault Adaptive Routing in Metasurface Controller Networks
Authors:
Taqwa Saeed,
Constantinos Skitsas,
Dimitrios Kouzapas,
Marios Lestas,
Vassos Soteriou,
Anna Philippou,
Sergi Abadal,
Christos Liaskos,
Loukas Petrou,
Julius Georgiou,
Andreas Pitsillides
Abstract:
HyperSurfaces are a merge of structurally reconfigurable metasurfaces whose electromagnetic properties can be changed via a software interface, using an embedded miniaturized network of controllers, thus enabling novel capabilities in wireless communications. Resource constraints associated with the development of a hardware testbed of this breakthrough technology necessitate network controller ar…
▽ More
HyperSurfaces are a merge of structurally reconfigurable metasurfaces whose electromagnetic properties can be changed via a software interface, using an embedded miniaturized network of controllers, thus enabling novel capabilities in wireless communications. Resource constraints associated with the development of a hardware testbed of this breakthrough technology necessitate network controller architectures different from traditional regular Network-on-Chip architectures. The Manhattan-like topology chosen to realize the controller network in the testbed under development is irregular, with restricted local path selection options, operating in an asynchronous fashion. These characteristics render traditional fault-tolerant routing mechanisms inadequate. In this paper, we present work in progress towards the development of fault-tolerant routing mechanisms for the chosen architecture. We present two XY-based approaches which have been developed aiming to offer reliable data delivery in the presence of faults. The first approach aims to avoid loops while the second one attempts to maximize the success delivery probabilities. Their effectiveness is demonstrated via simulations conducted on a custom developed simulator.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
Received Signal Strength for Randomly Distributed Molecular Nanonodes
Authors:
Rafay Iqbal Ansari,
Chrysostomos Chrysostomou,
Taqwa Saeed,
Marios Lestas,
Andreas Pitsillides
Abstract:
We consider nanonodes randomly distributed in a circular area and characterize the received signal strength when a pair of these nodes employ molecular communication. Two communication methods are investigated, namely free diffusion and diffusion with drift. Since the nodes are randomly distributed, the distance between them can be represented as a random variable, which results in a stochastic pr…
▽ More
We consider nanonodes randomly distributed in a circular area and characterize the received signal strength when a pair of these nodes employ molecular communication. Two communication methods are investigated, namely free diffusion and diffusion with drift. Since the nodes are randomly distributed, the distance between them can be represented as a random variable, which results in a stochastic process representation of the received signal strength. We derive the probability density function of this process for both molecular communication methods. Specifically for the case of free diffusion we also derive the cumulative distribution function, which can be used to derive transmission success probabilities. The presented work constitutes a first step towards the characterization of the signal to noise ratio in the considered setting for a number of molecular communication methods.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
An Experiment on Parallel Model Checking of a CTL Fragment
Authors:
Rodrigo Tacla Saad,
Silvano Dal Zilio,
Bernard Berthomieu
Abstract:
We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core architectures. This model-checking algorithm takes bene t from a parallel state space construction algorithm, which we described in a previous work, and shares the same basic set of principles: there are no assumptions on the models that can be analyzed; no restrict…
▽ More
We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core architectures. This model-checking algorithm takes bene t from a parallel state space construction algorithm, which we described in a previous work, and shares the same basic set of principles: there are no assumptions on the models that can be analyzed; no restrictions on the way states are distributed; and no restrictions on the way work is shared among processors. We evaluate the performance of diff erent versions of our algorithm and compare our results with those obtained using other parallel model checking tools. One of the most novel contributions of this work is to study a space-e fficient variant for CTL model-checking that does not require to store the whole transition graph but that operates on a reverse spanning tree.
△ Less
Submitted 31 January, 2013;
originally announced January 2013.