Results 81 to 90 of about 488,757 (296)
Micro‐Raman spectroscopy is applied to characterize corrosion products in a recycled‐based MgO–316L steel composite anode after molten salt electrolysis. A depth‐dependent Fe–O/Fe–Al–O layer sequence of magnetite, hercynite, and an Al‐doped magnetite transition zone is identified.
Felix Drechsler +9 more
wiley +1 more source
From CAPTCHA to Commonsense: How Brain Can Teach Us About Artificial Intelligence
Despite the recent progress in AI powered by deep learning in solving narrow tasks, we are not close to human intelligence in its flexibility, versatility, and efficiency.
Dileep George +2 more
doaj +1 more source
Transverse-field muon spin rotation ($\mu$SR) experiments in the heavy-fermion superconductor PrOs$_{4}$Sb$_{12}$ ($T_{c}=1.85$ K) suggest that the superconducting penetration depth $\lambda(T)$ is temperature-independent at low temperatures, consistent ...
A. Schenck +16 more
core +1 more source
The subject of this work is the development of a corrosion‐protective coating on steel sheets for form hardening. Rapid heating in an extreme high vacuum (XHV)‐adequate atmosphere is a useful method to prevent oxidation during alloying of 22MnB5 and aluminum to obtain a metallurgical bonding.
Lorenz Albracht +5 more
wiley +1 more source
Numerical inductive reasoning has been considered as one of the most important higher cognitive functions of the human brain. Importantly, previous behavioral studies have consistently reported that one critical component of numerical inductive reasoning
Yuzhao Yao +4 more
doaj +1 more source
A carbon‐free, as‐sintered MgO–steel cermet anode, fabricated via cold isostatic pressing using MgO–C refractory recyclate, was evaluated under laboratory‐scale K‐cryolite electrolysis at 800°C. Operation at this reduced temperature, combined with the electrolyte's limited electrical conductivity, led to an increase in cell voltage.
Farhan Hossain +7 more
wiley +1 more source
Interaction of Ladle Slag With Varying SiO2 Content and Recyclate‐Based MgO–C Refractories
Ladle slags (CaO/Al2O3 = 1) with 1–20 wt% SiO2 were investigated in contact with industrial MgO–C refractories fabricated from fresh magnesia and 50 wt% recyclate. The sessile drop method at 1600°C reveals intensive gas formation, delayed slag infiltration in recyclate‐based samples, and, under high‐SiO2 slag, formation of a dense MgAl2O4‐rich ...
Anton Yehorov +6 more
wiley +1 more source
Formal verification in Coq of program properties involving the global state effect [PDF]
The syntax of an imperative language does not mention explicitly the state, while its denotational semantics has to mention it. In this paper we present a framework for the verification in Coq of properties of programs manipulating the global state ...
Dumas, Jean-Guillaume +3 more
core +5 more sources
Spin waves interference from rising and falling edges of electrical pulses
The authors have investigated the effect of the electrical pulse width of input excitations on the generated spin waves in a NiFe strip using pulse inductive time domain measurements.
Donahue M. J. +5 more
core +1 more source
Collagen hydrolysate is evaluated as a sustainable binder for MgO‐C refractories. Its thermally induced cross‐linking and gas release lead to expansion and cracking in large bricks, but tailored batches with lignin, recyclates, or fine graphite improve the gas release while thermal treatment and stability.
Till M. J. Stadtmüller +8 more
wiley +1 more source

