Results 81 to 90 of about 148,669 (285)
Advanced Science, EarlyView.We introduce AutomataGPT, a generative pretrained transformer (GPT) trained on synthetic spatiotemporal data from 2D cellular automata to learn symbolic rules. Demonstrating strong performance on both forward and inverse tasks, AutomataGPT establishes a scalable, domain‐agnostic framework for interpretable modeling, paving the way for future ...
Jaime A. Berkovich +2 more
wiley +1 more source
Analysis of the multiplicity matching parameter in suffix trees [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 In a suffix tree, the multiplicity matching parameter (MMP) $M_n$ is the number of leaves in the subtree rooted at the branching point of the $(n+1)$st insertion.
Mark Daniel Ward, Wojciech Szpankowski
doaj +1 more source
Machine Learning for Green Solvents: Assessment, Selection and Substitution
Advanced Science, EarlyView.Environmental regulations have intensified demand for green solvents, but discovery is limited by Solvent Selection Guides (SSGs) that quantify solvent sustainability. Training a machine learning model on GlaxoSmithKline SSG, a database of sustainability metrics for 10,189 solvents, GreenSolventDB is developed. Integrated with Hansen solubility metrics,
Rohan Datta +4 more
wiley +1 more source
Evolution of group-theoretic cryptology attacks using hyper-heuristics
Journal of Mathematical Cryptology, 2021 In previous work, we developed a single evolutionary algorithm (EA) to solve random instances of the Anshel–Anshel–Goldfeld (AAG) key exchange protocol over polycyclic groups. The EA consisted of six simple heuristics which manipulated strings.
Craven Matthew J., Woodward John R.
doaj +1 more source
A Fuzzy Approach to Erroneous Inputs in Context-Free Language Recognition [PDF]
, 1995 Using fuzzy context-free grammars one can easily describe a finite number of ways to derive incorrect strings together with their degree of correctness. However, in general there is an infinite number of ways to perform a certain task wrongly.
Asveld, P.R.J.
core +5 more sources
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
Fault diagnosis of photovoltaic strings by using machine learning‐based stacking classifier
IET Renewable Power GenerationPhotovoltaic (PV) modules are prone to short circuits, open circuits, cracks, which can bring serious harmful effects. It is difficult to establish the corresponding PV fault models to diagnose the status of PV strings.
Bo Liu +4 more
doaj +1 more source
Algorithms for approximate string matching
Information and Control, 1985 This is a revised and expanded version of the author's paper in Lect. Notes Comput. Sci. 158, 487-495 (1983; Zbl 0532.68088).
openaire +2 more sources
Advanced Science, EarlyView.Lung cancer remains the leading cause of cancer‐related death. We investigated the role of the epigenetic regulator DMAP1 in NSCLC and found that its loss induces replication stress and DNA damage. This in turn activates type I IFN signaling via the cGAS–STING pathway and transcriptional ISG de‐repression, enhancing anti‐tumor immune responses ...
Kan Huang +10 more
wiley +1 more source
String-Averaging Projected Subgradient Methods for Constrained Minimization [PDF]
, 2013 We consider constrained minimization problems and propose to replace the projection onto the entire feasible region, required in the Projected Subgradient Method (PSM), by projections onto the individual sets whose intersection forms the entire feasible ...
Censor, Y., Zaslavski, A. J.
core