to validate our results, we use the domain of cooperative traffic simulation, including use cases such as decentralized routing, grouping and platooning, and information dissemination. There are tools
games in an abstract way. Unfortunately, most of them are based on models of perfect information. Such an assumption is unrealistic when it comes for distributed IT environments. Moreover, it makes the […] motivate the introduction and usage of the language LH. Also, we describe several applications for LH such as error prediction in HPC systems. Finally, we introduce two game-theoretic concepts suitable for […] definition, like in the existing variants of ATL. Last but not least, I show that verification of such abilities can be cheaper than for all the variants of ``ATL with imperfect information'' considered
which occur in all areas of data analysis such as text and web mining, biomedical applications, evaluation of sensor data, etc.\ Prototype-based methods such as the self-organizing map or neural gas offer […] Euclidean data only, and they cannot be applied to more general possibly non-Euclidean metric structures such as alignment distances or compression metric. We developed relational clustering which extends SOM
University of Birmingham, UK Project Description The amount of electronic data in biomedical domains such as medical images, mass spectrometric profiles, or SNP data are dramatically increasing so that automated […] technique in these domains. The application domain puts particular challenges on machine learning methods such as extremely high dimensionality and only sparse data, imbalanced class distributions, etc. We developed
noise reduction methods, and enable identification of mines by means of self-learning algorithms, such as neural networks and vector supporting machines (CI methods). The major advantage of these methods
planning problems into ASP. We developed a method to transform HTN planning problems into logic programs, such that answer sets correspond exactly to valid plans. While the overall methodology is straightforward […] of passengers of whom the origin and destination floors are given, and (2) there are no constraints such as satisfying space requirements of passengers or achieving optimal elevator controls. Source Codes:
ern, Deutsch-Intensiv-Sprachkurse an. Während des Semesters können Sie studienbegleitende Kurse besuchen und Ihre Deutschkenntnisse ausbauen. Außerdem bietet das Sprachenzentrum auch eine Vielzahl von
models zoom out and look at the overall behavior of the crowd by considering averaged quantities such as density. There are close relations between the model classes that are studied in numerous research
