Anspruch nehmen. Dank der Förderung durch das Bundesministerium für Wirtschaft und Energie zahlen die Ratsuchenden nur den Eigenanteil von 30 €. Für einkommensschwache Haushalte mit entsprechendem Nachweis ist
Punkte in Lengede verblieben und nur einer mit zurück nach Clausthal ging. Nach dem Spiel ging die Fehlersuche natürlich los. Die Favoriten des Autors sind (auch aus eigener Erfahrung) der mentale Abschluss
Höchstleistungsrechnen (HLRN) durchgeführt werden. Es sollen unterschiedliche Szenarien zur Belüftung untersucht und bewertet werden. Die Ausschreibung richtet sich an Studierende aus den Bereichen des Maschinenbaus
Studierende aus anderen Studiengängen können die Veranstaltung bei freien Teilnehmerplätzen ebenfalls besuchen. Die Lehrveranstaltung stellt eine praktische Einführung in die Programmiersprache FORTRAN vor dem
tagtäglich seine kilometerweit entfernte Arbeit erreichen muss und dafür eine klimafreundliche Lösung sucht, steht oft vor einer großen Herausforderung. Als verantwortungsvolle Mitbürger setzen wir uns für […] alle gerne. Im Auto sind wir immer mehr mit Staus, ruppigen Mit-Verkehrsteilnehmern, nerviger Parkplatzsuche und explodierender Spritpreise konfrontiert. Öffentlicher Nahverkehr könnte eine gute Alternative
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
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
in validating various functionalities of the Automated Driving Systems (ADS). Tools and standards such as OpenScenario, OpenDrive and OpenCRG illustrate the effort in this direction. Aviation has started […] standard scenario definition language for aviation. TUC's scenario definition language (SDL) is one such example. Throughout the project, TUC employed the approach of scenario modelling for various partners
mechanical test bench. One of the biggest challenges in developing complex cyber physical systems, such as this one in MuStHaF, is their verification and validation. It is crucial to prove the safe operation
auftreten, die lange anhalten und zu Schäden an Betriebsmitteln führen. Für das Projekt SiNED wurde untersucht, ob diese temporären Überspannungen ebenfalls Auswirkungen auf das Verteilnetz und dessen Schutzsysteme […] asymmetrische Belastung des Netzes und somit die Höhe der temporären Überspannungen bestimmen. Erste Untersuchungen zeigen, dass asymmetrische Belastungen durch entsprechende Regularien derart nur in gewissen
