Results 81 to 90 of about 45,065 (245)

Flexible 3D Kirigami Probes for In Vitro and In Vivo Neural Applications

Advanced Materials, EarlyView.
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, Jamal Abu Shihada, Simon Decke, Lina Koschinski, Peter Severin Graff, Sebastián Maruri Pazmino, Anke Höllig, Henner Koch, Simon Musall, Andreas Offenhäusser, Viviana Rincón Montes   +10 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

FUZZY APPLICATION (MAMDANI METHOD) IN DECISION-MAKING ON LED TV SELECTION

Barekeng
Science is now developing very quickly. Information technology has been used in various places. Using computers in business, government, and personal activities shows how important science and technology are in helping human activities.
Erni Fatun Ma'rif, Agus Maman Abadi
doaj   +1 more source

KM3NeT Digital Optical Module electronics

EPJ Web of Conferences, 2016
The KM3NeT collaboration is currently building of a neutrino telescope with a volume of several cubic kilometres at the bottom of the Mediterranean Sea.
Real Diego
doaj   +1 more source

Toward Intrinsically Stretchable OLEDs with High Efficiency

Advanced Materials, Volume 37, Issue 14, April 9, 2025.
This perspective provides a systematic discussion on the challenges and solutions in designing materials for intrinsically stretchable organic light‐emitting diodes (ISOLEDs). It also highlights prospective challenges and offers insights into the development of highly efficient and stable ISOLEDs for practical applications.
Huanyu Zhou, Hyun‐Wook Kim, Woo Jin Jeong, Tae‐Woo Lee   +3 more
wiley   +1 more source

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

Mechanical Resonant Sensing of Spin Texture Dynamics in a 2D Antiferromagnet

Advanced Materials, EarlyView.
Detection of antiferromagnetic spin texture in a 2D magnetic crystal is achieved through nanomechanical resonators at radio frequencies. Sharp magnetic transitions that lead to abrupt changes in mechanical linear and nonlinear responses are assigned to antiferromagnetic domain motions.
S M Enamul Hoque Yousuf, Yunong Wang, Shreyas Ramachandran, John Koptur‐Palenchar, Chiara Tarantini, Li Xiang, Stephen McGill, Dmitry Smirnov, Elton J. G. Santos, Philip X.‐L. Feng, Xiao‐Xiao Zhang   +10 more
wiley   +1 more source

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 Resolution-Based Calculus For Temporal Logics [PDF]

, 1995
Das ständig wachsende Interesse an Temporallogiken in zahlreichen Gebieten der Informatik verlangt nach Methoden, mit deren Hilfe effizient und schnell Schlussfolgerungen in diesen Logiken gezogen werden können. Üblicherweise geschieht dies durch die Entwicklung eines implementierten Kalküls, und tatsächlich wurden in den vergangenen Jahren ...
openaire   +1 more source

Resolution for Constrained Pseudo-Propositional Logic

, 2023
This work, shows how propositional resolution can be generalized to obtain a resolution proof system for constrained pseudo-propositional logic (CPPL), which is an extension resulted from inserting the natural numbers with few constraints symbols into the alphabet of propositional logic and adjusting the underling language accordingly.
openaire   +2 more sources