Suche

part of the dedicated and friendly team. I did my Masters in Usability Engineering where I focus to easy the interactions between human and the machine. I am good at analysing users and brainstorming the design […] Das Institut für Software and Systems Engineering hat drei neue Mitarbeiter bekommen. Mohammad Abboush wird die Forschungsgruppe Requirements, Architecture and Lifecycle Engineering verstärken, während […] theory, computational complexity, model-checking, reactive synthesis, and formal verification. I am working with temporal logics and synthesis techniques for fruitful research results, which will be applied

Conference on Autonomous Agents and Multiagent Sytems (AAMAS) to be held in Stockholm, Sweden in 2018. AAMAS is the largest and most influential conference in the area of agents and multiagent systems. For further

matching of multiple SCAL experiments for relative permeability and capillary pressure interpretation. SIAM Conference on Mathematical and Computational Issues in the Geosciences. 2017. Erlangen, Germany […] Benchmark Study on the Johansen Formation Analyzing Compositional and Thermal Effects During CCS. 7th EAGE Saint Petersburg International Conference and Exhibition. 2016. St. Petersburg, Russia. Kontakt Telefon: […] Petroleum Engineering, Montanuniversität Leoben, Österreich 2014 BSc Earth Science Engineering (Oil and Gas Specialization), Universität Miskolc, Ungarn Aufgabenbereiche Studienfachberaterin für Bachelor

three months of injection and production with idle times are performed. This study considers two cases varying in hydrogen concentration blended to the natural gas stream (10% and 80% H2). The benchmark scenario […] format, including the relevant files such as the grid, properties, and schedule. Additionally, the commercial simulator Schlumberger Eclipse and the open-source simulator DuMuX were compared in a first commit […] repository to compare futural commits better. Therefore, we invite you to simulate this study by yourself and compare the present results with other open-source or commercial simulators. The .zip archive can be

converted and applied to the time series domain and evaluated on a subset of the UCR Time Series Classification Archive. These include static methods like Cutout, Cutmix, Mixup, Pixel Shuffle and Sample Pairing […] were achieved through novel neural network architectures, often leading to a rise in model complexity and parameters. Complex models in turn bear the risk of overfitting to the training data, which leads to […] well as various data augmentation methods. While many of these techniques, like Dropout, are data and model agnostic, research in data augmentation methods primarily focused on image data. This thesis

then exhibit that such a procedure is possible for $\L^p$-based Sobolev and Besov spaces at the cost of a $1/p$ derivative, and that the optimal range of the trace operator in the said Besov space is actually […] sense of their restriction (\textit{i.e.}, taking a trace) with respect to one or several variables, and such a restriction yields a function that lies in an appropriate Besov space with a non-integer amount […] sharp. Since this procedure can be extended to the half-space, by a localization argument, a rotation, and a flattening procedure of the boundary, the procedure can be proven to hold for taking the restriction

formulations and to derive combinatorial models. The second concerns the recovery of the structure of the network, given only information at the entries and exits. The talk will demonstrate positive and negative […] heat, and electrical networks. One common model is given by potential-based flows, for which, in general, the corresponding flows depend in a nonlinear way on potentials (e.g., pressures) and are unique

Das Institut für Software and Systems Engineering hat einen neuen Mitarbeiter bekommen. Dr. Benjamin Leiding wird die Forschungsgruppe Sustainable Ecosystems Engineering verstärken. Und weil wir ihn auch […] einfach selbst zu Wort kommen: --- Dr. Benjamin Leiding Hello everyone, My name is Benjamin Leiding, and I joined the ISSE (Sustainable Ecosystems Engineering group) in October 2020 as a Post Doctoral Research […] Research Fellow. I received my Bachelor's degree in Computer Science from the University of Rostock and my Masters's degree from the University of Göttingen. Besides, I received a Ph.D. diploma from the

This solution consists of a logistics vehicle and a delivery robot that work together to bring parcels to the end customer. On March 22, the project results were successfully demonstrated at the NFF in […] in Braunschweig in front of numerous guests and media representatives. The innovation of the project lies in the cooperation between the two robots, which are coordinated via a backend system. A video showing […] The ISSE has provided a control center that monitors the driving status of the logistics vehicle and enables a remote safety driver to intervene if necessary. In addition, the control center has been

application and develop an AI capable of automatically solving the various challenges. For this purpose, a Large Language Model (LLM) will be used as a programming entity to analyze the puzzles and generate […] project is part of an international collaboration with the Babeș-Bolyai University in Cluj, Romania, and includes an intensive study week in Cluj. Core Objectives of the Project: • AI-driven problem-solving […] solve Turing Tumble puzzles. • Interactive web app – Creating a platform where users can solve puzzles and compete against the AI. • International collaboration – Working in an international team with students