Search

Your search keyword '"Arias, Jaime"' showing total 1,127 results
Start Over "Arias, Jaime"

Refine your results

more »

more »

more »

more »

more »

more »

more »
1,127 results on '"Arias, Jaime"'

1. Diagnosis of Alzheimer’s disease using plasma biomarkers adjusted to clinical probability

Author

Therriault, Joseph, Janelidze, Shorena, Benedet, Andréa Lessa, Ashton, Nicholas J., Arranz Martínez, Javier, Gonzalez-Escalante, Armand, Bellaver, Bruna, Alcolea, Daniel, Vrillon, Agathe, Karim, Helmet, Mielke, Michelle M., Hyung Hong, Chang, Roh, Hyun Woong, Contador, José, Puig Pijoan, Albert, Algeciras-Schimnich, Alicia, Vemuri, Prashanthi, Graff-Radford, Jonathan, Lowe, Val J., Karikari, Thomas K., Jonaitis, Erin, Brum, Wagner, Tissot, Cécile, Servaes, Stijn, Rahmouni, Nesrine, Macedo, Arthur C., Stevenson, Jenna, Fernandez-Arias, Jaime, Wang, Yi-Ting, Woo, Marcel S., Friese, Manuel A., Jia, Wan Lu, Dumurgier, Julien, Hourregue, Claire, Cognat, Emmanuel, Ferreira, Pamela Lukasewicz, Vitali, Paolo, Johnson, Sterling, Pascoal, Tharick A., Gauthier, Serge, Lleó, Alberto, Paquet, Claire, Petersen, Ronald C., Salmon, David, Mattsson-Carlgren, Niklas, Palmqvist, Sebastian, Stomrud, Erik, Galasko, Douglas, Son, Sang Joon, Zetterberg, Henrik, Fortea, Juan, Suárez-Calvet, Marc, Jack, Jr, Clifford R., Blennow, Kaj, Hansson, Oskar, and Rosa-Neto, Pedro

Published
2024
Full Text
View/download PDF

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

Author

Arias, Jaime, Bae, Kyungmin, Olarte, Carlos, Ölveczky, Peter Csaba, and Petrucci, Laure

Subjects
Computer Science - Logic in Computer Science
Abstract

This paper presents a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs), a flexible model of timed systems where parameters are allowed in firing bounds. We prove that our semantics is bisimilar to the "standard" semantics of PITPNs. This allows us to use the rewriting logic tool Maude, combined with SMT solving, to provide sound and complete formal analyses for PITPNs. We develop and implement a new general folding approach for symbolic reachability, so that Maude-with-SMT reachability analysis terminates whenever the parametric state-class graph of the PITPN is finite. Our work opens up the possibility of using the many formal analysis capabilities of Maude -- including full LTL model checking, analysis with user-defined analysis strategies, and even statistical model checking -- for such nets. We illustrate this by explaining how almost all formal analysis and parameter synthesis methods supported by the state-of-the-art PITPN tool Romeo can be performed using Maude with SMT. In addition, we also support analysis and parameter synthesis from parametric initial markings, as well as full LTL model checking and analysis with user-defined execution strategies. Experiments show that our methods outperform Romeo in many cases., Comment: arXiv admin note: substantial text overlap with arXiv:2303.08929

Published
2024

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

Author

Sanchez-Rodriguez, Lazaro M, Bezgin, Gleb, Carbonell, Felix, Therriault, Joseph, Fernandez-Arias, Jaime, Servaes, Stijn, Rahmouni, Nesrine, Tissot, Cécile, Stevenson, Jenna, Karikari, Thomas K, Ashton, Nicholas J, Benedet, Andréa L, Zetterberg, Henrik, Blennow, Kaj, Triana-Baltzer, Gallen, Kolb, Hartmuth C, Rosa-Neto, Pedro, and Iturria-Medina, Yasser

Subjects
Biochemistry and Cell Biology, Biological Sciences, Clinical Research, Acquired Cognitive Impairment, Aging, Alzheimer's Disease including Alzheimer's Disease Related Dementias (AD/ADRD), Brain Disorders, Neurosciences, Biomedical Imaging, Alzheimer's Disease, Neurodegenerative, Dementia, Aetiology, 2.1 Biological and endogenous factors, Neurological, Alzheimer Disease, Humans, tau Proteins, Amyloid beta-Peptides, Brain, Male, Female, Aged, Magnetic Resonance Imaging, Middle Aged, Positron-Emission Tomography, Models, Neurological, Biomarkers, Aged, 80 and over, Electroencephalography, Neurons, Biological sciences, Biomedical and clinical sciences
Abstract

Neuronal dysfunction and cognitive deterioration in Alzheimer's disease (AD) are likely caused by multiple pathophysiological factors. However, mechanistic evidence in humans remains scarce, requiring improved non-invasive techniques and integrative models. We introduce personalized AD computational models built on whole-brain Wilson-Cowan oscillators and incorporating resting-state functional MRI, amyloid-β (Aβ) and tau-PET from 132 individuals in the AD spectrum to evaluate the direct impact of toxic protein deposition on neuronal activity. This subject-specific approach uncovers key patho-mechanistic interactions, including synergistic Aβ and tau effects on cognitive impairment and neuronal excitability increases with disease progression. The data-derived neuronal excitability values strongly predict clinically relevant AD plasma biomarker concentrations (p-tau217, p-tau231, p-tau181, GFAP) and grey matter atrophy obtained through voxel-based morphometry. Furthermore, reconstructed EEG proxy quantities show the hallmark AD electrophysiological alterations (theta band activity enhancement and alpha reductions) which occur with Aβ-positivity and after limbic tau involvement. Microglial activation influences on neuronal activity are less definitive, potentially due to neuroimaging limitations in mapping neuroprotective vs detrimental activation phenotypes. Mechanistic brain activity models can further clarify intricate neurodegenerative processes and accelerate preventive/treatment interventions.

Published
2024

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

Author

Sanchez-Rodriguez, Lazaro M, Khan, Ahmed F, Adewale, Quadri, Bezgin, Gleb, Therriault, Joseph, Fernandez-Arias, Jaime, Servaes, Stijn, Rahmouni, Nesrine, Tissot, Cécile, Stevenson, Jenna, Jiang, Hongxiu, Chai, Xiaoqian, Carbonell, Felix, Rosa-Neto, Pedro, and Iturria-Medina, Yasser

Subjects
Biological Psychology, Biomedical and Clinical Sciences, Neurosciences, Psychology, Alzheimer's Disease including Alzheimer's Disease Related Dementias (AD/ADRD), Dementia, Alzheimer's Disease, Biomedical Imaging, Brain Disorders, Clinical Research, Genetics, Aging, Acquired Cognitive Impairment, Neurodegenerative, Aetiology, 2.1 Biological and endogenous factors, 1.1 Normal biological development and functioning, Underpinning research, Neurological, Good Health and Well Being, Alzheimer’s disease, amyloid – beta, computational drug repurposing, inflammation, neuronal dysfunctions and alterations, tau and phospho-tau protein, transcriptomics, whole-brain modeling, Biochemistry and Cell Biology, Cognitive Sciences, Biological psychology
Abstract

The molecular mechanisms underlying neuronal dysfunction in Alzheimer's disease (AD) remain uncharacterized. Here, we identify genes, molecular pathways and cellular components associated with whole-brain dysregulation caused by amyloid-beta (Aβ) and tau deposits in the living human brain. We obtained in-vivo resting-state functional MRI (rs-fMRI), Aβ- and tau-PET for 47 cognitively unimpaired and 16 AD participants from the Translational Biomarkers in Aging and Dementia cohort. Adverse neuronal activity impacts by Aβ and tau were quantified with personalized dynamical models by fitting pathology-mediated computational signals to the participant's real rs-fMRIs. Then, we detected robust brain-wide associations between the spatial profiles of Aβ-tau impacts and gene expression in the neurotypical transcriptome (Allen Human Brain Atlas). Within the obtained distinctive signature of in-vivo neuronal dysfunction, several genes have prominent roles in microglial activation and in interactions with Aβ and tau. Moreover, cellular vulnerability estimations revealed strong association of microglial expression patterns with Aβ and tau's synergistic impact on neuronal activity (q

Published
2024

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

Author

Wang, Yi-Ting, Therriault, Joseph, Tissot, Cécile, Servaes, Stijn, Rahmouni, Nesrine, Macedo, Arthur Cassa, Fernandez-Arias, Jaime, Mathotaarachchi, Sulantha S., Stevenson, Jenna, Lussier, Firoza Z., Benedet, Andréa L., Pascoal, Tharick A., Ashton, Nicholas J., Zetterberg, Henrik, Blennow, Kaj, Gauthier, Serge, and Rosa-Neto, Pedro

Published
2024
Full Text
View/download PDF

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

Author

Ottoy, Julie, Kang, Min Su, Tan, Jazlynn Xiu Min, Boone, Lyndon, Vos de Wael, Reinder, Park, Bo-yong, Bezgin, Gleb, Lussier, Firoza Z., Pascoal, Tharick A., Rahmouni, Nesrine, Stevenson, Jenna, Fernandez Arias, Jaime, Therriault, Joseph, Hong, Seok-Jun, Stefanovic, Bojana, McLaurin, JoAnne, Soucy, Jean-Paul, Gauthier, Serge, Bernhardt, Boris C., Black, Sandra E., Rosa-Neto, Pedro, and Goubran, Maged

Published
2024
Full Text
View/download PDF

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

Author

Arias, Jaime, Olarte, Carlos, Petrucci, Laure, Maśko, Łukasz, Penczek, Wojciech, and Sidoruk, Teofil

Subjects
Computer Science - Multiagent Systems
Abstract

Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing coalitions. Optimal scheduling of agents' actions, a non-trivial problem, is thus vital. We discuss associated caveats and propose an algorithm that synthesises such an assignment, targeting minimal attack time and using the minimal number of agents for a given attack-defence tree. We also investigate an alternative approach for the same problem using Rewriting Logic, starting with a simple and elegant declarative model, whose correctness (in terms of schedule's optimality) is self-evident. We then refine this specification, inspired by the design of our specialised algorithm, to obtain an efficient system that can be used as a playground to explore various aspects of attack-defence trees. We compare the two approaches on different benchmarks., Comment: arXiv admin note: text overlap with arXiv:2101.06838

Published
2023

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

Author

Arias, Jaime, Bae, Kyungmin, Olarte, Carlos, Ölveczky, Peter Csaba, Petrucci, Laure, and Rømming, Fredrik

Subjects
Computer Science - Logic in Computer Science
Abstract

Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a concrete and a symbolic rewriting logic semantics for PITPNs. We show how this allows us to use Maude combined with SMT solving to provide sound and complete formal analyses for PITPNs. We develop a new general folding approach for symbolic reachability that terminates whenever the parametric state-class graph of the PITPN is finite. We explain how almost all formal analysis and parameter synthesis supported by the state-of-the-art PITPN tool Rom\'eo can be done in Maude with SMT. In addition, we also support analysis and parameter synthesis from parametric initial markings, as well as full LTL model checking and analysis with user-defined execution strategies. Experiments on three benchmarks show that our methods outperform Rom\'eo in many cases.

Published
2023

10. Strategic (Timed) Computation Tree Logic

Author

Arias, Jaime, Jamroga, Wojciech, Penczek, Wojciech, Petrucci, Laure, and Sidoruk, Teofil

Subjects
Computer Science - Logic in Computer Science, Computer Science - Multiagent Systems
Abstract

We define extensions of CTL and TCTL with strategic operators, called Strategic CTL (SCTL) and Strategic TCTL (STCTL), respectively. For each of the above logics we give a synchronous and asynchronous semantics, i.e., STCTL is interpreted over networks of extended Timed Automata (TA) that either make synchronous moves or synchronise via joint actions. We consider several semantics regarding information: imperfect (i) and perfect (I), and recall: imperfect (r) and perfect (R). We prove that SCTL is more expressive than ATL for all semantics, and this holds for the timed versions as well. Moreover, the model checking problem for SCTL[ir] is of the same complexity as for ATL[ir], the model checking problem for STCTL[ir] is of the same complexity as for TCTL, while for STCTL[iR] it is undecidable as for ATL[iR]. The above results suggest to use SCTL[ir] and STCTL[ir] in practical applications. Therefore, we use the tool IMITATOR to support model checking of STCTL[ir].

Published
2023

11. CosyVerif: The Path to Formalisms Cohabitation

Author

André, Étienne, Arias, Jaime, Barbot, Benoît, Hulin-Hubard, Francis, Kordon, Fabrice, Le, Van-François, Petrucci, Laure, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Kristensen, Lars Michael, editor, and van der Werf, Jan Martijn, editor

Published
2024
Full Text
View/download PDF

13. Identification of late-stage tau accumulation using plasma phospho-tau217

Author

Woo, Marcel S., Therriault, Joseph, Jonaitis, Erin M., Wilson, Rachael, Langhough, Rebecca E., Rahmouni, Nesrine, Benedet, Andrea Lessa, Ashton, Nicholas J., Tissot, Cécile, Lantero-Rodriguez, Juan, Macedo, Arthur C., Servaes, Stijn, Wang, Yi-Ting, Arias, Jaime Fernandez, Hosseini, Seyyed Ali, Betthauser, Tobey J., Lussier, Firoza Z., Hopewell, Robert, Triana-Baltzer, Gallen, Kolb, Hartmuth C., Jeromin, Andreas, Kobayashi, Eliane, Massarweh, Gassan, Friese, Manuel A., Klostranec, Jesse, Vilali, Paolo, Pascoal, Tharick A., Gauthier, Serge, Zetterberg, Henrik, Blennow, Kaj, Johnson, Sterling C., and Rosa-Neto, Pedro

Published
2024
Full Text
View/download PDF

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

Author

Macedo, Arthur C., Therriault, Joseph, Tissot, Cécile, Aumont, Étienne, Servaes, Stijn, Rahmouni, Nesrine, Fernandez-Arias, Jaime, Lussier, Firoza Z., Wang, Yi-Ting, Ng, Kok Pin, Vermeiren, Marie, Bezgin, Gleb, Socualaya, Kely Quispialaya, Stevenson, Jenna, Hosseini, Seyyed Ali, Chamoun, Mira, Ferrari-Souza, João Pedro, Ferreira, Pâmela C.L., Bellaver, Bruna, Leffa, Douglas Teixeira, Vitali, Paolo, Zimmer, Eduardo R., Ismail, Zahinoor, Pascoal, Tharick A., Gauthier, Serge, and Rosa-Neto, Pedro

Published
2024
Full Text
View/download PDF

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

Author

Woo, Marcel S., Nilsson, Johanna, Therriault, Joseph, Rahmouni, Nesrine, Brinkmalm, Ann, Benedet, Andrea L., Ashton, Nicholas J., Macedo, Arthur C., Servaes, Stijn, Wang, Yi-Ting, Tissot, Cécile, Arias, Jaime Fernandez, Hosseini, Seyyed Ali, Chamoun, Mira, Lussier, Firoza Z., Karikari, Thomas K., Stevenson, Jenna, Mayer, Christina, Ferrari-Souza, João Pedro, Kobayashi, Eliane, Massarweh, Gassan, Friese, Manuel A., Pascoal, Tharick A., Gauthier, Serge, Zetterberg, Henrik, Blennow, Kaj, and Rosa-Neto, Pedro

Published
2023
Full Text
View/download PDF

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

Author

Arias, Jaime, Maśko, Łukasz, Penczek, Wojciech, Petrucci, Laure, and Sidoruk, Teofil

Subjects
Computer Science - Multiagent Systems
Abstract

Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing coalitions. Optimal scheduling of agents' actions, a non-trivial problem, is thus vital. We discuss associated caveats and propose an algorithm that synthesises such an assignment, targeting minimal attack time and using minimal number of agents for a given attack-defence tree.

Published
2021

18. Symbolic Observation Graph-Based Generation of Test Paths

Author

Klai, Kais, Bennani, Mohamed Taha, Arias, Jaime, Desel, Jörg, Ochi, Hanen, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Prevosto, Virgile, editor, and Seceleanu, Cristina, editor

Published
2023
Full Text
View/download PDF

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

Author

Arias, Jaime, Budde, Carlos E., Penczek, Wojciech, Petrucci, Laure, and Stoelinga, Mariëlle

Subjects
Computer Science - Cryptography and Security, Computer Science - Formal Languages and Automata Theory, Computer Science - Multiagent Systems
Abstract

Attack-Defence Trees (ADTs) are well-suited to assess possible attacks to systems and the efficiency of counter-measures. In this paper, we first enrich the available constructs with reactive patterns that cover further security scenarios, and equip all constructs with attributes such as time and cost to allow quantitative analyses. Then, ADTs are modelled as (an extension of) Asynchronous Multi-Agents Systems--EAMAS. The ADT-EAMAS transformation is performed in a systematic manner that ensures correctness. The transformation allows us to quantify the impact of different agents configurations on metrics such as attack time. Using EAMAS also permits parametric verification: we derive constraints for property satisfaction. Our approach is exercised on several case studies using the Uppaal and IMITATOR tools., Comment: This work was partially funded by the NWO project SEQUOIA (grant 15474), EU project SUCCESS (102112) and the PHC van Gogh PAMPAS. The work of Arias and Petrucci has been supported by the BQR project AMoJAS

Published
2019

25. Modular Analysis of Tree-Topology Models

Author

Arias, Jaime, Knapik, Michał, Penczek, Wojciech, Petrucci, Laure, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Riesco, Adrian, editor, and Zhang, Min, editor

Published
2022
Full Text
View/download PDF

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

Author

Klai, Kais, Abid, Chiheb Ameur, Arias, Jaime, Evangelista, Sami, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Nouri, Ayoub, editor, Wu, Weimin, editor, Barkaoui, Kamel, editor, and Li, ZhiWu, editor

Published
2022
Full Text
View/download PDF

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

Author

Therriault, Joseph, Pascoal, Tharick A., Lussier, Firoza Z., Tissot, Cécile, Chamoun, Mira, Bezgin, Gleb, Servaes, Stijn, Benedet, Andrea L., Ashton, Nicholas J., Karikari, Thomas K., Lantero-Rodriguez, Juan, Kunach, Peter, Wang, Yi-Ting, Fernandez-Arias, Jaime, Massarweh, Gassan, Vitali, Paolo, Soucy, Jean-Paul, Saha-Chaudhuri, Paramita, Blennow, Kaj, Zetterberg, Henrik, Gauthier, Serge, and Rosa-Neto, Pedro

Published
2022
Full Text
View/download PDF

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

Author

André, Étienne, Arias, Jaime, Petrucci, Laure, Pol, Jaco van de, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Groote, Jan Friso, editor, and Larsen, Kim Guldstrand, editor

Published
2021
Full Text
View/download PDF

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

Author

Novaes, Antônio G. N., Lima, Orlando F., Jr., De Cursi, José Eduardo Souza, Arias, Jaime Andres Cardona, Santos, José Benedito Silva, Jr., Clausen, Uwe, Series Editor, Hompel, Michael ten, Series Editor, de Souza, Robert, Series Editor, Freitag, Michael, editor, Haasis, Hans-Dietrich, editor, Kotzab, Herbert, editor, and Pannek, Jürgen, editor

Published
2020
Full Text
View/download PDF

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

Author

Arias, Jaime, Budde, Carlos E., Penczek, Wojciech, Petrucci, Laure, Sidoruk, Teofil, Stoelinga, Mariëlle, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lin, Shang-Wei, editor, Hou, Zhe, editor, and Mahony, Brendan, editor

Published
2020
Full Text
View/download PDF

34. Contributors

Author

Aizprua, Carlos, primary, Almeida, Rafael, additional, Arias, Jaime, additional, Arias artínez, Juan Pablo, additional, Arriagada, Cesar, additional, Baby, Patrice, additional, Ballard, Jean Françoise, additional, Barba, Diego, additional, Barragán, Roberto, additional, Barrionuevo, Matías, additional, Bascuñan, Sebastian, additional, Becerra, Carlos, additional, Bechis, Florencia, additional, Bello-Palacios, Daniel, additional, Beltrán, Wilman, additional, Bonora, Massimo, additional, Brisson, Ignacio, additional, Brusset, Stéphane, additional, Bulnes, Mayte, additional, Calderon, Ysabel, additional, Calvès, Gérôme, additional, Cameron, Greg, additional, Canelo, Horacio N., additional, Carballo, José, additional, Carrero, Milton, additional, Carrillo, Emilio, additional, Carter, Brad, additional, Carvajal-Torres, Juan, additional, Ceballos, Claudia, additional, Chalampuente, Andrés, additional, Chung Ching, Juan Francisco, additional, Ciancio, Lucía, additional, Corona, Guiillermo, additional, Corsico, Sebastian, additional, Cortassa, Valentina, additional, Cortés, Martín, additional, Cortés, Yimmy, additional, Dávila, Federico M., additional, de Mena, Olivier, additional, Disalvo, Alfredo, additional, Doiny Cabré, Juan Pedro, additional, Espitia, Wilmer, additional, Estevez, Yudy, additional, Ferrer, Oriol, additional, Flinch, Joan, additional, Folguera, Andres, additional, Fuentes, Facundo, additional, Fuentes, Guillermo, additional, Galindo A., Pedro A., additional, García, Diego, additional, Gelvez, Jaime, additional, Giambiagi, Laura, additional, Giampaoli, Pablo, additional, Gil, Willy, additional, Gimenez, Mario E., additional, Goitia, Victor Hugo, additional, Granado, Pablo, additional, Gratacós, Oscar, additional, Higuera Díaz, Iván Camilo, additional, Horton, Brian K., additional, Hurtado, Christian, additional, Iñigo, Juan F.P., additional, Iribarne, Martin, additional, Kammer, Andreas, additional, Kley, Jonas, additional, Lasso, Álvaro, additional, Limachi, Rodrigo, additional, López, Ramiro G., additional, López Ordines, María Agustina, additional, Martín, Germán, additional, Martínez, Fernando, additional, Martinez, Jaime, additional, Masini, Massimiliano, additional, Maya, Lina, additional, Mendoza Ticona, David E., additional, Mescua, José, additional, Montaño, Gary Beccar, additional, Mora, Andrés, additional, Munoz, Belen, additional, Muñoz, Josep Anton, additional, Nassif, Francisco Sánchez, additional, Olaya, José, additional, Ortiz, Johan, additional, Osorno, Jose, additional, Patiño, Mario, additional, Peña, Daniel, additional, Poblet, Josep, additional, Quintero, Isaid, additional, Quiroga, Rodrigo, additional, Restrepo, Camilo, additional, Reyes, Martin, additional, Reynaldi, Juan M., additional, Richard, Andrés, additional, Ringenbach, Jean Claude, additional, Roca, Eduard, additional, Rocha, Emilio, additional, Rodríguez, Indira, additional, Rojas Vera, Emilio A., additional, Rosero, Alexis, additional, Sanchez, Oscar, additional, Santolaria, Pablo, additional, Snidero, Marco, additional, Spina, Vincenzo, additional, Tesón, Eliseo, additional, Torossian, Assadour D., additional, Uzkeda, Hodei, additional, Valencia, Andres, additional, Vargas, Andrés Felipe, additional, Vázquez-Taset, Yaniel, additional, Verges, Jaume, additional, Vestrum, Rob, additional, Vidal-Royo, Oskar, additional, Villamizar, Carlos, additional, Viveen, Willem, additional, Walsh, Martin B., additional, Witt, Cesar, additional, Zamora, Gonzalo, additional, and Zapata, Tomás, additional

Published
2022
Full Text
View/download PDF

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

Author

Sanchez-Rodriguez, Lazaro M., Khan, Ahmed F., Adewale, Quadri, Bezgin, Gleb, Therriault, Joseph, Fernandez-Arias, Jaime, Servaes, Stijn, Rahmouni, Nesrine, Tissot, Cécile, Stevenson, Jenna, Hongxiu Jiang, Xiaoqian Chai, Carbonell, Felix, Rosa-Neto, Pedro, and Iturria-Medina, Yasser

Subjects
BRAIN physiology, ALZHEIMER'S disease, CELL physiology, IN vivo studies, MAGNETIC resonance imaging, IMMUNE system, NEUROINFLAMMATION, MANN Whitney U Test, NERVE tissue proteins, LONGITUDINAL method, DRUG repositioning, GENE expression profiling, AGING, INFLAMMATION, COGNITION, BIOMARKERS, DISEASE complications
Abstract

The molecular mechanisms underlying neuronal dysfunction in Alzheimer's disease (AD) remain uncharacterized. Here, we identify genes, molecular pathways and cellular components associated with whole-brain dysregulation caused by amyloid-beta (Aβ) and tau deposits in the living human brain. We obtained in-vivo resting-state functional MRI (rs-fMRI), Aβ- and tau-PET for 47 cognitively unimpaired and 16 AD participants from the Translational Biomarkers in Aging and Dementia cohort. Adverse neuronal activity impacts by Aβ and tau were quantified with personalized dynamical models by fitting pathology-mediated computational signals to the participant's real rs-fMRIs. Then, we detected robust brain-wide associations between the spatial profiles of Aβ-tau impacts and gene expression in the neurotypical transcriptome (Allen Human Brain Atlas). Within the obtained distinctive signature of in-vivo neuronal dysfunction, several genes have prominent roles in microglial activation and in interactions with Aβ and tau. Moreover, cellular vulnerability estimations revealed strong association of microglial expression patterns with Aβ and tau's synergistic impact on neuronal activity (q < 0.001). These results further support the central role of the immune system and neuroinflammatory pathways in AD pathogenesis. Neuronal dysregulation by AD pathologies also associated with neurotypical synaptic and developmental processes. In addition, we identified drug candidates from the vast LINCS library to halt or reduce the observed Aβ-tau effects on neuronal activity. Top-ranked pharmacological interventions target inflammatory, cancer and cardiovascular pathways, including specific medications undergoing clinical evaluation in AD. Our findings, based on the examination of molecular-pathological-functional interactions in humans, may accelerate the process of bringing effective therapies into clinical practice. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

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

Author

Macedo, Arthur C, primary, Therriault, Joseph, additional, Tissot, Cécile, additional, Fernandez Arias, Jaime, additional, Ferreira, Pamela C L, additional, Vitali, Paolo, additional, Servaes, Stijn, additional, Rahmouni, Nesrine, additional, Vermeiren, Marie, additional, Bezgin, Gleb, additional, Lussier, Firoza Z, additional, Stevenson, Jenna, additional, Wang, Yi-Ting, additional, Socualaya, Kely Quispialaya, additional, Kunach, Peter, additional, Nazneen, Tahnia, additional, Hosseini, Seyyed Ali, additional, Pallen, Vanessa, additional, Stevenson, Alyssa, additional, Ferrari-Souza, João Pedro, additional, Bellaver, Bruna, additional, Leffa, Douglas Teixeira, additional, Ng, Kok Pin, additional, Zimmer, Eduardo R, additional, Pascoal, Tharick A, additional, Gauthier, Serge, additional, and Rosa-Neto, Pedro, additional

Published
2024
Full Text
View/download PDF

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

Author

Ottoy, Julie, primary, Kang, Min Su, additional, de Wael, Reinder Vos, additional, Park, Bo‐Yong, additional, Bezgin, Gleb, additional, Lussier, Firoza Z, additional, Rahmouni, Nesrine, additional, Stevenson, Jenna, additional, Arias, Jaime Fernandez, additional, Soucy, Jean‐Paul, additional, Gauthier, Serge, additional, Bernhardt, Boris, additional, Black, Sandra E., additional, Rosa‐Neto, Pedro, additional, and Goubran, Maged, additional

Published
2023
Full Text
View/download PDF

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

Author

Rahmouni, Nesrine, primary, Tissot, Cécile, additional, Servaes, Stijn, additional, Therriault, Joseph, additional, Macedo, Arthur C., additional, Stevenson, Jenna, additional, Fernandez-Arias, Jaime, additional, Wang, Yi-Ting, additional, Gauthier, Serge, additional, Karikari, Thomas, additional, Benedet, Andrea, additional, Ashton, Nicholas, additional, Zetterberg, Henrik, additional, Pascoal, Tharick A., additional, Blennow, Kaj, additional, Zimmer, Eduardo R., additional, and Rosa-Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

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

Author

Rahmouni, Nesrine, primary, Tissot, Cécile, additional, Servaes, Stijn, additional, Therriault, Joseph, additional, Macedo, Arthur C., additional, Stevenson, Jenna, additional, Lussier, Firoza Z, additional, Machado, Luiza Santos, additional, Arias, Jaime Fernandez, additional, Wang, Yi‐Ting, additional, Stevenson, Alyssa, additional, Socualaya, Kely Quispialaya, additional, Kunach, Peter, additional, Nazneen, Tahnia, additional, Hosseini, Seyyed Ali, additional, Gauthier, Serge, additional, Karikari, Thomas K, additional, Benedet, Andrea Lessa, additional, Ashton, Nicholas J., additional, Zetterberg, Henrik, additional, Pascoal, Tharick A., additional, Blennow, Kaj, additional, Zimmer, Eduardo R, additional, and Rosa‐Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

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

Author

Hosseini, Seyyed Ali, primary, Servaes, Stijn, additional, Therriault, Joseph, additional, Tissot, Cécile, additional, Rahmouni, Nesrine, additional, Macedo, Arthur C., additional, Lussier, Firoza Z, additional, Stevenson, Jenna, additional, Wang, Yi‐Ting, additional, Arias, Jaime Fernandez, additional, Aumont, Etienne, additional, Socualaya, Kely Quispialaya, additional, Nazneen, Tahnia, additional, Stevenson, Alyssa, additional, Gauthier, Serge, additional, Pascoal, Tharick A., additional, and Rosa‐Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

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

Author

Servaes, Stijn, primary, Tissot, Cécile, additional, Therriault, Joseph, additional, Lussier, Firoza Z, additional, Ashton, Nicholas J., additional, Benedet, Andrea Lessa, additional, Karikari, Thomas K, additional, Wang, Yi‐Ting, additional, Stevenson, Jenna, additional, Rahmouni, Nesrine, additional, Stevenson, Alyssa, additional, Pallen, Vanessa, additional, Arias, Jaime Fernandez, additional, Macedo, Arthur C., additional, Nazneen, Tahnia, additional, Hosseini, Seyyed Ali, additional, Triana‐Baltzer, Gallen, additional, Kolb, Hartmuth C., additional, Pascoal, Tharick A., additional, Gauthier, Serge, additional, Zetterberg, Henrik, additional, Blennow, Kaj, additional, and Rosa‐Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

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

Author

Macedo, Arthur C., primary, Tissot, Cécile, additional, Therriault, Joseph, additional, Rahmouni, Nesrine, additional, Servaes, Stijn, additional, Arias, Jaime Fernandez, additional, Wang, Yi‐Ting, additional, Aumont, Etienne, additional, Socualaya, Kely Quispialaya, additional, Lussier, Firoza Z, additional, Stevenson, Jenna, additional, Nazneen, Tahnia, additional, Hosseini, Seyyed Ali, additional, Karikari, Thomas K, additional, Benedet, Andrea Lessa, additional, Ashton, Nicholas J., additional, Zetterberg, Henrik, additional, Blennow, Kaj, additional, Pascoal, Tharick A., additional, and Rosa‐Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

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

Author

Socualaya, Kely Quispialaya, primary, Therriault, Joseph, additional, Aliaga, Antonio, additional, Servaes, Stijn, additional, Tissot, Cécile, additional, Rahmouni, Nesrine, additional, Macedo, Arthur C., additional, Arias, Jaime Fernandez, additional, Hosseini, Seyyed Ali, additional, Vitali, Paolo, additional, Soucy, Jean‐Paul, additional, Gauthier, Serge, additional, and Rosa‐Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

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

Author

Quispialaya, Kely, primary, Therriault, Joseph, additional, Aliaga, Antonio, additional, Tissot, Cécile, additional, Servaes, Stijn, additional, Rahmouni, Nesrine, additional, Karikari, Tomas, additional, Benedet, Andrea, additional, Ashton, Nicholas, additional, Macedo, Arthur C., additional, Firoza, Lussier, additional, Stevenson, Jenna, additional, Wang, Yi-Ting, additional, Fernandez-Arias, Jaime, additional, Hosseini, Seyyed Ali, additional, Nazneen, Tahnia, additional, Jean-Claude, Bertrand, additional, Zimmer, Eduardo R., additional, Soucy, Jean-Paul, additional, Pascoal, Tharick A., additional, Gauthier, Serge, additional, Zetterberg, Henrik, additional, Blennow, Kaj, additional, and Rosa-Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

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

Author

Aumont, Etienne, primary, Bussy, Aurelie, additional, Bezgin, Gleb, additional, Therriault, Joseph, additional, Savard, Melissa, additional, Arias, Jaime Fernandez, additional, Poltronetti, Nina Margherita, additional, Pallen, Vanessa, additional, Thomas, Emilie, additional, Vitali, Paolo, additional, Chakravarty, Mallar, additional, Bedard, Marc‐Andre, additional, and Rosa‐Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

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

Author

Wang, Yi‐Ting, primary, Therriault, Joseph, additional, Servaes, Stijn, additional, Tissot, Cécile, additional, Rahmouni, Nesrine, additional, Arias, Jaime Fernandez, additional, Benedet, Andrea Lessa, additional, Mathotaarachchi, Sulantha, additional, Stevenson, Jenna, additional, Ashton, Nicholas J., additional, Karikari, Thomas K, additional, Zetterberg, Henrik, additional, Blennow, Kaj, additional, and Rosa‐Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

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

Author

Jia, Wan Lu, primary, Rahmouni, Nesrine, additional, Tissot, Cécile, additional, Servaes, Stijn, additional, Therriault, Joseph, additional, Macedo, Arthur C., additional, Fernandez-Arias, Jaime, additional, Wang, Yi-Ting, additional, Lussier, Firoza, additional, Kunach, Peter, additional, Gauthier, Serge, additional, Zimmer, Eduardo R., additional, Karikari, Thomas, additional, Benedet, Andrea, additional, Ashton, Nicholas, additional, Zetterberg, Henrik, additional, Pascoal, Tharick A., additional, Blennow, Kaj, additional, and Rosa-Neto, Pedro, additional

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results