Results 131 to 140 of about 49,509 (302)
A Resolution Calculus for Second-order Logic with Eager Unification
, 2018 Alexander Leitsch, Tomer Libal
openalex +2 more sources
One Dimensional Metal Oxide Semiconductor Nanotransistors
Advanced Materials Technologies, EarlyView.This review assesses one dimensional metal oxide NW‐FETs as promising alternatives to conventional transistors. It explores how advances in architecture, material composition, and fabrication processes expand device capabilities. Emphasis is placed on novel gate configurations, different metal oxide nanowires, and post‐treatment methods, which ...
Mariana D. Cortinhal +2 more
wiley +1 more source
Multiplicative linear logic from a resolution-based tile system
, 2022 Boris Eng, Thomas Seiller
openalex +2 more sources
Smart Electrochromic Devices for Wearables
Advanced Materials Technologies, EarlyView.This article reviews the recent progress of smart electrochromic devices in the field of intelligent wearable devices. Serving as displays, dimmers, energy‐saving and energy storage devices, and temperature management components, electrochromic devices have broad prospects in flexible displays, human–computer interaction, and personalized ...
Mengjie Zhu +6 more
wiley +1 more source
Resolution for Constrained Pseudo-Propositional Logic
, 2023 Ahmad-Saher Azizi-Sultan
openalex +2 more sources
Advanced Materials Technologies, EarlyView.Contemporary electronic devices produce significant waste, harming ecosystems. Innovation in design, consumption, materials, and end‐of‐life management is crucial. This review explores advanced materials for sustainable and responsible electronics, highlighting their potential to reduce environmental and health hazards while improving device ...
Rawan Omar +7 more
wiley +1 more source
Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation [PDF]
Zhouhao Sun +6 more
openalex +1 more source
Coordination Logic for Repulsive Resolution Maneuvers [PDF]
, 2016 Anthony Narkawicz +2 more
openalex +1 more source
Advanced Materials Technologies, EarlyView.The feasibility of 3D‐printed optical antennas using commercial, non‐optical materials for Optical Wireless Communications (OWC) is demonstrated. This study combines spectral analysis, anisotropy effects, and telecom‐relevant optical measurements, revealing promising performance and novel insights for low‐cost, customizable photonic components in ...
Mauro Aresti +6 more
wiley +1 more source
AI-powered digital arbitration framework leveraging smart contracts and electronic evidence authentication. [PDF]
Sci RepHan P.
europepmc +1 more source