Results 61 to 70 of about 916,233 (300)
The Relationship Between Inflammation and Central Nervous System in Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Aim Multiple sclerosis is an autoimmune demyelination disease that is seen especially in the young population and has a progressive course, causing motor, sensory, and cognitive deficits. In the literature, the pathogenesis of MS disease and the interconnection between the immune and central nervous system in the disease have not been fully ...
Gamze Ansen +5 more
wiley +1 more source
Perspektive, Symbol und symbolische Form. Zum Verhältnis Cassirer – Panofsky
Estetika, 2010 During the last two decades of the twentieth century, there was a sudden surge of interest in Ernst Cassirer’s major work, 'The Philosophy of Symbolic Forms' (1923–29), and Erwin Panofsky’s essay, ‘Perspective as Symbolic Form’ (1927), an interest that ...
Berthold Hub
doaj +1 more source
Relational Symbolic Execution [PDF]
, 2019 Symbolic execution is a classical program analysis technique used to show that programs satisfy or violate given specifications. In this work we generalize symbolic execution to support program analysis for relational specifications in the form of ...
Banerjee Anindya +15 more
core +1 more source
Higher Amyloid and Tau Burden Is Associated With Faster Decline on a Digital Cognitive Test
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective A 2‐min digital clock‐drawing test (DCTclock) captures more granular features of the clock‐drawing process than the pencil‐and‐paper clock‐drawing test, revealing more subtle deficits at the preclinical stage of Alzheimer's disease (AD). A previous cross‐sectional study demonstrated that worse DCTclock performance was associated with
Jessie Fanglu Fu +16 more
wiley +1 more source
Exploring the Development of Symbolic Function of Consciousness: A Technique
Культурно-историческая психология, 2016 This article describes studying method which developed the symbolic function mind. It is defined as a functional unit providing the solution of problems by understanding and expression of the reality of the subject-subject relationship using symbols. The
Polyakov A.M.,
doaj +1 more source
A reduced semantics for deciding trace equivalence using constraint systems
, 2014 Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without ...
A. Anisimov +7 more
core +1 more source
Use of Symptomatic Drug Treatment for Fatigue in Multiple Sclerosis and Patterns of Work Loss
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To describe the use of central stimulants and amantadine for fatigue in MS and evaluate a potential association with reduced work loss in people with MS. Methods We conducted a nationwide, matched, register‐based cohort study in Sweden (2006 to 2023) using national registers with prospective data collection.
Simon Englund +3 more
wiley +1 more source
Mythe et technique. Autour de Cassirer [PDF]
Meta: Research in Hermeneutics, Phenomenology and Practical Philosophy, 2010 This article aims at analyzing the symbolic form which is technology in its relation with myth so as to examine its anthropological and political consequences.
Edouard Jolly
doaj
Discovery and Targeted Proteomic Studies Reveal Striatal Markers Validated for Huntington's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Clinical trials for Huntington's disease (HD) enrolling persons before clinical motor diagnosis (CMD) lack validated biomarkers. This study aimed to conduct an unbiased discovery analysis and a targeted examination of proteomic biomarkers scrutinized by clinical validation. Methods Cerebrospinal fluid was obtained from PREDICT‐HD and
Daniel Chelsky +8 more
wiley +1 more source
A Reduced Semantics for Deciding Trace Equivalence
, 2017 Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without ...
Baelde, David +2 more
core +3 more sources