TY - GEN
AU - Beckendorf, Björn
ID - 18029
TI - Visualisierung zu Algorithmen verteilter Netzwerksysteme
ER -
TY - GEN
AB - Software verification competitions, such as the annual SV-COMP, evaluate software verification tools with respect to their effectivity and efficiency. Typically, the outcome of a competition is a (possibly category-specific) ranking of the tools. For many applications, such as building portfolio solvers, it would be desirable to have an idea of the (relative) performance of verification tools on a given verification task beforehand, i.e., prior to actually running all tools on the task.In this paper, we present a machine learning approach to predicting rankings of tools on verification tasks. The method builds upon so-called label ranking algorithms, which we complement with appropriate kernels providing a similarity measure for verification tasks. Our kernels employ a graph representation for software source code that mixes elements of control flow and program dependence graphs with abstract syntax trees. Using data sets from SV-COMP, we demonstrate our rank prediction technique to generalize well and achieve a rather high predictive accuracy. In particular, our method outperforms a recently proposed feature-based approach of Demyanova et al. (when applied to rank predictions).
AU - Czech, Mike
AU - Hüllermeier, Eyke
AU - Jakobs, Marie-Christine
AU - Wehrheim, Heike
ID - 72
TI - Predicting Rankings of Software Verification Competitions
ER -
TY - CONF
AU - Melnikov, Vitalik
AU - Hüllermeier, Eyke
ID - 3325
T2 - Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017
TI - Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics
ER -
TY - JOUR
AU - Wenger, T.
AU - Ober-Blöbaum, S.
AU - Leyendecker, S.
ID - 20106
IS - 1
JF - PAMM
TI - Variational integrators of mixed order for constrained and unconstrained systems acting on multiple time scales
VL - 17
ER -
TY - JOUR
AU - Ober-Blöbaum,, S.
ID - 20093
IS - 10
JF - IEEE Transactions on Automatic Control
TI - Second-order switching time optimization for switched dynamical systems
VL - 62
ER -
TY - CONF
AU - Leyendecker, S.
ID - 20098
T2 - ECCOMAS Thematic Conference on Multibody Dynamics
TI - Variational multirate integration in discrete mechanics and optimal control
ER -
TY - CONF
AU - Polevoy, Gleb
AU - de Weerdt, M.M.
ID - 17653
KW - interaction
KW - reciprocation
KW - contribute
KW - shared effort
KW - curbing
KW - convergence
KW - threshold
KW - Nash equilibrium
KW - social welfare
KW - efficiency
KW - price of anarchy
KW - price of stability
T2 - Proceedings of the 29th Benelux Conference on Artificial Intelligence
TI - Reciprocation Effort Games
ER -
TY - CHAP
AU - Wünsche, Marc
AU - Henkel, Katharina
AU - Teutenberg, Dominik
AU - Meschut, Gerson
AU - Mailänder, Sebastian
ID - 19387
SN - 9783658184445
T2 - Kunststoffe erfolgreich kleben
TI - Auslegung geklebter Kunststofffügeteile
ER -
TY - JOUR
AU - Nomikou, Iris
AU - Leonardi, Giuseppe
AU - Radkowska, Alicja
AU - Rączaszek-Leonardi, Joanna
AU - Rohlfing, Katharina
ID - 20245
JF - Frontiers in Psychology
SN - 1664-1078
TI - Taking Up an Active Role: Emerging Participation in Early Mother–Infant Interaction during Peekaboo Routines
ER -
TY - JOUR
AU - Folgar, Ribadas H.
AU - Böddeker, T.
AU - Chergui, A.
AU - Ivanjko, Martin
AU - Gili, F.
AU - Behrens, S.
ID - 20288
JF - Procedia Structural Integrity
TI - Joining TWIP-Steel Simulation Models
ER -
TY - GEN
AU - Ditz, Michael
AU - Meschut, Gerson
AU - Grothe, Richard
AU - Grundmeier, Guido
ID - 20315
KW - ZM
KW - ZnMgAl
TI - Entwicklung von Bewertungsmethoden und Richtlinien für das Kleben von ZnMgAl-legierungsbeschichteten Stahlfeinblechen
ER -
TY - CONF
AU - Çavdar, Serkan
AU - Teutenberg, Dominik
AU - Meschut, Gerson
ID - 20358
T2 - 40th Annual Meeting of The Adhesion Society
TI - Investigation of fatigue strength of adhesively bonded joints among multi-channel load conditions
ER -
TY - JOUR
AU - Dressler, Falko
AU - Klingler, Florian
AU - Sommer, Christoph
AU - Cohen, Reuven
ID - 16371
JF - IEEE/ACM Transactions on Networking
SN - 1063-6692
TI - Not All VANET Broadcasts Are the Same: Context-Aware Class Based Broadcast
ER -
TY - GEN
AU - Krüger, Stefan
AU - Späth, Johannes
AU - Ali, Karim
AU - Bodden, Eric
AU - Mezini, Mira
ID - 20555
KW - ITSECWEBSITE
TI - CrySL: Validating Correct Usage of Cryptographic APIs
ER -
TY - JOUR
AB - Controlling light emission out of subwavelength nanoslit/aperture structures is of great important for highly integrated photonic circuits. Here we propose a new method to achieve direction-tunable emission based on a compact metallic microcavity with double nanoslit. Our method combines the principles of Young’s interference and surface plasmon polaritons interference. We show that the direction of the far-field beam can be controlled over a wide range of angles by manipulating the frequency and relative phase of light arriving at the two slits, which holds promise for applications in the ultracompact optoelectronic devices.
AU - Song, Xiaohong
AU - Wang, Nini
AU - Yan, Ming
AU - Lin, Cheng
AU - Förstner, Jens
AU - Yang, Weifeng
ID - 3832
IS - 12
JF - Optics Express
KW - tet_topic_plasmonics
SN - 1094-4087
TI - Direction-tunable enhanced emission from a subwavelength metallic double-nanoslit structure
VL - 25
ER -
TY - CONF
AU - Pohlmann, Uwe
AU - Hüwe, Marcus
ED - Jürjens, Jan
ED - Schneider, Kurt
ID - 20803
T2 - GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings
TI - Model-Driven Allocation Engineering – Abridged Version
ER -
TY - THES
AB - Multiobjective optimization plays an increasingly important role in modern applications, where several criteria are often of equal importance. The task in multiobjective optimization and multiobjective optimal control is therefore to compute
the set of optimal compromises (the Pareto set) between the conflicting objectives.
Since – in contrast to the solution of a single objective optimization problem – the
Pareto set generally consists of an infinite number of solutions, the computational
effort can quickly become challenging. This is even more the case when many problems have to be solved, when the number of objectives is high, or when the objectives
are costly to evaluate. Consequently, this thesis is devoted to the identification and
exploitation of structure both in the Pareto set and the dynamics of the underlying
model as well as to the development of efficient algorithms for solving problems with
additional parameters, with a high number of objectives or with PDE-constraints.
These three challenges are addressed in three respective parts.
In the first part, predictor-corrector methods are extended to entire Pareto sets.
When certain smoothness assumptions are satisfied, then the set of parameter dependent Pareto sets possesses additional structure, i.e. it is a manifold. The tangent
space can be approximated numerically which yields a direction for the predictor
step. In the corrector step, the predicted set converges to the Pareto set at a new
parameter value. The resulting algorithm is applied to an example from autonomous
driving.
In the second part, the hierarchical structure of Pareto sets is investigated. When
considering a subset of the objectives, the resulting solution is a subset of the Pareto
set of the original problem. Under additional smoothness assumptions, the respective subsets are located on the boundary of the Pareto set of the full problem. This
way, the “skeleton” of a Pareto set can be computed and due to the exponential
increase in computing time with the number of objectives, the computations of
these subsets are significantly faster which is demonstrated using an example from
industrial laundries.
In the third part, PDE-constrained multiobjective optimal control problems are
addressed by reduced order modeling methods. Reduced order models exploit the
structure in the system dynamics, for example by describing the dynamics of only the
most energetic modes. The model reduction introduces an error in both the function values and their gradients, which has to be taken into account in the development of
algorithms. Both scalarization and set-oriented approaches are coupled with reduced
order modeling. Convergence results are presented and the numerical benefit is
investigated. The algorithms are applied to semi-linear heat flow problems as well
as to the Navier-Stokes equations.
AU - Peitz, Sebastian
ID - 10594
TI - Exploiting structure in multiobjective optimization and optimal control
ER -
TY - JOUR
AU - Harder, G.
AU - Ansari, V.
AU - Bartley, Tim
AU - Brecht, Benjamin
AU - Silberhorn, Christine
ID - 9830
JF - Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
SN - 1364-503X
TI - Harnessing temporal modes for multi-photon quantum information processing based on integrated optics
ER -
TY - JOUR
AU - Müller, Christina
AU - Grimminger, Angela
AU - Caroli, Brigitte
AU - Rohlfing, Katharina
ID - 20207
JF - Frühförderung Interdisziplinär
TI - Diagnostik des vorsprachlichen Kommunikationsverhaltens: Pilotstudie zur Konstruktvalidität eines neuen Elternfragebogens (Komm!-Bogen).
VL - 4
ER -
TY - CHAP
AU - Thommes, Kirsten
ED - Müller, David
ID - 21130
SN - 9783110517163
T2 - Controlling für kleine und mittlere Unternehmen
TI - Managementpraktiken in KMU
ER -