Results 191 to 200 of about 174,815,442 (248)

TECTB Variants Reveal Tectorial Membrane Vulnerability in Dominant Non‐Syndromic Hearing Loss

open access: yesAdvanced Science, EarlyView.
TECTB is a non‐collagenous protein of the tectorial membrane – an extracellular matrix of the cochlea. This study identifies dominant missense variants in TECTB linked to human hereditary deafness in two unrelated families. Genetically engineered mice homozygous for one of the variants are profoundly deaf, whereas heterozygous mice have normal hearing ...
Evan B. Hale   +23 more
wiley   +1 more source

Transient Sleep Deprivation Induces Persistent Auditory Neuropathy via ROS‐Initiated Neuroinflammation and BK Channel Suppression

open access: yesAdvanced Science, EarlyView.
Sleep disturbance severity closely tracks hearing loss in a clinical cohort, yet the mechanistic link remains unclear. Acute sleep deprivation is shown to trigger transient cochlear oxidative stress that switches into a self‐sustaining neuroinflammatory state, suppressing BK channels and causing irreversible synaptopathy.
Dan Chen   +11 more
wiley   +1 more source

Multi‐Modal Low‐Power Adaptive Braille Recognition System Based on Hf0.3Zr0.7O2 Memristor

open access: yesAdvanced Science, EarlyView.
A multimodal adaptive perception system based on HZO ferroelectric memristor realizes efficient Braille digit recognition via reservoir computing. It delivers high recognition accuracy with ultralow‑energy analog computation, offering a promising hardware solution for environment‑robust neuromorphic assistive devices for visually impaired users ...
Jikang Xu   +9 more
wiley   +1 more source

Prion‐Like Protein LENG8‐Mediated Nucleation Drives Stress Granule Assembly

open access: yesAdvanced Science, EarlyView.
LENG8 is a newly identified stress granule (SG) nucleator required for SG assembly. Following stress, nuclear LENG8 granules disassemble, allowing LENG8 to translocate into the cytoplasm and form independent nucleation foci. These foci fuse with canonical early G3BP1/TIA1 seeds via LENG8‐TIA1 binding to drive SG maturation.
Mingxing Zhang   +6 more
wiley   +1 more source

Organic Electrochemical Transistors for Neuromorphic Bioelectronics: Materials and Manufacturing Technologies

open access: yesAdvanced Science, EarlyView.
Organic electrochemical transistors bridge biological ionic signaling and neuromorphic computation through volumetric electrochemical gating. This review connects Organic mixed ionic–electronic conductor materials, device architectures, and manufacturing technologies to show how geometry, ion transport, and fabrication strategies program plasticity ...
Hyunjin Lee   +5 more
wiley   +1 more source

Structural Divergence Between the Moltbook AI‐Agent Network and Human Social Networks

open access: yesAdvanced Science, EarlyView.
Analysis of the Moltbook AI‐agent network reveals a striking combination of familiar global scaling and distinct internal organization. Attention is highly concentrated, reciprocity is limited, connected triads are suppressed, and communities are strongly modular.
Wenpin Hou, Zhicheng Ji
wiley   +1 more source

Electron‐Beam Enables Spatially Resolved Defect‐Mediated Work Function Modulation in FAPbI3 Perovskite Thin Films

open access: yesAdvanced Science, EarlyView.
Electron‐beam irradiation enables defect‐mediated work function modulation in metal halide perovskites by regulating interstitial iodides. This approach allows continuous Fermi‐level tuning and spatially resolved formation of lateral surface‐potential‐defined junctions with built‐in potential.
Hyeonho Park   +9 more
wiley   +1 more source

Theories of Programming Languages

1998
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general ...
John C Reynolds
exaly   +2 more sources

A category theory for programming languages

Mathematical Systems Theory, 1973
The paper first shows how the categorical theory of sequences is useful in explaining properties of the (word) differentiation of Brzozowski (1964). Then, the paper shows how a more general theory of languages, including both procedural and functional languages, should be constructed by using a switch proposition that extends the common equivalence ...
openaire   +2 more sources

Array theory and the nial programming language

BIT, 1988
The nested interactive array language Nial is based on a mathematical theory of hierarchical rectangular arrays known as array theory. This paper gives a brief introduction to array theory and Nial and then discusses the main characteristics of the Nial language, its current implementation and some of its applications.
openaire   +1 more source

Home - About - Disclaimer - Privacy