Results 51 to 60 of about 3,169,064 (307)
High‐Resolution Corrosion Fingerprinting of Alloy Libraries via Microdroplet Spectroelectrochemistry
Ionic‐liquid microdroplet spectroelectrochemistry enables stable, localized electrochemical measurements over extended timescales. By coupling impedance spectroscopy, wetting analysis, finite‐element simulations, and operando Raman spectroscopy, it disentangles geometrical and electrochemical effects, opening new opportunities for rapid corrosion ...
Ekaterina Kurchavova +3 more
wiley +1 more source
The determination of the actual series and sequence impedances, including the reduction factor of a certain HV or EHV distribution cable line, as well as the resulting screening factor of its sheaths and surrounding metal installations, including its ...
Ljubivoje M. Popović
doaj +1 more source
Strengthening Model Checking Techniques with Inductive Invariants [PDF]
This paper describes optimized techniques to efficiently compute and reap benefits from inductive invariants within SAT-based model checking. We address sequential circuit verification, and we consider both equivalences and implications between pairs of ...
Nocco, Sergio +2 more
core
Controlling the Field Assisted Sintering Technology (FAST) parameters, dwell temperature and cooling rate, significantly influences the microstructural evolution in titanium aluminide GE4822. Significant γ‐lamellar colonies develop only upon cooling through the α‐transus.
Jack Krohn, James Pepper, Martin Jackson
wiley +1 more source
Knowledge of lightning impulse (LI) voltage distribution over transformer windings during the design stage of the transformer is very important. Specific design differences in inductive voltage transformers make the transient analysis approach different ...
Bojan Trkulja +3 more
doaj +1 more source
Postbuild annealing systematically modifies the phase fractions and morphology of EB‐PBF processed Mo–9Si–8B. Quantitative microstructure–property correlations reveal how controlled phase evolution enhances high‐temperature compressive strength and creep resistance.
Christopher Schmidt +5 more
wiley +1 more source
Automatic inductive theorem proving and program construction methods using program transformation [PDF]
We present new approaches to prove universally and existentially quantified conjectures and to construct programs from the resulting proofs. These theorem proving and program construction techniques make use of the distillation algorithm to transform ...
Kabir, Md. Humayun
core +2 more sources
Application of the Salp Swarm Algorithm to Optimal Design of Tuned Inductive Choke
The article presents an algorithm and optimization software designed for the optimal configuration of a tuned inductive choke. The optimization software consists of two main parts: an optimization procedure and a mathematical model for the designed ...
Łukasz Knypiński +3 more
doaj +1 more source
On the Measurement of Small Capacities and Inductances [PDF]
n ...
Fleming, J. A., Clinton, W. C.
openaire +1 more source
Polarizable Vanadium Dipoles Promote Water Dissociation on Vanadium‐Based Metal Organic Framework
The polarization of unpaired V 3d electrons weakens the H─O bond to improve water dissociation by the dual Vδ+:O─H and Pλ−:H─O coupling hydrogen bonds formation and relaxation. P@V‐MOF electrocatalyst shows low overpotentials (94 mV in acid, 178 mV in neutral, and 77 mV in alkaline solutions) with excellent stability for effective overall water ...
Xinjuan Liu +13 more
wiley +1 more source

