-
A multi-robot system for the detection of explosive devices
Authors:
Ken Hasselmann,
Mario Malizia,
Rafael Caballero,
Fabio Polisano,
Shashank Govindaraj,
Jakob Stigler,
Oleksii Ilchenko,
Milan Bajic,
Geert De Cubber
Abstract:
In order to clear the world of the threat posed by landmines and other explosive devices, robotic systems can play an important role. However, the development of such field robots that need to operate in hazardous conditions requires the careful consideration of multiple aspects related to the perception, mobility, and collaboration capabilities of the system. In the framework of a European challe…
▽ More
In order to clear the world of the threat posed by landmines and other explosive devices, robotic systems can play an important role. However, the development of such field robots that need to operate in hazardous conditions requires the careful consideration of multiple aspects related to the perception, mobility, and collaboration capabilities of the system. In the framework of a European challenge, the Artificial Intelligence for Detection of Explosive Devices - eXtended (AIDEDeX) project proposes to design a heterogeneous multi-robot system with advanced sensor fusion algorithms. This system is specifically designed to detect and classify improvised explosive devices, explosive ordnances, and landmines. This project integrates specialised sensors, including electromagnetic induction, ground penetrating radar, X-Ray backscatter imaging, Raman spectrometers, and multimodal cameras, to achieve comprehensive threat identification and localisation. The proposed system comprises a fleet of unmanned ground vehicles and unmanned aerial vehicles. This article details the operational phases of the AIDEDeX system, from rapid terrain exploration using unmanned aerial vehicles to specialised detection and classification by unmanned ground vehicles equipped with a robotic manipulator. Initially focusing on a centralised approach, the project will also explore the potential of a decentralised control architecture, taking inspiration from swarm robotics to provide a robust, adaptable, and scalable solution for explosive detection.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Hog 2023.1: a collaborative management tool to handle Git-based HDL repository
Authors:
Nicolo Valdi Biesuz,
Rimsky Caballero,
Davide Cieri,
Nico Giangiacomi,
Francesco Gonnella,
Guillermo Loustau De Linares,
Andrew Peck
Abstract:
Hog (HDL on Git) is an open-source tool designed to manage Git-based HDL repositories. It aims to simplify HDL project development, maintenance, and versioning by using Git to guarantee synthesis and implementation reproducibility and binary file traceability. This is ensured by linking each produced binary file to a specific Git commit, embedding the Git commit hash (SHA) into the binary file via…
▽ More
Hog (HDL on Git) is an open-source tool designed to manage Git-based HDL repositories. It aims to simplify HDL project development, maintenance, and versioning by using Git to guarantee synthesis and implementation reproducibility and binary file traceability. This is ensured by linking each produced binary file to a specific Git commit, embedding the Git commit hash (SHA) into the binary file via HDL generics stored in firmware registers. Hog is released twice a year, in January and in June. We present here the latest stable version 2023.1, which introduces major novel features, such as the support for Microchip Libero IDE, and the capability to run the Hog Continuous Integration (Hog-CI) workflow with GitHub Actions. A plan to integrate Hog with the OpenCores repository is also described, which is expected to be completed for Hog release 2023.2
△ Less
Submitted 12 April, 2023; v1 submitted 5 April, 2023;
originally announced April 2023.
-
Renormalized Wolfram model exhibiting non-relativistic quantum behavior
Authors:
José Manuel Rodríguez Caballero
Abstract:
We show a Wolfram model whose renormalization generates a sequence of approximations of a wave function having the Pauli-x matrix as Hamiltonian.
We show a Wolfram model whose renormalization generates a sequence of approximations of a wave function having the Pauli-x matrix as Hamiltonian.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
Incompatibility between 't Hooft's and Wolfram's models of quantum mechanics
Authors:
José Manuel Rodríguez Caballero
Abstract:
Stephen Wolfram and Gerard 't Hooft developed classical models of quantum mechanics. We show that the descriptive complexity grows differently as a function of time in each model. Therefore, they cannot describe the same physical system. In addition, we propose an interpretation of the Wolfram model, which shares some characteristics with 't Hooft's model, but which involves a non-computable funct…
▽ More
Stephen Wolfram and Gerard 't Hooft developed classical models of quantum mechanics. We show that the descriptive complexity grows differently as a function of time in each model. Therefore, they cannot describe the same physical system. In addition, we propose an interpretation of the Wolfram model, which shares some characteristics with 't Hooft's model, but which involves a non-computable function.
△ Less
Submitted 8 August, 2021;
originally announced August 2021.
-
Topology-Based Feature Design and Tracking for Multi-Center Cyclones
Authors:
Wito Engelke,
Talha Bin Masood,
Jakob Beran,
Rodrigo Caballero,
Ingrid Hotz
Abstract:
In this paper, we propose a concept to design, track, and compare application-specific feature definitions expressed as sets of critical points. Our work has been inspired by the observation that in many applications a large variety of different feature definitions for the same concept are used. Often, these definitions compete with each other and it is unclear which definition should be used in w…
▽ More
In this paper, we propose a concept to design, track, and compare application-specific feature definitions expressed as sets of critical points. Our work has been inspired by the observation that in many applications a large variety of different feature definitions for the same concept are used. Often, these definitions compete with each other and it is unclear which definition should be used in which context. A prominent example is the definition of cyclones in climate research. Despite the differences, frequently these feature definitions can be related to topological concepts.
In our approach, we provide a cyclone tracking framework that supports interactive feature definition and comparison based on a precomputed tracking graph that stores all extremal points as well as their temporal correspondents. The framework combines a set of independent building blocks: critical point extraction, critical point tracking, feature definition, and track exploration. One of the major advantages of such an approach is the flexibility it provides, that is, each block is exchangeable. Moreover, it also enables us to perform the most expensive analysis, the construction of a full tracking graph, as a prepossessing step, while kee** the feature definition interactive. Different feature definitions can be explored and compared interactively based on this tracking graph. Features are specified by rules for grou** critical points, while feature tracking corresponds to filtering and querying the full tracking graph by specific requests. We demonstrate this method for cyclone identification and tracking in the context of climate research.
△ Less
Submitted 1 November, 2020;
originally announced November 2020.
-
Homophilic networks evolving by mimesis
Authors:
Jose Manuel Rodriguez Caballero
Abstract:
We provide a mathematical model for networks based on similarities (homophily) and evolving by mutual imitation (mimesis). We show that such social networks will converge to a state of segregation, where the in-group interactions will be maximal and there will be no out-group flow of information. We establish some connections between our model and the Wolfram model for fundamental physics.
We provide a mathematical model for networks based on similarities (homophily) and evolving by mutual imitation (mimesis). We show that such social networks will converge to a state of segregation, where the in-group interactions will be maximal and there will be no out-group flow of information. We establish some connections between our model and the Wolfram model for fundamental physics.
△ Less
Submitted 8 August, 2020;
originally announced August 2020.
-
A Transformation-based Implementation for CLP with Qualification and Proximity
Authors:
R. Caballero,
M. Rodriguez-Artalejo,
C. A. Romero-Diaz
Abstract:
Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP ({\em proximity-based qualified constraint logic programming}) scheme as a quit…
▽ More
Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP ({\em proximity-based qualified constraint logic programming}) scheme as a quite expressive extension of CLP with support for qualification values and proximity relations as generalizations of uncertainty values and similarity relations, respectively. In this paper we provide a transformation technique for transforming SQCLP programs and goals into semantically equivalent CLP programs and goals, and a practical Prolog-based implementation of some particularly useful instances of the SQCLP scheme. We also illustrate, by showing some simple---and working---examples, how the prototype can be effectively used as a tool for solving problems where qualification values and proximity relations play a key role. Intended use of SQCLP includes flexible information retrieval applications.
△ Less
Submitted 25 January, 2012;
originally announced January 2012.
-
A Generic Scheme for Qualified Constraint Functional Logic Progamming
Authors:
Rafael Caballero,
Mario Rodríguez-Artalejo,
Carlos A. Romero-Díaz
Abstract:
Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this report we investigate a more expressive language for First-Order Functional Logic Programming with Constraints and Qualification. We present a Rewriting Logic which characterizes the intended semantics of programs, and a prototype implementation based on a semantically correct p…
▽ More
Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this report we investigate a more expressive language for First-Order Functional Logic Programming with Constraints and Qualification. We present a Rewriting Logic which characterizes the intended semantics of programs, and a prototype implementation based on a semantically correct program transformation. Potential applications of the resulting language include flexible information retrieval. As a concrete illustration, we show how to write program rules to compute qualified answers for user queries concerning the books available in a given library.
△ Less
Submitted 11 January, 2011;
originally announced January 2011.
-
A Transformation-based Implementation for CLP with Qualification and Proximity
Authors:
Rafael Caballero,
Mario Rodríguez-Artalejo,
Carlos A. Romero-Díaz
Abstract:
Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP (proximity-based qualified constraint logic programming) scheme as a quite expr…
▽ More
Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP (proximity-based qualified constraint logic programming) scheme as a quite expressive extension of CLP with support for qualification values and proximity relations as generalizations of uncertainty values and similarity relations, respectively. In this paper we provide a transformation technique for transforming SQCLP programs and goals into semantically equivalent CLP programs and goals, and a practical Prolog-based implementation of some particularly useful instances of the SQCLP scheme. We also illustrate, by showing some simple-and working-examples, how the prototype can be effectively used as a tool for solving problems where qualification values and proximity relations play a key role. Intended use of SQCLP includes flexible information retrieval applications.
△ Less
Submitted 10 September, 2010;
originally announced September 2010.
-
Similarity-based Reasoning in Qualified Logic Programming
Authors:
Rafael Caballero,
Mario Rodríguez-Artalejo,
Carlos A. Romero-Díaz
Abstract:
Similarity-based Logic Programming (briefly, SLP ) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval applications. This approach uses a fuzzy similarity relation R between symbols in the program's signature, while kee** the syntax for program clauses as in classical LP. Another recent proposal is the QLP(D) scheme for…
▽ More
Similarity-based Logic Programming (briefly, SLP ) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval applications. This approach uses a fuzzy similarity relation R between symbols in the program's signature, while kee** the syntax for program clauses as in classical LP. Another recent proposal is the QLP(D) scheme for Qualified Logic Programming, an extension of the LP paradigm which supports approximate reasoning and more. This approach uses annotated program clauses and a parametrically given domain D whose elements qualify logical assertions by measuring their closeness to various users' expectations. In this paper we propose a more expressive scheme SQLP(R,D) which subsumes both SLP and QLP(D) as particular cases. We also show that SQLP(R,D) programs can be transformed into semantically equivalent QLP(D) programs. As a consequence, existing QLP(D) implementations can be used to give efficient support for similarity-based reasoning.
△ Less
Submitted 23 August, 2010;
originally announced August 2010.
-
New Common Proper-Motion Pairs From the PPMX Catalog
Authors:
Rafael Caballero,
Blanca Collado-Iglesias,
Sara Pozuelo-González,
Antonio Fernández-Sánchez
Abstract:
We use data mining techniques for finding 82 previously unreported common proper motion pairs from the PPM-Extended catalogue. Special-purpose software automating the different phases of the process has been developed. The software simplifies the detection of the new pairs by integrating a set of basic operations over catalogues. The operations can be combined by the user in scripts representing d…
▽ More
We use data mining techniques for finding 82 previously unreported common proper motion pairs from the PPM-Extended catalogue. Special-purpose software automating the different phases of the process has been developed. The software simplifies the detection of the new pairs by integrating a set of basic operations over catalogues. The operations can be combined by the user in scripts representing different filtering criteria. This procedure facilitates testing the software and employing the same scripts for different projects.
△ Less
Submitted 1 July, 2010;
originally announced July 2010.
-
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
Authors:
Rafael Caballero,
John Gallagher
Abstract:
This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009.
WLPE aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analy- sis. This year, we have continued and consolidated the shift in focus fr…
▽ More
This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009.
WLPE aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analy- sis. This year, we have continued and consolidated the shift in focus from en- vironmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community.
All the papers submitted to WLPE'09 have gone through a careful process of peer reviewing, with at least three reviews for each paper and a subsequent in-depth discussion in the Program Committee.
△ Less
Submitted 24 February, 2010;
originally announced February 2010.