Results 101 to 110 of about 1,698,712 (321)

Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?

Philosophia Scientiæ, 2005
Is IF logic the true elementary logic, as Hintikka claims? Moreover is it truly elementary, viz. first-order, in the first place? One is tempted to answer no, because of the extraordinary power of this logic in comparison with ordinary first-order logic.
Philippe de Rouilhan
doaj   +1 more source

Electroactive Liquid Crystal Elastomers as Soft Actuators

Advanced Functional Materials, EarlyView.
Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley   +1 more source

Domain‐Wall‐Free Sliding Ferroelectricity in Fully Commensurate 3R Transition Metal Dichalcogenide Bilayers

Advanced Functional Materials, EarlyView.
It is reported that the ferroelectric switching behavior of rhombohedral (3R) phase transition metal dichalcogenide (TMD) bilayers strongly depends on their domain structures. Single‐domain TMDs (SD‐TMDs) with domain‐wall‐free structures exhibit robust and stable polarization switching, whereas poly‐domain TMDs (PD‐TMDs) with randomly distributed ...
Ji‐Hwan Baek, Seong Chul Hong, Jinwoo Kim, Hyeongseok Lee, Hyun Woo Jeong, Kenji Watanabe, Takashi Taniguchi, Min Hyuk Park, Gwan‐Hyoung Lee   +8 more
wiley   +1 more source

Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces

Advanced Functional Materials, EarlyView.
A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai, Yi Ning Zheng, Lei Zhang, Xiao Qing Chen, Giuseppe Castaldi, Tie Jun Cui, Vincenzo Galdi   +6 more
wiley   +1 more source

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism [PDF]

, 2013
Marco Benini
openalex   +1 more source

Integrative Approaches for DNA Sequence‐Controlled Functional Materials

Advanced Functional Materials, EarlyView.
DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo, Ewa Anna Oprzeska‐Zingrebe, Mariana Kozlowska, Lennart Hilbert, Iliya D. Stoev   +4 more
wiley   +1 more source

On the decidability of monadic first order logic in sequent calculus

O Que Nos Faz Pensar, 2016
In this article, a syntactical proof of decidability ofmonadic first-order logic (and of its completeness for finite models) is given. Theproof is obtained  by adapting to the case of monadic logic, the proof given byKetonen/Schütte for first-order logic
Jean-Baptiste Joinet
doaj  

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj   +1 more source

Advances in Stimuli‐Responsive Organic Materials and Polymers toward Intelligent CO2 Capture

Advanced Functional Materials, EarlyView.
Schematic illustration of the relationship between different stimuli and stimuli‐responsive organic materials and polymers for carbon dioxide (CO2) capture. Main stimuli include redox, pH, magnetism, temperature, light, and pressure. Furthermore, multi‐responsive materials, due to their high adaptability and scalability in complex environments, are ...
Jian Zhou, Marc Deissenroth‐Uhrig, Markus Gallei   +2 more
wiley   +1 more source