-
Deterministic Quantum Dot Cavity Placement Using Hyperspectral Imaging with High Spatial Accuracy and Precision
Authors:
Quirin Buchinger,
Constantin Krause,
Aileen Zhang,
Giora Peniakov,
Mohamed Helal,
Yorick Reum,
Andreas Theo Pfenning,
Sven Höfling,
Tobias Huber-Loyola
Abstract:
Single emitters in solid state are great sources of single and entangled photons. To boost their extraction efficiency and tailor their emission properties, they are often incorporated in photonic nanostructures. However, achieving accurate and reproducible placement inside the cavity is challenging but necessary to ensure the highest mode overlap and optimal device performance. For many cavity ty…
▽ More
Single emitters in solid state are great sources of single and entangled photons. To boost their extraction efficiency and tailor their emission properties, they are often incorporated in photonic nanostructures. However, achieving accurate and reproducible placement inside the cavity is challenging but necessary to ensure the highest mode overlap and optimal device performance. For many cavity types -- such as photonic crystal cavities or circular Bragg grating cavities -- even small displacements lead to a significantly reduced emitter-cavity coupling. For circular Bragg grating cavities, this yields a significant reduction in Purcell effect, a slight reduction in efficiency and it introduces polarization on the emitted photons. Here we show a method to achieve high accuracy and precision for deterministically placed cavities on the example of circular Bragg gratings on randomly distributed semiconductor quantum dots. We introduce periodic alignment markers for improved marker detection accuracy and investigate overall imaging accuracy achieving $(9.1 \pm 2.5) nm$ through image correction. Since circular Bragg grating cavities exhibit a strong polarization response when the emitter is displaced, they are ideal devices to probe the cavity placement accuracy far below the diffraction limit. From the measured device polarizations, we derive a total spatial process accuracy of $(33.5 \pm 9.9) nm$ based on the raw data, and an accuracy of $(15 \pm 11) nm$ after correcting for the system response, resulting in a device yield of $68 \%$ for well-placed cavities.
△ Less
Submitted 14 May, 2025;
originally announced May 2025.
-
Initialization of Neutral and Charged Exciton Spin States in a Telecom-Emitting Quantum Dot
Authors:
Giora Peniakov,
Johannes Michl,
Mohamed Helal,
Raphael Joos,
Michael Jetter,
Simone L. Portalupi,
Peter Michler,
Sven Höfling,
Tobias Huber-Loyola
Abstract:
Photonic cluster states are highly entangled states that allow for photonic quantum computing and memory-less quantum repeaters. Their generation has been recently demonstrated using semiconductor quantum dots emitting at the 900 nm wavelength range. However, a similar demonstration at the communication-optimal telecom range has remained elusive. A key ingredient that is still missing is an approp…
▽ More
Photonic cluster states are highly entangled states that allow for photonic quantum computing and memory-less quantum repeaters. Their generation has been recently demonstrated using semiconductor quantum dots emitting at the 900 nm wavelength range. However, a similar demonstration at the communication-optimal telecom range has remained elusive. A key ingredient that is still missing is an appropriate optical excitation method. A central requirement of such a method is to allow an arbitrary spin initialization of quantum dot excitonic complexes. In this work, we report on developing such a method based on a quasi-resonant p-shell excitation for a telecom-C-band-emitting quantum dot. We show qubit writing of a neutral exciton and spin-preserving excitation of a negative trion. Using the Larmor precession of the negative trion under an externally applied magnetic field, we determine the in-plane g-factors of both the electron and the hole in the investigated quantum dot. In addition, we measure a lower bound on the hole coherence time, $T_{2}^{*}>6.4$ ns, boosting its candidacy as a sound photon entangler for more advanced quantum photonic schemes.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Validating Temporal Compliance Patterns: A Unified Approach with $MTL_f$ over various Data Models
Authors:
Nesma M. Zaki,
Iman M. A. Helal,
Ehab E. Hassanein,
Ahmed Awad
Abstract:
Process mining extracts valuable insights from event data to help organizations improve their business processes, which is essential for their growth and success. By leveraging process mining techniques, organizations gain a comprehensive understanding of their processes' execution, enabling the discovery of process models, detection of deviations, identification of bottlenecks, and assessment of…
▽ More
Process mining extracts valuable insights from event data to help organizations improve their business processes, which is essential for their growth and success. By leveraging process mining techniques, organizations gain a comprehensive understanding of their processes' execution, enabling the discovery of process models, detection of deviations, identification of bottlenecks, and assessment of performance. Compliance checking, a specific area within conformance checking, ensures that the organizational activities adhere to prescribed process models and regulations. Linear Temporal Logic over finite traces ($LTL_{f}$ ) is commonly used for conformance checking, but it may not capture all temporal aspects accurately. This paper proposes Metric Temporal Logic over finite traces ($MTL_{f}$ ) to define explicit time-related constraints effectively in addition to the implicit time-ordering covered by $LTL_f$. Therefore, it provides a universal formal approach to capture compliance rules. Moreover, we define a minimal set of generic $MTL_f$ formulas and show that they are capable of capturing all the common patterns for compliance rules. As compliance validation is largely driven by the data model used to represent the event logs, we provide a mapping from $MTL_f$ to the common data models we found in the literature to encode event logs, namely, the relational and the graph models. A comprehensive study comparing various data models and an empirical evaluation across real-life event logs demonstrates the effectiveness of the proposed approach.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
High Performance Multiple Sequence Alignment Algorithms for Comparison of Microbial Genomes
Authors:
Manal Helal,
Hossam El-Gindy,
Bruno Gaeta,
Vitali Sinchenko
Abstract:
Advances in gene sequencing have enabled in silico analyses of microbial genomes and have led to the revision of concepts of microbial taxonomy and evolution. We explore deficiencies in existing multiple sequence global alignment algorithms and introduce a new indexing scheme to partition the dynamic programming algorithm hypercube scoring tensor over processors based on the dependency between par…
▽ More
Advances in gene sequencing have enabled in silico analyses of microbial genomes and have led to the revision of concepts of microbial taxonomy and evolution. We explore deficiencies in existing multiple sequence global alignment algorithms and introduce a new indexing scheme to partition the dynamic programming algorithm hypercube scoring tensor over processors based on the dependency between partitions to be scored in parallel. The performance of algorithms is compared in the study of rpoB gene sequences of Mycoplasma species.
△ Less
Submitted 29 November, 2023;
originally announced December 2023.
-
Defining Reference Sequences for Nocardia Species by Similarity and Clustering Analyses of 16S rRNA Gene Sequence Data
Authors:
Manal Helal,
Fanrong Kong,
Sharon C. A. Chen,
Michael Bain,
Richard Christen,
Vitali Sintchenko
Abstract:
The intra- and inter-species genetic diversity of bacteria and the absence of 'reference', or the most representative, sequences of individual species present a significant challenge for sequence-based identification. The aims of this study were to determine the utility, and compare the performance of several clustering and classification algorithms to identify the species of 364 sequences of 16S…
▽ More
The intra- and inter-species genetic diversity of bacteria and the absence of 'reference', or the most representative, sequences of individual species present a significant challenge for sequence-based identification. The aims of this study were to determine the utility, and compare the performance of several clustering and classification algorithms to identify the species of 364 sequences of 16S rRNA gene with a defined species in GenBank, and 110 sequences of 16S rRNA gene with no defined species, all within the genus Nocardia. A total of 364 16S rRNA gene sequences of Nocardia species were studied. In addition, 110 16S rRNA gene sequences assigned only to the Nocardia genus level at the time of submission to GenBank were used for machine learning classification experiments. Different clustering algorithms were compared with a novel algorithm or the linear mapping (LM) of the distance matrix. Principal Components Analysis was used for the dimensionality reduction and visualization. Results: The LM algorithm achieved the highest performance and classified the set of 364 16S rRNA sequences into 80 clusters, the majority of which (83.52%) corresponded with the original species. The most representative 16S rRNA sequences for individual Nocardia species have been identified as 'centroids' in respective clusters from which the distances to all other sequences were minimized; 110 16S rRNA gene sequences with identifications recorded only at the genus level were classified using machine learning methods. Simple kNN machine learning demonstrated the highest performance and classified Nocardia species sequences with an accuracy of 92.7% and a mean frequency of 0.578.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Linear normalised hash function for clustering gene sequences and identifying reference sequences from multiple sequence alignments
Authors:
Manal Helal,
Fanrong Kong,
Sharon C-A Chen,
Fei Zhou,
Dominic E Dwyer,
John Potter,
Vitali Sintchenko
Abstract:
The aim of this study was to develop a method that would identify the cluster centroids and the optimal number of clusters for a given sensitivity level and could work equally well for the different sequence datasets. A novel method that combines the linear mapping hash function and multiple sequence alignment (MSA) was developed. This method takes advantage of the already sorted by similarity seq…
▽ More
The aim of this study was to develop a method that would identify the cluster centroids and the optimal number of clusters for a given sensitivity level and could work equally well for the different sequence datasets. A novel method that combines the linear mapping hash function and multiple sequence alignment (MSA) was developed. This method takes advantage of the already sorted by similarity sequences from the MSA output, and identifies the optimal number of clusters, clusters cut-offs, and clusters centroids that can represent reference gene vouchers for the different species. The linear mapping hash function can map an already ordered by similarity distance matrix to indices to reveal gaps in the values around which the optimal cut-offs of the different clusters can be identified. The method was evaluated using sets of closely related (16S rRNA gene sequences of Nocardia species) and highly variable (VP1 genomic region of Enterovirus 71) sequences and outperformed existing unsupervised machine learning clustering methods and dimensionality reduction methods. This method does not require prior knowledge of the number of clusters or the distance between clusters, handles clusters of different sizes and shapes, and scales linearly with the dataset. The combination of MSA with the linear mapping hash function is a computationally efficient way of gene sequence clustering and can be a valuable tool for the assessment of similarity, clustering of different microbial genomes, identifying reference sequences, and for the study of evolution of bacteria and viruses.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Performance Evaluation of Checkpoint/Restart Techniques
Authors:
Basma Abdel Azeem,
Manal Helal
Abstract:
Distributed applications running on a large cluster environment, such as the cloud instances will have shorter execution time. However, the application might suffer from sudden termination due to unpredicted computing node failures, thus loosing the whole computation. Checkpoint/restart is a fault tolerance technique used to solve this problem. In this work we evaluated the performance of two of t…
▽ More
Distributed applications running on a large cluster environment, such as the cloud instances will have shorter execution time. However, the application might suffer from sudden termination due to unpredicted computing node failures, thus loosing the whole computation. Checkpoint/restart is a fault tolerance technique used to solve this problem. In this work we evaluated the performance of two of the most commonly used checkpoint/restart techniques (Distributed Multithreaded Checkpointing (DMTCP) and Berkeley Lab Checkpoint/Restart library (BLCR) integrated into the OpenMPI framework). We aimed to test their validity and evaluate their performance in both local and Amazon Elastic Compute Cloud (EC2) environments. The experiments were conducted on Amazon EC2 as a well-known proprietary cloud computing service provider. Results obtained were reported and compared to evaluate checkpoint and restart time values, data scalability and compute processes scalability. The findings proved that DMTCP performs better than BLCR for checkpoint and restart speed, data scalability and compute processes scalability experiments.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Dynamic Programming Algorithms for Discovery of Antibiotic Resistance in Microbial Genomes
Authors:
Manal Helal,
Vitali Sintchenko
Abstract:
The translation of comparative genomics into clinical decision support tools often depends on the quality of sequence alignments. However, currently used methods of multiple sequence alignments suffer from significant biases and problems with aligning diverged sequences. The objective of this study was to develop and test a new multiple sequence alignment (MSA) algorithm suitable for the high-thro…
▽ More
The translation of comparative genomics into clinical decision support tools often depends on the quality of sequence alignments. However, currently used methods of multiple sequence alignments suffer from significant biases and problems with aligning diverged sequences. The objective of this study was to develop and test a new multiple sequence alignment (MSA) algorithm suitable for the high-throughput comparative analysis of different microbial genomes. This algorithm employs an innovative tensor indexing method for partitioning the dynamic programming hyper-cube space for parallel processing. We have used the clinically relevant task of identifying regions that determine resistance to antibiotics to test the new algorithm and to compare its performance with existing MSA methods. The new method "mmDst" performed better than existing MSA algorithms for more divergent sequences because it employs a simultaneous alignment scoring recurrence, which effectively approximated the score for edge missing cell scores that fall outside the scoring region.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Parallelizing Optimal Multiple Sequence Alignment by Dynamic Programming
Authors:
Manal Helal,
Hossam El-Gindy,
Lenore Mullin,
Bruno Gaeta
Abstract:
Optimal multiple sequence alignment by dynamic programming, like many highly dimensional scientific computing problems, has failed to benefit from the improvements in computing performance brought about by multi-processor systems, due to the lack of suitable scheme to manage partitioning and dependencies. A scheme for parallel implementation of the dynamic programming multiple sequence alignment i…
▽ More
Optimal multiple sequence alignment by dynamic programming, like many highly dimensional scientific computing problems, has failed to benefit from the improvements in computing performance brought about by multi-processor systems, due to the lack of suitable scheme to manage partitioning and dependencies. A scheme for parallel implementation of the dynamic programming multiple sequence alignment is presented, based on a peer to peer design and a multidimensional array indexing method. This design results in up to 5-fold improvement compared to a previously described master/slave design, and scales favourably with the number of processors used. This study demonstrates an approach for parallelising multi-dimensional dynamic programming and similar algorithms utilizing multi-processor architectures.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Spinal Muscle Atrophy Disease Modelling as Bayesian Network
Authors:
Mohammed Ezzat Helal,
Manal Ezzat Helal,
Sherif Fadel Fahmy
Abstract:
We investigate the molecular gene expressions studies and public databases for disease modelling using Probabilistic Graphical Models and Bayesian Inference. A case study on Spinal Muscle Atrophy Genome-Wide Association Study results is modelled and analyzed. The genes up and down-regulated in two stages of the disease development are linked to prior knowledge published in the public domain and co…
▽ More
We investigate the molecular gene expressions studies and public databases for disease modelling using Probabilistic Graphical Models and Bayesian Inference. A case study on Spinal Muscle Atrophy Genome-Wide Association Study results is modelled and analyzed. The genes up and down-regulated in two stages of the disease development are linked to prior knowledge published in the public domain and co-expressions network is created and analyzed. The Molecular Pathways triggered by these genes are identified. The Bayesian inference posteriors distributions are estimated using a variational analytical algorithm and a Markov chain Monte Carlo sampling algorithm. Assumptions, limitations and possible future work are concluded.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Chat Failures and Troubles: Reasons and Solutions
Authors:
Manal Helal,
Patrick Holthaus,
Gabriella Lakatos,
Farshid Amirabdollahian
Abstract:
This paper examines some common problems in Human-Robot Interaction (HRI) causing failures and troubles in Chat. A given use case's design decisions start with the suitable robot, the suitable chatting model, identifying common problems that cause failures, identifying potential solutions, and planning continuous improvement. In conclusion, it is recommended to use a closed-loop control algorithm…
▽ More
This paper examines some common problems in Human-Robot Interaction (HRI) causing failures and troubles in Chat. A given use case's design decisions start with the suitable robot, the suitable chatting model, identifying common problems that cause failures, identifying potential solutions, and planning continuous improvement. In conclusion, it is recommended to use a closed-loop control algorithm that guides the use of trained Artificial Intelligence (AI) pre-trained models and provides vocabulary filtering, re-train batched models on new datasets, learn online from data streams, and/or use reinforcement learning models to self-update the trained models and reduce errors.
△ Less
Submitted 18 January, 2024; v1 submitted 7 September, 2023;
originally announced September 2023.
-
Enhancing Deep Learning Models through Tensorization: A Comprehensive Survey and Framework
Authors:
Manal Helal
Abstract:
The burgeoning growth of public domain data and the increasing complexity of deep learning model architectures have underscored the need for more efficient data representation and analysis techniques. This paper is motivated by the work of (Helal, 2023) and aims to present a comprehensive overview of tensorization. This transformative approach bridges the gap between the inherently multidimensiona…
▽ More
The burgeoning growth of public domain data and the increasing complexity of deep learning model architectures have underscored the need for more efficient data representation and analysis techniques. This paper is motivated by the work of (Helal, 2023) and aims to present a comprehensive overview of tensorization. This transformative approach bridges the gap between the inherently multidimensional nature of data and the simplified 2-dimensional matrices commonly used in linear algebra-based machine learning algorithms. This paper explores the steps involved in tensorization, multidimensional data sources, various multiway analysis methods employed, and the benefits of these approaches. A small example of Blind Source Separation (BSS) is presented comparing 2-dimensional algorithms and a multiway algorithm in Python. Results indicate that multiway analysis is more expressive. Contrary to the intuition of the dimensionality curse, utilising multidimensional datasets in their native form and applying multiway analysis methods grounded in multilinear algebra reveal a profound capacity to capture intricate interrelationships among various dimensions while, surprisingly, reducing the number of model parameters and accelerating processing. A survey of the multi-away analysis methods and integration with various Deep Neural Networks models is presented using case studies in different application domains.
△ Less
Submitted 9 October, 2023; v1 submitted 5 September, 2023;
originally announced September 2023.
-
Polarized and Un-Polarized Emission from a Single Emitter in a Bullseye Resonator
Authors:
Giora Peniakov,
Quirin Buchinger,
Mohamed Helal,
Simon Betzold,
Yorick Reum,
Michele B. Rota,
Giuseppe Ronco,
Mattia Beccaceci,
Tobias M. Krieger,
Saimon F. Covre Da Silva,
Armando Rastelli,
Rinaldo Trotta,
Andreas Pfenning,
Sven Hoefling,
Tobias Huber-Loyola
Abstract:
We present polarized |S|=0.99$\pm$0.01, and unpolarized |S|=0.03$\pm$0.01 emission from a single emitter embedded in a single, cylindrically symmetric device design. We show that the polarization stems from a position offset of the single emitter with respect to the cavity center, which breaks the cylindrical symmetry, and a position-dependent coupling to the frequency degenerate eigenmodes of the…
▽ More
We present polarized |S|=0.99$\pm$0.01, and unpolarized |S|=0.03$\pm$0.01 emission from a single emitter embedded in a single, cylindrically symmetric device design. We show that the polarization stems from a position offset of the single emitter with respect to the cavity center, which breaks the cylindrical symmetry, and a position-dependent coupling to the frequency degenerate eigenmodes of the resonator structure. The experimental results are interpreted by using numerical simulations and by experimental mapping of the polarization-resolved far-field emission patterns. Our findings can be generalized to any nanophotonic structure where two orthogonal eigenmodes are not fully spatially overlapping.
△ Less
Submitted 5 October, 2023; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Patent Mining by Extracting Functional Analysis Information Modelled As Graph Structure: A Patent Knowledge-base Collaborative Building Approach
Authors:
Manal E. Helal,
Mohammed E. Helal
Abstract:
Patents provide a rich source of information about design innovations. Patent mining techniques employ various technologies, such as text mining, machine learning, natural language processing, and ontology-building techniques. An automated graph data modelling method is proposed for extracting functional representations for building a semantic database of patents of mechanical designs. The method…
▽ More
Patents provide a rich source of information about design innovations. Patent mining techniques employ various technologies, such as text mining, machine learning, natural language processing, and ontology-building techniques. An automated graph data modelling method is proposed for extracting functional representations for building a semantic database of patents of mechanical designs. The method has several benefits: The schema-free characteristic of the proposed graph modelling enables the ontology it is based on to evolve and generalise to upper ontologies across technology domains and to specify lower ontologies to more specific domains. Graph modelling benefits from enhanced performance of deep queries across many levels of relationships and interactions and provides efficient storage. Graph modelling also enables visualisation libraries to use the graph data structure immediately, avoiding the need for graph extraction programs from relational databases. Patent/Design comparisons are computed by search queries using counting of overlaps of different levels and weights. This work has produced the PatMine SolidWorks Add-in \c{opyright}, which compares annotated CAD designs with patents and highlights overlapping design concepts. The patent annotation extracts its functional analysis, representing its structure as geometric feature interactions. Additional features such as full-text search and semantic search of the PatMine patents database are available, and graph analytic methods and machine learning algorithms are enabled and can be implemented as plug-ins in future work. Keywords: Patent Mining; Semantic Analysis; Functional Analysis Diagrams; Graph Data Modelling; Visualisation; Similarity Scoring; Big Data Analytics; Machine Learning; Artificial Intelligence; Natural Language Processing
△ Less
Submitted 1 February, 2024; v1 submitted 29 April, 2023;
originally announced May 2023.
-
Efficient Checking of Timed Order Compliance Rules over Graph-encoded Event Logs
Authors:
Nesma M. Zaki,
Iman M. A. Helal,
Ahmed Awad,
Ehab E. Hassanein
Abstract:
Validation of compliance rules against process data is a fundamental functionality for business process management. Over the years, the problem has been addressed for different types of process data, i.e., process models, process event data at runtime, and event logs representing historical execution. Several approaches have been proposed to tackle compliance checking over process logs. These appr…
▽ More
Validation of compliance rules against process data is a fundamental functionality for business process management. Over the years, the problem has been addressed for different types of process data, i.e., process models, process event data at runtime, and event logs representing historical execution. Several approaches have been proposed to tackle compliance checking over process logs. These approaches have been based on different data models and storage technologies including relational databases, graph databases, and proprietary formats. Graph-based encoding of event logs is a promising direction that turns several process analytics tasks into queries on the underlying graph. Compliance checking is one class of such analysis tasks. In this paper, we argue that encoding log data as graphs alone is not enough to guarantee efficient processing of queries on this data. Efficiency is important due to the interactive nature of compliance checking. Thus, compliance checking would benefit from sub-linear scanning of the data. Moreover, as more data are added, e.g., new batches of logs arrive, the data size should grow sub-linearly to optimize both the space of storage and time for querying. We propose two encoding methods using graph representation, realized in Neo4J, and show the benefits of these encoding on a special class of queries, namely timed order compliance rules. Compared to a baseline encoding, our experiments show up to 5x speed up in the querying time as well as a 3x reduction in the graph size.
△ Less
Submitted 19 June, 2022;
originally announced June 2022.
-
Soft-clamped silicon nitride string resonators at millikelvin temperatures
Authors:
Thomas Gisler,
Mohamed Helal,
Deividas Sabonis,
Urs Grob,
Martin Héritier,
Christian L. Degen,
Amir H. Ghadimi,
Alexander Eichler
Abstract:
We demonstrate that soft-clamped silicon nitride strings with large aspect ratio can be operated at \si{\milli\kelvin} temperatures. The quality factors ($Q$) of two measured devices show consistent dependency on the cryostat temperature, with soft-clamped mechanical modes reaching $Q > 10^9$ at $46~\mathrm{mK}$. For low optical readout power, $Q$ is found to saturate, indicating good thermalizati…
▽ More
We demonstrate that soft-clamped silicon nitride strings with large aspect ratio can be operated at \si{\milli\kelvin} temperatures. The quality factors ($Q$) of two measured devices show consistent dependency on the cryostat temperature, with soft-clamped mechanical modes reaching $Q > 10^9$ at $46~\mathrm{mK}$. For low optical readout power, $Q$ is found to saturate, indicating good thermalization between the sample and the stage it is mounted on. Our best device exhibits a force sensitivity of $9.6~\mathrm{zN}/\sqrt{\mathrm{Hz}}$ and a thermal decoherence time of $0.38~\mathrm{s}$ which bode well for future applications such as nanomechanical force sensing and beyond.
△ Less
Submitted 15 September, 2022; v1 submitted 7 December, 2021;
originally announced December 2021.
-
Correlating Unlabeled Events at Runtime
Authors:
Iman M. A. Helal,
Ahmed Awad
Abstract:
Process mining is of great importance for both data-centric and process-centric systems. Process mining receives so-called process logs which are collections of partially-ordered events. An event has to possess at least three attributes, case ID, task ID and a timestamp for mining approaches to work. When a case ID is unknown, the event is called unlabeled. Traditionally, process mining is an offl…
▽ More
Process mining is of great importance for both data-centric and process-centric systems. Process mining receives so-called process logs which are collections of partially-ordered events. An event has to possess at least three attributes, case ID, task ID and a timestamp for mining approaches to work. When a case ID is unknown, the event is called unlabeled. Traditionally, process mining is an offline task, where events are collected from different sources are usually manually correlated. That is, events belonging to the same instance are assigned the same case ID. With today's high-volume/high-speed nature of, e.g., IoT applications, process mining shifts to be an online task. For this, event correlation has to be automated and has to occur as the data is generated. In this paper, we introduce an approach that correlates unlabeled events at runtime. Given a process model, a stream of unlabeled events and other information about task duration, our approach can induce a case identifier to a set of unlabeled events with a trust percentage. It can also check the conformance of the identified cases with the process model. A prototype of the proposed approach was implemented and evaluated against real-life and synthetic logs.
△ Less
Submitted 19 April, 2020;
originally announced April 2020.
-
Dynamical evolution and end states of active and inactive Centaurs
Authors:
Julio A. Fernández,
Michel Helal,
Tabaré Gallardo
Abstract:
We numerically study the dynamical evolution of observed samples of active and inactive Centaurs and clones that reach the Jupiter-Saturn region. Our aim is to compare the evolution between active and inactive Centaurs, their end states and their transfer to Jupiter family comets and Halley-type comets. We find that the median lifetime of inactive Centaurs is about twice longer than that for activ…
▽ More
We numerically study the dynamical evolution of observed samples of active and inactive Centaurs and clones that reach the Jupiter-Saturn region. Our aim is to compare the evolution between active and inactive Centaurs, their end states and their transfer to Jupiter family comets and Halley-type comets. We find that the median lifetime of inactive Centaurs is about twice longer than that for active Centaurs, suggesting that activity is related to the residence time in the region. This view is strengthened by the observation that high-inclination and retrograde Centaurs (Tisserand parameters with respect to Jupiter $T_J < 2$) which have the longest median dynamical lifetime ($=1.37 \times 10^6$ yr) are all inactive. We also find that the perihelion distances of some active, comet-like Centaurs have experienced drastic drops of a few au in the recent past ($\sim 10^2-10^3$ yr), while such drops are not found among inactive Centaurs. Inactive Centaurs with $T_J \lsim 2.5$ usually evolve to Halley-type comets, whereas inactive Centaurs with $T_J \gsim 2.5$ and active Centaurs (that also have $T_J \gsim 2.5$) evolve almost always to Jupiter family comets and very seldom to Halley type comets. Inactive Centaurs are also more prone to end up as sungrazers, and both inactive and active Centaurs transit through different mean motion resonances (generally with Jupiter) during their evolution.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Alzheimer's disease: analysis of a mathematical model incorporating the role of prions
Authors:
Mohamed Helal,
Erwan Hingant,
Laurent Pujo-Menjouet,
Glenn F. Webb
Abstract:
We introduce a mathematical model of the in vivo progression of Alzheimer's disease with focus on the role of prions in memory impairment. Our model consists of differential equations that describe the dynamic formation of β-amyloid plaques based on the concentrations of Aβ oligomers, PrPC proteins, and the Aβ-x-PrPC complex, which are hypothesized to be responsible for synaptic toxicity. We prove…
▽ More
We introduce a mathematical model of the in vivo progression of Alzheimer's disease with focus on the role of prions in memory impairment. Our model consists of differential equations that describe the dynamic formation of β-amyloid plaques based on the concentrations of Aβ oligomers, PrPC proteins, and the Aβ-x-PrPC complex, which are hypothesized to be responsible for synaptic toxicity. We prove the well-posedness of the model and provided stability results for its unique equilibrium, when the polymerization rate of β-amyloid is constant and also when it is described by a power law.
△ Less
Submitted 1 March, 2013; v1 submitted 27 February, 2013;
originally announced February 2013.
-
Elastic, electronic and optical properties of hypothetical SnNNi3 and CuNNi3 in comparison with superconducting ZnNNi3
Authors:
M. A. Helal,
A. K. M. A. Islam
Abstract:
The elastic, electronic and optical properties of MNNi3 (M= Zn, Sn and Cu) have been calculated using the plane-wave ultrasoft pseudopotential technique which is based on the first-principles density functional theory (DFT) with generalized gradient approximation (GGA). The optimized lattice parameters, independent elastic constants (C11, C12, and C44), bulk modulus B, Compressibility K, shear mod…
▽ More
The elastic, electronic and optical properties of MNNi3 (M= Zn, Sn and Cu) have been calculated using the plane-wave ultrasoft pseudopotential technique which is based on the first-principles density functional theory (DFT) with generalized gradient approximation (GGA). The optimized lattice parameters, independent elastic constants (C11, C12, and C44), bulk modulus B, Compressibility K, shear modulus G, and Poisson's ratio \u{psion}, as well as the band structures, total and atom projected densities of states and finally the optical properties of MNNi3 have been evaluated and discussed. The electronic band structures of the two hypothetical compounds show metallic behavior just like the superconducting ZnNNi3. Using band structures, the origin of features that appear in different optical properties of all the three compounds have been discussed. The large reflectivity of the predicted compounds in the low energy region might be good candidate materials as a coating to avoid solar heating. Key words: MNNi3, Ab initio calculations, Elastic properties, Electronic band structure, Optical properties.
△ Less
Submitted 2 August, 2011;
originally announced August 2011.
