Dr. Georg Knepler (1906-2002)

Cv of Dr. Jan-georg Smaus 1.1 Logic Programming

Verification of logic programs with dynamic scheduling. My first work in this area was on programs using delay declarations, in particular, proving termination and absence of runtime errors for such programs [5, 6, 1, 28, 33]. I have developed a more abstract view of dynamic scheduling by defining the so-called input-consuming derivations [8, 28, 32, 34]. More powerful termination conditions we...

Winners of the Csaba Horváth Medal 2000 - Dr . Csaba Horváth 2001 - Dr . Leslie Ettre 2002 - Dr . William S .

Georg Bauer

Editorial Atypical Speech Georg

One of the most important aspects of spoken language is its large degree of variability. Variability in speech is caused by many different sources, for instance, changes of the acoustic environment or transmission channel and differences between speakers or various speaking styles. Successful speech processing systems typically combine several different means to cope with the unwanted variabili...

Georg Friedrich Händel's strokes.

Georg Friedrich Händel was a musical giant and probably the first composer to be the manager and promoter of his own works. The story of his life and illnesses is full of myths, invented and embellished by various biographies. Existing pathographies written by authors from various specialities suggested he suffered from psychiatric diseases like cyclothymia or mania and rheumatologic disorders ...