Results 61 to 70 of about 57,646 (303)
Fuzzy Clustering Based on Activity Sequence and Cycle Time in Process Mining
AxiomsClustering plays a vital role in process mining as it organizes complex event logs into meaningful groups, helping to identify common patterns, outliers, and inefficiencies.
Onur Dogan, Hunaıda Avvad
doaj +1 more source
Psi-calculi: a framework for mobile processes with nominal data and logic [PDF]
Logical Methods in Computer Science, 2011 The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus.
Jesper Bengtson +3 more
doaj +1 more source
Screening Routine Clinical Notes for Epilepsy Surgery Candidates Using Large Language Models
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Epilepsy surgery is severely underutilized despite proven efficacy, with substantial under‐referral of eligible patients in routine clinical practice. This study evaluated the potential role of large language models (LLMs) as decision‐support tools for screening unstructured clinical notes to identify epilepsy surgery candidates and ...
Uriel Fennig +9 more
wiley +1 more source
Categorical model of structural operational semantics for imperative language
Journal of Information and Organizational Sciences, 2016 Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj
Algebraic Meta-Theory of Processes with Data [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few approaches for automatically deriving axiomatizations characterizing strong ...
Daniel Gebler +2 more
doaj +1 more source
Sensors, 2021 Smartphone accelerometers and low-cost Global Navigation Satellite System (GNSS) equipment have faced rapid and important advancement, opening a new door to deformation monitoring applications such as landslide, plate tectonics and structural health ...
Alexandru M. Lăpădat +2 more
doaj +1 more source
Modularity and implementation of mathematical operational semantics [PDF]
, 2008 Structural operational semantics is a popular technique for specifying the meaning of programs by means of inductive clauses. One seeks syntactic restrictions on those clauses so that the resulting operational semantics is well-behaved.
Ghani, Neil +2 more
core
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
MathematicsMulti-branch deep neural networks like AASIST3 achieve state-of-the-art comparable performance in audio anti-spoofing, yet their internal decision dynamics remain opaque compared to traditional input-level saliency methods.
Ivan Viakhirev +3 more
doaj +1 more source
Persistent Stochastic Non-Interference [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In this paper we present an information flow security property for stochastic, cooperating, processes expressed as terms of the Performance Evaluation Process Algebra (PEPA).
Jane Hillston +2 more
doaj +1 more source