Results 71 to 80 of about 4,399 (316)

Deciding the value 1 problem for probabilistic leaktight automata [PDF]

Logical Methods in Computer Science, 2015
The value 1 problem is a decision problem for probabilistic automata over finite words: given a probabilistic automaton, are there words accepted with probability arbitrarily close to 1?
Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj   +3 more
doaj   +1 more source

Foundation Model‐Enabled Multimodal Deep Learning for Prognostic Prediction in Colorectal Cancer with Incomplete Modalities: A Multi‐Institutional Retrospective Study

Advanced Science, EarlyView.
FLARE, a multimodal AI framework, combines pathology slides, radiology scans, and clinical reports to predict colorectal cancer outcomes, even when some tests are missing. Evaluated retrospectively in 1679 patients from four medical centers, it consistently achieved the best prognostic accuracy and clearly separated high‐ and low‐risk groups.
Linhao Qu, Chengsheng Zhang, Yingyong Hou, Feng Tang, Weiqi Sheng, Dan Huang, Zhijian Song   +6 more
wiley   +1 more source

Quantitative Languages Defined by Functional Automata [PDF]

Logical Methods in Computer Science, 2015
A weighted automaton is functional if any two accepting runs on the same finite word have the same value. In this paper, we investigate functional weighted automata for four different measures: the sum, the mean, the discounted sum of weights along edges
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin   +2 more
doaj   +1 more source

Endocytic Control of Cell‐Autonomous and Non‐Cell‐Autonomous Functions of p53

Advanced Science, EarlyView.
NUMB Ex3‐containing isoforms localize to the plasma membrane, where they recruit p53 through SNX9 and direct it to multivesicular bodies and exosomes. Exported p53 is taken up by neighboring cells and activates nuclear programs, revealing an intercellular, exosome‐based pathway that might help establish a tumor‐suppressive microenvironment.
Roberta Cacciatore, Andrea Basile, Stefano Freddi, Irene Schiano Lomoriello, Carlo Ribelle Zucca, Giuseppe Ciossani, Luigi Scietti, Alessandro Cuomo, Simona Ronzoni, Simone Pelicci, Mario Faretta, Elena Zaccheroni, Giuliana Pelicci, Vittoria Matafora, Angela Bachi, Rosalind Helen Gunby, Salvatore Pece, Sara Sigismund, Letizia Lanzetti, Ivan Nicola Colaluca, Pier Paolo Di Fiore   +20 more
wiley   +1 more source

Convergent and Divergent Connectivity Patterns of the Arcuate Fasciculus in Macaques and Humans

Advanced Science, EarlyView.
This study employs viral‐based single‐neuron tracing and dMRI‐based whole‐brain tractography to investigate arcuate fasciculus (AF) trajectories in macaque monkeys, and compares with the human AF connectome using spectral embedding. Results demonstrate conserved AF topography spanning temporoparietal‐auditory‐frontal pathways across primates, with ...
Jiahao Huang, Ruifeng Li, Wenwen Yu, Anan Li, Xiangning Li, Mingchao Yan, Lei Xie, Qingrun Zeng, Xueyan Jia, Shuxin Wang, Ronghui Ju, Feng Chen, Qingming Luo, Hui Gong, Andrew Zalesky, Xiaoquan Yang, Yuanjing Feng, Zheng Wang   +17 more
wiley   +1 more source

Systematic Benchmarking of a Noise‐Tolerant Conductive Hydrogel Electrode for Epidermal Bioelectronics

Advanced Science, EarlyView.
General schematic of the approach. Abstract Conventional Silver/Silver Chloride (Ag/AgCl) electrodes remain the clinical standard for electrophysiological monitoring but are hindered by poor skin conformity, mechanical rigidity, and signal degradation, particularly under motion or sweat.
Nazmi Alsaafeen, Ioannis Ziogas, Shirina Alsaedi, Mouza Alshehhi, Shahd Almheiri, Adil Rehman, Khulood Al Shehhi, Hani Saleh, Ahsan Khandoker, Charalampos Pitsalidis, Antoun Khawaja, Anna‐Maria Pappa   +11 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

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

All about unambiguous polynomial closure [PDF]

TheoretiCS
We study a standard operator on classes of languages: unambiguous polynomial closure. We prove that for every class C of regular languages satisfying mild properties, the membership problem for its unambiguous polynomial closure UPol(C) reduces to the ...
Thomas Place, Marc Zeitoun
doaj   +1 more source

Data‐Driven Feedback Identifies Focused Ultrasound Exposure Regimens for Improved Nanotheranostic Targeting of the Brain

Advanced Science, EarlyView.
ABSTRACT The blood‐brain barrier (BBB) renders the delivery of nanomedicine in the brain ineffective and the detection of circulating disease‐related DNA from the brain unreliable. Here, we demonstrate that microbubble‐enhanced focused ultrasound (MB‐FUS) mediated BBB opening, supported by large‐data models predict sonication regimens for safe and ...
Hohyun Lee, Victor Menezes, Shiqin Zeng, Chulyong Kim, Cynthia M. Baseman, Jae Hyun Kim, Samhita Padmanabhan, Pranav Premdas, Naima Djeddar, Anton Bryksin, Nikhil Pandey, Pavlos Anastasiadis, Anthony J. Kim, Tobey J. MacDonald, Chetan Bettegowda, Graeme F. Woodworth, Felix J. Herrmann, Costas Arvanitis   +17 more
wiley   +1 more source