Suche

Veröffentlichungen Binder, Angela ; Langefeld, Oliver ; Hutwalker, Alexander ; Mackensen, Antje: I+T1: Modular class design for highly diverse student groups ( 30th Annual Meeting of Society of Mining […] (2019), Nr. 6, S. 544–553 Binder, Angela ; Mackensen, Antje ; Hutwalker, Alexander ; Langefeld, Oliver: I+T1: Innovationen in traditionellen MINT-Studiengängen: Lehrveranstaltungsdesign im Bergbau mit modularen

Intelligent Tutoring System for legal argumentation (called "LARGO") is currently being redesigned so that it engages students more actively and thus benefits students in regular classroom usage. The following […] creation) over the WWW - Development of scripting and deployment options for the system in order to make it more flexible and facilitate the remote usage and setup of the system - Conducting pilot tests with

cover the whole area and only a certain number of point data is given in the given area. Given that it is practically impossible to take measurements of all the required regions, interpolation techniques […] field of waste disposal management by utilizing the capabilities of GIS for spatio-temporal analysis. It empowers decision-makers and environmental planners with tools to monitor, manage, and reduce the impacts

overcome these barriers. More specifically how digital transformation can be shaped to ensure that it supports transitions towards more sustainable societies? In this regard the Research group "Sustainable

erarbeitet, in dem ein Bogen ausgehend von Jazzstandards aus den 1940er Jahren wie Sammy Nesticos „It‘s oh, so nice“ und das von Neil Hefti für das Count Basie Orchestra komponierte „Li‘l Darlin‘“ bis

vorerst sein Ende. Durch terminliche und gesundheitliche Zwischenfälle wurde dann auch die Arbeit unserer IT Jungs ausgebremst. Generell verursachte Corona zwar eine zweiwöchige Pause, aber unser Projekt hat

provide actionable advice to address them. This work, led by Prof. Mohammad Ghafari the chair of Secure IT Systems in TU-Clausthal, is accepted to 38 th IEEE International Conference on Software Maintenance

eme. Dabei erfährst Du die alltäglichen Probleme von Kunden und lernst auch die kleinen Tücken der IT kennen. Fachkraft als Veranstaltungstechniker*in Fachkraft als Veranstaltungstechniker*in Du sorgst

equivalence relations, one per strategic modality. I present a sound model checking algorithm: This makes it possible to perform model checking on abstractions (which are much smaller in size) rather than on

much bigger End- To-End systems. The architecture based on smaller, highly specialised networks makes it easier to prove the behavioral features of the networks separately, as well as the driving system as