Results 91 to 100 of about 2,538 (309)

Functional Mapping of Neurodevelopmental Disease Pathways to Key Neurodevelopmental Processes Represented in the Developmental Neurotoxicity In Vitro Testing Battery

Advanced Science, EarlyView.
Human‐relevant methods are essential for modern chemical safety assessment. This study helps define the capabilities and boundaries of an in vitro testing battery for developmental neurotoxicity by exploring its biological applicability domain. By linking neurodevelopmental disease‐related pathways to key neurodevelopmental processes, the work enhances
Eliska Kuchovska, Kristina Bartmann, Georgea Raad, Mats Schade, Luiz Ladeira, Arif Dönmez, Jördis Klose, Nicolai Görts, Denis Polozij, Lynn‐Christin Saborowski, Farina Bendt, Bernard Staumont, Liesbet Geris, Katharina Koch, Ellen Fritsche   +14 more
wiley   +1 more source

Deterministic pushdown automata can compress some normal sequences [PDF]

Logical Methods in Computer Science
In this paper, we give a deterministic pushdown transducer and a normal sequence of digits compressed by it. This solves positively a question left open in a previous paper by V. Becher, P. A. Heiber and the first author.
Olivier Carton, Sylvain Perifel
doaj   +1 more source

Decision procedures for families of deterministic pushdown automata [PDF]

The existence and complexity of decision procedures for families of deterministic pushdown automata are investigated, with special emphasis on positive decidability results for those questions, such as equivalence, which are known to become ...
Valiant, Leslie
core  

Astrocytic Phenotypic Switching in Posterior Piriform Cortex Orchestrates Bone Cancer Pain–Depression Comorbidity via Purinergic–Noradrenergic Signaling

Advanced Science, EarlyView.
Bone cancer pain and depression share a common origin: astrocytic A2‐to‐A1 transition in the posterior piriform cortex. This phenotypic shift disrupts the ATP–adenosine–A2AR–norepinephrine axis, simultaneously driving nociceptive and affective dysfunction.
Jiang‐Ping Liu, Jun‐Han Zhang, Zhi‐Xuan Tan, Wei‐Bing Yan, Ya‐Ru Yuan, Yao Liu, Bing‐Di Wei, Meng‐Qi Ding, Zhuo‐Min Fu, Ying Liu, An‐Qi Wang, Lin Ma, Yong‐Hong Li, Er‐Qing Chai, Chao‐Jun Wei   +14 more
wiley   +1 more source

Finite-valued Streaming String Transducers [PDF]

TheoretiCS
A transducer is finite-valued if for some bound k, it maps any given input to at most k outputs. For classical, one-way transducers, it is known since the 80s that finite valuedness entails decidability of the equivalence problem.
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter   +5 more
doaj   +1 more source

J.UCS Special Issue on Formal Languages and Automata (WFLA)

, 1999
J.UCS Special Issue on Formal Languages and Automata ...
Mateescu,Alexandru, Mateescu, Alexandru
core   +1 more source

Sustainable Materials Design With Multi‐Modal Artificial Intelligence

Advanced Science, EarlyView.
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

Constructing Deterministic Parity Automata from Positive and Negative Examples [PDF]

TheoretiCS
We present a polynomial time algorithm that constructs a deterministic parity automaton (DPA) from a given set of positive and negative ultimately periodic example words. We show that this algorithm is complete for the class of $\omega$-regular languages,
León Bohn, Christof Löding
doaj   +1 more source

The hierarchy of formal languages and corresponding automata.

, 2019
The hierarchy of formal languages and corresponding automata.
Cedric Boeckx (453297), Pedro Tiago Martins (4521133)   +1 more
core   +1 more source

From Label‐Free Multiphoton Imaging to Pathological Reports: A Vision‐Language Breast Cancer Margin Pathological Diagnosis System

Advanced Science, EarlyView.
MarginPath is a novel vision‐language system that automates breast cancer margin assessment using a single label‐free multiphoton microscopy image. By integrating tumor‐associated collagen signatures with virtual H&E imaging, it generates accurate margin heatmaps and comprehensive diagnostic reports.
Shu Wang, Jingze Su, Xiahui Han, Deyong Kang, Xiao Zhang, Fei Xu, Changzu Liu, Junlin Pan, Xingfu Wang, Qiaohui Zhan, Aimin Wang, Feng Huang, Heping Cheng, Wenxi Liu, Ruolan Lin, Jianxin Chen   +15 more
wiley   +1 more source