Jules Jacobs

Publications

Neuro-biology of Aging

Long-term ovarian hormone deprivation alters functional connectivity, brain neurochemical profile and white matter integrity in the Tg2576 amyloid mouse model of Alzheimer's disease

Firat Kara, Michael E. Belloy, Rick Voncken, Zahra Sarwari, Yadav Garima, Cynthia Anckaerts, An Langbeen, Valerie Leysen, Disha Shah, Jules Jacobs, Julie Hamaide, Peter Bols, Johan Van Audekerke, Jasmijn Daans, Caroline Guglielmetti, Kejal Kantarci, Vincent Prevot, Steffen Roßner, Peter Ponsaerts, Annemie Van der Linden, Marleen Verhoye

bibtex

@article{KARA2021,
  title = {Long-term ovarian hormone deprivation alters functional connectivity, brain neurochemical profile and white matter integrity in the Tg2576 amyloid mouse model of Alzheimer's disease},
  journal = {Neurobiology of Aging},
  year = {2021},
  issn = {0197-4580},
  doi = {https://doi.org/10.1016/j.neurobiolaging.2021.02.011},
  url = {https://www.sciencedirect.com/science/article/pii/S019745802100066X},
  author = {Firat Kara and Michael E. Belloy and Rick Voncken and Zahra Sarwari and Yadav Garima and Cynthia Anckaerts and An Langbeen and Valerie Leysen and Disha Shah and Jules Jacobs and Julie Hamaide and Peter Bols and Johan {Van Audekerke} and Jasmijn Daans and Caroline Guglielmetti and Kejal Kantarci and Vincent Prevot and Steffen Roßner and Peter Ponsaerts and Annemie {Van der Linden} and Marleen Verhoye},
  keywords = {Alzheimer's disease, amyloid-beta (Aβ), functional connectivity, resting state fMRI, magnetic resonance spectroscopy, Diffusion Tensor Imaging, ovariectomy, ovarian hormones, Tg2576 mice, human APP Swedish, Astrocytes},
  abstract = {ABSTRACT
  Premenopausal bilateral ovariectomy is considered to be one of the risk factors of Alzheimer's disease (AD). However, the underlying mechanisms remain unclear. Here, we aimed to investigate long-term neurological consequences of ovariectomy in a rodent AD model, TG2576 (TG), and wild-type mice (WT) that underwent an ovariectomy or sham-operation, using in vivo MRI biomarkers. An increase in osmoregulation and energy metabolism biomarkers in the hypothalamus, a decrease in white matter integrity, and a decrease in the resting-state functional connectivity was observed in ovariectomized TG mice compared to sham-operated TG mice. In addition, we observed an increase in functional connectivity in ovariectomized WT mice compared to sham-operated WT mice. Furthermore, genotype (TG vs WT) effects on imaging markers and GFAP immunoreactivity levels were observed, but there was no effect of interaction (Genotype x Surgery) on amyloid-beta-and GFAP immunoreactivity levels. Taken together, our results indicated that both genotype and ovariectomy alters imaging biomarkers associated with AD.}
}

POPL'21

Paradoxes of Probabilistic Programming
And How to Condition on Events of Measure Zero with Infinitesimal Probabilities

Jules Jacobs

pdf acm dl bibtex code slides video

Talks

May. 2021	Resampling with infinitesimal probabilities Jules Jacobs pdf
May. 2021	Bounded clause elimination Jules Jacobs pdf
Apr. 2021	From regex to NFA and back Jules Jacobs pdf code
Apr. 2021	How to compile pattern matching Jules Jacobs pdf code
Apr. 2021	Arithmetic on Church numerals Jules Jacobs pdf code
Apr. 2021	Gentzen's Perspective on Classical versus Intuitionistic Logic: LK vs LJ Jules Jacobs pdf code
Apr. 2021	Induction on Derivations is Recursion Jules Jacobs pdf code
Mar. 2021	How to prove normalisation of STLC Jules Jacobs pdf
Dec. 2020	A simple proof of the matrix-tree theorem, upward routes, and a matrix-tree-cycle theorem Jules Jacobs pdf
Dec. 2020	Functional Evaluation Contexts An alternative way to handle evaluation contexts in proof assistants like Coq Jules Jacobs pdf code
Dec. 2020	Sorting Real Numbers, Constructively Jules Jacobs pdf
Dec. 2020	Binary Search a Little Simpler & More Generic Jules Jacobs pdf
Sep. 2020	A Magic Determinant Formula for Symmetric Polynomials of Eigenvalues Jules Jacobs pdf code

19 July 2021	Pardoxes of Probabilistic Programming (and deleted scenes) VeriProP'21 slides
12 July 2021	Mechanized Deadlock Fredom for Session Types VEST'21 slides
3 Feb 2021	Deadlock Freedom for Session Types Using Separation Logic SWS Seminar slides
22 Jan 2021	Paradoxes of Probabilistic Programming POPL'21 slides
25 Nov. 2020	Paradoxes of Probabilistic Programming PL Seminar, TU Delft slides
23 Nov. 2020	Paradoxes of Probabilistic Programming PPLV, University College London slides
28 Oct. 2020	Paradoxes of Probabilistic Programming SWS Seminar, Radboud University slides

2020	Assisting Robbert Krebbers with the supervision of a master thesis project.
2020	Assisted Robbert Krebbers with the Software Verification course at TU Delft.

2020	Reviewer for ESOP'21.
2020	Reviewer for ICFP'20.

Jules Jacobs

Publications

Drafts & Notes

Talks

Teaching

Academic Service