Skip To Main Content
Van Der Weide on Muck Rack

Van Der Weide

As seen in: arXiv, Frontiers, TechTrends
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to Van Der Weide’s profile

Articles by Van Der Weide

Brief communication: First NISAR Interferometric snow water equivalent change retrieval evaluated against airborne lidar

|
By Van Der Weide
| copernicus.org
Status: closed Comment types: AC – author | RC – referee | CC – community | EC – editor | CEC – chief editor | : Report abuse Please provide a reason why you see this comment as being abusive. You might include your name and email but you can also stay anonymous. Please provide a reason why you see this comment as being abusive. Please confirm reCaptcha. Comment* Name: Email: Metrics will be available soon.
Open in Who Shared View Duplicates (85) Issue with article?

Imaging-based versus threshold assessment-based deep brain stimulation programming in Parkinson’s disease: study protocol for a randomized controlled trial {1a}

|
By Van Der Weide, De Bie
| TechTrends
Background Deep brain stimulation (DBS) of the subthalamic nucleus (STN) effectively treats motor fluctuations in Parkinson’s disease. The clinical outcome depends on optimal programming, which involves selecting active contacts and adjusting stimulation parameters to maximize clinical benefit while minimizing adverse effects.
Open in Who Shared Issue with article?

[2601.04814] The Rezk Completion for Elementary Topoi

|
By Van Der Weide
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (452) Issue with article?

[2509.10187] Initial Algebras of Domains via Quotient Inductive-Inductive Types

|
By Van Der Weide, van Collem
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (404) Issue with article?

[2505.13495] Master Thesis Impredicative Encodings of Inductive and Coinductive Types

|
By Van Der Weide
| arXiv
Work on one of the world's most important websites and make an impact on open science.
Open in Who Shared View Duplicates (670) Issue with article?

[2503.10868] A Type Theory for Comprehension Categories with Applications to Subtyping

|
By Van Der Weide, Paige S Randall, Benedikt Ahrens
| arXiv
arXiv:2503.10868 (cs) View PDF Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT) Cite as: arXiv:2503.10868 [cs.PL] (or arXiv:2503.10868v1 [cs.PL] for this version) https://doi.org/10.48550/arXiv.2503.10868 Submission history From: Benedikt Ahrens [ view email] [v1] Thu, 13 Mar 2025 20:34:37 UTC (60 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Connected Papers Toggle Connected Papers (What is Connected...
Open in Who Shared View Duplicates (128) Issue with article?

Weed control with laser beams: An eco-friendly alternative to herbicides and mechanical weed control

|
By Van Der Weide, Del Cerro
| American Institute of Physics
1. Andreasen , C. , Scholle , K. , Saberi , M. ( 2022 ) Laser Weeding With Small Autonomous Vehicles: Friends or Foes? Front . Agron. , 4 : 841086 2. Andreasen , C. , Bitarafan , Z. , Fenselau , J. , and Glasner , C. ( 2018 ). Exploiting waste heat from combine harvesters to damage harvested weed seeds and reduce weed infestation . Agricult. 8 , 42 . 3. Basu , S. , Omotubora , A. , Beeson , M. , Charles Fox , C. ( 2020 ). Legal framework for small autonomous agricultural robots . AI Society 35 : 113 – 134 . 4.
Open in Who Shared Issue with article?

[2401.11752] Univalent Enriched Categories and the Enriched Rezk Completion

|
By Van Der Weide
| arXiv
arXiv:2401.11752 (cs) [Submitted on 22 Jan 2024 (v1), last revised 26 Jun 2025 (this version, v4)] View PDF Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT) Cite as: arXiv:2401.11752 [cs.LO] (or arXiv:2401.11752v4 [cs.LO] for this version) https://doi.org/10.48550/arXiv.2401.11752 Submission history From: Niels Van Der Weide [ view email] [v1] Mon, 22 Jan 2024 08:27:08 UTC (238 KB) [v2] Tue, 23 Apr 2024 13:32:38 UTC (239 KB) [v3] Tue, 25 Mar 2025 15:04:37 UTC (256 KB)...
Open in Who Shared View Duplicates (140) Issue with article?

[2310.09220] Univalent Double Categories

|
By Van Der Weide, Paige S Randall, Benedikt Ahrens, Nima Rasekh
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (663) Issue with article?

Fouling community composition on a pilot floating solar-energy installation in the coastal Dutch North Sea

|
By de Groot, Van Der Weide
| Frontiers
Ninon Mavraki1 Oscar G. Bos1 Brigitte M. Vlaswinkel2 Pauline Roos2 Wim de Groot1 Babeth van der Weide1 Oliver Bittner1 Joop W. Coolen1, 3* 1Wageningen Marine Research, Wageningen University and Research, Netherlands 2Oceans of Energy, Netherlands 3Wageningen University and Research, Netherlands The final, formatted version of the article will be published soon.
Open in Who Shared Issue with article?

Frontiers | Clinical Stance on Response Initiation in Autistic Adults: Co-creating an integrative approach -based on theory and lived experiences -to come from language, via motor action to wellbeing

|
By de Graaff, Van Der Weide, GGZ Rivierduinen, van Dalen
| Frontiers
Kirstin Greaves-Lord1, 2* Manna Alma3 Benjamin de Graaff3, 4 Jeanet Landsman3 Klaske van der Weide4 Gabrine Jagersma5 Marieke Wubs6 Theo Beskers7 Henri Mandemaker8 Emma van Dalen9 Joost van der Linde4 Anne-Fleur Stapert4 Jeroen Bekius2, 4 Sigrid Piening4 Annemiek Landlust4, 10 Inge Van Balkom4, 11 11Autism Team Northern-Netherlands, Jonx, Department of (Youth) Mental Health and Autism, Lentis Psychiatric Institute, Groningen, the Netherlands, Netherlands 22 Department of Psychology, Clinical...
Open in Who Shared Issue with article?

[2212.08515] The Formal Theory of Monads, Univalently

|
By Van Der Weide
| arXiv
[Submitted on 16 Dec 2022 ( v1 ), last revised 28 Apr 2023 (this version, v2)] Title:The Formal Theory of Monads, Univalently Download a PDF of the paper titled The Formal Theory of Monads, Univalently, by Niels van der Weide Download PDF Abstract: We develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction.
Open in Who Shared Issue with article?

Medulloblastoma in adults: evaluation of the Dutch society for neuro-oncology treatment protocol

|
By de Heer, de Vos, Van Der Weide, van der Rijt
| paperity.org
Journal of Neuro-Oncology, Mar 2023 This is a preview of a remote PDF: https://link.springer.com/content/pdf/10.1007/s11060-023-04285-8.pdf Bleeker, L., Kouwenhoven, M. C. M., de Heer, I., Lissenberg-Witte, B. I., Gijsbers, A. H., Dubbink, H. J., Kros, J. M., Gijtenbeek, J. M. M., Kurt, E., van der Rijt, C. C. D., Swaak-Kragten, A. T., de Vos, F. Y., van der Weide, H. L., French, P. J., van den Bent, M. J., Wesseling, P., Bromberg, J. E. C.. , Journal of Neuro-Oncology, 2023, pp.
Open in Who Shared Issue with article?

Poverty in India Has Declined over the Last Decade But Not As Much As Previously Thought

|
By Sinha Roy, Van Der Weide
| blogs.worldbank.org
Publication: Poverty in India Has Declined over the Last Decade But Not As Much As Previously Thought The last expenditure survey released by India’s National Sample Survey organization dates back to 2011, which is when India last released official estimates of poverty and inequality. This paper sheds light on how poverty and inequality have evolved since 2011 using a new household panel survey, the Consumer Pyramids Household Survey conducted by a private data company.
Open in Who Shared Issue with article?

[2302.11892] Certifying Higher-Order Polynomial Interpretations

|
By Van Der Weide, Deivid Vale, Cynthia Kop
| arXiv
[Submitted on 23 Feb 2023 ( v1 ), last revised 5 Aug 2023 (this version, v2)] Title:Certifying Higher-Order Polynomial Interpretations Download a PDF of the paper titled Certifying Higher-Order Polynomial Interpretations, by Niels van der Weide and 2 other authors Download PDF Abstract: Higher-order rewriting is a framework in which one can write higher-order programs and study their properties.
Open in Who Shared Issue with article?
Show More