-
Analysis of the MICCAI Brain Tumor Segmentation -- Metastases (BraTS-METS) 2025 Lighthouse Challenge: Brain Metastasis Segmentation on Pre- and Post-treatment MRI
Authors:
Nazanin Maleki,
Raisa Amiruddin,
Ahmed W. Moawad,
Nikolay Yordanov,
Athanasios Gkampenis,
Pascal Fehringer,
Fabian Umeh,
Crystal Chukwurah,
Fatima Memon,
Bojan Petrovic,
Justin Cramer,
Mark Krycia,
Elizabeth B. Shrickel,
Ichiro Ikuta,
Gerard Thompson,
Lorenna Vidal,
Vilma Kosovic,
Adam E. Goldman-Yassen,
Virginia Hill,
Tiffany So,
Sedra Mhana,
Albara Alotaibi,
Nathan Page,
Prisha Bhatia,
Yasaman Sharifi
, et al. (218 additional authors not shown)
Abstract:
Despite continuous advancements in cancer treatment, brain metastatic disease remains a significant complication of primary cancer and is associated with an unfavorable prognosis. One approach for improving diagnosis, management, and outcomes is to implement algorithms based on artificial intelligence for the automated segmentation of both pre- and post-treatment MRI brain images. Such algorithms…
▽ More
Despite continuous advancements in cancer treatment, brain metastatic disease remains a significant complication of primary cancer and is associated with an unfavorable prognosis. One approach for improving diagnosis, management, and outcomes is to implement algorithms based on artificial intelligence for the automated segmentation of both pre- and post-treatment MRI brain images. Such algorithms rely on volumetric criteria for lesion identification and treatment response assessment, which are still not available in clinical practice. Therefore, it is critical to establish tools for rapid volumetric segmentations methods that can be translated to clinical practice and that are trained on high quality annotated data. The BraTS-METS 2025 Lighthouse Challenge aims to address this critical need by establishing inter-rater and intra-rater variability in dataset annotation by generating high quality annotated datasets from four individual instances of segmentation by neuroradiologists while being recorded on video (two instances doing "from scratch" and two instances after AI pre-segmentation). This high-quality annotated dataset will be used for testing phase in 2025 Lighthouse challenge and will be publicly released at the completion of the challenge. The 2025 Lighthouse challenge will also release the 2023 and 2024 segmented datasets that were annotated using an established pipeline of pre-segmentation, student annotation, two neuroradiologists checking, and one neuroradiologist finalizing the process. It builds upon its previous edition by including post-treatment cases in the dataset. Using these high-quality annotated datasets, the 2025 Lighthouse challenge plans to test benchmark algorithms for automated segmentation of pre-and post-treatment brain metastases (BM), trained on diverse and multi-institutional datasets of MRI images obtained from patients with brain metastases.
△ Less
Submitted 6 May, 2025; v1 submitted 16 April, 2025;
originally announced April 2025.
-
Cl+ and HCl+ in Reaction with H2 and Isotopologues: A Glance into H Abstraction and Indirect Exchange at Astrophysical Conditions
Authors:
Miguel Jiménez-Redondo,
Olli Sipilä,
Robin Dahl,
Paola Caselli,
Pavol Jusko
Abstract:
Astrochemical models of interstellar clouds, the sites of stars, and planet formation require information about spin-state chemistry to allow quantitative comparison with spectroscopic observations. In particular, it is important to know if full scrambling or H abstraction (also known as proton hopping) takes place in ion-neutral reactions. The reaction of Cl+ and HCl+ with H2 and isotopologues ha…
▽ More
Astrochemical models of interstellar clouds, the sites of stars, and planet formation require information about spin-state chemistry to allow quantitative comparison with spectroscopic observations. In particular, it is important to know if full scrambling or H abstraction (also known as proton hopping) takes place in ion-neutral reactions. The reaction of Cl+ and HCl+ with H2 and isotopologues has been studied at cryogenic temperatures between 20 and 180 K using a 22 pole radio frequency ion trap. Isotopic exchange processes are used to probe the reaction mechanism of the HCl+ + H2 reaction. The results are compared with previous measurements and theoretical predictions. The rate coefficients for the Cl+ + H2 and HCl+ + H2 reactions are found to be constant in the range of temperatures studied, except for the DCl+ + D2 reaction, where a weak negative temperature dependence is observed, and reactions with D2 are found to be significantly slower than the Langevin rate. No isotopic exchange reactions are observed to occur for the H2Cl+ ion. The analysis of the products of the HCl+ + H2 isotopic system clearly indicates that the reaction proceeds via simple hydrogen atom abstraction.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
The Brain Tumor Segmentation (BraTS-METS) Challenge 2023: Brain Metastasis Segmentation on Pre-treatment MRI
Authors:
Ahmed W. Moawad,
Anastasia Janas,
Ujjwal Baid,
Divya Ramakrishnan,
Rachit Saluja,
Nader Ashraf,
Nazanin Maleki,
Leon Jekel,
Nikolay Yordanov,
Pascal Fehringer,
Athanasios Gkampenis,
Raisa Amiruddin,
Amirreza Manteghinejad,
Maruf Adewole,
Jake Albrecht,
Udunna Anazodo,
Sanjay Aneja,
Syed Muhammad Anwar,
Timothy Bergquist,
Veronica Chiang,
Verena Chung,
Gian Marco Conte,
Farouk Dako,
James Eddy,
Ivan Ezhov
, et al. (207 additional authors not shown)
Abstract:
The translation of AI-generated brain metastases (BM) segmentation into clinical practice relies heavily on diverse, high-quality annotated medical imaging datasets. The BraTS-METS 2023 challenge has gained momentum for testing and benchmarking algorithms using rigorously annotated internationally compiled real-world datasets. This study presents the results of the segmentation challenge and chara…
▽ More
The translation of AI-generated brain metastases (BM) segmentation into clinical practice relies heavily on diverse, high-quality annotated medical imaging datasets. The BraTS-METS 2023 challenge has gained momentum for testing and benchmarking algorithms using rigorously annotated internationally compiled real-world datasets. This study presents the results of the segmentation challenge and characterizes the challenging cases that impacted the performance of the winning algorithms. Untreated brain metastases on standard anatomic MRI sequences (T1, T2, FLAIR, T1PG) from eight contributed international datasets were annotated in stepwise method: published UNET algorithms, student, neuroradiologist, final approver neuroradiologist. Segmentations were ranked based on lesion-wise Dice and Hausdorff distance (HD95) scores. False positives (FP) and false negatives (FN) were rigorously penalized, receiving a score of 0 for Dice and a fixed penalty of 374 for HD95. Eight datasets comprising 1303 studies were annotated, with 402 studies (3076 lesions) released on Synapse as publicly available datasets to challenge competitors. Additionally, 31 studies (139 lesions) were held out for validation, and 59 studies (218 lesions) were used for testing. Segmentation accuracy was measured as rank across subjects, with the winning team achieving a LesionWise mean score of 7.9. Common errors among the leading teams included false negatives for small lesions and misregistration of masks in space.The BraTS-METS 2023 challenge successfully curated well-annotated, diverse datasets and identified common errors, facilitating the translation of BM segmentation across varied clinical environments and providing personalized volumetric reports to patients undergoing BM treatment.
△ Less
Submitted 8 December, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Stochastic modeling of stratospheric temperature
Authors:
Mari Dahl Eggen,
Kristina Rognlien Dahl,
Sven Peter Näsholm,
Steffen Mæland
Abstract:
This study suggests a stochastic model for time series of daily-zonal (circumpolar) mean stratospheric temperature at a given pressure level. It can be seen as an extension of previous studies which have developed stochastic models for surface temperatures. The proposed model is a sum of a deterministic seasonality function and a Lévy-driven multidimensional Ornstein-Uhlenbeck process, which is a…
▽ More
This study suggests a stochastic model for time series of daily-zonal (circumpolar) mean stratospheric temperature at a given pressure level. It can be seen as an extension of previous studies which have developed stochastic models for surface temperatures. The proposed model is a sum of a deterministic seasonality function and a Lévy-driven multidimensional Ornstein-Uhlenbeck process, which is a mean-reverting stochastic process. More specifically, the deseasonalized temperature model is an order 4 continuous time autoregressive model, meaning that the stratospheric temperature is modeled to be directly dependent on the temperature over four preceding days, while the model's longer-range memory stems from its recursive nature. This study is based on temperature data from the European Centre for Medium-Range Weather Forecasts ERA-Interim reanalysis model product. The residuals of the autoregressive model are well-represented by normal inverse Gaussian distributed random variables scaled with a time-dependent volatility function. A monthly variability in speed of mean reversion of stratospheric temperature is found, hence suggesting a generalization of the 4th order continuous time autoregressive model. A stochastic stratospheric temperature model, as proposed in this paper, can be used in geophysical analyses to improve the understanding of stratospheric dynamics. In particular, such characterizations of stratospheric temperature may be a step towards greater insight in modeling and prediction of large-scale middle atmospheric events, such as for example sudden stratospheric warmings. Through stratosphere-troposphere coupling, the stratosphere is hence a source of extended tropospheric predictability at weekly to monthly timescales, which is of great importance in several societal and industry sectors.
△ Less
Submitted 11 June, 2021;
originally announced July 2021.
-
Optimal sequential decision making with probabilistic digital twins
Authors:
Christian Agrell,
Kristina Rognlien Dahl,
Andreas Hafver
Abstract:
Digital twins are emerging in many industries, typically consisting of simulation models and data associated with a specific physical system. One of the main reasons for developing a digital twin, is to enable the simulation of possible consequences of a given action, without the need to interfere with the physical system itself. Physical systems of interest, and the environments they operate in,…
▽ More
Digital twins are emerging in many industries, typically consisting of simulation models and data associated with a specific physical system. One of the main reasons for developing a digital twin, is to enable the simulation of possible consequences of a given action, without the need to interfere with the physical system itself. Physical systems of interest, and the environments they operate in, do not always behave deterministically. Moreover, information about the system and its environment is typically incomplete or imperfect. Probabilistic representations of systems and environments may therefore be called for, especially to support decisions in application areas where actions may have severe consequences.
In this paper we introduce the probabilistic digital twin (PDT). We will start by discussing how epistemic uncertainty can be treated using measure theory, by modelling epistemic information via $σ$-algebras. Based on this, we give a formal definition of how epistemic uncertainty can be updated in a PDT. We then study the problem of optimal sequential decision making. That is, we consider the case where the outcome of each decision may inform the next. Within the PDT framework, we formulate this optimization problem. We discuss how this problem may be solved (at least in theory) via the maximum principle method or the dynamic programming principle. However, due to the curse of dimensionality, these methods are often not tractable in practice. To mend this, we propose a generic approximate solution using deep reinforcement learning together with neural networks defined on sets. We illustrate the method on a practical problem, considering optimal information gathering for the estimation of a failure probability.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
Stochastic optimal control of pre-exposure prophylaxis for HIV infection
Authors:
Kristina Rognlien Dahl,
Jasmina Djordevic
Abstract:
In this paper, we study the stochastic optimal control problem for the PReP vaccine in the stochastic model for HIV/AIDS with PReP. By using the stochastic maximum principle, we derive the stochastic optimal control of PReP for the unconstrained control problem, as well as for two different types of budget constrains. We illustrate the results by a numerical example. We first study the PReP stocha…
▽ More
In this paper, we study the stochastic optimal control problem for the PReP vaccine in the stochastic model for HIV/AIDS with PReP. By using the stochastic maximum principle, we derive the stochastic optimal control of PReP for the unconstrained control problem, as well as for two different types of budget constrains. We illustrate the results by a numerical example. We first study the PReP stochastic differential equation dynamics with a constant, deterministic PReP treatment rate. Then, we compare this to the stochastic optimal control in the unconstrained case.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
Environmental contours and optimal design
Authors:
Kristina Rognlien Dahl,
Arne Bang Huseby
Abstract:
Classical environmental contours are used in structural design in order to obtain upper bounds on the failure probabilities of a large class of designs. Buffered environmental contours serve the same purpose, but with respect to the so-called buffered failure probability. In contrast to classical environmental contours, buffered environmental contours do not just take into account failure vs. func…
▽ More
Classical environmental contours are used in structural design in order to obtain upper bounds on the failure probabilities of a large class of designs. Buffered environmental contours serve the same purpose, but with respect to the so-called buffered failure probability. In contrast to classical environmental contours, buffered environmental contours do not just take into account failure vs. functioning, but also to which extent the system is failing. This is important to take into account whenever the consequences of failure are relevant. For instance, if we consider a power network, it is important to know not just that the power supply is failed, but how many consumers are affected by the failure. In this paper, we study the connections between environmental contours, both classical and buffered, and optimal structural design. We connect the classical environmental contours to the risk measure value-at-risk. Similarly, the buffered environmental contours are naturally connected to the convex risk measure conditional value-at-risk. We study the problem of minimizing the risk of the cost of building a particular design. This problem is studied both for value-at-risk and conditional-value-at-risk. By using the connection between value-at-risk and the classical environmental contours, we derive a representation of the design optimization problem expressed via the environmental contour. A similar representation is derived by using the connection between conditional value-at-risk and the buffered environmental contour. From these representations, we derive a sufficient condition which must hold for an optimal design. This is done both in the classical and the buffered case. Finally, we apply these results to solve a design optimization problem from structural reliability.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
Sequential Bayesian optimal experimental design for structural reliability analysis
Authors:
Christian Agrell,
Kristina Rognlien Dahl
Abstract:
Structural reliability analysis is concerned with estimation of the probability of a critical event taking place, described by $P(g(\textbf{X}) \leq 0)$ for some $n$-dimensional random variable $\textbf{X}$ and some real-valued function $g$. In many applications the function $g$ is practically unknown, as function evaluation involves time consuming numerical simulation or some other form of experi…
▽ More
Structural reliability analysis is concerned with estimation of the probability of a critical event taking place, described by $P(g(\textbf{X}) \leq 0)$ for some $n$-dimensional random variable $\textbf{X}$ and some real-valued function $g$. In many applications the function $g$ is practically unknown, as function evaluation involves time consuming numerical simulation or some other form of experiment that is expensive to perform. The problem we address in this paper is how to optimally design experiments, in a Bayesian decision theoretic fashion, when the goal is to estimate the probability $P(g(\textbf{X}) \leq 0)$ using a minimal amount of resources. As opposed to existing methods that have been proposed for this purpose, we consider a general structural reliability model given in hierarchical form. We therefore introduce a general formulation of the experimental design problem, where we distinguish between the uncertainty related to the random variable $\textbf{X}$ and any additional epistemic uncertainty that we want to reduce through experimentation. The effectiveness of a design strategy is evaluated through a measure of residual uncertainty, and efficient approximation of this quantity is crucial if we want to apply algorithms that search for an optimal strategy. The method we propose is based on importance sampling combined with the unscented transform for epistemic uncertainty propagation. We implement this for the myopic (one-step look ahead) alternative, and demonstrate the effectiveness through a series of numerical experiments.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
Self-exciting jump processes and their asymptotic behaviour
Authors:
Kristina Rognlien Dahl,
Heidar Eyjolfsson
Abstract:
The purpose of this paper is to investigate properties of self-exciting jump processes. We derive the Laplace transform of SDE driven self-exciting processes with independent, identically distributed jump sizes. By using this Laplace transform, we find a recursive formula for the moments of the self-exciting process. The formula for the moments allow us to derive expressions for the expectation an…
▽ More
The purpose of this paper is to investigate properties of self-exciting jump processes. We derive the Laplace transform of SDE driven self-exciting processes with independent, identically distributed jump sizes. By using this Laplace transform, we find a recursive formula for the moments of the self-exciting process. The formula for the moments allow us to derive expressions for the expectation and variance of the self-exciting process. We show that self-exciting processes can exhibit both finite and infinite activity behaviour. Furthermore, we show that the scaling limit of the intensity process equals the strong solution of the square-root diffusion process(Cox-Ingersoll-Ross process) in distribution. As a particular example, we study the case of a linear intensity process and derive explicit expressions for the expectation and variance in this case.
△ Less
Submitted 19 August, 2021; v1 submitted 30 June, 2020;
originally announced June 2020.
-
Buffered environmental contours
Authors:
Kristina Rognlien Dahl,
Arne Bang Huseby
Abstract:
The main idea of this paper is to use the notion of buffered failure probability from probabilistic structural design, to introduce buffered environmental contours. Classical environmental contours are used in structural design in order to obtain upper bounds on the failure probabilities of a large class of designs. The purpose of buffered failure probabilities is the same. However, in constrast t…
▽ More
The main idea of this paper is to use the notion of buffered failure probability from probabilistic structural design, to introduce buffered environmental contours. Classical environmental contours are used in structural design in order to obtain upper bounds on the failure probabilities of a large class of designs. The purpose of buffered failure probabilities is the same. However, in constrast to classical environmental contours, this new concept does not just take into account failure vs. functioning, but also to which extent the system is failing. For example, this is relevant when considering the risk of flooding: We are not just interested in knowing whether a river has flooded. The damages caused by the flooding greatly depends on how much the water has risen above the standard level.
△ Less
Submitted 28 February, 2019;
originally announced March 2019.
-
A numerical method for solving stochastic differential equations with noisy memory
Authors:
Kristina Rognlien Dahl
Abstract:
Stochastic differential equations with noisy memory are often impossible to solve analytically. Therefore, we derive a numerical Euler-Maruyama scheme for such equations and prove that the mean-square error of this scheme is of order $\sqrt{Δt}$. This is, perhaps somewhat surprisingly, the same order as the Euler-Maruyama scheme for regular SDEs, despite the added complexity from the noisy memory.…
▽ More
Stochastic differential equations with noisy memory are often impossible to solve analytically. Therefore, we derive a numerical Euler-Maruyama scheme for such equations and prove that the mean-square error of this scheme is of order $\sqrt{Δt}$. This is, perhaps somewhat surprisingly, the same order as the Euler-Maruyama scheme for regular SDEs, despite the added complexity from the noisy memory. To illustrate this numerical method, we apply it to a noisy memory SDE which can be solved analytically.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
A duopoly preemption game with two alternative stochastic investment choices
Authors:
Kristina Rognlien Dahl,
Espen Stokkereit
Abstract:
This paper studies a duopoly investment model with uncertainty. There are two alternative irreversible investments. The first firm to invest gets a monopoly benefit for a specified period of time. The second firm to invest gets information based on what happens with the first investor, as well as cost reduction benefits. We describe the payoff functions for both the leader and follower firm. Then,…
▽ More
This paper studies a duopoly investment model with uncertainty. There are two alternative irreversible investments. The first firm to invest gets a monopoly benefit for a specified period of time. The second firm to invest gets information based on what happens with the first investor, as well as cost reduction benefits. We describe the payoff functions for both the leader and follower firm. Then, we present a stochastic control game where the firms can choose when to invest, and hence influence whether they become the leader or the follower. In order to solve this problem, we combine techniques from optimal stopping and game theory. For a specific choice of parametres, we show that no pure symmetric subgame perfect Nash equilibrium exists. However, an asymmetric equilibrium is characterized. In this equilibrium, two disjoint intervals of market demand level give rise to preemptive investment behavior of the firms, while the firms otherwise are more reluctant to be the first mover.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
Stochastic maximum principle with Lagrange multipliers and optimal consumption with Lévy wage
Authors:
Kristina Rognlien Dahl,
Espen Stokkereit
Abstract:
We show how a stochastic version of the Lagrange multiplier method can be combined with the stochastic maximum principle for jump diffusions to solve certain constrained stochastic optimal control problems. Two different terminal constraints are considered; one constraint holds in expectation and the other almost surely.
As an application of this method, we study the effects of inflation- and wa…
▽ More
We show how a stochastic version of the Lagrange multiplier method can be combined with the stochastic maximum principle for jump diffusions to solve certain constrained stochastic optimal control problems. Two different terminal constraints are considered; one constraint holds in expectation and the other almost surely.
As an application of this method, we study the effects of inflation- and wage risk on optimal consumption. To do this, we consider the optimal consumption problem for a budget constrained agent with a Lévy income process and stochastic inflation. The agent must choose a consumption path such that his wealth process satisfies the terminal constraint. We find expressions for the optimal consumption of the agent in the case of CRRA utility, and give an economic interpretation of the adjoint processes.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Pricing of claims in discrete time with partial information
Authors:
Kristina Rognlien Dahl
Abstract:
We consider the pricing problem of a seller with delayed price information. By using Lagrange duality, a dual problem is derived, and it is proved that there is no duality gap. This gives a characterization of the seller's price of a contingent claim. Finally, we analyze the dual problem, and compare the prices offered by two sellers with delayed and full information respectively.
We consider the pricing problem of a seller with delayed price information. By using Lagrange duality, a dual problem is derived, and it is proved that there is no duality gap. This gives a characterization of the seller's price of a contingent claim. Finally, we analyze the dual problem, and compare the prices offered by two sellers with delayed and full information respectively.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
A convex duality approach for pricing contingent claims under partial information and short selling constraints
Authors:
Kristina Rognlien Dahl
Abstract:
We consider the pricing problem facing a seller of a contingent claim. We assume that this seller has some general level of partial information, and that he is not allowed to sell short in certain assets. This pricing problem, which is our primal problem, is a constrained stochastic optimization problem. We derive a dual to this problem by using the conjugate duality theory introduced by Rockafell…
▽ More
We consider the pricing problem facing a seller of a contingent claim. We assume that this seller has some general level of partial information, and that he is not allowed to sell short in certain assets. This pricing problem, which is our primal problem, is a constrained stochastic optimization problem. We derive a dual to this problem by using the conjugate duality theory introduced by Rockafellar. Furthermore, we give conditions for strong duality to hold. This gives a characterization of the price of the claim involving martingale- and super-martingale conditions on the optional projection of the price processes.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Management of a hydropower system via convex duality
Authors:
Kristina Rognlien Dahl
Abstract:
We consider the problem of managing a hydroelectric power plant system. The system consists of N hydropower dams, which all have some maximum production capacity. The inflow to the system is some stochastic process, representing the precipitation to each dam. The manager can control how much water to release from each dam at each time. She would like to choose this in a way which maximizes the tot…
▽ More
We consider the problem of managing a hydroelectric power plant system. The system consists of N hydropower dams, which all have some maximum production capacity. The inflow to the system is some stochastic process, representing the precipitation to each dam. The manager can control how much water to release from each dam at each time. She would like to choose this in a way which maximizes the total revenue from the initial time 0 to some terminal time T. The total revenue of the hydropower dam system depends on the price of electricity, which is also a stochastic process. The manager must take this price process into account when controlling the draining process. However, we assume that the manager only has partial information of how the price process is formed. She can observe the price, but not the underlying processes determining it. By using the conjugate duality framework of Rockafellar, we derive a dual problem to the problem of the manager. This dual problem turns out to be simple to solve in the case where the price process is a martingale or submartingale with respect to the filtration modelling the information of the dam manager.
△ Less
Submitted 29 June, 2017;
originally announced June 2017.
-
Forward Backward Stochastic Differential Equation Games with Delay and Noisy Memory
Authors:
Kristina Rognlien Dahl
Abstract:
The main goal of this paper is to study a stochastic game connected to a system of forward backward stochastic differential equations (FBSDEs) involving delay and so-called noisy memory. We derive suffcient and necessary maximum principles for a set of controls for the players to be a Nash equilibrium in such a game. Furthermore, we study a corresponding FBSDE involving Malliavin derivatives, whic…
▽ More
The main goal of this paper is to study a stochastic game connected to a system of forward backward stochastic differential equations (FBSDEs) involving delay and so-called noisy memory. We derive suffcient and necessary maximum principles for a set of controls for the players to be a Nash equilibrium in such a game. Furthermore, we study a corresponding FBSDE involving Malliavin derivatives, which (to the best of our knowledge) is a kind of equation which has not been studied before. The maximum principles give conditions for determining the Nash equilibrium of the game. We use this to derive a closed form Nash equilibrium for a specifc model in economics where the players aim to maximize their consumption with respect recursive utility.
△ Less
Submitted 29 June, 2017;
originally announced June 2017.
-
PixColor: Pixel Recursive Colorization
Authors:
Sergio Guadarrama,
Ryan Dahl,
David Bieber,
Mohammad Norouzi,
Jonathon Shlens,
Kevin Murphy
Abstract:
We propose a novel approach to automatically produce multiple colorized versions of a grayscale image. Our method results from the observation that the task of automated colorization is relatively easy given a low-resolution version of the color image. We first train a conditional PixelCNN to generate a low resolution color for a given grayscale image. Then, given the generated low-resolution colo…
▽ More
We propose a novel approach to automatically produce multiple colorized versions of a grayscale image. Our method results from the observation that the task of automated colorization is relatively easy given a low-resolution version of the color image. We first train a conditional PixelCNN to generate a low resolution color for a given grayscale image. Then, given the generated low-resolution color image and the original grayscale image as inputs, we train a second CNN to generate a high-resolution colorization of an image. We demonstrate that our approach produces more diverse and plausible colorizations than existing methods, as judged by human raters in a "Visual Turing Test".
△ Less
Submitted 5 June, 2017; v1 submitted 19 May, 2017;
originally announced May 2017.
-
Pixel Recursive Super Resolution
Authors:
Ryan Dahl,
Mohammad Norouzi,
Jonathon Shlens
Abstract:
We present a pixel recursive super resolution model that synthesizes realistic details into images while enhancing their resolution. A low resolution image may correspond to multiple plausible high resolution images, thus modeling the super resolution process with a pixel independent conditional model often results in averaging different details--hence blurry edges. By contrast, our model is able…
▽ More
We present a pixel recursive super resolution model that synthesizes realistic details into images while enhancing their resolution. A low resolution image may correspond to multiple plausible high resolution images, thus modeling the super resolution process with a pixel independent conditional model often results in averaging different details--hence blurry edges. By contrast, our model is able to represent a multimodal conditional distribution by properly modeling the statistical dependencies among the high resolution image pixels, conditioned on a low resolution input. We employ a PixelCNN architecture to define a strong prior over natural images and jointly optimize this prior with a deep conditioning convolutional network. Human evaluations indicate that samples from our proposed model look more photo realistic than a strong L2 regression baseline.
△ Less
Submitted 22 March, 2017; v1 submitted 2 February, 2017;
originally announced February 2017.
-
Singular recursive utility
Authors:
Kristina R. Dahl,
Bernt Øksendal
Abstract:
We introduce the concept of singular recursive utility. This leads to a kind of singular BSDE which, to the best of our knowledge, has not been studied before. We show conditions for existence and uniqueness of a solution for this kind of singular BSDE. Furthermore, we analyze the problem of maximizing the singular recursive utility. We derive sufficient and necessary maximum principles for this p…
▽ More
We introduce the concept of singular recursive utility. This leads to a kind of singular BSDE which, to the best of our knowledge, has not been studied before. We show conditions for existence and uniqueness of a solution for this kind of singular BSDE. Furthermore, we analyze the problem of maximizing the singular recursive utility. We derive sufficient and necessary maximum principles for this problem, and connect it to the Skorohod reflection problem. Finally, we apply our results to a specific cash flow. In this case, we find that the optimal consumption rate is given by the solution to the corresponding Skorohod reflection problem.
△ Less
Submitted 16 March, 2017; v1 submitted 30 April, 2015;
originally announced April 2015.
-
Optimal control of systems with noisy memory and BSDEs with Malliavin derivatives
Authors:
Kristina R. Dahl,
Salah-Eldin A. Mohammed,
Bernt Øksendal,
Elin Røse
Abstract:
In this article we consider a stochastic optimal control problem where the dynamics of the state process, $X(t)$, is a controlled stochastic differential equation with jumps, delay and \emph{noisy memory}. The term noisy memory is, to the best of our knowledge, new. By this we mean that the dynamics of $X(t)$ depend on $\int_{t-δ}^t X(s) dB(s)$ (where $B(t)$ is a Brownian motion). Hence, the depen…
▽ More
In this article we consider a stochastic optimal control problem where the dynamics of the state process, $X(t)$, is a controlled stochastic differential equation with jumps, delay and \emph{noisy memory}. The term noisy memory is, to the best of our knowledge, new. By this we mean that the dynamics of $X(t)$ depend on $\int_{t-δ}^t X(s) dB(s)$ (where $B(t)$ is a Brownian motion). Hence, the dependence is noisy because of the Brownian motion, and it involves memory due to the influence from the previous values of the state process.
We derive necessary and sufficient maximum principles for this stochastic control problem in two different ways, resulting in two sets of maximum principles. The first set of maximum principles is derived using Malliavin calculus techniques, while the second set comes from reduction to a discrete delay optimal control problem, and application of previously known results by Øksendal, Sulem and Zhang. The maximum principles also apply to the case where the controller only has partial information, in the sense that the admissible controls are adapted to a sub-$σ$-algebra of the natural filtration.
△ Less
Submitted 27 August, 2015; v1 submitted 17 March, 2014;
originally announced March 2014.
-
Kinetic Temperatures for a Granular Mixture
Authors:
Steven R. Dahl,
Christine M. Hrenya,
Vicente Garzo,
James W. Dufty
Abstract:
An isolated mixture of smooth, inelastic hard spheres supports a homogeneous cooling state with different kinetic temperatures for each species. This phenomenon is explored here by molecular dynamics simulation of a two component fluid, with comparison to predictions of the Enskog kinetic theory. The ratio of kinetic temperatures is studied for two values of the restitution coefficient,…
▽ More
An isolated mixture of smooth, inelastic hard spheres supports a homogeneous cooling state with different kinetic temperatures for each species. This phenomenon is explored here by molecular dynamics simulation of a two component fluid, with comparison to predictions of the Enskog kinetic theory. The ratio of kinetic temperatures is studied for two values of the restitution coefficient, $α=0.95$ and 0.80, as a function of mass ratio, size ratio, composition, and density. Good agreement between theory and simulation is found for the lower densities and higher restitution coefficient; significant disagreement is observed otherwise. The phenomenon of different temperatures is also discussed for driven systems, as occurs in recent experiments. Differences between the freely cooling state and driven steady states are illustrated.
△ Less
Submitted 18 July, 2002; v1 submitted 20 May, 2002;
originally announced May 2002.
-
Inclusive 2H(3He,t) reaction at 2 GeV
Authors:
B. Ramstein,
C. A. Mosbacher,
D. Bachelier,
I. Berquist,
M. Boivin,
J. L. Boyard,
A. Brockstedt,
L. Carlén,
R. Dahl,
P. Ekström,
C. Ellegaard,
C. Gaarde,
T. Hennino,
J. C. Jourdain,
C. Goodman,
J. S. Larsen,
P. Radvanyi,
M. Roy-Stephan
Abstract:
The inclusive 2H(3He,t) reaction has been studied at 2 GeV for energy transfers up to 500 MeV and scattering angles from 0.25 up to 4 degrees. Data are well reproduced by a model based on a coupled-channel approach for describing the NN and N Delta systems. The effect of final state interaction is important in the low energy part of the spectra. In the delta region, the cross-section is very sen…
▽ More
The inclusive 2H(3He,t) reaction has been studied at 2 GeV for energy transfers up to 500 MeV and scattering angles from 0.25 up to 4 degrees. Data are well reproduced by a model based on a coupled-channel approach for describing the NN and N Delta systems. The effect of final state interaction is important in the low energy part of the spectra. In the delta region, the cross-section is very sensitive to the effects of Delta-N interaction and Delta N - NN process. The latter has also a large influence well below the pion threshold. The calculation underestimates the experimental cross-section between the quasi-elastic and the delta peaks; this is possibly due to projectile excitation or purely mesonic exchange currents.
△ Less
Submitted 17 August, 1999;
originally announced August 1999.