Suche

started to present some results on model checking of ATL formulas for agents with incomplete information and imperfect memory (w.r.t history). A good discussion resulted from this trigger...

We congratulate Julian Teusch, Fatema T. Johora, and Jörg P. Müller, along with their co-authors from Zukunftslabor Mobilität, on the acceptance of their paper, " A Systematic Literature Review on Machine

Jun.-Prof. Dr. Robert Bredereck Jun.-Prof. Dr. Robert Bredereck Abteilung Foundations of Algorithms and Artificial Intelligence Institut für Informatik Technische Universität Clausthal Raum 205 Julius-A

Deutschland und erhielt dort ihren Masterabschluss. Sie war bereits bei der State-owned Assets Supervision and Administration Commission (SASAC) des Staatsrates und bei Pfizer Investment Co., Ltd. tätig. Derzeit

Alle Angaben im Vorlesungsverzeichnis des WS 2025/26 stehen unter Vorbehalt und können sich noch ändern! Für Studierende: Die Veranstaltungen stehen spätestens zum 01.10.2025 auch im Stud.IP zur Verfügung

small modulation index by clipping and synchronous sampling for heterodyne interferometers. Scientific Reports, 13(1), 8570 [3] Yu, M., Gewecke, P., Schnabel, R. and Rembe, C. (2023) High-precision in […] 90 (Issue s1), pp. 79-84. https://doi.org/10.1515/teme-2023-0079 [4] Yu, M., Schewe, M., Bauer G., and Rembe, C. (2021) Impact of a clipped phase-modulated photodiode signal on the demodulated signal In:

TE/documents/Ueber_uns/Job_Offers/Flyer_CUMTB_EN.pdf Sommercamp an der China University of Mining and Technology in Peking CO2-arme Energie und nachhaltige Entwicklung https://www.ugsnet.de/de/vacanci […] Drilling & Heavy Workover Rigs are universally applicable for the execution of medium-heavy drilling and workover jobs https://external-weatherford.icims.com/jobs/250576/intern-rde/job Praktikum für Bachelor […] paid internship programs are ideal for those looking to gain hands on experience in a leading oil and gas services company in your chosen field. https://external-weatherford.icims.com/jobs/250619/inte

Kontakt ANSCHRIFT & ANREISE Institute for Software and Systems Engineering Arnold-Sommerfeld-Straße 1 38678 Clausthal-Zellerfeld Anreise: Campuskarte, C10 © Chaiyawat/stock.adobe.com Kontakt E-Mail: info

Clausthal IfI kolloquia series - an invited talk by Dipl.-Inf. Oliver Obst about his work on RoboCup and RoboCup itself. Abstract can be found in the flyer. - flyer -

"Atomic spectrometry update - a review of advances in X-ray fluorescence spectrometry and its special application", von Christine Vanhoof, Jeffrey R. Bacon, Ursula E. A. Fittschen und Laszlo Vincze (Journal