Approximation operators based on preconcepts
Open Mathematics, 2020 Using the notion of preconcept, we generalize Pawlak’s approximation operators from a one-dimensional space to a two-dimensional space in a formal context.
Wang Gang, Mao Hua
doaj +1 more source
CSF Biomarker‐Based Cognitive Trajectories in Parkinson's Disease‐Subjective Cognitive Decline
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cognitive complaints without objective cognitive impairment in Parkinson's Disease, termed Parkinson's Disease‐Subjective Cognitive Decline (PD‐SCD), have been associated with cognitive decline. However, its progression is heterogeneous, highlighting the need for improved identification of patients at greater risk for deterioration ...
Jon Rodriguez‐Antiguedad +7 more
wiley +1 more source
History of translations of Khayyam's Rubaiyat into German and study of formal-aesthetic Equivalence of literary translations based on examples of these translations [PDF]
, 2021 Faranak Hashemi
openalex +1 more source
Phenotyping Healthcare Use 2–3 Decades Before the First Multiple Sclerosis Demyelinating Event
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Phenotype hospital, physician, and emergency department (ED) visits by diagnoses and specialty up to 29 years pre‐multiple sclerosis (MS) onset versus a matched population without MS. Methods We identified people with MS (PwMS) using population‐based administrative data from Ontario, Canada (1991–2020).
Helen Tremlett +8 more
wiley +1 more source
Thesauri in Physics and Electronics for Navigating the Digital Knowledge Space
Informaciâ i Innovacii, 2020 The article describes the principles and experience of building brach thesauri designed to represent subject areas within the formal ontology of the unified knowledge space.
N. N. Shaburova, V. N. Beloozerov
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives Cognitive disorders are common in older persons with seizures (PWS). Cognitive disorders are often associated with impaired Instrumental Activities of Daily Living (IADLs). However, the effects of seizures on IADLs remain unexplored.
Ifrah Zawar +5 more
wiley +1 more source
When Are Two Workflows the Same? [PDF]
, 2005 In the area of workflow management, one is confronted with a large number of competing languages and the relations between them (e.g. relative expressiveness) are usually not clear.
Arthur H.M. ter Hofstede +4 more
core +2 more sources
Secure Coherent-state Quantum Key Distribution Protocols with Efficient Reconciliation
, 2004 We study the equivalence between a realistic quantum key distribution protocol using coherent states and homodyne detection and a formal entanglement purification protocol.
F. Grosshans +8 more
core +1 more source
Program Equivalence in the Erlang Actor Model
ComputersThis paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky +2 more
doaj +1 more source
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space [PDF]
Logical Methods in Computer ScienceWe study the equivalence between eval-readback and eval-apply big-step evaluators in the general setting of the pure lambda calculus. We study `one-step' equivalence (same strategy) and also discuss `big-step' equivalence (same final result).
Pablo Nogueira, Álvaro García-Pérez
doaj +1 more source