Results 41 to 50 of about 156,080 (316)
Regular Model Checking with Regular Relations [PDF]
, 2021 Regular model checking is an exploration technique for infinite state systems where state spaces are represented as regular languages and transition relations are expressed using rational relations over infinite (or finite) strings. We extend the regular model checking paradigm to permit the use of more powerful transition relations: the class of ...
Vrunda Dave +3 more
openaire +2 more sources
Deep Transfer Learning Method Using Self-Pixel and Global Channel Attentive Regularization
SensorsThe purpose of this paper is to propose a novel transfer learning regularization method based on knowledge distillation. Recently, transfer learning methods have been used in various fields. However, problems such as knowledge loss still occur during the
Changhee Kang, Sang-ug Kang
doaj +1 more source
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 The paper considers a singularly perturbed control problem with a quadratic quality functional. Such problems in their standard formulation under known spectrum restrictions (the points of the spectrum of the optimal system are not purely imaginary and
A.A. Bobodzhanov +2 more
doaj +1 more source
Balanced-by-Construction Regular and ω-Regular Languages
International Journal of Foundations of Computer Science, 2021 Parenn is the typical generalization of the Dyck language to multiple types of parentheses. We generalize its notion of balancedness to allow parentheses of different types to freely commute. We show that balanced regular and [Formula: see text]-regular languages can be characterized by syntactic constraints on regular and [Formula: see text]-regular ...
Luc Edixhoven, Sung-Shik Jongmans
openaire +4 more sources
Regular Operator Equations: Conditions for Regularity [PDF]
Proceedings of the American Mathematical Society, 1982 Regular operator equations are causal equations admitting unique solutions and have the property that all of their limiting equations along solutions admit unique solutions. Sufficient conditions which guarantee that an operator equation
openaire +2 more sources
Impact of Asymptomatic Intracranial Hemorrhage on Outcome After Endovascular Stroke Treatment
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Endovascular treatment (EVT) achieves high rates of recanalization in acute large‐vessel occlusion (LVO) stroke, but functional recovery remains heterogeneous. While symptomatic intracranial hemorrhage (sICH) has been well studied, the prognostic impact of asymptomatic intracranial hemorrhage (aICH) after EVT is less certain ...
Shihai Yang +22 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To explore how cerebral hypoxia and Normal‐Appearing White Matter (NAWM) integrity affect MS lesion burden and clinical course. Methods Seventy‐nine MS patients, including 13 clinically isolated syndrome (CIS) patients and 66 relapsing–remitting multiple sclerosis (RRMS) patients, and 44 healthy controls (HCs) were recruited from ...
Xinli Wang +8 more
wiley +1 more source
DOMINATION AND REGULARITY [PDF]
The Bulletin of Symbolic Logic, 2020 AbstractWe discuss the close relationship between structural theorems in (generalized) stability theory, and graph regularity theorems.
openaire +3 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Facioscapulohumeral muscular dystrophy (FSHD) is one of the most debilitating and common muscular dystrophies. Despite its severity, no approved therapy exists for FSHD patients. However, several therapeutic candidates are currently under development, and some have recently entered clinical trials, marking the need for reliable ...
Mustafa Bilal Bayazit +11 more
wiley +1 more source
Uncovering G Protein‐Coupled Receptors: Novel Targets and Biomarkers for Predicting Glioma Prognosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Low‐grade gliomas (LGG) exhibit significant heterogeneity and recurrence risk. G protein‐coupled receptors (GPCR) contribute to glioma malignant progression, but their prognostic value remains unclear. This work attempts to formulate a GPCR‐based outcome‐predicting model for LGG. Methods Based on TCGA LGG data, the enrichment scores
Jun Yang +4 more
wiley +1 more source