Results 81 to 90 of about 46,994 (285)

Resolution approximation of first-order logics

Information and Computation, 1992
AbstractIn this paper we investigate automated theorem proving systems represented as finite classes of resolution proof systems. We call such classes resolution approximations. For many first-order logics, theorem proving based on such representation offers a substantial saving of computer time.
openaire   +2 more sources

DNA‑Directed Assembly of Photonic Nanomaterials for Diagnostic and Therapeutic Applications

Advanced Materials, EarlyView.
DNA‐directed assembly offers a powerful strategy for constructing structured photonic nanomaterials with precise spatial control. This review provides a comprehensive overview of recent advancements in DNA‐assembled photonic nanomaterials for diagnostics and therapeutics, highlighting key design principles, functionalization strategies, and optical ...
Longjiang Ding, Bing Liu, Andreas Peil, Sisi Fan, Jie Chao, Na Liu   +5 more
wiley   +1 more source

A derivation-loop method for temporal logic

Lietuvos Matematikos Rinkinys, 2019
Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature.
Romas Alonderis, Haroldas Giedra
doaj   +1 more source

A clausal resolution method for extended computation tree logic ECTL [PDF]

, 2004
A. Bolotov
openalex   +1 more source

Memristive Oscillatory Circuits for Resolution of NP-Complete Logic Puzzles: Sudoku Case [PDF]

, 2020
Theodoros Panagiotis Chatzinikolaou, Iosif-Angelos Fyrigos, Rafailia-Eleni Karamani, Vasileios Ntinas, Giorgos Dimitrakopoulos, Sorin Cotöfană, Georgios Ch. Sirakoulis   +6 more
openalex   +1 more source

Ultra‐Fast Microwave‐Assisted Volumetric Heating Engineered Defect‐Free Ceria/Zirconia Bilayer Electrolytes for Solid Oxide Electrochemical Cells

Advanced Materials, EarlyView.
This study proposes a transformative approach for fabricating highly dense and thin ceria/zirconia bilayer electrolytes for solid oxide electrochemical cells using microwave‐assisted volumetric sintering at unprecedentedly low temperatures and short processing times, achieving excellent performance and durability.
Hyeongmin Yu, Seungsoo Jang, Donghun Lee, Gayoung Youn, Kang Taek Lee   +4 more
wiley   +1 more source

Revisiting Deep Disagreement

Informal Logic, 2005
Argument-giving reasons for a view-is our model of rational dispute resolution. Fogelin (1985) suggests that certain "deep" disagreements cannot be resolved in this way because features of their context "undercut the conditions essential to arguing" (p ...
Dale Turner, Larry Wright
doaj   +1 more source

A clausal resolution method for branching-time logic ECTL [PDF]

, 2004
A. Bolotov, Artie Basukoski
openalex   +1 more source

Topology in Biological Piezoelectric Materials

Advanced Materials, EarlyView.
This review summarizes the topological structures in biological piezoelectric materials, covering morphology evolution, spatial arrangement, and biomimetic strategies. These topologies modulate structure‐property relationships across multiple scales, enabling performance enhancement and multifunctional integration.
Chen Chen, Yanhu Zhang, Yi Zheng, Yi Zhang, Hongyi Liu, Jiang Wu, Liang Yang, Zhengbao Yang   +7 more
wiley   +1 more source

Two‐Dimensional Heterostructure Complementary Logic Enabled by Optical Writing

Small Science
Integrated logic circuits using atomically thin, two‐dimensional (2D) materials offer several potential advantages compared to established silicon technologies such as increased transistor density, circuit complexity, and lower energy dissipation leading
Ayaz Ali, Matthias Schrade, Wen Xing, Per Erik Vullum, Ozhan Koybasi, Takashi Taniguchi, Kenji Watanabe, Branson D. Belle   +7 more
doaj   +1 more source