Results 111 to 120 of about 842,589 (329)

Equations and Coequations for Weighted Automata [PDF]

, 2015
We study weighted automata from both an algebraic and a coalgebraic perspective. In particular, we consider equations and coequations for weighted automata. We prove a duality result that relates sets of equations (congruences) with (certain) subsets of coequations.
J.R. Salamanca Tellez (Julian), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan)   +2 more
openaire   +3 more sources

T1 Over Squared Proton Density Ratio to Characterize Multiple Sclerosis Lesions

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Differentiating remyelinated from demyelinated lesions in MS remains challenging without histological confirmation. This study introduces the T1‐to‐PD2 ratio (TPR) imaging approach and evaluates its ability to characterize MS lesions alongside other quantitative MRI (qMRI) metrics. Methods Thirty individuals with MS (mean age: 47.5 ± 
Sarah J. Wright, Scotty G. McKay, Jean Ramos Bou, Fen Bao, Vivian B. Truong, Chenyang Li, Li Jiang, Anza B. Memon, E. Mark Haacke, Yulin Ge, Yongsheng Chen   +10 more
wiley   +1 more source

MINIMAL MODIFICATION OF AUTOMATA-BASED PROGRAMS INDUCED BY CHANGES IN THEIR TEST SCENARIOS [PDF]

Научно-технический вестник информационных технологий, механики и оптики, 2013
The article proposes modification method for automata-based programs induced by changes in their test scenarios. The method can also be used for constructing automata-based programs without using any prior knowledge of a program structure and without ...
A. V. Shestakov
doaj  

Upper Cervical Cord Area as a Biomarker of Conversion to Secondary Progressive Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective This study assessed whether upper cervical cord area (UCCA) measured on routine brain MRI can serve as a biomarker of conversion to SPMS. Methods This is a single‐center retrospective cohort study of RRMS patients with cross‐sectional and longitudinal analyses of clinical and MRI data. Future SPMS converters were matched by age, sex,
Nabil K. El Ayoubi, Sola Al Ghazal, Salem Hannoun, Medhat A. Siddik, Nour M. Najjar, Jim Dagher, Joseph Abboud, Myriam G. Semaan, Samia J. Khoury   +8 more
wiley   +1 more source

On weighted time optimal control for linear hybrid automata using quantifier elimination

, 2004
This paper considers the optimal control problem for linear hybrid automata. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers.
Spathopoulos, M.P., Yan Pang, Pang, Yan, Spathopoulos, Michael P., Pang, Y., Michael P. Spathopoulos   +5 more
core   +1 more source

Triangular Index Ratio as an Alternative Method to the Alpha Angle for Defining the Presence of Cam Morphology: A Prospective Cohort Study

Arthritis Care &Research, EarlyView.
Objective Cam morphology, which is a significant risk factor for hip osteoarthritis, is commonly quantified by the alpha angle (AA). This study aims to explore the potential of the triangular index ratio (TIR) to quantify cam morphology on anteroposterior radiographs by assessing the association between TIR‐defined cam morphology and the development of
Jinchi Tang, Fleur Boel, Michiel M. A. van Buuren, Noortje S. Riedstra, Myrthe A. van den Berg, Jos Runhaar, Sita Bierma‐Zeinstra, Rintje Agricola   +7 more
wiley   +1 more source

Weighted automata: Theory and applications

, 2002
SIGLEAvailable from TIB Hannover: RR 7739(02,02) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische ...
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik, Droste, M. (Technische Univ. Dresden (Germany). Inst. of Algebra), Vogler, H. (Technische Univ. Dresden (Germany). Inst. of Theoretical Computer Science)   +2 more
core  

Pushing for Weighted Tree Automata [PDF]

, 2011
Explicit pushing for weighted tree automata over semifields is introduced. A careful selection of the pushing weights allows a normalization of bottom-up deterministic weighted tree automata. Automata in the obtained normal form can be minimized by a simple transformation into an unweighted automaton followed by unweighted minimization.
Andreas Maletti, Daniel Quernheim
openaire   +1 more source

Effects of Causal Beliefs About Gout on Public Views About Gout Management: A Randomized Experimental Study

Arthritis Care &Research, EarlyView.
Objective Despite well‐described biologic causes, the public views unhealthy lifestyle choices as the primary cause of gout. This study investigated how causal beliefs about gout influence the public's views about its management. Methods In a randomized study, 201 members of the public viewed one of two 2‐minute videos about gout.
Rachel Murdoch, Borislav Mihov, Anne Horne, Keith J. Petrie, Gregory D. Gamble, Lachlan Fleck, Nicola Dalbeth   +6 more
wiley   +1 more source

Weighted tree-walking automata [PDF]

, 2009
We define weighted tree-walking automata. We show that the class of tree series recognizable by weighted tree-walking automata over a commutative semiring K is a subclass of the class of regular tree series over K.
Muzamel Loránd, Fülöp Zoltán
core