Results 151 to 160 of about 2,322,283 (342)
Elementary formal system as a logic programming language [PDF]
, 1991 Akihiro Yamamoto
openalex +1 more source
Hairdressing in groups: a survey of combings and formal languages
, 1997 A group is combable if it can be represented by a language of words satisfying a fellow traveller property; an automatic group has a synchronous combing which is a regular language.
Rees, Sarah
core +1 more source
CircSMEK1 Suppresses HCC via the hnRNPK‐IGF2‐AKT Axis: A Diagnostic Biomarker and Therapeutic Target
Advanced Science, EarlyView.CircSMEK1 is downregulated in MASH/HCC and predicts poor prognosis. It suppresses tumor progression by promoting hnRNPK ubiquitination and inhibiting the IGF2/PI3K/AKT axis, while its loss activates immunosuppressive cancer‐associated fibroblasts. Serum circSMEK1 serves as a non‐invasive diagnostic biomarker, and its restoration potently inhibits HCC ...
Peilan Guo +15 more
wiley +1 more source
Interpretable PROTAC Degradation Prediction With Structure‐Informed Deep Ternary Attention Framework
Advanced Science, EarlyView.PROTAC‐STAN, a structure‐informed deep learning framework is presented for interpretable PROTAC degradation prediction. By modeling molecular hierarchies and protein structures, and simulating ternary interactions via a novel attention network, PROTAC‐STAN achieves significant performance gains over baselines.
Zhenglu Chen +11 more
wiley +1 more source
Multiscale Cell–Cell Interactive Spatial Transcriptomics Analysis
Advanced Science, EarlyView.In this study, we present the MultiScale Cell‐Cell Interactive Spatial Transcriptomics Analysis method, which unites the strengths of spatially resolved deep learning techniques with a topological representation of multi‐scale cell‐cell similarity relations.
Sean Cottrell, Guo‐Wei Wei
wiley +1 more source
Neural Response Reliability as a Marker of the Transition of Neural Codes along Auditory Pathways
Advanced Science, EarlyView.Decoding sound from neural activity in mice reveals a striking shift in how the brain encodes sound: from precise but redundant timing codes in early auditory areas to efficient, synergistic rate‐based codes in the cortex. This transformation highlights a robust neural strategy for turning complex acoustic input into coherent perception across the ...
Alexa Buck +7 more
wiley +1 more source
THE WEB SYSTEM. PART II. A FORMAL DESCRIPTION OF THE WEB INPUT LANGUAGE. Report No. 232.
, 1967 W.D. Bond +2 more
openalex +2 more sources
Advanced Science, EarlyView.Design of neurophilic biomimetic lipoprotein for intracerebral delivery of nerve growth factor (NGF) to traumatic brain injury (TBI). Nc‐rHDL@P can cross the BBB through ApoE3‐receptors interaction and target neurons via αRDP‐nAChR interaction. Nc‐rHDL@P delivers NGF to the lesion sites, rescues neurons, curbs inflammation, boosts sensorimotor and ...
Jialin Huang +21 more
wiley +1 more source
A Comparison of Formal Real-Time Specication Languages [PDF]
, 1996 Andy Evans +3 more
openalex +1 more source