883 results on '"Arias, Jaime"'
Search Results
2. A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
3. Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
4. Symbolic Observation Graph-Based Generation of Test Paths
5. Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models
6. Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
7. Strategic (Timed) Computation Tree Logic
8. Predicting functional decline in aging and Alzheimer’s disease with PET-based Braak staging
9. Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models
10. La universidad pública en la pospandemia: ¿vino nuevo en odres viejos?
11. Interactions of synaptic and inflammatory biomarkers in Alzheimer’s Disease
12. Independent associations of plasma GFAP with amyloid-Β and tau in Alzheimer's disease
13. Mapping the effects of functional and structural network reorganization on the tau‐cognition relationship in Alzheimer’s disease
14. Plasma p-tau 181 outperforms FDG-PET in the early diagnosis of biological AD
15. Plasma biomarkers of tau for the differentiation between slow and fast tau‐PET accumulators
16. Quantitative evaluation of oxygen extraction fraction (OEF) in Alzheimer's disease: A correlation with tau and amyloid pathology and cognitive status
17. Assessment of brain oxygen extraction in aging and Alzheimer’s disease with MRI images
18. Hippocampal subfield volumes and memory performances: associations with stimulus modality and free recall or recognition
19. Fast accumulators of tau have higher levels of plasma pTau and stronger associations with amyloid in later Braak regions at baseline
20. Plasma p‐tau 181 outperforms FDG‐PET and plasma‐NfL in the diagnosis of biological AD
21. Associations and interactions of synaptic and inflammatory biomarkers in Alzheimer's disease
22. Assessment of quantitative susceptibility mapping (QSM) and oxygen extraction fraction (OEF) in the spectrum of Alzheimer’s disease clinical presentations
23. Symbolic Analysis and Parameter Synthesis for Networks of Parametric Timed Automata with Global Variables using Maude and SMT Solving
24. Amyloid‐dependent tau phosphorylation drives faster accumulation of tau aggregates in female
25. The impact of young controls in the detection of tau load in cognitively impaired and asymptomatic elderly
26. Pet-based Braak staging predicts neuropsychiatric burden and severity in aging and Alzheimer's disease
27. EL POSCONFLICTO EN CATATUMBO Y MONTES DE MARÍA EN LA CADENA DE VALOR MINERO Y LA PAZ TERRITORIAL.
28. Structural styles of the Upper Magdalena valley, Northern Andes, Colombia: case studies
29. Contributors
30. Structural styles of the southern Putumayo Foreland Basin, northern Andes, Colombia
31. Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
32. Modular Analysis of Tree-Topology Models
33. 14-3-3 $$\upzeta /\updelta$$-reported early synaptic injury in Alzheimer’s disease is independently mediated by sTREM2
34. Sex-specific modulation of amyloid-β on tau phosphorylation underlies faster tangle accumulation in females
35. Hippocampal subfield associations with memory depend on stimulus modality and retrieval mode
36. Interactive rather than independent effect of APOE and sex potentiates tau deposition in women
37. Simple solutions for improving thermal comfort in huts in the highlands of Peru
38. 14-3-3 ζ/δ-reported early synaptic injury in Alzheimer’s disease is independently mediated by sTREM2
39. Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata
40. Amyloid beta plaque accumulation with longitudinal [18F]AZD4694 PET
41. Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
42. Verbal memory formation across PET-based Braak stages of tau accumulation in Alzheimer’s disease
43. Investigating the heating and air conditioning provision capability of a supermarket to neighboring buildings: Field measurement analysis and economic evaluation
44. Equivalence of plasma p‐tau217 with cerebrospinal fluid in the diagnosis of Alzheimer's disease
45. Symbolic Observation Graph-Based Generation of Test Paths
46. The Wound-Healing Portal Hypertensive Response
47. Predictive Manufacturing Tardiness Inference in OEM Milk-Run Operations
48. Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems
49. Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
50. Revealing the combined roles of Aβ and tau in Alzheimer’s disease via a pathophysiological activity decoder
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.