Results 71 to 80 of about 2,869,949 (320)
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
A Linear/Producer/Consumer Model of Classical Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper defines a new proof- and category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to ! and ?.
Jennifer Paykin, Steve Zdancewic
doaj +1 more source
Infinitary Classical Logic: Recursive Equations and Interactive Semantics
, 2014 In this paper, we present an interactive semantics for derivations in an infinitary extension of classical logic. The formulas of our language are possibly infinitary trees labeled by propositional variables and logical connectives.
Basaldella, Michele
core +2 more sources
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source
THE USE OF LIE LOGIC IN THE PROCESS OF TEACHING CHILDREN
Вестник Российского экономического университета имени Г. В. Плеханова, 2017 Neo-classical logic was developed in mathematics in the late 19th – early 20th century. One example of neo-classic logic is lie logic. The article on the basis of analyzing the stages of psychical development of children carried out by J.
Marianna N. Maksimenko +2 more
doaj +1 more source
Non-classical Metatheory for Non-classical Logics [PDF]
Journal of Philosophical Logic, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Is Wave Mechanics consistent with Classical Logic?
, 2015 Contrary to a wide-spread commonplace, an exact, ray-based treatment holding for any kind of monochromatic wave-like features (such as diffraction and interference) is provided by the structure itself of the Helmholtz equation. This observation allows to
Ditto, Domenico +2 more
core +1 more source
Isotopically Selected Co‐Doping of 121Sb and 123Sb Pairs in Silicon
Advanced Materials, EarlyView.Pairs of 121Sb and 123Sb atoms are doped into silicon using single cluster implantation and found to reside substitutionally within the crystal lattice due to self‐annealing with a Sb‐to Sb separation of ≈2 nm. Molecular dynamics simulations reproduce the observed experimental results and single ion cluster detection efficiencies of 94% are ...
Mason Adshead +14 more
wiley +1 more source
Classical Mathematics for a Constructive World
, 2010 Interactive theorem provers based on dependent type theory have the flexibility to support both constructive and classical reasoning. Constructive reasoning is supported natively by dependent type theory and classical reasoning is typically supported by ...
Geuvers +8 more
core +1 more source
From Copper Nanoparticles to Alumina Encapsulated Porous Layers With Enhanced Mechanical Stability
Advanced Materials Interfaces, EarlyView.This study analyzes the synthesis‐structure relation of individual Cu nanoparticles and highly porous nanoparticle‐based Cu films using different sputtering‐based nanoparticle sources. The inherent mechanical instability of the films is tackled with Al2O3 encapsulation through atomic layer deposition, enabling 4‐fold increase in critical force in ...
Dominik Gutnik +6 more
wiley +1 more source