---
_id: '35427'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
citation:
ama: 'Pauck F. Scaling Arbitrary Android App Analyses. In: 37th IEEE/ACM International
Conference on Automated Software Engineering. ACM; 2023. doi:10.1145/3551349.3561339'
apa: Pauck, F. (2023). Scaling Arbitrary Android App Analyses. 37th IEEE/ACM
International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561339
bibtex: '@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses},
DOI={10.1145/3551349.3561339},
booktitle={37th IEEE/ACM International Conference on Automated Software Engineering},
publisher={ACM}, author={Pauck, Felix}, year={2023} }'
chicago: Pauck, Felix. “Scaling Arbitrary Android App Analyses.” In 37th IEEE/ACM
International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561339.
ieee: 'F. Pauck, “Scaling Arbitrary Android App Analyses,” 2023, doi: 10.1145/3551349.3561339.'
mla: Pauck, Felix. “Scaling Arbitrary Android App Analyses.” 37th IEEE/ACM International
Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561339.
short: 'F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software
Engineering, ACM, 2023.'
date_created: 2023-01-09T06:32:33Z
date_updated: 2023-01-19T13:49:52Z
department:
- _id: '77'
doi: 10.1145/3551349.3561339
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3551349.3561339
oa: '1'
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '12'
name: 'SFB 901 - B4: SFB 901 - Subproject B4'
publication: 37th IEEE/ACM International Conference on Automated Software Engineering
publication_status: published
publisher: ACM
status: public
title: Scaling Arbitrary Android App Analyses
type: conference
user_id: '477'
year: '2023'
...
---
_id: '38280'
author:
- first_name: Reinhold
full_name: Noé, Reinhold
id: '381'
last_name: Noé
orcid: https://orcid.org/0000-0002-5839-7616
citation:
ama: Noé R. Consistent Optical and Electrical Noise Figure. Journal of Lightwave
Technology. 2023;41(1):137-148. doi:10.1109/JLT.2022.3212936
apa: Noé, R. (2023). Consistent Optical and Electrical Noise Figure. Journal
of Lightwave Technology, 41(1), 137–148. https://doi.org/10.1109/JLT.2022.3212936
bibtex: '@article{Noé_2023, title={Consistent Optical and Electrical Noise Figure},
volume={41}, DOI={10.1109/JLT.2022.3212936},
number={1}, journal={Journal of Lightwave Technology}, author={Noé, Reinhold},
year={2023}, pages={137–148} }'
chicago: 'Noé, Reinhold. “Consistent Optical and Electrical Noise Figure.” Journal
of Lightwave Technology 41, no. 1 (2023): 137–48. https://doi.org/10.1109/JLT.2022.3212936.'
ieee: 'R. Noé, “Consistent Optical and Electrical Noise Figure,” Journal of Lightwave
Technology, vol. 41, no. 1, pp. 137–148, 2023, doi: 10.1109/JLT.2022.3212936.'
mla: Noé, Reinhold. “Consistent Optical and Electrical Noise Figure.” Journal
of Lightwave Technology, vol. 41, no. 1, 2023, pp. 137–48, doi:10.1109/JLT.2022.3212936.
short: R. Noé, Journal of Lightwave Technology 41 (2023) 137–148.
date_created: 2023-01-23T18:04:58Z
date_updated: 2023-01-25T23:00:09Z
department:
- _id: '56'
doi: 10.1109/JLT.2022.3212936
intvolume: ' 41'
issue: '1'
language:
- iso: eng
page: 137-148
publication: Journal of Lightwave Technology
status: public
title: Consistent Optical and Electrical Noise Figure
type: journal_article
user_id: '14931'
volume: 41
year: '2023'
...
---
_id: '40440'
author:
- first_name: Matthias
full_name: Pilot, Matthias
last_name: Pilot
citation:
ama: Pilot M. Updatable Privacy-Preserving Reputation System Based on Blockchain.;
2023.
apa: Pilot, M. (2023). Updatable Privacy-Preserving Reputation System based on
Blockchain.
bibtex: '@book{Pilot_2023, title={Updatable Privacy-Preserving Reputation System
based on Blockchain}, author={Pilot, Matthias}, year={2023} }'
chicago: Pilot, Matthias. Updatable Privacy-Preserving Reputation System Based
on Blockchain, 2023.
ieee: M. Pilot, Updatable Privacy-Preserving Reputation System based on Blockchain.
2023.
mla: Pilot, Matthias. Updatable Privacy-Preserving Reputation System Based on
Blockchain. 2023.
short: M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain,
2023.
date_created: 2023-01-26T16:07:19Z
date_updated: 2023-01-26T16:08:11Z
department:
- _id: '7'
- _id: '64'
extern: '1'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '13'
name: 'SFB 901 - C1: SFB 901 - Subproject C1'
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: Updatable Privacy-Preserving Reputation System based on Blockchain
type: mastersthesis
user_id: '27207'
year: '2023'
...
---
_id: '40511'
author:
- first_name: Sven
full_name: Hüsing, Sven
id: '58465'
last_name: Hüsing
- first_name: Carsten
full_name: Schulte, Carsten
id: '60311'
last_name: Schulte
- first_name: Felix
full_name: Winkelnkemper, Felix
id: '3117'
last_name: Winkelnkemper
citation:
ama: 'Hüsing S, Schulte C, Winkelnkemper F. Epistemic Programming. In: Computer
Science Education. Bloomsbury Academic; 2023. doi:10.5040/9781350296947.ch-022'
apa: Hüsing, S., Schulte, C., & Winkelnkemper, F. (2023). Epistemic Programming.
In Computer Science Education. Bloomsbury Academic. https://doi.org/10.5040/9781350296947.ch-022
bibtex: '@inbook{Hüsing_Schulte_Winkelnkemper_2023, title={Epistemic Programming},
DOI={10.5040/9781350296947.ch-022},
booktitle={Computer Science Education}, publisher={Bloomsbury Academic}, author={Hüsing,
Sven and Schulte, Carsten and Winkelnkemper, Felix}, year={2023} }'
chicago: Hüsing, Sven, Carsten Schulte, and Felix Winkelnkemper. “Epistemic Programming.”
In Computer Science Education. Bloomsbury Academic, 2023. https://doi.org/10.5040/9781350296947.ch-022.
ieee: S. Hüsing, C. Schulte, and F. Winkelnkemper, “Epistemic Programming,” in Computer
Science Education, Bloomsbury Academic, 2023.
mla: Hüsing, Sven, et al. “Epistemic Programming.” Computer Science Education,
Bloomsbury Academic, 2023, doi:10.5040/9781350296947.ch-022.
short: 'S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education,
Bloomsbury Academic, 2023.'
date_created: 2023-01-27T12:25:37Z
date_updated: 2023-01-27T12:26:06Z
department:
- _id: '67'
doi: 10.5040/9781350296947.ch-022
language:
- iso: eng
publication: Computer Science Education
publication_identifier:
isbn:
- '9781350296916'
- '9781350296909'
- '9781350296930'
- '9781350296923'
- '9781350296947'
publication_status: published
publisher: Bloomsbury Academic
status: public
title: Epistemic Programming
type: book_chapter
user_id: '58465'
year: '2023'
...
---
_id: '33947'
article_type: original
author:
- first_name: Jannik
full_name: Castenow, Jannik
id: '38705'
last_name: Castenow
- first_name: Jonas
full_name: Harbig, Jonas
id: '47213'
last_name: Harbig
- first_name: Daniel
full_name: Jung, Daniel
id: '37827'
last_name: Jung
- first_name: Till
full_name: Knollmann, Till
id: '39241'
last_name: Knollmann
orcid: 0000-0003-2014-4696
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Castenow J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Gathering
a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for
Chain-Formation. Theoretical Computer Science. 2023;939:261-291. doi:10.1016/j.tcs.2022.10.031
apa: Castenow, J., Harbig, J., Jung, D., Knollmann, T., & Meyer auf der Heide,
F. (2023). Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved
Algorithms for Chain-Formation. Theoretical Computer Science, 939,
261–291. https://doi.org/10.1016/j.tcs.2022.10.031
bibtex: '@article{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2023, title={Gathering
a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for
Chain-Formation}, volume={939}, DOI={10.1016/j.tcs.2022.10.031},
journal={Theoretical Computer Science}, publisher={Elsevier BV}, author={Castenow,
Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der
Heide, Friedhelm}, year={2023}, pages={261–291} }'
chicago: 'Castenow, Jannik, Jonas Harbig, Daniel Jung, Till Knollmann, and Friedhelm
Meyer auf der Heide. “Gathering a Euclidean Closed Chain of Robots in Linear Time
and Improved Algorithms for Chain-Formation.” Theoretical Computer Science
939 (2023): 261–91. https://doi.org/10.1016/j.tcs.2022.10.031.'
ieee: 'J. Castenow, J. Harbig, D. Jung, T. Knollmann, and F. Meyer auf der Heide,
“Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms
for Chain-Formation,” Theoretical Computer Science, vol. 939, pp. 261–291,
2023, doi: 10.1016/j.tcs.2022.10.031.'
mla: Castenow, Jannik, et al. “Gathering a Euclidean Closed Chain of Robots in Linear
Time and Improved Algorithms for Chain-Formation.” Theoretical Computer Science,
vol. 939, Elsevier BV, 2023, pp. 261–91, doi:10.1016/j.tcs.2022.10.031.
short: J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical
Computer Science 939 (2023) 261–291.
date_created: 2022-10-28T05:11:16Z
date_updated: 2023-01-30T09:20:09Z
department:
- _id: '63'
doi: 10.1016/j.tcs.2022.10.031
external_id:
arxiv:
- '2010.04424 '
intvolume: ' 939'
keyword:
- General Computer Science
- Theoretical Computer Science
language:
- iso: eng
page: 261-291
project:
- _id: '106'
name: 'Algorithmen für Schwarmrobotik: Verteiltes Rechnen trifft Dynamische Systeme'
publication: Theoretical Computer Science
publication_identifier:
issn:
- 0304-3975
publication_status: published
publisher: Elsevier BV
status: public
title: Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms
for Chain-Formation
type: journal_article
user_id: '38705'
volume: 939
year: '2023'
...
---
_id: '41369'
author:
- first_name: Joachim
full_name: Böcker, Joachim
id: '66'
last_name: Böcker
orcid: 0000-0002-8480-7295
citation:
ama: Böcker J. Mechatronik und elektrische Antriebe / Mechatronics and electrical
drives. Paderborn University doi:10.17619/UNIPB/1-1640
apa: Böcker, J. (n.d.). Mechatronik und elektrische Antriebe / Mechatronics and
electrical drives. Paderborn University. https://doi.org/10.17619/UNIPB/1-1640
bibtex: '@book{Böcker, place={Paderborn}, title={Mechatronik und elektrische Antriebe
/ Mechatronics and electrical drives}, DOI={10.17619/UNIPB/1-1640},
publisher={Paderborn University}, author={Böcker, Joachim} }'
chicago: 'Böcker, Joachim. Mechatronik und elektrische Antriebe / Mechatronics
and electrical drives. Paderborn: Paderborn University, n.d. https://doi.org/10.17619/UNIPB/1-1640.'
ieee: 'J. Böcker, Mechatronik und elektrische Antriebe / Mechatronics and electrical
drives. Paderborn: Paderborn University.'
mla: Böcker, Joachim. Mechatronik und elektrische Antriebe / Mechatronics and
electrical drives. Paderborn University, doi:10.17619/UNIPB/1-1640.
short: J. Böcker, Mechatronik und elektrische Antriebe / Mechatronics and electrical
drives, Paderborn University, Paderborn, n.d.
date_created: 2023-02-01T12:46:34Z
date_updated: 2023-02-01T12:51:25Z
department:
- _id: '52'
doi: 10.17619/UNIPB/1-1640
language:
- iso: ger
- iso: eng
place: Paderborn
publication_status: submitted
publisher: Paderborn University
status: public
title: Mechatronik und elektrische Antriebe / Mechatronics and electrical drives
type: book
user_id: '66'
year: '2023'
...
---
_id: '41813'
author:
- first_name: Ashwin Prasad
full_name: Shivarpatna Venkatesh, Ashwin Prasad
id: '66637'
last_name: Shivarpatna Venkatesh
- first_name: Jiawei
full_name: Wang, Jiawei
last_name: Wang
- first_name: Li
full_name: Li, Li
last_name: Li
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Shivarpatna Venkatesh AP, Wang J, Li L, Bodden E. Enhancing Comprehension
and Navigation in Jupyter Notebooks with Static Analysis. In: IEEE International
Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2023.'
apa: Shivarpatna Venkatesh, A. P., Wang, J., Li, L., & Bodden, E. (2023). Enhancing
Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE
International Conference on Software Analysis, Evolution and Reengineering (SANER).
bibtex: '@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing
Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, booktitle={IEEE
International Conference on Software Analysis, Evolution and Reengineering (SANER)},
author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden,
Eric}, year={2023} }'
chicago: Shivarpatna Venkatesh, Ashwin Prasad, Jiawei Wang, Li Li, and Eric Bodden.
“Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.”
In IEEE International Conference on Software Analysis, Evolution and Reengineering
(SANER), 2023.
ieee: A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension
and Navigation in Jupyter Notebooks with Static Analysis,” 2023.
mla: Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation
in Jupyter Notebooks with Static Analysis.” IEEE International Conference on
Software Analysis, Evolution and Reengineering (SANER), 2023.
short: 'A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International
Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.'
date_created: 2023-02-06T10:44:08Z
date_updated: 2023-02-06T10:46:00Z
department:
- _id: '76'
language:
- iso: eng
publication: IEEE International Conference on Software Analysis, Evolution and Reengineering
(SANER)
status: public
title: Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
type: conference
user_id: '15249'
year: '2023'
...
---
_id: '34402'
author:
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Jonas
full_name: Klauke, Jonas
id: '40915'
last_name: Klauke
orcid: 0000-0001-9160-9636
- first_name: Sebastian
full_name: Gottschalk, Sebastian
id: '47208'
last_name: Gottschalk
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Yigitbas E, Klauke J, Gottschalk S, Engels G. End-User Development of Interactive
Web-Based Virtual Reality Scenes. Journal on Computer Languages (COLA) .
Published online 2023.
apa: Yigitbas, E., Klauke, J., Gottschalk, S., & Engels, G. (2023). End-User
Development of Interactive Web-Based Virtual Reality Scenes. Journal on Computer
Languages (COLA) .
bibtex: '@article{Yigitbas_Klauke_Gottschalk_Engels_2023, title={End-User Development
of Interactive Web-Based Virtual Reality Scenes}, journal={Journal on Computer
Languages (COLA) }, publisher={Elsevier}, author={Yigitbas, Enes and Klauke, Jonas
and Gottschalk, Sebastian and Engels, Gregor}, year={2023} }'
chicago: Yigitbas, Enes, Jonas Klauke, Sebastian Gottschalk, and Gregor Engels.
“End-User Development of Interactive Web-Based Virtual Reality Scenes.” Journal
on Computer Languages (COLA) , 2023.
ieee: E. Yigitbas, J. Klauke, S. Gottschalk, and G. Engels, “End-User Development
of Interactive Web-Based Virtual Reality Scenes,” Journal on Computer Languages
(COLA) , 2023.
mla: Yigitbas, Enes, et al. “End-User Development of Interactive Web-Based Virtual
Reality Scenes.” Journal on Computer Languages (COLA) , Elsevier, 2023.
short: E. Yigitbas, J. Klauke, S. Gottschalk, G. Engels, Journal on Computer Languages
(COLA) (2023).
date_created: 2022-12-12T20:04:29Z
date_updated: 2023-02-14T10:48:12Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
publication: 'Journal on Computer Languages (COLA) '
publisher: Elsevier
status: public
title: End-User Development of Interactive Web-Based Virtual Reality Scenes
type: journal_article
user_id: '8447'
year: '2023'
...
---
_id: '33511'
author:
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Yigitbas E, Engels G. Enhancing Robot Programming through Digital Twin and
Augmented Reality . In: 56th Hawaii International Conference on System Science
(HICSS 2023) . ScholarSpace; 2023.'
apa: Yigitbas, E., & Engels, G. (2023). Enhancing Robot Programming through
Digital Twin and Augmented Reality . 56th Hawaii International Conference on
System Science (HICSS 2023) .
bibtex: '@inproceedings{Yigitbas_Engels_2023, title={Enhancing Robot Programming
through Digital Twin and Augmented Reality }, booktitle={56th Hawaii International
Conference on System Science (HICSS 2023) }, publisher={ScholarSpace}, author={Yigitbas,
Enes and Engels, Gregor}, year={2023} }'
chicago: Yigitbas, Enes, and Gregor Engels. “Enhancing Robot Programming through
Digital Twin and Augmented Reality .” In 56th Hawaii International Conference
on System Science (HICSS 2023) . ScholarSpace, 2023.
ieee: E. Yigitbas and G. Engels, “Enhancing Robot Programming through Digital Twin
and Augmented Reality ,” 2023.
mla: Yigitbas, Enes, and Gregor Engels. “Enhancing Robot Programming through Digital
Twin and Augmented Reality .” 56th Hawaii International Conference on System
Science (HICSS 2023) , ScholarSpace, 2023.
short: 'E. Yigitbas, G. Engels, in: 56th Hawaii International Conference on System
Science (HICSS 2023) , ScholarSpace, 2023.'
date_created: 2022-10-04T13:30:06Z
date_updated: 2023-02-14T10:49:19Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
publication: '56th Hawaii International Conference on System Science (HICSS 2023) '
publisher: ScholarSpace
status: public
title: 'Enhancing Robot Programming through Digital Twin and Augmented Reality '
type: conference
user_id: '8447'
year: '2023'
...
---
_id: '34401'
author:
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Sebastian
full_name: Krois, Sebastian
last_name: Krois
- first_name: Sebastian
full_name: Gottschalk, Sebastian
id: '47208'
last_name: Gottschalk
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Yigitbas E, Krois S, Gottschalk S, Engels G. Towards Enhanced Guiding Mechanisms
in VR Training through Process Mining. In: Proceedings of the 7th International
Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) .
; 2023.'
apa: Yigitbas, E., Krois, S., Gottschalk, S., & Engels, G. (2023). Towards Enhanced
Guiding Mechanisms in VR Training through Process Mining. Proceedings of the
7th International Conference on Human Computer Interaction Theory and Applications
(HUCAPP’23) .
bibtex: '@inproceedings{Yigitbas_Krois_Gottschalk_Engels_2023, title={Towards Enhanced
Guiding Mechanisms in VR Training through Process Mining}, booktitle={Proceedings
of the 7th International Conference on Human Computer Interaction Theory and Applications
(HUCAPP’23) }, author={Yigitbas, Enes and Krois, Sebastian and Gottschalk, Sebastian
and Engels, Gregor}, year={2023} }'
chicago: Yigitbas, Enes, Sebastian Krois, Sebastian Gottschalk, and Gregor Engels.
“Towards Enhanced Guiding Mechanisms in VR Training through Process Mining.” In
Proceedings of the 7th International Conference on Human Computer Interaction
Theory and Applications (HUCAPP’23) , 2023.
ieee: E. Yigitbas, S. Krois, S. Gottschalk, and G. Engels, “Towards Enhanced Guiding
Mechanisms in VR Training through Process Mining,” 2023.
mla: Yigitbas, Enes, et al. “Towards Enhanced Guiding Mechanisms in VR Training
through Process Mining.” Proceedings of the 7th International Conference on
Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.
short: 'E. Yigitbas, S. Krois, S. Gottschalk, G. Engels, in: Proceedings of the
7th International Conference on Human Computer Interaction Theory and Applications
(HUCAPP’23) , 2023.'
date_created: 2022-12-12T20:02:01Z
date_updated: 2023-02-14T10:49:40Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
publication: 'Proceedings of the 7th International Conference on Human Computer Interaction
Theory and Applications (HUCAPP''23) '
status: public
title: Towards Enhanced Guiding Mechanisms in VR Training through Process Mining
type: conference
user_id: '8447'
year: '2023'
...
---
_id: '34008'
author:
- first_name: Jannik
full_name: Castenow, Jannik
id: '38705'
last_name: Castenow
- first_name: Jonas
full_name: Harbig, Jonas
id: '47213'
last_name: Harbig
- first_name: Daniel
full_name: Jung, Daniel
id: '37827'
last_name: Jung
- first_name: Peter
full_name: Kling, Peter
last_name: Kling
- first_name: Till
full_name: Knollmann, Till
id: '39241'
last_name: Knollmann
orcid: 0000-0003-2014-4696
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Castenow J, Harbig J, Jung D, Kling P, Knollmann T, Meyer auf der Heide F.
A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited
Visibility . In: Hillel E, Palmieri R, Riviére E, eds. Proceedings of the 26th
International Conference on Principles of Distributed Systems (OPODIS) . Vol
253. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl
– Leibniz Zentrum für Informatik; 2023:15:1–15:25. doi:10.4230/LIPIcs.OPODIS.2022.15'
apa: Castenow, J., Harbig, J., Jung, D., Kling, P., Knollmann, T., & Meyer auf
der Heide, F. (2023). A Unifying Approach to Efficient (Near-)Gathering of Disoriented
Robots with Limited Visibility . In E. Hillel, R. Palmieri, & E. Riviére (Eds.),
Proceedings of the 26th International Conference on Principles of Distributed
Systems (OPODIS) (Vol. 253, p. 15:1–15:25). Schloss Dagstuhl – Leibniz Zentrum
für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2022.15
bibtex: '@inproceedings{Castenow_Harbig_Jung_Kling_Knollmann_Meyer auf der Heide_2023,
place={Brussels}, series={Leibniz International Proceedings in Informatics (LIPIcs)},
title={A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots
with Limited Visibility }, volume={253}, DOI={10.4230/LIPIcs.OPODIS.2022.15},
booktitle={Proceedings of the 26th International Conference on Principles of Distributed
Systems (OPODIS) }, publisher={Schloss Dagstuhl – Leibniz Zentrum für Informatik},
author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Kling, Peter and
Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Hillel, Eshcar and
Palmieri, Roberto and Riviére, Etienne}, year={2023}, pages={15:1–15:25}, collection={Leibniz
International Proceedings in Informatics (LIPIcs)} }'
chicago: 'Castenow, Jannik, Jonas Harbig, Daniel Jung, Peter Kling, Till Knollmann,
and Friedhelm Meyer auf der Heide. “A Unifying Approach to Efficient (Near-)Gathering
of Disoriented Robots with Limited Visibility .” In Proceedings of the 26th
International Conference on Principles of Distributed Systems (OPODIS) , edited
by Eshcar Hillel, Roberto Palmieri, and Etienne Riviére, 253:15:1–15:25. Leibniz
International Proceedings in Informatics (LIPIcs). Brussels: Schloss Dagstuhl
– Leibniz Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.OPODIS.2022.15.'
ieee: 'J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, and F. Meyer auf
der Heide, “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots
with Limited Visibility ,” in Proceedings of the 26th International Conference
on Principles of Distributed Systems (OPODIS) , Brussels, 2023, vol. 253,
p. 15:1–15:25, doi: 10.4230/LIPIcs.OPODIS.2022.15.'
mla: Castenow, Jannik, et al. “A Unifying Approach to Efficient (Near-)Gathering
of Disoriented Robots with Limited Visibility .” Proceedings of the 26th International
Conference on Principles of Distributed Systems (OPODIS) , edited by Eshcar
Hillel et al., vol. 253, Schloss Dagstuhl – Leibniz Zentrum für Informatik, 2023,
p. 15:1–15:25, doi:10.4230/LIPIcs.OPODIS.2022.15.
short: 'J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, F. Meyer auf der
Heide, in: E. Hillel, R. Palmieri, E. Riviére (Eds.), Proceedings of the 26th
International Conference on Principles of Distributed Systems (OPODIS) , Schloss
Dagstuhl – Leibniz Zentrum für Informatik, Brussels, 2023, p. 15:1–15:25.'
conference:
end_date: 2022-12-15
location: Brussels
name: 26th International Conference on Principles of Distributed Systems (OPODIS)
start_date: 2022-12-13
date_created: 2022-11-04T09:41:30Z
date_updated: 2023-02-15T14:53:12Z
department:
- _id: '63'
doi: 10.4230/LIPIcs.OPODIS.2022.15
editor:
- first_name: Eshcar
full_name: Hillel, Eshcar
last_name: Hillel
- first_name: Roberto
full_name: Palmieri, Roberto
last_name: Palmieri
- first_name: Etienne
full_name: Riviére, Etienne
last_name: Riviére
external_id:
arxiv:
- '2206.07567 '
intvolume: ' 253'
language:
- iso: eng
page: 15:1–15:25
place: Brussels
project:
- _id: '106'
name: 'Algorithmen für Schwarmrobotik: Verteiltes Rechnen trifft Dynamische Systeme'
publication: 'Proceedings of the 26th International Conference on Principles of Distributed
Systems (OPODIS) '
publication_identifier:
isbn:
- 978-3-95977-265-5
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl – Leibniz Zentrum für Informatik
series_title: Leibniz International Proceedings in Informatics (LIPIcs)
status: public
title: 'A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with
Limited Visibility '
type: conference
user_id: '38705'
volume: 253
year: '2023'
...
---
_id: '42160'
abstract:
- lang: eng
text: The goal of this paper is to make a strong point for the usage of dynamical
models when using reinforcement learning (RL) for feedback control of dynamical
systems governed by partial differential equations (PDEs). To breach the gap between
the immense promises we see in RL and the applicability in complex engineering
systems, the main challenges are the massive requirements in terms of the training
data, as well as the lack of performance guarantees. We present a solution for
the first issue using a data-driven surrogate model in the form of a convolutional
LSTM with actuation. We demonstrate that learning an actuated model in parallel
to training the RL agent significantly reduces the total amount of required data
sampled from the real system. Furthermore, we show that iteratively updating the
model is of major importance to avoid biases in the RL training. Detailed ablation
studies reveal the most important ingredients of the modeling process. We use
the chaotic Kuramoto-Sivashinsky equation do demonstarte our findings.
author:
- first_name: Stefan
full_name: Werner, Stefan
last_name: Werner
- first_name: Sebastian
full_name: Peitz, Sebastian
id: '47427'
last_name: Peitz
orcid: 0000-0002-3389-793X
citation:
ama: Werner S, Peitz S. Learning a model is paramount for sample efficiency in reinforcement
learning control of PDEs. arXiv:230207160. Published online 2023.
apa: Werner, S., & Peitz, S. (2023). Learning a model is paramount for sample
efficiency in reinforcement learning control of PDEs. In arXiv:2302.07160.
bibtex: '@article{Werner_Peitz_2023, title={Learning a model is paramount for sample
efficiency in reinforcement learning control of PDEs}, journal={arXiv:2302.07160},
author={Werner, Stefan and Peitz, Sebastian}, year={2023} }'
chicago: Werner, Stefan, and Sebastian Peitz. “Learning a Model Is Paramount for
Sample Efficiency in Reinforcement Learning Control of PDEs.” ArXiv:2302.07160,
2023.
ieee: S. Werner and S. Peitz, “Learning a model is paramount for sample efficiency
in reinforcement learning control of PDEs,” arXiv:2302.07160. 2023.
mla: Werner, Stefan, and Sebastian Peitz. “Learning a Model Is Paramount for Sample
Efficiency in Reinforcement Learning Control of PDEs.” ArXiv:2302.07160,
2023.
short: S. Werner, S. Peitz, ArXiv:2302.07160 (2023).
date_created: 2023-02-15T20:57:20Z
date_updated: 2023-02-15T20:58:33Z
department:
- _id: '655'
external_id:
arxiv:
- '2302.07160'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/pdf/2302.07160
oa: '1'
publication: arXiv:2302.07160
status: public
title: Learning a model is paramount for sample efficiency in reinforcement learning
control of PDEs
type: preprint
user_id: '47427'
year: '2023'
...
---
_id: '34814'
article_type: original
author:
- first_name: Maximilian
full_name: Hanusch, Maximilian
id: '30905'
last_name: Hanusch
citation:
ama: Hanusch M. A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus.
Canadian Journal of Mathematics. 2023;75(1):170-201. doi:10.4153/s0008414x21000596
apa: Hanusch, M. (2023). A $C^k$-seeley-extension-theorem for Bastiani’s differential
calculus. Canadian Journal of Mathematics, 75(1), 170–201. https://doi.org/10.4153/s0008414x21000596
bibtex: '@article{Hanusch_2023, title={A $C^k$-seeley-extension-theorem for Bastiani’s
differential calculus}, volume={75}, DOI={10.4153/s0008414x21000596},
number={1}, journal={Canadian Journal of Mathematics}, publisher={Canadian Mathematical
Society}, author={Hanusch, Maximilian}, year={2023}, pages={170–201} }'
chicago: 'Hanusch, Maximilian. “A $C^k$-Seeley-Extension-Theorem for Bastiani’s
Differential Calculus.” Canadian Journal of Mathematics 75, no. 1 (2023):
170–201. https://doi.org/10.4153/s0008414x21000596.'
ieee: 'M. Hanusch, “A $C^k$-seeley-extension-theorem for Bastiani’s differential
calculus,” Canadian Journal of Mathematics, vol. 75, no. 1, pp. 170–201,
2023, doi: 10.4153/s0008414x21000596.'
mla: Hanusch, Maximilian. “A $C^k$-Seeley-Extension-Theorem for Bastiani’s Differential
Calculus.” Canadian Journal of Mathematics, vol. 75, no. 1, Canadian Mathematical
Society, 2023, pp. 170–201, doi:10.4153/s0008414x21000596.
short: M. Hanusch, Canadian Journal of Mathematics 75 (2023) 170–201.
date_created: 2022-12-22T09:16:48Z
date_updated: 2023-02-22T11:38:32Z
department:
- _id: '93'
doi: 10.4153/s0008414x21000596
intvolume: ' 75'
issue: '1'
keyword:
- extension of differentiable maps
language:
- iso: eng
page: 170-201
project:
- _id: '161'
name: 'RegLie: Regularität von Lie-Gruppen und Lie''s Dritter Satz (RegLie)'
publication: Canadian Journal of Mathematics
publication_identifier:
issn:
- 0008-414X
- 1496-4279
publication_status: published
publisher: Canadian Mathematical Society
status: public
title: A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus
type: journal_article
user_id: '30905'
volume: 75
year: '2023'
...
---
_id: '31872'
abstract:
- lang: eng
text: "Savitch's theorem states that NPSPACE computations can be simulated in\r\nPSPACE.
We initiate the study of a quantum analogue of NPSPACE, denoted\r\nStreaming-QCMASPACE
(SQCMASPACE), where an exponentially long classical proof\r\nis streamed to a
poly-space quantum verifier. Besides two main results, we also\r\nshow that a
quantum analogue of Savitch's theorem is unlikely to hold, as\r\nSQCMASPACE=NEXP.
For completeness, we introduce Streaming-QMASPACE (SQMASPACE)\r\nwith an exponentially
long streamed quantum proof, and show SQMASPACE=QMA_EXP\r\n(quantum analogue of
NEXP). Our first main result shows, in contrast to the\r\nclassical setting, the
solution space of a quantum constraint satisfaction\r\nproblem (i.e. a local Hamiltonian)
is always connected when exponentially long\r\nproofs are permitted. For this,
we show how to simulate any Lipschitz\r\ncontinuous path on the unit hypersphere
via a sequence of local unitary gates,\r\nat the expense of blowing up the circuit
size. This shows quantum\r\nerror-correcting codes can be unable to detect one
codeword erroneously\r\nevolving to another if the evolution happens sufficiently
slowly, and answers\r\nan open question of [Gharibian, Sikora, ICALP 2015] regarding
the Ground State\r\nConnectivity problem. Our second main result is that any SQCMASPACE
computation\r\ncan be embedded into \"unentanglement\", i.e. into a quantum constraint\r\nsatisfaction
problem with unentangled provers. Formally, we show how to embed\r\nSQCMASPACE
into the Sparse Separable Hamiltonian problem of [Chailloux,\r\nSattath, CCC 2012]
(QMA(2)-complete for 1/poly promise gap), at the expense of\r\nscaling the promise
gap with the streamed proof size. As a corollary, we obtain\r\nthe first systematic
construction for obtaining QMA(2)-type upper bounds on\r\narbitrary multi-prover
interactive proof systems, where the QMA(2) promise gap\r\nscales exponentially
with the number of bits of communication in the\r\ninteractive proof."
author:
- first_name: Sevag
full_name: Gharibian, Sevag
id: '71541'
last_name: Gharibian
orcid: 0000-0002-9992-3379
- first_name: Dorian
full_name: Rudolph, Dorian
last_name: Rudolph
citation:
ama: 'Gharibian S, Rudolph D. Quantum space, ground space traversal, and how to
embed multi-prover interactive proofs into unentanglement. In: 14th Innovations
in Theoretical Computer Science (ITCS). Vol 251. ; 2023:53:1-53:23. doi:10.4230/LIPIcs.ITCS.2023.53'
apa: Gharibian, S., & Rudolph, D. (2023). Quantum space, ground space traversal,
and how to embed multi-prover interactive proofs into unentanglement. 14th
Innovations in Theoretical Computer Science (ITCS), 251, 53:1-53:23.
https://doi.org/10.4230/LIPIcs.ITCS.2023.53
bibtex: '@inproceedings{Gharibian_Rudolph_2023, title={Quantum space, ground space
traversal, and how to embed multi-prover interactive proofs into unentanglement},
volume={251}, DOI={10.4230/LIPIcs.ITCS.2023.53},
booktitle={14th Innovations in Theoretical Computer Science (ITCS)}, author={Gharibian,
Sevag and Rudolph, Dorian}, year={2023}, pages={53:1-53:23} }'
chicago: Gharibian, Sevag, and Dorian Rudolph. “Quantum Space, Ground Space Traversal,
and How to Embed Multi-Prover Interactive Proofs into Unentanglement.” In 14th
Innovations in Theoretical Computer Science (ITCS), 251:53:1-53:23, 2023.
https://doi.org/10.4230/LIPIcs.ITCS.2023.53.
ieee: 'S. Gharibian and D. Rudolph, “Quantum space, ground space traversal, and
how to embed multi-prover interactive proofs into unentanglement,” in 14th
Innovations in Theoretical Computer Science (ITCS), 2023, vol. 251, p. 53:1-53:23,
doi: 10.4230/LIPIcs.ITCS.2023.53.'
mla: Gharibian, Sevag, and Dorian Rudolph. “Quantum Space, Ground Space Traversal,
and How to Embed Multi-Prover Interactive Proofs into Unentanglement.” 14th
Innovations in Theoretical Computer Science (ITCS), vol. 251, 2023, p. 53:1-53:23,
doi:10.4230/LIPIcs.ITCS.2023.53.
short: 'S. Gharibian, D. Rudolph, in: 14th Innovations in Theoretical Computer Science
(ITCS), 2023, p. 53:1-53:23.'
date_created: 2022-06-13T14:40:46Z
date_updated: 2023-02-28T11:06:55Z
department:
- _id: '623'
- _id: '7'
doi: 10.4230/LIPIcs.ITCS.2023.53
external_id:
arxiv:
- '2206.05243'
intvolume: ' 251'
language:
- iso: eng
page: 53:1-53:23
publication: 14th Innovations in Theoretical Computer Science (ITCS)
publication_status: published
status: public
title: Quantum space, ground space traversal, and how to embed multi-prover interactive
proofs into unentanglement
type: conference
user_id: '71541'
volume: 251
year: '2023'
...
---
_id: '27426'
abstract:
- lang: eng
text: "Regularization is used in many different areas of optimization when solutions\r\nare
sought which not only minimize a given function, but also possess a certain\r\ndegree
of regularity. Popular applications are image denoising, sparse\r\nregression
and machine learning. Since the choice of the regularization\r\nparameter is crucial
but often difficult, path-following methods are used to\r\napproximate the entire
regularization path, i.e., the set of all possible\r\nsolutions for all regularization
parameters. Due to their nature, the\r\ndevelopment of these methods requires
structural results about the\r\nregularization path. The goal of this article
is to derive these results for\r\nthe case of a smooth objective function which
is penalized by a piecewise\r\ndifferentiable regularization term. We do this
by treating regularization as a\r\nmultiobjective optimization problem. Our results
suggest that even in this\r\ngeneral case, the regularization path is piecewise
smooth. Moreover, our theory\r\nallows for a classification of the nonsmooth features
that occur in between\r\nsmooth parts. This is demonstrated in two applications,
namely support-vector\r\nmachines and exact penalty methods."
author:
- first_name: Bennet
full_name: Gebken, Bennet
id: '32643'
last_name: Gebken
- first_name: Katharina
full_name: Bieker, Katharina
id: '32829'
last_name: Bieker
- first_name: Sebastian
full_name: Peitz, Sebastian
id: '47427'
last_name: Peitz
orcid: 0000-0002-3389-793X
citation:
ama: Gebken B, Bieker K, Peitz S. On the structure of regularization paths for piecewise
differentiable regularization terms. Journal of Global Optimization. 2023;85(3):709-741.
doi:10.1007/s10898-022-01223-2
apa: Gebken, B., Bieker, K., & Peitz, S. (2023). On the structure of regularization
paths for piecewise differentiable regularization terms. Journal of Global
Optimization, 85(3), 709–741. https://doi.org/10.1007/s10898-022-01223-2
bibtex: '@article{Gebken_Bieker_Peitz_2023, title={On the structure of regularization
paths for piecewise differentiable regularization terms}, volume={85}, DOI={10.1007/s10898-022-01223-2},
number={3}, journal={Journal of Global Optimization}, author={Gebken, Bennet and
Bieker, Katharina and Peitz, Sebastian}, year={2023}, pages={709–741} }'
chicago: 'Gebken, Bennet, Katharina Bieker, and Sebastian Peitz. “On the Structure
of Regularization Paths for Piecewise Differentiable Regularization Terms.” Journal
of Global Optimization 85, no. 3 (2023): 709–41. https://doi.org/10.1007/s10898-022-01223-2.'
ieee: 'B. Gebken, K. Bieker, and S. Peitz, “On the structure of regularization paths
for piecewise differentiable regularization terms,” Journal of Global Optimization,
vol. 85, no. 3, pp. 709–741, 2023, doi: 10.1007/s10898-022-01223-2.'
mla: Gebken, Bennet, et al. “On the Structure of Regularization Paths for Piecewise
Differentiable Regularization Terms.” Journal of Global Optimization, vol.
85, no. 3, 2023, pp. 709–41, doi:10.1007/s10898-022-01223-2.
short: B. Gebken, K. Bieker, S. Peitz, Journal of Global Optimization 85 (2023)
709–741.
date_created: 2021-11-15T09:24:59Z
date_updated: 2023-03-11T17:16:33Z
department:
- _id: '101'
- _id: '655'
doi: 10.1007/s10898-022-01223-2
intvolume: ' 85'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://link.springer.com/content/pdf/10.1007/s10898-022-01223-2.pdf
oa: '1'
page: 709-741
publication: Journal of Global Optimization
status: public
title: On the structure of regularization paths for piecewise differentiable regularization
terms
type: journal_article
user_id: '47427'
volume: 85
year: '2023'
...
---
_id: '43018'
article_number: '108557'
author:
- first_name: Samer
full_name: Alhaddad, Samer
id: '42456'
last_name: Alhaddad
- first_name: Jens
full_name: Förstner, Jens
id: '158'
last_name: Förstner
orcid: 0000-0001-7059-9862
- first_name: Yevgen
full_name: Grynko, Yevgen
id: '26059'
last_name: Grynko
citation:
ama: Alhaddad S, Förstner J, Grynko Y. Numerical study of light backscattering from
layers of absorbing irregular particles larger than the wavelength. Journal
of Quantitative Spectroscopy and Radiative Transfer. 2023;302. doi:10.1016/j.jqsrt.2023.108557
apa: Alhaddad, S., Förstner, J., & Grynko, Y. (2023). Numerical study of light
backscattering from layers of absorbing irregular particles larger than the wavelength.
Journal of Quantitative Spectroscopy and Radiative Transfer, 302,
Article 108557. https://doi.org/10.1016/j.jqsrt.2023.108557
bibtex: '@article{Alhaddad_Förstner_Grynko_2023, title={Numerical study of light
backscattering from layers of absorbing irregular particles larger than the wavelength},
volume={302}, DOI={10.1016/j.jqsrt.2023.108557},
number={108557}, journal={Journal of Quantitative Spectroscopy and Radiative Transfer},
publisher={Elsevier BV}, author={Alhaddad, Samer and Förstner, Jens and Grynko,
Yevgen}, year={2023} }'
chicago: Alhaddad, Samer, Jens Förstner, and Yevgen Grynko. “Numerical Study of
Light Backscattering from Layers of Absorbing Irregular Particles Larger than
the Wavelength.” Journal of Quantitative Spectroscopy and Radiative Transfer
302 (2023). https://doi.org/10.1016/j.jqsrt.2023.108557.
ieee: 'S. Alhaddad, J. Förstner, and Y. Grynko, “Numerical study of light backscattering
from layers of absorbing irregular particles larger than the wavelength,” Journal
of Quantitative Spectroscopy and Radiative Transfer, vol. 302, Art. no. 108557,
2023, doi: 10.1016/j.jqsrt.2023.108557.'
mla: Alhaddad, Samer, et al. “Numerical Study of Light Backscattering from Layers
of Absorbing Irregular Particles Larger than the Wavelength.” Journal of Quantitative
Spectroscopy and Radiative Transfer, vol. 302, 108557, Elsevier BV, 2023,
doi:10.1016/j.jqsrt.2023.108557.
short: S. Alhaddad, J. Förstner, Y. Grynko, Journal of Quantitative Spectroscopy
and Radiative Transfer 302 (2023).
date_created: 2023-03-14T12:32:54Z
date_updated: 2023-03-15T17:36:13Z
ddc:
- '530'
department:
- _id: '61'
doi: 10.1016/j.jqsrt.2023.108557
file:
- access_level: local
content_type: application/pdf
creator: fossie
date_created: 2023-03-15T15:58:15Z
date_updated: 2023-03-15T15:58:15Z
file_id: '43028'
file_name: 2023-03 Alhaddad - JQSRT - Numerical study of light backscattering from
layers of absorbing particles larger than the wavelength.pdf
file_size: 1508833
relation: main_file
- access_level: open_access
content_type: application/pdf
creator: fossie
date_created: 2023-03-15T17:35:29Z
date_updated: 2023-03-15T17:35:29Z
file_id: '43029'
file_name: 2023-03 Alhaddad - JQSRT - Numerical study of light backscattering from
layers of absorbing particles larger than the wavelength (accepted manuscript).pdf
file_size: 4254386
relation: main_file
file_date_updated: 2023-03-15T17:35:29Z
has_accepted_license: '1'
intvolume: ' 302'
keyword:
- tet_topic_scattering
language:
- iso: eng
oa: '1'
project:
- _id: '52'
name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing'
publication: Journal of Quantitative Spectroscopy and Radiative Transfer
publication_identifier:
issn:
- 0022-4073
publication_status: published
publisher: Elsevier BV
status: public
title: Numerical study of light backscattering from layers of absorbing irregular
particles larger than the wavelength
type: journal_article
user_id: '158'
volume: 302
year: '2023'
...
---
_id: '31849'
author:
- first_name: Max
full_name: Hoffmann, Max
id: '32202'
last_name: Hoffmann
orcid: 0000-0002-6964-7123
- first_name: Rolf
full_name: Biehler, Rolf
id: '16274'
last_name: Biehler
citation:
ama: 'Hoffmann M, Biehler R. Student Teachers ’ Knowledge of Congruence before a
University Course on Geometry. In: Trigueros M, Barquero B, Hochmuth R, Peters
J, eds. Proceedings of the Fourth Conference of the International Network for
Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022).
University of Hannover and INDRUM.; 2023.'
apa: Hoffmann, M., & Biehler, R. (2023). Student Teachers ’ Knowledge of Congruence
before a University Course on Geometry. In M. Trigueros, B. Barquero, R. Hochmuth,
& J. Peters (Eds.), Proceedings of the Fourth Conference of the International
Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October
2022). University of Hannover and INDRUM.
bibtex: '@inproceedings{Hoffmann_Biehler_2023, place={Hannover}, title={Student
Teachers ’ Knowledge of Congruence before a University Course on Geometry}, booktitle={Proceedings
of the Fourth Conference of the International Network for Didactic Research in
University Mathematics (INDRUM 2022, 19-22 October 2022)}, publisher={University
of Hannover and INDRUM.}, author={Hoffmann, Max and Biehler, Rolf}, editor={Trigueros,
Marı́a and Barquero, Berta and Hochmuth, Reinhard and Peters, Jana}, year={2023}
}'
chicago: 'Hoffmann, Max, and Rolf Biehler. “Student Teachers ’ Knowledge of Congruence
before a University Course on Geometry.” In Proceedings of the Fourth Conference
of the International Network for Didactic Research in University Mathematics (INDRUM
2022, 19-22 October 2022), edited by Marı́a Trigueros, Berta Barquero, Reinhard
Hochmuth, and Jana Peters. Hannover: University of Hannover and INDRUM., 2023.'
ieee: M. Hoffmann and R. Biehler, “Student Teachers ’ Knowledge of Congruence before
a University Course on Geometry,” in Proceedings of the Fourth Conference of
the International Network for Didactic Research in University Mathematics (INDRUM
2022, 19-22 October 2022), 2023.
mla: Hoffmann, Max, and Rolf Biehler. “Student Teachers ’ Knowledge of Congruence
before a University Course on Geometry.” Proceedings of the Fourth Conference
of the International Network for Didactic Research in University Mathematics (INDRUM
2022, 19-22 October 2022), edited by Marı́a Trigueros et al., University of
Hannover and INDRUM., 2023.
short: 'M. Hoffmann, R. Biehler, in: M. Trigueros, B. Barquero, R. Hochmuth, J.
Peters (Eds.), Proceedings of the Fourth Conference of the International Network
for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022),
University of Hannover and INDRUM., Hannover, 2023.'
date_created: 2022-06-12T11:07:34Z
date_updated: 2023-03-25T10:11:35Z
ddc:
- '370'
- '510'
department:
- _id: '97'
editor:
- first_name: Marı́a
full_name: Trigueros, Marı́a
last_name: Trigueros
- first_name: Berta
full_name: Barquero, Berta
last_name: Barquero
- first_name: Reinhard
full_name: Hochmuth, Reinhard
last_name: Hochmuth
- first_name: Jana
full_name: Peters, Jana
last_name: Peters
file:
- access_level: closed
content_type: application/pdf
creator: maxh
date_created: 2023-03-25T10:01:03Z
date_updated: 2023-03-25T10:01:03Z
file_id: '43096'
file_name: HoffmannBiehler2022_indrum_congruence.pdf
file_size: 201942
relation: main_file
success: 1
file_date_updated: 2023-03-25T10:01:03Z
has_accepted_license: '1'
keyword:
- Teaching and learning of specific topics in university mathematics
- Transition to
- across and from university mathematics
- Student Teachers
- Geometry
- Congruence
- Double Discontinuity.
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hal.univ-reims.fr/INDRUM2022/
oa: '1'
place: Hannover
publication: Proceedings of the Fourth Conference of the International Network for
Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)
publication_status: published
publisher: University of Hannover and INDRUM.
quality_controlled: '1'
status: public
title: Student Teachers ’ Knowledge of Congruence before a University Course on Geometry
type: conference
user_id: '32202'
year: '2023'
...
---
_id: '43097'
author:
- first_name: Ignasio
full_name: Florensa, Ignasio
last_name: Florensa
- first_name: Max
full_name: Hoffmann, Max
id: '32202'
last_name: Hoffmann
orcid: 0000-0002-6964-7123
- first_name: Avenilde
full_name: Romo Vázquez, Avenilde
last_name: Romo Vázquez
- first_name: Michelle
full_name: Zandieh, Michelle
last_name: Zandieh
- first_name: Rafael
full_name: Martínez-Planell, Rafael
last_name: Martínez-Planell
citation:
ama: 'Florensa I, Hoffmann M, Romo Vázquez A, Zandieh M, Martínez-Planell R. Innovations
in university teaching based on mathematic education research. In: Trigueros M,
Barquero B, Hochmuth R, Peters J, eds. Proceedings of the Fourth Conference
of the International Network for Didactic Research in University Mathematics (INDRUM
2022, 19-22 October 2022). ; 2023.'
apa: Florensa, I., Hoffmann, M., Romo Vázquez, A., Zandieh, M., & Martínez-Planell,
R. (2023). Innovations in university teaching based on mathematic education research.
In M. Trigueros, B. Barquero, R. Hochmuth, & J. Peters (Eds.), Proceedings
of the Fourth Conference of the International Network for Didactic Research in
University Mathematics (INDRUM 2022, 19-22 October 2022).
bibtex: '@inproceedings{Florensa_Hoffmann_Romo Vázquez_Zandieh_Martínez-Planell_2023,
place={Hannover}, title={Innovations in university teaching based on mathematic
education research}, booktitle={Proceedings of the Fourth Conference of the International
Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October
2022)}, author={Florensa, Ignasio and Hoffmann, Max and Romo Vázquez, Avenilde
and Zandieh, Michelle and Martínez-Planell, Rafael}, editor={Trigueros, Marı́a
and Barquero, Berta and Hochmuth, Reinhard and Peters, Jana}, year={2023} }'
chicago: Florensa, Ignasio, Max Hoffmann, Avenilde Romo Vázquez, Michelle Zandieh,
and Rafael Martínez-Planell. “Innovations in University Teaching Based on Mathematic
Education Research.” In Proceedings of the Fourth Conference of the International
Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October
2022), edited by Marı́a Trigueros, Berta Barquero, Reinhard Hochmuth, and
Jana Peters. Hannover, 2023.
ieee: I. Florensa, M. Hoffmann, A. Romo Vázquez, M. Zandieh, and R. Martínez-Planell,
“Innovations in university teaching based on mathematic education research,” in
Proceedings of the Fourth Conference of the International Network for Didactic
Research in University Mathematics (INDRUM 2022, 19-22 October 2022), 2023.
mla: Florensa, Ignasio, et al. “Innovations in University Teaching Based on Mathematic
Education Research.” Proceedings of the Fourth Conference of the International
Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October
2022), edited by Marı́a Trigueros et al., 2023.
short: 'I. Florensa, M. Hoffmann, A. Romo Vázquez, M. Zandieh, R. Martínez-Planell,
in: M. Trigueros, B. Barquero, R. Hochmuth, J. Peters (Eds.), Proceedings of the
Fourth Conference of the International Network for Didactic Research in University
Mathematics (INDRUM 2022, 19-22 October 2022), Hannover, 2023.'
date_created: 2023-03-25T10:09:06Z
date_updated: 2023-03-25T10:10:58Z
ddc:
- '370'
- '510'
department:
- _id: '97'
editor:
- first_name: Marı́a
full_name: Trigueros, Marı́a
last_name: Trigueros
- first_name: Berta
full_name: Barquero, Berta
last_name: Barquero
- first_name: Reinhard
full_name: Hochmuth, Reinhard
last_name: Hochmuth
- first_name: Jana
full_name: Peters, Jana
last_name: Peters
file:
- access_level: closed
content_type: application/pdf
creator: maxh
date_created: 2023-03-25T10:07:54Z
date_updated: 2023-03-25T10:07:54Z
file_id: '43098'
file_name: 2022_FlorensaEtAl_indrum_panelInnovations.pdf
file_size: 642388
relation: main_file
success: 1
file_date_updated: 2023-03-25T10:07:54Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hal.univ-reims.fr/INDRUM2022/
oa: '1'
place: Hannover
publication: Proceedings of the Fourth Conference of the International Network for
Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)
quality_controlled: '1'
status: public
title: Innovations in university teaching based on mathematic education research
type: conference
user_id: '32202'
year: '2023'
...
---
_id: '43109'
author:
- first_name: Thorsten
full_name: Götte, Thorsten
id: '34727'
last_name: Götte
- first_name: Christina
full_name: Kolb, Christina
last_name: Kolb
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Julian
full_name: Werthmann, Julian
id: '50024'
last_name: Werthmann
citation:
ama: 'Götte T, Kolb C, Scheideler C, Werthmann J. Beep-and-Sleep: Message and Energy
Efficient Set Cover. Theor Comput Sci. 2023;950:113756. doi:10.1016/j.tcs.2023.113756'
apa: 'Götte, T., Kolb, C., Scheideler, C., & Werthmann, J. (2023). Beep-and-Sleep:
Message and Energy Efficient Set Cover. Theor. Comput. Sci., 950,
113756. https://doi.org/10.1016/j.tcs.2023.113756'
bibtex: '@article{Götte_Kolb_Scheideler_Werthmann_2023, title={Beep-and-Sleep: Message
and Energy Efficient Set Cover}, volume={950}, DOI={10.1016/j.tcs.2023.113756},
journal={Theor. Comput. Sci.}, author={Götte, Thorsten and Kolb, Christina and
Scheideler, Christian and Werthmann, Julian}, year={2023}, pages={113756} }'
chicago: 'Götte, Thorsten, Christina Kolb, Christian Scheideler, and Julian Werthmann.
“Beep-and-Sleep: Message and Energy Efficient Set Cover.” Theor. Comput. Sci.
950 (2023): 113756. https://doi.org/10.1016/j.tcs.2023.113756.'
ieee: 'T. Götte, C. Kolb, C. Scheideler, and J. Werthmann, “Beep-and-Sleep: Message
and Energy Efficient Set Cover,” Theor. Comput. Sci., vol. 950, p. 113756,
2023, doi: 10.1016/j.tcs.2023.113756.'
mla: 'Götte, Thorsten, et al. “Beep-and-Sleep: Message and Energy Efficient Set
Cover.” Theor. Comput. Sci., vol. 950, 2023, p. 113756, doi:10.1016/j.tcs.2023.113756.'
short: T. Götte, C. Kolb, C. Scheideler, J. Werthmann, Theor. Comput. Sci. 950 (2023)
113756.
date_created: 2023-03-27T07:45:44Z
date_updated: 2023-03-27T09:55:04Z
department:
- _id: '79'
doi: 10.1016/j.tcs.2023.113756
intvolume: ' 950'
language:
- iso: eng
page: '113756'
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '2'
name: 'SFB 901 - A: SFB 901 - Project Area A'
- _id: '5'
name: 'SFB 901 - A1: SFB 901 - Subproject A1'
publication: Theor. Comput. Sci.
status: public
title: 'Beep-and-Sleep: Message and Energy Efficient Set Cover'
type: journal_article
user_id: '15504'
volume: 950
year: '2023'
...
---
_id: '43424'
author:
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Alexander
full_name: Nowosad, Alexander
last_name: Nowosad
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Yigitbas E, Nowosad A, Engels G. Supporting Construction and Architectural
Visualization through BIM and AR/VR: A Systematic Literature Review. In: Proceedings
of the 19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT
2023). Springer; 2023.'
apa: 'Yigitbas, E., Nowosad, A., & Engels, G. (2023). Supporting Construction
and Architectural Visualization through BIM and AR/VR: A Systematic Literature
Review. Proceedings of the 19th IFIP TC13 International Conference on Human-Computer
Interaction (INTERACT 2023).'
bibtex: '@inproceedings{Yigitbas_Nowosad_Engels_2023, title={Supporting Construction
and Architectural Visualization through BIM and AR/VR: A Systematic Literature
Review}, booktitle={Proceedings of the 19th IFIP TC13 International Conference
on Human-Computer Interaction (INTERACT 2023)}, publisher={Springer}, author={Yigitbas,
Enes and Nowosad, Alexander and Engels, Gregor}, year={2023} }'
chicago: 'Yigitbas, Enes, Alexander Nowosad, and Gregor Engels. “Supporting Construction
and Architectural Visualization through BIM and AR/VR: A Systematic Literature
Review.” In Proceedings of the 19th IFIP TC13 International Conference on Human-Computer
Interaction (INTERACT 2023). Springer, 2023.'
ieee: 'E. Yigitbas, A. Nowosad, and G. Engels, “Supporting Construction and Architectural
Visualization through BIM and AR/VR: A Systematic Literature Review,” 2023.'
mla: 'Yigitbas, Enes, et al. “Supporting Construction and Architectural Visualization
through BIM and AR/VR: A Systematic Literature Review.” Proceedings of the
19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT
2023), Springer, 2023.'
short: 'E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 19th IFIP TC13
International Conference on Human-Computer Interaction (INTERACT 2023), Springer,
2023.'
date_created: 2023-04-06T07:26:07Z
date_updated: 2023-04-06T07:26:55Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
publication: Proceedings of the 19th IFIP TC13 International Conference on Human-Computer
Interaction (INTERACT 2023)
publisher: Springer
status: public
title: 'Supporting Construction and Architectural Visualization through BIM and AR/VR:
A Systematic Literature Review'
type: conference
user_id: '8447'
year: '2023'
...