Results 71 to 80 of about 22,264 (219)
First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation
, 2015 In this paper we consider first-order logic theorem proving and model building via approximation and instantiation. Given a clause set we propose its approximation into a simplified clause set where satisfiability is decidable.
A. Newell +10 more
core +1 more source
A Shallow Embedding of Resolution and Superposition Proofs into the $\lambda\Pi$-Calculus Modulo
EPiC Series in Computing, 2018 The λΠ-calculus modulo is a proof language that has been proposed as a proof standardfor (re-)checking and interoperability. Resolution and superposition are proof-search methods that are used in state-of-the-art first-order automated theorem provers. We provide a shallow embedding of resolution and superposition proofs in the λΠ-calculus modulo, thus ...
openaire +2 more sources
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Three superposition principles: currents, continuity equations and curves of measures
, 2015 We establish a general superposition principle for curves of measures solving a continuity equation on metric spaces without any smooth structure nor underlying measure, representing them as marginals of measures concentrated on the solutions of the ...
Stepanov, Eugene, Trevisan, Dario
core +1 more source
Advanced Materials, EarlyView.Vertical organic electrochemical transistors (vOECTs) are limited in speed by ion‐impermeable metal electrodes that slow ion injection. Using ion‐permeable PBFDO top electrodes allows direct vertical ion injection into BBL channels, achieving high current densities (>400 A cm−2), large on/off ratios (>106), and ultrafast switching in 28 µs. This sets a
Han‐Yan Wu +14 more
wiley +1 more source
Students' Understanding of Direct Current Resistive Electrical Circuits
, 2003 Research has shown that both high school and university students' reasoning patterns regarding direct current resistive electric circuits often differ from the currently accepted explanations.
Beichner, Robert J. +1 more
core +1 more source
Advanced Materials, EarlyView.The energetic offset between the donor and the acceptor components in organic photoactive layers is central to the tradeoff between photovoltage and photocurrent losses. This Perspective covers the most important issues surrounding this topic in non‐fullerene acceptor blends, from the difficulty of accurately determining state energies and driving ...
Dieter Neher, Manasi Pranav
wiley +1 more source
Spectral calculations on locally convex vector spaces I
, 2012 We develop a holomorphic functional calculus for (multivalued linear) operators on locally convex vector spaces.
Lakos, Gyula
core
QPCF: higher order languages and quantum circuits
, 2018 qPCF is a paradigmatic quantum programming language that ex- tends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data that can be duplicated and manipulated in flexible ways by means of a dependent type ...
Paolini, Luca +2 more
core +1 more source
Advanced Materials, EarlyView.As‐spun carbon materials produced from Lignosulfonate, gelatin, and alginate, selected for water solubility, and ability to produce templated sustainable carbon nanostructures. Gelatin and alginate are sacrificial during thermal processing, allowing the production of engineered high surface area nanostructures, which are further characterized for ...
Judith Miralda‐Jalle +6 more
wiley +1 more source