Refine
Departments, institutes and facilities
- Fachbereich Wirtschaftswissenschaften (1243)
- Fachbereich Informatik (1148)
- Fachbereich Angewandte Naturwissenschaften (766)
- Fachbereich Ingenieurwissenschaften und Kommunikation (636)
- Institut für funktionale Gen-Analytik (IFGA) (584)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (485)
- Präsidium (403)
- Fachbereich Sozialpolitik und Soziale Sicherung (402)
- Institute of Visual Computing (IVC) (313)
- Institut für Cyber Security & Privacy (ICSP) (307)
- Institut für Verbraucherinformatik (IVI) (252)
- Internationales Zentrum für Nachhaltige Entwicklung (IZNE) (195)
- Institut für Sicherheitsforschung (ISF) (94)
- Graduierteninstitut (66)
- Institut für Medienentwicklung und -analyse (IMEA) (42)
- Stabsstelle Kommunikation und Marketing (37)
- Centrum für Entrepreneurship, Innovation und Mittelstand (CENTIM) (35)
- Institut für Detektionstechnologien (IDT) (30)
- Zentrum für Innovation und Entwicklung in der Lehre (ZIEL) (29)
- Bibliothek (24)
- Sprachenzentrum (24)
- Zentrum für Ethik und Verantwortung (ZEV) (24)
- Institut für Soziale Innovationen (ISI) (13)
- Verwaltung (12)
- Zentrum für Wissenschafts- und Technologietransfer (ZWT) (10)
- Institut für IT-Service (ITS) (7)
- Institut für KI und Autonome Systeme (A2S) (7)
- Institut für Existenzgründung und Mittelstandsförderung (IfEM) (3)
- International Office (3)
- Gleichstellungsstelle (1)
- Zentrum für Campus-IT (1)
Document Type
- Article (2431)
- Conference Object (1806)
- Part of a Book (942)
- Book (monograph, edited volume) (452)
- Part of Periodical (411)
- Report (201)
- Contribution to a Periodical (118)
- Doctoral Thesis (106)
- Working Paper (94)
- Preprint (90)
Year of publication
Keywords
- Lehrbuch (88)
- Deutschland (34)
- Nachhaltigkeit (30)
- Controlling (25)
- Unternehmen (25)
- Management (20)
- Corporate Social Responsibility (18)
- Betriebswirtschaftslehre (17)
- Digitalisierung (17)
- Machine Learning (17)
We present a model checking algorithm for ∀CTL (and full CTL) which uses an iterative abstraction refinement strategy.
It terminates at least for all transition systems M that have a finite simulation or bisimulation quotient. In contrast to other abstraction refinement algorithms, we always work with abstract models whose sizes depend only on the length of the formula θ (but not on the size of the system, which might be infinite).
In der vorliegenden Arbeit werden Verfahren vorgestellt, die geeignet sind, Modelle des menschlichen kardiovaskulären Systems an individuelle Kreislaufreaktionen anzupassen. Allgemeine Kreislaufmodelle des menschlichen kardiovaskulären Systems sind in der Regel nichtlineare Differentialgleichungssysteme, für die es keine effizienten Optimierungsverfahren gibt. Durch die Einschränkung auf relevante Aspekte (bzgl. der Individualisierungsaufgabe) wird ein solches Modell auf Modelle einfacherer Struktur projiziert, die eine Approximation durch Funktionsapproximatoren erlauben, für welche wiederum effiziente Optimierungsalgorithmen existieren. In Abhängigkeit von der Struktur der Individualisierungsaufgabe kommt zusätzlich ein modifiziertes BFGS-Verfahren zum Einsatz, das Approximationen solcher Modellaspekte verwendet um die Konvergenz der Modellindividualisierung zu verbessern.
The SAP R/3 system
(2000)