---
_id: '21938'
article_number: '094104'
author:
- first_name: Feliks
full_name: Nüske, Feliks
id: '81513'
last_name: Nüske
orcid: 0000-0003-2444-7889
- first_name: Hao
full_name: Wu, Hao
last_name: Wu
- first_name: Jan-Hendrik
full_name: Prinz, Jan-Hendrik
last_name: Prinz
- first_name: Christoph
full_name: Wehmeyer, Christoph
last_name: Wehmeyer
- first_name: Cecilia
full_name: Clementi, Cecilia
last_name: Clementi
- first_name: Frank
full_name: Noé, Frank
last_name: Noé
citation:
ama: Nüske F, Wu H, Prinz J-H, Wehmeyer C, Clementi C, Noé F. Markov state models
from short non-equilibrium simulations—Analysis and correction of estimation bias.
The Journal of Chemical Physics. 2017. doi:10.1063/1.4976518
apa: Nüske, F., Wu, H., Prinz, J.-H., Wehmeyer, C., Clementi, C., & Noé, F.
(2017). Markov state models from short non-equilibrium simulations—Analysis and
correction of estimation bias. The Journal of Chemical Physics. https://doi.org/10.1063/1.4976518
bibtex: '@article{Nüske_Wu_Prinz_Wehmeyer_Clementi_Noé_2017, title={Markov state
models from short non-equilibrium simulations—Analysis and correction of estimation
bias}, DOI={10.1063/1.4976518},
number={094104}, journal={The Journal of Chemical Physics}, author={Nüske, Feliks
and Wu, Hao and Prinz, Jan-Hendrik and Wehmeyer, Christoph and Clementi, Cecilia
and Noé, Frank}, year={2017} }'
chicago: Nüske, Feliks, Hao Wu, Jan-Hendrik Prinz, Christoph Wehmeyer, Cecilia Clementi,
and Frank Noé. “Markov State Models from Short Non-Equilibrium Simulations—Analysis
and Correction of Estimation Bias.” The Journal of Chemical Physics, 2017.
https://doi.org/10.1063/1.4976518.
ieee: F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, and F. Noé, “Markov
state models from short non-equilibrium simulations—Analysis and correction of
estimation bias,” The Journal of Chemical Physics, 2017.
mla: Nüske, Feliks, et al. “Markov State Models from Short Non-Equilibrium Simulations—Analysis
and Correction of Estimation Bias.” The Journal of Chemical Physics, 094104,
2017, doi:10.1063/1.4976518.
short: F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, F. Noé, The Journal
of Chemical Physics (2017).
date_created: 2021-04-30T16:55:31Z
date_updated: 2022-01-06T06:55:20Z
department:
- _id: '101'
doi: 10.1063/1.4976518
extern: '1'
language:
- iso: eng
publication: The Journal of Chemical Physics
publication_identifier:
issn:
- 0021-9606
- 1089-7690
publication_status: published
status: public
title: Markov state models from short non-equilibrium simulations—Analysis and correction
of estimation bias
type: journal_article
user_id: '81513'
year: '2017'
...
---
_id: '21939'
article_number: '154104'
author:
- first_name: Hao
full_name: Wu, Hao
last_name: Wu
- first_name: Feliks
full_name: Nüske, Feliks
id: '81513'
last_name: Nüske
orcid: 0000-0003-2444-7889
- first_name: Fabian
full_name: Paul, Fabian
last_name: Paul
- first_name: Stefan
full_name: Klus, Stefan
last_name: Klus
- first_name: Péter
full_name: Koltai, Péter
last_name: Koltai
- first_name: Frank
full_name: Noé, Frank
last_name: Noé
citation:
ama: 'Wu H, Nüske F, Paul F, Klus S, Koltai P, Noé F. Variational Koopman models:
Slow collective variables and molecular kinetics from short off-equilibrium simulations.
The Journal of Chemical Physics. 2017. doi:10.1063/1.4979344'
apa: 'Wu, H., Nüske, F., Paul, F., Klus, S., Koltai, P., & Noé, F. (2017). Variational
Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium
simulations. The Journal of Chemical Physics. https://doi.org/10.1063/1.4979344'
bibtex: '@article{Wu_Nüske_Paul_Klus_Koltai_Noé_2017, title={Variational Koopman
models: Slow collective variables and molecular kinetics from short off-equilibrium
simulations}, DOI={10.1063/1.4979344},
number={154104}, journal={The Journal of Chemical Physics}, author={Wu, Hao and
Nüske, Feliks and Paul, Fabian and Klus, Stefan and Koltai, Péter and Noé, Frank},
year={2017} }'
chicago: 'Wu, Hao, Feliks Nüske, Fabian Paul, Stefan Klus, Péter Koltai, and Frank
Noé. “Variational Koopman Models: Slow Collective Variables and Molecular Kinetics
from Short off-Equilibrium Simulations.” The Journal of Chemical Physics,
2017. https://doi.org/10.1063/1.4979344.'
ieee: 'H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, and F. Noé, “Variational Koopman
models: Slow collective variables and molecular kinetics from short off-equilibrium
simulations,” The Journal of Chemical Physics, 2017.'
mla: 'Wu, Hao, et al. “Variational Koopman Models: Slow Collective Variables and
Molecular Kinetics from Short off-Equilibrium Simulations.” The Journal of
Chemical Physics, 154104, 2017, doi:10.1063/1.4979344.'
short: H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, F. Noé, The Journal of Chemical
Physics (2017).
date_created: 2021-04-30T16:57:21Z
date_updated: 2022-01-06T06:55:20Z
department:
- _id: '101'
doi: 10.1063/1.4979344
extern: '1'
language:
- iso: eng
publication: The Journal of Chemical Physics
publication_identifier:
issn:
- 0021-9606
- 1089-7690
publication_status: published
status: public
title: 'Variational Koopman models: Slow collective variables and molecular kinetics
from short off-equilibrium simulations'
type: journal_article
user_id: '81513'
year: '2017'
...
---
_id: '90'
abstract:
- lang: eng
text: We propose and extend an approach for the verification of safety properties
for parameterized timed systems modeled as networks of timed automata. For this
task, we introduce an incremental workflow that is based on our algorithm IC3
with Zones. It proceeds in a cycle in which single models of the system are verified,
and the verification results are employed for the reasoning about the entire system.
Starting with the smallest instances, the verification of the safety property
is carried out fast and efficient. On successful verification, the algorithm produces
an inductive strengthening of the safety property. We reuse this result and try
to reason about the entire parameterized timed system. To this end, we extrapolate
the inductive strengthening into a candidate for the next-larger model. In case
this candidate is a valid inductive strengthening for the next larger model, our
main theorem reasons about all models of the parameterized timed system, stating
that the safety property holds true for all models. Otherwise, the main cycle
starts over with the verification of the next larger model. This workflow is iterated
indefinitely, until able to reason about the entire parameterized timed system,
until a counterexample trace is found, or until the single models become too large
to be handled in the verification. We reuse the intermediate results in a Feedback-loop
in order to accelerate the verification runs for the single models. Furthermore,
we consider an extended formalism in comparison to our previous publications.
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
citation:
ama: Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems.
ACM Transactions on Embedded Computing Systems. 2017;(2):47:1-47:24. doi:10.1145/2984640
apa: Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed
Systems. ACM Transactions on Embedded Computing Systems, (2), 47:1-47:24.
https://doi.org/10.1145/2984640
bibtex: '@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized
Timed Systems}, DOI={10.1145/2984640},
number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM},
author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }'
chicago: 'Isenberg, Tobias. “Incremental Inductive Verification of Parameterized
Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2 (2017):
47:1-47:24. https://doi.org/10.1145/2984640.'
ieee: T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,”
ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24,
2017.
mla: Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed
Systems.” ACM Transactions on Embedded Computing Systems, no. 2, ACM, 2017,
pp. 47:1-47:24, doi:10.1145/2984640.
short: T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.
date_created: 2017-10-17T12:41:09Z
date_updated: 2022-01-06T07:04:06Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1145/2984640
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T13:13:04Z
date_updated: 2018-03-21T13:13:04Z
file_id: '1572'
file_name: 90-a47-isenberg.pdf
file_size: 584870
relation: main_file
success: 1
file_date_updated: 2018-03-21T13:13:04Z
has_accepted_license: '1'
issue: '2'
language:
- iso: eng
page: 47:1-47:24
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: ACM Transactions on Embedded Computing Systems
publisher: ACM
status: public
title: Incremental Inductive Verification of Parameterized Timed Systems
type: journal_article
user_id: '477'
year: '2017'
...
---
_id: '7749'
citation:
ama: Carmona J, Engels G, Kumar A, eds. Business Process Management - 15th International
Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture
Notes in Computer Science. Vol 10445. Springer; 2017.
apa: Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process
Management - 15th International Conference, BPM 2017, Barcelona, Spain, September
10-15, 2017, Proceedings Lecture Notes in Computer Science (Vol. 10445). Springer.
bibtex: '@book{Carmona _Engels_Kumar_2017, title={Business Process Management -
15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017,
Proceedings Lecture Notes in Computer Science}, volume={10445}, publisher={Springer},
year={2017} }'
chicago: Carmona , Josep , Gregor Engels, and Akhil Kumar, eds. Business Process
Management - 15th International Conference, BPM 2017, Barcelona, Spain, September
10-15, 2017, Proceedings Lecture Notes in Computer Science. Vol. 10445. Springer,
2017.
ieee: J. Carmona , G. Engels, and A. Kumar, Eds., Business Process Management
- 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15,
2017, Proceedings Lecture Notes in Computer Science, vol. 10445. Springer,
2017.
mla: Carmona , Josep, et al., editors. Business Process Management - 15th International
Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture
Notes in Computer Science. Vol. 10445, Springer, 2017.
short: J. Carmona , G. Engels, A. Kumar, eds., Business Process Management - 15th
International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Lecture Notes in Computer Science, Springer, 2017.
date_created: 2019-02-18T14:18:26Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
editor:
- first_name: 'Josep '
full_name: 'Carmona , Josep '
last_name: 'Carmona '
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: 'Akhil '
full_name: 'Kumar, Akhil '
last_name: Kumar
intvolume: ' 10445'
language:
- iso: eng
publisher: Springer
status: public
title: Business Process Management - 15th International Conference, BPM 2017, Barcelona,
Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science
type: conference_editor
user_id: '52534'
volume: 10445
year: '2017'
...
---
_id: '7750'
citation:
ama: Carmona J, Engels G, Kumar A, eds. Business Process Management Forum -
BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture
Notes in Business Information Processing 297. Vol 297. Springer; 2017.
apa: Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process
Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017,
Proceedings Lecture Notes in Business Information Processing 297 (Vol. 297).
Springer.
bibtex: '@book{Carmona _Engels_Kumar_2017, title={Business Process Management Forum
- BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture
Notes in Business Information Processing 297}, volume={297}, publisher={Springer},
year={2017} }'
chicago: Carmona , Josep , Gregor Engels, and Akhil Kumar, eds. Business Process
Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017,
Proceedings Lecture Notes in Business Information Processing 297. Vol. 297.
Springer, 2017.
ieee: J. Carmona , G. Engels, and A. Kumar, Eds., Business Process Management
Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings
Lecture Notes in Business Information Processing 297, vol. 297. Springer,
2017.
mla: Carmona , Josep, et al., editors. Business Process Management Forum - BPM
Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes
in Business Information Processing 297. Vol. 297, Springer, 2017.
short: J. Carmona , G. Engels, A. Kumar, eds., Business Process Management Forum
- BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture
Notes in Business Information Processing 297, Springer, 2017.
date_created: 2019-02-18T14:26:32Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
editor:
- first_name: 'Josep '
full_name: 'Carmona , Josep '
last_name: 'Carmona '
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: 'Akhil '
full_name: 'Kumar, Akhil '
last_name: Kumar
intvolume: ' 297'
language:
- iso: eng
publisher: Springer
status: public
title: Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September
10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297
type: conference_editor
user_id: '52534'
volume: 297
year: '2017'
...
---
_id: '7751'
citation:
ama: Spalazzese R, Christin Platenius M, Becker S, Persson P, Engels G, eds. Message
from the IoT-ASAP Chairs.; 2017. doi:10.1109/ICSAW.2017.67
apa: Spalazzese, R., Christin Platenius, M., Becker, S., Persson, P., & Engels,
G. (Eds.). (2017). Message from the IoT-ASAP Chairs. https://doi.org/10.1109/ICSAW.2017.67
bibtex: '@book{Spalazzese_Christin Platenius_Becker_Persson_Engels_2017, title={Message
from the IoT-ASAP Chairs}, DOI={10.1109/ICSAW.2017.67},
year={2017} }'
chicago: Spalazzese, Romina, Marie Christin Platenius, Steffen Becker, Per Persson,
and Gregor Engels, eds. Message from the IoT-ASAP Chairs, 2017. https://doi.org/10.1109/ICSAW.2017.67.
ieee: R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, and G. Engels,
Eds., Message from the IoT-ASAP Chairs. 2017.
mla: Spalazzese, Romina, et al., editors. Message from the IoT-ASAP Chairs.
2017, doi:10.1109/ICSAW.2017.67.
short: R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds.,
Message from the IoT-ASAP Chairs, 2017.
date_created: 2019-02-18T14:27:25Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
doi: 10.1109/ICSAW.2017.67
editor:
- first_name: Romina
full_name: Spalazzese, Romina
last_name: Spalazzese
- first_name: Marie
full_name: Christin Platenius, Marie
last_name: Christin Platenius
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Per
full_name: Persson, Per
last_name: Persson
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
language:
- iso: eng
status: public
title: Message from the IoT-ASAP Chairs
type: book_editor
user_id: '52534'
year: '2017'
...
---
_id: '7754'
citation:
ama: 'Hess S, Fischer HG, eds. Mensch Und Computer 2017 - Usability Professionals.
Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.;
2017.'
apa: 'Hess, S., & Fischer, H. G. (Eds.). (2017). Mensch und Computer 2017
- Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik
e.V. und German UPA e.V.'
bibtex: '@book{Hess_Fischer_2017, place={Regensburg}, title={Mensch und Computer
2017 - Usability Professionals. Tagungsband}, publisher={Gesellschaft für Informatik
e.V. und German UPA e.V.}, year={2017} }'
chicago: 'Hess, Steffen , and Holger Gerhard Fischer, eds. Mensch Und Computer
2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für
Informatik e.V. und German UPA e.V., 2017.'
ieee: 'S. Hess and H. G. Fischer, Eds., Mensch und Computer 2017 - Usability
Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und
German UPA e.V., 2017.'
mla: Hess, Steffen, and Holger Gerhard Fischer, editors. Mensch Und Computer
2017 - Usability Professionals. Tagungsband. Gesellschaft für Informatik e.V.
und German UPA e.V., 2017.
short: S. Hess, H.G. Fischer, eds., Mensch Und Computer 2017 - Usability Professionals.
Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg,
2017.
date_created: 2019-02-19T11:44:42Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
editor:
- first_name: 'Steffen '
full_name: 'Hess, Steffen '
last_name: Hess
- first_name: Holger Gerhard
full_name: Fischer, Holger Gerhard
id: '30457'
last_name: Fischer
language:
- iso: eng
place: Regensburg
publisher: Gesellschaft für Informatik e.V. und German UPA e.V.
status: public
title: Mensch und Computer 2017 - Usability Professionals. Tagungsband
type: conference_editor
user_id: '52534'
year: '2017'
...
---
_id: '7755'
author:
- first_name: Jorge
full_name: Mendes, Jorge
last_name: Mendes
- first_name: Jacome
full_name: Cunha, Jacome
last_name: Cunha
- first_name: Francisco
full_name: Duarte, Francisco
last_name: Duarte
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Joao
full_name: Saraiva, Joao
last_name: Saraiva
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. Towards systematic
spreadsheet construction processes. In: Gesellschaft für Informatik e.V. und German
UPA e.V. (Regensburg) , ed. 2017 IEEE/ACM 39th International Conference on
Software Engineering Companion (ICSE-C). IEEE; 2017. doi:10.1109/icse-c.2017.141'
apa: Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., & Sauer, S.
(2017). Towards systematic spreadsheet construction processes. In Gesellschaft
für Informatik e.V. und German UPA e.V. (Regensburg) (Ed.), 2017 IEEE/ACM
39th International Conference on Software Engineering Companion (ICSE-C).
IEEE. https://doi.org/10.1109/icse-c.2017.141
bibtex: '@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Towards
systematic spreadsheet construction processes}, DOI={10.1109/icse-c.2017.141},
booktitle={2017 IEEE/ACM 39th International Conference on Software Engineering
Companion (ICSE-C)}, publisher={IEEE}, author={Mendes, Jorge and Cunha, Jacome
and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan},
editor={Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) Editor},
year={2017} }'
chicago: Mendes, Jorge, Jacome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva,
and Stefan Sauer. “Towards Systematic Spreadsheet Construction Processes.” In
2017 IEEE/ACM 39th International Conference on Software Engineering Companion
(ICSE-C), edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg)
. IEEE, 2017. https://doi.org/10.1109/icse-c.2017.141.
ieee: J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Towards
systematic spreadsheet construction processes,” in 2017 IEEE/ACM 39th International
Conference on Software Engineering Companion (ICSE-C), 2017.
mla: Mendes, Jorge, et al. “Towards Systematic Spreadsheet Construction Processes.”
2017 IEEE/ACM 39th International Conference on Software Engineering Companion
(ICSE-C), edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg)
, IEEE, 2017, doi:10.1109/icse-c.2017.141.
short: 'J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Gesellschaft
für Informatik e.V. und German UPA e.V. (Regensburg) (Ed.), 2017 IEEE/ACM 39th
International Conference on Software Engineering Companion (ICSE-C), IEEE, 2017.'
corporate_editor:
- 'Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) '
date_created: 2019-02-19T11:47:41Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
doi: 10.1109/icse-c.2017.141
language:
- iso: eng
publication: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion
(ICSE-C)
publication_identifier:
isbn:
- '9781538615898'
publication_status: published
publisher: IEEE
status: public
title: Towards systematic spreadsheet construction processes
type: conference
user_id: '52534'
year: '2017'
...
---
_id: '7767'
author:
- first_name: Jan
full_name: Schumacher, Jan
id: '26809'
last_name: Schumacher
orcid: 0000-0002-6676-9774
citation:
ama: 'Schumacher J. Sinnkonstruktion beim Erkunden von Mustern und Strukturen. In:
Kortenkamp U, Kuzle A, eds. Beiträge zum Mathematikunterricht 2017. Münster:
WTM-Verlag; 2017.'
apa: 'Schumacher, J. (2017). Sinnkonstruktion beim Erkunden von Mustern und Strukturen.
In U. Kortenkamp & A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017.
Münster: WTM-Verlag.'
bibtex: '@inproceedings{Schumacher_2017, place={Münster}, title={Sinnkonstruktion
beim Erkunden von Mustern und Strukturen}, booktitle={Beiträge zum Mathematikunterricht
2017}, publisher={WTM-Verlag}, author={Schumacher, Jan}, editor={Kortenkamp, Ulrich
and Kuzle, AnaEditors}, year={2017} }'
chicago: 'Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.”
In Beiträge zum Mathematikunterricht 2017, edited by Ulrich Kortenkamp
and Ana Kuzle. Münster: WTM-Verlag, 2017.'
ieee: J. Schumacher, “Sinnkonstruktion beim Erkunden von Mustern und Strukturen,”
in Beiträge zum Mathematikunterricht 2017, 2017.
mla: Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.”
Beiträge zum Mathematikunterricht 2017, edited by Ulrich Kortenkamp and
Ana Kuzle, WTM-Verlag, 2017.
short: 'J. Schumacher, in: U. Kortenkamp, A. Kuzle (Eds.), Beiträge zum Mathematikunterricht
2017, WTM-Verlag, Münster, 2017.'
date_created: 2019-02-19T12:43:36Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '360'
editor:
- first_name: Ulrich
full_name: Kortenkamp, Ulrich
last_name: Kortenkamp
- first_name: Ana
full_name: Kuzle, Ana
last_name: Kuzle
language:
- iso: ger
main_file_link:
- open_access: '1'
url: https://eldorado.tu-dortmund.de/handle/2003/36640
oa: '1'
place: Münster
publication: Beiträge zum Mathematikunterricht 2017
publication_status: published
publisher: WTM-Verlag
status: public
title: Sinnkonstruktion beim Erkunden von Mustern und Strukturen
type: conference
user_id: '26809'
year: '2017'
...
---
_id: '78'
abstract:
- lang: eng
text: The Internet of Things (IoT) connects the things of our everyday life and
supports usin our common activities.Several markets for IoT services have been
created. These markets enable IoT users to search and compose services in order
to support an IoT activity.However, existing IoT markets like IFTTT (If This Then
That) are not convenient for users with respect to service discovery and composition.The
objective of On-the-fly (OTF) computing is to configure and provide software markets
that fulfill individual users' wishes by the automatic on-the-fly composition
of single services.The architecture framework of On-the-fly computing markets
helps architects to systematically develop these systems in different domains.In
this paper, we use our OTF architectural framework to examine the requirements
of a reference architecture for IoT markets.Furthermore, we perform a comparison
between the architecture of IFTTT as an existing IoT market with this reference
architecture. The results show how existing IoT markets can be improved. In return,
the practical knowledge of IFTTT is taken to the reference architecture.This knowledge
helps to overcome the limitations of today's IoT markets or creating new markets
in the future.
author:
- first_name: Bahar
full_name: Jazayeri, Bahar
id: '36399'
last_name: Jazayeri
- first_name: Simon
full_name: Schwichtenberg, Simon
id: '13235'
last_name: Schwichtenberg
citation:
ama: 'Jazayeri B, Schwichtenberg S. On-The-Fly Computing Meets IoT Markets - Towards
a Reference Architecture. In: Proceedings of the International Conference on
Software Architecture (ICSA) IoT-ASAP Workshop. Gothenburg, Sweden: IEEE;
2017:120--127. doi:10.1109/ICSAW.2017.59'
apa: 'Jazayeri, B., & Schwichtenberg, S. (2017). On-The-Fly Computing Meets
IoT Markets - Towards a Reference Architecture. In Proceedings of the International
Conference on Software Architecture (ICSA) IoT-ASAP Workshop (pp. 120--127).
Gothenburg, Sweden: IEEE. https://doi.org/10.1109/ICSAW.2017.59'
bibtex: '@inproceedings{Jazayeri_Schwichtenberg_2017, place={Gothenburg, Sweden},
title={On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture},
DOI={10.1109/ICSAW.2017.59},
booktitle={Proceedings of the International Conference on Software Architecture
(ICSA) IoT-ASAP Workshop}, publisher={IEEE}, author={Jazayeri, Bahar and Schwichtenberg,
Simon}, year={2017}, pages={120--127} }'
chicago: 'Jazayeri, Bahar, and Simon Schwichtenberg. “On-The-Fly Computing Meets
IoT Markets - Towards a Reference Architecture.” In Proceedings of the International
Conference on Software Architecture (ICSA) IoT-ASAP Workshop, 120--127. Gothenburg,
Sweden: IEEE, 2017. https://doi.org/10.1109/ICSAW.2017.59.'
ieee: B. Jazayeri and S. Schwichtenberg, “On-The-Fly Computing Meets IoT Markets
- Towards a Reference Architecture,” in Proceedings of the International Conference
on Software Architecture (ICSA) IoT-ASAP Workshop, 2017, pp. 120--127.
mla: Jazayeri, Bahar, and Simon Schwichtenberg. “On-The-Fly Computing Meets IoT
Markets - Towards a Reference Architecture.” Proceedings of the International
Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, 2017,
pp. 120--127, doi:10.1109/ICSAW.2017.59.
short: 'B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference
on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017,
pp. 120--127.'
date_created: 2017-10-17T12:41:06Z
date_updated: 2022-01-06T07:03:46Z
ddc:
- '000'
department:
- _id: '66'
doi: 10.1109/ICSAW.2017.59
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:49:05Z
date_updated: 2018-11-02T14:49:05Z
file_id: '5284'
file_name: 07958467.pdf
file_size: 624689
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:49:05Z
has_accepted_license: '1'
language:
- iso: eng
page: 120--127
place: Gothenburg, Sweden
project:
- _id: '1'
name: SFB 901
- _id: '17'
name: SFB 901 - Subprojekt C5
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the International Conference on Software Architecture
(ICSA) IoT-ASAP Workshop
publisher: IEEE
status: public
title: On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture
type: conference
user_id: '36399'
year: '2017'
...
---
_id: '79'
abstract:
- lang: eng
text: Consider a problem in which $n$ jobs that are classified into $k$ types arrive
over time at their release times and are to be scheduled on a single machine so
as to minimize the maximum flow time.The machine requires a setup taking $s$ time
units whenever it switches from processing jobs of one type to jobs of a different
type.We consider the problem as an online problem where each job is only known
to the scheduler as soon as it arrives and where the processing time of a job
only becomes known upon its completion (non-clairvoyance).We are interested in
the potential of simple ``greedy-like'' algorithms.We analyze a modification of
the FIFO strategy and show its competitiveness to be $\Theta(\sqrt{n})$, which
is optimal for the considered class of algorithms.For $k=2$ types it achieves
a constant competitiveness.Our main insight is obtained by an analysis of the
smoothed competitiveness.If processing times $p_j$ are independently perturbed
to $\hat p_j = (1+X_j)p_j$, we obtain a competitiveness of $O(\sigma^{-2} \log^2
n)$ when $X_j$ is drawn from a uniform or a (truncated) normal distribution with
standard deviation $\sigma$.The result proves that bad instances are fragile and
``practically'' one might expect a much better performance than given by the $\Omega(\sqrt{n})$-bound.
author:
- first_name: Alexander
full_name: Mäcker, Alexander
id: '13536'
last_name: Mäcker
- first_name: Manuel
full_name: Malatyali, Manuel
last_name: Malatyali
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Sören
full_name: Riechers, Sören
last_name: Riechers
citation:
ama: 'Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Non-Clairvoyant
Scheduling to Minimize Max Flow Time on a Machine with Setup Times. In: Proceedings
of the 15th Workshop on Approximation and Online Algorithms (WAOA). Vol 10787.
Lecture Notes in Computer Science. Springer; 2017:207-222. doi:10.1007/978-3-319-89441-6'
apa: Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2017).
Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times.
In Proceedings of the 15th Workshop on Approximation and Online Algorithms
(WAOA) (Vol. 10787, pp. 207–222). Springer. https://doi.org/10.1007/978-3-319-89441-6
bibtex: '@inproceedings{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2017, series={Lecture
Notes in Computer Science}, title={Non-Clairvoyant Scheduling to Minimize Max
Flow Time on a Machine with Setup Times}, volume={10787}, DOI={10.1007/978-3-319-89441-6},
booktitle={Proceedings of the 15th Workshop on Approximation and Online Algorithms
(WAOA)}, publisher={Springer}, author={Mäcker, Alexander and Malatyali, Manuel
and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2017}, pages={207–222},
collection={Lecture Notes in Computer Science} }'
chicago: Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and
Sören Riechers. “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine
with Setup Times.” In Proceedings of the 15th Workshop on Approximation and
Online Algorithms (WAOA), 10787:207–22. Lecture Notes in Computer Science.
Springer, 2017. https://doi.org/10.1007/978-3-319-89441-6.
ieee: A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Non-Clairvoyant
Scheduling to Minimize Max Flow Time on a Machine with Setup Times,” in Proceedings
of the 15th Workshop on Approximation and Online Algorithms (WAOA), 2017,
vol. 10787, pp. 207–222.
mla: Mäcker, Alexander, et al. “Non-Clairvoyant Scheduling to Minimize Max Flow
Time on a Machine with Setup Times.” Proceedings of the 15th Workshop on Approximation
and Online Algorithms (WAOA), vol. 10787, Springer, 2017, pp. 207–22, doi:10.1007/978-3-319-89441-6.
short: 'A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings
of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer,
2017, pp. 207–222.'
date_created: 2017-10-17T12:41:06Z
date_updated: 2022-01-06T07:03:47Z
ddc:
- '000'
department:
- _id: '63'
doi: 10.1007/978-3-319-89441-6
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:59:22Z
date_updated: 2018-11-02T14:59:22Z
file_id: '5289'
file_name: Non-clairvoyantSchedulingToMin.pdf
file_size: 380629
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:59:22Z
has_accepted_license: '1'
intvolume: ' 10787'
language:
- iso: eng
page: 207-222
project:
- _id: '1'
name: SFB 901
- _id: '16'
name: SFB 901 - Subprojekt C4
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the 15th Workshop on Approximation and Online Algorithms
(WAOA)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup
Times
type: conference
user_id: '477'
volume: 10787
year: '2017'
...
---
_id: '8073'
author:
- first_name: Marvin
full_name: Grieger, Marvin
last_name: Grieger
- first_name: Masud
full_name: Fazal-Baqaie, Masud
last_name: Fazal-Baqaie
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Markus
full_name: Klenke, Markus
last_name: Klenke
citation:
ama: 'Grieger M, Fazal-Baqaie M, Engels G, Klenke M. Concept-Based Engineering of
Situation-Specific Migration Methods. In: Software Engineering 2017. ;
2017:65-66.'
apa: Grieger, M., Fazal-Baqaie, M., Engels, G., & Klenke, M. (2017). Concept-Based
Engineering of Situation-Specific Migration Methods. In Software Engineering
2017 (pp. 65–66).
bibtex: '@inproceedings{Grieger_Fazal-Baqaie_Engels_Klenke_2017, title={Concept-Based
Engineering of Situation-Specific Migration Methods}, booktitle={Software Engineering
2017}, author={Grieger, Marvin and Fazal-Baqaie, Masud and Engels, Gregor and
Klenke, Markus}, year={2017}, pages={65–66} }'
chicago: Grieger, Marvin, Masud Fazal-Baqaie, Gregor Engels, and Markus Klenke.
“Concept-Based Engineering of Situation-Specific Migration Methods.” In Software
Engineering 2017, 65–66, 2017.
ieee: M. Grieger, M. Fazal-Baqaie, G. Engels, and M. Klenke, “Concept-Based Engineering
of Situation-Specific Migration Methods,” in Software Engineering 2017,
2017, pp. 65–66.
mla: Grieger, Marvin, et al. “Concept-Based Engineering of Situation-Specific Migration
Methods.” Software Engineering 2017, 2017, pp. 65–66.
short: 'M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Software Engineering
2017, 2017, pp. 65–66.'
date_created: 2019-02-21T21:28:39Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '66'
language:
- iso: eng
page: 65-66
publication: Software Engineering 2017
status: public
title: Concept-Based Engineering of Situation-Specific Migration Methods
type: conference
user_id: '52534'
year: '2017'
...
---
_id: '81'
author:
- first_name: Linghui
full_name: Luo, Linghui
last_name: Luo
citation:
ama: 'Luo L. MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic
Searchability Maintained. Universität Paderborn; 2017.'
apa: 'Luo, L. (2017). MultiSkipList: A Self-stabilizing Overlay Network with
Monotonic Searchability maintained. Universität Paderborn.'
bibtex: '@book{Luo_2017, title={MultiSkipList: A Self-stabilizing Overlay Network
with Monotonic Searchability maintained}, publisher={Universität Paderborn}, author={Luo,
Linghui}, year={2017} }'
chicago: 'Luo, Linghui. MultiSkipList: A Self-Stabilizing Overlay Network with
Monotonic Searchability Maintained. Universität Paderborn, 2017.'
ieee: 'L. Luo, MultiSkipList: A Self-stabilizing Overlay Network with Monotonic
Searchability maintained. Universität Paderborn, 2017.'
mla: 'Luo, Linghui. MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic
Searchability Maintained. Universität Paderborn, 2017.'
short: 'L. Luo, MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic
Searchability Maintained, Universität Paderborn, 2017.'
date_created: 2017-10-17T12:41:07Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '5'
name: SFB 901 - Subprojekt A1
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: 'MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability
maintained'
type: mastersthesis
user_id: '477'
year: '2017'
...
---
_id: '82'
abstract:
- lang: eng
text: Many graph problems such as maximum cut, chromatic number, hamiltonian cycle,
and edge dominating set are known to be fixed-parameter tractable (FPT) when parameterized
by the treewidth of the input graphs, but become W-hard with respect to the clique-width
parameter. Recently, Gajarský et al. proposed a new parameter called modular-width
using the notion of modular decomposition of graphs. They showed that the chromatic
number problem and the partitioning into paths problem, and hence hamiltonian
path and hamiltonian cycle, are FPT when parameterized by this parameter. In this
paper, we study modular-width in parameterized parallel complexity and show that
the weighted maximum clique problem and the maximum matching problem are fixed-parameter
parallel-tractable (FPPT) when parameterized by this parameter.
author:
- first_name: Faisal N.
full_name: Abu-Khzam, Faisal N.
last_name: Abu-Khzam
- first_name: Shouwei
full_name: Li, Shouwei
last_name: Li
- first_name: Christine
full_name: Markarian, Christine
id: '37612'
last_name: Markarian
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Pavel
full_name: Podlipyan, Pavel
last_name: Podlipyan
citation:
ama: 'Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. Modular-Width:
An Auxiliary Parameter for Parameterized Parallel Complexity. In: Proceedings
of the 11th International Workshop on Frontiers in Algorithmics (FAW). LNCS.
; 2017:139-150. doi:10.1007/978-3-319-59605-1_13'
apa: 'Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan,
P. (2017). Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity.
In Proceedings of the 11th International Workshop on Frontiers in Algorithmics
(FAW) (pp. 139–150). https://doi.org/10.1007/978-3-319-59605-1_13'
bibtex: '@inproceedings{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2017,
series={LNCS}, title={Modular-Width: An Auxiliary Parameter for Parameterized
Parallel Complexity}, DOI={10.1007/978-3-319-59605-1_13},
booktitle={Proceedings of the 11th International Workshop on Frontiers in Algorithmics
(FAW)}, author={Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine
and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2017}, pages={139–150},
collection={LNCS} }'
chicago: 'Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer
auf der Heide, and Pavel Podlipyan. “Modular-Width: An Auxiliary Parameter for
Parameterized Parallel Complexity.” In Proceedings of the 11th International
Workshop on Frontiers in Algorithmics (FAW), 139–50. LNCS, 2017. https://doi.org/10.1007/978-3-319-59605-1_13.'
ieee: 'F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan,
“Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity,”
in Proceedings of the 11th International Workshop on Frontiers in Algorithmics
(FAW), 2017, pp. 139–150.'
mla: 'Abu-Khzam, Faisal N., et al. “Modular-Width: An Auxiliary Parameter for Parameterized
Parallel Complexity.” Proceedings of the 11th International Workshop on Frontiers
in Algorithmics (FAW), 2017, pp. 139–50, doi:10.1007/978-3-319-59605-1_13.'
short: 'F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan,
in: Proceedings of the 11th International Workshop on Frontiers in Algorithmics
(FAW), 2017, pp. 139–150.'
date_created: 2017-10-17T12:41:07Z
date_updated: 2022-01-06T07:03:52Z
ddc:
- '000'
department:
- _id: '63'
doi: 10.1007/978-3-319-59605-1_13
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:07:35Z
date_updated: 2018-11-02T15:07:35Z
file_id: '5294'
file_name: Modular-WidthAnAuxiliaryParame.pdf
file_size: 238276
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:07:35Z
has_accepted_license: '1'
language:
- iso: eng
page: 139-150
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publication: Proceedings of the 11th International Workshop on Frontiers in Algorithmics
(FAW)
series_title: LNCS
status: public
title: 'Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity'
type: conference
user_id: '477'
year: '2017'
...
---
_id: '8225'
author:
- first_name: Jorge
full_name: Mendes, Jorge
last_name: Mendes
- first_name: Jácome
full_name: Cunha, Jácome
last_name: Cunha
- first_name: Francisco
full_name: Duarte, Francisco
last_name: Duarte
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Joao
full_name: Saraiva, Joao
last_name: Saraiva
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. Systematic spreadsheet
construction processes. In: Proceedings of the 39th International Conference
on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017
- Companion Volume. IEEE; 2017:123-127. doi:http://dx.doi.org/10.1109/VLHCC.2017.8103459'
apa: Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., & Sauer, S.
(2017). Systematic spreadsheet construction processes. In Proceedings of the
39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires,
Argentina, May 20-28, 2017 - Companion Volume (pp. 123–127). IEEE. http://dx.doi.org/10.1109/VLHCC.2017.8103459
bibtex: '@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Systematic
spreadsheet construction processes}, DOI={http://dx.doi.org/10.1109/VLHCC.2017.8103459},
booktitle={Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume}, publisher={IEEE},
author={Mendes, Jorge and Cunha, Jácome and Duarte, Francisco and Engels, Gregor
and Saraiva, Joao and Sauer, Stefan}, year={2017}, pages={123–127} }'
chicago: Mendes, Jorge, Jácome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva,
and Stefan Sauer. “Systematic Spreadsheet Construction Processes.” In Proceedings
of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos
Aires, Argentina, May 20-28, 2017 - Companion Volume, 123–27. IEEE, 2017.
http://dx.doi.org/10.1109/VLHCC.2017.8103459.
ieee: J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Systematic
spreadsheet construction processes,” in Proceedings of the 39th International
Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May
20-28, 2017 - Companion Volume, 2017, pp. 123–127.
mla: Mendes, Jorge, et al. “Systematic Spreadsheet Construction Processes.” Proceedings
of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos
Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–27,
doi:http://dx.doi.org/10.1109/VLHCC.2017.8103459.
short: 'J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Proceedings
of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos
Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–127.'
date_created: 2019-03-03T16:57:56Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/VLHCC.2017.8103459
language:
- iso: eng
page: 123-127
publication: Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume
publisher: IEEE
status: public
title: Systematic spreadsheet construction processes
type: conference
user_id: '52534'
year: '2017'
...
---
_id: '5694'
author:
- first_name: Nino Noel
full_name: Schnitker, Nino Noel
last_name: Schnitker
citation:
ama: Schnitker NN. Genetischer Algorithmus zur Erstellung von Ensembles von Nested
Dichotomies. Universität Paderborn; 2017.
apa: Schnitker, N. N. (2017). Genetischer Algorithmus zur Erstellung von Ensembles
von Nested Dichotomies. Universität Paderborn.
bibtex: '@book{Schnitker_2017, title={Genetischer Algorithmus zur Erstellung von
Ensembles von Nested Dichotomies}, publisher={Universität Paderborn}, author={Schnitker,
Nino Noel}, year={2017} }'
chicago: Schnitker, Nino Noel. Genetischer Algorithmus zur Erstellung von Ensembles
von Nested Dichotomies. Universität Paderborn, 2017.
ieee: N. N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von
Nested Dichotomies. Universität Paderborn, 2017.
mla: Schnitker, Nino Noel. Genetischer Algorithmus zur Erstellung von Ensembles
von Nested Dichotomies. Universität Paderborn, 2017.
short: N.N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von
Nested Dichotomies, Universität Paderborn, 2017.
date_created: 2018-11-15T08:10:48Z
date_updated: 2022-01-06T07:02:35Z
department:
- _id: '355'
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
title: Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '5695'
article_number: '2'
author:
- first_name: Bahar
full_name: Jazayeri, Bahar
id: '36399'
last_name: Jazayeri
- first_name: Simon
full_name: Schwichtenberg, Simon
id: '13235'
last_name: Schwichtenberg
citation:
ama: 'Jazayeri B, Schwichtenberg S. On the Necessity of an Architecture Framework
for On-The-Fly Computing. In: Proceedings of Softwaretechnik-Trends Workshops.
Vol 37. Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS;
2017.'
apa: 'Jazayeri, B., & Schwichtenberg, S. (2017). On the Necessity of an Architecture
Framework for On-The-Fly Computing. In Proceedings of Softwaretechnik-Trends
Workshops (Vol. 37). Bad Honnef, Germany: Gesellschaft für Informatik eV,
Fachgruppe PARS.'
bibtex: '@inproceedings{Jazayeri_Schwichtenberg_2017, place={Bad Honnef, Germany},
title={On the Necessity of an Architecture Framework for On-The-Fly Computing},
volume={37}, number={2}, booktitle={Proceedings of Softwaretechnik-Trends Workshops},
publisher={Gesellschaft für Informatik eV, Fachgruppe PARS}, author={Jazayeri,
Bahar and Schwichtenberg, Simon}, year={2017} }'
chicago: 'Jazayeri, Bahar, and Simon Schwichtenberg. “On the Necessity of an Architecture
Framework for On-The-Fly Computing.” In Proceedings of Softwaretechnik-Trends
Workshops, Vol. 37. Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe
PARS, 2017.'
ieee: B. Jazayeri and S. Schwichtenberg, “On the Necessity of an Architecture Framework
for On-The-Fly Computing,” in Proceedings of Softwaretechnik-Trends Workshops,
2017, vol. 37.
mla: Jazayeri, Bahar, and Simon Schwichtenberg. “On the Necessity of an Architecture
Framework for On-The-Fly Computing.” Proceedings of Softwaretechnik-Trends
Workshops, vol. 37, 2, Gesellschaft für Informatik eV, Fachgruppe PARS, 2017.
short: 'B. Jazayeri, S. Schwichtenberg, in: Proceedings of Softwaretechnik-Trends
Workshops, Gesellschaft für Informatik eV, Fachgruppe PARS, Bad Honnef, Germany,
2017.'
date_created: 2018-11-15T09:06:51Z
date_updated: 2022-01-06T07:02:35Z
ddc:
- '040'
department:
- _id: '66'
file:
- access_level: closed
content_type: application/pdf
creator: bahareh
date_created: 2018-11-15T09:08:46Z
date_updated: 2018-11-15T09:08:46Z
file_id: '5696'
file_name: Jazayeri_DFF2017.pdf
file_size: 65506
relation: main_file
success: 1
file_date_updated: 2018-11-15T09:08:46Z
has_accepted_license: '1'
intvolume: ' 37'
language:
- iso: eng
place: Bad Honnef, Germany
project:
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '17'
name: SFB 901 - Subproject C5
publication: Proceedings of Softwaretechnik-Trends Workshops
publisher: Gesellschaft für Informatik eV, Fachgruppe PARS
status: public
title: On the Necessity of an Architecture Framework for On-The-Fly Computing
type: conference
user_id: '36399'
volume: 37
year: '2017'
...
---
_id: '5722'
author:
- first_name: Pritha
full_name: Gupta, Pritha
last_name: Gupta
- first_name: Alexander
full_name: Hetzer, Alexander
id: '38209'
last_name: Hetzer
- first_name: Tanja
full_name: Tornede, Tanja
last_name: Tornede
- first_name: Sebastian
full_name: Gottschalk, Sebastian
last_name: Gottschalk
- first_name: Andreas
full_name: Kornelsen, Andreas
last_name: Kornelsen
- first_name: Sebastian
full_name: Osterbrink, Sebastian
last_name: Osterbrink
- first_name: Karlson
full_name: Pfannschmidt, Karlson
last_name: Pfannschmidt
- first_name: Eyke
full_name: Hüllermeier, Eyke
last_name: Hüllermeier
citation:
ama: 'Gupta P, Hetzer A, Tornede T, et al. jPL: A Java-based Software Framework
for Preference Learning. In: ; 2017.'
apa: 'Gupta, P., Hetzer, A., Tornede, T., Gottschalk, S., Kornelsen, A., Osterbrink,
S., … Hüllermeier, E. (2017). jPL: A Java-based Software Framework for Preference
Learning. Presented at the WDA 2017 Workshops: KDML, FGWM, IR, and FGDB, Rostock.'
bibtex: '@inproceedings{Gupta_Hetzer_Tornede_Gottschalk_Kornelsen_Osterbrink_Pfannschmidt_Hüllermeier_2017,
title={jPL: A Java-based Software Framework for Preference Learning}, author={Gupta,
Pritha and Hetzer, Alexander and Tornede, Tanja and Gottschalk, Sebastian and
Kornelsen, Andreas and Osterbrink, Sebastian and Pfannschmidt, Karlson and Hüllermeier,
Eyke}, year={2017} }'
chicago: 'Gupta, Pritha, Alexander Hetzer, Tanja Tornede, Sebastian Gottschalk,
Andreas Kornelsen, Sebastian Osterbrink, Karlson Pfannschmidt, and Eyke Hüllermeier.
“JPL: A Java-Based Software Framework for Preference Learning,” 2017.'
ieee: 'P. Gupta et al., “jPL: A Java-based Software Framework for Preference
Learning,” presented at the WDA 2017 Workshops: KDML, FGWM, IR, and FGDB, Rostock,
2017.'
mla: 'Gupta, Pritha, et al. JPL: A Java-Based Software Framework for Preference
Learning. 2017.'
short: 'P. Gupta, A. Hetzer, T. Tornede, S. Gottschalk, A. Kornelsen, S. Osterbrink,
K. Pfannschmidt, E. Hüllermeier, in: 2017.'
conference:
end_date: 13.09.2017
location: Rostock
name: 'WDA 2017 Workshops: KDML, FGWM, IR, and FGDB'
start_date: 11.09.2017
date_created: 2018-11-19T07:32:31Z
date_updated: 2022-01-06T07:02:37Z
department:
- _id: '355'
extern: '1'
language:
- iso: eng
status: public
title: 'jPL: A Java-based Software Framework for Preference Learning'
type: conference_abstract
user_id: '38209'
year: '2017'
...
---
_id: '5724'
author:
- first_name: Alexander
full_name: Hetzer, Alexander
id: '38209'
last_name: Hetzer
- first_name: Tanja
full_name: Tornede, Tanja
last_name: Tornede
citation:
ama: Hetzer A, Tornede T. Solving the Container Pre-Marshalling Problem Using
Reinforcement Learning and Structured Output Prediction. Universität Paderborn;
2017.
apa: Hetzer, A., & Tornede, T. (2017). Solving the Container Pre-Marshalling
Problem using Reinforcement Learning and Structured Output Prediction. Universität
Paderborn.
bibtex: '@book{Hetzer_Tornede_2017, title={Solving the Container Pre-Marshalling
Problem using Reinforcement Learning and Structured Output Prediction}, publisher={Universität
Paderborn}, author={Hetzer, Alexander and Tornede, Tanja}, year={2017} }'
chicago: Hetzer, Alexander, and Tanja Tornede. Solving the Container Pre-Marshalling
Problem Using Reinforcement Learning and Structured Output Prediction. Universität
Paderborn, 2017.
ieee: A. Hetzer and T. Tornede, Solving the Container Pre-Marshalling Problem
using Reinforcement Learning and Structured Output Prediction. Universität
Paderborn, 2017.
mla: Hetzer, Alexander, and Tanja Tornede. Solving the Container Pre-Marshalling
Problem Using Reinforcement Learning and Structured Output Prediction. Universität
Paderborn, 2017.
short: A. Hetzer, T. Tornede, Solving the Container Pre-Marshalling Problem Using
Reinforcement Learning and Structured Output Prediction, Universität Paderborn,
2017.
date_created: 2018-11-19T07:49:13Z
date_updated: 2022-01-06T07:02:37Z
department:
- _id: '355'
- _id: '199'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: Kevin
full_name: Tierney, Kevin
last_name: Tierney
title: Solving the Container Pre-Marshalling Problem using Reinforcement Learning
and Structured Output Prediction
type: mastersthesis
user_id: '477'
year: '2017'
...
---
_id: '5740'
author:
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Yigitbas E, Sauer S, Engels G. Adapt-UI: an IDE supporting model-driven development
of self-adaptive UIs. In: Proceedings of the {ACM} {SIGCHI} Symposium on Engineering
Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017.
; 2017:99-104. doi:10.1145/3102113.3102144'
apa: 'Yigitbas, E., Sauer, S., & Engels, G. (2017). Adapt-UI: an IDE supporting
model-driven development of self-adaptive UIs. In Proceedings of the {ACM}
{SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017,
Lisbon, Portugal, June 26-29, 2017 (pp. 99–104). https://doi.org/10.1145/3102113.3102144'
bibtex: '@inproceedings{Yigitbas_Sauer_Engels_2017, title={Adapt-UI: an IDE supporting
model-driven development of self-adaptive UIs}, DOI={10.1145/3102113.3102144},
booktitle={Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017}, author={Yigitbas,
Enes and Sauer, Stefan and Engels, Gregor}, year={2017}, pages={99–104} }'
chicago: 'Yigitbas, Enes, Stefan Sauer, and Gregor Engels. “Adapt-UI: An IDE Supporting
Model-Driven Development of Self-Adaptive UIs.” In Proceedings of the {ACM}
{SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017,
Lisbon, Portugal, June 26-29, 2017, 99–104, 2017. https://doi.org/10.1145/3102113.3102144.'
ieee: 'E. Yigitbas, S. Sauer, and G. Engels, “Adapt-UI: an IDE supporting model-driven
development of self-adaptive UIs,” in Proceedings of the {ACM} {SIGCHI} Symposium
on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June
26-29, 2017, 2017, pp. 99–104.'
mla: 'Yigitbas, Enes, et al. “Adapt-UI: An IDE Supporting Model-Driven Development
of Self-Adaptive UIs.” Proceedings of the {ACM} {SIGCHI} Symposium on Engineering
Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017,
2017, pp. 99–104, doi:10.1145/3102113.3102144.'
short: 'E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the {ACM} {SIGCHI}
Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal,
June 26-29, 2017, 2017, pp. 99–104.'
date_created: 2018-11-19T15:13:41Z
date_updated: 2022-01-06T07:02:38Z
department:
- _id: '66'
doi: 10.1145/3102113.3102144
language:
- iso: eng
page: 99-104
publication: Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017
status: public
title: 'Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs'
type: conference
user_id: '8447'
year: '2017'
...