Results 61 to 70 of about 2,186 (279)

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages [PDF]

Logical Methods in Computer Science
A characteristic sample for a language $L$ and a learning algorithm $\textbf{L}$ is a finite sample of words $T_L$ labeled by their membership in $L$ such that for any sample $T \supseteq T_L$ consistent with $L$, on input $T$ the learning algorithm ...
Dana Angluin, Dana Fisman
doaj   +1 more source

Toward Personalized Theranostics: A Modular PET Platform for Antibody‐Based Imaging and Therapy

Advanced Science, EarlyView.
This modular, site‐specific antibody platform enables customizable conjugates for PET imaging and therapy. Interchangeable payloads – including radiometals, cytotoxics, and fluorophores – support adaptable, multimodal applications with limited off‐target effects. In vivo, the DFO/DOTAGA bischelate immunoconjugate provided clear tumor delineation in PET/
Delphine Vivier, Megane Grah Kple, Julen Ariztia, Marion Leroux, Mathieu Moreau, Michael Claron, Maxime Cheveau, Adam Laouafa, Agnieszka Kownacka, Camille Petitot, John Simonet, Alexandre M. M. Dias, Sophie Poty, Charles Truillet, Bertrand Collin, Alexandra Oudot, Franck Denat   +16 more
wiley   +1 more source

CS 466/666: Formal Languages and Automata [PDF]

, 2006
This course introduces the theory of formal languages and automata. The primary focus is on the two methods of defining languages: using generators (e.g., grammars/regular expressions) and using recognizers (e.g., finite state machines).
Thirunarayan, Krishnaprasad
core   +2 more sources

Structural Reductions and Stutter Sensitive Properties [PDF]

Logical Methods in Computer Science
Verification of properties expressed as $\omega$-regular languages such as LTL can benefit hugely from stutter insensitivity, using a diverse set of reduction strategies.
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg   +3 more
doaj   +1 more source

Carrier‐Free Berberine/Nitidine Chloride Self‐Assembled Nanoparticles Induce Ferroptosis to Overcome Bortezomib Resistance in Multiple Myeloma

Advanced Science, EarlyView.
A schematic illustrating the fabrication process and ferroptosis‐mediated therapeutic mechanism of carrier‐free self‐assembled BBR/NC‐SAPs for overcoming bortezomib resistance in multiple myeloma. ABSTRACT Therapeutic relapse driven by bortezomib resistance represents a formidable clinical barrier in the management of multiple myeloma (MM).
Yiwen Lv, Shuang Liu, Hong Wu, Guiluan Li, Ying Rong, Guangchao Li, Yangmin Zhu, Qi Zhong, Ruiming Ou, Huijuan Shen, Zhi Liu, Jing Huang, Zhenwei Wang, Pei Lin, Qing Zhang, Guopan Yu, Zhao Yin   +16 more
wiley   +1 more source

Completeness Theorems for Kleene algebra with tests and top [PDF]

Logical Methods in Computer Science
We prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of Kleene algebra ...
Damien Pous, Jana Wagemaker
doaj   +1 more source

Integrated O2 and H2 Gas Therapy via Microneedle‐Assisted Photocatalytic Water Splitting for Accelerating Diabetic Full‐Thickness Skin Wound Healing

Advanced Science, EarlyView.
A concept of integrated O2 and H2 gas therapy is achieved using a gas‐producing material. PMP nanoparticles, fabricated from platinum, MIL‐101(Fe)‐NH2, and phosphotungstic acid, are integrated into bilayer gelatin methacryloyl microneedles for transdermal delivery. These microneedles enable integrated O2 and H2 gas therapy and promote wound healing via
Zesheng Chen, Yanchao Yu, Xingyuan Xiao, Wenwen Cheng, Ye Yang, Zhengyao Zhang, Wang Wang, Zhijun Zhou, Weikang Hu, Xiaolong Wang, Bing Li, Kwang Leong Choy, Yun Chen, Zijian Wang   +13 more
wiley   +1 more source

Adaptive Network Stabilization Despite Profound Structural Reorganization in Human Organotypic Cultures

Advanced Science, EarlyView.
Adult human organotypic cortical slices undergo marked neuronal loss, laminar disruption, and glial activation, yet their network activity progressively stabilizes after a variable period. Electrophysiology, longitudinal calcium imaging, and quantitative histology show that structurally remodeled human circuits show adaptive capacity resulting in ...
Estilla Zsófia Tóth, Rebeka Stelcz, Réka Bod, Ábel Petik, Eszter Juhász, Kinga Tóth, Liza Szalai, Nour Essam, Fanni Somogyi, Beatrix Kovács, Amirmahdi Mojtahedzadeh, Attila György Bagó, Loránd Erőss, Péter Orbay, Johanna Petra Szabó, Dániel Fabó, Boglárka Hajnal, Bence Rácz, Daniel Hillier, István Ulbert, Lucia Wittner   +20 more
wiley   +1 more source

DeepLNM: A Multimodal Model for Predicting Lymph Node Metastasis in Colorectal Cancer

Advanced Science, EarlyView.
Traditional diagnosis may miss positive LNM cases, and pathologists face a workload; therefore, we develop DeepLNM, a multimodal model that predicts lymph node metastasis in colorectal cancer from H&E WSIs, CT images, and text. DeepLNM is robust across internal, external, and prospective cohorts and, in a user study, improves diagnostic accuracy while ...
Zhengyu Zhang, Chengyu Lu, Zhen Wang, Zhijian Cen, Yangshu Zhou, Danyi Li, Qi Xie, Bingbing Li, Shujing Guo, Zhijun Gan, Er‐ran Zhu, Jinbang Li, Aihetaimu Aimaier, Rui Mao, Weihao Qiu, Chenglong Zhao, Ying Tan, Xiaolin Liu, Huiting Ma, Tiansu Geng, Peiyue Wu, Huijun Du, Yu Wang, Yueping Liu, Li Liang   +24 more
wiley   +1 more source

On Multi-stack Visibly Pushdown Languages

, 2013
We contribute to the theory of formal languages of visibly multistack pushdown automata (MVPA). First, we show closure under the main operations and decidability of the main decision problems for the class of MVPA restricted to computations where a ...
Parlato, Gennaro, Napoli, Margherita, La Torre, Salvatore   +2 more
core   +1 more source