Results 201 to 210 of about 1,133,638 (315)

A Logic of Belief and a Model Checking Algorithm for Security Protocols [PDF]

, 2000
Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi   +3 more
openalex   +1 more source

Quality Enhancement of Laser Powder‐Bed Fusion Parts by Acoustically Assisted Additive Manufacturing by Laser Powder‐Bed Fusion and its Application to Lattice Structures

Advanced Engineering Materials, EarlyView.
Additive manufacturing technologies like laser powder‐bed fusion offer great design freedom and individualization of products down to a batch size of one. However, parts fabricated with this technology suffer from poor quality. Acoustic assistance during the build process can minimize these drawbacks.
Oliver Maurer, Dirk Bähre
wiley   +1 more source

Exact acceleration of complex real-time model checking based on overlapping cycle. [PDF]

PeerJ Comput Sci, 2020
Wang G, Zhuang L, Song Y, He M, Ma D, Ma L.   +5 more
europepmc   +1 more source

A Model Checking Method for Partially Symmetric Systems [PDF]

, 2000
Serge Haddad, Jean‐Michel Ilié, Khalil Ajami   +2 more
openalex   +1 more source

CALPHAD‐Guided Prediction and Interpretation of Phase Formation in Ta–Mo–Cr–Ti–Al Refractory High‐Entropy Alloys

Advanced Engineering Materials, EarlyView.
This study designs Ta–Mo–Cr–Ti–Al refractory high‐entropy alloys with a disordered body‐centered‐cubic A2 crystal structure aiming for improved ductility, lower density, and oxidation resistance. Four alloy compositions are identified by thermodynamic calculations.
Kateryna Khanchych, Chongchong Tang, Carsten Schroer, Björn Schäfer, Judith Jung, Michael Dürrschnabel, Ute Jäntsch, Bronislava Gorr   +7 more
wiley   +1 more source

An automata-theoretic approach to branching-time model checking [PDF]

, 2000
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper   +2 more
openalex   +1 more source

Improving Surface Quality of Titanium Electrodeposition from a Deep Eutectic Solvent with Organic and Inorganic Additives

Advanced Engineering Materials, EarlyView.
Herein, the electroplating of titanium from an organic solvent, ethaline, is shown. Polymer additives are shown to smooth the roughness of the film, and small molecule additives are shown to produce a near‐mirror finish to the deposited metal. Titanium electroreduction is desired for a variety of medical, electronic, and bonding applications but has ...
Steven Livers, Christopher Chancellor, Katarzyna Grubel, Diana Horangic, Riah Burnett, Bailey Byrd, Christina Arendt, Lance Hubbard   +7 more
wiley   +1 more source

Compositional Model Checking of Real Time Systems

, 1995
François Laroussinie, Kim G. Larsen
openalex   +2 more sources

Electronic Control System for Optimized Resonance Operation of Dielectric Elastomer Pumps through Self‐Sensing

Advanced Engineering Materials, EarlyView.
A powerful electronic control system enables a dielectric elastomer pump to operate at resonance, matching conventional pump performance. Using self‐sensing to reconstruct load pressure dynamically, the adaptive control adjusts resonance frequency accordingly.
Matthias Baltes, Benedikt Holz, Daniel Bruch, Paul Motzki   +3 more
wiley   +1 more source

Composite model-checking [PDF]

, 2000
Tevfik Bultan, R. Gerber, Christopher League   +2 more
openalex   +1 more source