OOPS - Oldenburger Online-Publikations-Server (Univ. Oldenburg)
Not a member yet
4628 research outputs found
Sort by
Verification of Neural Networks Containing Non-Linear Activation Functions
Get PDFVerifying the functionality of cyber-physical systems (CPS), including deep neural networks (DNNs), especially in safety-critical domains, presents a range of unresolved complexities. Despite their potential, prevalent computational structures lack scalable, automated verification mechanisms. The inherent size, non-linearity, and non-convexity of artificial neural networks (ANNs) make them particularly challenging for existing verification methods, such as mixed-integer linear programming (MILP) solvers and satisfiability modulo theories (SMT) solvers. This doctoral project undertakes a focused exploration of ANNs with nonlinear activation functions. A significant aspect of this research is the application of the SMT solver iSAT, which is uniquely adept at handling Boolean combinations of linear and nonlinear constraint formulas, even extending to transcendental functions. This capability makes iSAT suitable for verifying the safety properties of ANNs with nonlinear transfer functions
Alternative Zugangswege bei der katheterbasierten Aortenklappenimplantation (TAVI): Vergleichende Betrachtung des transsubclavialen und transfemoralen Zugangsweges in Bezug auf das periprozedurale und postinterventionelle Outcome
Get PDFDie transfemorale (TF) Transkatheter-Aortenklappenimplantation (TAVI) ist eine etablierte Therapie bei hochgradiger Aortenklappenstenose. Ist der Zugang z.B. wegen einer pAVK nicht möglich, bietet die Arteria subclavia (TS) eine Alternative. Diese monozentrische Studie verglich die peri- und postprozeduralen Ergebnisse von TF- und TS-TAVI. Primäre Endpunkte waren Blutungsereignisse, Gefäßkomplikationen und Mortalität, sekundäre Endpunkte technischer Erfolg und Sicherheit nach 30 Tagen. 2305 Patienten wurden zwischen 2017 und 2022 im St.-Johannes-Hospital Dortmund untersucht. Schwere Blutungskomplikationen traten häufiger bei TS-Patienten auf; signifikante Unterschiede in anderen Endpunkten waren nicht erkennbar. Ein TS-Zugangsweg und weibliches Geschlecht waren Prädiktoren für Blutungskomplikationen. Die Ergebnisse der TS-TAVI sind insgesamt vergleichbar mit der TF-TAVI. Somit stellt der TS-Zugangsweg bei vorhandenen Kontraindikationen für einen TF-Zugang eine gute Alternative dar
Interval Reasoning for C11 RAR
Get PDFOwicki-Gries reasoning extends Hoare logic to concurrent programs under the assumption of sequential consistency. In this thesis, we develop a proof calculus using interval reasoning for C11 RAR, a fragment of C11 with relaxed and release-acquire memory operations. Our proof calculus allows all Owicki-Gries proof rules not specific to memory operations to remain unchanged. We use an existing model for the C11 RAR semantics and adapt the assertion language Piccolo to reason on its states. For each thread we overapproximate in which order its thread views might occur in sets of lists, on which we define interval assertions. This way we need only a small number of model-specific assertions, which can be combined to create more complex assertions. We formally prove the soundness of our proof rules and show their utility by verifying a number of C11 litmus tests, and a C11 version of Peterson’s algorithm
From Output to Impact in Entrepreneurship and Sustainability Education
Get PDFDieser Leitfaden befasst sich mit der Notwendigkeit, die Auswirkungen von Ko-Innovationen zwischen Studierenden und Unternehmen im Rahmen der Ausbildung zu nachhaltigem Unternehmertum zu überwachen und mit der Frage, wie ein systematisches Wirkungsmanagement für diese Art von Lehr- und Lernansatz umgesetzt werden kann. Der Leitfaden richtet sich an alle, die an der Entwicklung, Umsetzung oder Evaluierung von SBSC beteiligt sind. Er hilft Praktikern, die Anforderungen und Vorteile der Methode zu verstehen. Zunächst führt der Leitfaden in die Konzepte von CBL und Ko-Innovation ein. Anschließend werden Erkenntnisse aus Interviews mit Akteuren vorgestellt, die Student-Business-Challenges umgesetzt haben. Er skizziert spezifische Schritte und Methoden zur Bewertung und Verbesserung der mittelfristigen Ergebnisse und der langfristigen Wirkungen. Abschließend werden verfügbare Instrumente und Ressourcen erörtert, die eingesetzt werden können und Lehrkräfte bei ihren Evaluierungsbemühungen unterstützen
"Dieses Buch ist keine Anklage, sondern ein Geschenk", Raoul de Jong: Jaguarmann. Aachen, 2024
No full textUntersuchung von sozialen und regionalen Ungleichheiten
No full textUngleichheiten in der gesundheitlichen Versorgung treten sowohl zwischen Individuen als auch zwischen Regionen auf. In diesem Kapitel wird dargestellt, wie Ungleichheiten einzuteilen sind und welche Bedeutung sie im Kontext der gesundheitlichen Versorgung haben. Anschließend werden Möglichkeiten der Messung und Analyse der Ungleichheiten präsentiert und die Herausforderungen diskutiert, die sich in Bezug auf die wissenschaftliche Analyse von Ungleichheiten in der Versorgung wie auch die praktische Anwendung ergeben
Explaining deep learning for ECG analysis: building blocks for auditing and knowledge discovery
No full text
Challenge-based Learning and co-innovation between students and companies - future concepts for modernizing higher education and strengthening the regional innovation capacity
Get PDFThe White Paper presents the results and recommendations for action of the future
discourse “Democratizing Innovation” funded by the Ministry of Science and Culture of the State of Lower Saxony (MWK), Germany. It focuses on two future concepts that can be seen as important levers for modernizing teaching in higher education and strengthening the regional innovation capacity: Firstly, the new teaching and learning approach of Challenge-based Learning (CBL), which has been developed since the early 2000s and has been increasingly used in university teaching over the past ten years. Secondly, collaborative innovation projects between students and companies, which are rapidly gaining in importance as a new form of “open innovation” and “co-innovation”. The future discourse and the White Paper thus bring together two central perspectives on the role of universities that have so far been largely treated
separately in theory and practice: the perspective on teaching in higher education
and the transfer as well as innovation perspective. The integrative consideration of
new learning and innovation formats at the interface of the education and innovation system opens up new opportunities that can contribute to the modernization of higher education institutions and by strengthening the innovation capacity of Lower Saxony, but also of Europe as a whole