-
Towards Full Authorship with AI: Supporting Revision with AI-Generated Views
Authors:
Jiho Kim,
Ray C. Flanagan,
Noelle E. Haviland,
ZeAi Sun,
Souad N. Yakubu,
Edom A. Maru,
Kenneth C. Arnold
Abstract:
Large language models (LLMs) are shaping a new user interface (UI) paradigm in writing tools by enabling users to generate text through prompts. This paradigm shifts some creative control from the user to the system, thereby diminishing the user's authorship and autonomy in the writing process. To restore autonomy, we introduce Textfocals, a UI prototype designed to investigate a human-centered ap…
▽ More
Large language models (LLMs) are shaping a new user interface (UI) paradigm in writing tools by enabling users to generate text through prompts. This paradigm shifts some creative control from the user to the system, thereby diminishing the user's authorship and autonomy in the writing process. To restore autonomy, we introduce Textfocals, a UI prototype designed to investigate a human-centered approach that emphasizes the user's role in writing. Textfocals supports the writing process by providing LLM-generated summaries, questions, and advice (i.e., LLM views) in a sidebar of a text editor, encouraging reflection and self-driven revision in writing without direct text generation. Textfocals' UI affordances, including contextually adaptive views and scaffolding for prompt selection and customization, offer a novel way to interact with LLMs where users maintain full authorship of their writing. A formative user study with Textfocals showed promising evidence that this approach might help users develop underdeveloped ideas, cater to the rhetorical audience, and clarify their writing. However, the study also showed interaction design challenges related to document navigation and scoping, prompt engineering, and context management. Our work highlights the breadth of the design space of writing support interfaces powered by generative AI that maintain authorship integrity.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Data synthesis improves detection of radiation sources in urban environments
Authors:
RR Flanagan,
AG Osborne,
MR Deinert
Abstract:
Distributed sensors have been proposed to detect nuclear materials if they enter urban areas. Past work on small detector systems has shown that data fusion can improve detection. Here, we show how this could be done for a large detector network using Pearsons Method. We evaluate how a sensor network would perform in New York City using a combination of radiation transport and geographic informati…
▽ More
Distributed sensors have been proposed to detect nuclear materials if they enter urban areas. Past work on small detector systems has shown that data fusion can improve detection. Here, we show how this could be done for a large detector network using Pearsons Method. We evaluate how a sensor network would perform in New York City using a combination of radiation transport and geographic information systems. We use OpenStreetMap data to construct a grid over the streets and analyze vehicle paths using pickup and drop off data from the New York State Department of Transportation. The results show that data synthesis in a large network not only improves the time to the first detection but reduces the number of missed sources.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
On the spectral properties of Feigenbaum graphs
Authors:
Ryan Flanagan,
Lucas Lacasa,
Vincenzo Nicosia
Abstract:
A Horizontal Visibility Graph (HVG) is a simple graph extracted from an ordered sequence of real values, and this mapping has been used to provide a combinatorial encryption of time series for the task of performing network based time series analysis. While some properties of the spectrum of these graphs --such as the largest eigenvalue of the adjacency matrix-- have been routinely used as measure…
▽ More
A Horizontal Visibility Graph (HVG) is a simple graph extracted from an ordered sequence of real values, and this mapping has been used to provide a combinatorial encryption of time series for the task of performing network based time series analysis. While some properties of the spectrum of these graphs --such as the largest eigenvalue of the adjacency matrix-- have been routinely used as measures to characterise time series complexity, a theoretic understanding of such properties is lacking. In this work we explore some algebraic and spectral properties of these graphs associated to periodic and chaotic time series. We focus on the family of Feigenbaum graphs, which are HVGs constructed in correspondence with the trajectories of one-parameter unimodal maps undergoing a period-doubling route to chaos (Feigenbaum scenario). For the set of values of the map's parameter $μ$ for which the orbits are periodic with period $2^n$, Feigenbaum graphs are fully characterised by two integers (n,k) and admit an algebraic structure. We explore the spectral properties of these graphs for finite n and k, and among other interesting patterns we find a scaling relation for the maximal eigenvalue and we prove some bounds explaining it. We also provide numerical and rigorous results on a few other properties including the determinant or the number of spanning trees. In a second step, we explore the set of Feigenbaum graphs obtained for the range of values of the map's parameter $μ$ for which the system displays chaos. We show that in this case, Feigenbaum graphs form an ensemble for each value of $μ$ and the system is typically weakly self-averaging. Unexpectedly, we find that while the largest eigenvalue can distinguish chaos from an iid process, it is not a good measure to quantify the chaoticity of the process, and that the eigenvalue density does a better job.
△ Less
Submitted 2 March, 2019;
originally announced March 2019.
-
Effect of antipsychotics on community structure in functional brain networks
Authors:
Ryan Flanagan,
Lucas Lacasa,
Emma K. Towlson,
Sang Hoon Lee,
Mason A. Porter
Abstract:
Schizophrenia, a mental disorder that is characterized by abnormal social behavior and failure to distinguish one's own thoughts and ideas from reality, has been associated with structural abnormalities in the architecture of functional brain networks. Using various methods from network analysis, we examine the effect of two classical therapeutic antipsychotics --- Aripiprazole and Sulpiride --- o…
▽ More
Schizophrenia, a mental disorder that is characterized by abnormal social behavior and failure to distinguish one's own thoughts and ideas from reality, has been associated with structural abnormalities in the architecture of functional brain networks. Using various methods from network analysis, we examine the effect of two classical therapeutic antipsychotics --- Aripiprazole and Sulpiride --- on the structure of functional brain networks of healthy controls and patients who have been diagnosed with schizophrenia. We compare the community structures of functional brain networks of different individuals using mesoscopic response functions, which measure how community structure changes across different scales of a network. We are able to do a reasonably good job of distinguishing patients from controls, and we are most successful at this task on people who have been treated with Aripiprazole. We demonstrate that this increased separation between patients and controls is related only to a change in the control group, as the functional brain networks of the patient group appear to be predominantly unaffected by this drug. This suggests that Aripiprazole has a significant and measurable effect on community structure in healthy individuals but not in individuals who are diagnosed with schizophrenia. In contrast, we find for individuals are given the drug Sulpiride that it is more difficult to separate the networks of patients from those of controls. Overall, we observe differences in the effects of the drugs (and a placebo) on community structure in patients and controls and also that this effect differs across groups. We thereby demonstrate that different types of antipsychotic drugs selectively affect mesoscale structures of brain networks, providing support that mesoscale structures such as communities are meaningful functional units in the brain.
△ Less
Submitted 3 June, 2018; v1 submitted 31 May, 2018;
originally announced June 2018.
-
Go-Smart: Open-Ended, Web-Based Modelling of Minimally Invasive Cancer Treatments via a Clinical Domain Approach
Authors:
Phil Weir,
Roland Ellerweg,
Stephen Payne,
Dominic Reuter,
Tuomas Alhonnoro,
Philip Voglreiter,
Panchatcharam Mariappan,
Mika Pollari,
Chang Sub Park,
Peter Voigt,
Tim van Oostenbrugge,
Sebastian Fischer,
Peter Kalmar,
Jurgen Futterer,
Philipp Stiegler,
Stephan Zangos,
Ronan Flanagan,
Michael Moche,
Marina Kolesnik
Abstract:
Clinicians benefit from online treatment planning systems, through off-site accessibility, data sharing and professional interaction. As well as enhancing clinical value, incorporation of simulation tools affords innovative avenues for open-ended, multi-disciplinary research collaboration. An extensible system for clinicians, technicians, manufacturers and researchers to build on a simulation fram…
▽ More
Clinicians benefit from online treatment planning systems, through off-site accessibility, data sharing and professional interaction. As well as enhancing clinical value, incorporation of simulation tools affords innovative avenues for open-ended, multi-disciplinary research collaboration. An extensible system for clinicians, technicians, manufacturers and researchers to build on a simulation framework is presented. This is achieved using a domain model that relates entities from theoretical, engineering and clinical domains, allowing algorithmic generation of simulation configuration for several open source solvers.
The platform is applied to Minimally Invasive Cancer Treatments (MICTs), allowing interventional radiologists to upload patient data, segment patient images and validate simulated treatments of radiofrequency ablation, cryoablation, microwave ablation and irreversible electroporation. A traditional radiology software layout is provided in-browser for clinical use, with simple, guided simulation, primarily for training and research. Developers and manufacturers access a web-based system to manage their own simulation components (equipment, numerical models and clinical protocols) and related parameters.
This system is tested by interventional radiologists at four centres, using pseudonymized patient data, as part of the Go-Smart Project (http://gosmart-project.eu). The simulation technology is released as a set of open source components http://github.com/go-smart.
△ Less
Submitted 24 March, 2018;
originally announced March 2018.
-
XSgen: A Cross Section Generation Methodology for Fuel Cycle Simulation
Authors:
Robert Flanagan,
Anthony Scopatz
Abstract:
This work investigates a method for generating medium fidelity reactor model cross sections. The methodology used here couples a neutron transport code with a depletion calculator. Together the two can be used to generate time dependent group cross sections for medium fidelity reactor models in fuel cycle simulation. This work analyzes XSgen, a software that performs the functions mentioned above.…
▽ More
This work investigates a method for generating medium fidelity reactor model cross sections. The methodology used here couples a neutron transport code with a depletion calculator. Together the two can be used to generate time dependent group cross sections for medium fidelity reactor models in fuel cycle simulation. This work analyzes XSgen, a software that performs the functions mentioned above. Addtionally, it is shown that XSgen is capable of creating datasets for a medium fidelity reactor model known as Bright-lite. The results of this work show that XSgen produces datasets that match NEA benchmarks for both uranium based LWR, and MOX reactors.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
A combinatorial framework to quantify peak/pit asymmetries in complex dynamics
Authors:
Uri Hasson,
Jacopo Iacovacci,
Ben Davis,
Ryan Flanagan,
Enzo Tagliazucchi,
Helmut Laufs,
Lucas Lacasa
Abstract:
We explore a combinatorial framework which efficiently quantifies the asymmetries between minima and maxima in local fluctuations of time series. We firstly showcase its performance by applying it to a battery of synthetic cases. We find rigorous results on some canonical dynamical models (stochastic processes with and without correlations, chaotic processes) complemented by extensive numerical si…
▽ More
We explore a combinatorial framework which efficiently quantifies the asymmetries between minima and maxima in local fluctuations of time series. We firstly showcase its performance by applying it to a battery of synthetic cases. We find rigorous results on some canonical dynamical models (stochastic processes with and without correlations, chaotic processes) complemented by extensive numerical simulations for a range of processes which indicate that the methodology correctly distinguishes different complex dynamics and outperforms state of the art metrics in several cases. Subsequently, we apply this methodology to real-world problems emerging across several disciplines including cases in neurobiology, finance and climate science. We conclude that differences between the statistics of local maxima and local minima in time series are highly informative of the complex underlying dynamics and a graph-theoretic extraction procedure allows to use these features for statistical learning purposes.
△ Less
Submitted 13 October, 2017;
originally announced October 2017.
-
Irreversibility of financial time series: a graph-theoretical approach
Authors:
Lucas Lacasa,
Ryan Flanagan
Abstract:
The relation between time series irreversibility and entropy production has been recently investigated in thermodynamic systems operating away from equilibrium. In this work we explore this concept in the context of financial time series. We make use of visibility algorithms to quantify in graph-theoretical terms time irreversibility of 35 financial indices evolving over the period 1998-2012. We s…
▽ More
The relation between time series irreversibility and entropy production has been recently investigated in thermodynamic systems operating away from equilibrium. In this work we explore this concept in the context of financial time series. We make use of visibility algorithms to quantify in graph-theoretical terms time irreversibility of 35 financial indices evolving over the period 1998-2012. We show that this metric is complementary to standard measures based on volatility and exploit it to both classify periods of financial stress and to rank companies accordingly. We then validate this approach by finding that a projection in principal components space of financial years based on time irreversibility features clusters together periods of financial stress from stable periods. Relations between irreversibility, efficiency and predictability are briefly discussed.
△ Less
Submitted 8 January, 2016;
originally announced January 2016.
-
Cyclus Archetypes
Authors:
Anthony M. Scopatz,
Matthew J. Gidden,
Robert W. Carlsen,
Robert R. Flanagan,
Kathryn D. Huff,
Meghan B. McGarry,
Arrielle C. Opotowsky,
Olzhas Rakhimov,
Zach Welch,
Paul P. H. Wilson
Abstract:
The current state of nuclear fuel cycle simulation exists in highly customized form. Satisfying a wide range of users requires model modularity within such a tool. Cyclus is a fuel cycle simulator specifically designed to combat the lack of adaptability of previous generations of simulators. This is accomplished through an agent-based infrastructure and treating time discretely. The Cyclus kernel…
▽ More
The current state of nuclear fuel cycle simulation exists in highly customized form. Satisfying a wide range of users requires model modularity within such a tool. Cyclus is a fuel cycle simulator specifically designed to combat the lack of adaptability of previous generations of simulators. This is accomplished through an agent-based infrastructure and treating time discretely. The Cyclus kernel was developed to allow for models, called archetypes, of differing fidelity and function depending on need of the users. To take advantage of this flexibility, a user must write an archetype for their desired simulation if it does not yet exist within the Cyclus ecosystem. At this stage, a user graduates to the title of archetype developer.
Without automation, archetype development is difficult for the uninitiated. This paper presents the framework developed for simplifying the writing of archetypes: the Cyclus preprocessor, or cycpp. cycpp addresses the computer science and software development aspects of archetype development that can be addressed algorithmically, allowing the developer to focus on modeling the physics, social policies, and economics. cycpp passes through the code three times to perform the following tasks: normalizing the code via the C preprocessor, accumulation of notations, and code generation. Not only does this reduce the amount of code a developer must write by approximately an order of magnitude, but the archetypes are automatically validated.
△ Less
Submitted 17 November, 2015;
originally announced November 2015.
-
Go-Smart: Web-based Computational Modeling of Minimally Invasive Cancer Treatments
Authors:
Phil Weir,
Dominic Reuter,
Roland Ellerweg,
Tuomas Alhonnoro,
Mika Pollari,
Philip Voglreiter,
Panchatcharam Mariappan,
Ronan Flanagan,
Chang Sub Park,
Stephen Payne,
Elmar Staerk,
Peter Voigt,
Michael Moche,
Marina Kolesnik
Abstract:
The web-based Go-Smart environment is a scalable system that allows the prediction of minimally invasive cancer treatment. Interventional radiologists create a patient-specific 3D model by semi-automatic segmentation and registration of pre-interventional CT (Computed Tomography) and/or MRI (Magnetic Resonance Imaging) images in a 2D/3D browser environment. This model is used to compare patient-sp…
▽ More
The web-based Go-Smart environment is a scalable system that allows the prediction of minimally invasive cancer treatment. Interventional radiologists create a patient-specific 3D model by semi-automatic segmentation and registration of pre-interventional CT (Computed Tomography) and/or MRI (Magnetic Resonance Imaging) images in a 2D/3D browser environment. This model is used to compare patient-specific treatment plans and device performance via built-in simulation tools. Go-Smart includes evaluation techniques for comparing simulated treatment with real ablation lesions segmented from follow-up scans. The framework is highly extensible, allowing manufacturers and researchers to incorporate new ablation devices, mathematical models and physical parameters.
△ Less
Submitted 12 November, 2015; v1 submitted 11 November, 2015;
originally announced November 2015.
-
Time reversibility from visibility graphs of non-stationary processes
Authors:
Lucas Lacasa,
Ryan Flanagan
Abstract:
Visibility algorithms are a family of methods to map time series into networks, with the aim of describing the structure of time series and their underlying dynamical properties in graph-theoretical terms. Here we explore some properties of both natural and horizontal visibility graphs associated to several non-stationary processes, and we pay particular attention to their capacity to assess time…
▽ More
Visibility algorithms are a family of methods to map time series into networks, with the aim of describing the structure of time series and their underlying dynamical properties in graph-theoretical terms. Here we explore some properties of both natural and horizontal visibility graphs associated to several non-stationary processes, and we pay particular attention to their capacity to assess time irreversibility. Non-stationary signals are (infinitely) irreversible by definition (independently of whether the process is Markovian or producing entropy at a positive rate), and thus the link between entropy production and time series irreversibility has only been explored in non-equilibrium stationary states. Here we show that the visibility formalism naturally induces a new working definition of time irreversibility, which allows to quantify several degrees of irreversibility for stationary and non-stationary series, yielding finite values that can be used to efficiently assess the presence of memory and off-equilibrium dynamics in non-stationary processes without needs to differentiate or detrend them. We provide rigorous results complemented by extensive numerical simulations on several classes of stochastic processes.
△ Less
Submitted 5 October, 2015;
originally announced October 2015.
-
Fundamental concepts in the Cyclus nuclear fuel cycle simulation framework
Authors:
Kathryn D. Huff,
Matthew J. Gidden,
Robert W. Carlsen,
Robert R. Flanagan,
Meghan B. McGarry,
Arrielle C. Opotowsky,
Erich A. Schneider,
Anthony M. Scopatz,
Paul P. H. Wilson
Abstract:
As nuclear power expands, technical, economic, political, and environmental analyses of nuclear fuel cycles by simulators increase in importance. To date, however, current tools are often fleet-based rather than discrete and restrictively licensed rather than open source. Each of these choices presents a challenge to modeling fidelity, generality, efficiency, robustness, and scientific transparenc…
▽ More
As nuclear power expands, technical, economic, political, and environmental analyses of nuclear fuel cycles by simulators increase in importance. To date, however, current tools are often fleet-based rather than discrete and restrictively licensed rather than open source. Each of these choices presents a challenge to modeling fidelity, generality, efficiency, robustness, and scientific transparency. The Cyclus nuclear fuel cycle simulator framework and its modeling ecosystem incorporate modern insights from simulation science and software architecture to solve these problems so that challenges in nuclear fuel cycle analysis can be better addressed. A summary of the Cyclus fuel cycle simulator framework and its modeling ecosystem are presented. Additionally, the implementation of each is discussed in the context of motivating challenges in nuclear fuel cycle simulation. Finally, the current capabilities of Cyclus are demonstrated for both open and closed fuel cycles.
△ Less
Submitted 11 March, 2016; v1 submitted 11 September, 2015;
originally announced September 2015.
