---
_id: '13443'
abstract:
- lang: eng
text: "This work considers the problem of control and resource allocation in networked\r\nsystems.
To this end, we present DIRA a Deep reinforcement learning based Iterative Resource\r\nAllocation
algorithm, which is scalable and control-aware. Our algorithm is tailored towards\r\nlarge-scale
problems where control and scheduling need to act jointly to optimize performance.\r\nDIRA
can be used to schedule general time-domain optimization based controllers. In
the present\r\nwork, we focus on control designs based on suitably adapted linear
quadratic regulators. We\r\napply our algorithm to networked systems with correlated
fading communication channels. Our\r\nsimulations show that DIRA scales well to
large scheduling problems."
author:
- first_name: Adrian
full_name: Redder, Adrian
id: '52265'
last_name: Redder
orcid: https://orcid.org/0000-0001-7391-4688
- first_name: Arunselvan
full_name: Ramaswamy, Arunselvan
id: '66937'
last_name: Ramaswamy
orcid: https://orcid.org/ 0000-0001-7547-8111
- first_name: Daniel
full_name: Quevedo, Daniel
last_name: Quevedo
citation:
ama: 'Redder A, Ramaswamy A, Quevedo D. Deep reinforcement learning for scheduling
in large-scale networked control systems. In: Proceedings of the 8th IFAC Workshop
on Distributed Estimation and Control in Networked Systems. ; 2019.'
apa: Redder, A., Ramaswamy, A., & Quevedo, D. (2019). Deep reinforcement learning
for scheduling in large-scale networked control systems. In Proceedings of
the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems.
Chicago, USA.
bibtex: '@inproceedings{Redder_Ramaswamy_Quevedo_2019, title={Deep reinforcement
learning for scheduling in large-scale networked control systems}, booktitle={Proceedings
of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems},
author={Redder, Adrian and Ramaswamy, Arunselvan and Quevedo, Daniel}, year={2019}
}'
chicago: Redder, Adrian, Arunselvan Ramaswamy, and Daniel Quevedo. “Deep Reinforcement
Learning for Scheduling in Large-Scale Networked Control Systems.” In Proceedings
of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems,
2019.
ieee: A. Redder, A. Ramaswamy, and D. Quevedo, “Deep reinforcement learning for
scheduling in large-scale networked control systems,” in Proceedings of the
8th IFAC Workshop on Distributed Estimation and Control in Networked Systems,
Chicago, USA, 2019.
mla: Redder, Adrian, et al. “Deep Reinforcement Learning for Scheduling in Large-Scale
Networked Control Systems.” Proceedings of the 8th IFAC Workshop on Distributed
Estimation and Control in Networked Systems, 2019.
short: 'A. Redder, A. Ramaswamy, D. Quevedo, in: Proceedings of the 8th IFAC Workshop
on Distributed Estimation and Control in Networked Systems, 2019.'
conference:
end_date: 2019-09-17
location: Chicago, USA
name: 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems
- NECSYS 2019
start_date: 2019-09-16
date_created: 2019-09-23T16:00:58Z
date_updated: 2022-01-06T06:51:36Z
ddc:
- '620'
file:
- access_level: local
content_type: application/pdf
creator: aredder
date_created: 2019-09-23T15:48:33Z
date_updated: 2019-09-23T16:21:16Z
file_id: '13444'
file_name: ifacconf.pdf
file_size: 371429
relation: main_file
file_date_updated: 2019-09-23T16:21:16Z
has_accepted_license: '1'
keyword:
- Networked control systems
- deep reinforcement learning
- large-scale systems
- resource scheduling
- stochastic control
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1905.05992
oa: '1'
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control
in Networked Systems
publication_status: published
status: public
title: Deep reinforcement learning for scheduling in large-scale networked control
systems
type: conference
user_id: '52265'
year: '2019'
...
---
_id: '13454'
author:
- first_name: Andreas
full_name: Eggert, Andreas
last_name: Eggert
- first_name: Michael
full_name: Kleinaltenkamp, Michael
last_name: Kleinaltenkamp
- first_name: Vishal
full_name: Kashyap, Vishal
last_name: Kashyap
citation:
ama: 'Eggert A, Kleinaltenkamp M, Kashyap V. Mapping Value in Business Markets:
An Integrative Framework. Industrial Marketing Management. 2019;79:13--20.'
apa: 'Eggert, A., Kleinaltenkamp, M., & Kashyap, V. (2019). Mapping Value in
Business Markets: An Integrative Framework. Industrial Marketing Management,
79, 13--20.'
bibtex: '@article{Eggert_Kleinaltenkamp_Kashyap_2019, title={Mapping Value in Business
Markets: An Integrative Framework}, volume={79}, journal={Industrial Marketing
Management}, author={Eggert, Andreas and Kleinaltenkamp, Michael and Kashyap,
Vishal}, year={2019}, pages={13--20} }'
chicago: 'Eggert, Andreas, Michael Kleinaltenkamp, and Vishal Kashyap. “Mapping
Value in Business Markets: An Integrative Framework.” Industrial Marketing
Management 79 (2019): 13--20.'
ieee: 'A. Eggert, M. Kleinaltenkamp, and V. Kashyap, “Mapping Value in Business
Markets: An Integrative Framework,” Industrial Marketing Management, vol.
79, pp. 13--20, 2019.'
mla: 'Eggert, Andreas, et al. “Mapping Value in Business Markets: An Integrative
Framework.” Industrial Marketing Management, vol. 79, 2019, pp. 13--20.'
short: A. Eggert, M. Kleinaltenkamp, V. Kashyap, Industrial Marketing Management
79 (2019) 13--20.
date_created: 2019-09-30T07:22:24Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '180'
intvolume: ' 79'
language:
- iso: eng
page: 13--20
publication: Industrial Marketing Management
status: public
title: 'Mapping Value in Business Markets: An Integrative Framework'
type: journal_article
user_id: '57352'
volume: 79
year: '2019'
...
---
_id: '13455'
author:
- first_name: Ina
full_name: Garnefeld, Ina
last_name: Garnefeld
- first_name: Andreas
full_name: Eggert, Andreas
last_name: Eggert
- first_name: Markus
full_name: Husemann-Kopetzky, Markus
last_name: Husemann-Kopetzky
- first_name: Eva
full_name: Boehm, Eva
last_name: Boehm
citation:
ama: 'Garnefeld I, Eggert A, Husemann-Kopetzky M, Boehm E. Exploring the link between
payment schemes and customer fraud: a mental accounting perspective. Journal
of the Academy of Marketing Science. 2019;47(4):595--616.'
apa: 'Garnefeld, I., Eggert, A., Husemann-Kopetzky, M., & Boehm, E. (2019).
Exploring the link between payment schemes and customer fraud: a mental accounting
perspective. Journal of the Academy of Marketing Science, 47(4),
595--616.'
bibtex: '@article{Garnefeld_Eggert_Husemann-Kopetzky_Boehm_2019, title={Exploring
the link between payment schemes and customer fraud: a mental accounting perspective},
volume={47}, number={4}, journal={Journal of the Academy of Marketing Science},
author={Garnefeld, Ina and Eggert, Andreas and Husemann-Kopetzky, Markus and Boehm,
Eva}, year={2019}, pages={595--616} }'
chicago: 'Garnefeld, Ina, Andreas Eggert, Markus Husemann-Kopetzky, and Eva Boehm.
“Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting
Perspective.” Journal of the Academy of Marketing Science 47, no. 4 (2019):
595--616.'
ieee: 'I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, and E. Boehm, “Exploring the
link between payment schemes and customer fraud: a mental accounting perspective,”
Journal of the Academy of Marketing Science, vol. 47, no. 4, pp. 595--616,
2019.'
mla: 'Garnefeld, Ina, et al. “Exploring the Link between Payment Schemes and Customer
Fraud: A Mental Accounting Perspective.” Journal of the Academy of Marketing
Science, vol. 47, no. 4, 2019, pp. 595--616.'
short: I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy
of Marketing Science 47 (2019) 595--616.
date_created: 2019-09-30T07:27:46Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '180'
intvolume: ' 47'
issue: '4'
language:
- iso: eng
page: 595--616
publication: Journal of the Academy of Marketing Science
status: public
title: 'Exploring the link between payment schemes and customer fraud: a mental accounting
perspective'
type: journal_article
user_id: '57352'
volume: 47
year: '2019'
...
---
_id: '13456'
author:
- first_name: Andreas
full_name: Eggert, Andreas
last_name: Eggert
- first_name: Eva
full_name: Boehm, Eva
last_name: Boehm
- first_name: Rodi
full_name: Akalan, Rodi
last_name: Akalan
- first_name: Heiko
full_name: Gebauer, Heiko
last_name: Gebauer
citation:
ama: Eggert A, Boehm E, Akalan R, Gebauer H. Service Growth by Acquisition – An
Event Study. 2019.
apa: Eggert, A., Boehm, E., Akalan, R., & Gebauer, H. (2019). Service Growth
by Acquisition – An Event Study.
bibtex: '@article{Eggert_Boehm_Akalan_Gebauer_2019, series={9th BMM-EMAC Biennial
International Conference on Business Market Management}, title={Service Growth
by Acquisition – An Event Study}, author={Eggert, Andreas and Boehm, Eva and Akalan,
Rodi and Gebauer, Heiko}, year={2019}, collection={9th BMM-EMAC Biennial International
Conference on Business Market Management} }'
chicago: Eggert, Andreas, Eva Boehm, Rodi Akalan, and Heiko Gebauer. “Service Growth
by Acquisition – An Event Study.” 9th BMM-EMAC Biennial International Conference
on Business Market Management, 2019.
ieee: A. Eggert, E. Boehm, R. Akalan, and H. Gebauer, “Service Growth by Acquisition
– An Event Study.” 2019.
mla: Eggert, Andreas, et al. Service Growth by Acquisition – An Event Study.
2019.
short: A. Eggert, E. Boehm, R. Akalan, H. Gebauer, (2019).
date_created: 2019-09-30T07:35:33Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '19'
- _id: '180'
language:
- iso: eng
series_title: 9th BMM-EMAC Biennial International Conference on Business Market Management
status: public
title: Service Growth by Acquisition – An Event Study
type: conference
user_id: '57352'
year: '2019'
...
---
_id: '13457'
author:
- first_name: Andreas
full_name: Eggert, Andreas
last_name: Eggert
- first_name: Lena
full_name: Steinhoff, Lena
last_name: Steinhoff
- first_name: Carina
full_name: Witte, Carina
last_name: Witte
citation:
ama: Eggert A, Steinhoff L, Witte C. Gift Purchases as Catalysts for Strengthening
Customer–Brand Relationships. Journal of Marketing. 2019.
apa: Eggert, A., Steinhoff, L., & Witte, C. (2019). Gift Purchases as Catalysts
for Strengthening Customer–Brand Relationships. Journal of Marketing.
bibtex: '@article{Eggert_Steinhoff_Witte_2019, title={Gift Purchases as Catalysts
for Strengthening Customer–Brand Relationships}, journal={Journal of Marketing},
author={Eggert, Andreas and Steinhoff, Lena and Witte, Carina}, year={2019} }'
chicago: Eggert, Andreas, Lena Steinhoff, and Carina Witte. “Gift Purchases as Catalysts
for Strengthening Customer–Brand Relationships.” Journal of Marketing,
2019.
ieee: A. Eggert, L. Steinhoff, and C. Witte, “Gift Purchases as Catalysts for Strengthening
Customer–Brand Relationships,” Journal of Marketing, 2019.
mla: Eggert, Andreas, et al. “Gift Purchases as Catalysts for Strengthening Customer–Brand
Relationships.” Journal of Marketing, 2019.
short: A. Eggert, L. Steinhoff, C. Witte, Journal of Marketing (2019).
date_created: 2019-09-30T07:42:15Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '180'
language:
- iso: eng
publication: Journal of Marketing
status: public
title: Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships
type: journal_article
user_id: '57352'
year: '2019'
...
---
_id: '10002'
abstract:
- lang: ger
text: Dieses Buch beschreibt basierend auf dem gleichnamigen Innovationsprojekt
im Spitzencluster it’s OWL die Entwicklung intelligenter Verfahren und Systeme,
um auch unter variablen Produktionsbedingungen eine zuverlässige Massenfertigung
von Kupferbondverbindungen sicherzustellen.Dabei wird der gesamte Prozess der
Ultraschall-Verbindungsbildung modelliert. Dies beinhaltet u. a. ein Reibmodell
mit gekoppeltem Anbindungsmodell, den Ultraschall-Erweichungseffekt und den Verschleiß
des Bondwerkzeugs. Zudem wird das Konzept einer selbstoptimierenden Bondmaschine
vorgestellt, welche Prozessparameter in Abhängigkeit von Störgrößen wie Verschleiß
anpasst.Das Ultraschallbonden mit Aluminiumdraht ist ein etabliertes Fertigungsverfahren
zur Kontaktierung von Leistungshalbleitern. Zukünftige Leistungshalbleiterchips
erfordern jedoch einen Technologiewechsel zu Kupferdraht. Die Prozessparameter
unterscheiden sich dabei deutlich von den bekannten Aluminiumprozessen, ihre Wechselwirkungen
sind weitestgehend unbekannt.
author:
- first_name: Walter
full_name: Sextro, Walter
id: '21220'
last_name: Sextro
- first_name: Michael
full_name: Brökelmann, Michael
last_name: Brökelmann
citation:
ama: Sextro W, Brökelmann M. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen.
Vol VIII. Springer Verlag; 2019. doi:10.1007/978-3-662-55146-2
apa: Sextro, W., & Brökelmann, M. (2019). Intelligente Herstellung zuverlässiger
Kupferbondverbindungen (Vol. VIII). Springer Verlag. https://doi.org/10.1007/978-3-662-55146-2
bibtex: '@book{Sextro_Brökelmann_2019, title={Intelligente Herstellung zuverlässiger
Kupferbondverbindungen}, volume={VIII}, DOI={10.1007/978-3-662-55146-2},
publisher={Springer Verlag}, author={Sextro, Walter and Brökelmann, Michael},
year={2019} }'
chicago: Sextro, Walter, and Michael Brökelmann. Intelligente Herstellung Zuverlässiger
Kupferbondverbindungen. Vol. VIII. Springer Verlag, 2019. https://doi.org/10.1007/978-3-662-55146-2.
ieee: W. Sextro and M. Brökelmann, Intelligente Herstellung zuverlässiger Kupferbondverbindungen,
vol. VIII. Springer Verlag, 2019.
mla: Sextro, Walter, and Michael Brökelmann. Intelligente Herstellung Zuverlässiger
Kupferbondverbindungen. Vol. VIII, Springer Verlag, 2019, doi:10.1007/978-3-662-55146-2.
short: W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen,
Springer Verlag, 2019.
date_created: 2019-05-27T10:31:35Z
date_updated: 2022-01-06T06:50:22Z
department:
- _id: '151'
doi: 10.1007/978-3-662-55146-2
keyword:
- Abschlussbericht zum Spitzenclusterprojekt InCuB
language:
- iso: eng
page: '67'
publisher: Springer Verlag
status: public
title: Intelligente Herstellung zuverlässiger Kupferbondverbindungen
type: book
user_id: '55222'
volume: VIII
year: '2019'
...
---
_id: '10011'
author:
- first_name: Martin
full_name: Fränzle, Martin
last_name: Fränzle
- first_name: Deepak
full_name: Kapur, Deepak
last_name: Kapur
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Naijun
full_name: Zhan, Naijun
last_name: Zhan
citation:
ama: Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput.
2019;31(1):1. doi:10.1007/s00165-018-00477-6
apa: Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal
Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
bibtex: '@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31},
DOI={10.1007/s00165-018-00477-6},
number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur,
Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }'
chicago: 'Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.”
Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.'
ieee: M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp.
Comput., vol. 31, no. 1, p. 1, 2019.
mla: Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no.
1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
short: M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019)
1.
date_created: 2019-05-28T06:32:57Z
date_updated: 2022-01-06T06:50:22Z
department:
- _id: '77'
doi: 10.1007/s00165-018-00477-6
intvolume: ' 31'
issue: '1'
language:
- iso: eng
page: '1'
publication: Formal Asp. Comput.
status: public
title: Editorial
type: journal_article
user_id: '29719'
volume: 31
year: '2019'
...
---
_id: '10042'
author:
- first_name: Sarah
full_name: Johannesmann, Sarah
id: '29190'
last_name: Johannesmann
- first_name: Dimitri
full_name: Springer, Dimitri
last_name: Springer
- first_name: Christian
full_name: Thiel, Christian
last_name: Thiel
- first_name: Bernd
full_name: Henning, Bernd
id: '213'
last_name: Henning
citation:
ama: 'Johannesmann S, Springer D, Thiel C, Henning B. Störeffektunterdrückung in
2D-Messdaten mittels DiscoGAN. In: Gesellschaft für Akustik e.V. D, ed. Fortschritte
der Akustik - DAGA 2019. Vol 45. Rostock: Deutsche Gesellschaft für Akustik;
2019:1055-1058.'
apa: 'Johannesmann, S., Springer, D., Thiel, C., & Henning, B. (2019). Störeffektunterdrückung
in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte
der Akustik - DAGA 2019 (Vol. 45, pp. 1055–1058). Rostock: Deutsche Gesellschaft
für Akustik.'
bibtex: '@inproceedings{Johannesmann_Springer_Thiel_Henning_2019, place={Rostock},
title={Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN}, volume={45},
booktitle={Fortschritte der Akustik - DAGA 2019}, publisher={Deutsche Gesellschaft
für Akustik}, author={Johannesmann, Sarah and Springer, Dimitri and Thiel, Christian
and Henning, Bernd}, editor={Gesellschaft für Akustik e.V., DeutscheEditor}, year={2019},
pages={1055–1058} }'
chicago: 'Johannesmann, Sarah, Dimitri Springer, Christian Thiel, and Bernd Henning.
“Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” In Fortschritte
der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V.,
45:1055–58. Rostock: Deutsche Gesellschaft für Akustik, 2019.'
ieee: S. Johannesmann, D. Springer, C. Thiel, and B. Henning, “Störeffektunterdrückung
in 2D-Messdaten mittels DiscoGAN,” in Fortschritte der Akustik - DAGA 2019,
Rostock, 2019, vol. 45, pp. 1055–1058.
mla: Johannesmann, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels
DiscoGAN.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft
für Akustik e.V., vol. 45, Deutsche Gesellschaft für Akustik, 2019, pp. 1055–58.
short: 'S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft
für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft
für Akustik, Rostock, 2019, pp. 1055–1058.'
conference:
end_date: 2019-03-21
location: Rostock
name: 45. Jahrestagung der Akustik
start_date: 2019-03-19
date_created: 2019-05-31T08:28:20Z
date_updated: 2022-01-06T06:50:27Z
department:
- _id: '49'
editor:
- first_name: Deutsche
full_name: Gesellschaft für Akustik e.V., Deutsche
last_name: Gesellschaft für Akustik e.V.
intvolume: ' 45'
language:
- iso: ger
page: 1055-1058
place: Rostock
publication: Fortschritte der Akustik - DAGA 2019
publication_status: published
publisher: Deutsche Gesellschaft für Akustik
status: public
title: Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN
type: conference
user_id: '29190'
volume: 45
year: '2019'
...
---
_id: '10091'
author:
- first_name: Jürgen
full_name: König, Jürgen
id: '22358'
last_name: König
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'König J, Wehrheim H. Data Independence for Software Transactional Memory.
In: M. Badger J, Yvonne Rozier K, eds. {NASA} Formal Methods - 11th International
Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460.
Lecture Notes in Computer Science. Springer; 2019:263-279. doi:10.1007/978-3-030-20652-9\_18'
apa: König, J., & Wehrheim, H. (2019). Data Independence for Software Transactional
Memory. In J. M. Badger & K. Yvonne Rozier (Eds.), {NASA} Formal Methods
- 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
(Vol. 11460, pp. 263–279). Springer. https://doi.org/10.1007/978-3-030-20652-9\_18
bibtex: '@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science},
title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={10.1007/978-3-030-20652-9\_18},
booktitle={{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston,
TX, USA, May 7-9, 2019, Proceedings}, publisher={Springer}, author={König, Jürgen
and Wehrheim, Heike}, editor={M. Badger, Julia and Yvonne Rozier, KristinEditors},
year={2019}, pages={263–279}, collection={Lecture Notes in Computer Science} }'
chicago: König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional
Memory.” In {NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and
Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer,
2019. https://doi.org/10.1007/978-3-030-20652-9\_18.
ieee: J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,”
in {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston,
TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279.
mla: König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional
Memory.” {NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and
Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18.
short: 'J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA}
Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May
7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.'
date_created: 2019-06-03T07:51:26Z
date_updated: 2022-01-06T06:50:28Z
department:
- _id: '77'
doi: 10.1007/978-3-030-20652-9\_18
editor:
- first_name: Julia
full_name: M. Badger, Julia
last_name: M. Badger
- first_name: Kristin
full_name: Yvonne Rozier, Kristin
last_name: Yvonne Rozier
intvolume: ' 11460'
language:
- iso: eng
page: 263-279
project:
- _id: '78'
name: Validation of Software Transactional Memory
publication: '{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston,
TX, USA, May 7-9, 2019, Proceedings'
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Data Independence for Software Transactional Memory
type: conference
user_id: '22358'
volume: 11460
year: '2019'
...
---
_id: '10092'
author:
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: John
full_name: Derrick, John
last_name: Derrick
citation:
ama: 'Doherty S, Dongol B, Wehrheim H, Derrick J. Verifying C11 programs operationally.
In: K. Hollingsworth J, Keidar I, eds. Proceedings of the 24th {ACM} {SIGPLAN}
Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington,
DC, USA, February 16-20, 2019. {ACM}; 2019:355-365. doi:10.1145/3293883.3295702'
apa: Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2019). Verifying
C11 programs operationally. In J. K. Hollingsworth & I. Keidar (Eds.), Proceedings
of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). {ACM}.
https://doi.org/10.1145/3293883.3295702
bibtex: '@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2019, title={Verifying C11
programs operationally}, DOI={10.1145/3293883.3295702},
booktitle={Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20,
2019}, publisher={{ACM}}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim,
Heike and Derrick, John}, editor={K. Hollingsworth, Jeffrey and Keidar, IditEditors},
year={2019}, pages={355–365} }'
chicago: Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifying
C11 Programs Operationally.” In Proceedings of the 24th {ACM} {SIGPLAN} Symposium
on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC,
USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar,
355–65. {ACM}, 2019. https://doi.org/10.1145/3293883.3295702.
ieee: S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs
operationally,” in Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles
and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February
16-20, 2019, 2019, pp. 355–365.
mla: Doherty, Simon, et al. “Verifying C11 Programs Operationally.” Proceedings
of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K.
Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:10.1145/3293883.3295702.
short: 'S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth,
I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles
and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February
16-20, 2019, {ACM}, 2019, pp. 355–365.'
date_created: 2019-06-03T07:59:36Z
date_updated: 2022-01-06T06:50:28Z
department:
- _id: '77'
doi: 10.1145/3293883.3295702
editor:
- first_name: Jeffrey
full_name: K. Hollingsworth, Jeffrey
last_name: K. Hollingsworth
- first_name: Idit
full_name: Keidar, Idit
last_name: Keidar
language:
- iso: eng
page: 355-365
project:
- _id: '78'
name: Validation of Software Transactional Memory
publication: Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019
publisher: '{ACM}'
status: public
title: Verifying C11 programs operationally
type: conference
user_id: '29719'
year: '2019'
...
---
_id: '10093'
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Thomas
full_name: Lemberger, Thomas
last_name: Lemberger
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Combining Verifiers in Conditional
Model Checking via Reducers. In: Becker S, Bogicevic I, Herzwurm G, Wagner S,
eds. Software Engineering and Software Management (SE/SWM 2019), Stuttgart,
Germany, February 18-22, 2019. Vol P-292. LNI. GI; 2019:151--152. doi:10.18420/se2019-46'
apa: Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2019). Combining
Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic,
G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management
(SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152).
GI. https://doi.org/10.18420/se2019-46
bibtex: '@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2019, series={LNI}, title={Combining
Verifiers in Conditional Model Checking via Reducers}, volume={P-292}, DOI={10.18420/se2019-46}, booktitle={Software
Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February
18-22, 2019}, publisher={GI}, author={Beyer, Dirk and Jakobs, Marie-Christine
and Lemberger, Thomas and Wehrheim, Heike}, editor={Becker, Steffen and Bogicevic,
Ivan and Herzwurm, Georg and Wagner, StefanEditors}, year={2019}, pages={151--152},
collection={LNI} }'
chicago: Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim.
“Combining Verifiers in Conditional Model Checking via Reducers.” In Software
Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February
18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and
Stefan Wagner, P-292:151--152. LNI. GI, 2019. https://doi.org/10.18420/se2019-46.
ieee: D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers
in Conditional Model Checking via Reducers,” in Software Engineering and Software
Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019,
vol. P-292, pp. 151--152.
mla: Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via
Reducers.” Software Engineering and Software Management (SE/SWM 2019), Stuttgart,
Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292,
GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
short: 'D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic,
G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM
2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.'
date_created: 2019-06-03T08:08:39Z
date_updated: 2022-01-06T06:50:28Z
ddc:
- '004'
department:
- _id: '77'
doi: 10.18420/se2019-46
editor:
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Ivan
full_name: Bogicevic, Ivan
last_name: Bogicevic
- first_name: Georg
full_name: Herzwurm, Georg
last_name: Herzwurm
- first_name: Stefan
full_name: Wagner, Stefan
last_name: Wagner
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2019-08-26T09:31:55Z
date_updated: 2019-08-26T09:31:55Z
file_id: '12956'
file_name: 46.pdf
file_size: 472426
relation: main_file
success: 1
file_date_updated: 2019-08-26T09:31:55Z
has_accepted_license: '1'
language:
- iso: eng
page: 151--152
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
publication: Software Engineering and Software Management (SE/SWM 2019), Stuttgart,
Germany, February 18-22, 2019
publisher: GI
series_title: LNI
status: public
title: Combining Verifiers in Conditional Model Checking via Reducers
type: conference
user_id: '477'
volume: P-292
year: '2019'
...
---
_id: '10094'
author:
- first_name: Arnab
full_name: Sharma, Arnab
id: '67200'
last_name: Sharma
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Sharma A, Wehrheim H. Testing Balancedness of ML Algorithms. In: Becker S,
Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management,
{SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019. Vol {P-292}. {LNI}.
{GI}; 2019:157-158. doi:10.18420/se2019-48'
apa: Sharma, A., & Wehrheim, H. (2019). Testing Balancedness of ML Algorithms.
In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering
and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019
(Vol. {P-292}, pp. 157–158). {GI}. https://doi.org/10.18420/se2019-48
bibtex: '@inproceedings{Sharma_Wehrheim_2019, series={{LNI}}, title={Testing Balancedness
of ML Algorithms}, volume={{P-292}}, DOI={10.18420/se2019-48},
booktitle={Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019}, publisher={{GI}}, author={Sharma, Arnab and Wehrheim,
Heike}, editor={Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner,
StefanEditors}, year={2019}, pages={157–158}, collection={{LNI}} }'
chicago: Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.”
In Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg
Herzwurm, and Stefan Wagner, {P-292}:157–58. {LNI}. {GI}, 2019. https://doi.org/10.18420/se2019-48.
ieee: A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in Software
Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February
18-22, 2019, 2019, vol. {P-292}, pp. 157–158.
mla: Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.”
Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany,
February 18-22, 2019, edited by Steffen Becker et al., vol. {P-292}, {GI},
2019, pp. 157–58, doi:10.18420/se2019-48.
short: 'A. Sharma, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner
(Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019, {GI}, 2019, pp. 157–158.'
date_created: 2019-06-03T08:10:55Z
date_updated: 2022-01-06T06:50:28Z
department:
- _id: '77'
doi: 10.18420/se2019-48
editor:
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Ivan
full_name: Bogicevic, Ivan
last_name: Bogicevic
- first_name: Georg
full_name: Herzwurm, Georg
last_name: Herzwurm
- first_name: Stefan
full_name: Wagner, Stefan
last_name: Wagner
language:
- iso: eng
page: 157-158
publication: Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019
publisher: '{GI}'
series_title: '{LNI}'
status: public
title: Testing Balancedness of ML Algorithms
type: conference
user_id: '29719'
volume: '{P-292}'
year: '2019'
...
---
_id: '10095'
author:
- first_name: Cedric
full_name: Richter, Cedric
id: '50003'
last_name: Richter
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers
- (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, eds.
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years
of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings, Part {III}. Vol 11429. Lecture Notes in Computer
Science. Springer; 2019:229-233. doi:10.1007/978-3-030-17502-3_19'
apa: 'Richter, C., & Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations
of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon,
& B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis
of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III} (Vol. 11429, pp.
229–233). Springer. https://doi.org/10.1007/978-3-030-17502-3_19'
bibtex: '@inproceedings{Richter_Wehrheim_2019, series={Lecture Notes in Computer
Science}, title={PeSCo: Predicting Sequential Combinations of Verifiers - (Competition
Contribution)}, volume={11429}, DOI={10.1007/978-3-030-17502-3_19},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems -
25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings, Part {III}}, publisher={Springer}, author={Richter,
Cedric and Wehrheim, Heike}, editor={Beyer, Dirk and Huisman, Marieke and Kordon,
Fabrice and Steffen, BernhardEditors}, year={2019}, pages={229–233}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations
of Verifiers - (Competition Contribution).” In Tools and Algorithms for the
Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as
Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{III}, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard
Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-17502-3_19.'
ieee: 'C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of
Verifiers - (Competition Contribution),” in Tools and Algorithms for the Construction
and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, 2019,
vol. 11429, pp. 229–233.'
mla: 'Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations
of Verifiers - (Competition Contribution).” Tools and Algorithms for the Construction
and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, edited
by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.'
short: 'C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen
(Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25
Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.'
date_created: 2019-06-03T08:12:55Z
date_updated: 2022-01-06T06:50:29Z
ddc:
- '004'
department:
- _id: '77'
doi: 10.1007/978-3-030-17502-3_19
editor:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Marieke
full_name: Huisman, Marieke
last_name: Huisman
- first_name: Fabrice
full_name: Kordon, Fabrice
last_name: Kordon
- first_name: Bernhard
full_name: Steffen, Bernhard
last_name: Steffen
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2019-08-26T11:01:00Z
date_updated: 2019-08-26T11:01:00Z
file_id: '12961'
file_name: PeSCo.pdf
file_size: 254772
relation: main_file
success: 1
file_date_updated: 2019-08-26T11:01:00Z
has_accepted_license: '1'
intvolume: ' 11429'
language:
- iso: eng
page: 229-233
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
publication: Tools and Algorithms for the Construction and Analysis of Systems - 25
Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings, Part {III}
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)'
type: conference
user_id: '29719'
volume: 11429
year: '2019'
...
---
_id: '10096'
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey
and Unifying Component Framework. CoRR. 2019;abs/1905.08505.'
apa: 'Beyer, D., & Wehrheim, H. (2019). Verification Artifacts in Cooperative
Verification: Survey and Unifying Component Framework. CoRR, abs/1905.08505.'
bibtex: '@article{Beyer_Wehrheim_2019, title={Verification Artifacts in Cooperative
Verification: Survey and Unifying Component Framework}, volume={abs/1905.08505},
journal={CoRR}, author={Beyer, Dirk and Wehrheim, Heike}, year={2019} }'
chicago: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative
Verification: Survey and Unifying Component Framework.” CoRR abs/1905.08505
(2019).'
ieee: 'D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification:
Survey and Unifying Component Framework,” CoRR, vol. abs/1905.08505, 2019.'
mla: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification:
Survey and Unifying Component Framework.” CoRR, vol. abs/1905.08505, 2019.'
short: D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).
date_created: 2019-06-03T08:17:07Z
date_updated: 2022-01-06T06:50:29Z
department:
- _id: '34'
language:
- iso: eng
publication: CoRR
status: public
title: 'Verification Artifacts in Cooperative Verification: Survey and Unifying Component
Framework'
type: journal_article
user_id: '29719'
volume: abs/1905.08505
year: '2019'
...
---
_id: '10103'
abstract:
- lang: eng
text: We investigate the demographic characteristics, trading patterns, and performance
of 465.926 brokerage accounts with respect to cryptocurrency trading. We find
that cryptocurrency trading became increasingly popular across individuals of
all different groups of age, gender, and trading patterns. Yet, men are more likely
to engage in cryptocurrency trading, trade more frequently, and more speculative,
respectively. As a result, men realize lower returns. Furthermore, we find that
investors vary their trading patterns across different asset classes.
article_type: original
author:
- first_name: Tim
full_name: Hasso, Tim
last_name: Hasso
- first_name: Matthias
full_name: Pelster, Matthias
id: '67265'
last_name: Pelster
orcid: ' https://orcid.org/0000-0001-5740-2420'
- first_name: Bastian
full_name: Breitmayer, Bastian
last_name: Breitmayer
citation:
ama: Hasso T, Pelster M, Breitmayer B. Who trades cryptocurrencies, how do they
trade it, and how do they perform? Evidence from brokerage accounts. Journal
of Behavioral and Experimental Finance. 2019;23:64-74. doi:10.1016/j.jbef.2019.04.009
apa: Hasso, T., Pelster, M., & Breitmayer, B. (2019). Who trades cryptocurrencies,
how do they trade it, and how do they perform? Evidence from brokerage accounts.
Journal of Behavioral and Experimental Finance, 23, 64–74. https://doi.org/10.1016/j.jbef.2019.04.009
bibtex: '@article{Hasso_Pelster_Breitmayer_2019, title={Who trades cryptocurrencies,
how do they trade it, and how do they perform? Evidence from brokerage accounts},
volume={23}, DOI={10.1016/j.jbef.2019.04.009},
journal={Journal of Behavioral and Experimental Finance}, publisher={Elsevier},
author={Hasso, Tim and Pelster, Matthias and Breitmayer, Bastian}, year={2019},
pages={64–74} }'
chicago: 'Hasso, Tim, Matthias Pelster, and Bastian Breitmayer. “Who Trades Cryptocurrencies,
How Do They Trade It, and How Do They Perform? Evidence from Brokerage Accounts.”
Journal of Behavioral and Experimental Finance 23 (2019): 64–74. https://doi.org/10.1016/j.jbef.2019.04.009.'
ieee: T. Hasso, M. Pelster, and B. Breitmayer, “Who trades cryptocurrencies, how
do they trade it, and how do they perform? Evidence from brokerage accounts,”
Journal of Behavioral and Experimental Finance, vol. 23, pp. 64–74, 2019.
mla: Hasso, Tim, et al. “Who Trades Cryptocurrencies, How Do They Trade It, and
How Do They Perform? Evidence from Brokerage Accounts.” Journal of Behavioral
and Experimental Finance, vol. 23, Elsevier, 2019, pp. 64–74, doi:10.1016/j.jbef.2019.04.009.
short: T. Hasso, M. Pelster, B. Breitmayer, Journal of Behavioral and Experimental
Finance 23 (2019) 64–74.
date_created: 2019-06-04T07:01:34Z
date_updated: 2022-01-06T06:50:29Z
department:
- _id: '186'
- _id: '578'
doi: 10.1016/j.jbef.2019.04.009
intvolume: ' 23'
jel:
- G11
keyword:
- Cryptocurrencies Bitcoin Trading Investor returns Demographics
language:
- iso: eng
page: 64-74
publication: Journal of Behavioral and Experimental Finance
publication_status: published
publisher: Elsevier
status: public
title: Who trades cryptocurrencies, how do they trade it, and how do they perform?
Evidence from brokerage accounts
type: journal_article
user_id: '21810'
volume: 23
year: '2019'
...
---
_id: '10105'
author:
- first_name: Jan
full_name: Haltermann, Jan
last_name: Haltermann
citation:
ama: Haltermann J. Analyzing Data Usage in Array Programs. Universität Paderborn;
2019.
apa: Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität
Paderborn.
bibtex: '@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs},
publisher={Universität Paderborn}, author={Haltermann, Jan}, year={2019} }'
chicago: Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität
Paderborn, 2019.
ieee: J. Haltermann, Analyzing Data Usage in Array Programs. Universität
Paderborn, 2019.
mla: Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität
Paderborn, 2019.
short: J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn,
2019.
date_created: 2019-06-04T10:54:08Z
date_updated: 2022-01-06T06:50:29Z
department:
- _id: '7'
- _id: '77'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '11'
name: SFB 901 - Subproject B3
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
title: Analyzing Data Usage in Array Programs
type: mastersthesis
user_id: '477'
year: '2019'
...
---
_id: '10135'
author:
- first_name: Manuel
full_name: Webersen, Manuel
id: '11289'
last_name: Webersen
orcid: 0000-0001-6411-4232
- first_name: Matthias
full_name: Hüttner, Matthias
last_name: Hüttner
- first_name: Fabian
full_name: Woitschek, Fabian
last_name: Woitschek
- first_name: Elmar
full_name: Moritzer, Elmar
last_name: Moritzer
- first_name: Bernd
full_name: Henning, Bernd
id: '213'
last_name: Henning
citation:
ama: 'Webersen M, Hüttner M, Woitschek F, Moritzer E, Henning B. Akustische Charakterisierung
der mechanischen Eigenschaften künstlich gealterter Polymere. In: Deutsche Gesellschaft
für Akustik e.V. (DEGA), ed. Fortschritte der Akustik - DAGA 2019. ; 2019.'
apa: Webersen, M., Hüttner, M., Woitschek, F., Moritzer, E., & Henning, B. (2019).
Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter
Polymere. In Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte
der Akustik - DAGA 2019. Rostock.
bibtex: '@inproceedings{Webersen_Hüttner_Woitschek_Moritzer_Henning_2019, title={Akustische
Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere},
booktitle={Fortschritte der Akustik - DAGA 2019}, author={Webersen, Manuel and
Hüttner, Matthias and Woitschek, Fabian and Moritzer, Elmar and Henning, Bernd},
editor={Deutsche Gesellschaft für Akustik e.V. (DEGA)Editor}, year={2019} }'
chicago: Webersen, Manuel, Matthias Hüttner, Fabian Woitschek, Elmar Moritzer, and
Bernd Henning. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich
gealterter Polymere.” In Fortschritte der Akustik - DAGA 2019, edited by
Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.
ieee: M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, and B. Henning, “Akustische
Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere,”
in Fortschritte der Akustik - DAGA 2019, Rostock, 2019.
mla: Webersen, Manuel, et al. “Akustische Charakterisierung der mechanischen Eigenschaften
künstlich gealterter Polymere.” Fortschritte der Akustik - DAGA 2019, edited
by Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.
short: 'M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche
Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019,
2019.'
conference:
end_date: 2019-03-21
location: Rostock
name: 45. Jahrestagung f[r Akustik - DAGA 2019
start_date: 2019-03-18
corporate_editor:
- Deutsche Gesellschaft für Akustik e.V. (DEGA)
date_created: 2019-06-06T07:16:22Z
date_updated: 2022-01-06T06:50:30Z
department:
- _id: '49'
language:
- iso: ger
publication: Fortschritte der Akustik - DAGA 2019
publication_identifier:
unknown:
- 978-3-939296-14-0
publication_status: published
status: public
title: Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter
Polymere
type: conference
user_id: '11289'
year: '2019'
...
---
_id: '10232'
abstract:
- lang: eng
text: Existing tools for automated machine learning, such as Auto-WEKA, TPOT, auto-sklearn,
and more recently ML-Plan, have shown impressive results for the tasks of single-label
classification and regression. Yet, there is only little work on other types of
machine learning problems so far. In particular, there is almost no work on automating
the engineering of machine learning solutions for multi-label classification (MLC).
We show how the scope of ML-Plan, an AutoML-tool for multi-class classification,
can be extended towards MLC using MEKA, which is a multi-label extension of the
well-known Java library WEKA. The resulting approach recursively refines MEKA's
multi-label classifiers, nesting other multi-label classifiers for meta algorithms
and single-label classifiers provided by WEKA as base learners. In our evaluation,
we find that the proposed approach yields strong results and performs significantly
better than a set of baselines we compare with.
author:
- first_name: Marcel Dominik
full_name: Wever, Marcel Dominik
id: '33176'
last_name: Wever
orcid: ' https://orcid.org/0000-0001-9782-6818'
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Alexander
full_name: Tornede, Alexander
id: '38209'
last_name: Tornede
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Wever MD, Mohr F, Tornede A, Hüllermeier E. Automating Multi-Label Classification
Extending ML-Plan. In: ; 2019.'
apa: Wever, M. D., Mohr, F., Tornede, A., & Hüllermeier, E. (2019). Automating
Multi-Label Classification Extending ML-Plan. Presented at the 6th ICML Workshop
on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA.
bibtex: '@inproceedings{Wever_Mohr_Tornede_Hüllermeier_2019, title={Automating Multi-Label
Classification Extending ML-Plan}, author={Wever, Marcel Dominik and Mohr, Felix
and Tornede, Alexander and Hüllermeier, Eyke}, year={2019} }'
chicago: Wever, Marcel Dominik, Felix Mohr, Alexander Tornede, and Eyke Hüllermeier.
“Automating Multi-Label Classification Extending ML-Plan,” 2019.
ieee: M. D. Wever, F. Mohr, A. Tornede, and E. Hüllermeier, “Automating Multi-Label
Classification Extending ML-Plan,” presented at the 6th ICML Workshop on Automated
Machine Learning (AutoML 2019), Long Beach, CA, USA, 2019.
mla: Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending
ML-Plan. 2019.
short: 'M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.'
conference:
end_date: 2019-06-15
location: Long Beach, CA, USA
name: 6th ICML Workshop on Automated Machine Learning (AutoML 2019)
start_date: 2019-06-09
date_created: 2019-06-11T21:33:06Z
date_updated: 2022-01-06T06:50:33Z
ddc:
- '006'
department:
- _id: '355'
file:
- access_level: open_access
content_type: application/pdf
creator: wever
date_created: 2019-09-10T08:19:01Z
date_updated: 2019-09-10T08:20:44Z
file_id: '13177'
file_name: Automating_MultiLabel_Classification_Extending_ML-Plan.pdf
file_size: 388191
relation: main_file
file_date_updated: 2019-09-10T08:20:44Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
status: public
title: Automating Multi-Label Classification Extending ML-Plan
type: conference
user_id: '33176'
year: '2019'
...
---
_id: '10255'
abstract:
- lang: eng
text: Gummi-Metall-Teile (GM-Teile) werden zur Schwingungsreduktion u. a. in Windenergieanlagen
eingesetzt. Mögliche Anwendungen der Teile liegen in Wellen-, Generator- und Getriebelagerungen,
Lagern für die Gondel und ihre Komponenten sowie in Drehmomentstützen. Mit dem
Ziel eine prädiktive Instandhaltung zu realisieren, soll eine Zustandsüberwachung
für die GM-Teile entwickelt werden. Diese Entwicklung basiert auf der Umsetzung
diverser Schritte. Neben der funktionalen Betrachtung wird zwingend auch die konstruktive
Integration der Sensoren in das überwachte Teil berücksichtigt. Der Schwerpunkt
dieser Arbeit liegt auf der verwendeten Messgröße Temperatur, die mittels ausgewählter
Sensorik detektiert wird. Dabei werden Lebensdauerversuche unter instationären
Betriebsbedingungen durchgeführt, um diese Messdaten zu generieren. In der Datenauswertung
werden sie hinsichtlich der Degradierung des GM-Teils analysiert und für die Ermittlung
der nutzbaren Restlebensdauer verwendet. Rubber-metal-elements are used for isolation
of vibrations e. g. in wind turbines. Possible applications of the elements are
shaft bearings, generator bearings, gearbox bearings, bearings for the nacelle
and its components and torque supports. In order to realize predictive maintenance,
an accurate condition monitoring system for rubber-metal-elements should be developed.
During that development different aspects have to be implemented. Additionally
to the functional analysis, the constructive integration of the sensors into the
monitored part is mandatory. The focus of this work is on the measured variable
temperature, which is detected by means of appropriate sensors. Thereby lifetime
tests are run under non-stationary operating conditions to generate temperature
measurements. During data analysis, the measured data is analyzed regarding the
degradation of the rubber-metal-elements and remaining useful lifetimes are estimated.
author:
- first_name: Amelie
full_name: Bender, Amelie
id: '54290'
last_name: Bender
- first_name: Kai
full_name: Reinke, Kai
last_name: Reinke
- first_name: Walter
full_name: Sextro, Walter
id: '21220'
last_name: Sextro
citation:
ama: 'Bender A, Reinke K, Sextro W. Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils
mit integriertem Thermoelement. In: 10. VDI-Fachtagung Schwingungen von Windenergieanlagen
2019. Vol VDI-Berichte 2346. Bremen 2019; 2019:241-248.'
apa: Bender, A., Reinke, K., & Sextro, W. (2019). Konstruktion und Zustandsüberwachung
eines Gummi-Metall-Teils mit integriertem Thermoelement. In 10. VDI-Fachtagung
Schwingungen von Windenergieanlagen 2019 (Vol. VDI-Berichte 2346, pp. 241–248).
Bremen 2019.
bibtex: '@inproceedings{Bender_Reinke_Sextro_2019, place={Bremen 2019}, title={Konstruktion
und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement},
volume={VDI-Berichte 2346}, booktitle={10. VDI-Fachtagung Schwingungen von Windenergieanlagen
2019}, author={Bender, Amelie and Reinke, Kai and Sextro, Walter}, year={2019},
pages={241–248} }'
chicago: Bender, Amelie, Kai Reinke, and Walter Sextro. “Konstruktion Und Zustandsüberwachung
Eines Gummi-Metall-Teils Mit Integriertem Thermoelement.” In 10. VDI-Fachtagung
Schwingungen von Windenergieanlagen 2019, VDI-Berichte 2346:241–48. Bremen
2019, 2019.
ieee: A. Bender, K. Reinke, and W. Sextro, “Konstruktion und Zustandsüberwachung
eines Gummi-Metall-Teils mit integriertem Thermoelement,” in 10. VDI-Fachtagung
Schwingungen von Windenergieanlagen 2019, 2019, vol. VDI-Berichte 2346, pp.
241–248.
mla: Bender, Amelie, et al. “Konstruktion Und Zustandsüberwachung Eines Gummi-Metall-Teils
Mit Integriertem Thermoelement.” 10. VDI-Fachtagung Schwingungen von Windenergieanlagen
2019, vol. VDI-Berichte 2346, 2019, pp. 241–48.
short: 'A. Bender, K. Reinke, W. Sextro, in: 10. VDI-Fachtagung Schwingungen von
Windenergieanlagen 2019, Bremen 2019, 2019, pp. 241–248.'
date_created: 2019-06-17T09:36:23Z
date_updated: 2022-01-06T06:50:33Z
department:
- _id: '151'
language:
- iso: eng
page: 241-248
place: Bremen 2019
publication: 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019
status: public
title: Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem
Thermoelement
type: conference
user_id: '55222'
volume: VDI-Berichte 2346
year: '2019'
...
---
_id: '10257'
abstract:
- lang: eng
text: In der Entwicklung mechatronischer Systeme spielt die Steigerung der Verlässlichkeit
und somit auch der Zuverlässigkeit und der funktionalen Sicherheit eine entscheidende
Rolle. Die modellbasierte Entwicklung liefert in Kombination mit unterstützender
Software einen wichtigen Beitrag zur Absicherung der Verlässlichkeit mechatronischer
Systeme in frühen Entwicklungsphasen. In der Nutzungsphase ermöglichen aktuelle
Verfahren der Zustandsüberwachung und moderne Methoden der Regelungstechnik eine
effektive Absicherung. Modelle aus der Entwicklung mechatronischer Systeme enthalten
weitreichende Informationen über die Architektur, das Verhalten und die Verlässlichkeit
eines Systems. Diese Modelle können als Grundlage für die Erstellung eines Digitalen
Zwillings für die vorausschauende Instandhaltung verwendet und mit Zustandsdaten
des realen Systems kombiniert werden. Die Nutzung der Modelle für den Digitalen
Zwilling bietet weitreichende Potenziale und vereinfacht dessen Erzeugung. Die
Veröffentlichung beschreibt Rahmenbedingungen der Integration und stellt die Potenziale
des Digitalen Zwillings zur vorausschauenden Instandhaltung dar.
author:
- first_name: Thorben
full_name: Kaul, Thorben
id: '14802'
last_name: Kaul
- first_name: Julian
full_name: Hentze, Julian
id: '13342'
last_name: Hentze
- first_name: Walter
full_name: Sextro, Walter
id: '21220'
last_name: Sextro
- first_name: Iris
full_name: Gräßler, Iris
last_name: Gräßler
citation:
ama: 'Kaul T, Hentze J, Sextro W, Gräßler I. Integration von Verlässlichkeitsmodellen
der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden
Instandhaltung. In: Fachtagung Mechatronik 2019 Paderborn. ; 2019.'
apa: Kaul, T., Hentze, J., Sextro, W., & Gräßler, I. (2019). Integration von
Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung
einer vorausschauenden Instandhaltung. In Fachtagung Mechatronik 2019 Paderborn.
bibtex: '@inproceedings{Kaul_Hentze_Sextro_Gräßler_2019, title={Integration von
Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung
einer vorausschauenden Instandhaltung}, booktitle={Fachtagung Mechatronik 2019
Paderborn}, author={Kaul, Thorben and Hentze, Julian and Sextro, Walter and Gräßler,
Iris}, year={2019} }'
chicago: Kaul, Thorben, Julian Hentze, Walter Sextro, and Iris Gräßler. “Integration
von Verlässlichkeitsmodellen Der Entwicklung in Einen Digitalen Zwilling Zur Umsetzung
Einer Vorausschauenden Instandhaltung.” In Fachtagung Mechatronik 2019 Paderborn,
2019.
ieee: T. Kaul, J. Hentze, W. Sextro, and I. Gräßler, “Integration von Verlässlichkeitsmodellen
der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden
Instandhaltung,” in Fachtagung Mechatronik 2019 Paderborn, 2019.
mla: Kaul, Thorben, et al. “Integration von Verlässlichkeitsmodellen Der Entwicklung
in Einen Digitalen Zwilling Zur Umsetzung Einer Vorausschauenden Instandhaltung.”
Fachtagung Mechatronik 2019 Paderborn, 2019.
short: 'T. Kaul, J. Hentze, W. Sextro, I. Gräßler, in: Fachtagung Mechatronik 2019
Paderborn, 2019.'
date_created: 2019-06-17T12:43:10Z
date_updated: 2022-01-06T06:50:33Z
department:
- _id: '151'
language:
- iso: eng
publication: Fachtagung Mechatronik 2019 Paderborn
status: public
title: Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen
Zwilling zur Umsetzung einer vorausschauenden Instandhaltung
type: conference
user_id: '55222'
year: '2019'
...