Extract, model, refine: improved modelling of program verification tools through data enrichment. [PDF]
Softw Syst ModelLathouwers S, Liu Y, Zaytsev V.
europepmc +1 more source
Two-Phase Distributed Genetic-Based Algorithm for Time-Aware Shaper Scheduling in Industrial Sensor Networks. [PDF]
Sensors (Basel)Chang RI, Hsu TW, Chen YT.
europepmc +1 more source
Parameterized Complexities of Dominating and Independent Set Reconfiguration
, 2022 Bodlaender HL +2 more
europepmc +1 more source
A novel obfuscation method based on majority logic for preventing unauthorized access to binary deep neural networks. [PDF]
Sci RepMohseni A, Moaiyeri MH, Adel MJ.
europepmc +1 more source
Network topology and interaction logic determine states it supports. [PDF]
NPJ Syst Biol ApplGedeon T.
europepmc +1 more source
A dataset on vulnerabilities affecting dependencies in software package managers. [PDF]
Data BriefMárquez AG +2 more
europepmc +1 more source
A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence. [PDF]
Sensors (Basel)Song J, Karagiannis D, Lee M.
europepmc +1 more source
Formal methods for safety-critical machine learning: a systematic literature review. [PDF]
Front Artif IntellNewcomb A, Ochoa O.
europepmc +1 more source
Computing high-degree polynomial gradients in memory. [PDF]
Nat CommunBhattacharya T +8 more
europepmc +1 more source