Search results for " logic"

Nondeterministic operations on finite relational structures

1998

Abstract This article builds on a tutorial introduction to universal algebra for language theory (Courcelle, Theoret. Comput. Sci. 163 (1996) 1–54) and extends it in two directions. First, nondeterministic operations are considered, i.e., operations which give a set of results instead of a single one. Most of their properties concerning recognizability and equational definability carry over from the ordinary case with minor modifications. Second, inductive sets of evaluations are studied in greater detail. It seems that they are handled most naturally in the framework presented here. We consider the analogues of top-down and bottom-up tree transducers. Again, most of their closure propertie…

The Problem of Monotonicity and the Skeleton

2022

The premise p of a reasoning is usually a complex statement reflecting the information of departure and consisting in the conjunction of other statements, p = p1 · (p2 · (…(pn). Such p can be written without parenthesis provided conjunction is associative, and then with the possibility of placing the sub-indexes in any ordering if it is commutative; on the contrary neither parenthesis, nor ordering can be avoided.

Multisummability for generalized power series

2022

We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands both $\mathbb{R}_{\mathcal{G}}$ and the reduct of $\mathbb{R}_{\mathrm{an}^*}$ generated by all convergent generalized power series with natural support; in particular, its expansion by the exponential function defines both the Gamma function on $(0,\infty)$ and the Zeta function on $(1,\infty)$.

Probabilistic Flood Hazard Mapping Using Bivariate Analysis Based on Copulas

2017

This study presents a methodology to extract probabilistic flood hazard maps in an area subject to flood risk, taking into account uncertainties in the definition of design hydrographs. Particularly, the authors present a new method to produce probabilistic inundation and flood hazard maps in which the hydrological input (i.e., synthetic flood design event) to a 2D hydraulic model has been obtained by using a bivariate statistical analysis (copulas) to generate flood peak discharges and volumes. This study also aims to quantify the contribution of boundary conditions’ uncertainty in order to evaluate the effect of this uncertainty source on probabilistic flood hazard mapping. Different comb…

Probabilistic Self-Localization and Mapping - An Asynchronous Multirate Approach

2008

[EN] In this paper, we present a set of robust and efficient algorithms with O(N) cost for the solution of the Simultaneous Localization And Mapping (SLAM) problem of a mobile robot. First, we introduce a novel object detection method, which is mainly based on multiple line fitting method for landmark detection with regular constrained angles. Second, a line-based pose estimation method is proposed, based on LeastSquares (LS). This method performs the matching of lines, providing the global pose estimation under assumption of known Data-Association. Finally, we extend the FastSLAM (FActored Solution To SLAM) algorithm for mobile robot self-localisation and mapping by considering the asynchr…

An Extension of the DgLARS Method to High-Dimensional Relative Risk Regression Models

2020

In recent years, clinical studies, where patients are routinely screened for many genomic features, are becoming more common. The general aim of such studies is to find genomic signatures useful for treatment decisions and the development of new treatments. However, genomic data are typically noisy and high dimensional, not rarely outstripping the number of patients included in the study. For this reason, sparse estimators are usually used in the study of high-dimensional survival data. In this paper, we propose an extension of the differential geometric least angle regression method to high-dimensional relative risk regression models.

A 3-D marker-free system for the analysis of movement disabilities--an application to the legs.

2001

The aim of this paper is to describe an approach allowing the analysis of human motion in three-dimensional (3-D) space. The system that we developed is composed of three charge-coupled-device cameras that capture synchronized image sequences of a human body in motion without the use of markers. Characteristic points belonging to the boundaries of the body in motion are first extracted from the initial images. Two-dimensional superquadrics are then adjusted on these points by a fuzzy clustering process. After that, the position of a 3-D model based on a set of articulated superquadrics, each of them describing a part of the human body, is reconstructed. An optical flow process allows the pr…

What is Mathematics: Gödel's Theorem and Around (Edition 2013)

2013

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2013. ATTENTION! New Edition 2015 available at https://dspace.lu.lv/dspace/handle/7/5306.

L'ordine nascosto. Natura e armonia all'origine del pensiero filosofico e scientifico

2007

Uncertainty measures—Problems concerning additivity

2009

Additivity of an uncertainty measure on an MV-algebra has a clear meaning. If the divisibility is dropped, we come up to a so-called Girard algebra. There we discuss strong resp. weak additivity based on so-called divisible disjoint unions resp. on additivity for all sub-MV-algebras. We obtain a description of those extensions from additive measures on an MV-algebra to the canonical Girard algebra extension of pairs which are strongly additive and valuation measures. Finally, we prove the non-existence of strongly additive measure extensions, if the underlying MV-algebra is a finite chain with more than two non-trivial elements.