Results 61 to 70 of about 1,606,312 (290)

Learning Linear Temporal Properties

, 2018
We present two novel algorithms for learning formulas in Linear Temporal Logic (LTL) from examples. The first learning algorithm reduces the learning task to a series of satisfiability problems in propositional Boolean logic and produces a smallest LTL ...
Gavran, Ivan, Neider, Daniel
core   +1 more source

Learning with genetic algorithms: An overview [PDF]

Machine Learning, 1988
Genetic algorithms represent a class of adaptive search techniques that have been intensively studied in recent years. Much of the interest in genetic algorithms is due to the fact that they provide a set of efficient domain-independent search heuristics which are a significant improvement over traditional “weak methods” without the need for ...
openaire   +2 more sources

Learning in a compiler for MINSAT algorithms [PDF]

Theory and Practice of Logic Programming, 2003
This paper describes learning in a compiler for algorithms solving classes of the logic minimization problem MINSAT, where the underlying propositional formula is in conjunctive normal form (CNF) and where costs are associated with the True/False values of the variables.
Anja Remshagen, Klaus Truemper
openaire   +3 more sources

Large‐scale bidirectional arrayed genetic screens identify OXR1 and EMC4 as modifiers of αSynuclein aggregation

FEBS Open Bio, EarlyView.
Activation of the mitochondrial protein OXR1 increases pSyn129 αSynuclein aggregation by lowering ATP levels and altering mitochondrial membrane potential, particularly in response to MSA‐derived fibrils. In contrast, ablation of the ER protein EMC4 enhances autophagic flux and lysosomal clearance, broadly reducing α‐synuclein aggregates.
Sandesh Neupane, Lea Nikolić, Lorenzo Maraio, Thomas Goiran, Nathan Karpilovsky, Stefano Sellitto, Vangelis Bouris, Jiang‐An Yin, Ronald Melki, Edward A Fon, Adriano Aguzzi, Elena De Cecco   +11 more
wiley   +1 more source

Emerging insights into CC and CXC chemokines and their receptors in Mycobacterium tuberculosis infection

FEBS Open Bio, EarlyView.
The dual roles of CC and CXC chemokines in distinguishing active, latent, and subclinical tuberculosis were reviewed, along with an evaluation of their potential as diagnostic biomarkers and therapeutic targets to advance precision medicine in tuberculosis management. The graphical abstract was generated with AI assistance (Gemini 3.0).
Xuying Yin, Dangsheng Xiao, Jiezuan Yang
wiley   +1 more source

Super‐Refractory Status Epilepticus (SRSE) in a Patient With Compound Heterozygous OPA1 Variants: Case Report and Literature Review

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Super‐Refractory Status Epilepticus (SRSE) is a rare, life‐threatening neurological emergency with unclear etiology in many cases. Mitochondrial dysfunction, often due to disease‐causing genetic variants, is increasingly recognized as a cause, with each gene producing distinct pathophysiological mechanisms.
Pouria Mohammadi, Lara Basovic, Christopher Michael McGraw   +2 more
wiley   +1 more source

Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare, autoimmune disorder characterized by fluctuating muscle weakness and potential life‐threatening crises. While continuous specialized care is essential, access barriers often delay timely interventions. To address this, we developed MyaLink, a telemedical platform for MG patients.
Maike Stein, Maximilian Mönch, Meret Herdick, Frauke Stascheit, Sarah Hoffmann, Hannah Preßler, Philipp Mergenthaler, Carla Dusemund, Paolo Doksani, Haoqi Sun, Pushpa Narayanaswami, Andreas Meisel, Lea Gerischer, Sophie Lehnerer   +13 more
wiley   +1 more source

Development of a Prediction Model for Progression Risk in High‐Grade Gliomas Based on Habitat Radiomics and Pathomics

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To investigate the value of constructing models based on habitat radiomics and pathomics for predicting the risk of progression in high‐grade gliomas. Methods This study conducted a retrospective analysis of preoperative magnetic resonance (MR) images and pathological sections from 72 patients diagnosed with high‐grade gliomas (52 ...
Yuchen Zhu, Yuxi Gong, Weilin Xu, Xingjian Sun, Gefei Jiang, Lei Qiu, Kexin Shi, Mengxing Wu, Yinjiao Fei, Jinling Yuan, Jinyan Luo, Yurong Li, Yuandong Cao, Minhong Pan, Shu Zhou   +14 more
wiley   +1 more source

Evolutionary Algorithms for Reinforcement Learning

Journal of Artificial Intelligence Research, 1999
There are two distinct approaches to solving reinforcement learning problems, namely, searching in value function space and searching in policy space. Temporal difference methods and evolutionary algorithms are well-known examples of these approaches.
John J. Grefenstette, David E. Moriarty, Alan C. Schultz   +2 more
openaire   +4 more sources

An overview of brain-like computing: Architecture, applications, and future trends

Frontiers in Neurorobotics, 2022
With the development of technology, Moore's law will come to an end, and scientists are trying to find a new way out in brain-like computing. But we still know very little about how the brain works. At the present stage of research, brain-like models are
Wei Ou, Wei Ou, Shitao Xiao, Chengyu Zhu, Wenbao Han, Qionglu Zhang   +5 more
doaj   +1 more source