Suche

“Extracting and Formalizing Ethical Properties for AI Applications“. Abstrakt: With the increasing spread of artificial intelligence (AI) applications comes a rising demand for assurances and safety guarantees […] ethical guidelines for AI systems, they are often too broad and hardly applicable. The high complexity of ethics necessitates precise domain and application-specific rules. To this end, this bachelor thesis […] thesis surveys how ethical AI behaviour can be formalised and aims to provide a first step towards theoretical morals and practically applicable ethical properties for AI applications. Simultaneously, it

oil/gas recovery, CO2/H2 storage and hydrocarbon conversion Shale for oil/gas recovery, CO2/H2 storage and hydrocarbon conversion Mechanisms of flow-chemistry-biology coupling and enhanced caprock integrity […] nanoparticles and methanogens. Mechanisms of flow-chemistry-biology coupling and enhanced caprock integrity in CO2 geological sequestration based on the synergistic effect of nanoparticles and methanogens […] the involved physical and chemical mechanisms and transport properties in porous systems. H2SIM/HySTORAGE H2SIM/HySTORAGE The project 'HySTORAGE' goal is to prove the suitability and integrity of pore storages

in Synchrotron instrumentation and micro- and nano-analysis will be held together with the DXC specialized on newest developments and innovation in laboratory XRD and XRF in Lombard, Illinois. Plenary […] Fittschen together with scientists from DESY and the APS is responsible for organizing this conference on latest research on novel groundbreaking synchrotron and laboratory X-ray spectrometry developments […] The 25th ICXOM - International Conference on X-ray Optics and Microanalysis will be held from 5 - 9 August 2019 at The Westin Lombard Yorktown Center, Lombard IL, USA The program is now online: www.dxcicdd

liquids such as H 2 O, n-butanol, and n-dodecane as well as gases such as H 2 , N 2 , CO 2 , and CH 4 , in addition to liquid-liquid, gas-liquid, gas-gas mixtures and liquid solutions such as NaCl brines […] the qualitative and quantitative determination of species in a sample, as well as the recognition of chemical structures. Our Raman equipment can be coupled with a high-pressure vessel and a high-pressure […] re probe to determine concentrations and structures inline. Additionally, it can be coupled with a zoom probe, allowing to analyze composition and chemical structure at distances up to 40 cm. Raman sp

capabilities and the characteristics of the environment, but to a great extent on how other agents behave and on the interaction with them. In most settings these behaviors influence each other and that complicates […] al) social choice foundations of multi-agent systems multi-agent planning and control norms and social laws argumentation and negotiation decision theory Possible contribution formats are technical articles […] divided into smaller ones and decisions are made in a distributed manner. Also, it often is the case that all involved decision makers are sharing—willingly or not—a global objective and that they are somewhat

of the universities in Ukraine. We also express our full solidarity and sympathy to all persons and in particular to the students and employees with Ukrainian roots at Clausthal University of Technology […] Academic Exchange Service (DAAD) regarding the possibilities of continuing and shaping university and academic relations with Ukraine and Russia. Presidential Board o f Clausthal University of Technology Prof […] Research, Transfer and International Affairs Prof. Dr. Christian Bohn, Vice President for Teaching and Student Affairs Prof. Dr. Heike Schenk-Mathes, Vice President for Equal Opportunity and Young Academics

Data and Cognitive Computing 4 (4), 35 K. Watermeyer, J. Zimmermann (2020) A branch-and-bound procedure for the resource-constrained project scheduling problem with partially renewable resources and general […] 325-343 K. Neumann, J. Zimmermann (2002) Exact and Truncated Branch-and-Bound Procedures for Resource-Constrained Project Scheduling with Discounted Cash Flows and General Temporal Constraints Central European […] the Applications of Computer Sciences and Mathematics in Architecture and Civil Engineering, July 2006, ISSN 1611-4085, 9 S. C. Stark, J. Zimmermann (2006) Models and Methods for Workforce Scheduling: An

Das Institut für Software and Systems Engineering hat einen neuen Mitarbeiter bekommen. Jan Toennemann unterstützt die Forschungsgruppe Dependable and Autonomous Cyber-Physical Systems. Weil wir Jan auch […] Toennemann, I'm 23 years old and very glad to now be part of the DACS research group at ISSE. I've started studying Computer Science at the TU Clausthal in October 2014 and became a research assistant here […] racing cars and participated in several competition events across Europe. In 2017 I finished my Bachelor's degree with a thesis at the instutite, succeeding with a research track paper in 2018/19 and currently

Das Institut für Software and Systems Engineering hat zweineue Mitarbeiter bekommen. Daniel Bamal unterstützt die Forschungsgruppe Dependable and Autonomous Cyber-physical Systems und Alexander Trauscht […] Daniel Bamal and I have joined ISSE “DACS research group” in April 2022 as a Research Assistant. I received my Bachelor’s degree in Computer Engineering from YMCA University of Science and Technology, Faridabad […] Faridabad (India) and Master’s degree in Computer Science from TU Clausthal. I already had the opportunity to explore the on-going research and researchers while working on my Master thesis “Machine L

effort and cost. ML-based fault detection and diagnosis outperforms other approaches in terms of accuracy, development speed and effort. However, most of the current methods rely on the quality and labeled […] seiner Masterarbeit lautet: “Detection and Identification of Simultaneous Known and Unknown Faults in the Automotive Software Systems Based on HIL Simulation Tests and Deep Learning Techniques “. Abstrakt: […] To overcome this challenge, an ensemble DL classifier is proposed in this study to detect and classify single and concurrent faults using single fault features. Moreover, an unsupervised DL technique is