Results 151 to 160 of about 4,067 (213)
Global Rather Than Vertical‐Selective Saccadic Abnormalities in Progressive Supranuclear Palsy
ABSTRACT Objective To test whether vertical saccades are preferentially affected in Progressive Supranuclear Palsy (PSP). Methods PSP patients (n = 24) were compared to age‐matched controls (n = 94) and two degenerative groups (Alzheimer's disease, n = 20; Lewy body disease, n = 50).
Duy Duan Nguyen +6 more
wiley +1 more source
ABSTRACT Objective The prognosis of glioblastoma (GBM) remains highly unfavorable, largely due to high tumor heterogeneity and an immunosuppressive microenvironment. However, the functional role of PANoptosis in this context is poorly understood. Methods Patients were stratified via K‐means clustering. A risk score model was constructed using prognosis‐
Langfei Tian +6 more
wiley +1 more source
ABSTRACT Background Hereditary Spastic Paraplegia (HSP) comprises a group of rare genetic diseases characterized by length‐dependent axonal degeneration of the corticospinal tracts and dorsal columns, whose main clinical feature is spastic gait. Pathogenic variants in the SPG4 gene cause Spastic Paraplegia Type 4 (SPG4‐HSP), the most common form of HSP.
Gaia Fattorini +12 more
wiley +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Fundamenta Informaticae, 2012
Tabular expressions are one of the most important table-based techniques used to formally specify software requirements. The power of tabular expressions stems from their visual structure, and concise representation of mathematical functions and relations.
Imen Bourguiba, Belaid Moa
openaire +2 more sources
Tabular expressions are one of the most important table-based techniques used to formally specify software requirements. The power of tabular expressions stems from their visual structure, and concise representation of mathematical functions and relations.
Imen Bourguiba, Belaid Moa
openaire +2 more sources
ACM SIGPLAN Notices, 1973
Conventional languages are serial from statement to statement unless broken by explicit parenthesization such as BEGIN blocks or their equivalent in other languages. However, they are not serial within statements, but possess a complex priority scheme which seems to have little justification except historical notation in a few branches of mathematics ...
openaire +1 more source
Conventional languages are serial from statement to statement unless broken by explicit parenthesization such as BEGIN blocks or their equivalent in other languages. However, they are not serial within statements, but possess a complex priority scheme which seems to have little justification except historical notation in a few branches of mathematics ...
openaire +1 more source
Expressive Power of “Now” and “Then” Operators
Journal of Logic, Language and Information, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Monotonicity and the Expressibility of NP Operators
Mathematical Logic Quarterly, 1994AbstractWe investigate why similar extensions of first‐order logic using operators (that is, generalized quantifiers) corresponding to NP‐complete decision problems apparently differ in expressibility: the logics capture either NP or LNP. It had been conjectured that the complexity class captured is NP if and only if the operator is monotone.
openaire +2 more sources
On the Expressiveness of MTL with Past Operators
2006We compare the expressiveness of variants of Metric Temporal Logic (MTL) obtained by adding the past operators ‘S’ and ‘SI’. We consider these variants under the “pointwise” and “continuous” interpretations over both finite and infinite models. Among other results, we show that for each of these variants the continuous version is strictly more ...
Prabhakar, Pavithra, D’Souza, Deepak
openaire +1 more source
2015
In this chapter you will deal with content-practice, teaching, and learning issues relevant to constructing and manipulating expressions from Grade 5 to Grade 8 and Algebra 1 of the CCSSM. Table 7.1 lists the specific domains and relevant content standards that are covered in this chapter.
openaire +1 more source
In this chapter you will deal with content-practice, teaching, and learning issues relevant to constructing and manipulating expressions from Grade 5 to Grade 8 and Algebra 1 of the CCSSM. Table 7.1 lists the specific domains and relevant content standards that are covered in this chapter.
openaire +1 more source

