---
_id: '16927'
author:
- first_name: Sevag
full_name: Gharibian, Sevag
id: '71541'
last_name: Gharibian
orcid: 0000-0002-9992-3379
- first_name: Marco
full_name: Aldi, Marco
last_name: Aldi
- first_name: Niel
full_name: de Beaudrap, Niel
last_name: de Beaudrap
- first_name: Seyran
full_name: Saeedi, Seyran
last_name: Saeedi
citation:
ama: Gharibian S, Aldi M, de Beaudrap N, Saeedi S. On efficiently solvable cases
of Quantum k-SAT. Communications in Mathematical Physics. Published online
2020.
apa: Gharibian, S., Aldi, M., de Beaudrap, N., & Saeedi, S. (2020). On efficiently
solvable cases of Quantum k-SAT. Communications in Mathematical Physics.
bibtex: '@article{Gharibian_Aldi_de Beaudrap_Saeedi_2020, title={On efficiently
solvable cases of Quantum k-SAT}, journal={Communications in Mathematical Physics},
author={Gharibian, Sevag and Aldi, Marco and de Beaudrap, Niel and Saeedi, Seyran},
year={2020} }'
chicago: Gharibian, Sevag, Marco Aldi, Niel de Beaudrap, and Seyran Saeedi. “On
Efficiently Solvable Cases of Quantum K-SAT.” Communications in Mathematical
Physics, 2020.
ieee: S. Gharibian, M. Aldi, N. de Beaudrap, and S. Saeedi, “On efficiently solvable
cases of Quantum k-SAT,” Communications in Mathematical Physics, 2020.
mla: Gharibian, Sevag, et al. “On Efficiently Solvable Cases of Quantum K-SAT.”
Communications in Mathematical Physics, 2020.
short: S. Gharibian, M. Aldi, N. de Beaudrap, S. Saeedi, Communications in Mathematical
Physics (2020).
date_created: 2020-04-30T07:12:00Z
date_updated: 2023-02-28T11:05:17Z
department:
- _id: '623'
- _id: '7'
external_id:
arxiv:
- '1712.09617'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/s00220-020-03843-9
oa: '1'
publication: Communications in Mathematical Physics
publication_status: published
status: public
title: On efficiently solvable cases of Quantum k-SAT
type: journal_article
user_id: '71541'
year: '2020'
...
---
_id: '45232'
author:
- first_name: N.
full_name: N., N.
last_name: N.
citation:
ama: N. N. A Framework for Measurable Value Propositions of Mobile Applications.;
2020.
apa: N., N. (2020). A Framework for Measurable Value Propositions of Mobile Applications.
bibtex: '@book{N._2020, title={A Framework for Measurable Value Propositions of
Mobile Applications}, author={N., N.}, year={2020} }'
chicago: N., N. A Framework for Measurable Value Propositions of Mobile Applications,
2020.
ieee: N. N., A Framework for Measurable Value Propositions of Mobile Applications.
2020.
mla: N., N. A Framework for Measurable Value Propositions of Mobile Applications.
2020.
short: N. N., A Framework for Measurable Value Propositions of Mobile Applications,
2020.
date_created: 2023-05-23T13:03:24Z
date_updated: 2023-05-23T13:04:16Z
department:
- _id: '66'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '17'
name: 'SFB 901 - C5: SFB 901 - Subproject C5'
status: public
supervisor:
- first_name: Simon
full_name: Oberthür, Simon
id: '383'
last_name: Oberthür
- first_name: Sebastian
full_name: Gottschalk, Sebastian
id: '47208'
last_name: Gottschalk
title: A Framework for Measurable Value Propositions of Mobile Applications
type: mastersthesis
user_id: '47208'
year: '2020'
...
---
_id: '45234'
author:
- first_name: N.
full_name: N., N.
last_name: N.
citation:
ama: N. N. Model-Based Product Configuration in Augmented Reality Applications.;
2020.
apa: N., N. (2020). Model-Based Product Configuration in Augmented Reality Applications.
bibtex: '@book{N._2020, title={Model-Based Product Configuration in Augmented Reality
Applications}, author={N., N.}, year={2020} }'
chicago: N., N. Model-Based Product Configuration in Augmented Reality Applications,
2020.
ieee: N. N., Model-Based Product Configuration in Augmented Reality Applications.
2020.
mla: N., N. Model-Based Product Configuration in Augmented Reality Applications.
2020.
short: N. N., Model-Based Product Configuration in Augmented Reality Applications,
2020.
date_created: 2023-05-23T13:05:23Z
date_updated: 2023-05-23T13:05:26Z
department:
- _id: '66'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '17'
name: 'SFB 901 - C5: SFB 901 - Subproject C5'
status: public
supervisor:
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Sebastian
full_name: Gottschalk, Sebastian
id: '47208'
last_name: Gottschalk
title: Model-Based Product Configuration in Augmented Reality Applications
type: mastersthesis
user_id: '47208'
year: '2020'
...
---
_id: '45235'
author:
- first_name: N.
full_name: N., N.
last_name: N.
citation:
ama: N. N. Design and Implementation of a Crowd-Based Prototype Validation Platform.;
2020.
apa: N., N. (2020). Design and Implementation of a Crowd-based Prototype Validation
Platform.
bibtex: '@book{N._2020, title={Design and Implementation of a Crowd-based Prototype
Validation Platform}, author={N., N.}, year={2020} }'
chicago: N., N. Design and Implementation of a Crowd-Based Prototype Validation
Platform, 2020.
ieee: N. N., Design and Implementation of a Crowd-based Prototype Validation
Platform. 2020.
mla: N., N. Design and Implementation of a Crowd-Based Prototype Validation Platform.
2020.
short: N. N., Design and Implementation of a Crowd-Based Prototype Validation Platform,
2020.
date_created: 2023-05-23T13:08:17Z
date_updated: 2023-05-23T13:08:22Z
department:
- _id: '66'
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '17'
name: 'SFB 901 - C5: SFB 901 - Subproject C5'
status: public
title: Design and Implementation of a Crowd-based Prototype Validation Platform
type: mastersthesis
user_id: '47208'
year: '2020'
...
---
_id: '21433'
abstract:
- lang: eng
text: "Modern machine learning (ML) techniques continue to move into the embedded
system space because traditional centralized compute resources do not suit certain
application domains, for example in mobile or real-time environments. Google’s
TensorFlow Lite (TFLite) framework supports this shift from cloud to edge computing
and makes ML inference accessible on resource-constrained devices. While it offers
the possibility to partially delegate computation to hardware accelerators, there
is no such “delegate” available to utilize the promising characteristics of reconfigurable
hardware.\r\nThis thesis incorporates modern platform FPGAs into TFLite by implementing
a modular delegate framework, which allows accelerators within the programmable
logic to take over the execution of neural network layers. To facilitate the necessary
hardware/software codesign, the FPGA delegate is based on the operating system
for reconfigurable\r\ncomputing (ReconOS), whose partial reconfiguration support
enables the instantiation of model-tailored accelerator architectures. In the
hardware back-end, a streaming-based prototype accelerator for the MobileNet model
family showcases the working order of the platform, but falls short of the desired
performance. Thus, it indicates the need for further exploration of alternative
accelerator designs, which the delegate could automatically synthesize to meet
a model’s demands."
author:
- first_name: Felix P.
full_name: Jentzsch, Felix P.
last_name: Jentzsch
citation:
ama: Jentzsch FP. Design and Implementation of a ReconOS-Based TensorFlow Lite
Delegate Architecture.; 2020.
apa: Jentzsch, F. P. (2020). Design and Implementation of a ReconOS-based TensorFlow
Lite Delegate Architecture.
bibtex: '@book{Jentzsch_2020, title={Design and Implementation of a ReconOS-based
TensorFlow Lite Delegate Architecture}, author={Jentzsch, Felix P.}, year={2020}
}'
chicago: Jentzsch, Felix P. Design and Implementation of a ReconOS-Based TensorFlow
Lite Delegate Architecture, 2020.
ieee: F. P. Jentzsch, Design and Implementation of a ReconOS-based TensorFlow
Lite Delegate Architecture. 2020.
mla: Jentzsch, Felix P. Design and Implementation of a ReconOS-Based TensorFlow
Lite Delegate Architecture. 2020.
short: F.P. Jentzsch, Design and Implementation of a ReconOS-Based TensorFlow Lite
Delegate Architecture, 2020.
date_created: 2021-03-10T07:09:14Z
date_updated: 2023-07-09T17:12:52Z
department:
- _id: '78'
language:
- iso: eng
project:
- _id: '1'
grant_number: '160364472'
name: 'SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen
in dynamischen Märkten '
- _id: '82'
name: 'SFB 901 - T: SFB 901 - Project Area T'
- _id: '83'
name: 'SFB 901 - T1: SFB 901 -Subproject T1'
status: public
supervisor:
- first_name: Christian
full_name: Lienen, Christian
id: '60323'
last_name: Lienen
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
title: Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture
type: mastersthesis
user_id: '398'
year: '2020'
...
---
_id: '16277'
abstract:
- lang: eng
text: CP2K is an open source electronic structure and molecular dynamics software
package to perform atomistic simulations of solid-state, liquid, molecular, and
biological systems. It is especially aimed at massively parallel and linear-scaling
electronic structure methods and state-of-theart ab initio molecular dynamics
simulations. Excellent performance for electronic structure calculations is achieved
using novel algorithms implemented for modern high-performance computing systems.
This review revisits the main capabilities of CP2K to perform efficient and accurate
electronic structure simulations. The emphasis is put on density functional theory
and multiple post–Hartree–Fock methods using the Gaussian and plane wave approach
and its augmented all-electron extension.
article_number: '194103'
author:
- first_name: Thomas
full_name: Kühne, Thomas
id: '49079'
last_name: Kühne
- first_name: Marcella
full_name: Iannuzzi, Marcella
last_name: Iannuzzi
- first_name: Mauro Del
full_name: Ben, Mauro Del
last_name: Ben
- first_name: Vladimir V.
full_name: Rybkin, Vladimir V.
last_name: Rybkin
- first_name: Patrick
full_name: Seewald, Patrick
last_name: Seewald
- first_name: Frederick
full_name: Stein, Frederick
last_name: Stein
- first_name: Teodoro
full_name: Laino, Teodoro
last_name: Laino
- first_name: Rustam Z.
full_name: Khaliullin, Rustam Z.
last_name: Khaliullin
- first_name: Ole
full_name: Schütt, Ole
last_name: Schütt
- first_name: Florian
full_name: Schiffmann, Florian
last_name: Schiffmann
- first_name: Dorothea
full_name: Golze, Dorothea
last_name: Golze
- first_name: Jan
full_name: Wilhelm, Jan
last_name: Wilhelm
- first_name: Sergey
full_name: Chulkov, Sergey
last_name: Chulkov
- first_name: Mohammad Hossein Bani-Hashemian
full_name: Mohammad Hossein Bani-Hashemian, Mohammad Hossein Bani-Hashemian
last_name: Mohammad Hossein Bani-Hashemian
- first_name: Valéry
full_name: Weber, Valéry
last_name: Weber
- first_name: Urban
full_name: Borstnik, Urban
last_name: Borstnik
- first_name: Mathieu
full_name: Taillefumier, Mathieu
last_name: Taillefumier
- first_name: Alice Shoshana
full_name: Jakobovits, Alice Shoshana
last_name: Jakobovits
- first_name: Alfio
full_name: Lazzaro, Alfio
last_name: Lazzaro
- first_name: Hans
full_name: Pabst, Hans
last_name: Pabst
- first_name: Tiziano
full_name: Müller, Tiziano
last_name: Müller
- first_name: Robert
full_name: Schade, Robert
id: '75963'
last_name: Schade
orcid: 0000-0002-6268-539
- first_name: Manuel
full_name: Guidon, Manuel
last_name: Guidon
- first_name: Samuel
full_name: Andermatt, Samuel
last_name: Andermatt
- first_name: Nico
full_name: Holmberg, Nico
last_name: Holmberg
- first_name: Gregory K.
full_name: Schenter, Gregory K.
last_name: Schenter
- first_name: Anna
full_name: Hehn, Anna
last_name: Hehn
- first_name: Augustin
full_name: Bussy, Augustin
last_name: Bussy
- first_name: Fabian
full_name: Belleflamme, Fabian
last_name: Belleflamme
- first_name: Gloria
full_name: Tabacchi, Gloria
last_name: Tabacchi
- first_name: Andreas
full_name: Glöß, Andreas
last_name: Glöß
- first_name: Michael
full_name: Lass, Michael
id: '24135'
last_name: Lass
orcid: 0000-0002-5708-7632
- first_name: Iain
full_name: Bethune, Iain
last_name: Bethune
- first_name: Christopher J.
full_name: Mundy, Christopher J.
last_name: Mundy
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
- first_name: Matt
full_name: Watkins, Matt
last_name: Watkins
- first_name: Joost
full_name: VandeVondele, Joost
last_name: VandeVondele
- first_name: Matthias
full_name: Krack, Matthias
last_name: Krack
- first_name: Jürg
full_name: Hutter, Jürg
last_name: Hutter
citation:
ama: 'Kühne T, Iannuzzi M, Ben MD, et al. CP2K: An electronic structure and molecular
dynamics software package - Quickstep: Efficient and accurate electronic structure
calculations. The Journal of Chemical Physics. 2020;152(19). doi:10.1063/5.0007045'
apa: 'Kühne, T., Iannuzzi, M., Ben, M. D., Rybkin, V. V., Seewald, P., Stein, F.,
Laino, T., Khaliullin, R. Z., Schütt, O., Schiffmann, F., Golze, D., Wilhelm,
J., Chulkov, S., Mohammad Hossein Bani-Hashemian, M. H. B.-H., Weber, V., Borstnik,
U., Taillefumier, M., Jakobovits, A. S., Lazzaro, A., … Hutter, J. (2020). CP2K:
An electronic structure and molecular dynamics software package - Quickstep: Efficient
and accurate electronic structure calculations. The Journal of Chemical Physics,
152(19), Article 194103. https://doi.org/10.1063/5.0007045'
bibtex: '@article{Kühne_Iannuzzi_Ben_Rybkin_Seewald_Stein_Laino_Khaliullin_Schütt_Schiffmann_et
al._2020, title={CP2K: An electronic structure and molecular dynamics software
package - Quickstep: Efficient and accurate electronic structure calculations},
volume={152}, DOI={10.1063/5.0007045},
number={19194103}, journal={The Journal of Chemical Physics}, author={Kühne, Thomas
and Iannuzzi, Marcella and Ben, Mauro Del and Rybkin, Vladimir V. and Seewald,
Patrick and Stein, Frederick and Laino, Teodoro and Khaliullin, Rustam Z. and
Schütt, Ole and Schiffmann, Florian and et al.}, year={2020} }'
chicago: 'Kühne, Thomas, Marcella Iannuzzi, Mauro Del Ben, Vladimir V. Rybkin, Patrick
Seewald, Frederick Stein, Teodoro Laino, et al. “CP2K: An Electronic Structure
and Molecular Dynamics Software Package - Quickstep: Efficient and Accurate Electronic
Structure Calculations.” The Journal of Chemical Physics 152, no. 19 (2020).
https://doi.org/10.1063/5.0007045.'
ieee: 'T. Kühne et al., “CP2K: An electronic structure and molecular dynamics
software package - Quickstep: Efficient and accurate electronic structure calculations,”
The Journal of Chemical Physics, vol. 152, no. 19, Art. no. 194103, 2020,
doi: 10.1063/5.0007045.'
mla: 'Kühne, Thomas, et al. “CP2K: An Electronic Structure and Molecular Dynamics
Software Package - Quickstep: Efficient and Accurate Electronic Structure Calculations.”
The Journal of Chemical Physics, vol. 152, no. 19, 194103, 2020, doi:10.1063/5.0007045.'
short: T. Kühne, M. Iannuzzi, M.D. Ben, V.V. Rybkin, P. Seewald, F. Stein, T. Laino,
R.Z. Khaliullin, O. Schütt, F. Schiffmann, D. Golze, J. Wilhelm, S. Chulkov, M.H.B.-H.
Mohammad Hossein Bani-Hashemian, V. Weber, U. Borstnik, M. Taillefumier, A.S.
Jakobovits, A. Lazzaro, H. Pabst, T. Müller, R. Schade, M. Guidon, S. Andermatt,
N. Holmberg, G.K. Schenter, A. Hehn, A. Bussy, F. Belleflamme, G. Tabacchi, A.
Glöß, M. Lass, I. Bethune, C.J. Mundy, C. Plessl, M. Watkins, J. VandeVondele,
M. Krack, J. Hutter, The Journal of Chemical Physics 152 (2020).
date_created: 2020-03-10T15:12:31Z
date_updated: 2023-08-02T14:56:21Z
ddc:
- '540'
department:
- _id: '27'
- _id: '518'
- _id: '304'
doi: 10.1063/5.0007045
external_id:
arxiv:
- '2003.03868'
file:
- access_level: closed
content_type: application/pdf
creator: lass
date_created: 2020-05-25T15:21:56Z
date_updated: 2020-05-25T15:21:56Z
file_id: '17061'
file_name: 5.0007045.pdf
file_size: 4887650
relation: main_file
success: 1
file_date_updated: 2020-05-25T15:21:56Z
has_accepted_license: '1'
intvolume: ' 152'
issue: '19'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://aip.scitation.org/doi/pdf/10.1063/5.0007045?download=true
oa: '1'
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
- _id: '32'
grant_number: PL 595/2-1 / 320898746
name: Performance and Efficiency in HPC with Custom Computing
- _id: '52'
name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing'
publication: The Journal of Chemical Physics
publication_status: published
quality_controlled: '1'
status: public
title: 'CP2K: An electronic structure and molecular dynamics software package - Quickstep:
Efficient and accurate electronic structure calculations'
type: journal_article
user_id: '75963'
volume: 152
year: '2020'
...
---
_id: '16898'
abstract:
- lang: eng
text: "Electronic structure calculations based on density-functional theory (DFT)\r\nrepresent
a significant part of today's HPC workloads and pose high demands on\r\nhigh-performance
computing resources. To perform these quantum-mechanical DFT\r\ncalculations on
complex large-scale systems, so-called linear scaling methods\r\ninstead of conventional
cubic scaling methods are required. In this work, we\r\ntake up the idea of the
submatrix method and apply it to the DFT computations\r\nin the software package
CP2K. For that purpose, we transform the underlying\r\nnumeric operations on distributed,
large, sparse matrices into computations on\r\nlocal, much smaller and nearly
dense matrices. This allows us to exploit the\r\nfull floating-point performance
of modern CPUs and to make use of dedicated\r\naccelerator hardware, where performance
has been limited by memory bandwidth\r\nbefore. We demonstrate both functionality
and performance of our implementation\r\nand show how it can be accelerated with
GPUs and FPGAs."
author:
- first_name: Michael
full_name: Lass, Michael
id: '24135'
last_name: Lass
orcid: 0000-0002-5708-7632
- first_name: Robert
full_name: Schade, Robert
id: '75963'
last_name: Schade
orcid: 0000-0002-6268-539
- first_name: Thomas
full_name: Kühne, Thomas
id: '49079'
last_name: Kühne
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
citation:
ama: 'Lass M, Schade R, Kühne T, Plessl C. A Submatrix-Based Method for Approximate
Matrix Function Evaluation in the Quantum Chemistry Code CP2K. In: Proc. International
Conference for High Performance Computing, Networking, Storage and Analysis (SC).
IEEE Computer Society; 2020:1127-1140. doi:10.1109/SC41405.2020.00084'
apa: Lass, M., Schade, R., Kühne, T., & Plessl, C. (2020). A Submatrix-Based
Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code
CP2K. Proc. International Conference for High Performance Computing, Networking,
Storage and Analysis (SC), 1127–1140. https://doi.org/10.1109/SC41405.2020.00084
bibtex: '@inproceedings{Lass_Schade_Kühne_Plessl_2020, place={Los Alamitos, CA,
USA}, title={A Submatrix-Based Method for Approximate Matrix Function Evaluation
in the Quantum Chemistry Code CP2K}, DOI={10.1109/SC41405.2020.00084},
booktitle={Proc. International Conference for High Performance Computing, Networking,
Storage and Analysis (SC)}, publisher={IEEE Computer Society}, author={Lass, Michael
and Schade, Robert and Kühne, Thomas and Plessl, Christian}, year={2020}, pages={1127–1140}
}'
chicago: 'Lass, Michael, Robert Schade, Thomas Kühne, and Christian Plessl. “A Submatrix-Based
Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code
CP2K.” In Proc. International Conference for High Performance Computing, Networking,
Storage and Analysis (SC), 1127–40. Los Alamitos, CA, USA: IEEE Computer Society,
2020. https://doi.org/10.1109/SC41405.2020.00084.'
ieee: 'M. Lass, R. Schade, T. Kühne, and C. Plessl, “A Submatrix-Based Method for
Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K,” in
Proc. International Conference for High Performance Computing, Networking,
Storage and Analysis (SC), Atlanta, GA, US, 2020, pp. 1127–1140, doi: 10.1109/SC41405.2020.00084.'
mla: Lass, Michael, et al. “A Submatrix-Based Method for Approximate Matrix Function
Evaluation in the Quantum Chemistry Code CP2K.” Proc. International Conference
for High Performance Computing, Networking, Storage and Analysis (SC), IEEE
Computer Society, 2020, pp. 1127–40, doi:10.1109/SC41405.2020.00084.
short: 'M. Lass, R. Schade, T. Kühne, C. Plessl, in: Proc. International Conference
for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer
Society, Los Alamitos, CA, USA, 2020, pp. 1127–1140.'
conference:
location: Atlanta, GA, US
name: 'SC20: International Conference for High Performance Computing, Networking,
Storage and Analysis (SC)'
date_created: 2020-04-28T14:44:21Z
date_updated: 2023-08-02T14:55:59Z
department:
- _id: '27'
- _id: '518'
- _id: '304'
doi: 10.1109/SC41405.2020.00084
external_id:
arxiv:
- '2004.10811'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/9355245
page: 1127-1140
place: Los Alamitos, CA, USA
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
- _id: '32'
grant_number: PL 595/2-1 / 320898746
name: Performance and Efficiency in HPC with Custom Computing
- _id: '52'
name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing'
publication: Proc. International Conference for High Performance Computing, Networking,
Storage and Analysis (SC)
publisher: IEEE Computer Society
quality_controlled: '1'
status: public
title: A Submatrix-Based Method for Approximate Matrix Function Evaluation in the
Quantum Chemistry Code CP2K
type: conference
user_id: '75963'
year: '2020'
...
---
_id: '29042'
author:
- first_name: Michael
full_name: Röder, Michael
last_name: Röder
- first_name: Mohamed
full_name: Sherif, Mohamed
id: '67234'
last_name: Sherif
orcid: https://orcid.org/0000-0002-9927-2203
- first_name: Muhammad
full_name: Saleem, Muhammad
last_name: Saleem
- first_name: Felix
full_name: Conrads, Felix
last_name: Conrads
- first_name: Axel-Cyrille
full_name: Ngonga Ngomo, Axel-Cyrille
id: '65716'
last_name: Ngonga Ngomo
citation:
ama: 'Röder M, Sherif M, Saleem M, Conrads F, Ngonga Ngomo A-C. Benchmarking the
Lifecycle of Knowledge Graphs. In: Tiddi I, Lécué F, Hitzler P, eds. Knowledge
Graphs for EXplainable Artificial Intelligence: Foundations, Applications and
Challenges. IOS Press; 2020:73-97. doi:10.3233/SSW200012'
apa: 'Röder, M., Sherif, M., Saleem, M., Conrads, F., & Ngonga Ngomo, A.-C.
(2020). Benchmarking the Lifecycle of Knowledge Graphs. In I. Tiddi, F. Lécué,
& P. Hitzler (Eds.), Knowledge Graphs for eXplainable Artificial Intelligence:
Foundations, Applications and Challenges (pp. 73–97). IOS Press. https://doi.org/10.3233/SSW200012'
bibtex: '@inbook{Röder_Sherif_Saleem_Conrads_Ngonga Ngomo_2020, title={Benchmarking
the Lifecycle of Knowledge Graphs}, DOI={10.3233/SSW200012},
booktitle={Knowledge Graphs for eXplainable Artificial Intelligence: Foundations,
Applications and Challenges}, publisher={IOS Press}, author={Röder, Michael and
Sherif, Mohamed and Saleem, Muhammad and Conrads, Felix and Ngonga Ngomo, Axel-Cyrille},
editor={Tiddi, Ilaria and Lécué, Freddy and Hitzler, Pascal}, year={2020}, pages={73–97}
}'
chicago: 'Röder, Michael, Mohamed Sherif, Muhammad Saleem, Felix Conrads, and Axel-Cyrille
Ngonga Ngomo. “Benchmarking the Lifecycle of Knowledge Graphs.” In Knowledge
Graphs for EXplainable Artificial Intelligence: Foundations, Applications and
Challenges, edited by Ilaria Tiddi, Freddy Lécué, and Pascal Hitzler, 73–97.
IOS Press, 2020. https://doi.org/10.3233/SSW200012.'
ieee: 'M. Röder, M. Sherif, M. Saleem, F. Conrads, and A.-C. Ngonga Ngomo, “Benchmarking
the Lifecycle of Knowledge Graphs,” in Knowledge Graphs for eXplainable Artificial
Intelligence: Foundations, Applications and Challenges, I. Tiddi, F. Lécué,
and P. Hitzler, Eds. IOS Press, 2020, pp. 73–97.'
mla: 'Röder, Michael, et al. “Benchmarking the Lifecycle of Knowledge Graphs.” Knowledge
Graphs for EXplainable Artificial Intelligence: Foundations, Applications and
Challenges, edited by Ilaria Tiddi et al., IOS Press, 2020, pp. 73–97, doi:10.3233/SSW200012.'
short: 'M. Röder, M. Sherif, M. Saleem, F. Conrads, A.-C. Ngonga Ngomo, in: I. Tiddi,
F. Lécué, P. Hitzler (Eds.), Knowledge Graphs for EXplainable Artificial Intelligence:
Foundations, Applications and Challenges, IOS Press, 2020, pp. 73–97.'
date_created: 2021-12-17T10:06:12Z
date_updated: 2023-08-16T09:32:51Z
department:
- _id: '574'
doi: 10.3233/SSW200012
editor:
- first_name: Ilaria
full_name: Tiddi, Ilaria
last_name: Tiddi
- first_name: Freddy
full_name: Lécué, Freddy
last_name: Lécué
- first_name: Pascal
full_name: Hitzler, Pascal
last_name: Hitzler
keyword:
- dice group_aksw roeder sherif saleem fconrads ngonga
language:
- iso: eng
page: 73-97
publication: 'Knowledge Graphs for eXplainable Artificial Intelligence: Foundations,
Applications and Challenges'
publisher: IOS Press
status: public
title: Benchmarking the Lifecycle of Knowledge Graphs
type: book_chapter
user_id: '67234'
year: '2020'
...
---
_id: '21632'
abstract:
- lang: eng
text: FPGAs have found increasing adoption in data center applications since a new
generation of high-level tools have become available which noticeably reduce development
time for FPGA accelerators and still provide high-quality results. There is, however,
no high-level benchmark suite available, which specifically enables a comparison
of FPGA architectures, programming tools, and libraries for HPC applications.
To fill this gap, we have developed an OpenCL-based open-source implementation
of the HPCC benchmark suite for Xilinx and Intel FPGAs. This benchmark can serve
to analyze the current capabilities of FPGA devices, cards, and development tool
flows, track progress over time, and point out specific difficulties for FPGA
acceleration in the HPC domain. Additionally, the benchmark documents proven performance
optimization patterns. We will continue optimizing and porting the benchmark for
new generations of FPGAs and design tools and encourage active participation to
create a valuable tool for the community. To fill this gap, we have developed
an OpenCL-based open-source implementation of the HPCC benchmark suite for Xilinx
and Intel FPGAs. This benchmark can serve to analyze the current capabilities
of FPGA devices, cards, and development tool flows, track progress over time,
and point out specific difficulties for FPGA acceleration in the HPC domain. Additionally,
the benchmark documents proven performance optimization patterns. We will continue
optimizing and porting the benchmark for new generations of FPGAs and design tools
and encourage active participation to create a valuable tool for the community.
author:
- first_name: Marius
full_name: Meyer, Marius
id: '40778'
last_name: Meyer
- first_name: Tobias
full_name: Kenter, Tobias
id: '3145'
last_name: Kenter
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
citation:
ama: 'Meyer M, Kenter T, Plessl C. Evaluating FPGA Accelerator Performance with
a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark
Suite. In: 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance
Reconfigurable Computing (H2RC). ; 2020. doi:10.1109/h2rc51942.2020.00007'
apa: Meyer, M., Kenter, T., & Plessl, C. (2020). Evaluating FPGA Accelerator
Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the
HPCChallenge Benchmark Suite. 2020 IEEE/ACM International Workshop on Heterogeneous
High-Performance Reconfigurable Computing (H2RC). https://doi.org/10.1109/h2rc51942.2020.00007
bibtex: '@inproceedings{Meyer_Kenter_Plessl_2020, title={Evaluating FPGA Accelerator
Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the
HPCChallenge Benchmark Suite}, DOI={10.1109/h2rc51942.2020.00007},
booktitle={2020 IEEE/ACM International Workshop on Heterogeneous High-performance
Reconfigurable Computing (H2RC)}, author={Meyer, Marius and Kenter, Tobias and
Plessl, Christian}, year={2020} }'
chicago: Meyer, Marius, Tobias Kenter, and Christian Plessl. “Evaluating FPGA Accelerator
Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the
HPCChallenge Benchmark Suite.” In 2020 IEEE/ACM International Workshop on Heterogeneous
High-Performance Reconfigurable Computing (H2RC), 2020. https://doi.org/10.1109/h2rc51942.2020.00007.
ieee: 'M. Meyer, T. Kenter, and C. Plessl, “Evaluating FPGA Accelerator Performance
with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge
Benchmark Suite,” 2020, doi: 10.1109/h2rc51942.2020.00007.'
mla: Meyer, Marius, et al. “Evaluating FPGA Accelerator Performance with a Parameterized
OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite.”
2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable
Computing (H2RC), 2020, doi:10.1109/h2rc51942.2020.00007.
short: 'M. Meyer, T. Kenter, C. Plessl, in: 2020 IEEE/ACM International Workshop
on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020.'
date_created: 2021-04-16T10:17:22Z
date_updated: 2023-09-26T11:42:53Z
department:
- _id: '27'
- _id: '518'
doi: 10.1109/h2rc51942.2020.00007
keyword:
- FPGA
- OpenCL
- High Level Synthesis
- HPC benchmarking
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/9306963
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: 2020 IEEE/ACM International Workshop on Heterogeneous High-performance
Reconfigurable Computing (H2RC)
publication_identifier:
isbn:
- '9781665415927'
publication_status: published
quality_controlled: '1'
related_material:
link:
- description: Official repository of the benchmark suite on GitHub
relation: supplementary_material
url: https://github.com/pc2/HPCC_FPGA
status: public
title: Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation
of Selected Benchmarks of the HPCChallenge Benchmark Suite
type: conference
user_id: '15278'
year: '2020'
...
---
_id: '12878'
abstract:
- lang: eng
text: In scientific computing, the acceleration of atomistic computer simulations
by means of custom hardware is finding ever-growing application. A major limitation,
however, is that the high efficiency in terms of performance and low power consumption
entails the massive usage of low precision computing units. Here, based on the
approximate computing paradigm, we present an algorithmic method to compensate
for numerical inaccuracies due to low accuracy arithmetic operations rigorously,
yet still obtaining exact expectation values using a properly modified Langevin-type
equation.
article_number: '39'
author:
- first_name: Varadarajan
full_name: Rengaraj, Varadarajan
last_name: Rengaraj
- first_name: Michael
full_name: Lass, Michael
id: '24135'
last_name: Lass
orcid: 0000-0002-5708-7632
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
- first_name: Thomas
full_name: Kühne, Thomas
id: '49079'
last_name: Kühne
citation:
ama: Rengaraj V, Lass M, Plessl C, Kühne T. Accurate Sampling with Noisy Forces
from Approximate Computing. Computation. 2020;8(2). doi:10.3390/computation8020039
apa: Rengaraj, V., Lass, M., Plessl, C., & Kühne, T. (2020). Accurate Sampling
with Noisy Forces from Approximate Computing. Computation, 8(2),
Article 39. https://doi.org/10.3390/computation8020039
bibtex: '@article{Rengaraj_Lass_Plessl_Kühne_2020, title={Accurate Sampling with
Noisy Forces from Approximate Computing}, volume={8}, DOI={10.3390/computation8020039},
number={239}, journal={Computation}, publisher={MDPI}, author={Rengaraj, Varadarajan
and Lass, Michael and Plessl, Christian and Kühne, Thomas}, year={2020} }'
chicago: Rengaraj, Varadarajan, Michael Lass, Christian Plessl, and Thomas Kühne.
“Accurate Sampling with Noisy Forces from Approximate Computing.” Computation
8, no. 2 (2020). https://doi.org/10.3390/computation8020039.
ieee: 'V. Rengaraj, M. Lass, C. Plessl, and T. Kühne, “Accurate Sampling with Noisy
Forces from Approximate Computing,” Computation, vol. 8, no. 2, Art. no.
39, 2020, doi: 10.3390/computation8020039.'
mla: Rengaraj, Varadarajan, et al. “Accurate Sampling with Noisy Forces from Approximate
Computing.” Computation, vol. 8, no. 2, 39, MDPI, 2020, doi:10.3390/computation8020039.
short: V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).
date_created: 2019-07-23T12:03:07Z
date_updated: 2023-09-26T11:43:52Z
department:
- _id: '27'
- _id: '518'
- _id: '304'
doi: 10.3390/computation8020039
external_id:
arxiv:
- '1907.08497'
intvolume: ' 8'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.mdpi.com/2079-3197/8/2/39/pdf
oa: '1'
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
- _id: '32'
grant_number: PL 595/2-1 / 320898746
name: Performance and Efficiency in HPC with Custom Computing
publication: Computation
publisher: MDPI
quality_controlled: '1'
status: public
title: Accurate Sampling with Noisy Forces from Approximate Computing
type: journal_article
user_id: '15278'
volume: 8
year: '2020'
...
---
_id: '52936'
author:
- first_name: Clemens
full_name: Dubslaff, Clemens
last_name: Dubslaff
- first_name: Patrick
full_name: Koopmann, Patrick
last_name: Koopmann
- first_name: Anni-Yasmin
full_name: Turhan, Anni-Yasmin
id: '104470'
last_name: Turhan
citation:
ama: 'Dubslaff C, Koopmann P, Turhan A-Y. Give Inconsistency a Chance: Semantics
for Ontology-Mediated Verification. In: Borgwardt S, Meyer T, eds. Proceedings
of the 33rd International Workshop on Description Logics (DL 2020) Co-Located
with the 17th International Conference on Principles of Knowledge Representation
and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th,
2020. Vol 2663. CEUR Workshop Proceedings. CEUR-WS.org; 2020.'
apa: 'Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2020). Give Inconsistency
a Chance: Semantics for Ontology-Mediated Verification. In S. Borgwardt &
T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description
Logics (DL 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece],
September 12th to 14th, 2020 (Vol. 2663). CEUR-WS.org.'
bibtex: '@inproceedings{Dubslaff_Koopmann_Turhan_2020, series={CEUR Workshop Proceedings},
title={Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification},
volume={2663}, booktitle={Proceedings of the 33rd International Workshop on Description
Logics (DL 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece],
September 12th to 14th, 2020}, publisher={CEUR-WS.org}, author={Dubslaff, Clemens
and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Borgwardt, Stefan and
Meyer, Thomas}, year={2020}, collection={CEUR Workshop Proceedings} }'
chicago: 'Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Give Inconsistency
a Chance: Semantics for Ontology-Mediated Verification.” In Proceedings of
the 33rd International Workshop on Description Logics (DL 2020) Co-Located with
the 17th International Conference on Principles of Knowledge Representation and
Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020,
edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings.
CEUR-WS.org, 2020.'
ieee: 'C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Give Inconsistency a Chance:
Semantics for Ontology-Mediated Verification,” in Proceedings of the 33rd International
Workshop on Description Logics (DL 2020) co-located with the 17th International
Conference on Principles of Knowledge Representation and Reasoning (KR 2020),
Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, vol. 2663.'
mla: 'Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated
Verification.” Proceedings of the 33rd International Workshop on Description
Logics (DL 2020) Co-Located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece],
September 12th to 14th, 2020, edited by Stefan Borgwardt and Thomas Meyer,
vol. 2663, CEUR-WS.org, 2020.'
short: 'C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.),
Proceedings of the 33rd International Workshop on Description Logics (DL 2020)
Co-Located with the 17th International Conference on Principles of Knowledge Representation
and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th,
2020, CEUR-WS.org, 2020.'
date_created: 2024-03-26T11:22:26Z
date_updated: 2024-10-14T08:06:21Z
department:
- _id: '888'
editor:
- first_name: Stefan
full_name: Borgwardt, Stefan
last_name: Borgwardt
- first_name: Thomas
full_name: Meyer, Thomas
last_name: Meyer
intvolume: ' 2663'
language:
- iso: eng
publication: Proceedings of the 33rd International Workshop on Description Logics
(DL 2020) co-located with the 17th International Conference on Principles of Knowledge
Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September
12th to 14th, 2020
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: 'Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification'
type: conference
user_id: '15504'
volume: 2663
year: '2020'
...
---
_id: '35821'
author:
- first_name: Lea
full_name: Budde, Lea
last_name: Budde
- first_name: Daniel
full_name: Frischemeier, Daniel
last_name: Frischemeier
- first_name: Rolf
full_name: Biehler, Rolf
id: '16274'
last_name: Biehler
- first_name: Franz Yannik
full_name: Fleischer, Franz Yannik
id: '42660'
last_name: Fleischer
orcid: https://orcid.org/0000-0003-0318-0329
- first_name: Dietrich
full_name: Gerstenberger, Dietrich
last_name: Gerstenberger
- first_name: Susanne
full_name: Podworny, Susanne
id: '30619'
last_name: Podworny
orcid: 0000-0002-6313-5987
- first_name: Carsten
full_name: Schulte, Carsten
id: '60311'
last_name: Schulte
citation:
ama: 'Budde L, Frischemeier D, Biehler R, et al. Data Science Education in Secondary
School: How to Develop Statistical Reasoning When Exploring Data Using CODAP.
In: Arnold P, ed. New Skills in the Changing World of Statistics Education:
Proceedings of the Roundtable Conference of the International Association for
Statistical Education (IASE), July 2020. ISI/IASE; 2020.'
apa: 'Budde, L., Frischemeier, D., Biehler, R., Fleischer, F. Y., Gerstenberger,
D., Podworny, S., & Schulte, C. (2020). Data Science Education in Secondary
School: How to Develop Statistical Reasoning When Exploring Data Using CODAP.
In P. Arnold (Ed.), New Skills in the Changing World of Statistics Education:
Proceedings of the Roundtable conference of the International Association for
Statistical Education (IASE), July 2020. ISI/IASE.'
bibtex: '@inbook{Budde_Frischemeier_Biehler_Fleischer_Gerstenberger_Podworny_Schulte_2020,
place={Voorborg, The Netherlands}, title={Data Science Education in Secondary
School: How to Develop Statistical Reasoning When Exploring Data Using CODAP},
booktitle={New Skills in the Changing World of Statistics Education: Proceedings
of the Roundtable conference of the International Association for Statistical
Education (IASE), July 2020}, publisher={ISI/IASE}, author={Budde, Lea and Frischemeier,
Daniel and Biehler, Rolf and Fleischer, Franz Yannik and Gerstenberger, Dietrich
and Podworny, Susanne and Schulte, Carsten}, editor={Arnold, P.}, year={2020}
}'
chicago: 'Budde, Lea, Daniel Frischemeier, Rolf Biehler, Franz Yannik Fleischer,
Dietrich Gerstenberger, Susanne Podworny, and Carsten Schulte. “Data Science Education
in Secondary School: How to Develop Statistical Reasoning When Exploring Data
Using CODAP.” In New Skills in the Changing World of Statistics Education:
Proceedings of the Roundtable Conference of the International Association for
Statistical Education (IASE), July 2020, edited by P. Arnold. Voorborg, The
Netherlands: ISI/IASE, 2020.'
ieee: 'L. Budde et al., “Data Science Education in Secondary School: How
to Develop Statistical Reasoning When Exploring Data Using CODAP,” in New Skills
in the Changing World of Statistics Education: Proceedings of the Roundtable conference
of the International Association for Statistical Education (IASE), July 2020,
P. Arnold, Ed. Voorborg, The Netherlands: ISI/IASE, 2020.'
mla: 'Budde, Lea, et al. “Data Science Education in Secondary School: How to Develop
Statistical Reasoning When Exploring Data Using CODAP.” New Skills in the Changing
World of Statistics Education: Proceedings of the Roundtable Conference of the
International Association for Statistical Education (IASE), July 2020, edited
by P. Arnold, ISI/IASE, 2020.'
short: 'L. Budde, D. Frischemeier, R. Biehler, F.Y. Fleischer, D. Gerstenberger,
S. Podworny, C. Schulte, in: P. Arnold (Ed.), New Skills in the Changing World
of Statistics Education: Proceedings of the Roundtable Conference of the International
Association for Statistical Education (IASE), July 2020, ISI/IASE, Voorborg, The
Netherlands, 2020.'
date_created: 2023-01-10T11:41:21Z
date_updated: 2024-11-12T11:03:59Z
ddc:
- '510'
department:
- _id: '363'
- _id: '67'
editor:
- first_name: P.
full_name: Arnold, P.
last_name: Arnold
file:
- access_level: closed
content_type: application/pdf
creator: krueter
date_created: 2024-11-12T11:03:44Z
date_updated: 2024-11-12T11:03:44Z
file_id: '56999'
file_name: IASE2020_Roundtable_24_Frischem.pdf
file_size: 340591
relation: main_file
success: 1
file_date_updated: 2024-11-12T11:03:44Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: https://fddm.uni-paderborn.de/fileadmin/mathematik/Didaktik_der_Mathematik/BiehlerRolf/Publikationen/IASE2020_Roundtable_24_Frischem.pdf
place: Voorborg, The Netherlands
publication: 'New Skills in the Changing World of Statistics Education: Proceedings
of the Roundtable conference of the International Association for Statistical Education
(IASE), July 2020'
publisher: ISI/IASE
status: public
title: 'Data Science Education in Secondary School: How to Develop Statistical Reasoning
When Exploring Data Using CODAP'
type: book_chapter
user_id: '37888'
year: '2020'
...
---
_id: '20510'
author:
- first_name: Manuel
full_name: Benz, Manuel
last_name: Benz
- first_name: Erik
full_name: Krogh Kristensen, Erik
last_name: Krogh Kristensen
- first_name: Linghui
full_name: Luo, Linghui
last_name: Luo
- first_name: Nataniel
full_name: P. Borges Jr., Nataniel
last_name: P. Borges Jr.
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Andreas
full_name: Zeller, Andreas
last_name: Zeller
citation:
ama: 'Benz M, Krogh Kristensen E, Luo L, P. Borges Jr. N, Bodden E, Zeller A. Heaps’n
Leaks: How Heap Snapshots Improve Android Taint Analysis. In: International
Conference for Software Engineering (ICSE). ; 2020.'
apa: 'Benz, M., Krogh Kristensen, E., Luo, L., P. Borges Jr., N., Bodden, E., &
Zeller, A. (2020). Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis.
International Conference for Software Engineering (ICSE).'
bibtex: '@inproceedings{Benz_Krogh Kristensen_Luo_P. Borges Jr._Bodden_Zeller_2020,
title={Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis}, booktitle={International
Conference for Software Engineering (ICSE)}, author={Benz, Manuel and Krogh Kristensen,
Erik and Luo, Linghui and P. Borges Jr., Nataniel and Bodden, Eric and Zeller,
Andreas}, year={2020} }'
chicago: 'Benz, Manuel, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges Jr.,
Eric Bodden, and Andreas Zeller. “Heaps’n Leaks: How Heap Snapshots Improve Android
Taint Analysis.” In International Conference for Software Engineering (ICSE),
2020.'
ieee: 'M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, and A.
Zeller, “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis,” 2020.'
mla: 'Benz, Manuel, et al. “Heaps’n Leaks: How Heap Snapshots Improve Android Taint
Analysis.” International Conference for Software Engineering (ICSE), 2020.'
short: 'M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller,
in: International Conference for Software Engineering (ICSE), 2020.'
date_created: 2020-11-26T08:47:56Z
date_updated: 2025-04-07T10:24:14Z
department:
- _id: '76'
language:
- iso: eng
publication: International Conference for Software Engineering (ICSE)
status: public
title: 'Heaps''n Leaks: How Heap Snapshots Improve Android Taint Analysis'
type: conference
user_id: '15249'
year: '2020'
...
---
_id: '20508'
author:
- first_name: Lisa
full_name: Nguyen Quang Do, Lisa
last_name: Nguyen Quang Do
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Nguyen Quang Do L, Bodden E. Explaining Static Analysis with Rule Graphs. IEEE
Transactions on Software Engineering. Published online 2020.
apa: Nguyen Quang Do, L., & Bodden, E. (2020). Explaining Static Analysis with
Rule Graphs. IEEE Transactions on Software Engineering.
bibtex: '@article{Nguyen Quang Do_Bodden_2020, title={Explaining Static Analysis
with Rule Graphs}, journal={IEEE Transactions on Software Engineering}, author={Nguyen
Quang Do, Lisa and Bodden, Eric}, year={2020} }'
chicago: Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with
Rule Graphs.” IEEE Transactions on Software Engineering, 2020.
ieee: L. Nguyen Quang Do and E. Bodden, “Explaining Static Analysis with Rule Graphs,”
IEEE Transactions on Software Engineering, 2020.
mla: Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with Rule
Graphs.” IEEE Transactions on Software Engineering, 2020.
short: L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering
(2020).
date_created: 2020-11-26T08:38:33Z
date_updated: 2025-04-07T10:22:44Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/tse20ruleGraphs.pdf
publication: IEEE Transactions on Software Engineering
status: public
title: Explaining Static Analysis with Rule Graphs
type: journal_article
user_id: '15249'
year: '2020'
...
---
_id: '60386'
abstract:
- lang: eng
text: 'We propose a novel approach to represent maps between two discrete
surfaces of the same genus and to minimize intrinsic mapping distortion. Our maps
are well-defined at every surface point and are guaranteed to be continuous bijections
(surface homeomorphisms). As a key feature of our approach, only the images of
vertices need to be represented explicitly, since the images of all other points
(on edges or in faces) are properly defined implicitly. This definition is via
unique geodesics in metrics of constant Gaussian curvature. Our method is built
upon the fact that such metrics exist on surfaces of arbitrary topology, without
the need for any cuts or cones (as asserted by the uniformization theorem). Depending
on the surfaces'' genus, these metrics exhibit one of the three classical geometries:
Euclidean, spherical or hyperbolic. Our formulation handles constructions in all
three geometries in a unified way. In addition, by considering not only the vertex
images but also the discrete metric as degrees of freedom, our formulation enables
us to simultaneously optimize the images of these vertices and images of all other
points.'
author:
- first_name: Patrick
full_name: Schmidt, Patrick
last_name: Schmidt
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
- first_name: Janis
full_name: Born, Janis
last_name: Born
- first_name: Leif
full_name: Kobbelt, Leif
last_name: Kobbelt
citation:
ama: Schmidt P, Campen M, Born J, Kobbelt L. Inter-surface maps via constant-curvature
metrics. ACM Transactions on Graphics. 2020;39(4). doi:10.1145/3386569.3392399
apa: Schmidt, P., Campen, M., Born, J., & Kobbelt, L. (2020). Inter-surface
maps via constant-curvature metrics. ACM Transactions on Graphics, 39(4).
https://doi.org/10.1145/3386569.3392399
bibtex: '@article{Schmidt_Campen_Born_Kobbelt_2020, title={Inter-surface maps via
constant-curvature metrics}, volume={39}, DOI={10.1145/3386569.3392399},
number={4}, journal={ACM Transactions on Graphics}, publisher={Association for
Computing Machinery (ACM)}, author={Schmidt, Patrick and Campen, Marcel and Born,
Janis and Kobbelt, Leif}, year={2020} }'
chicago: Schmidt, Patrick, Marcel Campen, Janis Born, and Leif Kobbelt. “Inter-Surface
Maps via Constant-Curvature Metrics.” ACM Transactions on Graphics 39,
no. 4 (2020). https://doi.org/10.1145/3386569.3392399.
ieee: 'P. Schmidt, M. Campen, J. Born, and L. Kobbelt, “Inter-surface maps via constant-curvature
metrics,” ACM Transactions on Graphics, vol. 39, no. 4, 2020, doi: 10.1145/3386569.3392399.'
mla: Schmidt, Patrick, et al. “Inter-Surface Maps via Constant-Curvature Metrics.”
ACM Transactions on Graphics, vol. 39, no. 4, Association for Computing
Machinery (ACM), 2020, doi:10.1145/3386569.3392399.
short: P. Schmidt, M. Campen, J. Born, L. Kobbelt, ACM Transactions on Graphics
39 (2020).
date_created: 2025-06-26T07:18:18Z
date_updated: 2025-07-14T12:48:27Z
department:
- _id: '969'
doi: 10.1145/3386569.3392399
extern: '1'
intvolume: ' 39'
issue: '4'
language:
- iso: eng
publication: ACM Transactions on Graphics
publication_identifier:
issn:
- 0730-0301
- 1557-7368
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Inter-surface maps via constant-curvature metrics
type: journal_article
user_id: '117512'
volume: 39
year: '2020'
...
---
_id: '60385'
abstract:
- lang: eng
text: We present a mesh generation algorithm for the curvilinear triangulation
of planar domains with piecewise polynomial boundary. The resulting mesh consists
of regular, injective higher-order triangular elements and precisely conforms
with the domain's curved boundary. No smoothness requirements are imposed on the
boundary. Prescribed piecewise polynomial curves in the interior, like material
interfaces or feature curves, can be taken into account for precise interpolation
by the resulting mesh's edges as well. In its core, the algorithm is based on
a novel explicit construction of guaranteed injective Bézier triangles with certain
edge curves and edge parametrizations prescribed. Due to the use of only rational
arithmetic, the algorithm can optionally be performed using exact number types
in practice, so as to provide robustness guarantees.
alternative_title:
- precise higher-order meshing of curved 2D domains
author:
- first_name: Manish
full_name: Mandad, Manish
last_name: Mandad
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
citation:
ama: Mandad M, Campen M. Bézier guarding. ACM Transactions on Graphics. 2020;39(4).
doi:10.1145/3386569.3392372
apa: Mandad, M., & Campen, M. (2020). Bézier guarding. ACM Transactions on
Graphics, 39(4). https://doi.org/10.1145/3386569.3392372
bibtex: '@article{Mandad_Campen_2020, title={Bézier guarding}, volume={39}, DOI={10.1145/3386569.3392372}, number={4},
journal={ACM Transactions on Graphics}, publisher={Association for Computing Machinery
(ACM)}, author={Mandad, Manish and Campen, Marcel}, year={2020} }'
chicago: Mandad, Manish, and Marcel Campen. “Bézier Guarding.” ACM Transactions
on Graphics 39, no. 4 (2020). https://doi.org/10.1145/3386569.3392372.
ieee: 'M. Mandad and M. Campen, “Bézier guarding,” ACM Transactions on Graphics,
vol. 39, no. 4, 2020, doi: 10.1145/3386569.3392372.'
mla: Mandad, Manish, and Marcel Campen. “Bézier Guarding.” ACM Transactions on
Graphics, vol. 39, no. 4, Association for Computing Machinery (ACM), 2020,
doi:10.1145/3386569.3392372.
short: M. Mandad, M. Campen, ACM Transactions on Graphics 39 (2020).
date_created: 2025-06-26T07:16:40Z
date_updated: 2025-07-14T12:48:24Z
department:
- _id: '969'
doi: 10.1145/3386569.3392372
extern: '1'
intvolume: ' 39'
issue: '4'
language:
- iso: eng
publication: ACM Transactions on Graphics
publication_identifier:
issn:
- 0730-0301
- 1557-7368
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Bézier guarding
type: journal_article
user_id: '117512'
volume: 39
year: '2020'
...
---
_id: '60383'
abstract:
- lang: eng
text: AbstractThe problem of seamless parametrization
of surfaces is of interest in the context of structured quadrilateral mesh generation
and spline‐based surface approximation. It has been tackled by a variety of approaches,
commonly relying on continuous numerical optimization to ultimately obtain suitable
parameter domains. We present a general combinatorial seamless parameter domain
construction, free from the potential numerical issues inherent to continuous
optimization techniques in practice. The domains are constructed as abstract polygonal
complexes which can be embedded in a discrete planar grid space, as unions of
unit squares. We ensure that the domain structure matches any prescribed parametrization
singularities (cones) and satisfies seamlessness conditions. Surfaces of arbitrary
genus are supported. Once a domain suitable for a given surface is constructed,
a seamless and locally injective parametrization over this domain can be obtained
using existing planar disk mapping techniques, making recourse to Tutte's classical
embedding theorem.
author:
- first_name: Jiaran
full_name: Zhou, Jiaran
last_name: Zhou
- first_name: Changhe
full_name: Tu, Changhe
last_name: Tu
- first_name: Denis
full_name: Zorin, Denis
last_name: Zorin
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
citation:
ama: Zhou J, Tu C, Zorin D, Campen M. Combinatorial Construction of Seamless Parameter
Domains. Computer Graphics Forum. 2020;39(2):179-190. doi:10.1111/cgf.13922
apa: Zhou, J., Tu, C., Zorin, D., & Campen, M. (2020). Combinatorial Construction
of Seamless Parameter Domains. Computer Graphics Forum, 39(2), 179–190.
https://doi.org/10.1111/cgf.13922
bibtex: '@article{Zhou_Tu_Zorin_Campen_2020, title={Combinatorial Construction of
Seamless Parameter Domains}, volume={39}, DOI={10.1111/cgf.13922},
number={2}, journal={Computer Graphics Forum}, publisher={Wiley}, author={Zhou,
Jiaran and Tu, Changhe and Zorin, Denis and Campen, Marcel}, year={2020}, pages={179–190}
}'
chicago: 'Zhou, Jiaran, Changhe Tu, Denis Zorin, and Marcel Campen. “Combinatorial
Construction of Seamless Parameter Domains.” Computer Graphics Forum 39,
no. 2 (2020): 179–90. https://doi.org/10.1111/cgf.13922.'
ieee: 'J. Zhou, C. Tu, D. Zorin, and M. Campen, “Combinatorial Construction of Seamless
Parameter Domains,” Computer Graphics Forum, vol. 39, no. 2, pp. 179–190,
2020, doi: 10.1111/cgf.13922.'
mla: Zhou, Jiaran, et al. “Combinatorial Construction of Seamless Parameter Domains.”
Computer Graphics Forum, vol. 39, no. 2, Wiley, 2020, pp. 179–90, doi:10.1111/cgf.13922.
short: J. Zhou, C. Tu, D. Zorin, M. Campen, Computer Graphics Forum 39 (2020) 179–190.
date_created: 2025-06-26T06:52:07Z
date_updated: 2025-07-14T12:48:19Z
department:
- _id: '969'
doi: 10.1111/cgf.13922
extern: '1'
intvolume: ' 39'
issue: '2'
language:
- iso: eng
page: 179-190
publication: Computer Graphics Forum
publication_identifier:
issn:
- 0167-7055
- 1467-8659
publication_status: published
publisher: Wiley
status: public
title: Combinatorial Construction of Seamless Parameter Domains
type: journal_article
user_id: '117512'
volume: 39
year: '2020'
...
---
_id: '60382'
article_number: '102862'
author:
- first_name: Manish
full_name: Mandad, Manish
last_name: Mandad
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
citation:
ama: Mandad M, Campen M. Efficient piecewise higher-order parametrization of discrete
surfaces with local and global injectivity. Computer-Aided Design. 2020;127.
doi:10.1016/j.cad.2020.102862
apa: Mandad, M., & Campen, M. (2020). Efficient piecewise higher-order parametrization
of discrete surfaces with local and global injectivity. Computer-Aided Design,
127, Article 102862. https://doi.org/10.1016/j.cad.2020.102862
bibtex: '@article{Mandad_Campen_2020, title={Efficient piecewise higher-order parametrization
of discrete surfaces with local and global injectivity}, volume={127}, DOI={10.1016/j.cad.2020.102862},
number={102862}, journal={Computer-Aided Design}, publisher={Elsevier BV}, author={Mandad,
Manish and Campen, Marcel}, year={2020} }'
chicago: Mandad, Manish, and Marcel Campen. “Efficient Piecewise Higher-Order Parametrization
of Discrete Surfaces with Local and Global Injectivity.” Computer-Aided Design
127 (2020). https://doi.org/10.1016/j.cad.2020.102862.
ieee: 'M. Mandad and M. Campen, “Efficient piecewise higher-order parametrization
of discrete surfaces with local and global injectivity,” Computer-Aided Design,
vol. 127, Art. no. 102862, 2020, doi: 10.1016/j.cad.2020.102862.'
mla: Mandad, Manish, and Marcel Campen. “Efficient Piecewise Higher-Order Parametrization
of Discrete Surfaces with Local and Global Injectivity.” Computer-Aided Design,
vol. 127, 102862, Elsevier BV, 2020, doi:10.1016/j.cad.2020.102862.
short: M. Mandad, M. Campen, Computer-Aided Design 127 (2020).
date_created: 2025-06-26T06:50:22Z
date_updated: 2025-07-14T12:48:16Z
department:
- _id: '969'
doi: 10.1016/j.cad.2020.102862
extern: '1'
intvolume: ' 127'
language:
- iso: eng
publication: Computer-Aided Design
publication_identifier:
issn:
- 0010-4485
publication_status: published
publisher: Elsevier BV
status: public
title: Efficient piecewise higher-order parametrization of discrete surfaces with
local and global injectivity
type: journal_article
user_id: '117512'
volume: 127
year: '2020'
...
---
_id: '21267'
author:
- first_name: Lea
full_name: Budde, Lea
id: '32443'
last_name: Budde
- first_name: Carsten
full_name: Schulte, Carsten
id: '60311'
last_name: Schulte
- first_name: Heike M.
full_name: Buhl, Heike M.
id: '27152'
last_name: Buhl
- first_name: Andreas
full_name: Muehling, Andreas
last_name: Muehling
citation:
ama: Budde L, Schulte C, Buhl HM, Muehling A. Understanding and Explaining Digital
Artefacts - the Role of a Duality (Accepted Paper - Digital Publication Follows).
Seventh International Conference on Learning and Teaching in Computing and
Engineeringe. Published online 2020.
apa: Budde, L., Schulte, C., Buhl, H. M., & Muehling, A. (2020). Understanding
and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital
Publication Follows). Seventh International Conference on Learning and Teaching
in Computing and Engineeringe.
bibtex: '@article{Budde_Schulte_Buhl_Muehling_2020, title={Understanding and Explaining
Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication
Follows)}, journal={Seventh International Conference on Learning and Teaching
in Computing and Engineeringe}, publisher={(IEEE)}, author={Budde, Lea and Schulte,
Carsten and Buhl, Heike M. and Muehling, Andreas}, year={2020} }'
chicago: Budde, Lea, Carsten Schulte, Heike M. Buhl, and Andreas Muehling. “Understanding
and Explaining Digital Artefacts - the Role of a Duality (Accepted Paper - Digital
Publication Follows).” Seventh International Conference on Learning and Teaching
in Computing and Engineeringe, 2020.
ieee: L. Budde, C. Schulte, H. M. Buhl, and A. Muehling, “Understanding and Explaining
Digital Artefacts - the Role of a Duality (Accepted Paper - Digital Publication
Follows),” Seventh International Conference on Learning and Teaching in Computing
and Engineeringe, 2020.
mla: Budde, Lea, et al. “Understanding and Explaining Digital Artefacts - the Role
of a Duality (Accepted Paper - Digital Publication Follows).” Seventh International
Conference on Learning and Teaching in Computing and Engineeringe, (IEEE),
2020.
short: L. Budde, C. Schulte, H.M. Buhl, A. Muehling, Seventh International Conference
on Learning and Teaching in Computing and Engineeringe (2020).
date_created: 2021-02-24T09:18:36Z
date_updated: 2025-08-12T07:15:23Z
department:
- _id: '67'
- _id: '427'
keyword:
- ⛔ No DOI found
language:
- iso: eng
project:
- _id: '114'
grant_number: '438445824'
name: 'TRR 318 - A04: TRR 318 - Integration des technischen Modells in das Partnermodell
bei der Erklärung von digitalen Artefakten (Teilprojekt A04)'
publication: Seventh International Conference on Learning and Teaching in Computing
and Engineeringe
publisher: (IEEE)
status: public
title: Understanding and Explaining Digital Artefacts - the Role of a Duality (Accepted
Paper - Digital Publication Follows)
type: journal_article
user_id: '90826'
year: '2020'
...
---
_id: '15266'
author:
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Ivan
full_name: Jovanovikj, Ivan
id: '39187'
last_name: Jovanovikj
orcid: https://orcid.org/0000-0002-1838-794X
- first_name: Kai
full_name: Biermeier, Kai
id: '55908'
last_name: Biermeier
orcid: 0000-0002-2879-2359
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
orcid: 0000-0003-3084-0409
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Yigitbas E, Jovanovikj I, Biermeier K, Sauer S, Engels G. Integrated Model-driven
Development of Self-adaptive User Interfaces . International Journal on Software
and Systems Modeling (SoSyM). Published online 2020.
apa: Yigitbas, E., Jovanovikj, I., Biermeier, K., Sauer, S., & Engels, G. (2020).
Integrated Model-driven Development of Self-adaptive User Interfaces . International
Journal on Software and Systems Modeling (SoSyM).
bibtex: '@article{Yigitbas_Jovanovikj_Biermeier_Sauer_Engels_2020, title={Integrated
Model-driven Development of Self-adaptive User Interfaces }, journal={International
Journal on Software and Systems Modeling (SoSyM)}, publisher={Springer}, author={Yigitbas,
Enes and Jovanovikj, Ivan and Biermeier, Kai and Sauer, Stefan and Engels, Gregor},
year={2020} }'
chicago: Yigitbas, Enes, Ivan Jovanovikj, Kai Biermeier, Stefan Sauer, and Gregor
Engels. “Integrated Model-Driven Development of Self-Adaptive User Interfaces
.” International Journal on Software and Systems Modeling (SoSyM), 2020.
ieee: E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, and G. Engels, “Integrated
Model-driven Development of Self-adaptive User Interfaces ,” International
Journal on Software and Systems Modeling (SoSyM), 2020.
mla: Yigitbas, Enes, et al. “Integrated Model-Driven Development of Self-Adaptive
User Interfaces .” International Journal on Software and Systems Modeling (SoSyM),
Springer, 2020.
short: E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, G. Engels, International
Journal on Software and Systems Modeling (SoSyM) (2020).
date_created: 2019-12-10T11:31:55Z
date_updated: 2025-09-10T11:41:54Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
main_file_link:
- url: https://doi.org/10.1007/s10270-020-00777-7
publication: International Journal on Software and Systems Modeling (SoSyM)
publisher: Springer
status: public
title: 'Integrated Model-driven Development of Self-adaptive User Interfaces '
type: journal_article
user_id: '8447'
year: '2020'
...