Results 61 to 70 of about 114,330 (265)

Higher-Order Computational Logic

, 2002
This paper presents a case for the use of higher-order logic as a foundation for computational logic. A suitable polymorphically-typed, higher-order logic is introduced and its syntax and proof theory briefly described. In addition, a metric space of closed terms suitable for knowledge representation purposes is presented.
openaire   +1 more source

On the Effect of Creep on Local Lattice Orientation in Single‐Crystal Ni‐Based Superalloy Microstructures

Advanced Engineering Materials, EarlyView.
During creep of a single‐crystal Ni‐based superalloy, the overall crystal orientation is observed to remain constant while the microstructure evolves. Despite the lack of macroscopic rotation, small (<1°) rotations are observed on the submicron size scale and are accommodated by counteracting rotations over the scale of several micrometers.
E. J. Payton, E. B. Dursun, G. Eggeler, L. Agudo Jácome   +3 more
wiley   +1 more source

Oxygen‐Tunnel Indium Tin Oxide Vertical Channel Transistors with Enhanced Current Density and Reliability for Monolithic 3D Compute‐In‐Memory Systems

Advanced Functional Materials, EarlyView.
Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu, Haksoon Jung, Yongwoo Lee, Hoichang Jeong, Yanfeng Zhao, Heesoo Yang, Minho Park, Hyeonjin Lee, Seunghun Baek, Minju Song, Junghwan Kim, Youngmin Jo, Hyunjin Park, Munhyeon Kim, Jae‐Joon Kim, Kyuho Jason Lee, Byungjo Kim, Jimin Kwon   +17 more
wiley   +1 more source

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

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

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

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

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   +2 more sources

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