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
noch nicht genug! Ebenfalls wurden sie gebeten, eine Präsentation zu machen und den Konzertbesucherinnen und -besuchern zu zeigen, was ihnen an ihrer Heimat wichtig ist - Menschen, Landschaften, Architektur […] Liebe Konzertbesucher, erlauben Sie uns ein Wort vorweg. Unser Verein hat mehr als 20.000 EURO für die Arrangements, für die Proben, für besondere Satzlehrkräfte, usw.) investiert, um Ihnen dieses kostenlose
er Gusseisenlegierungen auf die Auswirkung auf Art und Ausmaß von Graphitentartungen umfassend untersucht. Es soll ein Prognosemodell für die Graphitausbildung in Abhängigkeit von den Einflussfaktoren […] erstellt werden. Des Weiteren werden die Auswirkungen von Wechselwirkungen von Störelementen untersucht, die zu einer Aufhebung von Graphitentartungen in Gusseisen mit Kugelgraphit führen. Am Ende des
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden u. a. pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Mit dem Klick auf Einstellungen können Sie zudem die einzelnen Cookies auswählen, welche Sie akzeptieren wollen. Das Einverständnis in die Verwendung der Cookies können Sie jederzeit, auch teilweise, widerrufen. Weitere Informationen zu Cookies auf dieser Website finden Sie in unserer Datenschutzerklärung und zu uns im Impressum.
