---
_id: '48858'
abstract:
- lang: eng
text: The $$\textbackslash mathcal NP$$-hard multi-criteria shortest path problem
(mcSPP) is of utmost practical relevance, e.~g., in navigation system design and
logistics. We address the problem of approximating the Pareto-front of the mcSPP
with sum objectives. We do so by proposing a new mutation operator for multi-objective
evolutionary algorithms that solves single-objective versions of the shortest
path problem on subgraphs. A rigorous empirical benchmark on a diverse set of
problem instances shows the effectiveness of the approach in comparison to a well-known
mutation operator in terms of convergence speed and approximation quality. In
addition, we glance at the neighbourhood structure and similarity of obtained
Pareto-optimal solutions and derive promising directions for future work.
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Christian
full_name: Grimme, Christian
last_name: Grimme
citation:
ama: 'Bossek J, Grimme C. Solving Scalarized Subproblems within Evolutionary Algorithms
for Multi-criteria Shortest Path Problems. In: Battiti R, Brunato M, Kotsireas
I, Pardalos PM, eds. Learning and Intelligent Optimization. Lecture Notes
in Computer Science. Springer International Publishing; 2019:184–198. doi:10.1007/978-3-030-05348-2_17'
apa: Bossek, J., & Grimme, C. (2019). Solving Scalarized Subproblems within
Evolutionary Algorithms for Multi-criteria Shortest Path Problems. In R. Battiti,
M. Brunato, I. Kotsireas, & P. M. Pardalos (Eds.), Learning and Intelligent
Optimization (pp. 184–198). Springer International Publishing. https://doi.org/10.1007/978-3-030-05348-2_17
bibtex: '@inproceedings{Bossek_Grimme_2019, place={Cham}, series={Lecture Notes
in Computer Science}, title={Solving Scalarized Subproblems within Evolutionary
Algorithms for Multi-criteria Shortest Path Problems}, DOI={10.1007/978-3-030-05348-2_17},
booktitle={Learning and Intelligent Optimization}, publisher={Springer International
Publishing}, author={Bossek, Jakob and Grimme, Christian}, editor={Battiti, Roberto
and Brunato, Mauro and Kotsireas, Ilias and Pardalos, Panos M.}, year={2019},
pages={184–198}, collection={Lecture Notes in Computer Science} }'
chicago: 'Bossek, Jakob, and Christian Grimme. “Solving Scalarized Subproblems within
Evolutionary Algorithms for Multi-Criteria Shortest Path Problems.” In Learning
and Intelligent Optimization, edited by Roberto Battiti, Mauro Brunato, Ilias
Kotsireas, and Panos M. Pardalos, 184–198. Lecture Notes in Computer Science.
Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-05348-2_17.'
ieee: 'J. Bossek and C. Grimme, “Solving Scalarized Subproblems within Evolutionary
Algorithms for Multi-criteria Shortest Path Problems,” in Learning and Intelligent
Optimization, 2019, pp. 184–198, doi: 10.1007/978-3-030-05348-2_17.'
mla: Bossek, Jakob, and Christian Grimme. “Solving Scalarized Subproblems within
Evolutionary Algorithms for Multi-Criteria Shortest Path Problems.” Learning
and Intelligent Optimization, edited by Roberto Battiti et al., Springer International
Publishing, 2019, pp. 184–198, doi:10.1007/978-3-030-05348-2_17.
short: 'J. Bossek, C. Grimme, in: R. Battiti, M. Brunato, I. Kotsireas, P.M. Pardalos
(Eds.), Learning and Intelligent Optimization, Springer International Publishing,
Cham, 2019, pp. 184–198.'
date_created: 2023-11-14T15:58:54Z
date_updated: 2023-12-13T10:44:44Z
department:
- _id: '819'
doi: 10.1007/978-3-030-05348-2_17
editor:
- first_name: Roberto
full_name: Battiti, Roberto
last_name: Battiti
- first_name: Mauro
full_name: Brunato, Mauro
last_name: Brunato
- first_name: Ilias
full_name: Kotsireas, Ilias
last_name: Kotsireas
- first_name: Panos M.
full_name: Pardalos, Panos M.
last_name: Pardalos
extern: '1'
language:
- iso: eng
page: 184–198
place: Cham
publication: Learning and Intelligent Optimization
publication_identifier:
isbn:
- 978-3-030-05348-2
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: Solving Scalarized Subproblems within Evolutionary Algorithms for Multi-criteria
Shortest Path Problems
type: conference
user_id: '102979'
year: '2019'
...
---
_id: '48870'
abstract:
- lang: eng
text: The edge coloring problem asks for an assignment of colors to edges of a graph
such that no two incident edges share the same color and the number of colors
is minimized. It is known that all graphs with maximum degree {$\Delta$} can be
colored with {$\Delta$} or {$\Delta$} + 1 colors, but it is NP-hard to determine
whether {$\Delta$} colors are sufficient. We present the first runtime analysis
of evolutionary algorithms (EAs) for the edge coloring problem. Simple EAs such
as RLS and (1+1) EA efficiently find (2{$\Delta$} - 1)-colorings on arbitrary
graphs and optimal colorings for even and odd cycles, paths, star graphs and arbitrary
trees. A partial analysis for toroids also suggests efficient runtimes in bipartite
graphs with many cycles. Experiments support these findings and investigate additional
graph classes such as hypercubes, complete graphs and complete bipartite graphs.
Theoretical and experimental results suggest that simple EAs find optimal colorings
for all these graph classes in expected time O({$\Delta\mathscrl$}2m log m), where
m is the number of edges and {$\mathscrl$} is the length of the longest simple
path in the graph.
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Dirk
full_name: Sudholt, Dirk
last_name: Sudholt
citation:
ama: 'Bossek J, Sudholt D. Time Complexity Analysis of RLS and (1 + 1) EA for the
Edge Coloring Problem. In: Proceedings of the 15th ACM/SIGEVO Conference on
Foundations of Genetic Algorithms. FOGA ’19. Association for Computing Machinery;
2019:102–115. doi:10.1145/3299904.3340311'
apa: Bossek, J., & Sudholt, D. (2019). Time Complexity Analysis of RLS and (1
+ 1) EA for the Edge Coloring Problem. Proceedings of the 15th ACM/SIGEVO Conference
on Foundations of Genetic Algorithms, 102–115. https://doi.org/10.1145/3299904.3340311
bibtex: '@inproceedings{Bossek_Sudholt_2019, place={New York, NY, USA}, series={FOGA
’19}, title={Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring
Problem}, DOI={10.1145/3299904.3340311},
booktitle={Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic
Algorithms}, publisher={Association for Computing Machinery}, author={Bossek,
Jakob and Sudholt, Dirk}, year={2019}, pages={102–115}, collection={FOGA ’19}
}'
chicago: 'Bossek, Jakob, and Dirk Sudholt. “Time Complexity Analysis of RLS and
(1 + 1) EA for the Edge Coloring Problem.” In Proceedings of the 15th ACM/SIGEVO
Conference on Foundations of Genetic Algorithms, 102–115. FOGA ’19. New York,
NY, USA: Association for Computing Machinery, 2019. https://doi.org/10.1145/3299904.3340311.'
ieee: 'J. Bossek and D. Sudholt, “Time Complexity Analysis of RLS and (1 + 1) EA
for the Edge Coloring Problem,” in Proceedings of the 15th ACM/SIGEVO Conference
on Foundations of Genetic Algorithms, 2019, pp. 102–115, doi: 10.1145/3299904.3340311.'
mla: Bossek, Jakob, and Dirk Sudholt. “Time Complexity Analysis of RLS and (1 +
1) EA for the Edge Coloring Problem.” Proceedings of the 15th ACM/SIGEVO Conference
on Foundations of Genetic Algorithms, Association for Computing Machinery,
2019, pp. 102–115, doi:10.1145/3299904.3340311.
short: 'J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference
on Foundations of Genetic Algorithms, Association for Computing Machinery, New
York, NY, USA, 2019, pp. 102–115.'
date_created: 2023-11-14T15:58:56Z
date_updated: 2023-12-13T10:46:12Z
department:
- _id: '819'
doi: 10.1145/3299904.3340311
extern: '1'
keyword:
- edge coloring problem
- runtime analysis
language:
- iso: eng
page: 102–115
place: New York, NY, USA
publication: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic
Algorithms
publication_identifier:
isbn:
- 978-1-4503-6254-2
publication_status: published
publisher: Association for Computing Machinery
series_title: FOGA ’19
status: public
title: Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem
type: conference
user_id: '102979'
year: '2019'
...
---
_id: '48875'
abstract:
- lang: eng
text: A multiobjective perspective onto common performance measures such as the
PAR10 score or the expected runtime of single-objective stochastic solvers is
presented by directly investigating the tradeoff between the fraction of failed
runs and the average runtime. Multi-objective indicators operating in the bi-objective
space allow for an overall performance comparison on a set of instances paving
the way for instance-based automated algorithm selection techniques.
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Heike
full_name: Trautmann, Heike
last_name: Trautmann
citation:
ama: 'Bossek J, Trautmann H. Multi-Objective Performance Measurement: Alternatives
to PAR10 and Expected Running Time. In: Battiti R, Brunato M, Kotsireas I, Pardalos
PM, eds. Learning and Intelligent Optimization. Lecture Notes in Computer
Science. Springer International Publishing; 2019:215–219. doi:10.1007/978-3-030-05348-2_19'
apa: 'Bossek, J., & Trautmann, H. (2019). Multi-Objective Performance Measurement:
Alternatives to PAR10 and Expected Running Time. In R. Battiti, M. Brunato, I.
Kotsireas, & P. M. Pardalos (Eds.), Learning and Intelligent Optimization
(pp. 215–219). Springer International Publishing. https://doi.org/10.1007/978-3-030-05348-2_19'
bibtex: '@inproceedings{Bossek_Trautmann_2019, place={Cham}, series={Lecture Notes
in Computer Science}, title={Multi-Objective Performance Measurement: Alternatives
to PAR10 and Expected Running Time}, DOI={10.1007/978-3-030-05348-2_19},
booktitle={Learning and Intelligent Optimization}, publisher={Springer International
Publishing}, author={Bossek, Jakob and Trautmann, Heike}, editor={Battiti, Roberto
and Brunato, Mauro and Kotsireas, Ilias and Pardalos, Panos M.}, year={2019},
pages={215–219}, collection={Lecture Notes in Computer Science} }'
chicago: 'Bossek, Jakob, and Heike Trautmann. “Multi-Objective Performance Measurement:
Alternatives to PAR10 and Expected Running Time.” In Learning and Intelligent
Optimization, edited by Roberto Battiti, Mauro Brunato, Ilias Kotsireas, and
Panos M. Pardalos, 215–219. Lecture Notes in Computer Science. Cham: Springer
International Publishing, 2019. https://doi.org/10.1007/978-3-030-05348-2_19.'
ieee: 'J. Bossek and H. Trautmann, “Multi-Objective Performance Measurement: Alternatives
to PAR10 and Expected Running Time,” in Learning and Intelligent Optimization,
2019, pp. 215–219, doi: 10.1007/978-3-030-05348-2_19.'
mla: 'Bossek, Jakob, and Heike Trautmann. “Multi-Objective Performance Measurement:
Alternatives to PAR10 and Expected Running Time.” Learning and Intelligent
Optimization, edited by Roberto Battiti et al., Springer International Publishing,
2019, pp. 215–219, doi:10.1007/978-3-030-05348-2_19.'
short: 'J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P.M.
Pardalos (Eds.), Learning and Intelligent Optimization, Springer International
Publishing, Cham, 2019, pp. 215–219.'
date_created: 2023-11-14T15:58:57Z
date_updated: 2023-12-13T10:47:32Z
department:
- _id: '819'
doi: 10.1007/978-3-030-05348-2_19
editor:
- first_name: Roberto
full_name: Battiti, Roberto
last_name: Battiti
- first_name: Mauro
full_name: Brunato, Mauro
last_name: Brunato
- first_name: Ilias
full_name: Kotsireas, Ilias
last_name: Kotsireas
- first_name: Panos M.
full_name: Pardalos, Panos M.
last_name: Pardalos
extern: '1'
keyword:
- Algorithm selection
- Performance measurement
language:
- iso: eng
page: 215–219
place: Cham
publication: Learning and Intelligent Optimization
publication_identifier:
isbn:
- 978-3-030-05348-2
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: 'Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected
Running Time'
type: conference
user_id: '102979'
year: '2019'
...
---
_id: '48877'
abstract:
- lang: eng
text: OpenML is an online machine learning platform where researchers can easily
share data, machine learning tasks and experiments as well as organize them online
to work and collaborate more efficiently. In this paper, we present an R package
to interface with the OpenML platform and illustrate its usage in combination
with the machine learning R package mlr (Bischl et al. J Mach Learn Res 17(170):1—5,
2016). We show how the OpenML package allows R users to easily search, download
and upload data sets and machine learning tasks. Furthermore, we also show how
to upload results of experiments, share them with others and download results
from other users. Beyond ensuring reproducibility of results, the OpenML platform
automates much of the drudge work, speeds up research, facilitates collaboration
and increases the users’ visibility online.
author:
- first_name: Giuseppe
full_name: Casalicchio, Giuseppe
last_name: Casalicchio
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Michel
full_name: Lang, Michel
last_name: Lang
- first_name: Dominik
full_name: Kirchhoff, Dominik
last_name: Kirchhoff
- first_name: Pascal
full_name: Kerschke, Pascal
last_name: Kerschke
- first_name: Benjamin
full_name: Hofner, Benjamin
last_name: Hofner
- first_name: Heidi
full_name: Seibold, Heidi
last_name: Seibold
- first_name: Joaquin
full_name: Vanschoren, Joaquin
last_name: Vanschoren
- first_name: Bernd
full_name: Bischl, Bernd
last_name: Bischl
citation:
ama: 'Casalicchio G, Bossek J, Lang M, et al. OpenML: An R Package to Connect to
the Machine Learning Platform OpenML. Computational Statistics. 2019;34(3):977–991.
doi:10.1007/s00180-017-0742-2'
apa: 'Casalicchio, G., Bossek, J., Lang, M., Kirchhoff, D., Kerschke, P., Hofner,
B., Seibold, H., Vanschoren, J., & Bischl, B. (2019). OpenML: An R Package
to Connect to the Machine Learning Platform OpenML. Computational Statistics,
34(3), 977–991. https://doi.org/10.1007/s00180-017-0742-2'
bibtex: '@article{Casalicchio_Bossek_Lang_Kirchhoff_Kerschke_Hofner_Seibold_Vanschoren_Bischl_2019,
title={OpenML: An R Package to Connect to the Machine Learning Platform OpenML},
volume={34}, DOI={10.1007/s00180-017-0742-2},
number={3}, journal={Computational Statistics}, author={Casalicchio, Giuseppe
and Bossek, Jakob and Lang, Michel and Kirchhoff, Dominik and Kerschke, Pascal
and Hofner, Benjamin and Seibold, Heidi and Vanschoren, Joaquin and Bischl, Bernd},
year={2019}, pages={977–991} }'
chicago: 'Casalicchio, Giuseppe, Jakob Bossek, Michel Lang, Dominik Kirchhoff, Pascal
Kerschke, Benjamin Hofner, Heidi Seibold, Joaquin Vanschoren, and Bernd Bischl.
“OpenML: An R Package to Connect to the Machine Learning Platform OpenML.” Computational
Statistics 34, no. 3 (2019): 977–991. https://doi.org/10.1007/s00180-017-0742-2.'
ieee: 'G. Casalicchio et al., “OpenML: An R Package to Connect to the Machine
Learning Platform OpenML,” Computational Statistics, vol. 34, no. 3, pp.
977–991, 2019, doi: 10.1007/s00180-017-0742-2.'
mla: 'Casalicchio, Giuseppe, et al. “OpenML: An R Package to Connect to the Machine
Learning Platform OpenML.” Computational Statistics, vol. 34, no. 3, 2019,
pp. 977–991, doi:10.1007/s00180-017-0742-2.'
short: G. Casalicchio, J. Bossek, M. Lang, D. Kirchhoff, P. Kerschke, B. Hofner,
H. Seibold, J. Vanschoren, B. Bischl, Computational Statistics 34 (2019) 977–991.
date_created: 2023-11-14T15:58:57Z
date_updated: 2023-12-13T10:51:17Z
department:
- _id: '819'
doi: 10.1007/s00180-017-0742-2
intvolume: ' 34'
issue: '3'
keyword:
- Databases
- Machine learning
- R
- Reproducible research
language:
- iso: eng
page: 977–991
publication: Computational Statistics
publication_identifier:
issn:
- 0943-4062
status: public
title: 'OpenML: An R Package to Connect to the Machine Learning Platform OpenML'
type: journal_article
user_id: '102979'
volume: 34
year: '2019'
...
---
_id: '52478'
author:
- first_name: Jinay D
full_name: Mehta, Jinay D
last_name: Mehta
citation:
ama: Mehta JD. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS
on a Reconfigurable System-on-Chip.; 2019.
apa: Mehta, J. D. (2019). Multithreaded Software/Hardware Programming with ReconOS/freeRTOS
on a Reconfigurable System-on-Chip.
bibtex: '@book{Mehta_2019, title={Multithreaded Software/Hardware Programming with
ReconOS/freeRTOS on a Reconfigurable System-on-Chip}, author={Mehta, Jinay D},
year={2019} }'
chicago: Mehta, Jinay D. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS
on a Reconfigurable System-on-Chip, 2019.
ieee: J. D. Mehta, Multithreaded Software/Hardware Programming with ReconOS/freeRTOS
on a Reconfigurable System-on-Chip. 2019.
mla: Mehta, Jinay D. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS
on a Reconfigurable System-on-Chip. 2019.
short: J.D. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS
on a Reconfigurable System-on-Chip, 2019.
date_created: 2024-03-11T15:57:13Z
date_updated: 2024-03-11T15:57:39Z
department:
- _id: '78'
language:
- iso: eng
status: public
supervisor:
- first_name: Lennart
full_name: Clausing, Lennart
id: '74287'
last_name: Clausing
orcid: 0000-0003-3789-6034
title: Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Reconfigurable
System-on-Chip
type: mastersthesis
user_id: '74287'
year: '2019'
...
---
_id: '46339'
abstract:
- lang: eng
text: 'Evolutionary algorithms have successfully been applied to evolve problem
instances that exhibit a significant difference in performance for a given algorithm
or a pair of algorithms inter alia for the Traveling Salesperson Problem (TSP).
Creating a large variety of instances is crucial for successful applications in
the blooming field of algorithm selection. In this paper, we introduce new and
creative mutation operators for evolving instances of the TSP. We show that adopting
those operators in an evolutionary algorithm allows for the generation of benchmark
sets with highly desirable properties: (1) novelty by clear visual distinction
to established benchmark sets in the field, (2) visual and quantitative diversity
in the space of TSP problem characteristics, and (3) significant performance differences
with respect to the restart versions of heuristic state-of-the-art TSP solvers
EAX and LKH. The important aspect of diversity is addressed and achieved solely
by the proposed mutation operators and not enforced by explicit diversity preservation.'
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Pascal
full_name: Kerschke, Pascal
last_name: Kerschke
- first_name: Aneta
full_name: Neumann, Aneta
last_name: Neumann
- first_name: Markus
full_name: Wagner, Markus
last_name: Wagner
- first_name: Frank
full_name: Neumann, Frank
last_name: Neumann
- first_name: Heike
full_name: Trautmann, Heike
id: '100740'
last_name: Trautmann
orcid: 0000-0002-9788-8282
citation:
ama: 'Bossek J, Kerschke P, Neumann A, Wagner M, Neumann F, Trautmann H. Evolving
Diverse TSP Instances by Means of Novel and Creative Mutation Operators. In: Friedrich
T, Doerr C, Arnold D, eds. Proceedings of the 15$^th$ ACM/SIGEVO Workshop on
Foundations of Genetic Algorithms (FOGA XV). ; 2019:58–71. doi:10.1145/3299904.3340307'
apa: Bossek, J., Kerschke, P., Neumann, A., Wagner, M., Neumann, F., & Trautmann,
H. (2019). Evolving Diverse TSP Instances by Means of Novel and Creative Mutation
Operators. In T. Friedrich, C. Doerr, & D. Arnold (Eds.), Proceedings of
the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA XV)
(pp. 58–71). https://doi.org/10.1145/3299904.3340307
bibtex: '@inproceedings{Bossek_Kerschke_Neumann_Wagner_Neumann_Trautmann_2019, place={Potsdam,
Germany}, title={Evolving Diverse TSP Instances by Means of Novel and Creative
Mutation Operators}, DOI={10.1145/3299904.3340307},
booktitle={Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic
Algorithms (FOGA XV)}, author={Bossek, Jakob and Kerschke, Pascal and Neumann,
Aneta and Wagner, Markus and Neumann, Frank and Trautmann, Heike}, editor={Friedrich,
Tobias and Doerr, Carola and Arnold, Dirk}, year={2019}, pages={58–71} }'
chicago: Bossek, Jakob, Pascal Kerschke, Aneta Neumann, Markus Wagner, Frank Neumann,
and Heike Trautmann. “Evolving Diverse TSP Instances by Means of Novel and Creative
Mutation Operators.” In Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations
of Genetic Algorithms (FOGA XV), edited by Tobias Friedrich, Carola Doerr,
and Dirk Arnold, 58–71. Potsdam, Germany, 2019. https://doi.org/10.1145/3299904.3340307.
ieee: 'J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, and H. Trautmann,
“Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators,”
in Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic
Algorithms (FOGA XV), 2019, pp. 58–71, doi: 10.1145/3299904.3340307.'
mla: Bossek, Jakob, et al. “Evolving Diverse TSP Instances by Means of Novel and
Creative Mutation Operators.” Proceedings of the 15$^th$ ACM/SIGEVO Workshop
on Foundations of Genetic Algorithms (FOGA XV), edited by Tobias Friedrich
et al., 2019, pp. 58–71, doi:10.1145/3299904.3340307.
short: 'J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, H. Trautmann,
in: T. Friedrich, C. Doerr, D. Arnold (Eds.), Proceedings of the 15$^th$ ACM/SIGEVO
Workshop on Foundations of Genetic Algorithms (FOGA XV), Potsdam, Germany, 2019,
pp. 58–71.'
date_created: 2023-08-04T07:45:39Z
date_updated: 2024-06-10T11:59:26Z
department:
- _id: '34'
- _id: '819'
doi: 10.1145/3299904.3340307
editor:
- first_name: Tobias
full_name: Friedrich, Tobias
last_name: Friedrich
- first_name: Carola
full_name: Doerr, Carola
last_name: Doerr
- first_name: Dirk
full_name: Arnold, Dirk
last_name: Arnold
language:
- iso: eng
page: 58–71
place: Potsdam, Germany
publication: Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic
Algorithms (FOGA XV)
status: public
title: Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators
type: conference
user_id: '15504'
year: '2019'
...
---
_id: '46338'
abstract:
- lang: eng
text: We tackle a bi-objective dynamic orienteering problem where customer requests
arise as time passes by. The goal is to minimize the tour length traveled by a
single delivery vehicle while simultaneously keeping the number of dismissed dynamic
customers to a minimum. We propose a dynamic Evolutionary Multi-Objective Algorithm
which is grounded on insights gained from a previous series of work on an a-posteriori
version of the problem, where all request times are known in advance. In our experiments,
we simulate different decision maker strategies and evaluate the development of
the Pareto-front approximations on exemplary problem instances. It turns out,
that despite severely reduced computational budget and no oracle-knowledge of
request times the dynamic EMOA is capable of producing approximations which partially
dominate the results of the a-posteriori EMOA and dynamic integer linear programming
strategies.
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Christian
full_name: Grimme, Christian
last_name: Grimme
- first_name: Stephan
full_name: Meisel, Stephan
last_name: Meisel
- first_name: Günter
full_name: Rudolph, Günter
last_name: Rudolph
- first_name: Heike
full_name: Trautmann, Heike
id: '100740'
last_name: Trautmann
orcid: 0000-0002-9788-8282
citation:
ama: 'Bossek J, Grimme C, Meisel S, Rudolph G, Trautmann H. Bi-Objective Orienteering:
Towards a Dynamic Multi-Objective Evolutionary Algorithm. In: Deb K, Goodman E,
Coello CCA, et al., eds. Evolutionary Multi-Criterion Optimization (EMO).
Vol 11411. Lecture Notes in Computer Science. Springer International Publishing;
2019:516–528. doi:10.1007/978-3-030-12598-1_41'
apa: 'Bossek, J., Grimme, C., Meisel, S., Rudolph, G., & Trautmann, H. (2019).
Bi-Objective Orienteering: Towards a Dynamic Multi-Objective Evolutionary Algorithm.
In K. Deb, E. Goodman, C. C. A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim,
& P. Reed (Eds.), Evolutionary Multi-Criterion Optimization (EMO) (Vol.
11411, pp. 516–528). Springer International Publishing. https://doi.org/10.1007/978-3-030-12598-1_41'
bibtex: '@inproceedings{Bossek_Grimme_Meisel_Rudolph_Trautmann_2019, place={East
Lansing, Michigan, USA}, series={Lecture Notes in Computer Science}, title={Bi-Objective
Orienteering: Towards a Dynamic Multi-Objective Evolutionary Algorithm}, volume={11411},
DOI={10.1007/978-3-030-12598-1_41},
booktitle={Evolutionary Multi-Criterion Optimization (EMO)}, publisher={Springer
International Publishing}, author={Bossek, Jakob and Grimme, Christian and Meisel,
Stephan and Rudolph, Günter and Trautmann, Heike}, editor={Deb, Kalyanmoy and
Goodman, Erik and Coello, Coello Carlos A. and Klamroth, Kathrin and Miettinen,
Kaisa and Mostaghim, Sanaz and Reed, Patrick}, year={2019}, pages={516–528}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Bossek, Jakob, Christian Grimme, Stephan Meisel, Günter Rudolph, and Heike
Trautmann. “Bi-Objective Orienteering: Towards a Dynamic Multi-Objective Evolutionary
Algorithm.” In Evolutionary Multi-Criterion Optimization (EMO), edited
by Kalyanmoy Deb, Erik Goodman, Coello Carlos A. Coello, Kathrin Klamroth, Kaisa
Miettinen, Sanaz Mostaghim, and Patrick Reed, 11411:516–528. Lecture Notes in
Computer Science. East Lansing, Michigan, USA: Springer International Publishing,
2019. https://doi.org/10.1007/978-3-030-12598-1_41.'
ieee: 'J. Bossek, C. Grimme, S. Meisel, G. Rudolph, and H. Trautmann, “Bi-Objective
Orienteering: Towards a Dynamic Multi-Objective Evolutionary Algorithm,” in Evolutionary
Multi-Criterion Optimization (EMO), 2019, vol. 11411, pp. 516–528, doi: 10.1007/978-3-030-12598-1_41.'
mla: 'Bossek, Jakob, et al. “Bi-Objective Orienteering: Towards a Dynamic Multi-Objective
Evolutionary Algorithm.” Evolutionary Multi-Criterion Optimization (EMO),
edited by Kalyanmoy Deb et al., vol. 11411, Springer International Publishing,
2019, pp. 516–528, doi:10.1007/978-3-030-12598-1_41.'
short: 'J. Bossek, C. Grimme, S. Meisel, G. Rudolph, H. Trautmann, in: K. Deb, E.
Goodman, C.C.A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.),
Evolutionary Multi-Criterion Optimization (EMO), Springer International Publishing,
East Lansing, Michigan, USA, 2019, pp. 516–528.'
date_created: 2023-08-04T07:44:59Z
date_updated: 2024-06-10T12:00:05Z
department:
- _id: '34'
- _id: '819'
doi: 10.1007/978-3-030-12598-1_41
editor:
- first_name: Kalyanmoy
full_name: Deb, Kalyanmoy
last_name: Deb
- first_name: Erik
full_name: Goodman, Erik
last_name: Goodman
- first_name: Coello Carlos A.
full_name: Coello, Coello Carlos A.
last_name: Coello
- first_name: Kathrin
full_name: Klamroth, Kathrin
last_name: Klamroth
- first_name: Kaisa
full_name: Miettinen, Kaisa
last_name: Miettinen
- first_name: Sanaz
full_name: Mostaghim, Sanaz
last_name: Mostaghim
- first_name: Patrick
full_name: Reed, Patrick
last_name: Reed
intvolume: ' 11411'
language:
- iso: eng
page: 516–528
place: East Lansing, Michigan, USA
publication: Evolutionary Multi-Criterion Optimization (EMO)
publication_identifier:
isbn:
- 978-3-030-12597-4
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: 'Bi-Objective Orienteering: Towards a Dynamic Multi-Objective Evolutionary
Algorithm'
type: conference
user_id: '15504'
volume: 11411
year: '2019'
...
---
_id: '46337'
abstract:
- lang: eng
text: A multiobjective perspective onto common performance measures such as the
PAR10 score or the expected runtime of single-objective stochastic solvers is
presented by directly investigating the tradeoff between the fraction of failed
runs and the average runtime. Multi-objective indicators operating in the bi-objective
space allow for an overall performance comparison on a set of instances paving
the way for instance-based automated algorithm selection techniques.
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Heike
full_name: Trautmann, Heike
id: '100740'
last_name: Trautmann
orcid: 0000-0002-9788-8282
citation:
ama: 'Bossek J, Trautmann H. Multi-Objective Performance Measurement: Alternatives
to PAR10 and Expected Running Time. In: Battiti R, Brunato M, Kotsireas I, Pardalos
P, eds. Learning and Intelligent Optimization. Vol 11353. Lecture Notes
in Computer Science. Springer; 2019:215–219.'
apa: 'Bossek, J., & Trautmann, H. (2019). Multi-Objective Performance Measurement:
Alternatives to PAR10 and Expected Running Time. In R. Battiti, M. Brunato, I.
Kotsireas, & P. Pardalos (Eds.), Learning and Intelligent Optimization
(Vol. 11353, pp. 215–219). Springer.'
bibtex: '@inproceedings{Bossek_Trautmann_2019, place={Cham}, series={Lecture Notes
in Computer Science}, title={Multi-Objective Performance Measurement: Alternatives
to PAR10 and Expected Running Time}, volume={11353}, booktitle={Learning and Intelligent
Optimization}, publisher={Springer}, author={Bossek, Jakob and Trautmann, Heike},
editor={Battiti, R and Brunato, M and Kotsireas, I and Pardalos, P}, year={2019},
pages={215–219}, collection={Lecture Notes in Computer Science} }'
chicago: 'Bossek, Jakob, and Heike Trautmann. “Multi-Objective Performance Measurement:
Alternatives to PAR10 and Expected Running Time.” In Learning and Intelligent
Optimization, edited by R Battiti, M Brunato, I Kotsireas, and P Pardalos,
11353:215–219. Lecture Notes in Computer Science. Cham: Springer, 2019.'
ieee: 'J. Bossek and H. Trautmann, “Multi-Objective Performance Measurement: Alternatives
to PAR10 and Expected Running Time,” in Learning and Intelligent Optimization,
2019, vol. 11353, pp. 215–219.'
mla: 'Bossek, Jakob, and Heike Trautmann. “Multi-Objective Performance Measurement:
Alternatives to PAR10 and Expected Running Time.” Learning and Intelligent
Optimization, edited by R Battiti et al., vol. 11353, Springer, 2019, pp.
215–219.'
short: 'J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P. Pardalos
(Eds.), Learning and Intelligent Optimization, Springer, Cham, 2019, pp. 215–219.'
date_created: 2023-08-04T07:44:10Z
date_updated: 2024-06-10T12:00:23Z
department:
- _id: '34'
- _id: '819'
editor:
- first_name: R
full_name: Battiti, R
last_name: Battiti
- first_name: M
full_name: Brunato, M
last_name: Brunato
- first_name: I
full_name: Kotsireas, I
last_name: Kotsireas
- first_name: P
full_name: Pardalos, P
last_name: Pardalos
intvolume: ' 11353'
language:
- iso: eng
page: 215–219
place: Cham
publication: Learning and Intelligent Optimization
publication_identifier:
isbn:
- 978-3-030-05347-5
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected
Running Time'
type: conference
user_id: '15504'
volume: 11353
year: '2019'
...
---
_id: '10108'
abstract:
- lang: eng
text: "Recent years have seen the development of numerous tools for the analysis
of taint flows in Android apps. Taint analyses aim at detecting data leaks, accidentally
or by purpose programmed into apps. Often, such tools specialize in the treatment
of specific features impeding precise taint analysis (like reflection or inter-app
communication). This multitude of tools, their specific applicability and their
various combination options complicate the selection of a tool (or multiple tools)
when faced with an analysis instance, even for knowledgeable users, and hence
hinders the successful adoption of taint analyses.\r\n\r\nIn this work, we thus
present CoDiDroid, a framework for cooperative Android app analysis. CoDiDroid
(1) allows users to ask questions about flows in apps in varying degrees of detail,
(2) automatically generates subtasks for answering such questions, (3) distributes
tasks onto analysis tools (currently DroidRA, FlowDroid, HornDroid, IC3 and two
novel tools) and (4) at the end merges tool answers on subtasks into an overall
answer. Thereby, users are freed from having to learn about the use and functionality
of all these tools while still being able to leverage their capabilities. Moreover,
we experimentally show that cooperation among tools pays off with respect to effectiveness,
precision and scalability."
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Pauck F, Wehrheim H. Together Strong: Cooperative Android App Analysis. In:
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering. ; 2019:374-384.
doi:10.1145/3338906.3338915'
apa: 'Pauck, F., & Wehrheim, H. (2019). Together Strong: Cooperative Android
App Analysis. Proceedings of the 2019 27th ACM Joint Meeting on European Software
Engineering Conference and Symposium on the Foundations of Software Engineering,
374–384. https://doi.org/10.1145/3338906.3338915'
bibtex: '@inproceedings{Pauck_Wehrheim_2019, title={Together Strong: Cooperative
Android App Analysis}, DOI={10.1145/3338906.3338915},
booktitle={Proceedings of the 2019 27th ACM Joint Meeting on European Software
Engineering Conference and Symposium on the Foundations of Software Engineering},
author={Pauck, Felix and Wehrheim, Heike}, year={2019}, pages={374–384} }'
chicago: 'Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android
App Analysis.” In Proceedings of the 2019 27th ACM Joint Meeting on European
Software Engineering Conference and Symposium on the Foundations of Software Engineering,
374–84, 2019. https://doi.org/10.1145/3338906.3338915.'
ieee: 'F. Pauck and H. Wehrheim, “Together Strong: Cooperative Android App Analysis,”
in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering, 2019,
pp. 374–384, doi: 10.1145/3338906.3338915.'
mla: 'Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android App
Analysis.” Proceedings of the 2019 27th ACM Joint Meeting on European Software
Engineering Conference and Symposium on the Foundations of Software Engineering,
2019, pp. 374–84, doi:10.1145/3338906.3338915.'
short: 'F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting
on European Software Engineering Conference and Symposium on the Foundations of
Software Engineering, 2019, pp. 374–384.'
date_created: 2019-06-04T11:15:25Z
date_updated: 2023-01-18T08:32:47Z
ddc:
- '004'
department:
- _id: '77'
doi: 10.1145/3338906.3338915
file:
- access_level: closed
content_type: application/pdf
creator: fpauck
date_created: 2019-08-20T08:47:20Z
date_updated: 2019-08-20T08:47:20Z
file_id: '12947'
file_name: fse19main-id44-p-ef9ce42-41855-final.pdf
file_size: 442603
relation: main_file
file_date_updated: 2019-08-20T08:47:20Z
has_accepted_license: '1'
keyword:
- Android Taint Analysis
- Cooperation
- Precision
- Tools
language:
- iso: eng
page: 374-384
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering
publication_identifier:
isbn:
- 978-1-4503-5572-8
publication_status: published
status: public
title: 'Together Strong: Cooperative Android App Analysis'
type: conference
user_id: '22398'
year: '2019'
...
---
_id: '13874'
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. When Are Software Verification
Results Valid for Approximate Hardware? In: Tests and Proofs - 13th International
Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods
2019, Porto, Portugal, October 9-11, 2019, Proceedings. ; 2019:3-20. doi:10.1007/978-3-030-31157-5_1'
apa: Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2019). When Are
Software Verification Results Valid for Approximate Hardware? Tests and Proofs
- 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress
on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings,
3–20. https://doi.org/10.1007/978-3-030-31157-5_1
bibtex: '@inproceedings{Isenberg_Jakobs_Pauck_Wehrheim_2019, title={When Are Software
Verification Results Valid for Approximate Hardware?}, DOI={10.1007/978-3-030-31157-5_1},
booktitle={Tests and Proofs - 13th International Conference, {TAP} 2019, Held
as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October
9-11, 2019, Proceedings}, author={Isenberg, Tobias and Jakobs, Marie-Christine
and Pauck, Felix and Wehrheim, Heike}, year={2019}, pages={3–20} }'
chicago: Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim.
“When Are Software Verification Results Valid for Approximate Hardware?” In Tests
and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third
World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings,
3–20, 2019. https://doi.org/10.1007/978-3-030-31157-5_1.
ieee: 'T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “When Are Software
Verification Results Valid for Approximate Hardware?,” in Tests and Proofs
- 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress
on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings,
2019, pp. 3–20, doi: 10.1007/978-3-030-31157-5_1.'
mla: Isenberg, Tobias, et al. “When Are Software Verification Results Valid for
Approximate Hardware?” Tests and Proofs - 13th International Conference, {TAP}
2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto,
Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20, doi:10.1007/978-3-030-31157-5_1.
short: 'T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, in: Tests and Proofs -
13th International Conference, {TAP} 2019, Held as Part of the Third World Congress
on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019,
pp. 3–20.'
date_created: 2019-10-16T09:40:20Z
date_updated: 2023-01-18T08:41:17Z
department:
- _id: '77'
doi: 10.1007/978-3-030-31157-5_1
language:
- iso: eng
page: 3-20
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '3'
name: SFB 901 - Project Area B
- _id: '1'
name: SFB 901
publication: Tests and Proofs - 13th International Conference, {TAP} 2019, Held as
Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October
9-11, 2019, Proceedings
publication_status: published
status: public
title: When Are Software Verification Results Valid for Approximate Hardware?
type: conference
user_id: '22398'
year: '2019'
...
---
_id: '20243'
author:
- first_name: Katharina
full_name: Rohlfing, Katharina
id: '50352'
last_name: Rohlfing
- first_name: Giuseppe
full_name: Leonardi, Giuseppe
last_name: Leonardi
- first_name: Iris
full_name: Nomikou, Iris
last_name: Nomikou
- first_name: Joanna
full_name: Rączaszek-Leonardi, Joanna
last_name: Rączaszek-Leonardi
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Rohlfing K, Leonardi G, Nomikou I, Rączaszek-Leonardi J, Hüllermeier E. Multimodal
Turn-Taking: Motivations, Methodological Challenges, and Novel Approaches. IEEE
Transactions on Cognitive and Developmental Systems. Published online 2019.
doi:10.1109/TCDS.2019.2892991'
apa: 'Rohlfing, K., Leonardi, G., Nomikou, I., Rączaszek-Leonardi, J., & Hüllermeier,
E. (2019). Multimodal Turn-Taking: Motivations, Methodological Challenges, and
Novel Approaches. IEEE Transactions on Cognitive and Developmental Systems.
https://doi.org/10.1109/TCDS.2019.2892991'
bibtex: '@article{Rohlfing_Leonardi_Nomikou_Rączaszek-Leonardi_Hüllermeier_2019,
title={Multimodal Turn-Taking: Motivations, Methodological Challenges, and Novel
Approaches}, DOI={10.1109/TCDS.2019.2892991},
journal={IEEE Transactions on Cognitive and Developmental Systems}, author={Rohlfing,
Katharina and Leonardi, Giuseppe and Nomikou, Iris and Rączaszek-Leonardi, Joanna
and Hüllermeier, Eyke}, year={2019} }'
chicago: 'Rohlfing, Katharina, Giuseppe Leonardi, Iris Nomikou, Joanna Rączaszek-Leonardi,
and Eyke Hüllermeier. “Multimodal Turn-Taking: Motivations, Methodological Challenges,
and Novel Approaches.” IEEE Transactions on Cognitive and Developmental Systems,
2019. https://doi.org/10.1109/TCDS.2019.2892991.'
ieee: 'K. Rohlfing, G. Leonardi, I. Nomikou, J. Rączaszek-Leonardi, and E. Hüllermeier,
“Multimodal Turn-Taking: Motivations, Methodological Challenges, and Novel Approaches,”
IEEE Transactions on Cognitive and Developmental Systems, 2019, doi: 10.1109/TCDS.2019.2892991.'
mla: 'Rohlfing, Katharina, et al. “Multimodal Turn-Taking: Motivations, Methodological
Challenges, and Novel Approaches.” IEEE Transactions on Cognitive and Developmental
Systems, 2019, doi:10.1109/TCDS.2019.2892991.'
short: K. Rohlfing, G. Leonardi, I. Nomikou, J. Rączaszek-Leonardi, E. Hüllermeier,
IEEE Transactions on Cognitive and Developmental Systems (2019).
date_created: 2020-11-02T13:25:49Z
date_updated: 2023-02-01T12:39:19Z
department:
- _id: '749'
- _id: '355'
doi: 10.1109/TCDS.2019.2892991
language:
- iso: eng
publication: IEEE Transactions on Cognitive and Developmental Systems
status: public
title: 'Multimodal Turn-Taking: Motivations, Methodological Challenges, and Novel
Approaches'
type: journal_article
user_id: '14931'
year: '2019'
...
---
_id: '13297'
author:
- first_name: Sevag
full_name: Gharibian, Sevag
id: '71541'
last_name: Gharibian
orcid: 0000-0002-9992-3379
- first_name: Ojas
full_name: Parekh, Ojas
last_name: Parekh
citation:
ama: 'Gharibian S, Parekh O. Almost Optimal Classical Approximation Algorithms for
a Quantum Generalization of Max-Cut. In: Proceedings of the 22nd International
Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX).
Vol 145. Leibniz International Proceedings in Informatics (LIPIcs). ; 2019:31:1-31:17.
doi:10.4230/LIPICS.APPROX-RANDOM.2019.31'
apa: Gharibian, S., & Parekh, O. (2019). Almost Optimal Classical Approximation
Algorithms for a Quantum Generalization of Max-Cut. Proceedings of the 22nd
International Workshop on Approximation Algorithms for Combinatorial Optimization
Problems (APPROX), 145, 31:1-31:17. https://doi.org/10.4230/LIPICS.APPROX-RANDOM.2019.31
bibtex: '@inproceedings{Gharibian_Parekh_2019, series={Leibniz International Proceedings
in Informatics (LIPIcs)}, title={Almost Optimal Classical Approximation Algorithms
for a Quantum Generalization of Max-Cut}, volume={145}, DOI={10.4230/LIPICS.APPROX-RANDOM.2019.31},
booktitle={Proceedings of the 22nd International Workshop on Approximation Algorithms
for Combinatorial Optimization Problems (APPROX)}, author={Gharibian, Sevag and
Parekh, Ojas}, year={2019}, pages={31:1-31:17}, collection={Leibniz International
Proceedings in Informatics (LIPIcs)} }'
chicago: Gharibian, Sevag, and Ojas Parekh. “Almost Optimal Classical Approximation
Algorithms for a Quantum Generalization of Max-Cut.” In Proceedings of the
22nd International Workshop on Approximation Algorithms for Combinatorial Optimization
Problems (APPROX), 145:31:1-31:17. Leibniz International Proceedings in Informatics
(LIPIcs), 2019. https://doi.org/10.4230/LIPICS.APPROX-RANDOM.2019.31.
ieee: 'S. Gharibian and O. Parekh, “Almost Optimal Classical Approximation Algorithms
for a Quantum Generalization of Max-Cut,” in Proceedings of the 22nd International
Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX),
2019, vol. 145, p. 31:1-31:17, doi: 10.4230/LIPICS.APPROX-RANDOM.2019.31.'
mla: Gharibian, Sevag, and Ojas Parekh. “Almost Optimal Classical Approximation
Algorithms for a Quantum Generalization of Max-Cut.” Proceedings of the 22nd
International Workshop on Approximation Algorithms for Combinatorial Optimization
Problems (APPROX), vol. 145, 2019, p. 31:1-31:17, doi:10.4230/LIPICS.APPROX-RANDOM.2019.31.
short: 'S. Gharibian, O. Parekh, in: Proceedings of the 22nd International Workshop
on Approximation Algorithms for Combinatorial Optimization Problems (APPROX),
2019, p. 31:1-31:17.'
date_created: 2019-09-19T08:33:29Z
date_updated: 2023-02-28T11:05:46Z
department:
- _id: '623'
- _id: '7'
doi: 10.4230/LIPICS.APPROX-RANDOM.2019.31
intvolume: ' 145'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://drops.dagstuhl.de/opus/volltexte/2019/11246/
oa: '1'
page: 31:1-31:17
publication: Proceedings of the 22nd International Workshop on Approximation Algorithms
for Combinatorial Optimization Problems (APPROX)
publication_status: published
series_title: Leibniz International Proceedings in Informatics (LIPIcs)
status: public
title: Almost Optimal Classical Approximation Algorithms for a Quantum Generalization
of Max-Cut
type: conference
user_id: '71541'
volume: 145
year: '2019'
...
---
_id: '13558'
author:
- first_name: Sevag
full_name: Gharibian, Sevag
id: '71541'
last_name: Gharibian
orcid: 0000-0002-9992-3379
- first_name: 'Justin '
full_name: 'Yirka, Justin '
last_name: Yirka
citation:
ama: Gharibian S, Yirka J. The complexity of simulating local measurements on quantum
systems. Quantum. 2019;3:189. doi:10.22331/q-2019-09-30-189
apa: Gharibian, S., & Yirka, J. (2019). The complexity of simulating local measurements
on quantum systems. Quantum, 3, 189. https://doi.org/10.22331/q-2019-09-30-189
bibtex: '@article{Gharibian_Yirka_2019, title={The complexity of simulating local
measurements on quantum systems}, volume={3}, DOI={10.22331/q-2019-09-30-189},
journal={Quantum}, author={Gharibian, Sevag and Yirka, Justin }, year={2019},
pages={189} }'
chicago: 'Gharibian, Sevag, and Justin Yirka. “The Complexity of Simulating Local
Measurements on Quantum Systems.” Quantum 3 (2019): 189. https://doi.org/10.22331/q-2019-09-30-189.'
ieee: 'S. Gharibian and J. Yirka, “The complexity of simulating local measurements
on quantum systems,” Quantum, vol. 3, p. 189, 2019, doi: 10.22331/q-2019-09-30-189.'
mla: Gharibian, Sevag, and Justin Yirka. “The Complexity of Simulating Local Measurements
on Quantum Systems.” Quantum, vol. 3, 2019, p. 189, doi:10.22331/q-2019-09-30-189.
short: S. Gharibian, J. Yirka, Quantum 3 (2019) 189.
date_created: 2019-10-01T08:25:27Z
date_updated: 2023-02-28T11:05:35Z
department:
- _id: '623'
- _id: '7'
doi: 10.22331/q-2019-09-30-189
intvolume: ' 3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://quantum-journal.org/papers/q-2019-09-30-189/
oa: '1'
page: '189'
publication: Quantum
publication_status: published
status: public
title: The complexity of simulating local measurements on quantum systems
type: journal_article
user_id: '71541'
volume: 3
year: '2019'
...
---
_id: '9913'
abstract:
- lang: eng
text: Reconfigurable hardware has received considerable attention as a platform
that enables dynamic hardware updates and thus is able to adapt new configurations
at runtime. However, due to their dynamic nature, e.g., field-programmable gate
arrays (FPGA) are subject to a constant possibility of attacks, since each new
configuration might be compromised. Trojans for reconfigurable hardware that evade
state-of-the-art detection techniques and even formal verification, are thus a
large threat to these devices. One such stealthy hardware Trojan, that is inserted
and activated in two stages by compromised electronic design automation (EDA)
tools, has recently been presented and shown to evade all forms of classical pre-configuration
detection techniques. This paper presents a successful pre-configuration countermeasure
against this ``Malicious Look-up-table (LUT)''-hardware Trojan, by employing bitstream-level
Proof-Carrying Hardware (PCH). We show that the method is able to alert innocent
module creators to infected EDA tools, and to prohibit malicious ones to sell
infected modules to unsuspecting customers.
author:
- first_name: Qazi Arbab
full_name: Ahmed, Qazi Arbab
id: '72764'
last_name: Ahmed
orcid: 0000-0002-1837-2254
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Ahmed QA, Wiersema T, Platzner M. Proof-Carrying Hardware Versus the Stealthy
Malicious LUT Hardware Trojan. In: Hochberger C, Nelson B, Koch A, Woods R, Diniz
P, eds. Applied Reconfigurable Computing. Vol 11444. Lecture Notes in Computer
Science. Springer International Publishing; 2019:127-136. doi:10.1007/978-3-030-17227-5_10'
apa: Ahmed, Q. A., Wiersema, T., & Platzner, M. (2019). Proof-Carrying Hardware
Versus the Stealthy Malicious LUT Hardware Trojan. In C. Hochberger, B. Nelson,
A. Koch, R. Woods, & P. Diniz (Eds.), Applied Reconfigurable Computing
(Vol. 11444, pp. 127–136). Springer International Publishing. https://doi.org/10.1007/978-3-030-17227-5_10
bibtex: '@inproceedings{Ahmed_Wiersema_Platzner_2019, place={Cham}, series={Lecture
Notes in Computer Science}, title={Proof-Carrying Hardware Versus the Stealthy
Malicious LUT Hardware Trojan}, volume={11444}, DOI={10.1007/978-3-030-17227-5_10},
booktitle={Applied Reconfigurable Computing}, publisher={Springer International
Publishing}, author={Ahmed, Qazi Arbab and Wiersema, Tobias and Platzner, Marco},
editor={Hochberger, Christian and Nelson, Brent and Koch, Andreas and Woods, Roger
and Diniz, Pedro}, year={2019}, pages={127–136}, collection={Lecture Notes in
Computer Science} }'
chicago: 'Ahmed, Qazi Arbab, Tobias Wiersema, and Marco Platzner. “Proof-Carrying
Hardware Versus the Stealthy Malicious LUT Hardware Trojan.” In Applied Reconfigurable
Computing, edited by Christian Hochberger, Brent Nelson, Andreas Koch, Roger
Woods, and Pedro Diniz, 11444:127–36. Lecture Notes in Computer Science. Cham:
Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-17227-5_10.'
ieee: 'Q. A. Ahmed, T. Wiersema, and M. Platzner, “Proof-Carrying Hardware Versus
the Stealthy Malicious LUT Hardware Trojan,” in Applied Reconfigurable Computing,
Darmstadt, Germany, 2019, vol. 11444, pp. 127–136, doi: 10.1007/978-3-030-17227-5_10.'
mla: Ahmed, Qazi Arbab, et al. “Proof-Carrying Hardware Versus the Stealthy Malicious
LUT Hardware Trojan.” Applied Reconfigurable Computing, edited by Christian
Hochberger et al., vol. 11444, Springer International Publishing, 2019, pp. 127–36,
doi:10.1007/978-3-030-17227-5_10.
short: 'Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch,
R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International
Publishing, Cham, 2019, pp. 127–136.'
conference:
end_date: 2019-04-11
location: Darmstadt, Germany
name: 15th International Symposium on Applied Reconfigurable Computing (ARC 2019)
start_date: 2019-04-09
date_created: 2019-05-22T07:36:05Z
date_updated: 2023-05-15T08:13:37Z
ddc:
- '000'
department:
- _id: '78'
doi: 10.1007/978-3-030-17227-5_10
editor:
- first_name: Christian
full_name: Hochberger, Christian
last_name: Hochberger
- first_name: Brent
full_name: Nelson, Brent
last_name: Nelson
- first_name: Andreas
full_name: Koch, Andreas
last_name: Koch
- first_name: Roger
full_name: Woods, Roger
last_name: Woods
- first_name: Pedro
full_name: Diniz, Pedro
last_name: Diniz
file:
- access_level: closed
content_type: application/pdf
creator: qazi
date_created: 2023-05-11T09:12:33Z
date_updated: 2023-05-11T09:12:33Z
file_id: '44749'
file_name: 978-3-030-17227-5_10.pdf
file_size: 661354
relation: main_file
success: 1
file_date_updated: 2023-05-11T09:12:33Z
has_accepted_license: '1'
intvolume: ' 11444'
language:
- iso: eng
main_file_link:
- open_access: '1'
oa: '1'
page: 127-136
place: Cham
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
publication: Applied Reconfigurable Computing
publication_identifier:
isbn:
- 978-3-030-17227-5
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan
type: conference
user_id: '72764'
volume: 11444
year: '2019'
...
---
_id: '45231'
author:
- first_name: N.
full_name: N., N.
last_name: N.
citation:
ama: N. N. Conception of a Digital Sales Bonus System Based on Blockchain Technology.;
2019.
apa: N., N. (2019). Conception of a digital Sales Bonus System based on Blockchain
Technology.
bibtex: '@book{N._2019, title={Conception of a digital Sales Bonus System based
on Blockchain Technology}, author={N., N.}, year={2019} }'
chicago: N., N. Conception of a Digital Sales Bonus System Based on Blockchain
Technology, 2019.
ieee: N. N., Conception of a digital Sales Bonus System based on Blockchain Technology.
2019.
mla: N., N. Conception of a Digital Sales Bonus System Based on Blockchain Technology.
2019.
short: N. N., Conception of a Digital Sales Bonus System Based on Blockchain Technology,
2019.
date_created: 2023-05-23T13:00:40Z
date_updated: 2023-05-23T13:00:49Z
department:
- _id: '66'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '17'
name: 'SFB 901 - C5: SFB 901 - Subproject C5'
status: public
supervisor:
- first_name: Thim Frederik
full_name: Strothmann, Thim Frederik
id: '11319'
last_name: Strothmann
- first_name: Sebastian
full_name: Gottschalk, Sebastian
id: '47208'
last_name: Gottschalk
title: Conception of a digital Sales Bonus System based on Blockchain Technology
type: bachelorsthesis
user_id: '47208'
year: '2019'
...
---
_id: '14898'
author:
- first_name: Philipp
full_name: Schubert, Philipp
id: '60543'
last_name: Schubert
orcid: 0000-0002-8674-1859
- first_name: Richard
full_name: Leer, Richard
last_name: Leer
- first_name: Ben
full_name: Hermann, Ben
id: '66173'
last_name: Hermann
orcid: 0000-0001-9848-2017
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Schubert P, Leer R, Hermann B, Bodden E. Know your analysis: how instrumentation
aids understanding static analysis. In: Proceedings of the 8th ACM SIGPLAN
International Workshop on State Of the Art in Program Analysis - SOAP 2019.
; 2019. doi:10.1145/3315568.3329965'
apa: 'Schubert, P., Leer, R., Hermann, B., & Bodden, E. (2019). Know your analysis:
how instrumentation aids understanding static analysis. Proceedings of the
8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
- SOAP 2019. https://doi.org/10.1145/3315568.3329965'
bibtex: '@inproceedings{Schubert_Leer_Hermann_Bodden_2019, title={Know your analysis:
how instrumentation aids understanding static analysis}, DOI={10.1145/3315568.3329965},
booktitle={Proceedings of the 8th ACM SIGPLAN International Workshop on State
Of the Art in Program Analysis - SOAP 2019}, author={Schubert, Philipp and Leer,
Richard and Hermann, Ben and Bodden, Eric}, year={2019} }'
chicago: 'Schubert, Philipp, Richard Leer, Ben Hermann, and Eric Bodden. “Know Your
Analysis: How Instrumentation Aids Understanding Static Analysis.” In Proceedings
of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
- SOAP 2019, 2019. https://doi.org/10.1145/3315568.3329965.'
ieee: 'P. Schubert, R. Leer, B. Hermann, and E. Bodden, “Know your analysis: how
instrumentation aids understanding static analysis,” 2019, doi: 10.1145/3315568.3329965.'
mla: 'Schubert, Philipp, et al. “Know Your Analysis: How Instrumentation Aids Understanding
Static Analysis.” Proceedings of the 8th ACM SIGPLAN International Workshop
on State Of the Art in Program Analysis - SOAP 2019, 2019, doi:10.1145/3315568.3329965.'
short: 'P. Schubert, R. Leer, B. Hermann, E. Bodden, in: Proceedings of the 8th
ACM SIGPLAN International Workshop on State Of the Art in Program Analysis -
SOAP 2019, 2019.'
date_created: 2019-11-12T12:22:16Z
date_updated: 2023-06-15T08:52:37Z
department:
- _id: '76'
- _id: '34'
- _id: '26'
doi: 10.1145/3315568.3329965
language:
- iso: eng
project:
- _id: '12'
name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '1'
grant_number: '160364472'
name: 'SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen
in dynamischen Märkten '
publication: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of
the Art in Program Analysis - SOAP 2019
publication_identifier:
isbn:
- '9781450367202'
publication_status: published
status: public
title: 'Know your analysis: how instrumentation aids understanding static analysis'
type: conference
user_id: '15249'
year: '2019'
...
---
_id: '15874'
author:
- first_name: Christian
full_name: Lienen, Christian
id: '60323'
last_name: Lienen
citation:
ama: Lienen C. Implementing a Real-Time System on a Platform FPGA Operated with
ReconOS. Universität Paderborn
apa: Lienen, C. (n.d.). Implementing a Real-time System on a Platform FPGA operated
with ReconOS. Universität Paderborn.
bibtex: '@book{Lienen, title={Implementing a Real-time System on a Platform FPGA
operated with ReconOS}, publisher={Universität Paderborn}, author={Lienen, Christian}
}'
chicago: Lienen, Christian. Implementing a Real-Time System on a Platform FPGA
Operated with ReconOS. Universität Paderborn, n.d.
ieee: C. Lienen, Implementing a Real-time System on a Platform FPGA operated
with ReconOS. Universität Paderborn.
mla: Lienen, Christian. Implementing a Real-Time System on a Platform FPGA Operated
with ReconOS. Universität Paderborn.
short: C. Lienen, Implementing a Real-Time System on a Platform FPGA Operated with
ReconOS, Universität Paderborn, n.d.
date_created: 2020-02-11T10:22:06Z
date_updated: 2023-07-31T11:58:50Z
ddc:
- '004'
department:
- _id: '78'
file:
- access_level: open_access
content_type: application/pdf
creator: clienen
date_created: 2020-07-01T11:46:49Z
date_updated: 2021-02-13T16:46:58Z
file_id: '17351'
file_name: thesis_main.pdf
file_size: 5920668
relation: main_file
file_date_updated: 2021-02-13T16:46:58Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
project:
- _id: '83'
name: 'SFB 901 - T1: SFB 901 -Subproject T1'
- _id: '82'
name: 'SFB 901 - T: SFB 901 - Project Area T'
- _id: '1'
grant_number: '160364472'
name: 'SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen
in dynamischen Märkten '
publication_status: submitted
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Lennart
full_name: Clausing, Lennart
id: '74287'
last_name: Clausing
orcid: 0000-0003-3789-6034
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Sybille
full_name: Hellebrand, Sybille
id: '209'
last_name: Hellebrand
orcid: 0000-0002-3717-3939
title: Implementing a Real-time System on a Platform FPGA operated with ReconOS
type: mastersthesis
user_id: '60323'
year: '2019'
...
---
_id: '21'
abstract:
- lang: eng
text: "We address the general mathematical problem of computing the inverse p-th\r\nroot
of a given matrix in an efficient way. A new method to construct iteration\r\nfunctions
that allow calculating arbitrary p-th roots and their inverses of\r\nsymmetric
positive definite matrices is presented. We show that the order of\r\nconvergence
is at least quadratic and that adaptively adjusting a parameter q\r\nalways leads
to an even faster convergence. In this way, a better performance\r\nthan with
previously known iteration schemes is achieved. The efficiency of the\r\niterative
functions is demonstrated for various matrices with different\r\ndensities, condition
numbers and spectral radii."
author:
- first_name: Dorothee
full_name: Richters, Dorothee
last_name: Richters
- first_name: Michael
full_name: Lass, Michael
id: '24135'
last_name: Lass
orcid: 0000-0002-5708-7632
- first_name: Andrea
full_name: Walther, Andrea
last_name: Walther
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
- first_name: Thomas
full_name: Kühne, Thomas
id: '49079'
last_name: Kühne
citation:
ama: Richters D, Lass M, Walther A, Plessl C, Kühne T. A General Algorithm to Calculate
the Inverse Principal p-th Root of Symmetric Positive Definite Matrices. Communications
in Computational Physics. 2019;25(2):564-585. doi:10.4208/cicp.OA-2018-0053
apa: Richters, D., Lass, M., Walther, A., Plessl, C., & Kühne, T. (2019). A
General Algorithm to Calculate the Inverse Principal p-th Root of Symmetric Positive
Definite Matrices. Communications in Computational Physics, 25(2),
564–585. https://doi.org/10.4208/cicp.OA-2018-0053
bibtex: '@article{Richters_Lass_Walther_Plessl_Kühne_2019, title={A General Algorithm
to Calculate the Inverse Principal p-th Root of Symmetric Positive Definite Matrices},
volume={25}, DOI={10.4208/cicp.OA-2018-0053},
number={2}, journal={Communications in Computational Physics}, publisher={Global
Science Press}, author={Richters, Dorothee and Lass, Michael and Walther, Andrea
and Plessl, Christian and Kühne, Thomas}, year={2019}, pages={564–585} }'
chicago: 'Richters, Dorothee, Michael Lass, Andrea Walther, Christian Plessl, and
Thomas Kühne. “A General Algorithm to Calculate the Inverse Principal P-Th Root
of Symmetric Positive Definite Matrices.” Communications in Computational Physics
25, no. 2 (2019): 564–85. https://doi.org/10.4208/cicp.OA-2018-0053.'
ieee: 'D. Richters, M. Lass, A. Walther, C. Plessl, and T. Kühne, “A General Algorithm
to Calculate the Inverse Principal p-th Root of Symmetric Positive Definite Matrices,”
Communications in Computational Physics, vol. 25, no. 2, pp. 564–585, 2019,
doi: 10.4208/cicp.OA-2018-0053.'
mla: Richters, Dorothee, et al. “A General Algorithm to Calculate the Inverse Principal
P-Th Root of Symmetric Positive Definite Matrices.” Communications in Computational
Physics, vol. 25, no. 2, Global Science Press, 2019, pp. 564–85, doi:10.4208/cicp.OA-2018-0053.
short: D. Richters, M. Lass, A. Walther, C. Plessl, T. Kühne, Communications in
Computational Physics 25 (2019) 564–585.
date_created: 2017-07-25T14:48:26Z
date_updated: 2023-09-26T11:45:02Z
department:
- _id: '27'
- _id: '518'
- _id: '304'
- _id: '104'
doi: 10.4208/cicp.OA-2018-0053
external_id:
arxiv:
- '1703.02456'
intvolume: ' 25'
issue: '2'
language:
- iso: eng
page: 564-585
project:
- _id: '32'
grant_number: PL 595/2-1 / 320898746
name: Performance and Efficiency in HPC with Custom Computing
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Communications in Computational Physics
publisher: Global Science Press
quality_controlled: '1'
status: public
title: A General Algorithm to Calculate the Inverse Principal p-th Root of Symmetric
Positive Definite Matrices
type: journal_article
user_id: '15278'
volume: 25
year: '2019'
...
---
_id: '12871'
author:
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
citation:
ama: Platzner M, Plessl C. FPGAs im Rechenzentrum. Informatik Spektrum. Published
online 2019. doi:10.1007/s00287-019-01187-w
apa: Platzner, M., & Plessl, C. (2019). FPGAs im Rechenzentrum. Informatik
Spektrum. https://doi.org/10.1007/s00287-019-01187-w
bibtex: '@article{Platzner_Plessl_2019, title={FPGAs im Rechenzentrum}, DOI={10.1007/s00287-019-01187-w},
journal={Informatik Spektrum}, author={Platzner, Marco and Plessl, Christian},
year={2019} }'
chicago: Platzner, Marco, and Christian Plessl. “FPGAs im Rechenzentrum.” Informatik
Spektrum, 2019. https://doi.org/10.1007/s00287-019-01187-w.
ieee: 'M. Platzner and C. Plessl, “FPGAs im Rechenzentrum,” Informatik Spektrum,
2019, doi: 10.1007/s00287-019-01187-w.'
mla: Platzner, Marco, and Christian Plessl. “FPGAs im Rechenzentrum.” Informatik
Spektrum, 2019, doi:10.1007/s00287-019-01187-w.
short: M. Platzner, C. Plessl, Informatik Spektrum (2019).
date_created: 2019-07-22T12:42:44Z
date_updated: 2023-09-26T11:45:57Z
ddc:
- '004'
department:
- _id: '27'
- _id: '518'
- _id: '78'
doi: 10.1007/s00287-019-01187-w
file:
- access_level: open_access
content_type: application/pdf
creator: plessl
date_created: 2019-07-22T12:45:02Z
date_updated: 2019-07-22T12:45:02Z
file_id: '12872'
file_name: plessl19_informatik_spektrum.pdf
file_size: 248360
relation: main_file
file_date_updated: 2019-07-22T12:45:02Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
publication: Informatik Spektrum
publication_identifier:
issn:
- 0170-6012
- 1432-122X
publication_status: published
quality_controlled: '1'
status: public
title: FPGAs im Rechenzentrum
type: journal_article
user_id: '15278'
year: '2019'
...
---
_id: '14848'
abstract:
- lang: ger
text: Data Science und Big Data durchdringt in ihren diversen Facetten unser tägliches
Leben– kaum ein Tag, an dem nicht verschiedene Meldungen über technische Innovationen,
Einsatzmöglichkeiten von Künstlicher Intelligenz (KI) und Maschinelles Lernen
(ML) und ihre ethischen sowie gesellschaftlichen Implikationen in den unterschiedlichen
Medien diskutiert werden. Aus diesem Grund erscheint es uns immens wichtig, diese
Fragestellungen und Technologien auch in den Unterricht der Sekundarstufe II zu
integrieren. Um diesem Anspruch gerecht zu werden, entwickelten wir im Rahmen
eines Forschungsprojekts ein Curriculum, welches wir als konkretes Unterrichtskonzept
innerhalb eines Projektkurses erprobt, evaluiert weiterentwickelt wird. Bei der
Implementierung entschieden wir uns, zur aktiven Umsetzung von Konzepten von ML
als Plattform Jupyter Notebook mit Python zu verwenden, da diese Umgebung durch
die Verbindung von Code und Hypertext zur Dokumentation und Erklärung Medienbrüche
im Lernprozess verringern kann. Zudem ist Python zur Implementierung der Methoden
von ML sehr gut geeignet. Im Themenfeld des ML als Teilgebiet der KI legen wir
den Fokus auf zwei unterschiedliche Lernverfahren um verschieden Aspekte von ML,
u.A. wie Nachvollziehbarkeit unter gesellschaftlichen Gesichtspunkten zu vermitteln.
Diese sind Künstliche Neuronale Netze (bei denen die Berechnung und Bedeutung
der Kantengewichte zwischen den Neuronen für den Menschen insbesondere bei komplexeren
Netzen kaum nachvollziehbar erschienen) und Entscheidungsbäume (strukturierte
und gerichtete Bäume zur Darstellung von Entscheidungsregeln, welche auch für
Schülerinnen und Schüler meist gut nachvollziehbares und verständliches KI-Modell
darstellen). In diesem Workshop stellen wir konkrete Umsetzungsbeispiele inklusive
der Programmierung für beide Verfahren mit Jupyter Notebook und Python als Teil
einer Unterrichtssequenz vor und diskutieren diese.
author:
- first_name: Michael
full_name: Schlichtig, Michael
id: '32312'
last_name: Schlichtig
orcid: 0000-0001-6600-6171
- first_name: Simone
full_name: Opel, Simone
last_name: Opel
- first_name: Carsten
full_name: Schulte, Carsten
last_name: Schulte
- first_name: Rolf
full_name: Biehler, Rolf
last_name: Biehler
- first_name: Daniel
full_name: Frischemeier, Daniel
last_name: Frischemeier
- first_name: Susanne
full_name: Podworny, Susanne
last_name: Podworny
- first_name: Thomas
full_name: Wassong, Thomas
id: '21241'
last_name: Wassong
citation:
ama: 'Schlichtig M, Opel S, Schulte C, et al. Maschinelles Lernen im Unterricht
mit Jupyter Notebook. In: Pasternak A, ed. Informatik für alle. Gesellschaft
für Informatik; 2019:385.'
apa: Schlichtig, M., Opel, S., Schulte, C., Biehler, R., Frischemeier, D., Podworny,
S., & Wassong, T. (2019). Maschinelles Lernen im Unterricht mit Jupyter Notebook.
In A. Pasternak (Ed.), Informatik für alle (p. 385). Gesellschaft für Informatik.
bibtex: '@inproceedings{Schlichtig_Opel_Schulte_Biehler_Frischemeier_Podworny_Wassong_2019,
place={Bonn}, title={Maschinelles Lernen im Unterricht mit Jupyter Notebook},
booktitle={Informatik für alle}, publisher={Gesellschaft für Informatik}, author={Schlichtig,
Michael and Opel, Simone and Schulte, Carsten and Biehler, Rolf and Frischemeier,
Daniel and Podworny, Susanne and Wassong, Thomas}, editor={Pasternak, Arno}, year={2019},
pages={385} }'
chicago: 'Schlichtig, Michael, Simone Opel, Carsten Schulte, Rolf Biehler, Daniel
Frischemeier, Susanne Podworny, and Thomas Wassong. “Maschinelles Lernen im Unterricht
mit Jupyter Notebook.” In Informatik für alle, edited by Arno Pasternak,
385. Bonn: Gesellschaft für Informatik, 2019.'
ieee: M. Schlichtig et al., “Maschinelles Lernen im Unterricht mit Jupyter
Notebook,” in Informatik für alle, Dortmund, Germany, 2019, p. 385.
mla: Schlichtig, Michael, et al. “Maschinelles Lernen im Unterricht mit Jupyter
Notebook.” Informatik für alle, edited by Arno Pasternak, Gesellschaft
für Informatik, 2019, p. 385.
short: 'M. Schlichtig, S. Opel, C. Schulte, R. Biehler, D. Frischemeier, S. Podworny,
T. Wassong, in: A. Pasternak (Ed.), Informatik für alle, Gesellschaft für Informatik,
Bonn, 2019, p. 385.'
conference:
end_date: 2019-09-18
location: Dortmund, Germany
name: INFOS 2019
start_date: 2019-09-16
date_created: 2019-11-07T14:08:13Z
date_updated: 2025-05-25T20:01:30Z
department:
- _id: '67'
- _id: '97'
editor:
- first_name: Arno
full_name: Pasternak, Arno
last_name: Pasternak
language:
- iso: ger
main_file_link:
- url: https://dl.gi.de/handle/20.500.12116/28964
page: ' 385 '
place: Bonn
publication: Informatik für alle
publication_identifier:
isbn:
- 978-3-88579-682-4
publication_status: published
publisher: Gesellschaft für Informatik
status: public
title: Maschinelles Lernen im Unterricht mit Jupyter Notebook
type: conference
user_id: '21241'
year: '2019'
...