Results 61 to 70 of about 2,176 (251)

Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch [PDF]

, 2008
State-of-the-art implementations of common aspect-oriented languages weave residual dispatching logic for advice whose applicability cannot be determined at compile-time.
Andreas Sewe, Mezini, Mira, Christoph Bockisch, Sewe, Andreas, Bockisch, Christoph, Mira Mezini   +5 more
core   +1 more source

High‐Temperature Nanoindentation of Metals: Assessing Thermal Drift, Frame Compliance, and Chemical Composition Effects on the Reported Mechanical Properties

Advanced Engineering Materials, EarlyView.
Do not let thermal drift and instrument artifacts deceive high‐temperature nanoindentation results. We compare classical Oliver–Pharr and automatic image recognition analyses across steels and a Ni alloy to quantify these effects. Accounting for artifacts reveals systematic softening with temperature, while Cr and Ni additions boost resistance ...
Velislava Yonkova, Steffen Brinckmann, Ruth Schwaiger   +2 more
wiley   +1 more source

Recycling of NiTi Shape Memory Alloys: Fundamental and Technological Aspects of a Vacuum Induction Melting Processing Route

Advanced Engineering Materials, EarlyView.
The present study investigates recycling of NiTi shape memory alloys via vacuum induction melting. An ingot was synthesized from elemental Ni and Ti and subjected to three subsequent remelting cycles. Remelting increases process durations and impurity levels and adversely affects microstructures and functional properties.
Sakia Sophia Noorzayee, Son Tung Mai, Sarath Menon, Braulio Gadiel Sánchez Ortega, Ralf Drautz, Alexander Kauffmann, Gunther Eggeler, Jan Frenzel   +7 more
wiley   +1 more source

Ordered Binary Decision Diagrams, Graph Theory and Computational Geometry [PDF]

, 1995
Ordered binary decision diagrams (OBDDs in short) have been shown as a powerful paradigm in handling Boolean functions and have been applied to many fields such as VLSI CAD, AI, combinatorics, etc.
Hiroshi Imai, Kyoko Sekine, Seiichiro Tani   +2 more
core   +2 more sources

Workflow for Design of Experiments‐Based Modeling of Species Transport and Growth Kinetics in GaN Hydride Vapor Phase Epitaxy

Advanced Engineering Materials, EarlyView.
A novel workflow for investigating hydride vapor phase epitaxy for GaN bulk crystal growth is proposed. It combines Design of experiments (DoE) with physical simulations of mass transport and crystal growth kinetics, serving as an intermediate step between DoE and experiments.
J. Tomkovič, G. Lukin, H. Torkashvand, A. Kerschbaum, M. Müller, S. Besendörfer, J. Heitmann, J. Friedrich   +7 more
wiley   +1 more source

Size and Structure of Random Ordered Binary Decision Diagrams [PDF]

, 1998
We investigate the size and structure of ordered binary decision diagrams (OBDDs) for random Boolean functions. While it was known that for `most' values of n , the expected OBDD size of a random Boolean function with n variables is equal the worst ...
Clemens Gröpl, Anand Srivastav, Hans Jürgen Prömel   +2 more
core  

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

Widening ROBDDs with Prime Implicants: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings [PDF]

, 2006
Despite the ubiquity of ROBDDs in program analysis, and extensive literature on ROBDD minimisation, there is a dearth of work on approximating ROBDDs.
Kettle, Neil, Andy King, Tadeusz Strzemecki, Neil Kettle, Strzemecki, Tadeusz, King, Andy   +5 more
core   +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