Results 71 to 80 of about 10,648 (267)

A Generic Analysis Server System for Functional Logic Programs [PDF]

, 2013
Michael Hanus, Fabian Reck
openalex   +1 more source

Near‐Infrared Light‐Programmable Negative Differential Transconductance in Organic Electrochemical Transistors for Reconfigurable Logic

Advanced Functional Materials, EarlyView.
Organic electrochemical transistors based on a Near‐Infrared (NIR)‐responsive polymer p(C4DPP‐T) and iodide electrolyte exhibit optically programmable negative differential transconductance. NIR illumination triggers an iodine‐mediated redox process, enabling a transition from binary to ternary conductance states within a single‐layer device.
Debdatta Panigrahi, Christina J. Kousseff, Aristea Pavlou, Zeinab Hamid, Iain McCulloch, Fabrizio Torricelli, Paul W. M. Blom, Paschalis Gkoupidenis   +7 more
wiley   +1 more source

Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures

IEEE Open Journal of the Industrial Electronics Society
The design of safety-critical cyber–physical systems requires a rigorous check of their operation logic, as well as an analysis of their overall instrumentation and control (I&C) architectures.
Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin   +5 more
doaj   +1 more source

Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4

Advanced Functional Materials, EarlyView.
An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante, Valeria Demontis, Jonas Riisnaes Karl, Lam Hoi Tung, Sebastiano De Stefano, Daniela Marongiu, Adolfo Mazzotti, Aditya Bhardwaj, Francesco Mattana, Elisa Pili, Selene Matta, Federico Paolucci, Michele Saba, Andrea Mura, Giovanni Bongiovanni, Monica F Craciun, Saverio Russo, Antonio Di Bartolomeo   +17 more
wiley   +1 more source

Intrinsic Nanopore‐Assisted SnP2S6 Memristors With Ti Ion Dynamics for Compact Logic‐In‐Memory Hardware

Advanced Functional Materials, EarlyView.
Tin hexathiophosphate memristors leverage intrinsic nanopores together with a guided filament formation strategy to regulate titanium ion motion and switching behavior. The devices support reliable nonvolatile memory and reconfigurable logic‐in‐memory, demonstrating 14 Boolean logic functions in a single cell.
Thaw Tint Te Tun, Sanchali Mitra, Hongxi Su, Jiali Huo, Haofei Zheng, Michel Bosman, Yee Sin Ang, Kah‐Wee Ang   +7 more
wiley   +1 more source

Membrane Fusion‐Inspired Nanomaterials: Emerging Strategies for Infectious Disease and Cancer Diagnostics

Advanced Healthcare Materials, EarlyView.
Membrane fusion‐inspired nanomaterials offer transformative potential in diagnostics by mimicking natural fusion processes to achieve highly sensitive and specific detection of disease biomarkers. This review highlights recent advancements in nanomaterial functionalization strategies, signal amplification systems, and stimuli‐responsive fusion designs,
Sojeong Lee, Khulan Nyamzaya, Jueun Han, Yejin Song, Jihee Lee, Jung Hyun Jo, Seungmin Bang, Eun‐Kyung Lim, Seungjoo Haam, Eunjung Kim   +9 more
wiley   +1 more source

Logic programming, functional programming and inductive definitions [PDF]

, 2021
Lawrence C. Paulson, Andrew W. Smith
openalex   +1 more source

Redefining Therapies for Drug‐Resistant Tuberculosis: Synergistic Effects of Antimicrobial Peptides, Nanotechnology, and Computational Design

Advanced Healthcare Materials, EarlyView.
Antimicrobial peptide (AMP)‐loaded nanocarriers provide a multifunctional strategy to combat drug‐resistant Mycobacterium tuberculosis. By enhancing intracellular delivery, bypassing efflux pumps, and disrupting bacterial membranes, this platform restores phagolysosome fusion and macrophage function.
Christian S. Carnero Canales, Jessica Ingrid Marquez Cazorla, Renzo Marianito Marquez Cazorla, Aline Martins dos Santos, Jonatas Lobato Duarte, Letícia Oliveira Catarin Nunes, Túlio Custódio Reis, Lara Cerazi Salvador, Norival Alves Santos‐Filho, Rafael Miguel Sábio, Hélder A. Santos, Fernando Rogério Pavan   +11 more
wiley   +1 more source

AUTOMATIC WAGON LOADING CONTROL SYSTEM USING INDUSTRY 4.0 TECHNOLOGIES

Автоматизация технологических и бизнес-процессов
Purpose: the development of a system for automatic control of car loading, which will be able to combine separate nodes into one common system to ensure greater control and reliability of the process.
Danilo Mashianov, Oleksii Korshikov, Oleg Tkachenko, Hanna Telychko, Glib Stupak   +4 more
doaj   +1 more source

Néel Tensor Torque in Polycrystalline Antiferromagnets

Advanced Materials, EarlyView.
This work introduces a Néel tensor torque based on a rank‐two symmetric tensor capturing spin correlations in a polycrystalline antiferromagnet. It shows the Néel tensor can be shaped and reshaped through the spin‐orbit torque (SOT) technique, enabling field‐free SOT switching with a specific polarity of the adjacent ferromagnet. This discovery opens a
Chao‐Yao Yang, Sheng‐Huai Chen, Chih‐Hsiang Tseng, Hsiu‐Hau Lin, Chih‐Huang Lai   +4 more
wiley   +1 more source