-
Large-Scale Epitaxial Integration of Single-Crystalline BiSb Topological Insulator on GaAs (111)A
Authors:
Mohamed Ali Khaled,
Leonardo Cancellara,
Salima Fekraoui,
Richard Daubriac,
François Bertran,
Chiara Bigi,
Quentin Gravelier,
Richard Monflier,
Alexandre Arnoult,
Corentin Durand,
Sébastien Plissard
Abstract:
Topological insulators (TI) are promising materials for future spintronics applications and their epitaxial integration would allow the realization of new hybrid interfaces. As the first materials studied, Bismuth Antimony alloys (Bi1-xSbx) show great potential due to their tuneable electronic band structure and efficient charge-to-spin conversion. Here, we report the growth of Bi1-xSbx thin films…
▽ More
Topological insulators (TI) are promising materials for future spintronics applications and their epitaxial integration would allow the realization of new hybrid interfaces. As the first materials studied, Bismuth Antimony alloys (Bi1-xSbx) show great potential due to their tuneable electronic band structure and efficient charge-to-spin conversion. Here, we report the growth of Bi1-xSbx thin films on GaAs (111)A substrates following two different protocols. For the conventional epitaxy process, the grown films show excellent crystallinity and twin domains corresponding to an in-plane 180{\textdegree} rotation of the crystalline structure. Domain walls are found to be composition-dependent and have a lower density for Antimony-rich films. For the optimized process, depositing an Antimony bilayer prior to BiSb growth allows achieving single crystallinity of the TI films. The topologically protected surface states are evidenced by ex-situ ARPES measurements for domains-free and conventional films. To the best of our knowledge, this work presents the first large-scale epitaxial integration of single crystalline Bi1-xSbx thin films on industrial substrates.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Improving Zero-Shot Text Matching for Financial Auditing with Large Language Models
Authors:
Lars Hillebrand,
Armin Berger,
Tobias Deußer,
Tim Dilmaghani,
Mohamed Khaled,
Bernd Kliem,
Rüdiger Loitz,
Maren Pielka,
David Leonhard,
Christian Bauckhage,
Rafet Sifa
Abstract:
Auditing financial documents is a very tedious and time-consuming process. As of today, it can already be simplified by employing AI-based solutions to recommend relevant text passages from a report for each legal requirement of rigorous accounting standards. However, these methods need to be fine-tuned regularly, and they require abundant annotated data, which is often lacking in industrial envir…
▽ More
Auditing financial documents is a very tedious and time-consuming process. As of today, it can already be simplified by employing AI-based solutions to recommend relevant text passages from a report for each legal requirement of rigorous accounting standards. However, these methods need to be fine-tuned regularly, and they require abundant annotated data, which is often lacking in industrial environments. Hence, we present ZeroShotALI, a novel recommender system that leverages a state-of-the-art large language model (LLM) in conjunction with a domain-specifically optimized transformer-based text-matching solution. We find that a two-step approach of first retrieving a number of best matching document sections per legal requirement with a custom BERT-based model and second filtering these selections using an LLM yields significant performance improvements over existing approaches.
△ Less
Submitted 14 August, 2023; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Mie Scattering with 3D Angular Spectrum Method
Authors:
Joel Lamberg,
Faezeh Zarrinkhat,
Aleksi Tamminen,
Mariangela Baggio,
Juha Ala-Laurinaho,
Juan Rius,
Jordi Romeu,
Elsayed E. M. Khaled,
Zachary Taylor
Abstract:
Mie theory is a powerful method to model electromagnetic scattering from a multilayered sphere. Usually, the incident beam is expanded to its vector spherical harmonic representation defined by beam shape coefficients, and the multilayer sphere scattering is obtained by the T-matrix method. However, obtaining the beam shape coefficients for arbitrarily shaped incident beams has limitations on sour…
▽ More
Mie theory is a powerful method to model electromagnetic scattering from a multilayered sphere. Usually, the incident beam is expanded to its vector spherical harmonic representation defined by beam shape coefficients, and the multilayer sphere scattering is obtained by the T-matrix method. However, obtaining the beam shape coefficients for arbitrarily shaped incident beams has limitations on source locations and requires different methods when the incident beam is defined inside or outside the computational domain or at the scatterer surface. We propose a 3D angular spectrum method for defining beam shape coefficients from arbitrary source field distributions. This method enables the placement of the sources freely within the computational domain without singularities, allowing flexibility in beam design. We demonstrate incident field synthesis and spherical scattering by comparing morphology-dependent resonances to known values, achieving excellent matching and high accuracy. Additionally, we present mathematical proof to support our proposal. The proposed method has significant benefits for optical systems and inverse beam design. It allows for the analysis of electromagnetic forward/backward propagation between optical elements and spherical targets using a single method. It is also valuable for optical force beam design and analysis.
△ Less
Submitted 25 April, 2023; v1 submitted 7 September, 2022;
originally announced September 2022.
-
Strain engineering of the magnetic anisotropy and magnetic moment in NdFeO3 epitaxial thin films
Authors:
Mohamed Ali Khaled,
Juan Ruvalcaba,
Teodoro Cordova,
Donna C. Arnold,
Nicolas Jaouen,
Philippe Ohresser,
Mustapha Jouiad,
Khalid Hoummada,
Brahim Dkhil,
Mimoun EL Marssi,
Houssny Bouyanfif
Abstract:
Strain engineering is a powerful mean for tuning the various functionalities of ABO3 perovskite oxide thin films. Rare-earth orthoferrite RFeO3 materials such as NdFeO3 (NFO) are of prime interest because of their intriguing magnetic properties as well as their technological potential applications especially as thin films. Here, using a large set of complementary and advanced techniques, we show t…
▽ More
Strain engineering is a powerful mean for tuning the various functionalities of ABO3 perovskite oxide thin films. Rare-earth orthoferrite RFeO3 materials such as NdFeO3 (NFO) are of prime interest because of their intriguing magnetic properties as well as their technological potential applications especially as thin films. Here, using a large set of complementary and advanced techniques, we show that NFO epitaxial thin films, successfully grown by pulsed laser deposition on (001)-SrTiO3, show a strong magnetic anisotropy below a critical thickness tc of 54 nm, associated with the occurrence of structural modifications related to symmetry and domain pattern changes. By varying the tensile misfit strain through the decrease of film thickness below tc, the amplitudes of in and out-of-plane magnetization can be continuously tuned while their ratio stays constant. Furthermore, different low-temperature magnetic behaviors are evidenced for strained and relaxed films, suggesting that the strain-induced structural state impacts the magnetic phase stability.
△ Less
Submitted 30 June, 2022;
originally announced June 2022.
-
Spin-lattice coupling in an epitaxial NdFeO3 thin film
Authors:
Mohamed Ali Khaled,
Juan Ruvalcaba,
Teodoro Fraga Cordova,
Mimoun El Marssi,
Houssny Bouyanfif
Abstract:
Rare-earth orthoferrite RFeO3 materials such as NdFeO3 are strongly studied because of their fascinating magnetic properties and their potential applications. Here, we show the successful epitaxial synthesis of parasitic-free NFO thin film by pulsed laser deposition on (001)-SrTiO3. High-resolution X-ray diffraction shows a coherent growth and a tetragonal-like structure of a tensile strained 80 n…
▽ More
Rare-earth orthoferrite RFeO3 materials such as NdFeO3 are strongly studied because of their fascinating magnetic properties and their potential applications. Here, we show the successful epitaxial synthesis of parasitic-free NFO thin film by pulsed laser deposition on (001)-SrTiO3. High-resolution X-ray diffraction shows a coherent growth and a tetragonal-like structure of a tensile strained 80 nm thick NFO film in contrast with the bulk orthorhombic state. Room temperature magnetometry indicates a bulk-like antiferromagnetic state for the NFO film. Temperature-dependent X-ray diffraction and magnetometry highlight a significant spin-lattice coupling at the Neel Temperature while a new magneto-structural instability is discovered around 250°C that needs further investigation.
△ Less
Submitted 14 April, 2022;
originally announced April 2022.
-
Anti-polar state in BiFeO3/NdFeO3 superlattices
Authors:
Mohamed Ali Khaled,
Donna C Arnold,
Brahim Dkhil,
Mustapha Jouiad,
Khalid Hoummada,
Mimoun El Marssi,
Houssny Bouyanfif
Abstract:
Antiferroelectrics are promising materials for high energy density capacitors and the search for environmentally-friendly and efficient systems is actively pursued. An elegant strategy to create and design new (anti)ferroic system relies on the use of nanoscale superlattices. We report here the use of such strategy and the fabrication of nanoscale BiFeO3/NdFeO3 superlattices and in depth character…
▽ More
Antiferroelectrics are promising materials for high energy density capacitors and the search for environmentally-friendly and efficient systems is actively pursued. An elegant strategy to create and design new (anti)ferroic system relies on the use of nanoscale superlattices. We report here the use of such strategy and the fabrication of nanoscale BiFeO3/NdFeO3 superlattices and in depth characterization using high resolution X-ray diffraction and Transmission Electron Microscopy. The structural analysis at atomic scale demonstrates that such superlattices host anti-polar ordering most likely described by an antiferroelectric-like Pbnm symmetry. Temperature dependence of anti-polar state and structural transition further hint that the stability of the anti-polar state is controlled by the BiFeO3 layer thickness within the stacking and, in a more moderate way, by interlayer strain. Discovery of such polar arrangement in superlattices and the possible generalization to the whole rare-earth family pave the way to new platforms for energy storage application as well as nano-electronic devices.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
On the networks of large embeddings
Authors:
Tuğba Aslan,
Mohamed Khaled,
Gergely Székely
Abstract:
We define a special network that exhibits the large embeddings in any class of similar algebras. With the aid of this network, we introduce a notion of distance that conceivably counts the minimum number of dissimilarities, in a sense, between two given algebras in the class in hand; with the possibility that this distance may take the value $\infty$. We display a number of inspirational examples…
▽ More
We define a special network that exhibits the large embeddings in any class of similar algebras. With the aid of this network, we introduce a notion of distance that conceivably counts the minimum number of dissimilarities, in a sense, between two given algebras in the class in hand; with the possibility that this distance may take the value $\infty$. We display a number of inspirational examples from different areas of algebra, e.g., group theory and monounary algebras, to show that this research direction can be quite remarkable.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Coupling to longitudinal modes in spherical thin shells illuminated by submillimeter wave Gaussian beam: applications to corneal sensing
Authors:
Faezeh Zarrinkhat,
Joel Lamberg,
Aleksi Tamminen,
Mariangela Baggio,
Juha Ala-Laurinaho,
Elsayed E. M. Khaled,
Juan Rius,
Jordi Romeu,
Zachary Taylor
Abstract:
Coupling to longitudinal modes of thin spherical shells, under Gaussian-beam illumination, was explored with a theoretical method based on Fourier-optics analysis and vector spherical harmonics. The illumination frequency band was fixed between 100-600 GHz and the outer spherical shell radius of curvature and thickness are 7.5 mm and 0.5 mm, respectively. The shell material was either the lossless…
▽ More
Coupling to longitudinal modes of thin spherical shells, under Gaussian-beam illumination, was explored with a theoretical method based on Fourier-optics analysis and vector spherical harmonics. The illumination frequency band was fixed between 100-600 GHz and the outer spherical shell radius of curvature and thickness are 7.5 mm and 0.5 mm, respectively. The shell material was either the lossless cornea or an aqueous effective media representing the cornea. Six different beam-target strategies were introduced being potential candidates for maximum coupling. Two dispersion-tuned beam ensembles with strongly frequency-dependent phase center location have been created with a fixed incident beam 1/e radius and radius of curvature called forward strategies. These computations of different alignments were continued with four beam ensembles of frequency-invariant phase center, constructed from fits to experimental data, oriented at four different axial locations with respect to the spherical shell center of curvature, they are called reverse strategies. Coupling efficiency for all strategies was calculated for different targets including PEC sphere, air-core, and PEC core covered by a cornea loss-free layer and cornea. All scattering strategies contrasted to scattering from equivalent planar targets as a reference with maximum coupling. The results show that, under an ideal calibration, forward strategies are a closer approximation to the plane-wave condition. However, target properties influence the coupling efficiency remarkably for instance the observed difference in cornea scattering is vanishingly small as dielectric loss limits walk-off loss. Furthermore, under perturbed calibration, the forward strategies showed less sensitivity.
△ Less
Submitted 30 November, 2021;
originally announced December 2021.
-
DREAMS: Drilling and Extraction Automated System
Authors:
Mohamed Khaled,
Srivignesh Srinivasan,
Alkassoum Toure,
Muhao Chen,
Emily Kincaid,
Thomas Lopaz,
Luis Rodriguez,
Jessica Ezemba,
Ayodeji Adeniran,
Teresa Valdez,
Uthej Vattipalli,
Le linh,
Ahmed Madi,
Eduardo Gildin,
Robert Skelton,
Sam Noynaert,
George Moridis
Abstract:
Drilling and Extraction Automated System (DREAMS) is a fully automated prototype-drilling rig that can drill, extract water and assess subsurface density profiles from simulated lunar and Martian subsurface ice. DREAMS system is developed by the Texas A&M drilling automation team and composed of four main components: 1- tensegrity rig structure, 2- drilling system, 3- water extracting and heating…
▽ More
Drilling and Extraction Automated System (DREAMS) is a fully automated prototype-drilling rig that can drill, extract water and assess subsurface density profiles from simulated lunar and Martian subsurface ice. DREAMS system is developed by the Texas A&M drilling automation team and composed of four main components: 1- tensegrity rig structure, 2- drilling system, 3- water extracting and heating system, and 4- electronic hardware, controls, and machine algorithm. The vertical and rotational movements are controlled by using an Acme rod, stepper, and rotary motor. DREAMS is a unique system and different from other systems presented before in the NASA Rascal-Al competition because 1- It uses the tensegrity structure concept to decrease the system weight, improve mobility, and easier installation in space. 2- It cuts rock layers by using a short bit length connected to drill pipes. This drilling methodology is expected to drill hundreds and thousands of meters below the moon and Martian surfaces without any anticipated problems (not only 1 m.). 3- Drilling, heating, and extraction systems are integrated into one system that can work simultaneously or individually to save time and cost.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
A Framework for Output-Feedback Symbolic Control
Authors:
Mahmoud Khaled,
Kuize Zhang,
Majid Zamani
Abstract:
Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Symbolic control approaches usually assume that full-state information is available which is not suitable for many real-world applications with partially-observable states or output information. This article introduces a framewor…
▽ More
Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Symbolic control approaches usually assume that full-state information is available which is not suitable for many real-world applications with partially-observable states or output information. This article introduces a framework for output-feedback symbolic control. We propose relations between original systems and their symbolic models based on outputs. They enable designing symbolic controllers and refining them to enforce complex requirements on original systems. We provide example methodologies to synthesize and refine output-feedback symbolic controllers.
△ Less
Submitted 31 October, 2022; v1 submitted 30 November, 2020;
originally announced November 2020.
-
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
Authors:
Abolfazl Lavaei,
Mahmoud Khaled,
Sadegh Soudjani,
Majid Zamani
Abstract:
In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic systems. This tool is employed to (i) build finite Markov decision processes (MDPs) as finite abstractions of given original systems, and (ii) synthesize controllers for the constructed finite MDPs satisfying bounded-time h…
▽ More
In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic systems. This tool is employed to (i) build finite Markov decision processes (MDPs) as finite abstractions of given original systems, and (ii) synthesize controllers for the constructed finite MDPs satisfying bounded-time high-level properties including safety, reachability and reach-avoid specifications. In AMYTISS, scalable parallel algorithms are designed such that they support the parallel execution within CPUs, GPUs and hardware accelerators (HWAs). Unlike all existing tools for stochastic systems, AMYTISS can utilize high-performance computing (HPC) platforms and cloud-computing services to mitigate the effects of the state-explosion problem, which is always present in analyzing large-scale stochastic systems. We benchmark AMYTISS against the most recent tools in the literature using several physical case studies including robot examples, room temperature and road traffic networks. We also apply our algorithms to a 3-dimensional autonomous vehicle and 7-dimensional nonlinear model of a BMW 320i car by synthesizing an autonomous parking controller.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
Authors:
Alex Devonport,
Mahmoud Khaled,
Murat Arcak,
Majid Zamani
Abstract:
Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many reachability analysis methods are restricted to systems with relatively small dimensions. One significant reason for such limitation is that those approaches, and their implementations, are not designed to leverage parallel…
▽ More
Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many reachability analysis methods are restricted to systems with relatively small dimensions. One significant reason for such limitation is that those approaches, and their implementations, are not designed to leverage parallelism. They use algorithms that are designed to run serially within one compute unit and they can not utilize widely-available high-performance computing (HPC) platforms such as many-core CPUs, GPUs and Cloud-computing services.
This paper presents PIRK, a tool to efficiently compute reachable sets for general nonlinear systems of extremely high dimensions. PIRK has been tested on several systems, with state dimensions ranging from ten up to 4 billion. The scalability of PIRK's parallel implementations is found to be highly favorable.
△ Less
Submitted 10 July, 2020; v1 submitted 28 January, 2020;
originally announced January 2020.
-
Atoms in infinite dimensional free sequence-set algebras
Authors:
Mohamed Khaled,
István Németi
Abstract:
A. Tarski proved that the m-generated free algebra of $\mathrm{CA}_α$, the class of cylindric algebras of dimension $α$, contains exactly $2^m$ zero-dimensional atoms, when $m\ge 1$ is a finite cardinal and $α$ is an arbitrary ordinal. He conjectured that, when $α$ is infinite, there are no more atoms. This conjecture has not been confirmed or denied yet. In this article, we show that Tarski's con…
▽ More
A. Tarski proved that the m-generated free algebra of $\mathrm{CA}_α$, the class of cylindric algebras of dimension $α$, contains exactly $2^m$ zero-dimensional atoms, when $m\ge 1$ is a finite cardinal and $α$ is an arbitrary ordinal. He conjectured that, when $α$ is infinite, there are no more atoms. This conjecture has not been confirmed or denied yet. In this article, we show that Tarski's conjecture is true if $\mathrm{CA}_α$ is replaced by $\mathrm{D}_α$, $\mathrm{G}_α$, but the $m$-generated free $\mathrm{Crs}_α$ algebra is atomless.
△ Less
Submitted 4 March, 2019;
originally announced March 2019.
-
Geometrical representation theorems for cylindric-type algebras
Authors:
Mohamed Khaled,
Tarek Sayed Ahmed
Abstract:
In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order logic, that can also be viewed as multi-modal logics. The proofs herein are combinatorial and we also use some techniques from game theory.
In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order logic, that can also be viewed as multi-modal logics. The proofs herein are combinatorial and we also use some techniques from game theory.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
Stone type representation theorems via games
Authors:
Tuğba Aslan,
Mohamed Khaled
Abstract:
The classes of relativized relation algebras (whose units are not necessarily transitive as binary relations) are known to be finitely axiomatizable. In this article, we give a new proof for this fact that is easier and more transparent than the original proofs. We give direct constructions for all cases, whereas the original proofs reduced the problem to only one case. The proof herein is combina…
▽ More
The classes of relativized relation algebras (whose units are not necessarily transitive as binary relations) are known to be finitely axiomatizable. In this article, we give a new proof for this fact that is easier and more transparent than the original proofs. We give direct constructions for all cases, whereas the original proofs reduced the problem to only one case. The proof herein is combinatorial and it uses some techniques from game theory.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
Distances between formal theories
Authors:
Michèle Friend,
Mohamed Khaled,
Koen Lefever,
Gergely Székely
Abstract:
In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We introduce two main notions for such distances. The first one is that of \textit{axiomatic distance}, but we argue that…
▽ More
In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We introduce two main notions for such distances. The first one is that of \textit{axiomatic distance}, but we argue that it might be of limited interest. The more interesting and widely applicable notion is that of \textit{conceptual distance} which measures the minimum number of concepts that distinguish two theories. For instance, we use conceptual distance to show that relativistic and classical kinematics are distinguished by one concept only. We also develop further notions of distance, and we include a number of suggestions for applying and extending our project.
△ Less
Submitted 30 July, 2018; v1 submitted 4 July, 2018;
originally announced July 2018.
-
First order logic without equality on relativized semantics
Authors:
Amitayu Banerjee,
Mohamed Khaled
Abstract:
Let $α\geq 2$ be any ordinal. We consider the class $\mathsf{Drs}_α$ of relativized diagonal free set algebras of dimension $α$. With same technique, we prove several important results concerning this class. Among these results, we prove that almost all free algebras of $\mathsf{Drs}_α$ are atomless, and none of these free algebras contains zero-dimensional elements other than zero and top element…
▽ More
Let $α\geq 2$ be any ordinal. We consider the class $\mathsf{Drs}_α$ of relativized diagonal free set algebras of dimension $α$. With same technique, we prove several important results concerning this class. Among these results, we prove that almost all free algebras of $\mathsf{Drs}_α$ are atomless, and none of these free algebras contains zero-dimensional elements other than zero and top element. The class $\mathsf{Drs}_α$ corresponds to first order logic, without equality symbol, with $α$-many variables and on relativized semantics. Hence, in this variation of first order logic, there is no finitely axiomatizable, complete and consistent theory.
△ Less
Submitted 29 June, 2018;
originally announced July 2018.
-
SENSE: Abstraction-Based Synthesis of Networked Control Systems
Authors:
Mahmoud Khaled,
Matthias Rungger,
Majid Zamani
Abstract:
While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on infinite strings. One general technique to achieve this is based on so-called symbolic models, where complex systems are approximated by finite abstracti…
▽ More
While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on infinite strings. One general technique to achieve this is based on so-called symbolic models, where complex systems are approximated by finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them. We present tool SENSE for the construction of finite abstractions for NCS and the automated synthesis of controllers. Constructed controllers enforce complex specifications over plants in NCS by taking into account several non-idealities of the communication channels.
Given a symbolic model of the plant and network parameters, SENSE can efficiently construct a symbolic model of the NCS, by employing operations on binary decision diagrams (BDDs). Then, it synthesizes symbolic controllers satisfying a class of specifications. It has interfaces for the simulation and the visualization of the resulting closed-loop systems using OMNETPP and MATLAB. Additionally, SENSE can generate ready-to-implement VHDL/Verilog or C/C++ codes from the synthesized controllers.
△ Less
Submitted 26 June, 2018;
originally announced June 2018.
-
Gender Aware Spoken Language Translation Applied to English-Arabic
Authors:
Mostafa Elaraby,
Ahmed Y. Tawfik,
Mahmoud Khaled,
Hany Hassan,
Aly Osama
Abstract:
Spoken Language Translation (SLT) is becoming more widely used and becoming a communication tool that helps in crossing language barriers. One of the challenges of SLT is the translation from a language without gender agreement to a language with gender agreement such as English to Arabic. In this paper, we introduce an approach to tackle such limitation by enabling a Neural Machine Translation sy…
▽ More
Spoken Language Translation (SLT) is becoming more widely used and becoming a communication tool that helps in crossing language barriers. One of the challenges of SLT is the translation from a language without gender agreement to a language with gender agreement such as English to Arabic. In this paper, we introduce an approach to tackle such limitation by enabling a Neural Machine Translation system to produce gender-aware translation. We show that NMT system can model the speaker/listener gender information to produce gender-aware translation. We propose a method to generate data used in adapting a NMT system to produce gender-aware. The proposed approach can achieve significant improvement of the translation quality by 2 BLEU points.
△ Less
Submitted 26 February, 2018;
originally announced February 2018.
-
On approximating copulas by finite mixtures
Authors:
Mohamad A. Khaled,
Robert Kohn
Abstract:
Copulas are now frequently used to construct or estimate multivariate distributions because of their ability to take into account the multivariate dependence of the different variables while separately specifying marginal distributions. Copula based multivariate models can often also be more parsimonious than fitting a flexible multivariate model, such as a mixture of normals model, directly to th…
▽ More
Copulas are now frequently used to construct or estimate multivariate distributions because of their ability to take into account the multivariate dependence of the different variables while separately specifying marginal distributions. Copula based multivariate models can often also be more parsimonious than fitting a flexible multivariate model, such as a mixture of normals model, directly to the data.
However, to be effective, it is imperative that the family of copula models considered is sufficiently flexible. Although finite mixtures of copulas have been used to construct flexible families of copulas, their approximation properties are not well understood and we show that natural candidates such as mixtures of elliptical copulas and mixtures of Archimedean copulas cannot approximate a general copula arbitrarily well. Our article develops fundamental tools for approximating a general copula arbitrarily well by a copulas based on finite mixtures. We show the asymptotic properties as well as illustrate the advantages of our methodology empirically on a financial data set and on some artificial data.
△ Less
Submitted 1 February, 2023; v1 submitted 29 May, 2017;
originally announced May 2017.
-
Mixed Marginal Copula Modeling
Authors:
David Gunawan,
Mohamad A. Khaled,
Robert Kohn
Abstract:
This article extends the literature on copulas with discrete or continuous marginals to the case where some of the marginals are a mixture of discrete and continuous components. We do so by carefully defining the likelihood as the density of the observations with respect to a mixed measure. The treatment is quite general, although we focus focus on mixtures of Gaussian and Archimedean copulas. The…
▽ More
This article extends the literature on copulas with discrete or continuous marginals to the case where some of the marginals are a mixture of discrete and continuous components. We do so by carefully defining the likelihood as the density of the observations with respect to a mixed measure. The treatment is quite general, although we focus focus on mixtures of Gaussian and Archimedean copulas. The inference is Bayesian with the estimation carried out by Markov chain Monte Carlo. We illustrate the methodology and algorithms by applying them to estimate a multivariate income dynamics model.
△ Less
Submitted 4 September, 2017; v1 submitted 30 May, 2016;
originally announced May 2016.
-
Weak Godel's incompleteness property for some decidable versions of first order logic
Authors:
Mohamed Khaled
Abstract:
The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let $n\inω$. The classes of non-commutative cylindric algebras ($NCA_n$) and weakened cylindric algebras ($WCA_n$) were shown, by István Németi, to be examples of decidable versions of first order logic with $n$ variables. In this article, we give new…
▽ More
The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let $n\inω$. The classes of non-commutative cylindric algebras ($NCA_n$) and weakened cylindric algebras ($WCA_n$) were shown, by István Németi, to be examples of decidable versions of first order logic with $n$ variables. In this article, we give new proofs for the decidability of the equational theories of these classes. We also give an answer to the open problem, posed by Németi in 1985, addressing the atomicity of the finitely generated free algebras of these classes. We prove that all the finitely generated free algebras of the varieties $NCA_n$ and $WCA_n$ are not atomic. In other words, we prove that the corresponding versions of first order logic have weak Gödel's incompleteness property.
△ Less
Submitted 16 November, 2015;
originally announced November 2015.
-
General normal forms for any additive logic
Authors:
Mohamed Khaled
Abstract:
In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not require the non-propositional connectives to be closed on the set of formulas, so our normal forms cover logics with partial connectives too. We also show that most of the known normal forms in the literature are in fac…
▽ More
In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not require the non-propositional connectives to be closed on the set of formulas, so our normal forms cover logics with partial connectives too. We also show that most of the known normal forms in the literature are in fact particular cases of our general forms. These general normal forms are natural improvement of the distributive normal forms of J. Hintikka and their modal analogues, e.g. [Anderson] and [Fine].
△ Less
Submitted 16 August, 2017; v1 submitted 11 November, 2015;
originally announced November 2015.
-
Weak Godel's incompleteness property for some decidable versions of the calculus of relations
Authors:
Mohamed Khaled
Abstract:
Relativization is one of the central topics in the study of algebras of relations. Some relativized relation algebras behave much nicer than the original relation algebras. In this paper, we study the atomicity of the finitely generated free algebras of these nice classes of relativized relation algebras. In particular, we give an answer for the open problem, posed by I. Nemeti in 1985, which asks…
▽ More
Relativization is one of the central topics in the study of algebras of relations. Some relativized relation algebras behave much nicer than the original relation algebras. In this paper, we study the atomicity of the finitely generated free algebras of these nice classes of relativized relation algebras. In particular, we give an answer for the open problem, posed by I. Nemeti in 1985, which asks whether the finitely generated free algebras of the class of the weak associative relation algebras WA are atomic or not.
△ Less
Submitted 4 November, 2015;
originally announced November 2015.
-
A Genetic Algorithm for Software Design Migration from Structured to Object Oriented Paradigm
Authors:
Md. Selim,
Saeed Siddik,
Alim Ul Gias,
M. Abdullah-Al-Wadud,
Shah Mostafa Khaled
Abstract:
The potential benefit of migrating software design from Structured to Object Oriented Paradigm is manifolded including modularity, manageability and extendability. This design migration should be automated as it will reduce the time required in manual process. Our previous work has addressed this issue in terms of optimal graph clustering problem formulated by a quadratic Integer Program (IP). How…
▽ More
The potential benefit of migrating software design from Structured to Object Oriented Paradigm is manifolded including modularity, manageability and extendability. This design migration should be automated as it will reduce the time required in manual process. Our previous work has addressed this issue in terms of optimal graph clustering problem formulated by a quadratic Integer Program (IP). However, it has been realized that solution to the IP is computationally hard and thus heuristic based methods are required to get a near optimal solution. This paper presents a Genetic Algorithm (GA) for optimal clustering with an objective of maximizing intra-cluster edges whereas minimizing the inter-cluster ones. The proposed algorithm relies on fitness based parent selection and cross-overing cluster elements to reach an optimal solution step by step. The scheme was implemented and tested against a set of real and synthetic data. The experimental results show that GA outperforms our previous works based on Greedy and Monte Carlo approaches by 40% and 49.5%.
△ Less
Submitted 23 July, 2014;
originally announced July 2014.
-
Symbolic Abstractions of Networked Control Systems
Authors:
Majid Zamani,
Manuel Mazo Jr,
Mahmoud Khaled,
Alessandro Abate
Abstract:
The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of wireless NCS, because of their architectural flexibility and low installation and maintenance costs. In wireless NCS the communication between sensors, controllers, and actuators is supported by a communication channel th…
▽ More
The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of wireless NCS, because of their architectural flexibility and low installation and maintenance costs. In wireless NCS the communication between sensors, controllers, and actuators is supported by a communication channel that is likely to introduce variable communication delays, packet losses, limited bandwidth, and other practical non-idealities leading to numerous technical challenges. Although stability properties of NCS have been investigated extensively in the literature, results for NCS under more complex and general objectives, and in particular results dealing with verification or controller synthesis for logical specifications, are much more limited. This work investigates how to address such complex objectives by constructively deriving symbolic models of NCS, while encompassing the mentioned network non-idealities. The obtained abstracted (symbolic) models can then be employed to synthesize hybrid controllers enforcing rich logical specifications over the concrete NCS models. Examples of such general specifications include properties expressed as formulae in linear temporal logic (LTL) or as automata on infinite strings. We thus provide a general synthesis framework that can be flexibly adapted to a number of NCS setups. We illustrate the effectiveness of the results over some case studies.
△ Less
Submitted 21 November, 2016; v1 submitted 24 January, 2014;
originally announced January 2014.
-
Strongly representable atom structures and neat embeddings
Authors:
Tarek Sayed Ahmed,
Mohammed Khaled
Abstract:
In this paper we give an alternative construction using Monk like algebras that are binary generated to show that the class of strongly representable atom structures is not elementary. The atom structures of such algebras are cylindric basis of relation algebras, both algebras are based on one graph such that both the relation and cylindric algebras are representable if and only if the chromatic n…
▽ More
In this paper we give an alternative construction using Monk like algebras that are binary generated to show that the class of strongly representable atom structures is not elementary. The atom structures of such algebras are cylindric basis of relation algebras, both algebras are based on one graph such that both the relation and cylindric algebras are representable if and only if the chromatic number of the graph is infinite. We also relate the syntactic notion of algebras having a (complete) neat embedding property to the semantical notion of having various forms of (complete) relativized representations. Finally, we show that for n>5, the problemn as to whether a finite algebra is in the class SNr_3CA_6 is undecidable. In contrast, we show that for a finite algebra of arbitary finite dimensions that embed into extra dimensions of a another finite algebra, then this algebra have a finite relativized representation. Finally we devise what we call neat games, for such a game if \pe\ has a \ws \ on an atomic algebra \A in certain atomic game and \pa has a \ws in another atomic game, then such algebras are elementary equivalent to neat reducts, but do not have relativized (local) complete represenations. From such results, we infer that the omitting types theorem for finite variable fragments fails even if we consider clique guarded semantics. The size of cliques are determined by the number of pebbles used by \pa\.
△ Less
Submitted 14 July, 2013;
originally announced July 2013.
-
Building relativized representations using games
Authors:
Tarek Sayed Ahmed,
Mohamed Khaled
Abstract:
We prove the celebrated representation theorem of Andreka-Resek-Thompson, together with its polyadic analogue by Ferenczi, using games as introduced in algebraic logic by Hirsch and Hodkinson. We also show that atomic algebras are completely representable and that all such varieties of relativized set algebras have the strong amalgmation property.
We prove the celebrated representation theorem of Andreka-Resek-Thompson, together with its polyadic analogue by Ferenczi, using games as introduced in algebraic logic by Hirsch and Hodkinson. We also show that atomic algebras are completely representable and that all such varieties of relativized set algebras have the strong amalgmation property.
△ Less
Submitted 4 April, 2013;
originally announced April 2013.
-
Comparative Study of Statistical Skin Detection Algorithms for Sub-Continental Human Images
Authors:
Mirza Rehenuma Tabassum,
Alim Ul Gias,
Md. Mostafa Kamal,
Hossain Muhammad Muctadir,
Muhammad Ibrahim,
Asif Khan Shakir,
Asif Imran,
Saiful Islamm,
Md. Golam Rabbani,
Shah Mostafa Khaled,
Md. Saiful Islam,
Zerina Begum
Abstract:
Object detection has been a focus of research in human-computer interaction. Skin area detection has been a key to different recognitions like face recognition, human motion detection, pornographic and nude image prediction, etc. Most of the research done in the fields of skin detection has been trained and tested on human images of African, Mongolian and Anglo-Saxon ethnic origins. Although there…
▽ More
Object detection has been a focus of research in human-computer interaction. Skin area detection has been a key to different recognitions like face recognition, human motion detection, pornographic and nude image prediction, etc. Most of the research done in the fields of skin detection has been trained and tested on human images of African, Mongolian and Anglo-Saxon ethnic origins. Although there are several intensity invariant approaches to skin detection, the skin color of Indian sub-continentals have not been focused separately. The approach of this research is to make a comparative study between three image segmentation approaches using Indian sub-continental human images, to optimize the detection criteria, and to find some efficient parameters to detect the skin area from these images. The experiments observed that HSV color model based approach to Indian sub-continental skin detection is more suitable with considerable success rate of 91.1% true positives and 88.1% true negatives.
△ Less
Submitted 25 August, 2010;
originally announced August 2010.
-
Modeling Spammer Behavior: Naïve Bayes vs. Artificial Neural Networks
Authors:
Md. Saiful Islam,
Shah Mostafa Khaled,
Khalid Farhan,
Md. Abdur Rahman,
Joy Rahman
Abstract:
Addressing the problem of spam emails in the Internet, this paper presents a comparative study on Naïve Bayes and Artificial Neural Networks (ANN) based modeling of spammer behavior. Keyword-based spam email filtering techniques fall short to model spammer behavior as the spammer constantly changes tactics to circumvent these filters. The evasive tactics that the spammer uses are themselves patter…
▽ More
Addressing the problem of spam emails in the Internet, this paper presents a comparative study on Naïve Bayes and Artificial Neural Networks (ANN) based modeling of spammer behavior. Keyword-based spam email filtering techniques fall short to model spammer behavior as the spammer constantly changes tactics to circumvent these filters. The evasive tactics that the spammer uses are themselves patterns that can be modeled to combat spam. It has been observed that both Naïve Bayes and ANN are best suitable for modeling spammer common patterns. Experimental results demonstrate that both of them achieve a promising detection rate of around 92%, which is considerably an improvement of performance compared to the keyword-based contemporary filtering approaches.
△ Less
Submitted 19 August, 2010;
originally announced August 2010.
-
Error estimates for Stokes problem with Tresca friction condition
Authors:
Ayadi Mekki,
Gdoura Mohamed Khaled,
Sassi Taoufik
Abstract:
In this work we propose and study a three field mixed formulation for solving the Stokes problem with Tresca-type non-linear boundary conditions. Two Lagrange multipliers are used to enforce div(u)=0 constraint and to regularize the energy functional. The resulting problem is discretised using "P1 bubble/P1-P1" finite elements. Error estimates are derived and several numerical studies are achieved…
▽ More
In this work we propose and study a three field mixed formulation for solving the Stokes problem with Tresca-type non-linear boundary conditions. Two Lagrange multipliers are used to enforce div(u)=0 constraint and to regularize the energy functional. The resulting problem is discretised using "P1 bubble/P1-P1" finite elements. Error estimates are derived and several numerical studies are achieved.
△ Less
Submitted 17 March, 2010;
originally announced March 2010.