Results 81 to 90 of about 16,571,812 (297)

Formal verification of physical human-robot interaction using interactive theorem proving

Journal of Intelligent Systems
Physical Human-robot Interaction (pHRI) involves physical collaboration between humans and robots to perform tasks safely and efficiently in shared environments. Traditionally, pHRI behavior has been analyzed using analytical or simulation-based methods,
Abed Sa’ed, Rashid Adnan, Hasan Osman
doaj   +1 more source

Semantic Modeling in Materials Science and Engineering With Platform MaterialDigital Core Ontology 3.0

Advanced Engineering Materials, EarlyView.
The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling, Philipp von Hartrott, Jörg Waitelonis, Thomas Hanke, Henk Birkholz, Hossein Beygi Nasrabadi, Khashayar Razghandi, Kamilla Zaripova, Felix Thonagel, Fabian Neuhaus, Martin Glauer, Lars Vogt, Harald Sack, Lutz Mädler, Bernd Bayerlein, Chris Eberl   +15 more
wiley   +1 more source

Non‐Additive Criteria Assessment in Sustainability Evaluation of High Entropy Alloys: A Toxicity‐Weighted Framework

Advanced Engineering Materials, EarlyView.
Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic, Oladele A. Ogunseitan, Julie M. Schoenung   +2 more
wiley   +1 more source

A theorem proving framework for the formal verification of Web Services Composition [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into ...
Petros Papapanagiotou, Jacques D. Fleuriot   +1 more
doaj   +1 more source

Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor

Advanced Functional Materials, EarlyView.
Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben, Nicolas Gauquelin, Arno Annys, Zhaoliang Liao, Jo Verbeeck, Guus Rijnders, Gertjan Koster   +6 more
wiley   +1 more source

Partiality and Recursion in Higher-Order Logic [PDF]

, 2013
We present an illative system I_s of classical higher-order logic with subtyping and basic inductive types. The system I_s allows for direct definitions of partial and general recursive functions, and provides means for handling functions whose termination has not been proven.
openaire   +3 more sources

Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies

Advanced Functional Materials, EarlyView.
The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley   +1 more source

Superposition for Higher-Order Logic [PDF]

, 2021
This thesis presents an extension of the superposition calculus to higher-order logic (also called simple type theory) and its implementation and empirical evaluation in an automated theorem prover.
Bentkamp, Alexander; id_orcid
core   +1 more source

Monolithic Oxidation Enables Ultrathin Vertically Graded Tantalum Oxide for Low‐Voltage, Low‐Variability Memristive Switching

Advanced Functional Materials, EarlyView.
Monolithic UV‐ozone oxidation of Ta forms an ultrathin Ta2O5/TaOx bilayer enabling resistive switching with a vertical defect gradient. A stoichiometric surface layer over an oxygen‐deficient sublayer promotes localized filament nucleation near the top interface, enabling low‐voltage operation, and reduced cycle‐to‐cycle variability.
Seunghoon Yang, Dong Hyun Lee, Conan Weiland, Won‐Il Lee, Kim Kisslinger, Mingzhao Liu, Aswin kumar Anbalagan, Xiao Tong, Soumyajit Mandal, Nikhil Tiwale, Houk Jang, Chang‐Yong Nam   +11 more
wiley   +1 more source

Ambient‐Stable Transparent P‐Type CuI Transistors Via Room‐Temperature Pulsed Laser Deposition

Advanced Functional Materials, EarlyView.
An in situ PLD fabricated AlOx${\rm AlO}_x$/CuI/AlOx${\rm AlO}_x$ sandwich structure enables stable CuI TFTs with a field‐effect mobility of 2.3 ±$\pm$ 0.7 cm2${\rm cm}^{2}$ V−1${\rm V}^{-1}$ s−1${\rm s}^{-1}$ and excellent ambient stability. Complementary inverters based on CuI:Rb and ZnO:Al exhibit rail‐to‐rail voltage transfer characteristics and an
Yang Chen, Susanne Selle, Michael S. Bar, Michael Lorenz, Holger von Wenckstern, Marius Grundmann   +5 more
wiley   +1 more source