arXiv subjects

Daniel Jackson

Publications and source records attributed to Daniel Jackson.

13 recordsLinked to original sources

arXiv2026

Calibration of clinical trial sample size based on design utility

Clinical trial design relies on both statistical and clinical considerations for pre-specification of potentially practice-changing target treatment effects. As larger trials tend to be associated with high power and modest minimal detectable benefit, trial sample size is typically calibrated with reference to relevant precedents to prevent overpowering. Albeit trial sponsors and regulators are accustomed to this practice, there is scope for simplification to enhance the robustness, transparency and cross-trial consistency of this aspect of the design process. To this end, a design utility index is proposed here as a formal basis for sample size calibration, balancing the increase in power at higher sample sizes against the corresponding reduction in the magnitude of minimum detectable treatment effects, without requiring additional statistical assumptions or bespoke software. Application of utility calibration to a broad range of designs demonstrates consistency with regulatory expectations for minimum power, particularly in confirmatory settings, and effective protection against overpowering and against overly aggressive interim analyses.

stat.AP↗

arXiv2026

Beyond Objects

A core principle of object orientation -- that the functionality of a system can be partitioned amongst objects that correspond to individuals in the problem domain -- has influenced how software has been specified, designed and implemented for more than fifty years. Later developments in software engineering sought to build on this principle. But in fact this partitioning is neither natural nor straightforward, and the problems that these later developments sought to mitigate -- the fragmentation and conflation of functionality -- were often, in fact, the inevitable consequences of this founding principle. An easier path to addressing these problems therefore starts by going back, abandoning object orientation, and replacing it with an alternative approach that decouples the individuals of the problem domain from the modules that partition functionality.

cs.SE↗

arXiv2026

Making Software Meaningful

Adopting a single measure can improve the usability, modularity and accountability of software: a commitment to explicit meaning. This entails constructing and agreeing upon a representation of the behavior of the software, as observed in the domain of application. The phenomena comprising this behavior become a vocabulary that grounds all discourse about the software, among all stakeholders, and for all artifacts and activities. These phenomena are individuals; actions they participate in; and facts that result from actions. They can be organized, by partitioning the set of actions, into concepts, offering larger units of meaning. Examples of exploiting meaning are given in three areas: designing for usability (by aligning user and designer on a single shared meaning); generating modular code with LLMs (by mapping units of meaning to units of code, achieving not only modularity but also legibility); and making agents accountable (by having them adhere to a code of conduct that defines their intended behavior).

cs.SE↗

arXiv2025

What You See Is What It Does: A Structural Pattern for Legible Software

The opportunities offered by LLM coders (and their current limitations) demand a reevaluation of how software is structured. Software today is often "illegible" - lacking a direct correspondence between code and observed behavior - and insufficiently modular, leading to a failure of three key requirements of robust coding: incrementality (the ability to deliver small increments by making localized changes), integrity (avoiding breaking prior increments) and transparency (making clear what has changed at build time, and what actions have happened at runtime). A new structural pattern offers improved legibility and modularity. Its elements are concepts and synchronizations: fully independent services and event-based rules that mediate between them. A domain-specific language for synchronizations allows behavioral features to be expressed in a granular and declarative way (and thus readily generated by an LLM). A case study of the RealWorld benchmark is used to illustrate and evaluate the approach.

cs.SE↗

arXiv2023

Beyond Dark Patterns: A Concept-Based Framework for Ethical Software Design

Current dark pattern research tells designers what not to do, but how do they know what to do? In contrast to prior approaches that focus on patterns to avoid and their underlying principles, we present a framework grounded in positive expected behavior against which deviations can be judged. To articulate this expected behavior, we use concepts -- abstract units of functionality that compose applications. We define a design as dark when its concepts violate users' expectations, and benefit the application provider at the user's expense. Though user expectations can differ, users tend to develop common expectations as they encounter the same concepts across multiple applications, which we can record in a concept catalog as standard concepts. We evaluate our framework and concept catalog through three studies, illustrating their ability to describe existing dark patterns, evaluate nuanced designs, and document common application functionality.

cs.HC↗

arXiv2023

Bluefish: Composing Diagrams with Declarative Relations

Diagrams are essential tools for problem-solving and communication as they externalize conceptual structures using spatial relationships. But when picking a diagramming framework, users are faced with a dilemma. They can either use a highly expressive but low-level toolkit, whose API does not match their domain-specific concepts, or select a high-level typology, which offers a recognizable vocabulary but supports a limited range of diagrams. To address this gap, we introduce Bluefish: a diagramming framework inspired by component-based user interface (UI) libraries. Bluefish lets users create diagrams using relations: declarative, composable, and extensible diagram fragments that relax the concept of a UI component. Unlike a component, a relation does not have sole ownership over its children nor does it need to fully specify their layout. To render diagrams, Bluefish extends a traditional tree-based scenegraph to a compound graph that captures both hierarchical and adjacent relationships between nodes. To evaluate our system, we construct a diverse example gallery covering many domains including mathematics, physics, computer science, and even cooking. We show that Bluefish's relations are effective declarative primitives for diagrams. Bluefish is open source, and we aim to shape it into both a usable tool and a research platform.

cs.GR↗

arXiv2023

Concept-centric Software Development

Developers have long recognized the importance of the concepts underlying the systems they build, and the primary role concepts play in shaping user experience. To date, however, concepts have tended to be only implicit in software design with development being organized instead around more concrete artifacts (such as wireframes and code modules). Palantir, a software company whose data analytics products are widely used by major corporations, recently reworked its internal representation of its software development process to bring concepts to the fore, making explicit the concepts underlying its products, how they are clustered, used within and across applications, and governed by teams. With a centralized repository of concepts, Palantir engineers are able to align products more closely based on shared concepts, evolve concepts in response to user needs, and communicate more effectively with non-engineering groups within the company. This paper reports on Palantir's experiences to date, analyzing both successes and challenges, and offers advice to other organizations considering adopting a concept-centric approach to software development

cs.SE↗

arXiv2021

Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles

Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-fold: to achieve a very high level of safety, and to provide a framework for justifiable confidence in that safety. The key idea is a runtime monitor that acts, along with sensor hardware and low-level control and actuators, as a small trusted base, ensuring the safety of the system as a whole. Unfortunately, in current systems complex perception makes the verification even of a runtime monitor challenging. Unlike traditional runtime monitoring, therefore, a certified control monitor does not perform perception and analysis itself. Instead, the main controller assembles evidence that the proposed action is safe into a certificate that is then checked independently by the monitor. This exploits the classic gap between the costs of finding and checking. The controller is assigned the task of finding the certificate, and can thus use the most sophisticated algorithms available (including learning-enabled software); the monitor is assigned only the task of checking, and can thus run quickly and be smaller and formally verifiable. This paper explains the key ideas of certified control and illustrates them with a certificate for LiDAR data and its formal verification. It shows how the architecture dramatically reduces the amount of code to be verified, providing an end-to-end safety analysis that would likely not be achievable in a traditional architecture.

cs.RO↗

arXiv2018

Quantum Interface of an Electron and a Nuclear Ensemble

Coherent excitation of an ensemble of quantum objects underpins quantum many-body phenomena, and offers the opportunity to realize a quantum memory to store information from a qubit. Thus far, a deterministic and coherent interface between a single quantum system, e.g. a qubit, and such an ensemble has remained elusive. We first use an electron to cool the mesoscopic nuclear-spin ensemble of a semiconductor quantum dot to the nuclear sideband-resolved regime. We then implement an all-optical approach to access these individual quantized electronic-nuclear spin transitions. Finally, we perform coherent optical rotations of a single collective nuclear spin excitation corresponding to a spin wave called a nuclear magnon. These results constitute the building blocks of a dedicated local memory per quantum-dot spin qubit and promise a solid-state platform for quantum-state engineering of isolated many-body systems.

quant-ph↗

arXiv2018

A Numerical Exploration of the Spherically Symmetric SU(2) Einstein-Yang-Mills Equations

The Einstein-Yang-Mills equations are the source of many interesting solutions within general relativity, including families of particle-like and black hole solutions, and critical phenomena of more than one type. These solutions, discovered in the last thirty years, all assume a restricted form for the Yang-Mills gauge potential known as the "magnetic" ansatz. In this thesis we relax that assumption and investigate the most general solutions of the Einstein-Yang-Mills system assuming spherically symmetry, a Yang-Mills gauge group of SU(2), and zero cosmological constant. We proceed primarily by numerically integrating the equations and find new static solutions, for both regular and black hole boundary conditions, which are not asymptotically flat, and attempt to classify the possible static behaviours. We develop a code to solve the dynamic equations that uses a novel adaptive mesh refinement algorithm making full use of double-null coordinates. We find that the "type II" critical behaviour in the general case exhibits non-universal critical solutions, in contrast to the magnetic case and to all previously observed type II critical behaviour.

gr-qc↗

arXiv2010

Computer Generated Images for Quadratic Rational Maps with a Periodic Critical Point

We describe an algorithm for distinguishing hyperbolic components in the parameter space of quadratic rational maps with a periodic critical point. We then illustrate computer images of the hyperbolic components of the parameter spaces V1 - V4, which were produced using our algorithm. We also resolve the singularities of the projective closure of V5 by blowups, giving an alternative proof that as an algebraic curve, the geometric genus of V5 is 1. This explains why we are unable to produce an image for V5.

math.DS↗

arXiv2006

Knowledge Flow Analysis for Security Protocols

Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of knowledge amongst principals. Because this characterization corresponds closely to informal descriptions of protocols, it allows a succinct and natural formalization; because it abstracts away message ordering, and handles communications between principals and applications of cryptographic primitives uniformly, it is readily represented in a standard logic. A generic framework in the Alloy modelling language is presented, and instantiated for two standard protocols, and a new key management scheme.

cs.CR↗

arXiv2005

Invariant curves for birational surface maps

We classify invariant curves for birational surface maps that are expanding on cohomology. When the expansion is exponential, the arithmetic genus of an invariant curve is at most one. This implies severe constraints on both the type and number of irreducible components of the curve. In the case of an invariant curve with genus equal to one, we show that there is an associated invariant meromorphic two form.

math.AG↗