Results 171 to 180 of about 7,429,852 (332)

Relevance, standards of proof, and evidence theory

, 2011
In this essay, I focus on the theoretical project writ large. I do so with both general and specific aims in mind. As a general matter, I attempt to step back from this theorizing to ask and answer a few methodological and meta-theoretical questions ...
Pardo, Michael S.
core  

Proof theory for hybrid(ised) logics

Science of Computer Programming, 2016
Renato Neves, A. Madeira, M. Martins, L. Barbosa   +3 more
semanticscholar   +1 more source

Large‐Scale Determination of Frontier Orbital Energies of Disordered Small‐Molecule Organic Semiconductors Using Exciplex Emission Spectra

Advanced Materials, EarlyView.
ABSTRACT Accurately knowing the frontier orbital energies of the structurally disordered small‐molecule organic semiconductors that are used in optoelectronic devices such as organic light‐emitting diodes is required to rationally improve their performance. Here, we show that these energies can be deduced with a large accuracy from the peak energies of
Christian B. McDonald, Hiroki Tomita, Giacomo Cotelli, Louka L. Brüll, Nanno G. de Rooij, Lucas R.L. Norg, Milo Clément, Reinder Coehoorn   +7 more
wiley   +1 more source

Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities

Advanced Materials, EarlyView.
This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source

Designing Strong, Tough, Fire‐Retardant and Self‐Healing Elastomers with Phosphorus/Nitrogen‐ and Biphenyl‐Containing Segments

Advanced Materials, EarlyView.
By designing a P/N‐ and π–π interacting biphenyl‐containing diol as hard segments but side groups, a strong, tough, fire‐extinguishing and self‐healing elastomer is developed, demonstrating a break strain of ∼2500%, a toughness of 379 MJ/m3 and a tensile strength of 46 MPa, as well as a healing efficiency of 95% (tensile strength) and 99% (break strain)
Yijiao Xue, Shu Gong, Zhezhe Zhou, Zhewen Ma, Yanlong Luo, Mark Lynch, Jiabing Feng, Yan Zhang, Meng Zhang, Yonghong Zhou, Wenlong Cheng, Pingan Song   +11 more
wiley   +1 more source

Dilworth's Theorem Revisited, an Algorithmic Proof

Dilworth's theorem establishes a link between a minimal path cover and a maximal antichain in a digraph.A new proof for Dilworth's theorem is given. Moreover an algorithm to find both the path cover and the antichain, as considered in the theorem, is ...
Potharst, R., Pijls, W.H.L.M.
core  

Soft Hardware, Flowing Software: Reconfigurable Microfluidics for Adaptable Chemical Computation

Advanced Materials, EarlyView.
A reconfigurable microfluidic platform based on soft, photo‐printable, and chemically erasable hydrogel structures printed and erased in situ is used to control flow routing, mixing, chemical patterning, and even chemical computing. Using hardware to control chemical computations decouples logic function from molecular composition, demonstrated via ...
Piet J. M. Swinkels, Brigitta Dúzs, Oliver Skarsetz, Kohei Nishiyama, Andreas Walther   +4 more
wiley   +1 more source

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

On‐Water Surface Synthesis of 2D Conjugated Metal–Organic Framework Films With Controllable Layer Orientation Enabling High‐Performance Chemiresistive Sensing

Advanced Materials, EarlyView.
Layer orientation dictates charge transport in 2D conjugated metal–organic frameworks, yet controllable methods remain scarce. We report surfactant monolayer‐assisted on‐water synthesis of cm2‐scale Ni‐HHTP films with programmable face‐on and edge‐on orientations.
Jianjun Zhang, Víctor García‐López, Yutong Wu, Shuai Fu, Yucong Chen, Arsh S. Hazrah, Petko Petkov, Mike Hambsch, Feng Ni, Alina Müller, Ye Yang, Leif Riemenschneider, Shirong Huang, Albertus Mattheüs Sandee, Yilv Guo, David Silva‐Brea, Jan‐Ole Joswig, Stefan C. B. Mannsfeld, Thomas Heine, Gianaurelio Cuniberti, Mischa Bonn, Zhiyong Wang, Xinliang Feng   +22 more
wiley   +1 more source

Sensitive and Spatially‐Resolved Electrochemiluminescence via Micropatterning

Advanced Materials Interfaces, EarlyView.
The use of a simple silica nanoparticle surface coating and patterning process can transform ordinary gold electrodes into multiplexed ECL sensing electrodes. Through spatially confined droplet formation and local ECL emission, it is possible to perform multiple analyses simultaneously from individual locations as well as intensify the ECL signal by as
Yuliang Shao, Tatiana Starikova, Mengzhen Xi, Maria Vittoria Balli, Emanuele Luigi Sciuto, Gabriele Giagu, Vincenzo Paratore, Carmelo Corsaro, Enza Fazio, Sabrina Conoci, Luca Prodi, Giovanni Valenti, Pavel A. Levkin   +12 more
wiley   +1 more source