Results 21 to 30 of about 7,233 (199)

The Epistemic Significance of Valid Inference – A Model-Theoretic Approach [PDF]

, 2015
The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective.
Brîncuș, Constantin C.
core  

Refinement Modal Logic

, 2013
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be satisfied.
Aczel, Alur, Alur, Antonik, Arnold, Aucher, Aucher, Balbiani, Baltag, Bilkova, Blackburn, Bozzelli, Browne, Clarke, d'Agostino, d'Agostino, d'Agostino, Economou, Fagin, Feuillade, Fine, French, French, Gerbrandy, Hales, Hales, Hales, Hales, Hans van Ditmarsch, Harel, James Hales, Janin, Janin, Kooi, Kupferman, Kupke, Küsters, Larsen, Laura Bozzelli, Lomuscio, Mazala, Miller, Morgan, Parikh, Pauly, Plaza, Raclet, Raclet, Raclet, Ramadge, Riedweg, Ryan, Sistla, Sophie Pinchinat, Tim French, Tsitsoklis, van Benthem, van Benthem, van Ditmarsch, van Ditmarsch, van Ditmarsch, van Ditmarsch, Walukiewicz, Wen, Wilke, Woodcock   +65 more
core   +3 more sources

Multifunctional Bio‐Based Packaging for Perishable Foods: Structural Design, Scalable Fabrication, and Versatile Applications

Advanced Materials, EarlyView.
An overview of design principles and scalable fabrication strategies for multifunctional bio‐based packaging. Radiative cooling films, modified‐atmosphere films/membranes, active antimicrobial/antioxidant platforms, intelligent optical/electrochemical labels, and superhydrophobic surfaces are co‐engineered from material chemistry to mesoscale structure
Lei Zhang, Jiaqi Zhang, Mei Cui, Wei Qi, Renliang Huang, Rongxin Su, Kai Zhang   +6 more
wiley   +1 more source

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

Logicism, Possibilism, and the Logic of Kantian Actualism [PDF]

, 2017
In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate.
Stephenson, Andrew
core  

From Quantified CTL to QBF [PDF]

, 2019
QCTL extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex properties over Kripke structures (it is as expressive as MSO).
Hossain, Akash
core   +1 more source

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

On the variable hierarchy of first-order spectra

, 2015
The spectrum of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models. In this paper we study the hierarchy of first-order spectra based on the number of variables.
Kopczynski, Eryk, Tan, Tony
core   +1 more source

Nanomaterial Integration at Liquid–Liquid Interfaces for Green Catalysis

Advanced Materials, EarlyView.
Functional nanomaterials assembled at liquid–liquid interfaces create dual‐role platforms serving as emulsion stabilizers and catalytic sites, offering enhanced reaction kinetics with improved catalyst recovery and recyclability. This review examines design strategies, structure‐performance relationships, and industrial implementation prospects of ...
Bokgi Seo, Jaewon Shin, Minkyoung Jang, Kyoungho Choi, Tengfei Pang, Fangrui Zhong, Jin Woong Kim   +6 more
wiley   +1 more source

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

Advanced Materials Technologies, EarlyView.
Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source