Refine
Departments, institutes and facilities
- Fachbereich Wirtschaftswissenschaften (1241)
- Fachbereich Informatik (1148)
- Fachbereich Angewandte Naturwissenschaften (765)
- Fachbereich Ingenieurwissenschaften und Kommunikation (635)
- Institut für funktionale Gen-Analytik (IFGA) (584)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (485)
- Präsidium (404)
- Fachbereich Sozialpolitik und Soziale Sicherung (396)
- Institute of Visual Computing (IVC) (313)
- Institut für Cyber Security & Privacy (ICSP) (307)
Document Type
- Article (2427)
- Conference Object (1805)
- Part of a Book (941)
- Book (monograph, edited volume) (452)
- Part of Periodical (409)
- Report (201)
- Contribution to a Periodical (118)
- Doctoral Thesis (106)
- Working Paper (94)
- Preprint (90)
- Master's Thesis (64)
- Lecture (62)
- Conference Proceedings (54)
- Bachelor Thesis (43)
- Patent (40)
- Research Data (27)
- Video (18)
- Other (18)
- Book review (15)
- Diploma Thesis (9)
- Periodical (9)
- Study Thesis (5)
- Postdoctoral thesis (1)
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)
Information spielt in jeder arbeitsteilig organisierten Volkswirtschaft eine wichtige Rolle. Nur durch den Austausch von Informationen ist eine Koordination von Leistungserstellungs- und Allokationsprozessen möglich. "Alles das, was ... geteilt, gespalten oder weiter untergliedert – mit einem Wort: was aufgelöst worden ist, muß durch ein System von Information und Kommunikation wieder verbunden werden" (1). Ein Betrieb ist ohne Informationsfluß im Inneren und nach außen schlichtweg nicht funktionsfähig.
Das System SAP R/3
(1994)
Information
(1993)
Towards a Generalization of Production Theory - "Soft" Production Functions Using Fuzzy Set Theory
(1992)
Virtuelle Maschinen
(1985)
Extraction of text information from visual sources is an important component of many modern applications, for example, extracting the text from traffic signs on a road scene in an autonomous vehicle. For natural images or road scenes this is a unsolved problem. In this thesis the use of histogram of stroke widths (HSW) for character and noncharacter region classification is presented. Stroke widths are extracted using two methods. One is based on the Stroke Width Transform and another based on run lengths. The HSW is combined with two simple region features– aspect and occupancy ratios– and then a linear SVM is used as classifier. One advantage of our method over the state of the art is that it is script-independent and can also be used to verify detected text regions with the purpose of reducing false positives. Our experiments on generated datasets of Latin, CJK, Hiragana and Katakana characters show that the HSW is able to correctly classify at least 90% of the character regions, a similar figure is obtained for non-character regions. This performance is also obtained when training the HSW with one script and testing with a different one, and even when characters are rotated. On the English and Kannada portions of the Chars74K dataset we obtained over 95% correctly classified character regions. The use of raycasting for text line grouping is also proposed. By combining it with our HSW-based character classifier, a text detector based on Maximally Stable Extremal Regions (MSER) was implemented. The text detector was evaluated on our own dataset of road scenes from the German Autobahn, where 65% precision, 72% recall with a f-score of 69% was obtained. Using the HSW as a text verifier increases precision while slightly reducing recall. Our HSW feature allows the building of a script-independent and low parameter count classifier for character and non-character regions.
Advanced driver assistance systems (ADAS) are technology systems and devices designed as an aid to the driver of a vehicle. One of the critical components of any ADAS is the traffic sign recognition module. For this module to achieve real-time performance, some preprocessing of input images must be done, which consists of a traffic sign detection (TSD) algorithm to reduce the possible hypothesis space. Performance of TSD algorithm is critical.
One of the best algorithms used for TSD is the Radial Symmetry Detector (RSD), which can detect both Circular [7] and Polygonal traffic signs [5]. This algorithm runs in real-time on high end personal computers, but computational performance of must be improved in order to be able to run in real-time in embedded computer platforms.
To improve the computational performance of the RSD, we propose a multiscale approach and the removal of a gaussian smoothing filter used in this algorithm. We evaluate the performance on both computation times, detection and false positive rates on a synthetic image dataset and on the german traffic sign detection benchmark [29].
We observed significant speedups compared to the original algorithm. Our Improved Radial Symmetry Detector is up to 5.8 times faster than the original on detecting Circles, up to 3.8 times faster on Triangle detection, 2.9 times faster on Square detection and 2.4 times faster on Octagon detection. All of this measurements were observed with better detection and false positive rates than the original RSD.
When evaluated on the GTSDB, we observed smaller speedups, in the range of 1.6 to 2.3 times faster for Circle and Regular Polygon detection, but for Circle detection we observed a decreased detection rate than the original algorithm, while for Regular Polygon detection we always observed better detection rates. False positive rates were high, in the range of 80% to 90%.
We conclude that our Improved Radial Symmetry Detector is a significant improvement of the Radial Symmetry Detector, both for Circle and Regular polygon detection. We expect that our improved algorithm will lead the way to obtain real-time traffic sign detection and recognition in embedded computer platforms.
Der Einsatz von Agentensystemen ist vielfältig, dennoch sind aktuelle Realisierungen lediglich in der Lage primär regelkonformes oder aber „geskriptetes“ Verhalten auch unter Einsatz von randomisierten Verfahren abzubilden. Für eine realistische Repräsentation sind jedoch auch Abweichungen von den Regeln notwendig, die nicht zufällig sondern kontextbedingt auftreten. Im Rahmen dieses Forschungsprojektes wurde ein realitätsnaher Straßenverkehrssimulator realisiert, der mittels eines detailliert definierten Systems für kognitive Agenten auch diese irregulären Verhaltensweisen generiert und somit ein realistisches Verkehrsverhalten für die Verwendung in VR-Anwendungen simuliert. Durch das Erweitern der Agenten mit psychologischen Persönlichkeitsprofilen, basierend auf dem „Fünf-Faktoren-Modell“, zeigen die Agenten individualisierte und gleichzeitig konsistente Verhaltensmuster. Ein dynamisches Emotionsmodell sorgt zusätzlich für eine situationsbedingte Adaption des Verhaltens, z.B. bei langen Wartezeiten. Da die detaillierte Simulation kognitiver Prozesse, der Persönlichkeitseinflüsse und der emotionalen Zustände erhebliche Rechenleistungen verlangt, wurde ein mehrschichtiger Simulationsansatz entwickelt, der es erlaubt den Detailgrad der Berechnung und Darstellung jedes Agenten während der Simulation stufenweise zu verändern, so dass alle im System befindlichen Agenten konsistent simuliert werden können. Im Rahmen diverser Evaluierungsiterationen in einer bestehenden VR-Anwendung – dem FIVIS-Fahrradfahrsimulator des Antragstellers - konnte eindrucksvoll nachgewiesen werden, dass die realisierten Konzepte die ursprünglich formulierten Forschungsfragestellung überzeugend und effizient lösen.
Neue technologische Entwicklungen basieren immer mehr auf einer
zunehmenden Mathematisierung, gerade in den Ingenieurwissenschaften.
Nicht erst seit PISA ist jedoch zu beobachten, dass sich das
belastbare mathematische Grundwissen vieler Studienanfänger in den letzten Jahren verringert hat.
Im vorliegenden Beitrag wird dieses Spannungsfeld, in dem sich die Ingenieurmathematik befindet, aus Sicht von Fachhochschuldozenten beschrieben. Ausgehend von den Ausbildungszielen der Ingenieurmathematik werden Anforderungen an die Schulmathematik abgeleitet.
Diese Anforderungen werden beispielhaft für die Einführung und den Umgang mit den mathematischen Objekten Zahlen, Terme, Gleichungen und Funktionen konkretisiert.
Ziel ist eine Sensibilisierung von Mathematiklehrerinnen und -lehrern, um ihre Schulabsolventinnen und -absolventen besser für ein zukünftiges ingenieurwissenschaftliches Studium zu rüsten.
An Hochschulen ist eine zunehmende generationale Durchmischung der Beschäftigten zu beobachten (vgl. Gülker 2011). Erklärungsansätze, warum dies so ist, beziehen sich insbesondere auf zwei Entwicklungen: zum einen den demografischen Wandel, zum anderen einen sich verändernden Führungsstil in Organisationen.
Schon der Titel des Jahresberichts 2013 "Den Wandel gestalten: Hochschule stellt sich drängenden Fragen der Gesellschaft" offenbart, welche Bedeutung gesellschaftlichen, wirtschaftlichen und technologischen Veränderungen an der Hochschule beigemessen wird.
Dieses Schwerpunkthema zieht sich folglich wie ein roter Faden durch die Inhalte des 90 Seiten starken Jahresberichts, ohne dabei die enorme Vielfalt von Forschung und Lehre an der Hochschule Bonn-Rhein-Sieg aus den Augen zu verlieren. Ob nun die Ergründung von Lücken in der Robotersicherheit während eines europäischen Intensivprogramms, ein Bericht aus dem Krisengebiet Philippinen von einer Absolventin, die als Organisatorin für Care International tätig ist, oder das Kapitel "Was bedeutet Wandel?" - der Jahresbericht bildet das ganze Spektrum der Möglichkeiten, Aktivitäten und Erkenntnisse der Hochschulangehörigen ab.
Auf dem Weg zur Promotion: Zur Benachteiligung von Fachhochschul-Absolventinnen und -Absolventen
(2012)
Das Team aus Sascha Czornohus, Katrin Dobersalske, Fabian Heuel und Nina Petrow bearbeitet mit seinem „Aufsatz Auf dem Weg zur Promotion: Strukturelle Benachteiligung von Fachhochschul-Absolventinnen und -Absolventen“ ein hochschulpolitisch brisantes und daher sensibles Thema, das die Hochschulpolitik inzwischen in offener Auseinandersetzung beschäftigt. Seit die Forschung unstreitig zu den Aufgaben der Fachhochschulen zählt, Promotion zu den Berufungsvoraussetzungen an ihnen gehört und alle Professoren an Universitäten ausgebildet wurden, wurde die Forderung nach Promotionszugängen für die Master-Absolventen der Fachhochschulen immer lauter. Teillösungen wurden gefunden, aber die Debatte wird breiter und umfasst inzwischen (auf dem Hintergrund der Profil- und Schwerpunktbildung mit sehr unterschiedlichem Ausbau der Fächer) die Frage, ob überhaupt ganzen Hochschulen das Promotionsrecht verliehen werden sollte oder von Fachbereich zu Fachbereich verschieden – auch bei Universitäten. Die Überzeugung, dass die Verteilung des Promotionsrechts in Deutschland überprüft werden sollte, breitet sich aus. Das HSW ist an der breiteren Diskussion dieses Themas interessiert.
The objective of the presented approach is to develop a 3D-reconstruction method for micro organisms from sequences of microscopic images by varying the level-of-focus. The approach is limited to translucent silicatebased marine and freshwater organisms (e.g. radiolarians). The proposed 3D-reconstruction method exploits the connectivity of similarly oriented and spatially adjacent edge elements in consecutive image layers. This yields a 3D-mesh representing the global shape of the objects together with details of the inner structure. Possible applications can be found in comparative morphology or hydrobiology, where e.g. deficiencies in growth and structure during incubation in toxic water or gravity effects on metabolism have to be determined.