The critical manifold of the Lorentz-Dirac equation

We investigate the solutions to the Lorentz-Dirac equation and show that its solution flow has a structure identical to the one of renormalization group flows in critical phenomena. The physical solutions of the Lorentz-Dirac equation lie on the critical surface. The critical surface is repelling, i.e. any slight deviation from it is amplified and as a result the solution runs away to infinity. On the other hand, Dirac's asymptotic condition (acceleration vanishes for long times) forces the solution to be on the critical manifold. The critical surface can be determined perturbatively. Thereby one obtains an effective second order equation, which we apply to various cases, in particular to the motion of an electron in a Penning trap

Can an Economic Approach Solve the High-Level Nuclear Waste Problem

Building on the work of Professors O\u27Hare and Kunreuther, Dr. Inhaber proposes and argues for a non-coercive siting strategy that he calls a reverse Dutch auction

Ludwig Tieck : Eckbert the fair

Eckbert the Fair. From Six German Romantic Tales, trans. Ronald Taylor. Dufour Editions. Here is my own more literal translation of the poems as they appear on pp. 21, 27 and 32

Program Synthesis and Linear Operator Semantics

For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general setting of global optimisation. This approach is based on the representation of the semantics of programs and program fragments in terms of linear operators, i.e. as matrices. We exploit in particular the fact that we can automatically generate the representation of the semantics of elementary blocks. These can then can be used in order to compositionally assemble the semantics of a whole program, i.e. the generator of the corresponding Discrete Time Markov Chain (DTMC). We also utilise a generalised version of Abstract Interpretation suitable for this linear algebraic or functional analytical framework in order to formulate semantical constraints (invariants) and optimisation objectives (for example performance requirements).Comment: In Proceedings SYNT 2014, arXiv:1407.493