@inproceedings{21378,
author = {Hartel, Rita and Dunst, Alexander},
booktitle = {MANPU 2020: The 4th International Workshop on coMics ANalysis, Processing and Understanding@Pattern Recognition. ICPR International Workshops and Challenges},
isbn = {9783030687793},
issn = {0302-9743},
title = {{An OCR Pipeline and Semantic Text Analysis for Comics}},
doi = {10.1007/978-3-030-68780-9_19},
year = {2021},
}
@inbook{21587,
abstract = {Solving partial differential equations on unstructured grids is a cornerstone of engineering and scientific computing. Nowadays, heterogeneous parallel platforms with CPUs, GPUs, and FPGAs enable energy-efficient and computationally demanding simulations. We developed the HighPerMeshes C++-embedded Domain-Specific Language (DSL) for bridging the abstraction gap between the mathematical and algorithmic formulation of mesh-based algorithms for PDE problems on the one hand and an increasing number of heterogeneous platforms with their different parallel programming and runtime models on the other hand. Thus, the HighPerMeshes DSL aims at higher productivity in the code development process for multiple target platforms. We introduce the concepts as well as the basic structure of the HighPerMeshes DSL, and demonstrate its usage with three examples, a Poisson and monodomain problem, respectively, solved by the continuous finite element method, and the discontinuous Galerkin method for Maxwell’s equation. The mapping of the abstract algorithmic description onto parallel hardware, including distributed memory compute clusters, is presented. Finally, the achievable performance and scalability are demonstrated for a typical example problem on a multi-core CPU cluster.},
author = {Alhaddad, Samer and Förstner, Jens and Groth, Stefan and Grünewald, Daniel and Grynko, Yevgen and Hannig, Frank and Kenter, Tobias and Pfreundt, Franz-Josef and Plessl, Christian and Schotte, Merlind and Steinke, Thomas and Teich, Jürgen and Weiser, Martin and Wende, Florian},
booktitle = {Euro-Par 2020: Parallel Processing Workshops},
isbn = {9783030715922},
issn = {0302-9743},
keyword = {tet_topic_hpc},
title = {{HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids}},
doi = {10.1007/978-3-030-71593-9_15},
year = {2021},
}
@inbook{17337,
author = {Jazayeri, Bahar and Schwichtenberg, Simon and Küster, Jochen and Zimmermann, Olaf and Engels, Gregor},
booktitle = {Advanced Information Systems Engineering},
isbn = {9783030494346},
issn = {0302-9743},
title = {{Modeling and Analyzing Architectural Diversity of Open Platforms}},
doi = {10.1007/978-3-030-49435-3_3},
year = {2020},
}
@inbook{19561,
author = {Sellmann, Meinolf and Tierney, Kevin},
booktitle = {Lecture Notes in Computer Science},
isbn = {9783030535513},
issn = {0302-9743},
keyword = {pc2-ressources},
title = {{Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types}},
doi = {10.1007/978-3-030-53552-0_12},
year = {2020},
}
@inproceedings{17084,
author = {Weidmann, Nils and Anjorin, Anthony},
booktitle = {Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020},
editor = {Wehrheim, Heike and Cabot, Jordi},
isbn = {9783030452339},
issn = {0302-9743},
location = {Dublin, Ireland},
publisher = {Springer},
title = {{Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming}},
doi = {10.1007/978-3-030-45234-6_16},
year = {2020},
}
@inproceedings{17085,
author = {Schwichtenberg, Bahar and Schwichtenberg, Simon and Küster, Jochen and Zimmermann, Olaf and Engels, Gregor},
booktitle = {Advanced Information Systems Engineering},
isbn = {9783030494346},
issn = {0302-9743},
title = {{Modeling and Analyzing Architectural Diversity of Open Platforms}},
doi = {10.1007/978-3-030-49435-3_3},
year = {2020},
}
@inbook{21396,
abstract = {Verifiable random functions (VRFs) are essentially digital signatures with additional properties, namely verifiable uniqueness and pseudorandomness, which make VRFs a useful tool, e.g., to prevent enumeration in DNSSEC Authenticated Denial of Existence and the CONIKS key management system, or in the random committee selection of the Algorand blockchain.
Most standard-model VRFs rely on admissible hash functions (AHFs) to achieve security against adaptive attacks in the standard model. Known AHF constructions are based on error-correcting codes, which yield asymptotically efficient constructions. However, previous works do not clarify how the code should be instantiated concretely in the real world. The rate and the minimal distance of the selected code have significant impact on the efficiency of the resulting cryptosystem, therefore it is unclear if and how the aforementioned constructions can be used in practice.
First, we explain inherent limitations of code-based AHFs. Concretely, we assume that even if we were given codes that achieve the well-known Gilbert-Varshamov or McEliece-Rodemich-Rumsey-Welch bounds, existing AHF-based constructions of verifiable random functions (VRFs) can only be instantiated quite inefficiently. Then we introduce and construct computational AHFs (cAHFs). While classical AHFs are information-theoretic, and therefore work even in presence of computationally unbounded adversaries, cAHFs provide only security against computationally bounded adversaries. However, we show that cAHFs can be instantiated significantly more efficiently. Finally, we use our cAHF to construct the currently most efficient verifiable random function with full adaptive security in the standard model.},
author = {Jager, Tibor and Niehues, David},
booktitle = {Lecture Notes in Computer Science},
isbn = {9783030384708},
issn = {0302-9743},
keyword = {Admissible hash functions, Verifiable random functions, Error-correcting codes, Provable security},
location = {Waterloo, Canada},
title = {{On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions}},
doi = {10.1007/978-3-030-38471-5_13},
year = {2020},
}
@inbook{18014,
author = {El Mesaoudi-Paul, Adil and Weiß, Dimitri and Bengs, Viktor and Hüllermeier, Eyke and Tierney, Kevin},
booktitle = {Learning and Intelligent Optimization. LION 2020.},
isbn = {9783030535513},
issn = {0302-9743},
pages = {216 -- 232},
publisher = {Springer},
title = {{Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach}},
doi = {10.1007/978-3-030-53552-0_22},
volume = {12096},
year = {2020},
}
@inbook{20706,
author = {zur Heiden, Philipp},
booktitle = {Designing for Digital Transformation. Co-Creating Services with Citizens and Industry},
isbn = {9783030648220},
issn = {0302-9743},
title = {{Considering Context in Design Science Research: A Systematic Literature Review}},
doi = {10.1007/978-3-030-64823-7_21},
year = {2020},
}
@inbook{19521,
author = {Pfannschmidt, Karlson and Hüllermeier, Eyke},
booktitle = {Lecture Notes in Computer Science},
isbn = {9783030582845},
issn = {0302-9743},
title = {{Learning Choice Functions via Pareto-Embeddings}},
doi = {10.1007/978-3-030-58285-2_30},
year = {2020},
}