Results 61 to 70 of about 1,008,187 (306)

Understanding Postdeposition Treatments of Hole‐Transporting Self‐Assembling Molecules for Perovskite/Silicon Tandem Solar Cells

Advanced Functional Materials, EarlyView.
The influence of postdeposition treatments on the formation of self‐assembling (mono)layers commonly utilized as hole transport layers in perovskite‐based solar cells is thoroughly investigated. The implementation of a washing step and an annealing step at temperatures exceeding the current literature standards leads to an enhanced layer quality and ...
Jann B. Landgraf, Yashika Gupta, Adi Prasetio, Stefan Lange, Christoph Messmer, Christian Schwarz, Oliver Fischer, Sithisak Chanthalavong, Oussama Er‐raji, María B. Camarada, Stefaan De Wolf, Patricia S. C. Schulze, Anna Fischer, Stefan W. Glunz, Juliane Borchert   +14 more
wiley   +1 more source

On the strength of proof-irrelevant type theories

, 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

3D Concrete Printing of Triply Periodic Minimum Surfaces for Enhanced Carbon Capture and Storage

Advanced Functional Materials, EarlyView.
A 3D‐printable and carbon‐capturing concrete is developed by replacing cement with diatomaceous earth (DE), which enhances rheology, provides hierarchical porosity, and serves as a nucleation site for carbonation. Maximum absorption of 488.7 gCO2 kgcement−1 is achieved in 7 days, a 142% increase over conventional concrete, and the triply periodic ...
Kun‐Hao Yu, Teng Teng, So Hee Nah, Hua Chai, Yefan Zhi, Kun‐Yu Wang, Yinding Chi, Peter Psarras, Masoud Akbarzadeh, Shu Yang   +9 more
wiley   +1 more source

Verification of Ptime reducibility for system F terms via Dual Light Affine Logic.

, 2006
Proceedings of Computer Science Logic 2006 (CSL'06), volume 4207 of Lecture Notes in Computer Science, pp.150-166. SpringerIn a previous work we introduced Dual Light Affine Logic (DLAL) ([BaillotTerui04]) as a variant of Light Linear Logic suitable ...
Atassi, Vincent, Baillot, Patrick, Terui, Kazushige   +2 more
core   +3 more sources

Mimicking Synaptic Plasticity: Optoionic MoS2 Memory Powered by Biopolymer Hydrogels as a Dynamic Cations Reservoir

Advanced Functional Materials, EarlyView.
Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong, Pietro Tordi, Adrián Tamayo, Bin Han, Massimo Bonini, Paolo Samorì   +5 more
wiley   +1 more source

Electrically Binary and Ternary Convertible CMOS Inverter and Logic Gate Using Complementary Field‐Effect Transistors Based on Vertically Stacked MoS2/WSe2 n‐/p‐ Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
In this work, a reconfigurable T‐CMOS inverter based on vertically stacked MoS2 and WSe2 MOSFETs with a gate‐tunable MoS2 resistor, enabling stable ternary logic, is demonstrated. The T‐CMOS inverter supports electrical switching between ternary and binary modes and is further extended to implement ternary NAND (NMIN) and NOR (NMAX) logic gates ...
Changwook Lee, Dongyoung Kim, Eunyeong Yang, Jiwon Ma, Kibum Kang, Jiwon Chang   +5 more
wiley   +1 more source

Liquid‐Locked Bassanites for Scalable Fabrication of High‐Temperature Micro‐Supercapacitors Working at 300 °C

Advanced Functional Materials, EarlyView.
A “liquid locking” strategy is proposed and implemented for scalable printing of crack‐free bassanite ceramic frameworks with interlocking microstructures to host ionic liquids as effective electrolytes for high‐temperature micro‐supercapacitors (HT‐MSCs).
Shiqian Chen, Zheng Li, Komal Gola, Gui Li, Ruiqi Chen, Jinhua Sun, Alexandr Talyzin, Jiantong Li   +7 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]

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, Jaime Sim�o Sichman, Nuno David   +2 more
core  

Transformation Rules for Locally Stratified Constraint Logic Programs [PDF]

, 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, Pettorossi, Alberto, Proietti, Maurizio   +2 more
core  

Molecularly Tailored Elastomeric Block‐Copolymers for Intrinsically Stretchable Organic Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
Molecular‐level engineering of SEBS elastomers is introduced for skin‐inspired electronics. By systematically modulating the S/EB molar ratio in SEBS, precise control is achieved over nanoscale morphology, mechanical properties, metal‐elastomer adhesion, and dielectric performance.
Min Woo Jeong, Seon Hoo Park, Min Hyouk Kim, Jun Su Kim, Tae Uk Nam, Ngoc Thanh Phuong Vo, Kyu Ho Jung, Hye Rin Chang, Thuy An Nguyen, Jin Young Oh   +9 more
wiley   +1 more source