Results 51 to 60 of about 220,610 (290)
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective People with epilepsy (PWE) may experience cognitive deficits but fail to undergo formal evaluation. This study compares cognitive status between PWE and healthy controls in the West African Republic of Guinea. Methods A cross‐sectional, case–control study was conducted in sequential recruitment phases (July 2024–July 2025) at Ignace ...
Maya L. Mastick +14 more
wiley +1 more source
Executable biochemical space for specification and analysis of biochemical systems
PLoS ONE, 2020 Computational systems biology provides multiple formalisms for modelling of biochemical processes among which the rule-based approach is one of the most suitable.
Matej Troják +4 more
doaj +2 more sources
On Conditional Axioms and Associated Inference Rules
AxiomsIn the present paper, we address the following general question in the framework of classical first-order logic. Assume that a certain mathematical principle can be formalized in a first-order language by a set E of conditional formulas of the form α(v ...
Joaquín Borrego-Díaz +2 more
doaj +1 more source
Mathematics, 2019 In this work, let X be Banach space with a uniformly convex and q-uniformly smooth structure, where 1 < q ≤ 2 . We introduce and consider a generalized Mann-like viscosity implicit rule for treating a general optimization system of ...
Lu-Chuan Ceng, Meijuan Shang
doaj +1 more source
Contrarian Majority Rule Model with External Oscillating Propaganda and Individual Inertias
Entropy, 2023 We study the Galam majority rule dynamics with contrarian behavior and an oscillating external propaganda in a population of agents that can adopt one of two possible opinions. In an iteration step, a random agent interacts with three other random agents
Maria Cecilia Gimenez +3 more
doaj +1 more source
On Asynchrony and Choreographies [PDF]
, 2017 Choreographic Programming is a paradigm for the development of concurrent software, where deadlocks are prevented syntactically. However, choreography languages are typically synchronous, whereas many real-world systems have asynchronous communications ...
Cruz-Filipe, Luís, Montesi, Fabrizio
core +3 more sources
An Out‐of‐Place Etiology: Recognizing FMR1 Premutation in the Memory Clinic
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT The FMR1 gene premutation (55–200 CGG repeats) is usually associated with a wide range of symptoms and phenotypes within the Fragile X‐tremor/ataxia syndrome (FXTAS), but may also manifest as predominant or isolated cognitive decline. We describe three male patients referred for progressive cognitive impairment and behavioral changes. Standard
Guido Greco +7 more
wiley +1 more source
Interpolation Formulas for Asymptotically Safe Cosmology
Universe, 2023 Simple interpolation formulas are proposed for the description of the renormalization group (RG) scale dependences of the gravitational couplings in the framework of the 2-parameters Einstein-Hilbert (EH) theory of gravity and applied to a simple ...
Sandor Nagy, Kornel Sailer
doaj +1 more source
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 +2 more
wiley +1 more source