Dominic Steinhöfel

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In ten chloralose narcotized, relaxed and constantly oxygenated cats the stomachs were dilated with two different pressures in acute experiments. Photically evoked potentials (PEP) were derived from the visual cortex of the animals. The aim of the work was to find out in which respect the processing of an exteroreceptive stimulus (light stimulus of only 200(More)
TimSort is the main sorting algorithm provided by the Java standard library and many other programming frameworks. Our original goal was functional verification of TimSort with mechanical proofs. However, during our verification attempt we discovered a bug which causes the implementation to crash by an uncaught exception. In this paper, we identify(More)
In 10 cats anaesthetized using chloralose and with muscular relaxation by gallamine and continuous artificial ventilation in acute experiments photically evoked potentials (PEP) were recorded from the visual area of the cortex under different intragastric pressures and varying tidal volumes. It was the aim of this study to examine whether an exteroceptive(More)
  • 1