Results 141 to 150 of about 3,877,335 (299)

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, Anna Sophie Jelinek, Velislava Terziyska, Peter Wagatha, Wolfram Knabl, Christian Mitterer, Helmut Clemens, David Holec   +7 more
wiley   +1 more source

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

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 ZnAlMg alloys. Such results demonstrate that ZnAlMg alloys have high potential for applications in automotive self‐lubricating components, batteries, and electrical systems.
Raí B. de Sousa, Jeverton L. Paixão, Daylla S. Silva, Bruno S. Sobral, Mucio D. de Medeiros, José E. Spinelli, Bismarck L. Silva   +6 more
wiley   +1 more source

Cryogenic Deformation Behavior of TiAl and Insights Into Embrittlement After High‐Temperature Exposure Combined With Secondary Ion Mass Spectroscopy of Near Surface Chemistry

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, Alexander Welle, Dirk Matthiessen, Michael Oehring, Fritz Appel, Florian Pyczak   +5 more
wiley   +1 more source

Planar Decision Diagrams for Multiple-Valued Functions [PDF]

, 1996
In VLSI, crossings of interconnect occupy space and cause delay. Therefore, there is significant benefit to planar circuits. We propose the use of planar multiple-valued decision diagrams for produce planar multiple-valued circuits.
Butler, Jon T., Sasao, Tsutomu
core   +1 more source

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

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, Anika Schumann, Yannick Pencolé   +2 more
core  

Optoelectronic Synaptic Devices Using Molecular Telluride Phase‐Change Inks for Three‐Factor Learning

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, Dhananjeya Kumaar, Giacomo Torti, Killian Keller, Till Zellweger, Florian M. Schenk, Christoph Weilenmann, Daniel Chelladurai, Vara Prasad Jonnalagadda, Ghazi Sarwat Syed, Vanessa Wood, Jürg Leuthold, Alexandros Emboras, Maksym Yarema, Mathieu Luisier   +14 more
wiley   +1 more source

Improving Decision Diagrams for Decision Theoretic Planning

, 2013
International audienceIn the domain of decision theoretic planning, the factored framework (FMDP) has produced optimized algorithms using Decision Trees (SVI, SPI) and Algebraic Decision Diagrams (SPUDD).However, the state-of-the-art SPUDD algorithm ...
Magnan, Jean-Christophe, Wuillemin, Pierre-Henri   +1 more
core   +1 more source