Results 241 to 250 of about 1,501,850 (327)

Automated Reasoning with Analytic Tableaux and Related Methods

, 2023
Revantha Ramanayake, Josef Urban
openalex   +1 more source

Using a Zero‐Strain Reference Electrode to Distinguish Anode and Cathode Volume Changes in a Solid‐State Battery

Advanced Materials Interfaces, EarlyView.
Volume changes of a solid‐state battery cell are separated into the individual contributions of anode and cathode. Simultaneously determining the “reaction volumes” of both electrodes requires a reference electrode with a pressure‐independent potential.
Mervyn Soans, Benedikt Huber, Marcel Drüschler, Dominic Bresser, Alberto Varzi, Christoffer Karlsson   +5 more
wiley   +1 more source

Artificial Intelligence in Orthopaedic and Trauma Surgery Education: Applications, Ethics, and Future Perspectives. [PDF]

J Am Acad Orthop Surg Glob Res Rev
Leal JA.
europepmc   +1 more source

Automated Reasoning for Systems Biology and Medicine

Computational Biology, 2019
O. Troyanskaya, P. Lio’, P. Zuliani
semanticscholar   +1 more source

A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures

, 2018
Elena V. Ravve, Zeev Volkovich, Gerhard‐Wilhelm Weber   +2 more
openalex   +2 more sources

Automated reasoning for proving non-orderability of groups

, 2023
Alexei Lisitsa, Zipei Nie, Alexei Vernitski   +2 more
openalex   +2 more sources

Printed Interconnects for Heterogeneous Systems Integration on Flexible Substrates

Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.
Key components (sensors, energy devices, communication devices, computing chips, and interconnects) of flexible hybrid electronic (FHE) system connected via conductive printed metal tracks. The figure in the insets shows out‐of‐plane printed interconnects providing opportunities for lithography‐free formation of VIAs, in‐plane access of UTCs pads, and ...
Abhishek Singh Dahiya, Adamos Christou, Sihang Ma, Ravinder Dahiya   +3 more
wiley   +1 more source

Progress in Automating Higher-Order Ontology Reasoning

, 2018
Christoph Benzmüller, Adam Pease
openalex   +2 more sources

Photonic Crystal Enhanced Microscopy on a 2D Photonic Crystal Surface

Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.
This work demonstrates the design, fabrication, and the first‐time test of a 2D photonic crystal surface for photonic resonator absorption microscopy. The designed surface uniformly enhances electromagnetic near fields, achieving > 100% improved detecting uniformity for surface‐captured AuNPs from a blocking biosensor assay aimed for detecting SARS‐CoV‐
Weinan Liu, Siyan Li, Edmond Chow, Seemesh Bhaskar, Ying Fang, Brian T. Cunningham   +5 more
wiley   +1 more source

A conceptual framework for human-AI collaborative genome annotation. [PDF]

Brief Bioinform
Li X, Whan A, McNeil M, Starns D, Irons J, Andrew SC, Suchecki R.   +6 more
europepmc   +1 more source