Results 51 to 60 of about 557 (235)
Processes for adhesive rewriting systems [PDF]
, 2006 Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, including various modelling frameworks for concurrent and distributed systems.
Heindel, T +19 more
core +3 more sources
Prefix probabilities for linear context-free rewriting systems [PDF]
, 2014 We present a novel method for the computation of so-called prefix probabilities for linear context-free rewriting systems. Our technique streamlines previous procedures to compute prefix probabilities for probabilistic context-free grammars ...
M. Nederhof +2 more
core +1 more source
Advanced Science, EarlyView.This study utilized alloy micro‐galvanic coupling design to regulate the release of essential elements, thereby programming immune responses and promoting regeneration. The sacrificial anodic process of Zn‐0.8Mg reduced Zn2+ release compared to the “large cathode‐small anode” coupling of Zn‐0.8Fe.
Chaoyang Sun +14 more
wiley +1 more source
On the relation between multicomponent tree adjoining grammars with tree tuples (TT-MCTAG) and range concatenation grammars (RCG) [PDF]
, 2008 This paper investigates the relation between TT-MCTAG, a formalism used in computational linguistics, and RCG. RCGs are known to describe exactly the class PTIME; simple RCG even have been shown to be equivalent to linear context-free rewriting systems ...
Parmentier, Yannick, Kallmeyer, Laura
core +1 more source
Polarization Dynamics in Ferroelectrics: Insights Enabled by Machine Learning Molecular Dynamics
Advanced Science, EarlyView.Machine learning molecular dynamics is presented as a route to capture polarization switching, domain wall kinetics, topological polar textures, and polar mechanical coupling beyond the limits of conventional atomistic methods. This Perspective surveys recent progress and identifies key methodological directions, including long‐range electrostatics ...
Dongyu Bai +3 more
wiley +1 more source
Polynomial equality testing for terms with shared substructures [PDF]
, 2005 Sharing of substructures like subterms and subcontexts in terms is a common method for space-efficient representation of terms, which allows for example to represent exponentially large terms in polynomial space, or to represent terms with iterated ...
Schmidt-Schauß, Manfred +1 more
core
Advanced Science, EarlyView.To address the multifaceted imbalance in diabetic keratopathy, a light‐responsive biomimetic platform (WCNx‐Rh2) is developed and integrates glucose degradation, immune modulation, and antibacterial defense through a designed heterojunction and screened immunomodulator. WCNx‐Rh2 reduces AGEs/ROS and inflammatory signaling, reprogramming dendritic cells
Mengzhen Zhao +8 more
wiley +1 more source
Advanced Science, EarlyView.A novel epitranscriptomic mechanism in rheumatoid arthritis is uncovered: NSUN2 promotes disease via m5C‐dependent stabilization of ICMT mRNA, fueling the migration and invasion of pathogenic RA FLS. Targeting this axis with engineered nanoparticles (Ce/SAA NPs) effectively inhibits disease progression, presenting a precise therapeutic strategy ...
Ruiru Li +15 more
wiley +1 more source
On the formal properties of completion grammars and their related automata [PDF]
, 1976 Completion grammars are a new class of rewriting systems designed to model case systems. In this paper we investigate some formal properties of these grammars and introduce a related class of automata.
Steels, Luc, Vermeir, Dirk
core
Advanced Science, EarlyView.Ratiometric dipyrene imaging resolves monomer (M) and excimer (E) channels and computes pixel‐wise E/M maps within biomolecular condensates, yielding physicochemical fingerprints shaped by coupled polarity‐related solvation and microviscosity. These spatial fingerprints enable quantitative phenotyping of cellular states, exemplified by separation of ...
Koki Matsumoto +20 more
wiley +1 more source