Efficient Approximate Conformance Checking Using Trie Data Structures by Awad, Ahmed

“…In this paper, we contribute a new formulation of the proxy behavior derived from a model for approximate conformance checking. By encoding the proxy behavior using a trie data structure, we obtain a logarithmically reduced search space for alignment computation compared to a set-based representation. …”
Get full text
Get full text
Get full text

C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments by Raun, Kristo

“…The aim of streaming conformance checking is to find dis crepancies between process executions on streaming data and the refer ence process model. The state-of-the-art output from streaming confor mance checking is a prefix-alignment. …”
Get full text
Get full text
Get full text

On the Optimization of Band Gaps in Periodic Waveguides by Jamil Renno (14070771)

Subjects:

Structural alignment. (c2006) by Kazma, Layal

Get full text
Get full text

An Event-Triggered Robust Attitude Control of Flexible Spacecraft With Modified Rodrigues Parameters Under Limited Communication by Syed Muhammad Amrr (16855557)

“…Of late, within the ambit of control of systems over networks, event-triggered control has proved to be instrumental in ensuring acceptable closed-loop performance while respecting bandwidth constraints of the underlying network. Aligned with these design objectives, a robust event-triggered attitude control algorithm is proposed to regulate the orientation of a flexible spacecraft subjected to parametric uncertainties, external disturbances, and vibrations due to flexible appendages. …”

A combined algorithm based on finite elements and a modified methodof characteristics for the analysis of the corona in wire-ductelectrostatic precipitators by Al-Hamouz, Z.M.

Get full text
Get full text

A reduced model for phase-change problems with radiation using simplified PN approximations by Belhamadia, Youssef

“…The integro-differential equation for the full radiative transfer is replaced by a set of differential equations which are independent of the angle variable and easy to solve using conventional computational methods. To solve the coupled equations, we implement a second-order implicit scheme for the time integration and a mixed finite element method for the space discretization. …”
Get full text

Extended Behavioral Modeling of FET and Lattice-Mismatched HEMT Devices by Khawam, Yahya Bader

Subjects: Get full text

Brain Source Localization in the Presence of Leadfield Perturbations by Momin, Rabiya Nakhat

Get full text

Process Mining over Unordered Event Streams by Awad, Ahmed

“…This requires online algorithms that, instead of keeping the whole history of event data, work incrementally and update analysis results upon the arrival of new events. …”
Get full text
Get full text
Get full text

Monitoring Bone Density Using Microwave Tomography of Human Legs: A Numerical Feasibility Study by Alkhodari, Mohanad Ahmed

“…This study was performed using an in-house finite-element method contrast source inversion algorithm (FEM-CSI). …”
Get full text

I Will Survive: An Event-driven Conformance Checking Approach Over Process Streams by Raun, Kristo

“…Online conformance checking deals with finding discrepancies be tween real-life and modeled behavior on data streams. The current state-of-the-art output of online conformance checking is a prefix alignment, which is used for pinpointing the exact deviations in terms of the trace and the model while accommodating a trace’s unknown termination in an online setting. …”
Get full text
Get full text
Get full text

The Use of Microwave Tomography in Bone Healing Monitoring by Alkhodari, Mohanad Ahmed

Get full text

Design of acoustic absorbing metasurfaces using a data-driven approach by Hamza Baali (14603380)

Subjects:

Design of adaptive arrays based on element position perturbations by Dawoud, M.M.

“…The main advantage of using this technique over the other commonly used methods is that the amplitudes and phases of the array elements can be used mainly to steer the main beam towards the desired signal. …”
Get full text
Get full text

Generic metadata representation framework for social-based event detection, description, and linkage by Abebe, Minale A.

“…SEDDaL consists of four main modules for: i) describing social media objects in a generic Metadata Representation Space Model (MRSM) consisting of three composite dimensions: temporal, spatial, and semantic, ii) evaluating the similarity between social media objects’ descriptions following MRSM, iii) detecting events from similar social media objects using an adapted unsupervised learning algorithm, where events are represented as clusters of objects in MRSM, and iv) identifying directional, metric, and topological relationships between events following MRSM’s dimensions. …”
Get full text
Get full text
Get full text
Get full text

Prediction of EV Charging Behavior Using Machine Learning by Shahriar, Sakib

“…Therefore, in this paper we propose the usage of historical charging data in conjunction with weather, traffic, and events data to predict EV session duration and energy consumption using popular machine learning algorithms including random forest, SVM, XGBoost and deep neural networks. …”
Get full text

Using machine learning algorithm for detection of cyber-attacks in cyber physical systems by Almajed, Rasha

Get full text
Get full text

Scatter search metaheuristic for homology based protein structure prediction. (c2015) by Stamboulian, Mouses Hrag

“…To improve homology based PSP, we propose a scatter search (SS) metaheuristic algorithm. Our algorithm optimizes the initial poor alignments, generated by a dynamic programming method. …”
Get full text
Get full text

A kernelization algorithm for d-Hitting Set by Abu-Khzam, Faisal N.

“…For 3-Hitting Set, an arbitrary instance is reduced into an equivalent one that contains at most 5k2+k elements. This kernelization is an improvement over previously known methods that guarantee cubic-order kernels. …”
Get full text
Get full text
Get full text