zur Karte
Das Institut setzt sich zusammen aus den Teams "Baumechanik", "Statik und Dynamik" und "Continuum Mechanics".
Das Institut ist für die Vermittlung mechanischer Grundlagen, Tragwerksanalyse und zugehörige numerische Methoden im Bauingenieurwesen zuständig.
Das Institut verbindet theoretische und numerische Grundlagenforschung mit experimenteller Validation sowie computergestützter Simulation.
Haben Sie etwas verpasst? Hier finden Sie nochmal alle aktuellen und vergangenen Meldungen.
Teil von:
Sie sind hier:
GmbH bietet fortschrittliche In-Silico-Formulierungsentwicklungsdienstleistungen und modernste Software-Tools zur Optimierung und Rationalisierung Ihrer Formulierungsprozesse an. Um das geistige Eigentum …
Problem nicht nur ein grundlegendes Problem des Entwurfs von Programmiersprachen, sondern auch des Software Developments. Wir werden in diesem Proseminar die unterschiedlichen Lösungsansätze für das Expression …
Typen und logischen Formeln) Bemerkungen Ehemals als "Komponenten- und Service-Orientierte Softwarekonstruktion" angeboten LMSE 2 findet in der zweiten Hälfte der Vorlesungszeit statt LMSE 2 kann in vorheriger …
Typen und logischen Formeln) Kombinatorische Logik Bemerkungen Ehemals als "Logische Methoden des Software Engineering" angeboten LMSE 1 findet in der ersten Hälfte der Vorlesungszeit statt LMSE 1 kann in …
n und algorithmischen Techniken nicht ohne Weiteres in bestehende in-house oder kommerzielle Softwarepakete integriert werden kann. Insbesondere die Rechengebiete für die Strömungssimulationen, die eine …
memory structured in NUMA hierarchies. In order to benefit from these highly parallel systems, the software has to adapt and actively engage with newly available features. However, the processing models forming …
implementation effort, and the threat of state explosion which leads to unsatisfactory performance. Software written in C and C++ is notoriously hard to analyze because of the deliberately unsafe type system …
Fabio}, Doi = {10.1007/s10664-021-10013-5}, Id = {Luo2021}, Isbn = {1573-7616}, Journal = {Empirical Software Engineering}, Number = {1}, Pages = {16}, Title = {TaintBench: Automatic real-world malware benchmarking …
, der Vermeidung von Blockierungskonflikten oder der Sicherstellung fristgerechter Wartung. Die Software berechnet hierzu binnen weniger Minuten robuste Vorschlagspläne, die durch das Planungsteam übernommen …
