Ready-made cellular plugs heal skin wounds
Coles, M
Buckley, C
Nature
volume 576
issue 7786
215-216
(27 Nov 2019)
Certified reinforcement learning with logic guidance
Hasanbeig, H
Kroening, D
Abate, A
Artificial Intelligence
volume 322
103949
(Sep 2023)
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
Hasanbeig, M
Jeppu, N
Abate, A
Melham, T
Kroening, D
volume abs/1911.10244
(01 Jan 2019)
Modular Deep Reinforcement Learning with Temporal Logic Specifications.
Yuan, L
Hasanbeig, M
Abate, A
Kroening, D
CoRR
volume abs/1909.11591
(01 Jan 2019)
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems.
Cauchi, N
Laurenti, L
Lahijanian, M
Abate, A
Kwiatkowska, M
Cardelli, L
CoRR
volume abs/1901.01576
(01 Jan 2019)
Logically-Constrained Neural Fitted Q-iteration.
Hasanbeig, M
Abate, A
Kroening, D
AAMAS
2012-2014
(2019)
Trapped orbits and solar-neighbourhood kinematics
Binney, J
Monthly Notices of the Royal Astronomical Society
volume 495
issue 1
895-904
(11 Jun 2020)
Angle-action variables for orbits trapped at a Lindblad resonance
Binney, J
Monthly Notices of the Royal Astronomical Society
volume 495
issue 1
886-894
(11 Jun 2020)
Model selection and local geometry
EVANS, R
Annals of Statistics
volume N/A
issue N/A
N/A-N/A
(11 Dec 2020)
Tue, 10 Mar 2020
14:30
14:30
L2
Random smoothies: C-infinity but nowhere analytic
Nick Trefethen
Abstract
Since Weierstrass it has been known that there are functions that are continuous but nowhere differentiable. A beautiful example (with probability 1) is any Brownian path. Brownian paths can be constructed either in space, via Brownian bridge, or in Fourier space, via random Fourier series.
What about functions, which we call "smoothies", that are $C^\infty$ but nowhere analytic? This case is less familiar but analogous, and again one can do the construction either in space or Fourier space. We present the ideas and illustrate them with the new Chebfun $\tt{smoothie}$ command. In the complex plane, the same idea gives functions analytic in the open unit disk and $C^\infty$ on the unit circle, which is a natural boundary.