Search

Your search keyword '"Arias, Jaime"' showing total 1,116 results

Search Constraints

Start Over You searched for: "Arias, Jaime" Remove constraint "Arias, Jaime"
1,116 results on '"Arias, Jaime"'

Search Results

1. Personalized whole-brain neural mass models reveal combined Aβ and tau hyperexcitable influences in Alzheimer’s disease

2. A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets

3. In-vivo neuronal dysfunction by Aβ and tau overlaps with brain-wide inflammatory mechanisms in Alzheimer’s disease

4. Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models

5. CosyVerif: The Path to Formalisms Cohabitation

7. Hormone therapy is associated with lower Alzheimer’s disease tau biomarkers in post-menopausal females -evidence from two independent cohorts

8. Tau follows principal axes of functional and structural brain organization in Alzheimer’s disease

9. Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving

10. Strategic (Timed) Computation Tree Logic

11. Modeling the progression of neuropsychiatric symptoms in Alzheimer’s disease with PET-based Braak staging

12. 14-3-3 ζ/δ-reported early synaptic injury in Alzheimer’s disease is independently mediated by sTREM2

13. Symbolic Observation Graph-Based Generation of Test Paths

15. Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

21. Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

22. Modular Analysis of Tree-Topology Models

23. Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

24. Biomarker modeling of Alzheimer’s disease using PET-based Braak staging

25. Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

27. In-vivo neuronal dysfunction by Aβ and tau overlaps with brain-wide inflammatory mechanisms in Alzheimer's disease.

30. Contributors

32. Predicting functional decline in aging and Alzheimer’s disease with PET-based Braak staging

34. Predictive Manufacturing Tardiness Inference in OEM Milk-Run Operations

35. Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems

36. Sex-specific modulation of amyloid-β on tau phosphorylation underlies faster tangle accumulation in females.

38. Mapping the effects of functional and structural network reorganization on the tau‐cognition relationship in Alzheimer’s disease

39. Associations and interactions of synaptic and inflammatory biomarkers in Alzheimer's disease

40. Interactions of synaptic and inflammatory biomarkers in Alzheimer’s Disease

41. Assessment of brain oxygen extraction in aging and Alzheimer’s disease with MRI images

42. Fast accumulators of tau have higher levels of plasma pTau and stronger associations with amyloid in later Braak regions at baseline

43. The impact of young controls in the detection of tau load in cognitively impaired and asymptomatic elderly

44. Plasma p‐tau 181 outperforms FDG‐PET and plasma‐NfL in the diagnosis of biological AD

45. Plasma p-tau 181 outperforms FDG-PET in the early diagnosis of biological AD

46. Hippocampal subfield volumes and memory performances: associations with stimulus modality and free recall or recognition

47. Amyloid‐dependent tau phosphorylation drives faster accumulation of tau aggregates in female

48. Independent associations of plasma GFAP with amyloid-Β and tau in Alzheimer's disease

49. Plasma biomarkers of tau for the differentiation between slow and fast tau‐PET accumulators

50. Quantitative evaluation of oxygen extraction fraction (OEF) in Alzheimer's disease: A correlation with tau and amyloid pathology and cognitive status

Catalog

Books, media, physical & digital resources