Results 131 to 140 of about 11,440 (300)

SPPsolver: a SAT-based algorithm for solving any stable paths problem correctly

Cybersecurity
The Stable Paths Problem (SPP) is a widely adopted model for analyzing the convergence of Border Gateway Protocol (BGP). Solving SPP correctly is of great significance for determining BGP convergence.
Wenwu Yan, Bo Hu, Weiqing Huang, Chao Ma, Xiaobin Tian, Min Yu   +5 more
doaj   +1 more source

Prover - Toward More Efficient Formal Verification of Masking in Probing Model

Transactions on Cryptographic Hardware and Embedded Systems
In recent years, formal verification has emerged as a crucial method for assessing security against Side-Channel attacks of masked implementations, owing to its remarkable versatility and high degree of automation.
Feng Zhou, Hua Chen, Limin Fan
doaj   +1 more source

Ontology‐Aligned Structuring and Reuse of Multimodal Materials Data and Workflows Toward Automatic Reproduction

Advanced Engineering Materials, EarlyView.
Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari, Abril Azocar Guzman, Sarath Menon, Stefan Sandfeld, Tilmann Hickel, Markus Stricker   +5 more
wiley   +1 more source

Rough Set Data Representation Using Binary Decision Diagrams

, 2004
A new information system representation, which inherently represents indiscernibility is presented. The basic structure of this representation is a Binary Decision Diagram.
Alex Muir, G. Gediga, Ivo Düntsch, I. Düntsch, A. Muir, Günther Gediga   +5 more
core  

Removing $$\delta $$ δ -dependence in minimal interpretable model learning: distribution conditions and structural parameters

Journal of King Saud University: Computer and Information Sciences
Learning minimal interpretable models (e.g., decision trees, decision sets, and binary decision diagrams) is computationally challenging, yet increasingly important in high-stakes settings.
Zhigao Huang, Shiyan Zheng, Quanfa Li
doaj   +1 more source

Soft Mechanical‐Electrical Logic Using Liquid Metal‐Filled 3D‐Printed Architectures

Advanced Engineering Materials, EarlyView.
We present 3D‐printed soft mechanical–electrical logic elements that use liquid metal–filled silicone tubes actuated by thermoplastic polyurethane/polylactic acid (TPU/PLA) architectures to produce Boolean operations. Complementary normally open and normally closed unit cells perform repeatable binary transitions and can be combined into more complex ...
Christoph Lehmann, Ryan Kalgreen, Laura M. Comella   +2 more
wiley   +1 more source

Cathodic Cage Plasma Deposition of Nanostructured Cu–Fe–Se Coatings on Poly(methyl Methacrylate)

Advanced Engineering Materials, EarlyView.
Nanostructured Cu–Fe–Se coatings are deposited on PMMA by a modified cathodic cage plasma process, enabling low‐temperature deposition on polymer substrates. A transition from discontinuous to compact morphology is observed with temperature, with optimal properties at 200°C, where improved CuFeSe2‐type bonding, lowest sheet resistance, and favorable ...
V. S. S. Sobrinho, M. Naeem, T. H. C. Costa, M. S. Libório, J. C. A. Queiroz, C. B. B. Luna, R. R. M. Sousa, P. S. Vieira, E. M. Araújo   +8 more
wiley   +1 more source

Exploration of Pseudobinary Alloys (Al–Mn)‐(Co–Fe–Ni) to Design High‐Entropy and Compositionally Complex Alloys to Stabilize the τ Phase in Al–Mn‐Based Ferromagnetic Alloys

Advanced Engineering Materials, EarlyView.
This experimental study investigates the thermodynamic limits of the Al–Mn τ ferromagnetic phase within complex‐composition alloys (CCAs). Using nine rare‐earth‐free compositions, it explores a broad region of the pseudobinary AlMnCoFeNi system. The results reveal intricate links between composition, phase stability, and magnetic behavior, highlighting
Sacha Plagnol‐Chauzu, Laurent Peltier, Fodil Meraghni, Stéphane Delalande, Frédéric Mazaleyrat   +4 more
wiley   +1 more source

ELE 463 - Project 2 : Implementation of Constrained Dynamic Reordering for Binary Decision Diagrams

, 2007
Constrained dynamic reordering is implemented for reduced order binary decision diagrams that represent characteristic functions for circuit simulations. The "sift algorithm " is modified for this purpose.
Somnath Ghosh, Kamal S. Khouri
core  

Measuring evidence-based clinical guideline compliance in the paediatric intensive care unit

BMJ Open Quality
Background Evidence-based clinical care guidelines improve medical treatment by reducing error, improving outcomes and possibly lowering healthcare costs.
Dori-Ann Martin, Rebecca E Hay, Gary J Rutas, Shelina M Jamal, Simon J Parsons   +4 more
doaj   +1 more source