Results 151 to 160 of about 7,429,852 (332)

Ammonium Salts as Curing Agents to Obtain Ionic Epoxy Resins With a Thermoplastic‐to‐Thermoset Transition

Advanced Materials, EarlyView.
Ionic epoxy networks are prepared using ammonium salts as hardeners, leading to a two‐stage curing process with a thermoplastic‐like intermediate. This uncommon behavior enables extrusion and fabrication of thermoplastic prepregs that can be cured into thermoset composites.
Izabela Kurowska, Leire Unanue, Itxaso Calafel, Dorleta Otaegui, Jorge L. Olmedo‐Martínez, Lourdes Irusta, Daniel Vinagre, Nora Aranburu, Nerea Casado, Ibon Odriozola, David Mecerreyes   +10 more
wiley   +1 more source

Perspectives for proof unwinding by programming languages techniques

, 2017
International audienceIn this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory.
Ilik, Danko
core  

Proof theory and Martin-Löf Type Theory

, 2008
In this article an overview over the work of the author on developing proof theoretic strong extensions of Martin-Loef Type Theory including precise proof theoretic bounds is given.
Anton Setzer
core   +1 more source

Research on the burden of proof in medical care damage disputes

Huli yanjiu
The rules for the allocation of the burden of proof in medical care damage disputes directly affect the outcome of the judgment and are closely related to the interests of the parties.In medical care damage litigation,according to the current substantive
YUN Dan, WANG Yonghui
doaj  

The Machine-Checked Complete Formalization of Landau’s Foundations of Analysis in Rocq

Mathematics
Formal verification has achieved remarkable outcomes in both theory advancement and engineering practice, with the formalization of mathematical theories serving as its foundational cornerstone—making this process particularly critical.
Yue Guan, Yaoshun Fu, Xiangtao Meng
doaj   +1 more source

A more general general proof theory

Journal of Applied Logic, 2017
H. Wansing
semanticscholar   +1 more source

Lattice‐Matched 2D Template Enables Efficient Cesium Tin Halide Perovskite Solar Cells

Advanced Materials, EarlyView.
Lattice‐matched 2D perovskite PEA2CsSn2I7 templates the out‐of‐plane growth of inorganic 3D γ‐CsSnI3 along the (110) plane, forming highly oriented 2D/3D tin halide perovskite heterostructures. With reduced trap states and mitigated δ‐phase impurities, the CsSnI3‐based solar cells achieve a power conversion efficiency of 15.27% and maintain stable ...
Hongzhe Anna Xu, Dongxu He, Wencai Zhou, Julian A. Steele, Zhiliang Wang, Zitong Wang, Chengxi Zhang, Shanshan Ding, Bowei Zhang, Huiyuan Cheng, Mengmeng Hao, Jiangyu Hang, Can Zheng, Zilong Zheng, Peng Chen, Lianzhou Wang   +15 more
wiley   +1 more source

Deep Inference Proof Theory Equals Categorical Proof Theory Minus Coherence

, 2004
This paper links deep inference proof theory, as studied by Guglielmi et al., to categorical proof theory in the sense of Lambek et al.. It observes how deep inference proof theory is categorical proof theory, minus the coherence diagrams/laws. Coherence
Dominic J. D. Hughes
core  

Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices)

Annual Conference for Computer Science Logic, 2018
Anupam Das, D. Pous
semanticscholar   +1 more source

Single‐Chromophore Homojunction Organic Solar Cells: A Path to Simplicity and Efficiency

Advanced Materials, EarlyView.
This perspective discusses how the intrinsic optoelectronic properties of organic semiconductors, their molecular packing in the solid‐state, and internal energetic gradients within a device can enable free‐charge carrier generation in homojunction organic solar cells.
Shaun McAnally, Paul L. Burn, Paul E. Shaw   +2 more
wiley   +1 more source