Dagstuhl reportsPub Date : 2021-01-01DOI: 10.4230/DagRep.11.10.111
Falai Chen, T. Dokken, Géraldine Morin
{"title":"Geometric Modeling: Interoperability and New Challenges (Dagstuhl Seminar 21471)","authors":"Falai Chen, T. Dokken, Géraldine Morin","doi":"10.4230/DagRep.11.10.111","DOIUrl":"https://doi.org/10.4230/DagRep.11.10.111","url":null,"abstract":"This report documents the program and the outcomes of Dagstuhl Seminar 21471 “Geometric Modeling: Interoperability and New Challenges”. This seminar was initially planned on May 2021, and was delayed due to the pandemic. The seminar took place as a hybrid version with on site and remote participants. It provided a great opportunity for exchanges which, as pointed out by participants, were very appreciated in this period where international scientific interactions have been diminished. This report summarizes the seminar communications, first by providing the abstracts of the talks which present recent results in geometric modeling. Moreover, the scientific exchanges during the seminar provided a great basis for scientific discussions that resulted to the included five reports which highlight the new and future challenges in Geometric Modeling. In this talk we present the spatial counterpart of the recently introduced class of planar Pythagorean-Hodograph (PH) B–Spline curves. Spatial Pythagorean-Hodograph B–Spline curves are odd-degree, non-uniform, parametric spatial B–Spline curves whose arc length is a B–Spline function of the curve parameter and can thus be computed explicitly without numerical quadrature. We provide the general construction of these curves using quaternion algebra and formulate the problem of point interpolation by clamped and closed PH B–Spline curves of arbitrary odd degree. In particular, we provide closed form solutions for the cubic and the quintic cases, and discuss how degree-(2 n + 1), C n -continuous PH B–Spline curves can be computed by optimizing several scale-invariant fairness measures with interpolation constraints. Finally, we define Rational B-Spline Euler Rodrigues Frames (RBSERF) for regular PH B-Spline curves as well as rational tensor product B-Spline pipe surfaces. A functional is introduced to minimize the rotation of the RBSERF, and the results are illustrated on the corresponding rational pipe surface. The design and analysis of adaptive isogeometric methods with hierarchical spline constructions has attracted remarkable interest in the last few years. In order to increase the flexibility of the hierarchical approximation framework, while simultaneously preserving the performance of the overall adaptive scheme, particular attention is currently devoted to address the fast formation of system matrices arising from hierarchical discretization as well as to the development of effective multi-patch extensions. The talk will present recent results on these directions. strategies to generate 2-dimensional random auxetic meta-materials. Starting from a dense irregular network, we seek to reduce the Poisson’s ratio, by pruning bonds (edges) based solely on geometric criteria. To this end, we first deduce some prominent geometric features from regular auxetic networks and then introduce a strategy combining a pure geometric pruning algorithm followed by a physics-based testing phase to determine the resulting P","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"34 1","pages":"111-150"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70434810","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Computational Geometry (Dagstuhl Seminar 21181)","authors":"Siu-Wing Cheng, A. Driemel, J. M. Phillips","doi":"10.4230/DagRep.11.4.1","DOIUrl":"https://doi.org/10.4230/DagRep.11.4.1","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"1-19"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70434862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2021-01-01DOI: 10.4230/DagRep.11.7.16
P. Carns, J. Kunkel, K. Mohror, M. Schulz
{"title":"Understanding I/O Behavior in Scientific and Data-Intensive Computing (Dagstuhl Seminar 21332)","authors":"P. Carns, J. Kunkel, K. Mohror, M. Schulz","doi":"10.4230/DagRep.11.7.16","DOIUrl":"https://doi.org/10.4230/DagRep.11.7.16","url":null,"abstract":"Two key changes are driving an immediate need for deeper understanding of I/O workloads in highperformance computing (HPC): applications are evolving beyond the traditional bulk-synchronous models to include integrated multistep workflows, in situ analysis, artificial intelligence, and data analytics methods; and storage systems designs are evolving beyond a two-tiered file system and archive model to complex hierarchies containing temporary, fast tiers of storage close to compute resources with markedly different performance properties. Both of these changes represent a significant departure from the decades-long status quo and require investigation from storage researchers and practitioners to understand their impacts on overall I/O performance. Without an in-depth understanding of I/O workload behavior, storage system designers, I/O middleware developers, facility operators, and application developers will not know how best to design or utilize the additional tiers for optimal performance of a given I/O workload. The goal of this Dagstuhl Seminar was to bring together experts in I/O performance analysis and storage system architecture to collectively evaluate how our community is capturing and analyzing I/O workloads on HPC systems, identify any gaps in our methodologies, and determine how to develop a better in-depth understanding of their impact on HPC systems. Our discussions were lively and resulted in identifying critical needs for research in the area of understanding I/O behavior. We document those discussions in this report. Seminar August 15–20, 2021 – https://www.dagstuhl.de/21332 2012 ACM Subject Classification General and reference → General literature; Hardware → 3D integrated circuits; Software and its engineering → Software design engineering; Networks → Network performance analysis","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"16-75"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435004","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2021-01-01DOI: 10.4230/DagRep.11.10.151
T. Coquand, H. Ishihara, Sara Negri, P. Schuster
{"title":"Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472)","authors":"T. Coquand, H. Ishihara, Sara Negri, P. Schuster","doi":"10.4230/DagRep.11.10.151","DOIUrl":"https://doi.org/10.4230/DagRep.11.10.151","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"151-172"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70434536","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2021-01-01DOI: 10.4230/DagRep.11.6.38
Stratos Idreos, Viktor Leis, K. Sattler, M. Seltzer
{"title":"Data Structures for Modern Memory and Storage Hierarchies (Dagstuhl Seminar 21283)","authors":"Stratos Idreos, Viktor Leis, K. Sattler, M. Seltzer","doi":"10.4230/DagRep.11.6.38","DOIUrl":"https://doi.org/10.4230/DagRep.11.6.38","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"38-53"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70434874","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2021-01-01DOI: 10.4230/DagRep.11.7.76
A. Ding, Ella Peltonen, S. Tarkoma, Lars C. Wolf
{"title":"Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 21342)","authors":"A. Ding, Ella Peltonen, S. Tarkoma, Lars C. Wolf","doi":"10.4230/DagRep.11.7.76","DOIUrl":"https://doi.org/10.4230/DagRep.11.7.76","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"76-88"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435016","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2021-01-01DOI: 10.4230/DagRep.11.8.11
Tiansi Dong, Achim Rettinger, Jie Tang, B. Tversky, F. V. Harmelen
{"title":"Structure and Learning (Dagstuhl Seminar 21362)","authors":"Tiansi Dong, Achim Rettinger, Jie Tang, B. Tversky, F. V. Harmelen","doi":"10.4230/DagRep.11.8.11","DOIUrl":"https://doi.org/10.4230/DagRep.11.8.11","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"11-34"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435122","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dagstuhl reportsPub Date : 2021-01-01DOI: 10.4230/DagRep.11.8.35
M. P. Bonacina, Philipp Rümmer, R. Schmidt
{"title":"Integrated Deduction (Dagstuhl Seminar 21371)","authors":"M. P. Bonacina, Philipp Rümmer, R. Schmidt","doi":"10.4230/DagRep.11.8.35","DOIUrl":"https://doi.org/10.4230/DagRep.11.8.35","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"35-51"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}