Results 91 to 100 of about 201,623 (302)
Advanced Functional Materials, EarlyView.Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son +5 more
wiley +1 more source
A Paraconsistent Higher Order Logic
, 2004 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical ...
openaire +3 more sources
Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic
, 2018 In this thesis I show is that it is possible to give modular correctness proofs of interesting higher-order imperative programs using higher-order separation logic. To do this, I develop a model higher-order imperative programming language, and develop a
Neelakantan R. Krishnaswami (5469332)
core +1 more source
Advanced Functional Materials, EarlyView.Top‐down organic pillaring expands the interlayer spacing of bulk‐sized MoS2 particles while preserving the bulk morphology. Operando X‐ray diffraction and electrochemical dilatometry show that MoS2‐bulk undergoes solvent co‐intercalation in diglyme electrolyte, causing large structural expansion, while pillared, expanded MoS2 suppresses solvent uptake
Jaehoon Choi +8 more
wiley +1 more source
A Scholastic-Realist Modal-Structuralism
Philosophia Scientiæ, 2014 How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures?
Ahti-Veikko Pietarinen
doaj +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
Time‐Resolved Magnetization Switching Dynamics Driven by Orbital Torques
Advanced Functional Materials, EarlyView.Du et al. reveal nanosecond magnetization switching driven by orbital currents using time‐resolved Hall detection. The measurements separate domain nucleation from domain wall propagation and show that Joule heating strongly assists switching by lowering energy barriers.
Ao Du +4 more
wiley +1 more source
Directional Flow of Confined Polaritons in CrSBr
Advanced Materials, EarlyView.CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak +10 more
wiley +1 more source
Connected components in networks with higher-order interactions
Journal of Physics: ComplexityWe address the problem of defining connected components in hypergraphs, which are models for systems with higher-order interactions. For graphs with dyadic interactions, connected components are defined in terms of paths connecting nodes along the graph.
Gyeong-Gyun Ha +2 more
doaj +1 more source
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source