---
_id: '46368'
abstract:
- lang: eng
text: Exploratory Landscape Analysis (ELA) aims at understanding characteristics
of single-objective continuous (black-box) optimization problems in an automated
way. Moreover, the approach provides the basis for constructing algorithm selection
models for unseen problem instances. Recently, it has gained increasing attention
and numerical features have been designed by various research groups. This paper
introduces the R-Package FLACCO which makes all relevant features available in
a unified framework together with efficient helper functions. Moreover, a case
study which gives perspectives to ELA for multi-objective optimization problems
is presented.
author:
- first_name: Pascal
full_name: Kerschke, Pascal
last_name: Kerschke
- first_name: Heike
full_name: Trautmann, Heike
id: '100740'
last_name: Trautmann
orcid: 0000-0002-9788-8282
citation:
ama: 'Kerschke P, Trautmann H. The R-Package FLACCO for Exploratory Landscape Analysis
with Applications to Multi-Objective Optimization Problems. In: Proceedings
of the IEEE Congress on Evolutionary Computation (CEC). ; 2016. doi:10.1109/CEC.2016.7748359'
apa: Kerschke, P., & Trautmann, H. (2016). The R-Package FLACCO for Exploratory
Landscape Analysis with Applications to Multi-Objective Optimization Problems.
Proceedings of the IEEE Congress on Evolutionary Computation (CEC). https://doi.org/10.1109/CEC.2016.7748359
bibtex: '@inproceedings{Kerschke_Trautmann_2016, place={Vancouver, BC, Kanada},
title={The R-Package FLACCO for Exploratory Landscape Analysis with Applications
to Multi-Objective Optimization Problems}, DOI={10.1109/CEC.2016.7748359},
booktitle={Proceedings of the IEEE Congress on Evolutionary Computation (CEC)},
author={Kerschke, Pascal and Trautmann, Heike}, year={2016} }'
chicago: Kerschke, Pascal, and Heike Trautmann. “The R-Package FLACCO for Exploratory
Landscape Analysis with Applications to Multi-Objective Optimization Problems.”
In Proceedings of the IEEE Congress on Evolutionary Computation (CEC).
Vancouver, BC, Kanada, 2016. https://doi.org/10.1109/CEC.2016.7748359.
ieee: 'P. Kerschke and H. Trautmann, “The R-Package FLACCO for Exploratory Landscape
Analysis with Applications to Multi-Objective Optimization Problems,” 2016, doi:
10.1109/CEC.2016.7748359.'
mla: Kerschke, Pascal, and Heike Trautmann. “The R-Package FLACCO for Exploratory
Landscape Analysis with Applications to Multi-Objective Optimization Problems.”
Proceedings of the IEEE Congress on Evolutionary Computation (CEC), 2016,
doi:10.1109/CEC.2016.7748359.
short: 'P. Kerschke, H. Trautmann, in: Proceedings of the IEEE Congress on Evolutionary
Computation (CEC), Vancouver, BC, Kanada, 2016.'
date_created: 2023-08-04T15:14:52Z
date_updated: 2023-10-16T13:39:06Z
department:
- _id: '34'
- _id: '819'
doi: 10.1109/CEC.2016.7748359
language:
- iso: eng
place: Vancouver, BC, Kanada
publication: Proceedings of the IEEE Congress on Evolutionary Computation (CEC)
status: public
title: The R-Package FLACCO for Exploratory Landscape Analysis with Applications to
Multi-Objective Optimization Problems
type: conference
user_id: '15504'
year: '2016'
...
---
_id: '46370'
abstract:
- lang: eng
text: This report documents the talks and discussions at the Dagstuhl Seminar 15211
"Theory of Evolutionary Algorithms". This seminar, now in its 8th edition, is
the main meeting point of the highly active theory of randomized search heuristics
subcommunities in Australia, Asia, North America, and Europe. Topics intensively
discussed include rigorous runtime analysis and computational complexity theory
for randomised search heuristics, information geometry of randomised search, and
synergies between the theory of evolutionary algorithms and theories of natural
evolution.
author:
- first_name: F
full_name: Neumann, F
last_name: Neumann
- first_name: Heike
full_name: Trautmann, Heike
id: '100740'
last_name: Trautmann
orcid: 0000-0002-9788-8282
citation:
ama: 'Neumann F, Trautmann H. Working Group Report: Bridging the Gap Between Experiments
and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms
(Dagstuhl Seminar 15211). Dagstuhl Reports. 2016;5(5):78–79. doi:10.4230/DagRep.5.5.57'
apa: 'Neumann, F., & Trautmann, H. (2016). Working Group Report: Bridging the
Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory
of Evolutionary Algorithms (Dagstuhl Seminar 15211). Dagstuhl Reports,
5(5), 78–79. https://doi.org/10.4230/DagRep.5.5.57'
bibtex: '@article{Neumann_Trautmann_2016, title={Working Group Report: Bridging
the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis;
Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)}, volume={5}, DOI={10.4230/DagRep.5.5.57}, number={5},
journal={Dagstuhl Reports}, author={Neumann, F and Trautmann, Heike}, year={2016},
pages={78–79} }'
chicago: 'Neumann, F, and Heike Trautmann. “Working Group Report: Bridging the Gap
Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of
Evolutionary Algorithms (Dagstuhl Seminar 15211).” Dagstuhl Reports 5,
no. 5 (2016): 78–79. https://doi.org/10.4230/DagRep.5.5.57.'
ieee: 'F. Neumann and H. Trautmann, “Working Group Report: Bridging the Gap Between
Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary
Algorithms (Dagstuhl Seminar 15211),” Dagstuhl Reports, vol. 5, no. 5,
pp. 78–79, 2016, doi: 10.4230/DagRep.5.5.57.'
mla: 'Neumann, F., and Heike Trautmann. “Working Group Report: Bridging the Gap
Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of
Evolutionary Algorithms (Dagstuhl Seminar 15211).” Dagstuhl Reports, vol.
5, no. 5, 2016, pp. 78–79, doi:10.4230/DagRep.5.5.57.'
short: F. Neumann, H. Trautmann, Dagstuhl Reports 5 (2016) 78–79.
date_created: 2023-08-04T15:17:00Z
date_updated: 2023-10-16T13:40:00Z
department:
- _id: '34'
- _id: '819'
doi: 10.4230/DagRep.5.5.57
intvolume: ' 5'
issue: '5'
language:
- iso: eng
page: 78–79
publication: Dagstuhl Reports
status: public
title: 'Working Group Report: Bridging the Gap Between Experiments and Theory Using
Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar
15211)'
type: journal_article
user_id: '15504'
volume: 5
year: '2016'
...
---
_id: '48309'
author:
- first_name: Ivan
full_name: Habernal, Ivan
id: '101881'
last_name: Habernal
- first_name: Iryna
full_name: Gurevych, Iryna
last_name: Gurevych
citation:
ama: 'Habernal I, Gurevych I. What makes a convincing argument? Empirical analysis
and detecting attributes of convincingness in Web argumentation. In:
Proceedings of the 2016 Conference on Empirical Methods in Natural
Language Processing. Association for Computational Linguistics; 2016. doi:10.18653/v1/d16-1129'
apa: Habernal, I., & Gurevych, I. (2016). What makes a convincing argument?
Empirical analysis and detecting attributes of convincingness in Web
argumentation. Proceedings of the 2016 Conference on Empirical Methods in Natural
Language Processing. https://doi.org/10.18653/v1/d16-1129
bibtex: '@inproceedings{Habernal_Gurevych_2016, title={What makes a convincing argument?
Empirical analysis and detecting attributes of convincingness in Web
argumentation}, DOI={10.18653/v1/d16-1129},
booktitle={Proceedings of the 2016 Conference on Empirical Methods in Natural
Language Processing}, publisher={Association for Computational Linguistics},
author={Habernal, Ivan and Gurevych, Iryna}, year={2016} }'
chicago: Habernal, Ivan, and Iryna Gurevych. “What Makes a Convincing Argument?
Empirical Analysis and Detecting Attributes of Convincingness in Web
Argumentation.” In Proceedings of the 2016 Conference on Empirical Methods
in Natural Language Processing. Association for Computational Linguistics,
2016. https://doi.org/10.18653/v1/d16-1129.
ieee: 'I. Habernal and I. Gurevych, “What makes a convincing argument? Empirical
analysis and detecting attributes of convincingness in Web argumentation,”
2016, doi: 10.18653/v1/d16-1129.'
mla: Habernal, Ivan, and Iryna Gurevych. “What Makes a Convincing Argument? Empirical
Analysis and Detecting Attributes of Convincingness in Web Argumentation.”
Proceedings of the 2016 Conference on Empirical Methods in Natural
Language Processing, Association for Computational Linguistics, 2016, doi:10.18653/v1/d16-1129.
short: 'I. Habernal, I. Gurevych, in: Proceedings of the 2016 Conference on Empirical
Methods in Natural Language Processing, Association for Computational
Linguistics, 2016.'
date_created: 2023-10-19T08:31:58Z
date_updated: 2023-10-19T12:07:05Z
department:
- _id: '34'
- _id: '820'
doi: 10.18653/v1/d16-1129
language:
- iso: eng
publication: Proceedings of the 2016 Conference on Empirical Methods in Natural Language
Processing
publication_status: published
publisher: Association for Computational Linguistics
status: public
title: What makes a convincing argument? Empirical analysis and detecting attributes
of convincingness in Web argumentation
type: conference
user_id: '15504'
year: '2016'
...
---
_id: '11890'
abstract:
- lang: eng
text: In this paper we study the influence of directional radio patterns of Bluetooth
low energy (BLE) beacons on smartphone localization accuracy and beacon network
planning. A two-dimensional model of the power emission characteristic is derived
from measurements of the radiation pattern of BLE beacons carried out in an RF
chamber. The Cramer-Rao lower bound (CRLB) for position estimation is then derived
for this directional power emission model. With this lower bound on the RMS positioning
error the coverage of different beacon network configurations can be evaluated.
For near-optimal network planing an evolutionary optimization algorithm for finding
the best beacon placement is presented.
author:
- first_name: Joerg
full_name: Schmalenstroeer, Joerg
id: '460'
last_name: Schmalenstroeer
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Schmalenstroeer J, Haeb-Umbach R. Investigations into Bluetooth Low Energy
Localization Precision Limits. In: 24th European Signal Processing Conference
(EUSIPCO 2016). ; 2016.'
apa: Schmalenstroeer, J., & Haeb-Umbach, R. (2016). Investigations into Bluetooth
Low Energy Localization Precision Limits. 24th European Signal Processing Conference
(EUSIPCO 2016).
bibtex: '@inproceedings{Schmalenstroeer_Haeb-Umbach_2016, title={Investigations
into Bluetooth Low Energy Localization Precision Limits}, booktitle={24th European
Signal Processing Conference (EUSIPCO 2016)}, author={Schmalenstroeer, Joerg and
Haeb-Umbach, Reinhold}, year={2016} }'
chicago: Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Investigations into
Bluetooth Low Energy Localization Precision Limits.” In 24th European Signal
Processing Conference (EUSIPCO 2016), 2016.
ieee: J. Schmalenstroeer and R. Haeb-Umbach, “Investigations into Bluetooth Low
Energy Localization Precision Limits,” 2016.
mla: Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Investigations into Bluetooth
Low Energy Localization Precision Limits.” 24th European Signal Processing
Conference (EUSIPCO 2016), 2016.
short: 'J. Schmalenstroeer, R. Haeb-Umbach, in: 24th European Signal Processing
Conference (EUSIPCO 2016), 2016.'
date_created: 2019-07-12T05:30:14Z
date_updated: 2023-10-26T08:11:52Z
department:
- _id: '54'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2016/SchHaeb16.pdf
oa: '1'
publication: 24th European Signal Processing Conference (EUSIPCO 2016)
quality_controlled: '1'
related_material:
link:
- description: Poster
relation: supplementary_material
url: https://groups.uni-paderborn.de/nt/pubs/2016/SchHaeb16_Poster.pdf
status: public
title: Investigations into Bluetooth Low Energy Localization Precision Limits
type: conference
user_id: '460'
year: '2016'
...
---
_id: '47241'
author:
- first_name: Yasemin
full_name: Acar, Yasemin
id: '94636'
last_name: Acar
- first_name: Michael
full_name: Backes, Michael
last_name: Backes
- first_name: Sascha
full_name: Fahl, Sascha
last_name: Fahl
- first_name: Doowon
full_name: Kim, Doowon
last_name: Kim
- first_name: Michelle L.
full_name: Mazurek, Michelle L.
last_name: Mazurek
- first_name: Christian
full_name: Stransky, Christian
last_name: Stransky
citation:
ama: 'Acar Y, Backes M, Fahl S, Kim D, Mazurek ML, Stransky C. You Get Where You’re
Looking for: The Impact of Information Sources on Code Security. In: 2016 IEEE
Symposium on Security and Privacy (SP). IEEE; 2016. doi:10.1109/sp.2016.25'
apa: 'Acar, Y., Backes, M., Fahl, S., Kim, D., Mazurek, M. L., & Stransky, C.
(2016). You Get Where You’re Looking for: The Impact of Information Sources on
Code Security. 2016 IEEE Symposium on Security and Privacy (SP). https://doi.org/10.1109/sp.2016.25'
bibtex: '@inproceedings{Acar_Backes_Fahl_Kim_Mazurek_Stransky_2016, title={You Get
Where You’re Looking for: The Impact of Information Sources on Code Security},
DOI={10.1109/sp.2016.25}, booktitle={2016
IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Acar,
Yasemin and Backes, Michael and Fahl, Sascha and Kim, Doowon and Mazurek, Michelle
L. and Stransky, Christian}, year={2016} }'
chicago: 'Acar, Yasemin, Michael Backes, Sascha Fahl, Doowon Kim, Michelle L. Mazurek,
and Christian Stransky. “You Get Where You’re Looking for: The Impact of Information
Sources on Code Security.” In 2016 IEEE Symposium on Security and Privacy (SP).
IEEE, 2016. https://doi.org/10.1109/sp.2016.25.'
ieee: 'Y. Acar, M. Backes, S. Fahl, D. Kim, M. L. Mazurek, and C. Stransky, “You
Get Where You’re Looking for: The Impact of Information Sources on Code Security,”
2016, doi: 10.1109/sp.2016.25.'
mla: 'Acar, Yasemin, et al. “You Get Where You’re Looking for: The Impact of Information
Sources on Code Security.” 2016 IEEE Symposium on Security and Privacy (SP),
IEEE, 2016, doi:10.1109/sp.2016.25.'
short: 'Y. Acar, M. Backes, S. Fahl, D. Kim, M.L. Mazurek, C. Stransky, in: 2016
IEEE Symposium on Security and Privacy (SP), IEEE, 2016.'
date_created: 2023-09-22T12:42:01Z
date_updated: 2023-11-22T09:24:35Z
department:
- _id: '34'
- _id: '740'
doi: 10.1109/sp.2016.25
extern: '1'
language:
- iso: eng
publication: 2016 IEEE Symposium on Security and Privacy (SP)
publication_status: published
publisher: IEEE
status: public
title: 'You Get Where You''re Looking for: The Impact of Information Sources on Code
Security'
type: conference
user_id: '15458'
year: '2016'
...
---
_id: '47239'
author:
- first_name: Sergej
full_name: Dechand, Sergej
last_name: Dechand
- first_name: Dominik
full_name: Schürmann, Dominik
last_name: Schürmann
- first_name: Karoline
full_name: Busse, Karoline
last_name: Busse
- first_name: Yasemin
full_name: Acar, Yasemin
id: '94636'
last_name: Acar
- first_name: Sascha
full_name: Fahl, Sascha
last_name: Fahl
- first_name: Matthew
full_name: Smith, Matthew
last_name: Smith
citation:
ama: 'Dechand S, Schürmann D, Busse K, Acar Y, Fahl S, Smith M. An Empirical Study
of Textual Key-Fingerprint Representations. In: Holz T, Savage S, eds. 25th
USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12,
2016. USENIX Association; 2016:193–208.'
apa: Dechand, S., Schürmann, D., Busse, K., Acar, Y., Fahl, S., & Smith, M.
(2016). An Empirical Study of Textual Key-Fingerprint Representations. In T. Holz
& S. Savage (Eds.), 25th USENIX Security Symposium, USENIX Security 16,
Austin, TX, USA, August 10-12, 2016 (pp. 193–208). USENIX Association.
bibtex: '@inproceedings{Dechand_Schürmann_Busse_Acar_Fahl_Smith_2016, title={An
Empirical Study of Textual Key-Fingerprint Representations}, booktitle={25th USENIX
Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016},
publisher={USENIX Association}, author={Dechand, Sergej and Schürmann, Dominik
and Busse, Karoline and Acar, Yasemin and Fahl, Sascha and Smith, Matthew}, editor={Holz,
Thorsten and Savage, Stefan}, year={2016}, pages={193–208} }'
chicago: Dechand, Sergej, Dominik Schürmann, Karoline Busse, Yasemin Acar, Sascha
Fahl, and Matthew Smith. “An Empirical Study of Textual Key-Fingerprint Representations.”
In 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August
10-12, 2016, edited by Thorsten Holz and Stefan Savage, 193–208. USENIX Association,
2016.
ieee: S. Dechand, D. Schürmann, K. Busse, Y. Acar, S. Fahl, and M. Smith, “An Empirical
Study of Textual Key-Fingerprint Representations,” in 25th USENIX Security
Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, 2016,
pp. 193–208.
mla: Dechand, Sergej, et al. “An Empirical Study of Textual Key-Fingerprint Representations.”
25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August
10-12, 2016, edited by Thorsten Holz and Stefan Savage, USENIX Association,
2016, pp. 193–208.
short: 'S. Dechand, D. Schürmann, K. Busse, Y. Acar, S. Fahl, M. Smith, in: T. Holz,
S. Savage (Eds.), 25th USENIX Security Symposium, USENIX Security 16, Austin,
TX, USA, August 10-12, 2016, USENIX Association, 2016, pp. 193–208.'
date_created: 2023-09-22T12:40:35Z
date_updated: 2023-11-22T09:24:57Z
department:
- _id: '34'
- _id: '740'
editor:
- first_name: Thorsten
full_name: Holz, Thorsten
last_name: Holz
- first_name: Stefan
full_name: Savage, Stefan
last_name: Savage
extern: '1'
language:
- iso: eng
page: 193–208
publication: 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA,
August 10-12, 2016
publisher: USENIX Association
status: public
title: An Empirical Study of Textual Key-Fingerprint Representations
type: conference
user_id: '15458'
year: '2016'
...
---
_id: '48873'
abstract:
- lang: eng
text: Despite the intrinsic hardness of the Traveling Salesperson Problem (TSP)
heuristic solvers, e.g., LKH+restart and EAX+restart, are remarkably successful
in generating satisfactory or even optimal solutions. However, the reasons for
their success are not yet fully understood. Recent approaches take an analytical
viewpoint and try to identify instance features, which make an instance hard or
easy to solve. We contribute to this area by generating instance sets for couples
of TSP algorithms A and B by maximizing/minimizing their performance difference
in order to generate instances which are easier to solve for one solver and much
harder to solve for the other. This instance set offers the potential to identify
key features which allow to distinguish between the problem hardness classes of
both algorithms.
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. Evolving Instances for Maximizing Performance Differences
of State-of-the-Art Inexact TSP Solvers. In: Festa P, Sellmann M, Vanschoren J,
eds. Learning and Intelligent Optimization. Lecture Notes in Computer Science.
Springer International Publishing; 2016:48–59. doi:10.1007/978-3-319-50349-3_4'
apa: Bossek, J., & Trautmann, H. (2016). Evolving Instances for Maximizing Performance
Differences of State-of-the-Art Inexact TSP Solvers. In P. Festa, M. Sellmann,
& J. Vanschoren (Eds.), Learning and Intelligent Optimization (pp.
48–59). Springer International Publishing. https://doi.org/10.1007/978-3-319-50349-3_4
bibtex: '@inproceedings{Bossek_Trautmann_2016, place={Cham}, series={Lecture Notes
in Computer Science}, title={Evolving Instances for Maximizing Performance Differences
of State-of-the-Art Inexact TSP Solvers}, DOI={10.1007/978-3-319-50349-3_4},
booktitle={Learning and Intelligent Optimization}, publisher={Springer International
Publishing}, author={Bossek, Jakob and Trautmann, Heike}, editor={Festa, Paola
and Sellmann, Meinolf and Vanschoren, Joaquin}, year={2016}, pages={48–59}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Bossek, Jakob, and Heike Trautmann. “Evolving Instances for Maximizing
Performance Differences of State-of-the-Art Inexact TSP Solvers.” In Learning
and Intelligent Optimization, edited by Paola Festa, Meinolf Sellmann, and
Joaquin Vanschoren, 48–59. Lecture Notes in Computer Science. Cham: Springer International
Publishing, 2016. https://doi.org/10.1007/978-3-319-50349-3_4.'
ieee: 'J. Bossek and H. Trautmann, “Evolving Instances for Maximizing Performance
Differences of State-of-the-Art Inexact TSP Solvers,” in Learning and Intelligent
Optimization, 2016, pp. 48–59, doi: 10.1007/978-3-319-50349-3_4.'
mla: Bossek, Jakob, and Heike Trautmann. “Evolving Instances for Maximizing Performance
Differences of State-of-the-Art Inexact TSP Solvers.” Learning and Intelligent
Optimization, edited by Paola Festa et al., Springer International Publishing,
2016, pp. 48–59, doi:10.1007/978-3-319-50349-3_4.
short: 'J. Bossek, H. Trautmann, in: P. Festa, M. Sellmann, J. Vanschoren (Eds.),
Learning and Intelligent Optimization, Springer International Publishing, Cham,
2016, pp. 48–59.'
date_created: 2023-11-14T15:58:57Z
date_updated: 2023-12-13T10:47:05Z
department:
- _id: '819'
doi: 10.1007/978-3-319-50349-3_4
editor:
- first_name: Paola
full_name: Festa, Paola
last_name: Festa
- first_name: Meinolf
full_name: Sellmann, Meinolf
last_name: Sellmann
- first_name: Joaquin
full_name: Vanschoren, Joaquin
last_name: Vanschoren
extern: '1'
keyword:
- Algorithm selection
- Feature selection
- Instance hardness
- TSP
language:
- iso: eng
page: 48–59
place: Cham
publication: Learning and Intelligent Optimization
publication_identifier:
isbn:
- 978-3-319-50349-3
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: Evolving Instances for Maximizing Performance Differences of State-of-the-Art
Inexact TSP Solvers
type: conference
user_id: '102979'
year: '2016'
...
---
_id: '51464'
author:
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
citation:
ama: 'Hilgert J. Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen
Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen. In: Hoppenbrock
A, et al., eds. Lehren und Lernen von Mathematik in der Studieneingangsphase.
Springer Spektrum; 2016.'
apa: Hilgert, J. (2016). Schwierigkeiten beim Übergang von Schule zu Hochschule
im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen.
In A. Hoppenbrock & et al. (Eds.), Lehren und Lernen von Mathematik in
der Studieneingangsphase. Springer Spektrum.
bibtex: '@inbook{Hilgert_2016, title={Schwierigkeiten beim Übergang von Schule zu
Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen},
booktitle={Lehren und Lernen von Mathematik in der Studieneingangsphase}, publisher={Springer
Spektrum}, author={Hilgert, Joachim}, editor={Hoppenbrock, A. and et al.}, year={2016}
}'
chicago: Hilgert, Joachim. “Schwierigkeiten beim Übergang von Schule zu Hochschule
im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen.”
In Lehren und Lernen von Mathematik in der Studieneingangsphase, edited
by A. Hoppenbrock and et al. Springer Spektrum, 2016.
ieee: J. Hilgert, “Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen
Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen,” in Lehren
und Lernen von Mathematik in der Studieneingangsphase, A. Hoppenbrock and
et al., Eds. Springer Spektrum, 2016.
mla: Hilgert, Joachim. “Schwierigkeiten beim Übergang von Schule zu Hochschule im
zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen.”
Lehren und Lernen von Mathematik in der Studieneingangsphase, edited by
A. Hoppenbrock and et al., Springer Spektrum, 2016.
short: 'J. Hilgert, in: A. Hoppenbrock, et al. (Eds.), Lehren und Lernen von Mathematik
in der Studieneingangsphase, Springer Spektrum, 2016.'
corporate_editor:
- et al.
date_created: 2024-02-19T08:06:18Z
date_updated: 2024-02-19T08:06:22Z
department:
- _id: '91'
editor:
- first_name: A.
full_name: Hoppenbrock, A.
last_name: Hoppenbrock
language:
- iso: ger
publication: Lehren und Lernen von Mathematik in der Studieneingangsphase
publication_status: published
publisher: Springer Spektrum
status: public
title: Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich
- Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen
type: book_chapter
user_id: '49063'
year: '2016'
...
---
_id: '51463'
author:
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
- first_name: A.
full_name: Pasquale, A.
last_name: Pasquale
- first_name: T.
full_name: Przebinda, T.
last_name: Przebinda
citation:
ama: 'Hilgert J, Pasquale A, Przebinda T. Resonances for the Laplacian: the cases
BC2 and C2 (except SO(p,2) with p>2 odd). In: Kielanowski P, et al., eds.
Geometric Methods in Physics. Birkhäuser; 2016.'
apa: 'Hilgert, J., Pasquale, A., & Przebinda, T. (2016). Resonances for the
Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd). In P. Kielanowski
& et al. (Eds.), Geometric Methods in Physics. Birkhäuser.'
bibtex: '@inbook{Hilgert_Pasquale_Przebinda_2016, title={Resonances for the Laplacian:
the cases BC2 and C2 (except SO(p,2) with p>2 odd)}, booktitle={Geometric
Methods in Physics}, publisher={Birkhäuser}, author={Hilgert, Joachim and Pasquale,
A. and Przebinda, T.}, editor={Kielanowski, P. and et al.}, year={2016} }'
chicago: 'Hilgert, Joachim, A. Pasquale, and T. Przebinda. “Resonances for the Laplacian:
The Cases BC2 and C2 (except SO(p,2) with P>2 Odd).” In Geometric Methods
in Physics, edited by P. Kielanowski and et al. Birkhäuser, 2016.'
ieee: 'J. Hilgert, A. Pasquale, and T. Przebinda, “Resonances for the Laplacian:
the cases BC2 and C2 (except SO(p,2) with p>2 odd),” in Geometric Methods
in Physics, P. Kielanowski and et al., Eds. Birkhäuser, 2016.'
mla: 'Hilgert, Joachim, et al. “Resonances for the Laplacian: The Cases BC2 and
C2 (except SO(p,2) with P>2 Odd).” Geometric Methods in Physics, edited
by P. Kielanowski and et al., Birkhäuser, 2016.'
short: 'J. Hilgert, A. Pasquale, T. Przebinda, in: P. Kielanowski, et al. (Eds.),
Geometric Methods in Physics, Birkhäuser, 2016.'
corporate_editor:
- et al.
date_created: 2024-02-19T08:05:20Z
date_updated: 2024-02-19T08:05:24Z
department:
- _id: '91'
editor:
- first_name: P.
full_name: Kielanowski, P.
last_name: Kielanowski
language:
- iso: eng
publication: Geometric Methods in Physics
publication_status: published
publisher: Birkhäuser
status: public
title: 'Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2
odd)'
type: book_chapter
user_id: '49063'
year: '2016'
...
---
_id: '51489'
citation:
ama: Hilgert J, ed. Mathematische Strukturen. Springer Spektrum; 2016.
apa: Hilgert, J. (Ed.). (2016). Mathematische Strukturen. Springer Spektrum.
bibtex: '@book{Hilgert_2016, title={Mathematische Strukturen}, publisher={Springer
Spektrum}, year={2016} }'
chicago: Hilgert, Joachim, ed. Mathematische Strukturen. Springer Spektrum,
2016.
ieee: J. Hilgert, Ed., Mathematische Strukturen. Springer Spektrum, 2016.
mla: Hilgert, Joachim, editor. Mathematische Strukturen. Springer Spektrum,
2016.
short: J. Hilgert, ed., Mathematische Strukturen, Springer Spektrum, 2016.
date_created: 2024-02-19T10:16:40Z
date_updated: 2024-02-19T10:16:47Z
department:
- _id: '91'
editor:
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
language:
- iso: ger
main_file_link:
- url: https://link.springer.com/book/10.1007/978-3-662-48870-6
publication_status: published
publisher: Springer Spektrum
status: public
title: Mathematische Strukturen
type: book_editor
user_id: '49063'
year: '2016'
...
---
_id: '52575'
author:
- first_name: Gerda
full_name: Werth, Gerda
id: '578'
last_name: Werth
citation:
ama: 'Werth G. Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende
die Erkenntnisse, die sie im Zugmodus gewinnen? In: Institut für Mathematik und
Informatik der Pädagogischen Hochschule Heidelberg, ed. Beiträge zum Mathematikunterricht.
WTM; 2016.'
apa: Werth, G. (2016). Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für
Studierende die Erkenntnisse, die sie im Zugmodus gewinnen? In Institut für Mathematik
und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum
Mathematikunterricht. WTM.
bibtex: '@inproceedings{Werth_2016, place={Münster}, title={Ziehen und Beweisen
mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im
Zugmodus gewinnen?}, booktitle={Beiträge zum Mathematikunterricht}, publisher={WTM},
author={Werth, Gerda}, editor={Institut für Mathematik und Informatik der Pädagogischen
Hochschule Heidelberg}, year={2016} }'
chicago: 'Werth, Gerda. “Ziehen und Beweisen mit DGS - Welche Beweiskraft haben
für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?” In Beiträge
zum Mathematikunterricht, edited by Institut für Mathematik und Informatik
der Pädagogischen Hochschule Heidelberg. Münster: WTM, 2016.'
ieee: G. Werth, “Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende
die Erkenntnisse, die sie im Zugmodus gewinnen?,” in Beiträge zum Mathematikunterricht,
Heidelberg, 2016.
mla: Werth, Gerda. “Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende
die Erkenntnisse, die sie im Zugmodus gewinnen?” Beiträge zum Mathematikunterricht,
edited by Institut für Mathematik und Informatik der Pädagogischen Hochschule
Heidelberg, WTM, 2016.
short: 'G. Werth, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule
Heidelberg (Ed.), Beiträge zum Mathematikunterricht, WTM, Münster, 2016.'
conference:
end_date: 2016-03-11
location: Heidelberg
name: 50. Tagung für Didaktik der Mathematik
start_date: 2016-03-07
corporate_editor:
- Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg
date_created: 2024-03-14T11:23:04Z
date_updated: 2024-03-14T11:23:50Z
department:
- _id: '98'
language:
- iso: ger
place: Münster
publication: Beiträge zum Mathematikunterricht
publication_status: published
publisher: WTM
status: public
title: Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die
Erkenntnisse, die sie im Zugmodus gewinnen?
type: conference
user_id: '578'
year: '2016'
...
---
_id: '52803'
author:
- first_name: Stefan
full_name: Borgwardt, Stefan
last_name: Borgwardt
- first_name: Theofilos
full_name: Mailis, Theofilos
last_name: Mailis
- first_name: Rafael
full_name: Peñaloza, Rafael
last_name: Peñaloza
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
citation:
ama: Borgwardt S, Mailis T, Peñaloza R, Turhan A-Y. Answering Fuzzy Conjunctive
Queries Over Finitely Valued Fuzzy Ontologies. Journal on Data Semantics.
2016;5(2):55-75. doi:10.1007/s13740-015-0055-y
apa: Borgwardt, S., Mailis, T., Peñaloza, R., & Turhan, A.-Y. (2016). Answering
Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. Journal on
Data Semantics, 5(2), 55–75. https://doi.org/10.1007/s13740-015-0055-y
bibtex: '@article{Borgwardt_Mailis_Peñaloza_Turhan_2016, title={Answering Fuzzy
Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, volume={5}, DOI={10.1007/s13740-015-0055-y},
number={2}, journal={Journal on Data Semantics}, publisher={Springer Science and
Business Media LLC}, author={Borgwardt, Stefan and Mailis, Theofilos and Peñaloza,
Rafael and Turhan, Anni-Yasmin}, year={2016}, pages={55–75} }'
chicago: 'Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin
Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.”
Journal on Data Semantics 5, no. 2 (2016): 55–75. https://doi.org/10.1007/s13740-015-0055-y.'
ieee: 'S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy
Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” Journal on Data
Semantics, vol. 5, no. 2, pp. 55–75, 2016, doi: 10.1007/s13740-015-0055-y.'
mla: Borgwardt, Stefan, et al. “Answering Fuzzy Conjunctive Queries Over Finitely
Valued Fuzzy Ontologies.” Journal on Data Semantics, vol. 5, no. 2, Springer
Science and Business Media LLC, 2016, pp. 55–75, doi:10.1007/s13740-015-0055-y.
short: S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics
5 (2016) 55–75.
date_created: 2024-03-25T09:23:39Z
date_updated: 2024-03-25T13:50:33Z
department:
- _id: '888'
doi: 10.1007/s13740-015-0055-y
intvolume: ' 5'
issue: '2'
keyword:
- Artificial Intelligence
- Computer Networks and Communications
- Information Systems
language:
- iso: eng
page: 55-75
publication: Journal on Data Semantics
publication_identifier:
issn:
- 1861-2032
- 1861-2040
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
type: journal_article
user_id: '9503'
volume: 5
year: '2016'
...
---
_id: '250'
abstract:
- lang: eng
text: Before execution, users should formally validate the correctness of software
received from untrusted providers. To accelerate this validation, in the proof
carrying code (PCC) paradigm the provider delivers the software together with
a certificate, a formal proof of the software’s correctness. Thus, the user only
checks if the attached certificate shows correctness of the delivered software.Recently,
we introduced configurable program certification, a generic, PCC based framework
supporting various software analyses and safety properties. Evaluation of our
framework revealed that validation suffers from certificate reading. In this paper,
we present two orthogonal approaches which improve certificate validation, both
reducing the impact of certificate reading. The first approach reduces the certificate
size, storing information only if it cannot easily be recomputed. The second approach
partitions the certificate into independently checkable parts. The trick is to
read parts of the certificate while already checking read parts. Our experiments
show that validation highly benefits from our improvements.
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
citation:
ama: 'Jakobs M-C. Speed Up Configurable Certificate Validation by Certificate Reduction
and Partitioning. In: Proceedings of the 13th International Conference on Software
Engineering and Formal Methods (SEFM). LNCS. ; 2015:159--174. doi:10.1007/978-3-319-22969-0_12'
apa: Jakobs, M.-C. (2015). Speed Up Configurable Certificate Validation by Certificate
Reduction and Partitioning. In Proceedings of the 13th International Conference
on Software Engineering and Formal Methods (SEFM) (pp. 159--174). https://doi.org/10.1007/978-3-319-22969-0_12
bibtex: '@inproceedings{Jakobs_2015, series={LNCS}, title={Speed Up Configurable
Certificate Validation by Certificate Reduction and Partitioning}, DOI={10.1007/978-3-319-22969-0_12},
booktitle={Proceedings of the 13th International Conference on Software Engineering
and Formal Methods (SEFM)}, author={Jakobs, Marie-Christine}, year={2015}, pages={159--174},
collection={LNCS} }'
chicago: Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation
by Certificate Reduction and Partitioning.” In Proceedings of the 13th International
Conference on Software Engineering and Formal Methods (SEFM), 159--174. LNCS,
2015. https://doi.org/10.1007/978-3-319-22969-0_12.
ieee: M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate
Reduction and Partitioning,” in Proceedings of the 13th International Conference
on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
mla: Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate
Reduction and Partitioning.” Proceedings of the 13th International Conference
on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174, doi:10.1007/978-3-319-22969-0_12.
short: 'M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software
Engineering and Formal Methods (SEFM), 2015, pp. 159--174.'
date_created: 2017-10-17T12:41:40Z
date_updated: 2022-01-06T06:56:43Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-22969-0_12
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:45:15Z
date_updated: 2018-03-21T09:45:15Z
file_id: '1489'
file_name: 250-Jakobs2015.pdf
file_size: 724308
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:45:15Z
has_accepted_license: '1'
language:
- iso: eng
page: 159--174
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 13th International Conference on Software Engineering
and Formal Methods (SEFM)
series_title: LNCS
status: public
title: Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
type: conference
user_id: '477'
year: '2015'
...
---
_id: '25073'
abstract:
- lang: eng
text: In this paper, we introduce an approach for combining embedded systems with
Service-oriented Computing techniques based on a concrete application scenario
from the robotics domain. Our proposed Service-oriented Architecture allows for
incorporating computational expensive functionality as services into a distributed
computing environment. Furthermore, our framework facilitates a seamless integration
of embedded systems such as robots as service providers into the computing environment.
The entire communication is based on so-called recipes, which can be interpreted
as autonomous messages that contain all necessary information for executing compositions
of services.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing
with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS). Springer-Verlag; 2015.'
apa: Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2015). Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study. Proceedings of the
5th IFIP International Embedded Systems Symposium (IESS).
bibtex: '@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings
of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer-Verlag},
author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015}
}'
chicago: Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Combining
Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In
Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS).
Springer-Verlag, 2015.
ieee: A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study,” 2015.
mla: Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded
Systems - A Robotics Case Study.” Proceedings of the 5th IFIP International
Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
short: 'A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.'
conference:
end_date: 2015-11-06
start_date: 2015-11-03
date_created: 2021-09-28T11:42:10Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the 5th IFIP International Embedded Systems Symposium
(IESS)
publisher: Springer-Verlag
status: public
title: Combining Service-oriented Computing with Embedded Systems - A Robotics Case
Study
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25074'
author:
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Marcio Eduardo
full_name: Kreutz, Marcio Eduardo
last_name: Kreutz
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Jatzkowski J, Kreutz ME, Rettberg A. Hierarchical Multicore-Scheduling for
Virtualization of Dependent Real-Time Systems. In: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS). Springer; 2015.'
apa: Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Hierarchical Multicore-Scheduling
for Virtualization of Dependent Real-Time Systems. Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS).
bibtex: '@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Hierarchical Multicore-Scheduling
for Virtualization of Dependent Real-Time Systems}, booktitle={Proceedings of
the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer},
author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015}
}'
chicago: Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Hierarchical
Multicore-Scheduling for Virtualization of Dependent Real-Time Systems.” In Proceedings
of the 5th IFIP International Embedded Systems Symposium (IESS). Springer,
2015.
ieee: J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Hierarchical Multicore-Scheduling
for Virtualization of Dependent Real-Time Systems,” 2015.
mla: Jatzkowski, Jan, et al. “Hierarchical Multicore-Scheduling for Virtualization
of Dependent Real-Time Systems.” Proceedings of the 5th IFIP International
Embedded Systems Symposium (IESS), Springer, 2015.
short: 'J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS), Springer, 2015.'
conference:
end_date: 2015-11-06
start_date: 2015-11-03
date_created: 2021-09-28T11:45:59Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the 5th IFIP International Embedded Systems Symposium
(IESS)
publisher: Springer
status: public
title: Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time
Systems
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25075'
author:
- first_name: Katharina
full_name: Stahl, Katharina
last_name: Stahl
- first_name: Jörg
full_name: Stöcklein, Jörg
last_name: Stöcklein
- first_name: Silja
full_name: Li, Silja
last_name: Li
citation:
ama: 'Stahl K, Stöcklein J, Li S. Evaluation of Autonomous Approaches using Virtual
Environments. In: Shumaker R, Lackey S, eds. Virtual, Augmented and Mixed Reality
VAMR 2015 Held as Part of HCI International 2015. Vol 9179. LNCS. Springer
International Publishing Switzerland; 2015:499-512.'
apa: Stahl, K., Stöcklein, J., & Li, S. (2015). Evaluation of Autonomous Approaches
using Virtual Environments. In R. Shumaker & S. Lackey (Eds.), Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015
(Vol. 9179, pp. 499–512). Springer International Publishing Switzerland.
bibtex: '@inproceedings{Stahl_Stöcklein_Li_2015, series={LNCS}, title={Evaluation
of Autonomous Approaches using Virtual Environments}, volume={9179}, booktitle={Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015},
publisher={Springer International Publishing Switzerland}, author={Stahl, Katharina
and Stöcklein, Jörg and Li, Silja}, editor={Shumaker, Randall and Lackey, Stephanie},
year={2015}, pages={499–512}, collection={LNCS} }'
chicago: Stahl, Katharina, Jörg Stöcklein, and Silja Li. “Evaluation of Autonomous
Approaches Using Virtual Environments.” In Virtual, Augmented and Mixed Reality
VAMR 2015 Held as Part of HCI International 2015, edited by Randall Shumaker
and Stephanie Lackey, 9179:499–512. LNCS. Springer International Publishing Switzerland,
2015.
ieee: K. Stahl, J. Stöcklein, and S. Li, “Evaluation of Autonomous Approaches using
Virtual Environments,” in Virtual, Augmented and Mixed Reality VAMR 2015 Held
as Part of HCI International 2015, Los Angeles, CA, USA, 2. - 7. Aug. 2015,
2015, vol. 9179, pp. 499–512.
mla: Stahl, Katharina, et al. “Evaluation of Autonomous Approaches Using Virtual
Environments.” Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part
of HCI International 2015, edited by Randall Shumaker and Stephanie Lackey,
vol. 9179, Springer International Publishing Switzerland, 2015, pp. 499–512.
short: 'K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015,
Springer International Publishing Switzerland, 2015, pp. 499–512.'
conference:
end_date: 2015-08-07
location: Los Angeles, CA, USA, 2. - 7. Aug. 2015
start_date: 2015-08-02
date_created: 2021-09-28T11:54:54Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
editor:
- first_name: Randall
full_name: Shumaker, Randall
last_name: Shumaker
- first_name: Stephanie
full_name: Lackey, Stephanie
last_name: Lackey
language:
- iso: eng
page: 499-512
publication: Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International
2015
publisher: Springer International Publishing Switzerland
series_title: LNCS
status: public
title: Evaluation of Autonomous Approaches using Virtual Environments
type: conference
user_id: '21240'
volume: ' 9179'
year: '2015'
...
---
_id: '25076'
abstract:
- lang: eng
text: Automated service composition aims at automatically generating software solutions
based on services to provide more complex functionality. In this paper, we give
an initial overview about why adaptivity becomes increasingly important when aiming
for automated composition of service functionality in dynamic and freely accessible
environments such as service markets. We systematically derive dependencies among
crucial processes such as service composition and service execution in a holistic
view. Furthermore, we briefly discuss the influences and effects of changes in
the environment according to the derived dependencies, and discuss possible future
research directions.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
citation:
ama: 'Jungmann A. On Adaptivity for Automated Composition of Service Functionality.
In: Proceedings of the IEEE 11th World Congress on Services (SERVICES).
IEEE Computer Society; 2015:329-332.'
apa: Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality.
Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329–332.
bibtex: '@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition
of Service Functionality}, booktitle={Proceedings of the IEEE 11th World Congress
on Services (SERVICES)}, publisher={IEEE Computer Society}, author={Jungmann,
Alexander}, year={2015}, pages={329–332} }'
chicago: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service
Functionality.” In Proceedings of the IEEE 11th World Congress on Services
(SERVICES), 329–32. IEEE Computer Society, 2015.
ieee: A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,”
in Proceedings of the IEEE 11th World Congress on Services (SERVICES),
2015, pp. 329–332.
mla: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.”
Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE
Computer Society, 2015, pp. 329–32.
short: 'A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services
(SERVICES), IEEE Computer Society, 2015, pp. 329–332.'
conference:
end_date: 2015-07-02
start_date: 2016-06-26
date_created: 2021-09-28T12:06:08Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
page: 329-332
publication: Proceedings of the IEEE 11th World Congress on Services (SERVICES)
publisher: IEEE Computer Society
status: public
title: On Adaptivity for Automated Composition of Service Functionality
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25080'
abstract:
- lang: eng
text: ervices are self-contained and platform independent software components that
aim at maximizing software reuse. The automated composition of services to a target
software artifact has been tackled with many AI techniques, but existing approaches
make unreasonably strong assumptions such as a predefined data flow, are limited
to tiny problem sizes, ignore non-functional properties, or assume offline service
repositories. This paper presents an algorithm that automatically composes services
without making such assumptions. We employ a backward search algorithm that starts
from an empty composition and prepends service calls to already discovered candidates
until a solution is found. Available services are determined during the search
process. We implemented our algorithm, performed an experimental evaluation, and
compared it to other approaches.
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Hans
full_name: Kleine Büning, Hans
last_name: Kleine Büning
citation:
ama: 'Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition.
In: Proceedings of the 12th IEEE International Conference on Services Computing
(SCC). IEEE Computer Society; 2015:57-64.'
apa: Mohr, F., Jungmann, A., & Kleine Büning, H. (2015). Automated Online Service
Composition. Proceedings of the 12th IEEE International Conference on Services
Computing (SCC), 57–64.
bibtex: '@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online
Service Composition}, booktitle={Proceedings of the 12th IEEE International Conference
on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Mohr,
Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57–64}
}'
chicago: Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online
Service Composition.” In Proceedings of the 12th IEEE International Conference
on Services Computing (SCC), 57–64. IEEE Computer Society, 2015.
ieee: F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,”
in Proceedings of the 12th IEEE International Conference on Services Computing
(SCC), 2015, pp. 57–64.
mla: Mohr, Felix, et al. “Automated Online Service Composition.” Proceedings
of the 12th IEEE International Conference on Services Computing (SCC), IEEE
Computer Society, 2015, pp. 57–64.
short: 'F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE
International Conference on Services Computing (SCC), IEEE Computer Society,
2015, pp. 57–64.'
conference:
end_date: 2015-07-02
start_date: 2015-06-26
date_created: 2021-09-28T12:27:27Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
page: 57-64
publication: Proceedings of the 12th IEEE International Conference on Services Computing
(SCC)
publisher: ' IEEE Computer Society'
status: public
title: Automated Online Service Composition
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25082'
author:
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Marcio Eduardo
full_name: Kreutz, Marcio Eduardo
last_name: Kreutz
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Jatzkowski J, Kreutz ME, Rettberg A. Towards Hierarchical Scheduling of Dependent
Systems with Hypervisor-based Virtualization. In: Proceedings of Electronic
System Level Synthesis Conference (ESLsyn). ; 2015.'
apa: Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Towards Hierarchical
Scheduling of Dependent Systems with Hypervisor-based Virtualization. Proceedings
of Electronic System Level Synthesis Conference (ESLsyn).
bibtex: '@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Towards Hierarchical
Scheduling of Dependent Systems with Hypervisor-based Virtualization}, booktitle={Proceedings
of Electronic System Level Synthesis Conference (ESLsyn)}, author={Jatzkowski,
Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }'
chicago: Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Towards Hierarchical
Scheduling of Dependent Systems with Hypervisor-Based Virtualization.” In Proceedings
of Electronic System Level Synthesis Conference (ESLsyn), 2015.
ieee: J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Towards Hierarchical Scheduling
of Dependent Systems with Hypervisor-based Virtualization,” 2015.
mla: Jatzkowski, Jan, et al. “Towards Hierarchical Scheduling of Dependent Systems
with Hypervisor-Based Virtualization.” Proceedings of Electronic System Level
Synthesis Conference (ESLsyn), 2015.
short: 'J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System
Level Synthesis Conference (ESLsyn), 2015.'
conference:
end_date: 2015-06-11
start_date: 2015-06-10
date_created: 2021-09-28T12:31:36Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of Electronic System Level Synthesis Conference (ESLsyn)
status: public
title: Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based
Virtualization
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25083'
author:
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jatzkowski J, Kleinjohann B. Self-Reconfiguration of Real-Time Communication
within Cyber-Physical Systems. In: Mechatronics. Elsevier; 2015.'
apa: Jatzkowski, J., & Kleinjohann, B. (2015). Self-Reconfiguration of Real-Time
Communication within Cyber-Physical Systems. Mechatronics.
bibtex: '@inproceedings{Jatzkowski_Kleinjohann_2015, title={Self-Reconfiguration
of Real-Time Communication within Cyber-Physical Systems}, booktitle={Mechatronics},
publisher={Elsevier}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015}
}'
chicago: Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time
Communication within Cyber-Physical Systems.” In Mechatronics. Elsevier,
2015.
ieee: J. Jatzkowski and B. Kleinjohann, “Self-Reconfiguration of Real-Time Communication
within Cyber-Physical Systems,” Mai 2015, 2015.
mla: Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time
Communication within Cyber-Physical Systems.” Mechatronics, Elsevier, 2015.
short: 'J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.'
conference:
location: Mai 2015
date_created: 2021-09-28T12:42:40Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Mechatronics
publisher: Elsevier
status: public
title: Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
type: conference
user_id: '21240'
year: '2015'
...