Results 121 to 130 of about 3,261,962 (390)

Judgment aggregation in non-classical logics [PDF]

arXiv, 2017
This work contributes to the theory of judgment aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgment aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics.
arxiv  

Ultrafast Room‐Temperature Nanofabrication via Ozone‐Based Gas‐Phase Metal‐Assisted Chemical Etching for High‐Performance Silicon Photodetectors

Advanced Functional Materials, EarlyView.
Ozone‐based gas‐phase metal‐assisted chemical etching enables unprecedented room‐temperature fabrication of high‐quality silicon nanowires. The superior oxidation potential of O3 drives rapid vertical etching (1 µm min−1) while maintaining exceptional structural integrity. The pristine nanowire surfaces enable high‐performance core‐shell photodetectors
Hyein Cho, Yejin Han, Geonhwi Kim, Jihwan Jeong, Seongmin Lee, Yebin Ahn, Sang Beom Hong, Soohyeok Park, Inkyeong Park, So Eun Jang, Duck Hyun Youn, Han‐Don Um   +11 more
wiley   +1 more source

Notice of Books Received

Informal Logic, 2023
Informal Logic
doaj   +3 more sources

Explicit Evidence Systems with Common Knowledge

, 2010
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge.
Alberucci L., Antonakos E., Artemov S. N., Artemov S. N., Artemov S. N., Artemov S. N., Artemov S. N., Blass A., Brünnler K., Brünnler K., Bucheli S., Bucheli S., Fagin R., Fitting M., Fitting M., Jäger G., Kuznets R., McCarthy J., Mkrtychev A., Nonaka I., Plaza J., Renne B., Renne B., Roman Kuznets, Samuel Bucheli, Thomas Studer, Yavorskaya (Sidon) T.   +26 more
core   +5 more sources

Ternary Transistors With Reconfigurable Polarities

Advanced Functional Materials, EarlyView.
Polarity‐reconfigurable ternary transistors are demonstrated using black phosphorus homojunction with asymmetric contacts and split‐gate structures. Suppression of majority carrier injection, while Fowler–Nordheim tunneling of low‐density minority carriers persists, enables a well‐defined intermediate state with improved on/off ratios.
Dongju Yeom, Yeonghyeon Ko, Youngkyu Ko, Heungsoon Im, Jungi Song, Yongwook Seok, Hanbyeol Jang, Jaeha Hwang, Seokhun Jin, Kenji Watanabe, Takashi Taniguchi, Kayoung Lee   +11 more
wiley   +1 more source

Books Received

Informal Logic, 2022
Informal Logic
doaj   +1 more source

Hydrogel Adhesive Integrated‐Microstructured Electrodes for Cuff‐Free, Less‐Invasive, and Stable Interface for Vagus Nerve Stimulation

Advanced Healthcare Materials, EarlyView.
In this study, a cuff‐free, less‐invasive surgical approach for vagus nerve stimulation (VNS) by combining ultrathin Y‐shaped kirigami electrodes is developed with a chemically cross‐linked hydrogel adhesive (hydrogel‐kirigami). Unlike conventional cuff implantation, which may damage nerves and nearby critical vessels, this new technique minimizes ...
Jae Young Park, Jongcheon Lim, Carl R. Russell III, Pei‐Lun Chen, Deniz Eksioglu, Seokkyoon Hong, Juan C. Mesa, Matthew P. Ward, Chi Hwan Lee, Hyowon Lee   +9 more
wiley   +1 more source

Matching Logic

, 2017
This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching.
Rosu, Grigore
core   +1 more source

Optoelectronic Devices for In‐Sensor Computing

Advanced Materials, EarlyView.
The raw data obtained directly from sensors in the noisy analogue domain is often unstructured, which lacks a predefined format or organization and does not conform to a specific data model. Optoelectronic devices for in‐sensor visual processing can integrate perception, memory, and processing functions in the same physical units, which can compress ...
Qinqi Ren, Chaoyi Zhu, Sijie Ma, Zhaoqing Wang, Jianmin Yan, Tianqing Wan, Weicheng Yan, Yang Chai   +7 more
wiley   +1 more source

Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics [PDF]

arXiv, 2007
This article surveys some of the recent work in verification of temporal epistemic logic via symbolic model checking, focusing on OBDD-based and SAT-based approaches for epistemic logics built on discrete and real-time branching time temporal logics.
arxiv