Results 51 to 60 of about 1,018,965 (272)

Single‐Step Synthesis of In‐plane 1T'‐2H Heterophase MoTe2 for Low‐Resistance Contacts

open access: yesAdvanced Functional Materials, EarlyView.
A single‐step CVD method is developed to synthesize seamless in‐plane 1T'‐2H MoTe2 heterophase junctions with precise phase control and uniform large‐area coverage. The resulting transistors, incorporating 1T' MoTe2 contacts and 2H MoTe2 channels, exhibit ultralow contact resistance, offering a scalable solution to the long‐standing challenge of ...
Ye Lin   +9 more
wiley   +1 more source

Unveiling Phonon Contributions to Thermal Conductivity and the Applicability of the Wiedemann—Franz Law in Ruthenium and Tungsten Thin Films

open access: yesAdvanced Functional Materials, EarlyView.
Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam   +14 more
wiley   +1 more source

Category theory : definitions and examples [PDF]

open access: yes, 1990
Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core  

On the strength of proof-irrelevant type theories

open access: yes, 2008
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlying a theorem prover.
Werner, Benjamin
core   +1 more source

Steep‐Switching Memory FET for Noise‐Resistant Reservoir Computing System

open access: yesAdvanced Functional Materials, EarlyView.
We demonstrate the steep‐switching memory FET with CuInP2S6/h‐BN/α‐In2Se3 heterostructure for application in noise‐resistant reservoir computing systems. The proposed device achieves steep switching characteristics (SSPGM = 19 mV/dec and SSERS = 23 mV/dec) through stabilization between CuInP2S6 and h‐BN.
Seongkweon Kang   +6 more
wiley   +1 more source

Tailored Reconstruction of Polycrystalline CuO Nanorods Promotes C─C Coupling in CO2 Electroreduction

open access: yesAdvanced Functional Materials, EarlyView.
Controlling the polycrystallinity of CuO nanorods enables directional reconstruction into rod‐like structures that stabilize Cu(OH)2 and increase Cu+ ratios, while modulating interfacial water dynamics to enhance C─C coupling and boost C2+ product formation in CO2 electroreduction.
Hyeon‐Seok Bang   +15 more
wiley   +1 more source

Lithium‐Ion/Lithium Metal Hybrid Batteries Enabled by Lithio‐Amphiphilic Bilayer Protection

open access: yesAdvanced Functional Materials, EarlyView.
Lithium‐ion/Lithium metal hybrid batteries couple intercalation and plating mechanisms, yet are plagued by lithium dendrite formation. Here, a lithio‐amphiphilic bilayer comprising silver (Ag)/chromium(Cr) thin films is sequentially deposited on the graphite anode.
Jihoon Oh   +12 more
wiley   +1 more source

Photoswitching Conduction in Framework Materials

open access: yesAdvanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez   +4 more
wiley   +1 more source

The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs [PDF]

open access: yes
The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of ...
Helder Coelho   +2 more
core  

Transformation Rules for Locally Stratified Constraint Logic Programs [PDF]

open access: yes, 2004
We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model.
Fioravanti, Fabio   +2 more
core  

Home - About - Disclaimer - Privacy