SearcharxivSearch

arXiv subjects

James Butterworth

Publications and source records attributed to James Butterworth.

7 recordsLinked to original sources

Future Querying: Can LLMs Serve as Implicit Medical World Models?

Traditional clinical prediction models rely on task-specific pipelines and curated, structured data, which scale poorly and underutilize unstructured text. To address this, we introduce future querying, a paradigm that probes whether large language models (LLMs) can function as implicit medical world models by evaluating their ability to answer time-indexed clinical queries about a patient's future. Our framework operates on unstructured clinical documentation using endpoint-agnostic training, enabling a single model to answer diverse clinical queries over patient trajectories without manual feature engineering or task-specific retraining. We show that small, locally fine-tuned open-weight models can match or approach larger proprietary systems, making the framework suitable for privacy-preserving, on-premise deployment. Evaluated on a new synthetic medical reports dataset and real ICU notes from the MIMIC-IV dataset, our results provide encouraging evidence that LLMs can capture aspects of clinical dynamics.

cs.CL

Deep Variational Inference Symbolic Regression

Symbolic regression discovers explicit, interpretable equations without assuming a functional form in advance. A Bayesian approach strengthens this through probability distributions over candidate expressions, thus quantifying uncertainty in the presence of noisy and limited data. Deep Symbolic Regression (DSR) uses a neural network to generate symbolic expressions, but it is designed to identify a single best-fitting expression rather than infer a posterior distribution over models. We introduce Deep Variational Inference Symbolic Regression (DVISR), a variational Bayesian extension of DSR. DVISR replaces the original reward with the integrand of the evidence lower bound. It also extends the network architecture to output distributions over constants within expressions, enabling posterior inference over both expression trees and their associated constants. We show that DVISR can recover the true posterior in simple settings, both with and without constant tokens, and we examine how its performance changes as the size of the expression space increases. These results position DVISR as a step toward scalable Bayesian symbolic regression with uncertainty over full symbolic models.

cs.LG

Aluminum nuclear demagnetization refrigerator for powerful continuous cooling

Many laboratories routinely cool samples to 10 mK, but relatively few can cool condensed matter below 1 mK. Easy access to the microkelvin range would propel fields such as quantum sensors and quantum materials. Such temperatures are achieved with adiabatic nuclear demagnetization. Existing nuclear demagnetization refrigerators (NDR) are ``single-shot'', and the recycling time is incompatible with some sub-mK experiments. Furthermore, a high cooling power is required to overcome the excess heat load of order nW on NDR pre-cooled by cryogen-free dilution refrigerators. We report the performance of an aluminum NDR designed for powerful cooling when part of a dual stage continuous NDR (CNDR). Its thermal resistance is minimized to maximize the cycling rate of the CNDR and consequently its cooling power. At the same time, its susceptibility to eddy current heating is minimized. A CNDR based on two of the aluminum NDR presented here would achieve a cooling power of approximately 40 nW at 560 $μ$K less than six days after cooling from room temperature, with a small offset in electronic temperature that decreases as the time-dependent heat load decays.

physics.ins-det

Superconducting aluminum heat switch with 3 n$Ω$ equivalent resistance

Superconducting heat switches with extremely low normal state resistances are needed for constructing continuous nuclear demagnetization refrigerators with high cooling power. Aluminum is a suitable superconductor for the heat switch because of its high Debye temperature and its commercial availability in high purity. We have constructed a high quality Al heat switch whose design is significantly different than that of previous heat switches. In order to join the Al to Cu with low contact resistance, we plasma etched the Al to remove its oxide layer then immediately deposited Au without breaking the vacuum of the e-beam evaporator. In the normal state of the heat switch, we measured a thermal conductance of $8 T$ W/K$^2$ which is equivalent to an electrical resistance of 3 n$Ω$ according to the Wiedemann-Franz law. In the superconducting state we measured a thermal conductance that is $2\times10^6$ times lower than that of the normal state at 50 mK.

physics.ins-det

Very low resistance Al/Cu joints for use at cryogenic temperatures

We present two different techniques for achieving low resistance ($<$20 n$\rm Ω$) contacts between copper and aluminium at cryogenic temperatures. The best method is based on gold plating of the surfaces in an e-beam evaporator immediately after Ar plasma etching in the same apparatus, yielding resistances as low as 3 n$\rm Ω$ that are stable over time. The second approach involves inserting indium in the Al/Cu joint. For both methods, we believe key elements are surface polishing, total removal of the aluminum oxide surface layer, and temporary application of large (typ. 11 kN) compression forces. We believe the values for gold plated contacts are the lowest ever reported for a Cu/Al joint of a few $\rm cm^{2}$. This technology could simplify the construction of thermal links for advanced cryogenics applications, in particular that of extremely low resistance heat switches for nuclear demagnetization refrigerators.

physics.ins-det

Fly Safe: Aerial Swarm Robotics using Force Field Particle Swarm Optimisation

Particle Swarm Optimisation (PSO) is a powerful optimisation algorithm that can be used to locate global maxima in a search space. Recent interest in swarms of Micro Aerial Vehicles (MAVs) begs the question as to whether PSO can be used as a method to enable real robotic swarms to locate a target goal point. However, the original PSO algorithm does not take into account collisions between particles during search. In this paper we propose a novel algorithm called Force Field Particle Swarm Optimisation (FFPSO) that designates repellent force fields to particles such that these fields provide an additional velocity component into the original PSO equations. We compare the performance of FFPSO with PSO and show that it has the ability to reduce the number of particle collisions during search to 0 whilst also being able to locate a target of interest in a similar amount of time. The scalability of the algorithm is also demonstrated via a set of experiments that considers how the number of crashes and the time taken to find the goal varies according to swarm size. Finally, we demonstrate the algorithms applicability on a swarm of real MAVs.

cs.RO

Evolving Indoor Navigational Strategies Using Gated Recurrent Units In NEAT

Simultaneous Localisation and Mapping (SLAM) algorithms are expensive to run on smaller robotic platforms such as Micro-Aerial Vehicles. Bug algorithms are an alternative that use relatively little processing power, and avoid high memory consumption by not building an explicit map of the environment. Bug Algorithms achieve relatively good performance in simulated and robotic maze solving domains. However, because they are hand-designed, a natural question is whether they are globally optimal control policies. In this work we explore the performance of Neuroevolution - specifically NEAT - at evolving control policies for simulated differential drive robots carrying out generalised maze navigation. We extend NEAT to include Gated Recurrent Units (GRUs) to help deal with long term dependencies. We show that both NEAT and our NEAT-GRU can repeatably generate controllers that outperform I-Bug (an algorithm particularly well-suited for use in real robots) on a test set of 209 indoor maze like environments. We show that NEAT-GRU is superior to NEAT in this task but also that out of the 2 systems, only NEAT-GRU can continuously evolve successful controllers for a much harder task in which no bearing information about the target is provided to the agent.

cs.NE