Results 71 to 80 of about 2,186 (279)
Proceedings of the 16th International Conference on Automata and Formal Languages
, 2023 The 16th International Conference on Automata and Formal Languages (AFL 2023) was held in Eger, September 5-7, 2023. It was organized by the Eszterh\'azy K\'aroly Catholic University of Eger, Hungary, and the University of Szeged, Hungary.
Kovásznai, Gergely +2 more
core +1 more source
PrOMet: Accurate and Robust Metal‐Binding Site and Type Prediction
Advanced Science, EarlyView.PrOMet is a two‐stage deep learning framework for jointly predicting metal‐binding sites and ion identities from protein structures. Surface candidate sites are first pruned, followed by refinement of the most probable sites and metal types. This hierarchical strategy enables robust and accurate metal prediction for cryo‐EM and AlphaFold‐derived ...
Gangeun Park, Chaok Seok, Hahnbeom Park
wiley +1 more source
L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
CoRR, 2011 We describe L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory. L-FLAT supports the definition of \textsl{alphabets}, the definition of \textsl{orders} over alphabet symbols, the partial definition of \textsl{languages} using unit tests, and the definition of \textsl{mechanisms}, which implement language generators or language ...
Paulo Moura, Artur Miguel Dias
openaire +2 more sources
Advanced Science, EarlyView.Large language models serve as representation generators for gradient‐free scientific optimization. Two complementary approaches produce executable battery‐charging policies either directly or through LLM‐designed neural representations coupled to Bayesian optimization.
Ge Lei +3 more
wiley +1 more source
, 2011 What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store
Tzevelekos, N, Nikos Tzevelekos
core +1 more source
Advanced Science, EarlyView.The mechanisms of microRNA cargo sorting to extracellular vesicles, important mediators of cell communication, are not fully understood. This study reveals that the microRNA‐production machinery acts as a ‘hub’ for the sorting of microRNAs to extracellular vesicles, a process regulated by dynamic organelle interactions.
Yuzhou Zeng +6 more
wiley +1 more source
Advanced Science, EarlyView.Schematic illustration of the CALCas system, in which a conformational switch in the 3' terminal DNA extension of scaffold RNA (3'D‐SR) drives cascade‐activatable Cas12a cleavage while suppressing leakage. ABSTRACT Amplification‐free CRISPR detection has attracted significant attention for its capacity to circumvent the intricacies of nucleic acid ...
Xingrong Li +11 more
wiley +1 more source
Formal Languages and Computability
, 2004 CSC 360. Formal Languages and Computability I (3) Prerequisite: CSC 242 and CSC 332. An introduction to theoretical computer science. Topics include regular expression and finite state concepts; basic automata theory; formal grammars and languages ...
Adhar, Gur
core +2 more sources
An AI‐Driven Framework for Directed Self‐Assembly Toward Design‐Technology Co‐Optimization
Advanced Science, EarlyView.An artificial intelligence (AI)‐driven closed‐loop framework integrates experiment, three‐dimensional physics‐based simulation, and template design for directed self‐assembly (DSA). Guided by experimental data, AI‐assisted calibration accelerates model optimization, supports morphology prediction, and identifies template windows.
Caiwei Shang +9 more
wiley +1 more source
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