Results 151 to 160 of about 360,171 (262)

Comparison of Prediction Accuracy of Six Toric IOL Power Calculation Formulas, Including Four Available on the ESCRS Online Calculator. [PDF]

Clin Ophthalmol
Castro-Alonso FJ, Vián RH, Jiménez-García M, Marquina-Martín S, Puzo M.   +4 more
europepmc   +1 more source

High‐Temperature Phase Transformation in a V‐9Si‐6.5B Alloy: The Kinetic and Crystallographic Pathway From V5SiB2 to V8SiB4

Advanced Engineering Materials, EarlyView.
In situ synchrotron high‐energy X‐ray diffraction reveals the real‐time high‐temperature phase evolution of a ternary V‐9Si‐6.5B alloy. The study uncovers a kinetically delayed V5SiB2 → V8SiB4 transformation governed by massive structural and chemical barriers.
Zahra Sabeti, Andreas Stark, Roja Rani Korrayi, Florian Pyczak, Georg Hasemann   +4 more
wiley   +1 more source

Stable formulas in intuitionistic logic

, 2014
NNIL-formulas are propositional formulas that do not allow nesting of implication to the left. These formulas were introduced in [16], where it was shown that NNIL-formulas are (up to provable equivalence) exactly the formulas that are preserved under ...
de Jongh, Dick, Bezhanishvili, Nick
core  

Determining the Mechanism of Banxia Xiexin Decoction for Gastric Cancer Treatment through Network Analysis and Experimental Validation

ACS Omega
Yaxing Li, Ling Li, Xue Wang, Hailiang Huang, Tao Han   +4 more
doaj   +1 more source

Segmented Versus Global Optimization of Intraocular Lens Constants Across Axial Length: A Multi-Lens, Multi-Formula Comparison Using a Disjoint Training Dataset. [PDF]

Diagnostics (Basel)
Langenbucher A, Szentmáry N, Cayless A, Hoffmann P, Riaz KM, Wendelstein JA.   +5 more
europepmc   +1 more source

DigiChrom: A Domain Ontology for Semantic Representation of Trivalent Chromium Platings and Its Large Language Model‐Based Alignment With Multiple Mid‐Level Ontologies

Advanced Engineering Materials, EarlyView.
Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter, Elena Garcia Trelles, Christoph Schweizer, Thomas Seifert, Christoph Baumer, Mahmoud Elkady, Katja Feige, Daniel Grimme, Edgar Hoffmann, Andreas Waibel, Anke Walter   +10 more
wiley   +1 more source

Evaluation of Intraocular Lens Power Calculation Formulas for Highly Myopic Eyes: A Systematic Review and Network Meta-Analysis. [PDF]

J Clin Med
Vilaltella M, Serés-Noriega T, Cid-Bertomeu P, Huerva V.   +3 more
europepmc   +1 more source

High‐Resolution Corrosion Fingerprinting of Alloy Libraries via Microdroplet Spectroelectrochemistry

Advanced Engineering Materials, EarlyView.
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, Oumaïma Gharbi, Mireille Turmine, Vincent Vivier   +3 more
wiley   +1 more source

Evaluating the Efficacy of Sunscreen Formulas in Reducing UV Filter Permeation Into the Stratum Corneum via In Vivo Confocal Raman Spectroscopy: Insights and Applications for Practical Suncare Product Design. [PDF]

Photodermatol Photoimmunol Photomed
Zhang T, Lu H, Ning S, Liu Y, Li T, Zhao X, Liu H, Liu Y, Chen J.   +8 more
europepmc   +1 more source

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

Advanced Engineering Materials, EarlyView.
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source