Results 91 to 100 of about 53,899 (312)

SPG4 and Dementia: Expanding the Clinical Spectrum

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Hereditary spastic paraplegia (HSP) is a group of disorders characterized by progressive spasticity and lower limb weakness, with mutations in SPG4/SPAST being the most common cause. Detailed studies and clinical and molecular comparisons across different populations are missing.
Emanuele Panza   +19 more
wiley   +1 more source

Backward conditioning: A new program specialisation technique and its application to program comprehension

open access: yes, 2001
This paper introduces backward conditioning. Like forward conditioning (used in conditioned slicing), backward conditioning consists of specialising a program with respect to a condition inserted into the program.
Fox, C   +12 more
core   +1 more source

Slice-by-slice and global smoothness of slice regular and polyanalytic functions

open access: yesAnnali di Matematica Pura ed Applicata (1923 -), 2022
The concept of slice regular function over the real algebra $\mathbb{H}$ of quaternions is a generalization of the notion of holomorphic function of a complex variable. Let $Ω$ be an open subset of $\mathbb{H}$, which intersects $\mathbb{R}$ and is invariant under rotations of $\mathbb{H}$ around $\mathbb{R}$.
openaire   +2 more sources

Choroid Plexus Enlargement and USPIO‐Based Inflammatory Feature in Cerebral Small Vessel Disease

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective The choroid plexus (CP) is a key component of the blood–cerebrospinal fluid barrier (BCSFB), but its mechanism of action in cerebral small vessel disease (CSVD) remains unclear. This study investigated CP volume (CPV) alterations and their association with conventional imaging markers in CSVD and explored the underlying role of ...
Yongqiang Qu   +11 more
wiley   +1 more source

VADA: A transformation-based system for variable dependence analysis

open access: yes, 2002
Variable dependence is an analysis problem in which the aim is to determine the set of input variables that can affect the values stored in a chosen set of intermediate program variables.
Fox, C   +17 more
core   +1 more source

Weight prioritized slicing based on constraint logic programming for fault localization.

open access: yesPLoS ONE, 2020
Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of multilingual programs.
Shengbing Ren   +3 more
doaj   +1 more source

Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan   +14 more
wiley   +1 more source

Search-based amorphous slicing

open access: yes, 2005
Amorphous slicing is an automated source code extraction technique with applications in many areas of software engineering, including comprehension, reuse, testing and reverse engineering.
Mark Harman   +8 more
core  

A Weighted Grid for Measuring Program Robustness [PDF]

open access: yes, 2012
Robustness is a key issue for all the programs, especially safety critical ones. In the literature, Program Robustness is defined as “the degree to which a system or component can function correctly in the presence of invalid input or stressful ...
ABDALLAH, MOHAMMAD,MAHMOUD,AREF
core  

Code extraction algorithms which unify slicing and concept assignment

open access: yes, 2002
One approach to reverse engineering is to partially automate subcomponent extraction, improvement and subsequent recombination. Two previously proposed automated techniques for supporting this activity are slicing and concept assignment. However, neither
Rob Hierons   +12 more
core   +1 more source

Home - About - Disclaimer - Privacy