Results 101 to 110 of about 2,538 (309)

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

De Novo Design of Membrane‐Targeting Antimicrobial Peptides Against Gram‐Negative Bacteria Using a Generative Artificial Intelligence Framework

Advanced Science, EarlyView.
Antimicrobial resistance caused by Gram‐negative bacteria remains difficult to overcome due to the protective outer membrane. To address this challenge, a multi‐condition constrained generative AI framework, GenMTAMP is proposed for de novo membrane‐targeting antimicrobial peptide design by integrating physicochemical and spatial structure descriptors.
Jingxiao Yu, Da‐Wen Sun, QingYi Wei, Yibing Zhang, Jidong Tang, Hongbin Pu   +5 more
wiley   +1 more source

Simulations for Event-Clock Automata [PDF]

Logical Methods in Computer Science
Event-clock automata (ECA) are a well-known semantic subclass of timed automata (TA) which enjoy admirable theoretical properties, e.g., determinizability, and are practically useful to capture timed specifications.
S Akshay, Paul Gastin, R Govind, B Srivathsan   +3 more
doaj   +1 more source

AI‐Physics‐Experiment Trinity for Integrated Protein Dynamics Modeling

Advanced Science, EarlyView.
This review unites experiments, physics‐based simulations, and AI as a synergistic triad for protein dynamics modeling. It highlights integrative strategies, resolves sampling and forcefield bottlenecks, and outlines challenges and future directions for accurate, interpretable conformational ensemble prediction.
Chen Shi, Minying Low, Peng Xiu, Kresten Lindorff‐Larsen, Yong Wang   +4 more
wiley   +1 more source

Safety and Liveness of Quantitative Properties and Automata [PDF]

Logical Methods in Computer Science
Safety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç   +3 more
doaj   +1 more source

A Direct Translation from XPath to Nondeterministic Automata

, 2011
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into automata, and produce efficient translations of XPath queries into automata on ...
Leonid Libkin, Libkin, Leonid, Nadime Francis, Claire David, David, Claire, Francis, Nadime   +5 more
core  

Spatiotemporal Targeting Randle Cycle and Immune Checkpoint for Potent Antitumor Therapy

Advanced Science, EarlyView.
A glucose oxidase‐based nanogel (GOX‐NG) system using catechol‐functionalized alginate, exhibits enhanced tumor penetration, prolonged retention, and sustained glucose depletion in the tumor microenvironment. When combined with a fatty acid oxidation inhibitor, it implements dual metabolic suppression, thereby enhancing ROS‐induced immunogenic cell ...
Yuan Gao, Zijian Gong, Yixuan Fu, Jianan Zheng, Xiao Sang, Binglin Chen, Qinzhi Su, Weiping Gao, Fei Duan, Jinqi Wei, Xuliang Deng, Xinyu Liu   +11 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 ...
Salvatore La Torre, Parlato, Gennaro, Margherita Napoli, Napoli, Margherita, La Torre, Salvatore, Gennaro Parlato   +5 more
core  

Kenyan Farmers' Policy Priorities During Economic Crisis and Stability: Insights From a Best‐Worst Scaling Experiment

Applied Economic Perspectives and Policy, EarlyView.
ABSTRACT Amid rising food and fertilizer prices, understanding farmers' policy preferences is critical for effective crisis response. We use best‐worst scaling experiment to assess Kenyan mobile‐owning crop farmers' preferences for government support under high and normal price scenarios.
Mywish K. Maredia, John Olwande, Jacob Ricker‐Gilbert, David L. Mather, Nicole M. Mason   +4 more
wiley   +1 more source

Heterogeneity in Food Price Inflation Convergence Across the EU: Evidence From Club Dynamics and Structural Breaks

Agribusiness, EarlyView.
ABSTRACT This study examines food price inflation rate convergence among EU27 Member States from 2005 to 2024, focusing on structural breaks, external shocks, and regional disparities. Using panel unit root tests and club convergence analysis, the findings reveal no overall convergence but identify multiple convergence clubs.
Tibor Bareith, Imre Fertő
wiley   +1 more source