Results 131 to 140 of about 165,990,627 (290)

Modal Logic of Lattices

We prove that the modal logic of lattices with the accessibility relation of being isomorphic to a sublattice is S4.2.
Hałapacz, Maciej A.
core   +1 more source

Intelligent Sky Guardians (InSkyGuard): An Aerial Robotic Swarm for Autonomous Detection and Entrapment of Rogue Multirotors

Advanced Robotics Research, EarlyView.
Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings, Levanya Dewanarayana, Iline Shaju, Haider Al‐Wizni, Sampson Marquis, Weicheng Huang, Pooya Sareh   +6 more
wiley   +1 more source

Toward Prostate Cancer Early Warning with a Self‐Powered Wearable Biosensing Platform Integrated with Machine Learning

Advanced Science, EarlyView.
ABSTRACT Current prostate cancer detection methods remain limited in non‐invasiveness and specificity, prompting interest in urinary biomarkers such as sarcosine. Here, we report a urine‐powered wearable platform for non‐invasive sarcosine detection as a proof‐of‐concept for decentralized early warning.
Jing Xu, Hanxiao Chen, Qichen Yuan, Liucun Yin, Yifang Tao, Hong Wang, Yuquan Xue, Delai Fu, Huan Pang, Tie Chong, Li Xue   +10 more
wiley   +1 more source

Interactive Theorem Assistant for Learning ``A Logical Approach to Discrete Math'': Proof Theory and Assessment Experience

CLEI Electronic Journal
CalcLogic is a proof assistant adapted for students of Calculational Logic. CalcLogic uses the same syntax and theorems as in Gries and Schneider's book, ``A Logical Approach to Discrete Math''.
Federico Flaviani, Jorge Baralt-Torrijos, Soraya Carrasquel, David Coronado   +3 more
doaj   +1 more source

Generation of Probabilistic Bits by Exploiting Orthogonal Spin Currents in Magnetic Trilayers

Advanced Science, EarlyView.
Fe/Ti/CoFeB trilayers generate orthogonal spin currents that drive stochastic spin–orbit‐torque switching for probabilistic‐bit operation. The switching probability is continuously controlled by the in‐plane magnetic field and drive current, enabling tunable random bit generation.
Donghyeon Han, Chaehyeon Shin, Seok‐Jong Kim, Yunho Jang, Daekyu Koh, Taehwan Kim, Jaeheon Jung, Geon‐Woo Baek, Minseok Kang, Eunseok Kim, Geun‐Hee Lee, Jeongchun Ryu, Makoto Kohda, Junsaku Nitta, Kab‐Jin Kim, Jongsun Park, Kyung‐Jin Lee, Byong‐Guk Park   +17 more
wiley   +1 more source

Logical structures and genus of proofs

Annals of Pure and Applied Logic, 2009
To measure the complexity of a (formal) proof, the author introduces the notion of genus. The object of investigation of this paper is classical sentential sequent calculus. The starting point is Gentzen's threads [`Faden'], which S. Buss organized as a logical flow graph. To resolve crossing-over of edges, the author embeds a graph on the surface of a
openaire   +4 more sources

Ferroelectric Devices for In‐Memory and In‐Sensor Computing

Advanced Science, EarlyView.
Inspired by biological systems, in‐memory and in‐sensor computing overcome von Neumann bottlenecks. Ferroelectric devices can mimic synaptic functions and sense stimuli like light or force, therefore are ideal for these paradigms. This review introduces the ferroelectric devices applied for in‐memory and in‐sensor computing, covering their structures ...
Hong Fang, Ronghuan Xie, Qiang Cao, Shishen Yan, Xiaolin Wang, Limei Zheng   +5 more
wiley   +1 more source

An Efficient Biological Codon Recognition Reservoir Computing System Based on Low‐Energy Epitaxial Hf0.52Zr0.48O2 Ferroelectric Memristors

Advanced Science, EarlyView.
This work reports on epitaxially grown Hf0.52Zr0.48O2 ferroelectric memristors with high stability (high durability exceeding 108 cycles and a retention time exceeding 104 s for 16 states) and ultra‐low operating energy consumption (∼121 fJ). A memristor array‐based reservoir computing system is constructed and applied for the first time in the field ...
Ying Liu, Jikang Xu, Yongqing Jia, Wenxuan Wang, Weifeng Zhang, Biao Yang, Xiaobing Yan   +6 more
wiley   +1 more source

Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes

Mathematics
In traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common.
Jinjin Zhang, Xiaoxia Zhou, Yan Zhang, Lixing Tan   +3 more
doaj   +1 more source

Flexoelectricity in Photoconversion: Fundamentals, Materials, and Outlooks

Advanced Science, EarlyView.
Mechanical bending of a flexible cantilever induces a strain gradient in the photoactive material. The resulting flexoelectric field couples with photovoltaic and photoconductive effects, modulating charge generation, separation, and collection. A comparative analysis of oxide perovskites, halide perovskites, and two‐dimensional materials is presented,
Xiang Huang, Feng Li, Rongkun Zheng
wiley   +1 more source