- document
-
Ahrens, B.P. (author), Matthes, Ralph (author), van der Weide, N.J. (author), Wullaert, K.F. (author)We present a formalization of different categorical structures used to interpret linear logic. Our formalization takes place in UniMath, a library of univalent mathematics based on the Coq proof assistant. All the categorical structures we formalize are based on monoidal categories. As such, one of our contributions is a practical, usable...conference paper 2024
- document
-
Polyportis, Athanasios (author), Mugge, R. (author), Magnier, L.B.M. (author)Despite their environmental benefits, products made from recycled materials are not readily adopted. Prior studies focused on improving consumer adoption via product attributes and marketing elements, but the impact of product appearance remains a gap in the literature. This research contributes by investigating how observability of the recycled...journal article 2024
- document
-
Gu, Lipeng (author), Yan, Xuefeng (author), Nan, L. (author), Zhu, Dingkun (author), Chen, Honghua (author), Wang, Weiming (author), Wei, Mingqiang (author)The conventional wisdom in point cloud analysis predominantly explores 3D geometries. It is often achieved through the introduction of intricate learnable geometric extractors in the encoder or by deepening networks with repeated blocks. However, these methods contain a significant number of learnable parameters, resulting in substantial...journal article 2024
- document
-
Gao, W. (author), Nan, L. (author), Boom, Bas (author), Ledoux, H. (author)We introduce a novel deep learning-based framework to interpret 3D urban scenes represented as textured meshes. Based on the observation that object boundaries typically align with the boundaries of planar regions, our framework achieves semantic segmentation in two steps: planarity-sensible over-segmentation followed by semantic...journal article 2023
- document
-
Zwaan, A.S. (author), van Antwerpen, H. (author)Static name binding (i.e., associating references with appropriate declarations) is an essential aspect of programming languages. However, it is usually treated in an unprincipled manner, often leaving a gap between formalization and implementation. The scope graph formalism mitigates these deficiencies by providing a well-defined, first...conference paper 2023
- document
-
Reinders, J.S. (author)Compilers transform a human readable source language into machine readable target language. Nanopass compilers simplify this approach by breaking up this transformation into small steps that are more understandable, maintainable, and extensible. We propose a semantics-driven variant of the nanopass compiler architecture exploring the use a...conference paper 2023
- document
-
Kurteva, A.K. (author), Pandit, Harshvardhan J. (author)Protecting and preserving individuals’ personal data is a legal obligation set out by the European Union’s General Data Protection Regulation (GDPR). However, the process of implementing data governance to support that, in a decentralised ecosystem, is still vague. Motivated by the need for lawful decentralised data processing, this paper...conference paper 2023
- document
-
Alaka, Shaad (author), Bidarra, Rafael (author)There are few proposals to improve the interactivity and control of wave function collapse (WFC) in a mixed-initiative setting. Moreover, most WFC algorithm variants operate on an simple, unstructured set of tiles. This limitation on the level of control provided to designers hampers their creative work in various ways. We propose...conference paper 2023
- document
-
Balint, J.T. (author), Bidarra, Rafael (author)A narrative world typically consists of several interrelated locations that, all together, fully support enacting a given story. For this, each location in a narrative world features all the objects as required there by the narrative, as well as a variety of other objects that plausibly describe or decorate the location. Procedural generation...journal article 2023
- document
-
Garrido, Ángel Luis (author), Pera, M.S. (author), Bobed, Carlos (author)Recommender Systems support a broad range of domains, each with peculiarities that recommendation algorithms must consider to produce appropriate suggestions. In the paper, we bring attention to a little-studied scenario related to the news domain: recommendations catering to media journalists. Based on the particular needs inherent to a...journal article 2023
- document
-
Oyibo, P.O. (author), Meulah, Brice (author), Bengtson, Michel (author), Lieshout, Lisette van (author), Oyibo, Wellington (author), Diehl, J.C. (author), Vdovin, Gleb (author), Agbana, T.E. (author)Purpose: Automated diagnosis of urogenital schistosomiasis using digital microscopy images of urine slides is an essential step toward the elimination of schistosomiasis as a disease of public health concern in Sub-Saharan African countries. We create a robust image dataset of urine samples obtained from field settings and develop a two-stage...journal article 2023
- document
-
Miljak, L. (author), Poulsen, C.B. (author), van Spaendonck, Flip (author)The goal of automated refactoring is to reduce maintenance effort. To realize this, programmers need to be able to trust or manually check that refactorings actually preserve behavior. To allow programmers to focus on such checks, automated refactorings should preserve program well-typedness. However, historically automated refactorings in...conference paper 2023
- document
-
Kougiatsos, N. (author), Zwaginga, J.J. (author), Pruyn, J.F.J. (author), Reppa, V. (author)To integrate and assist the system and automation design phases of complex marine vessels, this paper proposes a two-level semantically enhanced scheme. At the design level, the system components are described and automatically connected by a developed graph-making tool using semantic 'knowledge'. Decisions regarding the system selection are...conference paper 2023
- document
-
Yang, Z. (author), Ye, Qin (author), Stoter, J.E. (author), Nan, L. (author)Continuous implicit representations can flexibly describe complex 3D geometry and offer excellent potential for 3D point cloud analysis. However, it remains challenging for existing point-based deep learning architectures to leverage the implicit representations due to the discrepancy in data structures between implicit fields and point...journal article 2023
- document
-
El-Zawawy, Mohamed A. (author), Lal, C. (author), Conti, M. (author)With the rapid technological advancement in the Internet of Things (IoT) and Internet of Vehicles (IoV), we witness exponential growth of Connected and Autonomous Vehicles (CAVs). However, these integrations of IoV with other technologies make the IoV network and its interaction between different network components highly complex. Therefore,...journal article 2023
- document
-
Hai, R. (author), Koutras, C. (author), Quix, Christoph (author), Jarke, Matthias (author)Data lakes are becoming increasingly prevalent for Big Data management and data analytics. In contrast to traditional 'schema-on-write' approaches such as data warehouses, data lakes are repositories storing raw data in its original formats and providing a common access interface. Despite the strong interest raised from both academia and...journal article 2023
- document
-
Keshani, M. (author), Vos, Simcha (author), Proksch, S. (author)Software reuse is a common practice in modern software engineering to save time and energy while accelerating software delivery. Dependency managers like MAVEN offer a large ecosystem of reusable libraries that build the backbone of software reuse. Breaking changes, i.e., when an update to a library introduces incompatible changes that break...journal article 2023
- document
-
Izadi, M. (author), Nejati, Mahtab (author), Heydarnoori, Abbas (author)Software-related platforms such as GitHub and Stack Overflow, have enabled their users to collaboratively label software entities with a form of metadata called topics. Tagging software repositories with relevant topics can be exploited for facilitating various downstream tasks. For instance, a correct and complete set of topics assigned to a...journal article 2023
- document
-
The evolution of ontology in AEC: A two-decade synthesis, application domains, and future directionsFarghaly, Karim (author), Soman, R. K. (author), Zhou, Shanjing Alexander (author)Ontologies play a pivotal role in knowledge representation, particularly beneficial for the Architecture, Engineering, and Construction (AEC) sector due to its inherent data diversity and intricacy. Despite the growing interest in ontology and data integration research, especially with the advent of knowledge graphs and digital twins, a...review 2023
- document
-
Farghaly, Karim (author), Soman, R. K. (author), Whyte, Jennifer (author)In the realm of construction production control, effective communication across operational levels and the rapid influx of diverse data are essential. Yet, integrating this data faces challenges due to disparate systems and a lack of common terminology, resulting in data silos and hindered interoperability. An ontology-based solution emerges...journal article 2023