Results 141 to 150 of about 8,631,344 (363)
A general approach to define binders using matching logic [PDF]
Xiaohong Chen, Grigore Roşu
openalex +1 more source
Tabled evaluation with delaying for general logic programs
Weidong Chen, D. Warren
semanticscholar +1 more source
Near‐Sensor Analog Computing via Monolithic 3D Piezoelectric Sensor–FeFET for Tactile Sensing System
A monolithic 3D‐integrated tactile system combines a piezoelectric sensor and ferroelectric field‐effect transistor (FeFET) to process both static and dynamic pressure signals directly at the sensor node. The system enables in‐sensor analog noise filtering with multi‐level memory states, achieving high sensitivity and ultra‐low power operation (≈10 nW),
Woongjin Kim +6 more
wiley +1 more source
High‐entropy perovskite nanofibers serve as robust and active bifunctional air electrodes in reversible protonic ceramic electrochemical cells. Their compositional complexity stabilizes the lattice, enriches oxygen vacancies, and accelerates surface exchange.
Hyeonggeun Kim +4 more
wiley +1 more source
Considerações historiográficas acerca da lógica dos estoicos
This study aims to examine some questions related to how the historiography evaluated the contribution offered by logical Stoic philosophers. It is, above all, two open positions in opposition: an initial analysis is essentially negative and derogatory ...
Paulo Eduardo de Oliveira +1 more
doaj
Local Thermal Conductivity Patterning in Rotating Lattice Crystals of Anisotropic Sb2S3
Microscale control of thermal conductivity in Sb2S3 is demonstrated via laser‐induced rotating lattice crystals. Thermal conductivity imaging reveals marked thermal transport anisotropy, with the c axis featuring amorphous‐like transport, whereas in‐plane directions (a, b) exhibit 3.5x and 1.7x larger thermal conductivity.
Eleonora Isotta +13 more
wiley +1 more source
Extensional Interpretation of General Sentences in Sixteenth-Century Ibero-American Logic
Walter Redmond
doaj +1 more source
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There [PDF]
Michael Fink
openalex +1 more source
An adapted processing for solvent‐free argyrodite solid electrolyte films based on insights into degradation mechanisms of the widely used binder polytetrafluoroethylene is presented. By adapting the dry film processing, long‐term cycling in Si||NMC pouch cells is demonstrated over more than 1000 cycles with a capacity retention of more than 80%, and ...
Maria Rosner +10 more
wiley +1 more source

