Search results for "error"

Error-Free Affine, Unitary, and Probabilistic OBDDs

2018

We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las Vegas unitary and probabilistic OBDDs can be quadratically narrower than deterministic OBDDs. We also obtain the same results for the automata versions of these models.

Error-Free Affine, Unitary, and Probabilistic OBDDs

2021

We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las-Vegas unitary and probabilistic OBDDs can be quadratically narrower than deterministic OBDDs. We also obtain the same results for the automata counterparts of these models.

Uncountable Realtime Probabilistic Classes

2018

We investigate the minimal cases for realtime probabilistic machines that can define uncountably many languages with bounded error. We show that logarithmic space is enough for realtime PTMs on unary languages. On non-unary case, we obtain the same result for double logarithmic space, which is also tight. When replacing the work tape with a few counters, we can still achieve similar results for unary linear-space two-counter automata, unary sublinear-space three-counter automata, and non-unary sublinear-space two-counter automata. We also show how to slightly improve the sublinear-space constructions by using more counters.

Guaranteed and computable error bounds for approximations constructed by an iterative decoupling of the Biot problem

2021

The paper is concerned with guaranteed a posteriori error estimates for a class of evolutionary problems related to poroelastic media governed by the quasi-static linear Biot equations. The system is decoupled by employing the fixed-stress split scheme, which leads to an iteratively solved semi-discrete system. The error bounds are derived by combining a posteriori estimates for contractive mappings with functional type error control for elliptic partial differential equations. The estimates are applicable to any approximation in the admissible functional space and are independent of the discretization method. They are fully computable, do not contain mesh-dependent constants, and provide r…

Validity and reliability of the DiCI for the measurement of shoulder flexion and abduction strength in asymptomatic and symptomatic subjects

2021

Background A higher risk of shoulder injury in the athletic and non-athletic population is frequently associated with strength deficits. Therefore, shoulder strength assessment can be clinically useful to identify and to quantify the magnitude of strength deficit. Thus, the aim of this study was to evaluate the validity and reliability of a DiCI (a new hand-held dynamometer) for the measurement of shoulder flexion and abduction strength in asymptomatic and symptomatic subjects. Methods Forty-three recreational athletes (29 males and 14 females; age: 22.1 ± 0.47 years; body mass: 68.7 ± 13.1 kg; height = 173.3 ± 9.7 cm) and 40 symptomatic subjects (28 males and 12 females; age: 49.9 ± 8.1 y…

One diode circuital model of light soaking phenomena in Dye-Sensitized Solar Cells

2018

Abstract In this work, we report on the modelling of light soaking effect on Ruthenium-based Dye Sensitized Solar cells (DSSCs). Such a phenomenon can be detected when exposing the cells at increasing hours of illumination and produces a reversible performance increase. Starting from the results obtained through the electro-optical characterization of the cells, we applied a one-diode circuital-model. Our results show a good agreement between the experimental and the simulated data, with a mean square error in the order of 10−12 and a maximum error in current lower than 0.6%. Finally such results allowed us to infer some precise trends followed by the cells main electrical parameters and of…

Event-Related Potentials (ERP) Indices of Motivation during the Effort Expenditure for Reward Task

2020

Dynamic and temporal facets of the various constructs that comprise motivation remain to be explored. Here, we adapted the Effort Expenditure for Reward Task, a well-known laboratory task used to evaluate motivation, to study the event-related potentials associated with reward processing. The Stimulus Preceding Negativity (SPN) and the P300 were utilized as motivation indicators with high density electroencephalography. The SPN was found to be more negative for difficult choices compared to easy choices, suggesting a greater level of motivation, at a neurophysiological level. The insula, a structure previously associated with both effort discounting and prediction error, was concomitantly a…

CONVINZIONI E CAMBI DI CONVINZIONI DEGLI STUDENTI SUGLI ERRORI E SULLO SVILUPPO DELLA CONOSCENZA IN MATEMATICA (STUDENTI DI ETÀ 14 – 18)

2011

A Critical Comparison of Remote Sensing Leaf Area Index Estimates over Rice-Cultivated Areas: From Sentinel-2 and Landsat-7/8 to MODIS, GEOV1 and EUM…

2018

Leaf area index (LAI) is a key biophysical variable fundamental in natural vegetation and agricultural land monitoring and modelling studies. This paper is aimed at comparing, validating and discussing different LAI satellite products from operational services and customized solution based on innovative Earth Observation (EO) data such as Landsat-7/8 and Sentinel-2A. The comparison was performed to assess overall quality of LAI estimates for rice, as a fundamental input of different scale (regional to local) operational crop monitoring systems such as the ones developed during the "An Earth obseRvation Model based RicE information Service" (ERMES) project. We adopted a multiscale approach f…

Evaluation of the LSA-SAF gross primary production product derived from SEVIRI/MSG data (MGPP)

2020

The objective of this study is to describe a completely new 10-day gross primary production (GPP) product (MGPP LSA-411) based on data from the geostationary SEVIRI/MSG satellite within the LSA SAF (Land Surface Analysis SAF) as part of the SAF (Satellite Application Facility) network of EUMETSAT. The methodology relies on the Monteith approach. It considers that GPP is proportional to the absorbed photosynthetically active radiation APAR and the proportionality factor is known as the light use efficiency ε. A parameterization of this factor is proposed as the product of a εmax, corresponding to the canopy functioning under optimal conditions, and a coefficient quantifying the reduction of …