Efficient Approximate Conformance Checking Using Trie Data Structures حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

On the Optimization of Band Gaps in Periodic Waveguides حسب Jamil Renno (14070771)

الموضوعات:

Structural alignment. (c2006) حسب Kazma, Layal

احصل على النص الكامل
احصل على النص الكامل

An Event-Triggered Robust Attitude Control of Flexible Spacecraft With Modified Rodrigues Parameters Under Limited Communication حسب 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 حسب Al-Hamouz, Z.M.

احصل على النص الكامل
احصل على النص الكامل

A reduced model for phase-change problems with radiation using simplified PN approximations حسب 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. …"
احصل على النص الكامل

Extended Behavioral Modeling of FET and Lattice-Mismatched HEMT Devices حسب Khawam, Yahya Bader

الموضوعات: احصل على النص الكامل

Brain Source Localization in the Presence of Leadfield Perturbations حسب Momin, Rabiya Nakhat

احصل على النص الكامل

Process Mining over Unordered Event Streams حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

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

"…This study was performed using an in-house finite-element method contrast source inversion algorithm (FEM-CSI). …"
احصل على النص الكامل

I Will Survive: An Event-driven Conformance Checking Approach Over Process Streams حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

The Use of Microwave Tomography in Bone Healing Monitoring حسب Alkhodari, Mohanad Ahmed

احصل على النص الكامل

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

الموضوعات:

Design of adaptive arrays based on element position perturbations حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل

Generic metadata representation framework for social-based event detection, description, and linkage حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Prediction of EV Charging Behavior Using Machine Learning حسب 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. …"
احصل على النص الكامل

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

احصل على النص الكامل
احصل على النص الكامل

Scatter search metaheuristic for homology based protein structure prediction. (c2015) حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل

A kernelization algorithm for d-Hitting Set حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل