Results 41 to 50 of about 3,608,849 (131)
New Difference Triangle Sets by a Field‐Programmable Gate Array‐Based Search Technique
Journal of Combinatorial Designs, Volume 34, Issue 1, Page 37-50, January 2026.ABSTRACT We provide some difference triangle sets with scopes that improve upon the best known values. These are found with purpose‐built digital circuits realized with field‐programmable gate arrays (FPGAs) rather than software algorithms running on general‐purpose processors.
Mohannad Shehadeh +2 more
wiley +1 more source
Testing from a nondeterministic finite state machine using adaptive state counting [PDF]
, 2004 The problem of generating a checking experiment from a nondeterministic finite state machine has been represented in terms of state counting. However, test techniques that use state counting traditionally produce preset test suites.
Hierons, RM
core +1 more source
Digital‐Twin‐Enabled, Time‐Aware Anomaly Detection for Industrial Cyber‐Physical Systems
Digital Twins and Applications, Volume 3, Issue 1, January/December 2026.The graphical abstract (Graphical Abstract figure) summarises the proposed pipeline: multivariate ICS data streams are windowed and normalised, fed into a temporal LSTM–DNN encoder and per‐sensor operating‐envelope learner, combined via calibrated fusion and finally surfaced through an operator‐facing digital twin that provides event timelines, top ...
Wulfran Fendzi Mbasso +5 more
wiley +1 more source
IET Intelligent Transport Systems, Volume 20, Issue 1, January/December 2026.This article provides a comprehensive review of studies on the 3L‐CVRP (capacitated vehicle routing problem with three‐dimensional loading constraints) published from 2006 to 2026. It systematically classifies problem variants, modelling frameworks, and solution approaches, while also summarising benchmark instances.
Jushang Chi, Rui Song, Shiwei He
wiley +1 more source
Refactoring Object‐Oriented Software With ChatGPT: An Empirical Study
IET Software, Volume 2026, Issue 1, 2026.Generative AI (GenAI) is currently being utilized in many tasks to improve their quality. Because GenAI tools are highly qualified in text‐based applications, they have the potential to automate tasks across the software engineering lifecycle. In this study, we empirically investigate ChatGPT’s ability to perform code refactoring tasks.
Hanady M. Abdulsalam +5 more
wiley +1 more source
Policing the Environmental Crisis: Climate Protest, the State, and Law and Order
Constellations, Volume 33, Issue 2, Page 274-284, June 2026.
Oscar Talbot
wiley +1 more source
FragCast: A Scalable BLE‐Based OTA Framework for Constrained IoT Devices
IET Wireless Sensor Systems, Volume 16, Issue 1, January/December 2026.In this research work, we propose and evaluate a novel OTA protocol that leverages the one‐to‐many broadcast paradigm of BLE. Our contribution is an application‐layer protocol that transports firmware fragments within custom‐formatted BLE advertising packets.
Ebenezer Djafsia Souboura +4 more
wiley +1 more source
, 2008 The inductive learning methodology known as decision trees, concerns the ability to classify objects based on their attributes values, using a tree like structure from which decision rules can be accrued.
Beynon, Malcolm James, Malcolm J. Beynon
core +1 more source
A Direct Translation from XPath to Nondeterministic Automata [PDF]
, 2011 Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into automata, and produce efficient translations of XPath queries into automata on ...
Leonid Libkin +5 more
core
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
, 2020 This paper studies propositional proof systems in which lines are sequents of decision trees or branching programs - deterministic and nondeterministic.
Knop, Alexander
core +1 more source