Results 11 to 20 of about 14,108,597 (163)
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine [PDF]
, 2008 A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components.
Ipate, F, Hierons, RM
core +6 more sources
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine [PDF]
, 2004 Stream X-machines are a formalisation of extended finite state machines that have been used to specify systems. One of the great benefits of using stream X-machines, for the purpose of specification, is the associated test generation technique which ...
Harman, M, Hierons, RM
core +5 more sources
Decision Mining Revisited - Discovering Overlapping Rules [PDF]
, 2016 Decision mining enriches process models with rules underlying decisions in processes using historical process execution data. Choices between multiple activities are specified through rules defined over process data.
Eder, J. +7 more
core +2 more sources
Design and Analysis of Decision Rules via Dynamic Programming [PDF]
, 2017 The areas of machine learning, data mining, and knowledge representation have many different formats used to represent information. Decision rules, amongst these formats, are the most expressive and easily-understood by humans.
Amin, Talha M.
core +1 more source
Proof complexity of systems of (non-deterministic) decision trees and branching programs [PDF]
, 2019 This paper studies propositional proof systems in which lines are sequents of decision trees or branching programs - deterministic and nondeterministic.
Knop, Alexander +2 more
core +5 more sources
Arthritis Care &Research, EarlyView.Interstitial lung disease (ILD) is a significant cause of morbidity and mortality in patients with inflammatory rheumatic disorders (IRDs). High‐resolution computed tomography (HRCT) is widely considered the gold standard for the noninvasive assessment of ILD; however, its interpretation is constrained by substantial interobserver variability and the ...
Alexander Pfeil +7 more
wiley +1 more source
dynoGP: Deep Gaussian Processes for Dynamic System Identification
International Journal of Adaptive Control and Signal Processing, EarlyView.This work introduces a novel class of deep models for system identification, dynamical deep Gaussian processes, which combine the strengths of data‐driven methods, such as those based on neural network architectures, with the ability to output a probability distribution for uncertainty representation.
Alessio Benavoli +3 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt +8 more
wiley +1 more source
Elastic–Plastic Modeling and Experimental Characterization of Granular Jamming Actuators
Advanced Engineering Materials, EarlyView.Granular jamming enables rapid switching between soft and rigid mechanical states. Here, a reduced‐order elastic‐perfectly‐plastic beam framework captures pressure‐dependent loading, unloading, residual deformation, and hysteresis in jammed beams, while matching three‐point bending experiments across materials and geometries. The framework links design
Saheli Patel +2 more
wiley +1 more source
Advanced Functional Materials, EarlyView.The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 more
wiley +1 more source