Skip to main content

Showing 1–50 of 503 results for author: Van, H

Searching in archive cs. Search in all archives.
.
  1. arXiv:2407.02336  [pdf, other

    cs.SE cs.DB

    Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Log

    Authors: Adrian Rebmann, Timotheus Kampik, Carl Corea, Han van der Aa

    Abstract: Detecting undesired process behavior is one of the main tasks of process mining and various conformance-checking techniques have been developed to this end. These techniques typically require a normative process model as input, specifically designed for the processes to be analyzed. Such models are rarely available, though, and their creation involves considerable manual effort.However, reference… ▽ More

    Submitted 2 July, 2024; originally announced July 2024.

    Comments: Preprint submitted to Information Systems

  2. arXiv:2407.02310  [pdf, other

    cs.CL

    Evaluating the Ability of LLMs to Solve Semantics-Aware Process Mining Tasks

    Authors: Adrian Rebmann, Fabian David Schmidt, Goran Glavaš, Han van der Aa

    Abstract: The process mining community has recently recognized the potential of large language models (LLMs) for tackling various process mining tasks. Initial studies report the capability of LLMs to support process analysis and even, to some extent, that they are able to reason about how processes work. This latter property suggests that LLMs could also be used to tackle process mining tasks that benefit… ▽ More

    Submitted 2 July, 2024; originally announced July 2024.

    Comments: Submitted to ICPM

  3. arXiv:2407.01800  [pdf, other

    cs.LG cs.AI

    Normalization and effective learning rates in reinforcement learning

    Authors: Clare Lyle, Zeyu Zheng, Khimya Khetarpal, James Martens, Hado van Hasselt, Razvan Pascanu, Will Dabney

    Abstract: Normalization layers have recently experienced a renaissance in the deep reinforcement learning and continual learning literature, with several works highlighting diverse benefits such as improving loss landscape conditioning and combatting overestimation bias. However, normalization brings with it a subtle but important side effect: an equivalence between growth in the norm of the network paramet… ▽ More

    Submitted 1 July, 2024; originally announced July 2024.

  4. arXiv:2407.00129  [pdf

    eess.IV cs.AI cs.HC

    Multimodal Learning and Cognitive Processes in Radiology: MedGaze for Chest X-ray Scanpath Prediction

    Authors: Akash Awasthi, Ngan Le, Zhigang Deng, Rishi Agrawal, Carol C. Wu, Hien Van Nguyen

    Abstract: Predicting human gaze behavior within computer vision is integral for develo** interactive systems that can anticipate user attention, address fundamental questions in cognitive science, and hold implications for fields like human-computer interaction (HCI) and augmented/virtual reality (AR/VR) systems. Despite methodologies introduced for modeling human eye gaze behavior, applying these models… ▽ More

    Submitted 28 June, 2024; originally announced July 2024.

    Comments: Submitted to the Journal

  5. arXiv:2406.19686  [pdf

    eess.IV cs.AI cs.CV cs.HC

    Enhancing Radiological Diagnosis: A Collaborative Approach Integrating AI and Human Expertise for Visual Miss Correction

    Authors: Akash Awasthi, Ngan Le, Zhigang Deng, Carol C. Wu, Hien Van Nguyen

    Abstract: Human-AI collaboration to identify and correct perceptual errors in chest radiographs has not been previously explored. This study aimed to develop a collaborative AI system, CoRaX, which integrates eye gaze data and radiology reports to enhance diagnostic accuracy in chest radiology by pinpointing perceptual errors and refining the decision-making process. Using public datasets REFLACX and EGD-CX… ▽ More

    Submitted 28 June, 2024; originally announced June 2024.

    Comments: Under Review in Journal

  6. arXiv:2406.17462  [pdf, other

    cs.CV cs.AI

    The Tree of Diffusion Life: Evolutionary Embeddings to Understand the Generation Process of Diffusion Models

    Authors: Vidya Prasad, Hans van Gorp, Christina Humer, Anna Vilanova, Nicola Pezzotti

    Abstract: Diffusion models generate high-quality samples by corrupting data with Gaussian noise and iteratively reconstructing it with deep learning, slowly transforming noisy images into refined outputs. Understanding this data evolution is important for interpretability but is complex due to its high-dimensional evolutionary nature. While traditional dimensionality reduction methods like t-distributed sto… ▽ More

    Submitted 25 June, 2024; originally announced June 2024.

  7. arXiv:2406.16785  [pdf, ps, other

    cs.LO cs.DC

    Bisimulation for Impure Simplicial Complexes

    Authors: Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa

    Abstract: As an alternative to Kripke models, simplicial complexes are a versatile semantic primitive on which to interpret epistemic logic. Given a set of vertices, a simplicial complex is a downward closed set of subsets, called simplexes, of the vertex set. A maximal simplex is called a facet. Impure simplicial complexes represent that some agents (processes) are dead. It is known that impure simplicial… ▽ More

    Submitted 24 June, 2024; originally announced June 2024.

    Comments: Proceedings of Advances in Modal Logic 2024

  8. arXiv:2406.06202  [pdf, other

    cs.LG

    Federated learning in food research

    Authors: Zuzanna Fendor, Bas H. M. van der Velden, Xinxin Wang, Andrea Jr. Carnoli, Osman Mutlu, Ali Hürriyetoğlu

    Abstract: Research in the food domain is at times limited due to data sharing obstacles, such as data ownership, privacy requirements, and regulations. While important, these obstacles can restrict data-driven methods such as machine learning. Federated learning, the approach of training models on locally kept data and only sharing the learned parameters, is a potential technique to alleviate data sharing o… ▽ More

    Submitted 10 June, 2024; originally announced June 2024.

  9. arXiv:2405.16255  [pdf, other

    cs.LG math.OC stat.ML

    GeoAdaLer: Geometric Insights into Adaptive Stochastic Gradient Descent Algorithms

    Authors: Chinedu Eleh, Masuzyo Mwanza, Ekene Aguegboh, Hans-Werner van Wyk

    Abstract: The Adam optimization method has achieved remarkable success in addressing contemporary challenges in stochastic optimization. This method falls within the realm of adaptive sub-gradient techniques, yet the underlying geometric principles guiding its performance have remained shrouded in mystery, and have long confounded researchers. In this paper, we introduce GeoAdaLer (Geometric Adaptive Learne… ▽ More

    Submitted 25 May, 2024; originally announced May 2024.

  10. arXiv:2405.15997  [pdf, other

    cs.RO

    $\textit{UniSaT}$: Unified-Objective Belief Model and Planner to Search for and Track Multiple Objects

    Authors: Leonardo Santos, Brady Moon, Sebastian Scherer, Hoa Van Nguyen

    Abstract: The problem of path planning for autonomously searching and tracking multiple objects is important to reconnaissance, surveillance, and many other data-gathering applications. Due to the inherent competing objectives of searching for new objects while maintaining tracks for found objects, most current approaches rely on multi-objective planning methods, leaving it up to the user to tune parameters… ▽ More

    Submitted 24 May, 2024; originally announced May 2024.

    Comments: 13 pages, 5 figures, 1 table

  11. arXiv:2405.15671  [pdf, other

    cs.LO

    The Undecidability of Quantified Announcements

    Authors: Thomas Ågotnes, Hans van Ditmarsch, Tim French

    Abstract: This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic (APAL), group announcement logic (GAL), and coalition announcement logic (CAL). In APAL we consider the informative consequences of any announcement, in GAL we consider the informative consequences of a group of agents (this group may be a proper subse… ▽ More

    Submitted 5 June, 2024; v1 submitted 24 May, 2024; originally announced May 2024.

    Comments: This paper contains a correction to the 2016 article, The Undecidablity of Quantified Announcements, published in Studia Logica

    Journal ref: The undecidability of quantified announcements. Studia Logica, 104(4) pages 597-640, 2016

  12. arXiv:2405.15264  [pdf, other

    cs.CV cs.AI

    Self-Contrastive Weakly Supervised Learning Framework for Prognostic Prediction Using Whole Slide Images

    Authors: Saul Fuster, Farbod Khoraminia, Julio Silva-Rodríguez, Umay Kiraz, Geert J. L. H. van Leenders, Trygve Eftestøl, Valery Naranjo, Emiel A. M. Janssen, Tahlita C. M. Zuiverloon, Kjersti Engan

    Abstract: We present a pioneering investigation into the application of deep learning techniques to analyze histopathological images for addressing the substantial challenge of automated prognostic prediction. Prognostic prediction poses a unique challenge as the ground truth labels are inherently weak, and the model must anticipate future events that are not directly observable in the image. To address thi… ▽ More

    Submitted 24 May, 2024; originally announced May 2024.

    Comments: https://github.com/Biomedical-Data-Analysis-Laboratory/HistoPrognostics

  13. arXiv:2405.11519  [pdf, other

    cs.CL cs.LG

    MSNER: A Multilingual Speech Dataset for Named Entity Recognition

    Authors: Quentin Meeus, Marie-Francine Moens, Hugo Van hamme

    Abstract: While extensively explored in text-based tasks, Named Entity Recognition (NER) remains largely neglected in spoken language understanding. Existing resources are limited to a single, English-only dataset. This paper addresses this gap by introducing MSNER, a freely available, multilingual speech corpus annotated with named entities. It provides annotations to the VoxPopuli dataset in four language… ▽ More

    Submitted 19 May, 2024; originally announced May 2024.

  14. arXiv:2405.08780  [pdf

    cs.CV cs.AI

    Harnessing the power of longitudinal medical imaging for eye disease prognosis using Transformer-based sequence modeling

    Authors: Gregory Holste, Mingquan Lin, Ruiwen Zhou, Fei Wang, Lei Liu, Qi Yan, Sarah H. Van Tassel, Kyle Kovacs, Emily Y. Chew, Zhiyong Lu, Zhangyang Wang, Yifan Peng

    Abstract: Deep learning has enabled breakthroughs in automated diagnosis from medical imaging, with many successful applications in ophthalmology. However, standard medical image classification approaches only assess disease presence at the time of acquisition, neglecting the common clinical setting of longitudinal imaging. For slow, progressive eye diseases like age-related macular degeneration (AMD) and p… ▽ More

    Submitted 14 May, 2024; originally announced May 2024.

  15. arXiv:2404.18981  [pdf, other

    eess.IV cs.AI

    Decoding Radiologists' Intentions: A Novel System for Accurate Region Identification in Chest X-ray Image Analysis

    Authors: Akash Awasthi, Safwan Ahmad, Bryant Le, Hien Van Nguyen

    Abstract: In the realm of chest X-ray (CXR) image analysis, radiologists meticulously examine various regions, documenting their observations in reports. The prevalence of errors in CXR diagnoses, particularly among inexperienced radiologists and hospital residents, underscores the importance of understanding radiologists' intentions and the corresponding regions of interest. This understanding is crucial f… ▽ More

    Submitted 29 April, 2024; originally announced April 2024.

    Comments: Accepted in ISBI 2024

  16. Going Beyond Popularity and Positivity Bias: Correcting for Multifactorial Bias in Recommender Systems

    Authors: ** Huang, Harrie Oosterhuis, Masoud Mansoury, Herke van Hoof, Maarten de Rijke

    Abstract: Two typical forms of bias in user interaction data with recommender systems (RSs) are popularity bias and positivity bias, which manifest themselves as the over-representation of interactions with popular items or items that users prefer, respectively. Debiasing methods aim to mitigate the effect of selection bias on the evaluation and optimization of RSs. However, existing debiasing methods only… ▽ More

    Submitted 29 April, 2024; originally announced April 2024.

    Comments: SIGIR 2024

  17. arXiv:2404.06267  [pdf, other

    cs.LG cs.AI

    PGTNet: A Process Graph Transformer Network for Remaining Time Prediction of Business Process Instances

    Authors: Keyvan Amiri Elyasi, Han van der Aa, Heiner Stuckenschmidt

    Abstract: We present PGTNet, an approach that transforms event logs into graph datasets and leverages graph-oriented data for training Process Graph Transformer Networks to predict the remaining time of business process instances. PGTNet consistently outperforms state-of-the-art deep learning approaches across a diverse range of 20 publicly available real-world event logs. Notably, our approach is most prom… ▽ More

    Submitted 9 April, 2024; originally announced April 2024.

    Comments: 16 pages, 4 figures, To be published in: Advanced Information Systems Engineering - 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 03-07, 2024, Proceedings

  18. arXiv:2404.03988  [pdf, other

    cs.LG cs.SI

    Model Selection with Model Zoo via Graph Learning

    Authors: Ziyu Li, Hilco van der Wilk, Danning Zhan, Megha Khosla, Alessandro Bozzon, Rihan Hai

    Abstract: Pre-trained deep learning (DL) models are increasingly accessible in public repositories, i.e., model zoos. Given a new prediction task, finding the best model to fine-tune can be computationally intensive and costly, especially when the number of pre-trained models is large. Selecting the right pre-trained models is crucial, yet complicated by the diversity of models from various model families (… ▽ More

    Submitted 5 April, 2024; originally announced April 2024.

    Comments: Accepted at 40th IEEE International Conference on Data Engineering (ICDE 2024)

  19. arXiv:2403.15301  [pdf, other

    cs.LG cs.AI

    Planning with a Learned Policy Basis to Optimally Solve Complex Tasks

    Authors: Guillermo Infante, David Kuric, Anders Jonsson, Vicenç Gómez, Herke van Hoof

    Abstract: Conventional reinforcement learning (RL) methods can successfully solve a wide range of sequential decision problems. However, learning policies that can generalize predictably across multiple tasks in a setting with non-Markovian reward specifications is a challenging problem. We propose to use successor features to learn a policy basis so that each (sub)policy in it solves a well-defined subprob… ▽ More

    Submitted 3 June, 2024; v1 submitted 22 March, 2024; originally announced March 2024.

  20. arXiv:2402.18762  [pdf, other

    cs.LG

    Disentangling the Causes of Plasticity Loss in Neural Networks

    Authors: Clare Lyle, Zeyu Zheng, Khimya Khetarpal, Hado van Hasselt, Razvan Pascanu, James Martens, Will Dabney

    Abstract: Underpinning the past decades of work on the design, initialization, and optimization of neural networks is a seemingly innocuous assumption: that the network is trained on a \textit{stationary} data distribution. In settings where this assumption is violated, e.g.\ deep reinforcement learning, learning algorithms become unstable and brittle with respect to hyperparameters and even random seeds. O… ▽ More

    Submitted 28 February, 2024; originally announced February 2024.

  21. arXiv:2402.16645  [pdf, other

    cs.RO eess.SY

    Learning Based NMPC Adaptation for Autonomous Driving using Parallelized Digital Twin

    Authors: Jean Pierre Allamaa, Panagiotis Patrinos, Herman Van der Auweraer, Tong Duy Son

    Abstract: In this work, we address the problem of transferring an autonomous driving (AD) module from one domain to another, in particular from simulation to the real world (Sim2Real). We propose a data-efficient method for online and on-the-fly learning based adaptation for parametrizable control architectures such that the target closed-loop performance is optimized under several uncertainty sources such… ▽ More

    Submitted 26 February, 2024; originally announced February 2024.

  22. arXiv:2402.10291  [pdf, other

    cs.LG stat.ML

    An Evaluation of Real-time Adaptive Sampling Change Point Detection Algorithm using KCUSUM

    Authors: Vijayalakshmi Saravanan, Perry Siehien, Shinjae Yoo, Hubertus Van Dam, Thomas Flynn, Christopher Kelly, Khaled Z Ibrahim

    Abstract: Detecting abrupt changes in real-time data streams from scientific simulations presents a challenging task, demanding the deployment of accurate and efficient algorithms. Identifying change points in live data stream involves continuous scrutiny of incoming observations for deviations in their statistical characteristics, particularly in high-volume data scenarios. Maintaining a balance between su… ▽ More

    Submitted 4 April, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

    Comments: 16 pages. arXiv admin note: text overlap with arXiv:1903.01661

    MSC Class: CCS

  23. arXiv:2402.08255  [pdf, other

    cs.LG cs.AI cs.NE

    Distal Interference: Exploring the Limits of Model-Based Continual Learning

    Authors: Heinrich van Deventer, Anna Sergeevna Bosman

    Abstract: Continual learning is the sequential learning of different tasks by a machine learning model. Continual learning is known to be hindered by catastrophic interference or forgetting, i.e. rapid unlearning of earlier learned tasks when new tasks are learned. Despite their practical success, artificial neural networks (ANNs) are prone to catastrophic interference. This study analyses how gradient desc… ▽ More

    Submitted 13 February, 2024; originally announced February 2024.

    MSC Class: 68T07 ACM Class: I.5.1

  24. arXiv:2402.07746  [pdf

    eess.IV cs.CV

    Minimally Interactive Segmentation of Soft-Tissue Tumors on CT and MRI using Deep Learning

    Authors: Douwe J. Spaanderman, Martijn P. A. Starmans, Gonnie C. M. van Erp, David F. Hanff, Judith H. Sluijter, Anne-Rose W. Schut, Geert J. L. H. van Leenders, Cornelis Verhoef, Dirk J. Grunhagen, Wiro J. Niessen, Jacob J. Visser, Stefan Klein

    Abstract: Segmentations are crucial in medical imaging to obtain morphological, volumetric, and radiomics biomarkers. Manual segmentation is accurate but not feasible in the radiologist's clinical workflow, while automatic segmentation generally obtains sub-par performance. We therefore developed a minimally interactive deep learning-based segmentation method for soft-tissue tumors (STTs) on CT and MRI. The… ▽ More

    Submitted 12 February, 2024; originally announced February 2024.

  25. arXiv:2402.02239  [pdf, other

    cs.LG stat.ML

    Distributional Reduction: Unifying Dimensionality Reduction and Clustering with Gromov-Wasserstein

    Authors: Hugues Van Assel, Cédric Vincent-Cuaz, Nicolas Courty, Rémi Flamary, Pascal Frossard, Titouan Vayer

    Abstract: Unsupervised learning aims to capture the underlying structure of potentially large and high-dimensional datasets. Traditionally, this involves using dimensionality reduction (DR) methods to project data onto lower-dimensional spaces or organizing points into meaningful clusters (clustering). In this work, we revisit these approaches under the lens of optimal transport and exhibit relationships wi… ▽ More

    Submitted 22 May, 2024; v1 submitted 3 February, 2024; originally announced February 2024.

    Comments: 38 pages, 15 figures

  26. arXiv:2401.13708  [pdf, other

    cs.HC cs.AI cs.LG q-bio.QM stat.ML

    Accelerating hyperbolic t-SNE

    Authors: Martin Skrodzki, Hunter van Geffen, Nicolas F. Chaves-de-Plaza, Thomas Höllt, Elmar Eisemann, Klaus Hildebrandt

    Abstract: The need to understand the structure of hierarchical or high-dimensional data is present in a variety of fields. Hyperbolic spaces have proven to be an important tool for embedding computations and analysis tasks as their non-linear nature lends itself well to tree or graph data. Subsequently, they have also been used in the visualization of high-dimensional data, where they exhibit increased embe… ▽ More

    Submitted 23 January, 2024; originally announced January 2024.

  27. arXiv:2401.10291  [pdf, other

    eess.SP cs.SD eess.AS

    Detecting Post-Stroke Aphasia Via Brain Responses to Speech in a Deep Learning Framework

    Authors: Pieter De Clercq, Corentin Puffay, Jill Kries, Hugo Van Hamme, Maaike Vandermosten, Tom Francart, Jonas Vanthornhout

    Abstract: Aphasia, a language disorder primarily caused by a stroke, is traditionally diagnosed using behavioral language tests. However, these tests are time-consuming, require manual interpretation by trained clinicians, suffer from low ecological validity, and diagnosis can be biased by comorbid motor and cognitive problems present in aphasia. In this study, we introduce an automated screening tool for s… ▽ More

    Submitted 17 January, 2024; originally announced January 2024.

    Comments: Shared first authors: De Clercq & Puffay

  28. A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems

    Authors: Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid

    Abstract: We provide an epistemic logical language and semantics for the modeling and analysis of byzantine fault-tolerant multi-agent systems. This not only facilitates reasoning about the agents' fault status but also supports model updates for implementing repair and state recovery. For each agent, besides the standard knowledge modality our logic provides an additional modality called hope, which is cap… ▽ More

    Submitted 27 June, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

    Comments: Extended preprint

    Journal ref: Proceedings of IJCAR 2024, LNAI v. 14740 (2024), pp. 114-134

  29. arXiv:2401.05427  [pdf, other

    eess.SP astro-ph.IM cs.DC cs.DS

    Slide FFT on a homogeneous mesh in wafer-scale computing

    Authors: Maurice H. P. M. van Putten, Leighton Wilson, Adam W. Lavely, Mark Hair

    Abstract: Searches for signals at low signal-to-noise ratios frequently involve the Fast Fourier Transform (FFT). For high-throughput searches, we here consider FFT on the homogeneous mesh of Processing Elements (PEs) of a wafer-scale engine (WSE). To minimize memory overhead in the inherently non-local FFT algorithm, we introduce a new synchronous slide operation ({\em Slide}) exploiting the fast interconn… ▽ More

    Submitted 4 January, 2024; originally announced January 2024.

    Comments: 7 pages, 6 figures

  30. arXiv:2401.00605  [pdf, other

    cs.MA eess.SP

    Distributed Multi-Object Tracking Under Limited Field of View Heterogeneous Sensors with Density Clustering

    Authors: Fei Chen, Hoa Van Nguyen, Alex S. Leong, Sabita Panicker, Robin Baker, Damith C. Ranasinghe

    Abstract: We consider the problem of tracking multiple, unknown, and time-varying numbers of objects using a distributed network of heterogeneous sensors. In an effort to derive a formulation for practical settings, we consider limited and unknown sensor field-of-views (FoVs), sensors with limited local computational resources and communication channel capacity. The resulting distributed multi-object tracki… ▽ More

    Submitted 31 December, 2023; originally announced January 2024.

  31. arXiv:2312.07261  [pdf, other

    cs.HC eess.SY

    Relocating thermal stimuli to the proximal phalanx may not affect vibrotactile sensitivity on the fingertip

    Authors: Huibert A. J. van Riessen, Yasemin Vardar

    Abstract: Wearable devices that relocate tactile feedback from fingertips can enable users to interact with their physical world augmented by virtual effects. While studies have shown that relocating same-modality tactile stimuli can influence the one perceived at the fingertip, the interaction of cross-modal tactile stimuli remains unclear. Here, we investigate how thermal cues applied on the index finger'… ▽ More

    Submitted 12 December, 2023; originally announced December 2023.

    Comments: 6 pages, 5 figures, conference

  32. arXiv:2312.01072  [pdf, other

    cs.LG cs.AI

    A Survey of Temporal Credit Assignment in Deep Reinforcement Learning

    Authors: Eduardo Pignatelli, Johan Ferret, Matthieu Geist, Thomas Mesnard, Hado van Hasselt, Laura Toni

    Abstract: The Credit Assignment Problem (CAP) refers to the longstanding challenge of Reinforcement Learning (RL) agents to associate actions with their long-term consequences. Solving the CAP is a crucial step towards the successful deployment of RL in the real world since most decision problems provide feedback that is noisy, delayed, and with little or no information about the causes. These conditions ma… ▽ More

    Submitted 2 December, 2023; originally announced December 2023.

    Comments: 56 pages, 2 figures, 4 tables

  33. arXiv:2311.17256  [pdf, other

    cs.CV eess.IV

    Pattern retrieval of traffic congestion using graph-based associations of traffic domain-specific features

    Authors: Tin T. Nguyen, Simeon C. Calvert, Guopeng Li, Hans van Lint

    Abstract: The fast-growing amount of traffic data brings many opportunities for revealing more insightful information about traffic dynamics. However, it also demands an effective database management system in which information retrieval is arguably an important feature. The ability to locate similar patterns in big datasets potentially paves the way for further valuable analyses in traffic management. This… ▽ More

    Submitted 28 November, 2023; originally announced November 2023.

    Comments: 20 pages, 14 figures

  34. arXiv:2311.06563  [pdf, ps, other

    cs.CC

    All instances of MONOTONE 3-SAT-(3,1) are satisfiable

    Authors: Hannah Van Santvliet, Ronald de Haan

    Abstract: The satisfiability problem is NP-complete but there are subclasses where all the instances are satisfiable. For this, restrictions on the shape of the formula are made. Darman and Döcker show that the subclass MONOTONE $3$-SAT-($k$,1) with $k \geq 5$ proves to be NP-complete and pose the open question whether instances of MONOTONE $3$-SAT-(3,1) are satisfiable. This paper shows that all instances… ▽ More

    Submitted 8 December, 2023; v1 submitted 11 November, 2023; originally announced November 2023.

    Comments: 14 pages, 10 figures

  35. arXiv:2311.02129  [pdf, other

    cs.LG cs.AI eess.SY

    Hierarchical Reinforcement Learning for Power Network Topology Control

    Authors: Blazej Manczak, Jan Viebahn, Herke van Hoof

    Abstract: Learning in high-dimensional action spaces is a key challenge in applying reinforcement learning (RL) to real-world systems. In this paper, we study the possibility of controlling power networks using RL methods. Power networks are critical infrastructures that are complex to control. In particular, the combinatorial nature of the action space poses a challenge to both conventional optimizers and… ▽ More

    Submitted 3 November, 2023; originally announced November 2023.

  36. arXiv:2311.01843  [pdf, other

    cs.RO eess.SY

    Adaptive Assistance with an Active and Soft Back-Support Exosuit to Unknown External Loads via Model-Based Estimates of Internal Lumbosacral Moments

    Authors: Alejandro Moya-Esteban, Saivimal Sridar, Mohamed Irfan Mohamed Refai, Herman van der Kooij, Massimo Sartori

    Abstract: State of the art controllers for back exoskeletons largely rely on body kinematics. This results in control strategies which cannot provide adaptive support under unknown external loads. We developed a neuromechanical model-based controller (NMBC) for a soft back exosuit, wherein assistive forces were proportional to the active component of lumbosacral joint moments, derived from real-time electro… ▽ More

    Submitted 3 November, 2023; originally announced November 2023.

    Comments: 17 pages, 8 figures

  37. arXiv:2310.20384  [pdf, other

    cs.CL cs.AI

    Do large language models solve verbal analogies like children do?

    Authors: Claire E. Stevenson, Mathilde ter Veen, Rochelle Choenni, Han L. J. van der Maas, Ekaterina Shutova

    Abstract: Analogy-making lies at the heart of human cognition. Adults solve analogies such as \textit{Horse belongs to stable like chicken belongs to ...?} by map** relations (\textit{kept in}) and answering \textit{chicken coop}. In contrast, children often use association, e.g., answering \textit{egg}. This paper investigates whether large language models (LLMs) solve verbal analogies in A:B::C:? form u… ▽ More

    Submitted 31 October, 2023; originally announced October 2023.

  38. arXiv:2310.14506  [pdf, other

    eess.SP cs.DB

    Label Space Partition Selection for Multi-Object Tracking Using Two-Layer Partitioning

    Authors: Ji Youn Lee, Changbeom Shim, Hoa Van Nguyen, Tran Thien Dat Nguyen, Hyun** Choi, Youngho Kim

    Abstract: Estimating the trajectories of multi-objects poses a significant challenge due to data association ambiguity, which leads to a substantial increase in computational requirements. To address such problems, a divide-and-conquer manner has been employed with parallel computation. In this strategy, distinguished objects that have unique labels are grouped based on their statistical dependencies, the i… ▽ More

    Submitted 22 October, 2023; originally announced October 2023.

    Comments: 6 pages, 4 figures

  39. arXiv:2310.13083  [pdf, other

    cs.RO cs.LG

    How Can Everyday Users Efficiently Teach Robots by Demonstrations?

    Authors: Maram Sakr, Zhikai Zhang, Benjamin Li, Haomiao Zhang, H. F. Machiel Van der Loos, Dana Kulic, Elizabeth Croft

    Abstract: Learning from Demonstration (LfD) is a framework that allows lay users to easily program robots. However, the efficiency of robot learning and the robot's ability to generalize to task variations hinges upon the quality and quantity of the provided demonstrations. Our objective is to guide human teachers to furnish more effective demonstrations, thus facilitating efficient robot learning. To achie… ▽ More

    Submitted 19 October, 2023; originally announced October 2023.

  40. arXiv:2310.03398  [pdf, other

    cs.LG stat.ML

    Interpolating between Clustering and Dimensionality Reduction with Gromov-Wasserstein

    Authors: Hugues Van Assel, Cédric Vincent-Cuaz, Titouan Vayer, Rémi Flamary, Nicolas Courty

    Abstract: We present a versatile adaptation of existing dimensionality reduction (DR) objectives, enabling the simultaneous reduction of both sample and feature sizes. Correspondances between input and embedding samples are computed through a semi-relaxed Gromov-Wasserstein optimal transport (OT) problem. When the embedding sample size matches that of the input, our model recovers classical popular DR model… ▽ More

    Submitted 5 October, 2023; originally announced October 2023.

  41. arXiv:2310.02925  [pdf, other

    cs.LG

    Optimal Transport with Adaptive Regularisation

    Authors: Hugues Van Assel, Titouan Vayer, Remi Flamary, Nicolas Courty

    Abstract: Regularising the primal formulation of optimal transport (OT) with a strictly convex term leads to enhanced numerical complexity and a denser transport plan. Many formulations impose a global constraint on the transport plan, for instance by relying on entropic regularisation. As it is more expensive to diffuse mass for outlier points compared to central ones, this typically results in a significa… ▽ More

    Submitted 4 October, 2023; originally announced October 2023.

  42. arXiv:2310.02570  [pdf, other

    cs.SD eess.AS

    Improving severity preservation of healthy-to-pathological voice conversion with global style tokens

    Authors: Bence Mark Halpern, Wen-Chin Huang, Lester Phillip Violeta, R. J. J. H. van Son, Tomoki Toda

    Abstract: In healthy-to-pathological voice conversion (H2P-VC), healthy speech is converted into pathological while preserving the identity. The paper improves on previous two-stage approach to H2P-VC where (1) speech is created first with the appropriate severity, (2) then the speaker identity of the voice is converted while preserving the severity of the voice. Specifically, we propose improvements to (2)… ▽ More

    Submitted 4 October, 2023; originally announced October 2023.

    Comments: 7 pages, 3 figures, 5 tables. Accepted to IEEE Automatic Speech Recognition and Understanding Workshop 2023

    ACM Class: I.2.7

  43. arXiv:2310.01921  [pdf, other

    quant-ph cs.ET

    Characterizing the Inter-Core Qubit Traffic in Large-Scale Quantum Modular Architectures

    Authors: Sahar Ben Rached, Isaac Lopez Agudo, Santiago Rodrigo, Medina Bandic, Sebastian Feld, Hans van Someren, Eduard Alarcón, Carmen G. Almudéver, Sergi Abadal

    Abstract: Modular quantum processor architectures are envisioned as a promising solution for the scalability of quantum computing systems beyond the Noisy Intermediate Scale Quantum (NISQ) devices era. Based upon interconnecting tens to hundreds of quantum cores via a quantum intranet, this approach unravels the pressing limitations of densely qubit-packed monolithic processors, mainly by mitigating the req… ▽ More

    Submitted 3 October, 2023; originally announced October 2023.

    Comments: 25 pages, 9 figures

  44. On Two- and Three-valued Semantics for Impure Simplicial Complexes

    Authors: Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa

    Abstract: Simplicial complexes are a convenient semantic primitive to reason about processes (agents) communicating with each other in synchronous and asynchronous computation. Impure simplicial complexes distinguish active processes from crashed ones, in other words, agents that are alive from agents that are dead. In order to rule out that dead agents reason about themselves and about other agents, three-… ▽ More

    Submitted 2 October, 2023; originally announced October 2023.

    Comments: In Proceedings GandALF 2023, arXiv:2309.17318

    Journal ref: EPTCS 390, 2023, pp. 50-66

  45. arXiv:2310.00229  [pdf, other

    cs.AI cs.LG

    Consciousness-Inspired Spatio-Temporal Abstractions for Better Generalization in Reinforcement Learning

    Authors: Mingde Zhao, Safa Alver, Harm van Seijen, Romain Laroche, Doina Precup, Yoshua Bengio

    Abstract: Inspired by human conscious planning, we propose Skipper, a model-based reinforcement learning framework utilizing spatio-temporal abstractions to generalize better in novel situations. It automatically decomposes the given task into smaller, more manageable subtasks, and thus enables sparse decision-making and focused computation on the relevant parts of the environment. The decomposition relies… ▽ More

    Submitted 16 March, 2024; v1 submitted 29 September, 2023; originally announced October 2023.

    Comments: ICLR 2024 Camera-Ready

  46. arXiv:2309.14092  [pdf, other

    cs.DB

    From OCEL to DOCEL -- Datasets and Automated Transformation

    Authors: Alexandre Goossens, Adrian Rebmann, Johannes De Smedt, Jan Vanthienen, Han van der Aa

    Abstract: Object-centric event data represent processes from the point of view of all the involved object types. This perspective has gained interest in recent years as it supports the analysis of processes that previously could not be adequately captured, due to the lack of a clear case notion as well as an increasing amount of output data that needs to be stored. Although publicly available event logs are… ▽ More

    Submitted 25 September, 2023; originally announced September 2023.

  47. arXiv:2309.13994  [pdf, other

    eess.AS cs.SD

    Unsupervised Accent Adaptation Through Masked Language Model Correction Of Discrete Self-Supervised Speech Units

    Authors: Jakob Poncelet, Hugo Van hamme

    Abstract: Self-supervised pre-trained speech models have strongly improved speech recognition, yet they are still sensitive to domain shifts and accented or atypical speech. Many of these models rely on quantisation or clustering to learn discrete acoustic units. We propose to correct the discovered discrete units for accented speech back to a standard pronunciation in an unsupervised manner. A masked langu… ▽ More

    Submitted 25 September, 2023; originally announced September 2023.

    Comments: Submitted to ICASSP2024

  48. arXiv:2309.05477  [pdf, other

    cs.LG

    Learning Objective-Specific Active Learning Strategies with Attentive Neural Processes

    Authors: Tim Bakker, Herke van Hoof, Max Welling

    Abstract: Pool-based active learning (AL) is a promising technology for increasing data-efficiency of machine learning models. However, surveys show that performance of recent AL methods is very sensitive to the choice of dataset and training setting, making them unsuitable for general application. In order to tackle this problem, the field Learning Active Learning (LAL) suggests to learn the active learnin… ▽ More

    Submitted 11 September, 2023; originally announced September 2023.

    Comments: Accepted at ECML 2023

  49. arXiv:2309.04607  [pdf

    cs.CL cs.AI

    Linking Symptom Inventories using Semantic Textual Similarity

    Authors: Eamonn Kennedy, Shashank Vadlamani, Hannah M Lindsey, Kelly S Peterson, Kristen Dams OConnor, Kenton Murray, Ronak Agarwal, Houshang H Amiri, Raeda K Andersen, Talin Babikian, David A Baron, Erin D Bigler, Karen Caeyenberghs, Lisa Delano-Wood, Seth G Disner, Ekaterina Dobryakova, Blessen C Eapen, Rachel M Edelstein, Carrie Esopenko, Helen M Genova, Elbert Geuze, Naomi J Goodrich-Hunsaker, Jordan Grafman, Asta K Haberg, Cooper B Hodges , et al. (57 additional authors not shown)

    Abstract: An extensive library of symptom inventories has been developed over time to measure clinical symptoms, but this variety has led to several long standing issues. Most notably, results drawn from different settings and studies are not comparable, which limits reproducibility. Here, we present an artificial intelligence (AI) approach using semantic textual similarity (STS) to link symptoms and scores… ▽ More

    Submitted 8 September, 2023; originally announced September 2023.

  50. arXiv:2309.00900  [pdf, other

    cs.SE cs.AI

    Large Process Models: Business Process Management in the Age of Generative AI

    Authors: Timotheus Kampik, Christian Warmuth, Adrian Rebmann, Ron Agam, Lukas N. P. Egger, Andreas Gerber, Johannes Hoffart, Jonas Kolk, Philipp Herzig, Gero Decker, Han van der Aa, Artem Polyvyanyy, Stefanie Rinderle-Ma, Ingo Weber, Matthias Weidlich

    Abstract: The continued success of Large Language Models (LLMs) and other generative artificial intelligence approaches highlights the advantages that large information corpora can have over rigidly defined symbolic models, but also serves as a proof-point of the challenges that purely statistics-based approaches have in terms of safety and trustworthiness. As a framework for contextualizing the potential,… ▽ More

    Submitted 11 September, 2023; v1 submitted 2 September, 2023; originally announced September 2023.