Results 121 to 130 of about 1,309,863 (280)

Research on a General State Formalization Method from the Perspective of Logic

Mathematics
As information plays an ever more central role across disciplines, the lack of a precise and reusable definition of state impedes comparison, measurement, and verification. Building on Objective Information Theory (OIT), this paper proposes a logic-based
Siyuan Qiu, Jianfeng Xu
doaj   +1 more source

Formal reasoning about synthetic biology using higher-order-logic theorem proving. [PDF]

IET Syst Biol, 2020
Abed S, Rashid A, Hasan O.
europepmc   +1 more source

Linear logic for constructive mathematics

, 2018
We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of "linear higher-order logic" into intuitionistic higher-order logic via a Chu construction.
Shulman, Michael
core  

Precise Microstructural and Stoichiometric Control Advances Flexible Ag2Te Thin‐Film Thermoelectrics for Wearable Energy Harvesting

Advanced Materials, EarlyView.
Flexible Ag2Te thin films achieving a record‐high mobility of 4756 cm2 V−1 s−1 and a peak power factor of 18.5 µW cm−1 K−2 are developed via precise structural control. The assembled flexible devices demonstrate excellent mechanical stability and ultrafast voltage response, enabling precise thermal detection when integrated into a robotic gripper for ...
Yue‐Xing Chen, Xiao‐Lei Shi, Ning Chen, Dong Yang, Zhongzhao Zha, Hanwen Xu, Mohammad Nisar, Tianyi Cao, Boxuan Hu, Meng Li, Ziya Wang, Fu Li, Guangxing Liang, Jingting Luo, Zhuanghao Zheng, Zhi‐Gang Chen   +15 more
wiley   +1 more source

High‐Performance, Paper‐Based Microelectronics via a Micromodular Fabrication Process

Advanced Materials Interfaces, EarlyView.
This study demonstrates high‐performance silicon micromodular transistors on cellulose nanomaterial‐coated paper, with interconnects formed via e‐jet printing. Transistors exhibit excellent electrical properties and maintain performance under applied strain.
Rebecca K. Banner, Hubert N. Elly, Kaifan Yue, Cyra Moobed, Siddharth Kurup, Daniel Aziz, Kira L. Barton, Victor Breedveld, Eric M. Vogel, Michael A. Filler   +9 more
wiley   +1 more source

Light‐Programmable Interfaces: From Molecular Photoswitching to Adaptive Membrane Separations

Advanced Materials Interfaces, EarlyView.
This review advances an interface‐centered framework for light‐responsive membranes, linking molecular photoswitches (azobenzene (AZO), spiropyran (SP), diarylethene (DAE), donor–acceptor Stenhouse adducts (DASA), photoacid) to integration strategies in polymeric, porous, self‐assembled, and mixed‐matrix systems.
Liangliang Zhang, Senlin Gu, Jianyang Zhao, Xiaojuan Hao, Lu Hua Li, Jihua Li, Lingxue Kong   +6 more
wiley   +1 more source

3D Printed Multimaterial Microfluidic Transistors

Advanced Materials Technologies, EarlyView.
We introduce a biocompatible, high resolution photopolymer resin that closely mimics the Young's Modulus (elasticity) and reversible stretchability (no hysteresis) of poly(dimethylsiloxane) (PDMS), enabling the fabrication of microfluidic transistors (i.e., microvalves capable of proportional amplification) by multimaterial stereolithography (mSLA ...
Alireza Ahmadianyazdi, Wei Huang, Kaustav A. Gopinathan, Ivan Stepanov, Lisa Horowitz, Ting‐Yuan Tu, Mehmet Toner, Albert Folch   +7 more
wiley   +1 more source

Independence in higher-order subclassical logic.

Notre Dame Journal of Formal Logic, 1985
The author uses semantic structures consisting of a partially ordered set underlying a complete Heyting lattice and a designated member of the set to establish the following independence results for higher order intuitionistic and intermediate logics: (1) the conditional and the universal quantifier are not definable; (2) any definition of negation ...
openaire   +2 more sources

Light Switchable Ionic Conductivity of Arylazopyrazole Modified Polysiloxanes

Advanced Materials Technologies, EarlyView.
We present a polysiloxane functionalized with a novel arylazopyrazole dye that undergoes reversible photoisomerization. Upon lithium bis(trifluoromethanesulfonyl)imide addition and UV irradiation, the polymer exhibits a shift in tan(d) toward higher frequencies and enhanced ionic conductivity.
Malte S. Beccard, Thulasinath Raman Venkatesan, Michael Bauer, Valentin Razvan Lupu, Philipp Scheidegger, Francesco Taddei, Frank A. Nüesch, Dorina M. Opris   +7 more
wiley   +1 more source

Advances in Solid‐Phase Processing Techniques: Innovations, Applications, and Future Perspectives

Advanced Materials Technologies, EarlyView.
Based on practical manufacturing challenges, this review examines advanced solid‐phase processing techniques that overcome the inherent limitations of conventional melting‐based and traditional solid‐phase manufacturing, enabling the production of higher‐performance components at reduced cost through process innovation and improved supply‐chain ...
Tianhao Wang
wiley   +1 more source