Results 71 to 80 of about 2,766,744 (297)
This review explores how advanced materials enhance Bio‐FETs for precision healthcare and biosensing. It covers their working principles, surface functionalization, and ultra‐sensitive detection capabilities. The integration of flexible designs, AI, and IoT for real‐time monitoring is discussed, along with challenges like material reproducibility and ...
Minal Pandey+5 more
wiley +1 more source
Model Comparison Games for Horn Description Logics [PDF]
Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated query answering is in PTime for data complexity. They were independently introduced in modal logic to capture the intersection of Horn first-order logic with modal logic.
arxiv
This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further ...
Krötzsch, M, Simancik, F, Horrocks, I
openaire +3 more sources
Optoelectronic Devices for In‐Sensor Computing
The raw data obtained directly from sensors in the noisy analogue domain is often unstructured, which lacks a predefined format or organization and does not conform to a specific data model. Optoelectronic devices for in‐sensor visual processing can integrate perception, memory, and processing functions in the same physical units, which can compress ...
Qinqi Ren+7 more
wiley +1 more source
Robust 2D Ruddlesden–Popper lead‐tin perovskites demonstrate exceptional resistive switching memory performance after cesium carbonate deposition, achieving a high accuracy of 90.1% in MNIST pattern recognition. Additionally, a novel energy‐efficient content‐addressable memory architecture, based on perovskite memristive devices, is proposed for ...
Lijun Chen+9 more
wiley +1 more source
Single‐layer magnetization switching with a small critical current density of ≈106 A cm−2 is demonstrated. The strong intrinsic spin Hall effect, causing the switching, is induced by the synergy of the inherent spin‐orbit coupling and the spontaneous oxygen octahedral rotation in SrRuO3.The findings highlight the immense potential for realizing ...
Hiroto Horiuchi+11 more
wiley +1 more source
A multifunctional memristor is demonstrated for in‐memory sensing and computing, leveraging a MoWS₂/VOx heterojunction to enable high ON/OFF ratio up to 10⁸ with ultralow operating voltages of ±0.2 V. This bio‐inspired multimodal design exhibits tunable synaptic behavior across electrical, optical, and humidity stimuli, enabling in situ modulation of ...
Abdul Momin Syed+8 more
wiley +1 more source
Practical reasoning for very expressive description logics [PDF]
Ian Horrocks
openalex +3 more sources
Flexible 3D Kirigami Probes for In Vitro and In Vivo Neural Applications
A customizable and scalable approach to fabricate flexible 3D kirigami microelectrode arrays (MEAs) featuring up to 128 shanks, including surface and penetrating electrodes designed to interact with the 3D space of neural tissue, is presented. The 3D kirigami MEAs are successfully deployed in several neural applications, both in vitro and in vivo, and ...
Marie Jung+10 more
wiley +1 more source
The Usability of Description Logics [PDF]
Description Logics have been extensively studied from the viewpoint of decidability and computational tractability. Less attention has been given to their usability and the cognitive difficulties they present, in particular for those who are not specialists in logic.
Warren, Paul+3 more
openaire +2 more sources