69 citations
- University of AgderNO4 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Freie Universität BerlinDE1 paper
- Nantes UniversitéFR1 paper
- Norwegian University of Life SciencesNO1 paper
- NRK (Norway)NO1 paper
- Pioneer (United States)US1 paper
- Robotics Research (United States)US1 paper
- Universitat Politècnica de ValènciaES1 paper
- Université de Franche-ComtéFR1 paper
- University of TartuEE1 paper
- University of YorkGB1 paper
5 papers
A New HOPE: Domain-agnostic Automatic Evaluation of Text Chunking
Henrik Brådland, Morten Goodwin, Per-Arne Andersen +2
Document chunking fundamentally impacts Retrieval-Augmented Generation (RAG) by determining how source materials are segmented before indexing. Despite evidence that Large Language…
Model Checking and Verification of Synchronisation Properties of Cobot Welding
Yvonne Murray, Henrik Nordlie, David A. Anisi +2
This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must…
Delta-points and their implications for the geometry of Banach spaces
Trond A. Abrahamsen, Ramón J. Aliaga, Vegard Lima +4
We show that the Lipschitz-free space with the Radon--Nikodým property and a Daugavet point recently constructed by Veeorg is in fact a dual space isomorphic to . Furthermo…
Compliance error compensation technique for parallel robots composed of non-perfect serial chains
Alexandr Klimchik, Anatol Pashkevich, Damien Chablat +1
The paper presents the compliance errors compensation technique for over-constrained parallel manipulators under external and internal loadings. This technique is based on the non-…
Slices in the unit ball of a uniform algebra
Olav Nygaard, Dirk Werner
We show that every nonvoid relatively weakly open subset, in particular every slice, of the unit ball of an infinite-dimensional uniform algebra has diameter~2.