"Balancing the self: medicine, politics and regulation of health in twentieth century." Contemporary British History, ahead-of-print(ahead-of-print), pp. 1–2

With the perspective of a future widespread penetration of plug-in electric vehicles (PEVs) imminent challenges arise. Since an uncontrolled way of vehicle charging might impose additional system strain by adding up on existing peak-demands, there exists the necessity to find a charging management procedure, which is beneficial in terms of grid operation and cost. In this thesis a centralized c...

If, in some cataclysm, all of scientific knowledge were to be destroyed, and only one sentence passed on to the next generations of creatures, what statement would contain the most information in the fewest words? I believe it is the atomic hypothesis (or the atomic fact, or whatever you wish to call it) that all things are made of atoms—little particles that move around in perpetual motion, at...

Themost impressivenon-star-freeproperty, firstpointedoutbyWolper [Wol83], “p holds at every even moment” (we in what follows refer to it as P(2)) cannot be expressed by any LTL [Pnu77] formula. As a consequence, numerous extensions or LTL have been presented, such as ETL [VW94], QLTL [SVW87], RLTL [LS07], linear-time μTL [BB87] etc, and all of them are known to be as expressive as (nondetermini...

even ahead of writing the main body of the paper rather than after the fact. C: That’s very good advise, thanks. This is a topic that I, as newly minted editor, have dreaded to look into, the IR. Any sugges-

Top-down tree transducers are a convenient formalism for describing tree transformations. They can be equipped with regular look-ahead, which allows them to inspect a subtree before processing it. In certain cases, such a look-ahead can be avoided and the transformation can be realized by a transducer without look-ahead. Removing the look-ahead from a transducer, if possible, is technically hig...

"A duel of nations: Germany, France, and the diplomacy war 1870–1871." National Identities, ahead-of-print(ahead-of-print), pp. 1–2

We introduce AHEAD (Analogical Hypothesis Elaborator for Activity Detection), a software system we are developing for the DARPA EELD (Evidence Extraction and Link Discovery) program. AHEAD performs case-based hypothesis elaboration using process models. We are applying AHEAD, which embodies a domain-independent approach, to elaborate hypothesized hostile activities. In this application, AHEAD i...