---
_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: '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: '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: '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'
...
---
_id: '30125'
abstract:
- lang: eng
text: We present an approach for guaranteed constraint satisfaction by means of
data-based optimal control, where the model is unknown and has to be obtained
from measurement data. To this end, we utilize the Koopman framework and an eDMD-based
bilinear surrogate modeling approach for control systems to show an error bound
on predicted observables, i.e., functions of the state. This result is then applied
to the constraints of the optimal control problem to show that satisfaction of
tightened constraints in the purely data-based surrogate model implies constraint
satisfaction for the original system.
author:
- first_name: Manuel
full_name: Schaller, Manuel
last_name: Schaller
- first_name: Karl
full_name: Worthmann, Karl
last_name: Worthmann
- first_name: Friedrich
full_name: Philipp, Friedrich
last_name: Philipp
- first_name: Sebastian
full_name: Peitz, Sebastian
id: '47427'
last_name: Peitz
orcid: 0000-0002-3389-793X
- first_name: Feliks
full_name: Nüske, Feliks
id: '81513'
last_name: Nüske
orcid: 0000-0003-2444-7889
citation:
ama: 'Schaller M, Worthmann K, Philipp F, Peitz S, Nüske F. Towards reliable data-based
optimal and predictive control using extended DMD. In: IFAC-PapersOnLine.
Vol 56. ; 2023:169-174. doi:10.1016/j.ifacol.2023.02.029'
apa: Schaller, M., Worthmann, K., Philipp, F., Peitz, S., & Nüske, F. (2023).
Towards reliable data-based optimal and predictive control using extended DMD.
IFAC-PapersOnLine, 56(1), 169–174. https://doi.org/10.1016/j.ifacol.2023.02.029
bibtex: '@inproceedings{Schaller_Worthmann_Philipp_Peitz_Nüske_2023, title={Towards
reliable data-based optimal and predictive control using extended DMD}, volume={56},
DOI={10.1016/j.ifacol.2023.02.029},
number={1}, booktitle={IFAC-PapersOnLine}, author={Schaller, Manuel and Worthmann,
Karl and Philipp, Friedrich and Peitz, Sebastian and Nüske, Feliks}, year={2023},
pages={169–174} }'
chicago: Schaller, Manuel, Karl Worthmann, Friedrich Philipp, Sebastian Peitz, and
Feliks Nüske. “Towards Reliable Data-Based Optimal and Predictive Control Using
Extended DMD.” In IFAC-PapersOnLine, 56:169–74, 2023. https://doi.org/10.1016/j.ifacol.2023.02.029.
ieee: 'M. Schaller, K. Worthmann, F. Philipp, S. Peitz, and F. Nüske, “Towards reliable
data-based optimal and predictive control using extended DMD,” in IFAC-PapersOnLine,
2023, vol. 56, no. 1, pp. 169–174, doi: 10.1016/j.ifacol.2023.02.029.'
mla: Schaller, Manuel, et al. “Towards Reliable Data-Based Optimal and Predictive
Control Using Extended DMD.” IFAC-PapersOnLine, vol. 56, no. 1, 2023, pp.
169–74, doi:10.1016/j.ifacol.2023.02.029.
short: 'M. Schaller, K. Worthmann, F. Philipp, S. Peitz, F. Nüske, in: IFAC-PapersOnLine,
2023, pp. 169–174.'
conference:
name: 12th IFAC Symposium on Nonlinear Control Systems (NOLCOS)
date_created: 2022-02-25T17:14:58Z
date_updated: 2023-03-17T15:55:33Z
department:
- _id: '655'
doi: 10.1016/j.ifacol.2023.02.029
external_id:
arxiv:
- '2202.09084'
intvolume: ' 56'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/S2405896323002173/pdf?md5=164ee9a0343a1bd0e0b9ac4187e44b77&pid=1-s2.0-S2405896323002173-main.pdf
oa: '1'
page: 169-174
publication: IFAC-PapersOnLine
publication_status: published
status: public
title: Towards reliable data-based optimal and predictive control using extended DMD
type: conference
user_id: '47427'
volume: 56
year: '2023'
...
---
_id: '44077'
author:
- first_name: Marten
full_name: Maack, Marten
last_name: Maack
citation:
ama: Maack M. Online load balancing on uniform machines with limited migration.
Operations Research Letters. 2023;51(3):220-225. doi:10.1016/j.orl.2023.02.013
apa: Maack, M. (2023). Online load balancing on uniform machines with limited migration.
Operations Research Letters, 51(3), 220–225. https://doi.org/10.1016/j.orl.2023.02.013
bibtex: '@article{Maack_2023, title={Online load balancing on uniform machines with
limited migration}, volume={51}, DOI={10.1016/j.orl.2023.02.013},
number={3}, journal={Operations Research Letters}, publisher={Elsevier BV}, author={Maack,
Marten}, year={2023}, pages={220–225} }'
chicago: 'Maack, Marten. “Online Load Balancing on Uniform Machines with Limited
Migration.” Operations Research Letters 51, no. 3 (2023): 220–25. https://doi.org/10.1016/j.orl.2023.02.013.'
ieee: 'M. Maack, “Online load balancing on uniform machines with limited migration,”
Operations Research Letters, vol. 51, no. 3, pp. 220–225, 2023, doi: 10.1016/j.orl.2023.02.013.'
mla: Maack, Marten. “Online Load Balancing on Uniform Machines with Limited Migration.”
Operations Research Letters, vol. 51, no. 3, Elsevier BV, 2023, pp. 220–25,
doi:10.1016/j.orl.2023.02.013.
short: M. Maack, Operations Research Letters 51 (2023) 220–225.
date_created: 2023-04-20T08:59:14Z
date_updated: 2023-04-21T07:53:42Z
department:
- _id: '63'
doi: 10.1016/j.orl.2023.02.013
intvolume: ' 51'
issue: '3'
keyword:
- Applied Mathematics
- Industrial and Manufacturing Engineering
- Management Science and Operations Research
- Software
language:
- iso: eng
page: 220-225
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '16'
name: 'SFB 901 - C4: SFB 901 - Subproject C4'
publication: Operations Research Letters
publication_identifier:
issn:
- 0167-6377
publisher: Elsevier BV
status: public
title: Online load balancing on uniform machines with limited migration
type: journal_article
user_id: '88252'
volume: 51
year: '2023'
...
---
_id: '43374'
author:
- first_name: Patrick
full_name: Schürmann, Patrick
last_name: Schürmann
citation:
ama: Schürmann P. A Formal Comparison of Advanced Digital Signature Primitives.;
2023.
apa: Schürmann, P. (2023). A Formal Comparison of Advanced Digital Signature
Primitives.
bibtex: '@book{Schürmann_2023, title={ A Formal Comparison of Advanced Digital Signature
Primitives}, author={Schürmann, Patrick}, year={2023} }'
chicago: Schürmann, Patrick. A Formal Comparison of Advanced Digital Signature
Primitives, 2023.
ieee: P. Schürmann, A Formal Comparison of Advanced Digital Signature Primitives.
2023.
mla: Schürmann, Patrick. A Formal Comparison of Advanced Digital Signature Primitives.
2023.
short: P. Schürmann, A Formal Comparison of Advanced Digital Signature Primitives,
2023.
date_created: 2023-04-03T14:07:32Z
date_updated: 2023-04-25T22:43:21Z
ddc:
- '000'
department:
- _id: '64'
file:
- access_level: open_access
content_type: application/pdf
creator: bhenrik
date_created: 2023-04-25T10:49:36Z
date_updated: 2023-04-25T10:49:36Z
file_id: '44177'
file_name: masters_thesis_schuermann.pdf
file_size: 1367369
relation: main_file
title: ' A Formal Comparison of Advanced Digital Signature Primitives'
file_date_updated: 2023-04-25T10:49:36Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
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: ' A Formal Comparison of Advanced Digital Signature Primitives'
type: mastersthesis
user_id: '41047'
year: '2023'
...
---
_id: '20841'
author:
- first_name: Sevag
full_name: Gharibian, Sevag
id: '71541'
last_name: Gharibian
orcid: 0000-0002-9992-3379
- first_name: James
full_name: Watson, James
last_name: Watson
- first_name: Johannes
full_name: Bausch, Johannes
last_name: Bausch
citation:
ama: 'Gharibian S, Watson J, Bausch J. The Complexity of Translationally Invariant
Problems beyond Ground State Energies. In: Proceedings of the 40th International
Symposium on Theoretical Aspects of Computer Science (STACS). Vol 254. ; 2023:54:1-54:21.
doi:https://doi.org/10.4230/LIPIcs.STACS.2023.54'
apa: Gharibian, S., Watson, J., & Bausch, J. (2023). The Complexity of Translationally
Invariant Problems beyond Ground State Energies. Proceedings of the 40th International
Symposium on Theoretical Aspects of Computer Science (STACS), 254,
54:1-54:21. https://doi.org/10.4230/LIPIcs.STACS.2023.54
bibtex: '@inproceedings{Gharibian_Watson_Bausch_2023, title={The Complexity of Translationally
Invariant Problems beyond Ground State Energies}, volume={254}, DOI={https://doi.org/10.4230/LIPIcs.STACS.2023.54},
booktitle={Proceedings of the 40th International Symposium on Theoretical Aspects
of Computer Science (STACS)}, author={Gharibian, Sevag and Watson, James and Bausch,
Johannes}, year={2023}, pages={54:1-54:21} }'
chicago: Gharibian, Sevag, James Watson, and Johannes Bausch. “The Complexity of
Translationally Invariant Problems beyond Ground State Energies.” In Proceedings
of the 40th International Symposium on Theoretical Aspects of Computer Science
(STACS), 254:54:1-54:21, 2023. https://doi.org/10.4230/LIPIcs.STACS.2023.54.
ieee: 'S. Gharibian, J. Watson, and J. Bausch, “The Complexity of Translationally
Invariant Problems beyond Ground State Energies,” in Proceedings of the 40th
International Symposium on Theoretical Aspects of Computer Science (STACS),
2023, vol. 254, p. 54:1-54:21, doi: https://doi.org/10.4230/LIPIcs.STACS.2023.54.'
mla: Gharibian, Sevag, et al. “The Complexity of Translationally Invariant Problems
beyond Ground State Energies.” Proceedings of the 40th International Symposium
on Theoretical Aspects of Computer Science (STACS), vol. 254, 2023, p. 54:1-54:21,
doi:https://doi.org/10.4230/LIPIcs.STACS.2023.54.
short: 'S. Gharibian, J. Watson, J. Bausch, in: Proceedings of the 40th International
Symposium on Theoretical Aspects of Computer Science (STACS), 2023, p. 54:1-54:21.'
date_created: 2020-12-24T14:15:09Z
date_updated: 2023-05-04T17:51:23Z
department:
- _id: '623'
- _id: '7'
doi: https://doi.org/10.4230/LIPIcs.STACS.2023.54
external_id:
arxiv:
- '2012.12717'
intvolume: ' 254'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2012.12717
oa: '1'
page: 54:1-54:21
publication: Proceedings of the 40th International Symposium on Theoretical Aspects
of Computer Science (STACS)
publication_status: published
status: public
title: The Complexity of Translationally Invariant Problems beyond Ground State Energies
type: conference
user_id: '71541'
volume: 254
year: '2023'
...
---
_id: '44194'
author:
- first_name: Qazi Arbab
full_name: Ahmed, Qazi Arbab
id: '72764'
last_name: Ahmed
orcid: 0000-0002-1837-2254
- first_name: Muhammad
full_name: Awais, Muhammad
last_name: Awais
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Ahmed QA, Awais M, Platzner M. MAAS: Hiding Trojans in Approximate Circuits.
In: The 24th International Symposium on Quality Electronic Design (ISQED’23),
San Francisco, Califorina USA. ; 2023.'
apa: 'Ahmed, Q. A., Awais, M., & Platzner, M. (2023). MAAS: Hiding Trojans in
Approximate Circuits. The 24th International Symposium on Quality Electronic
Design (ISQED’23), San Francisco, Califorina USA. The 24th International Symposium
on Quality Electronic Design (ISQED’23), San Fransico CA 94023-0607, USA.'
bibtex: '@inproceedings{Ahmed_Awais_Platzner_2023, title={MAAS: Hiding Trojans in
Approximate Circuits}, booktitle={The 24th International Symposium on Quality
Electronic Design (ISQED’23), San Francisco, Califorina USA}, author={Ahmed, Qazi
Arbab and Awais, Muhammad and Platzner, Marco}, year={2023} }'
chicago: 'Ahmed, Qazi Arbab, Muhammad Awais, and Marco Platzner. “MAAS: Hiding Trojans
in Approximate Circuits.” In The 24th International Symposium on Quality Electronic
Design (ISQED’23), San Francisco, Califorina USA, 2023.'
ieee: 'Q. A. Ahmed, M. Awais, and M. Platzner, “MAAS: Hiding Trojans in Approximate
Circuits,” presented at the The 24th International Symposium on Quality Electronic
Design (ISQED’23), San Fransico CA 94023-0607, USA, 2023.'
mla: 'Ahmed, Qazi Arbab, et al. “MAAS: Hiding Trojans in Approximate Circuits.”
The 24th International Symposium on Quality Electronic Design (ISQED’23), San
Francisco, Califorina USA, 2023.'
short: 'Q.A. Ahmed, M. Awais, M. Platzner, in: The 24th International Symposium
on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, 2023.'
conference:
end_date: 2023-04-07
location: San Fransico CA 94023-0607, USA
name: The 24th International Symposium on Quality Electronic Design (ISQED'23)
start_date: 2023-04-05
date_created: 2023-04-26T13:04:56Z
date_updated: 2023-05-10T13:52:14Z
ddc:
- '620'
department:
- _id: '78'
file:
- access_level: open_access
content_type: application/pdf
creator: qazi
date_created: 2023-04-26T13:03:54Z
date_updated: 2023-05-10T13:52:14Z
file_id: '44196'
file_name: s4Bp4-041.pdf
file_size: 614626
relation: main_file
file_date_updated: 2023-05-10T13:52:14Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
project:
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '12'
name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '1'
name: 'SFB 901: SFB 901'
publication: The 24th International Symposium on Quality Electronic Design (ISQED'23),
San Francisco, Califorina USA
status: public
title: 'MAAS: Hiding Trojans in Approximate Circuits'
type: conference
user_id: '72764'
year: '2023'
...
---
_id: '44735'
author:
- first_name: Jonas
full_name: Schweichhart, Jonas
last_name: Schweichhart
citation:
ama: Schweichhart J. Minimum Edge Cuts in Overlay Networks.; 2023.
apa: Schweichhart, J. (2023). Minimum Edge Cuts in Overlay Networks.
bibtex: '@book{Schweichhart_2023, title={Minimum Edge Cuts in Overlay Networks},
author={Schweichhart, Jonas}, year={2023} }'
chicago: Schweichhart, Jonas. Minimum Edge Cuts in Overlay Networks, 2023.
ieee: J. Schweichhart, Minimum Edge Cuts in Overlay Networks. 2023.
mla: Schweichhart, Jonas. Minimum Edge Cuts in Overlay Networks. 2023.
short: J. Schweichhart, Minimum Edge Cuts in Overlay Networks, 2023.
date_created: 2023-05-11T05:50:41Z
date_updated: 2023-05-11T05:51:15Z
department:
- _id: '79'
language:
- iso: eng
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'
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: Minimum Edge Cuts in Overlay Networks
type: mastersthesis
user_id: '15504'
year: '2023'
...
---
_id: '44769'
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: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Castenow J, Harbig J, Meyer auf der Heide F. Unifying Gathering Protocols
for Swarms of Mobile Robots. In: Lecture Notes in Computer Science. Springer
International Publishing; 2023. doi:10.1007/978-3-031-30448-4_1'
apa: Castenow, J., Harbig, J., & Meyer auf der Heide, F. (2023). Unifying Gathering
Protocols for Swarms of Mobile Robots. In Lecture Notes in Computer Science.
Springer International Publishing. https://doi.org/10.1007/978-3-031-30448-4_1
bibtex: '@inbook{Castenow_Harbig_Meyer auf der Heide_2023, place={Cham}, title={Unifying
Gathering Protocols for Swarms of Mobile Robots}, DOI={10.1007/978-3-031-30448-4_1},
booktitle={Lecture Notes in Computer Science}, publisher={Springer International
Publishing}, author={Castenow, Jannik and Harbig, Jonas and Meyer auf der Heide,
Friedhelm}, year={2023} }'
chicago: 'Castenow, Jannik, Jonas Harbig, and Friedhelm Meyer auf der Heide. “Unifying
Gathering Protocols for Swarms of Mobile Robots.” In Lecture Notes in Computer
Science. Cham: Springer International Publishing, 2023. https://doi.org/10.1007/978-3-031-30448-4_1.'
ieee: 'J. Castenow, J. Harbig, and F. Meyer auf der Heide, “Unifying Gathering Protocols
for Swarms of Mobile Robots,” in Lecture Notes in Computer Science, Cham:
Springer International Publishing, 2023.'
mla: Castenow, Jannik, et al. “Unifying Gathering Protocols for Swarms of Mobile
Robots.” Lecture Notes in Computer Science, Springer International Publishing,
2023, doi:10.1007/978-3-031-30448-4_1.
short: 'J. Castenow, J. Harbig, F. Meyer auf der Heide, in: Lecture Notes in Computer
Science, Springer International Publishing, Cham, 2023.'
date_created: 2023-05-11T13:13:45Z
date_updated: 2023-05-11T13:14:43Z
department:
- _id: '63'
doi: 10.1007/978-3-031-30448-4_1
language:
- iso: eng
place: Cham
project:
- _id: '106'
name: 'Algorithmen für Schwarmrobotik: Verteiltes Rechnen trifft Dynamische Systeme'
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '9783031304477'
- '9783031304484'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Unifying Gathering Protocols for Swarms of Mobile Robots
type: book_chapter
user_id: '38705'
year: '2023'
...
---
_id: '34294'
author:
- first_name: Dennis
full_name: Wolters, Dennis
id: '11308'
last_name: Wolters
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Wolters D, Engels G. Model-driven Collaborative Design of Professional Education
Programmes With Extended Online Whiteboards. In: MODELSWARD’23. SCITEPRESS;
:133-142. doi:10.5220/0011675700003402'
apa: Wolters, D., & Engels, G. (n.d.). Model-driven Collaborative Design of
Professional Education Programmes With Extended Online Whiteboards. MODELSWARD’23,
133–142. https://doi.org/10.5220/0011675700003402
bibtex: '@inproceedings{Wolters_Engels, title={Model-driven Collaborative Design
of Professional Education Programmes With Extended Online Whiteboards}, DOI={10.5220/0011675700003402},
booktitle={MODELSWARD’23}, publisher={SCITEPRESS}, author={Wolters, Dennis and
Engels, Gregor}, pages={133–142} }'
chicago: Wolters, Dennis, and Gregor Engels. “Model-Driven Collaborative Design
of Professional Education Programmes With Extended Online Whiteboards.” In MODELSWARD’23,
133–42. SCITEPRESS, n.d. https://doi.org/10.5220/0011675700003402.
ieee: 'D. Wolters and G. Engels, “Model-driven Collaborative Design of Professional
Education Programmes With Extended Online Whiteboards,” in MODELSWARD’23,
pp. 133–142, doi: 10.5220/0011675700003402.'
mla: Wolters, Dennis, and Gregor Engels. “Model-Driven Collaborative Design of Professional
Education Programmes With Extended Online Whiteboards.” MODELSWARD’23,
SCITEPRESS, pp. 133–42, doi:10.5220/0011675700003402.
short: 'D. Wolters, G. Engels, in: MODELSWARD’23, SCITEPRESS, n.d., pp. 133–142.'
date_created: 2022-12-08T19:32:25Z
date_updated: 2023-05-16T12:19:26Z
department:
- _id: '66'
doi: 10.5220/0011675700003402
language:
- iso: eng
page: 133-142
publication: MODELSWARD'23
publication_identifier:
isbn:
- 978-989-758-633-0
issn:
- 2184-4348
publication_status: accepted
publisher: SCITEPRESS
status: public
title: Model-driven Collaborative Design of Professional Education Programmes With
Extended Online Whiteboards
type: conference
user_id: '11308'
year: '2023'
...
---
_id: '43108'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
citation:
ama: Pauck F. Cooperative Android App Analysis. Paderborn University; 2023.
doi:10.17619/UNIPB/1-1698
apa: Pauck, F. (2023). Cooperative Android App Analysis. Paderborn University.
https://doi.org/10.17619/UNIPB/1-1698
bibtex: '@book{Pauck_2023, title={Cooperative Android App Analysis}, DOI={10.17619/UNIPB/1-1698},
publisher={Paderborn University}, author={Pauck, Felix}, year={2023} }'
chicago: Pauck, Felix. Cooperative Android App Analysis. Paderborn University,
2023. https://doi.org/10.17619/UNIPB/1-1698.
ieee: F. Pauck, Cooperative Android App Analysis. Paderborn University, 2023.
mla: Pauck, Felix. Cooperative Android App Analysis. Paderborn University,
2023, doi:10.17619/UNIPB/1-1698.
short: F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.
date_created: 2023-03-27T07:39:35Z
date_updated: 2023-05-22T04:57:42Z
department:
- _id: '77'
doi: 10.17619/UNIPB/1-1698
language:
- iso: eng
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'
publisher: Paderborn University
status: public
supervisor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
title: Cooperative Android App Analysis
type: dissertation
user_id: '22398'
year: '2023'
...