Tootfinder

In-hoc Concept Representations to Regularise Deep Learning in Medical Imaging
Valentina Corbetta, Floris Six Dijkstra, Regina Beets-Tan, Hoel Kervadec, Kristoffer Wickstr{\o}m, Wilson Silva
https://arxiv.org/abs/2508.13880

In-hoc Concept Representations to Regularise Deep Learning in Medical Imaging
Deep learning models in medical imaging often achieve strong in-distribution performance but struggle to generalise under distribution shifts, frequently relying on spurious correlations instead of clinically meaningful features. We introduce LCRReg, a novel regularisation approach that leverages Latent Concept Representations (LCRs) (e.g., Concept Activation Vectors (CAVs)) to guide models toward semantically grounded representations. LCRReg requires no concept labels in the main training set …

Quantification of the cascading tipping probability from the AMOC to the Amazon rainforest
Val\'erian Jacques-Dumas, Henk A. Dijkstra
https://arxiv.org/abs/2508.13383 https:…

Quantification of the cascading tipping probability from the AMOC to the Amazon rainforest
The Amazon rainforest and the AMOC are two key components of the Earth system and may both collapse under climate change. Due to its influence on precipitation patterns, a collapsed AMOC influences the dynamics of the Amazon rainforest. We investigate this effect using a coupled conceptual AMOC-Amazon model. The Amazon model is based on empirical hydrological data controlled by the AMOC strength. The AMOC model and its influence on the Amazon are tuned using a simulated AMOC collapse in the Com…

Crosslisted article(s) found for physics.comp-ph. https://arxiv.org/list/physics.comp-ph/new
[1/1]:
- Quantification of the cascading tipping probability from the AMOC to the Amazon rainforest
Val\'erian Jacques-Dumas, Henk A. Dijkstra

On the foolishness of "natural programming languages."
#Dijkstra

from my link log —
Mix-testing: revealing a new class of compiler concurrency bugs.
https://johnwickerson.wordpress.com/2024/06/28/mix-testing-revealing-a-new-class-of-compiler-bugs/
saved 2024-06-29

Mix-testing: revealing a new class of compiler bugs
I’m delighted that Luke Geeson’s work on “mix testing” (a collaboration with James Brotherston, Wilco Dijkstra, Alastair Donaldson, Lee Smith, Tyler Sorensen, and myself) will app…

RM-Dijkstra: A surface optimal path planning algorithm based on Riemannian metric
Yu Zhang, Xiao-Song Yang
https://arxiv.org/abs/2506.22170 https://…

RM-Dijkstra: A surface optimal path planning algorithm based on Riemannian metric
The Dijkstra algorithm is a classic path planning method, which operates in a discrete graph space to determine the shortest path from a specified source point to a target node or all other nodes based on non-negative edge weights. Numerous studies have focused on the Dijkstra algorithm due to its potential application. However, its application in surface path planning for mobile robots remains largely unexplored. In this letter, a surface optimal path planning algorithm called RM-Dijkstra is p…

Crosslisted article(s) found for cs.DS. https://arxiv.org/list/cs.DS/new
[1/1]:
- Outperforming Dijkstra on Sparse Graphs: The Lightning Network Use Case
Danila Valko, Rohan Paranjpe, Jorge Marx G\'omez

Crosslisted article(s) found for cs.SI. https://arxiv.org/list/cs.SI/new
[1/1]:
- Outperforming Dijkstra on Sparse Graphs: The Lightning Network Use Case
Danila Valko, Rohan Paranjpe, Jorge Marx G\'omez

Machine learning many-body potentials for charged colloids in primitive 1:1 electrolytes
Thijs ter Rele, Gerardo Campos-Villalobos, Ren\'e van Roij, Marjolein Dijkstra
https://arxiv.org/abs/2507.12934

Machine learning many-body potentials for charged colloids in primitive 1:1 electrolytes
Effective interactions between charged particles dispersed in an electrolyte are most commonly modeled using the Derjaguin-Landau-Verwey-Overbeek (DLVO) potential, where the ions in the suspension are coarse-grained out at mean-field level. However, several experiments point to shortcomings of this theory, as the distribution of ions surrounding colloids is governed by nontrivial correlations in regimes of strong Coulomb coupling (e.g. low temperature, low dielectric constant, high ion valency,…

Many of you already heard about this new algo that's faster than Dijkstra ( #python

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths
We give a deterministic $O(m\log^{2/3}n)$-time algorithm for single-source shortest paths (SSSP) on directed graphs with real non-negative edge weights in the comparison-addition model. This is the first result to break the $O(m+n\log n)$ time bound of Dijkstra's algorithm on sparse graphs, showing that Dijkstra's algorithm is not optimal for SSSP.

Predictive Spike Timing Enables Distributed Shortest Path Computation in Spiking Neural Networks
Simen Storesund, Kristian Valset Aars, Robin Dietrich, Nicolai Waniek
https://arxiv.org/abs/2509.10077

Predictive Spike Timing Enables Distributed Shortest Path Computation in Spiking Neural Networks
Efficient planning and sequence selection are central to intelligence, yet current approaches remain largely incompatible with biological computation. Classical graph algorithms like Dijkstra's or A* require global state and biologically implausible operations such as backtracing, while reinforcement learning methods rely on slow gradient-based policy updates that appear inconsistent with rapid behavioral adaptation observed in natural systems. We propose a biologically plausible algorithm fo…

Wat een goede webzijde is deze.
*kijkt trots*
https://mstdn.social/@barbarakathmann/115142086970231606

Barbara Kathmann (@barbarakathmann@mstdn.social)
Attached: 1 image En we zijn losssssss! “We” zijn vandaag Jesse Six Dijkstra van NSC en ik! Besluitvorming staat nagenoeg stil, maar bij Digtiale Zaken gaan we door met de Nederlandse Digitaliserings Strategie. Op naar meer soevereiniteit, slimmer inkopen, 1 loket voor burger & ondernemer, Rijkscloud en de boel een beetje centraliseren, zodat kennis gebundeld kan worden en successen sneller opgeschaald! Hier kun je de strategie lezen. Ik ben benieuwd wat je vindt: https://www.digitaleoverh…

Program Logics via Distributive Monoidal Categories
Filippo Bonchi, Elena Di Lavore, Mario Rom\'an, Sam Staton
https://arxiv.org/abs/2507.18238 https://

Program Logics via Distributive Monoidal Categories
We derive multiple program logics, including correctness, incorrectness, and relational Hoare logic, from the axioms of imperative categories: uniformly traced distributive copy-discard categories. We introduce an internal language for imperative multicategories, on top of which we derive combinators for an adaptation of Dijkstra's guarded command language. Rules of program logics are derived from this internal language.

Replaced article(s) found for physics.ao-ph. https://arxiv.org/list/physics.ao-ph/new
[1/1]:
- Assessment of Abrupt Shifts in CMIP6 Models using Edge Detection
Terpstra, Falkena, Bastiaansen, Bathiany, Dijkstra, von der Heydt

🇺🇦 #NowPlaying on BBCRadio3's #NightTracks
Johannes Brahms, Bavarian Radio Symphony Choir & Peter Dijkstra:
🎵 3 Songs, Op. 42 - No. 1, Abendständchen
#JohannesBrahms #BavarianRadioSymphonyChoir #PeterDijkstra

Striking Similarities in Dynamics and Vibrations of 2D Quasicrystals and Supercooled Liquids
Edwin A. Bedolla-Montiel, Marjolein Dijkstra
https://arxiv.org/abs/2508.18856 https:…

Striking Similarities in Dynamics and Vibrations of 2D Quasicrystals and Supercooled Liquids
We investigate the interplay between structure and dynamics in two structurally distinct two-dimensional systems: a dodecagonal quasicrystal (DDQC) and a supercooled binary liquid. Using molecular dynamics simulations, we uncover striking dynamical similarities despite their fundamentally different structural organizations. Both systems exhibit pronounced dynamic heterogeneities, as evidenced by the cage-trapping plateaus in the mean-squared displacement and the pronounced peaks in the non-Gaus…

A Constructed Closure of the Bering Strait can Prevent an AMOC Tipping
Jelle Soons, Henk A. Dijkstra
https://arxiv.org/abs/2508.19826 https://arxiv.org/pdf…

A Constructed Closure of the Bering Strait can Prevent an AMOC Tipping
The Atlantic Meridional Overturning Circulation (AMOC) is a major tipping element in the present-day climate, and could potentially collapse under sufficient freshwater or CO2-forcing. While the effect of the Bering Strait on AMOC stability has been well studied, it is unknown whether a constructed closure of this Strait can prevent an AMOC collapse under climate change. Here, we show in an Earth system Model of Intermediate Complexity that an artificial closure of the Strait can extend the saf…

Shaping Boundaries to Control and Transport Topological Defects in Colloidal Nematic Liquid Crystals
Gerardo Campos-Villalobos, Andr\'e F. V. Matias, Ethan I. L. Jull, Lisa Tran, Marjolein Dijkstra
https://arxiv.org/abs/2506.18664

Shaping Boundaries to Control and Transport Topological Defects in Colloidal Nematic Liquid Crystals
Anisotropic rod-like particles form liquid crystalline phases with varying degrees of orientational and translational order. When confined geometrically, these phases can give rise to topological defects, which can be selected and controlled by tuning how the rods align near boundaries, known as anchoring. While anchoring in molecular liquid crystals can be controlled through surface functionalization, this approach is not easily applicable to microscale colloidal systems, which have so far bee…

Surface Charge Relaxation Controls the Lifetime of Out-of-Equilibrium Colloidal Crystals
Laura Jansen, Thijs ter Rele, Marjolein Dijkstra
https://arxiv.org/abs/2507.14328

Surface Charge Relaxation Controls the Lifetime of Out-of-Equilibrium Colloidal Crystals
Interactions between charged colloidal particles are profoundly influenced by charge regulation and charge renormalization, rendering the effective potential highly sensitive to local particle density. In this work, we investigate how a dynamically evolving, density-dependent Yukawa interaction affects the stability of out-of-equilibrium colloidal structures. Motivated by a series of experiments where unexpectedly long-lived colloidal crystals have suggested the presence of like-charged attract…

Replaced article(s) found for physics.ao-ph. https://arxiv.org/list/physics.ao-ph/new
[1/1]:
- Causal Mechanisms of Subpolar Gyre Variability in CMIP6 Models
Swinda K. J. Falkena, Henk A. Dijkstra, Anna S. von der Heydt

🇺🇦 #NowPlaying on BBCRadio3's #SundayMorning
Anton Bruckner, Bavarian Radio Symphony Choir & Peter Dijkstra:
🎵 Ave Maria
#AntonBruckner #BavarianRadioSymphonyChoir #PeterDijkstra
https://open.spotify.com/track/26SLLUDtrQyA42JZKbRnKp

Relationship between Structure and Dynamics of an Icosahedral Quasicrystal using Unsupervised Machine Learning
Edwin A. Bedolla-Montiel, Susana Mar\'in-Aguilar, Marjolein Dijkstra
https://arxiv.org/abs/2507.15731

Relationship between Structure and Dynamics of an Icosahedral Quasicrystal using Unsupervised Machine Learning
We present a comprehensive study of the structure, formation, and dynamics of a one-component model system that self-assembles into an icosahedral quasicrystal (IQC). Using molecular dynamics simulations combined with unsupervised machine learning techniques, we identify and characterize the unique structural motifs of IQCs, including icosahedral and dodecahedral arrangements, and quantify the evolution of local environments during the IQC formation process. Our analysis reveals that the format…

Replaced article(s) found for physics.ao-ph. https://arxiv.org/list/physics.ao-ph/new
[1/1]:
- Causal Mechanisms of Subpolar Gyre Variability in CMIP6 Models
Swinda K. J. Falkena, Henk A. Dijkstra, Anna S. von der Heydt