Steuerung von sechsbeinigen Laufrobotern unter dem Aspekt technischer Anwendungen

Walking robot, legged robot, walking machine, walking vehicle, control system, force control, technical application, kinematics distributed control, embedded system

Dynamic potential fields for guided exploration in virtual environments

Dynamic potential fields, guided exploration, virtual environments, navigation

Hemodynamics and virtual stenting of cerebral aneurysms

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2011

Selection of information in auditory virtual reality

ERP, auditory virtual reality, dichotic listening, selective auditory attention, cocktail-party phenomenon, HRTF

integrated method for improving risk analysis using human factors methods and virtual reality

Magdeburg, Univ., Fak. für Informatik, Diss., 2009

Robust learning in safety-related domains : machine learning methods for solving safety-related application problems

Magdeburg, Univ., Fak. für Informatik, Diss., 2009

Virtual separation of concerns : toward preprocessors 2.0 /von Christian Kästner

Software product line, variability, virtual separation, ifdef, preprocessor, cpp, annotative approaches, annotations

maintenance model for systems with phase-type distributed times to failure

Magdeburg, Univ., Fak. für Mathematik, Diss., 2010

Machine learning with Lipschitz classifiers

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2010

Keyword search across distributed heterogenous structured data sources

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Virtual Reality zur Untersuchung neuronaler Prozesse : Entwicklung und Validierung einer adaptiven Hirn-Computer-Schnittstelle zur dynamischen Interaktion mit Virtual Reality Paradigmen

Magdeburg, Univ., Fak. für Informatik, Diss., 2013

Multimodal automatic user disposition recognition in human-machine interaction

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2013

Citation-based Plagiarism Detection : applying citation pattern analysis to identify currently non-machine-detectible disguised plagiarism in scientific publications

Magdeburg, Univ., Fak. für Informatik, Diss., 2013

A proof that all Seifert 3-manifold groups and all virtual surface groups are conjugacy separable

We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished infinite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.

Increasing the scalability and the speedup of a fish school distributed simulator

El present treball fa un anàlisi i desenvolupament sobre les millores en la velocitat i en l’escalabilitat d'un simulador distribuït de grups de peixos. Aquests resultats s’han obtingut fent servir una nova estratègia de comunicació per als processos lògics (LPs) i canvis en l'algoritme de selecció de veïns que s'aplica a cadascun dels peixos en cada pas de simulació. L’idea proposada permet que cada procés lògic anticipi futures necessitats de dades pels seus veïns reduint el temps de comunicació al limitar la quantitat de missatges intercanviats entre els LPs. El nou algoritme de selecció dels veïns es va desenvolupar amb l'objectiu d'evitar treball innecessari permetent la disminució de les instruccions executades en cada pas de simulació i per cadascun del peixos simulats reduint de forma significativa el temps de simulació.