Results 71 to 80 of about 12,410,872 (300)

Effect of Laser Deoxidation on Adhesive‐Bonded Aluminum in an Oxygen‐Free Atmosphere

Advanced Engineering Materials, EarlyView.
This study investigates laser ablation of aluminum under oxygen‐free conditions. The goal is to produce oxide‐free substrates that enable improved adhesive bonding with epoxy. Optimized laser parameters (90% overlap, 300 µJ) combined with oxide‐free substrates result in the highest tensile strength of the adhesive bond.
Sandra Gerland, Finn‐Lennard Janthur, Sarah Seffer, Jörg Hermsdorf, Ludger Overmeyer, Annika Raatz   +5 more
wiley   +1 more source

Implications between generalized convexity properties of real functions

, 2015
Motivated by the well-known implications among $t$-convexity properties of real functions, analogous relations among the upper and lower $M$-convexity properties of real functions are established.
Kiss, Tibor, Páles, Zsolt
core   +1 more source

Four‐Point Bending Tests at High Temperatures on Commercial MgO‐C Refractory Bricks with and Without Recyclate Considering Different Carbon Contents

Advanced Engineering Materials, EarlyView.
Four‐point bending tests are conducted in an argon atmosphere on commercial MgO‐C brick grades with and without MgO‐C recyclate from room temperature up to 1300 °C. No detrimental effect of the MgO‐C recyclates on bending strength is found. Instead, a decisive influence of the total carbon content is observed, with lower total carbon contents ...
Alexander Schramm, Lukas Knöchel, Thomas Schemmel, Christos G. Aneziris, Anja Weidner, Horst Biermann   +5 more
wiley   +1 more source

New Arithmetic Operations of Non-Normal Fuzzy Sets Using Compatibility

Axioms, 2023
The new arithmetic operations of non-normal fuzzy sets are studied in this paper by using the extension principle and considering the general aggregation function. Usually, the aggregation functions are taken to be the minimum function or t-norms.
Hsien-Chung Wu
doaj   +1 more source

Sieve functions in arithmetic bands

, 2016
An arithmetic function $f$ is called a {\it sieve function of range} $Q$, if its Eratosthenes transform $g=f\ast\mu$ is supported in $[1,Q]\cap\N$, where $g(q)\ll_{\varepsilon} q^{\varepsilon}$ ($\forall\varepsilon>0$). Here, we study the distribution of
Coppola, Giovanni, Laporta, Maurizio
core   +4 more sources

Removing Oxide Layers and Retaining Oxide‐Free Steel Surfaces by Polishing in Oxygen‐Free Atmosphere

Advanced Engineering Materials, EarlyView.
In this study, the efficacy of wet mechanical polishing under an oxygen‐free atmosphere for deoxidation and the retention of an oxide‐free steel surface are elucidated using X‐ray photoelectron spectroscopy. The methodology proved successful; however, the results were highly dependent on the preparation of the solvents used to clean the samples after ...
Friedrich Bürger, Lienhard Wegewitz, Wolfgang Maus‐Friedrichs   +2 more
wiley   +1 more source

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions

ACM Transactions on Computational Logic, 2018
Satisfiability Modulo Theories (SMT) is the problem of deciding the satisfiability of a first-order formula with respect to some theory or combination of theories; Verification Modulo Theories (VMT) is the problem of analyzing the reachability for ...
A. Cimatti, A. Griggio, A. Irfan, M. Roveri, R. Sebastiani   +4 more
semanticscholar   +1 more source

Al–Cu Composite Casting of Laser‐Deoxidized Copper: Bonding, Interfacial Chemistry, and Thermal Conductivity

Advanced Engineering Materials, EarlyView.
This study investigates laser‐based oxide removal of Cu inserts in oxygen‐free conditions and examines long‐term oxidation kinetics and surface chemistry under different atmospheres via X‐ray photoelectron spectroscopy. Al–Cu compound casting with differently oxidized surfaces is performed, and intermetallic phase formation, morphology, and thermal ...
Timon Steinhoff, Finn‐Lennard Janthur, Sascha Zimmermann, Sarah Seffer, Jörg Hermsdorf, René Gustus, Ludger Overmeyer, Wolfgang Maus‐Friedrichs, Hans Jürgen Maier, Christian Klose   +9 more
wiley   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Functions Definable by Numerical Set-Expressions

, 2009
A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting ...
Düntsch, Ivo, Pratt-Hartmann, Ian
core   +1 more source