Results 111 to 120 of about 3,773,797 (206)
Investigating the Low‐Temperature Phase Stability of the Binary Ta–W System
Advanced Engineering Materials, EarlyView.Atomistic simulations show that the binary Ta–W system forms ordered intermetallic phases, B2‐TaW and D03‐TaW3, as 0 K ground states. Configurational entropy, however, lowers the free energy of the disordered bcc solid solution, which becomes the stable phase above about 400 K.
Klemens Lechner +7 more
wiley +1 more source
Ordered Binary Decision Diagrams as Knowledge-Bases
, 1999 We propose to make use of ordered binary decision diagrams (OBDDs) as a means of realizing knowledge-bases. We show that the OBDD-based representation is more efficient and suitable in some cases, compared with the traditional CNF-based and/or model ...
Toshihide Ibaraki, Takashi Horiyama
core +1 more source
Effects of Mg on Microstructure and Solidification of a Hypereutectic Zn–8 wt.%Al Alloy
Advanced Engineering Materials, EarlyView.An appreciable set of results involving thermal data, microstructure, chemical composition, and microstructural growth laws is reported for ZnAlMg alloys. Such results demonstrate that ZnAlMg alloys have high potential for applications in automotive self‐lubricating components, batteries, and electrical systems.
Raí B. de Sousa +6 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Near‐surface deuterium enrichment profiles for different microstructural types of TiAl after exposure at 700 °C in a heavy water‐containing environment. The deuterium levels are significantly higher than expected from natural occurrence, indicating that the heavy water dissociated during the exposure treatment and entered the specimens.
Jonathan D. H. Paul +5 more
wiley +1 more source
SPPsolver: a SAT-based algorithm for solving any stable paths problem correctly
CybersecurityThe 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 +5 more
doaj +1 more source
Prover - Toward More Efficient Formal Verification of Masking in Probing Model
Transactions on Cryptographic Hardware and Embedded SystemsIn 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
Diagnosis of Discrete-Event Systems Using Binary Decision Diagrams
, 2004 We improve the efficiency of Sampath's diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of binary decision diagrams. We present an algorithm for synthesising the symbolic diagnoser with promising
Sylvie Thiébaux +2 more
core
Advanced Functional Materials, EarlyView.Optoelectronic synaptic devices based on solution‐processed molecular telluride GST‐225 phase‐change inks are demonstrated for three‐factor learning. A global optical signal broadcast through a silicon waveguide induces non‐volatile conductance updates exclusively in locally electrically flagged memristors.
Kevin Portner +14 more
wiley +1 more source
Learning Ordered Binary Decision Diagrams
, 1995 This note studies the learnability of ordered binary decision diagrams (obdds). We give a polynomial-time algorithm using membership and equivalence queries that finds the minimum obdd for the target respecting a given ordering.
David Guijarro +2 more
core +1 more source
Electrostatic Superlattices Beyond 1:1 Stoichiometry
Advanced Functional Materials, EarlyView.Polymer‐mediated charge regulation drives two hierarchical routes to higher‐stoichiometry nanoparticle superlattices. Tuning the polymer's molecular weight promotes progressive interstitial filling, transforming ZnS into the fully occupied CaF2${\rm CaF}_2$ lattice. Exchanging polymer assignment between large and small nanoparticles instead breaks CsCl
Binay P. Nayak +7 more
wiley +1 more source