Results 111 to 120 of about 202,857 (337)
Deductive techniques for model-based concurrency verification [PDF]
, 2019 Oortwijn Wytse
openalex +1 more source
Spin and Charge Control of Topological End States in Chiral Graphene Nanoribbons on a 2D Ferromagnet
Advanced Materials, EarlyView.Chiral graphene nanoribbons on a ferromagnetic gadolinium‐gold surface alloy display tunable spin and charge states at their termini. Atomic work function variations and exchange fields enabe transitions between singlet, doublet, and triplet configurations.
Leonard Edens +8 more
wiley +1 more source
Discover EducationAn ongoing debate in education has centered on the concept of domain-general reasoning practices and whether such a position can explain how student learning in one discipline can influence their practices in another.
Kyong Mi Choi, Brian Hand, Jihyun Hwang
doaj +1 more source
Advanced Materials, EarlyView.The water permeability of amorphous carbon dots (CDs) is demonstrated by investigating their plasticization. Novel polyamide‐based and amorphous nanoparticles are synthesized by controlling their inner packing density. Water plasticization is evidenced by the decrease of the CDs glass transition temperature with increasing the hydration degree.
Elisa Sturabotti +8 more
wiley +1 more source
Hydrological modeling of Digital Maps for Deductive Anbar Province Technologies Using Remote Sensing and Geographic Information Systems GIS [PDF]
, 2015 مکی غازی عبد لطیف المحمدی +1 more
openalex +1 more source
CTL Model Checking in Deduction Modulo [PDF]
, 2015 In this paper we give an overview of proof-search method for CTL model checking based on Deduction Modulo. Deduction Modulo is a reformulation of Predicate Logic where some axioms—possibly all—are replaced by rewrite rules. The focus of this paper is to give an encoding of temporal properties expressed in CTL, by translating the logical equivalence ...
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
Role of the Recombination Zone in Organic Light‐Emitting Devices
Advanced Materials, EarlyView.This review summarizes the critical role of the recombination zone in organic light‐emitting diodes (OLEDs). We highlight that broadening the recombination zone in OLEDs based on emissive layers with balanced charge transport and high photoluminescence quantum yields provides a promising route toward achieving both long operational lifetime and high ...
Yungui Li, Karl Leo
wiley +1 more source
A method for reasoning about deductive conceptual models of information systems [PDF]
, 1992 Dolors Costal, Antoni Olivé
openalex +1 more source
Advanced Materials, EarlyView.Metasurface‐engineered NC‐TENG arrays integrate tactile pressure mapping, non‐contact gesture sensing, and acoustic signal readouts in one ultrathin module, and outperforms pristine PDMS in terms of electrical output and real‐time spatial mapping for next‐gen wearables.
Injamamul Arief +12 more
wiley +1 more source