Lister Hill Auditorium National Institutes of Health Bethesda, Maryland, USA Co-Sponsors: American Dietetic Association American Society for Clinical Nutrition Centers for Disease Control and Prevention Department of Defense Fogarty International Center Food and Drug Administration/Center for Food Safety & Applied Nutrition National Institute of Dental and Craniofacial Research National Institu...

We present Cobra, a modern proof presentation framework, leveraging cutting-edge presentation technology together with a state of the art interactive theorem prover to present formalized mathematics as active documents. Cobra provides both an easy way to present proofs and a novel approach to auditorium interaction. The presentation is checked live by the theorem prover, and moreover allows for...

Um einem breiten Auditorium und den unterschiedlichen fachspezifischen Ansprüchen an ein eLearning-System gerecht zu werden, werden diverse Methoden der Benutzeradaption besprochen, die von intelligenten Assistenten über Storyboarding bis hin zu Verifikationsund Validierungsmechanismen und Lernerprofiling reichen. In diesem Artikel definieren wir den Begriff des Virtuellen Labors und beschreibe...