Search results for "computer program"
showing 10 items of 807 documents
Exploring parallel capabilities of an innovative numerical method for recovering image velocity vectors field
2010
In this paper an efficient method devoted to estimate the velocity vectors field is investigated. The method is based on a quasi-interpolant operator and involves a large amount of computation. The operations characterizing the computational scheme are ideal for parallel processing because they are local, regular and repetitive. Therefore, the spatial parallelism of the process is studied to rapidly proceed in the computation on distributed multiprocessor systems. The process has shown to be synchronous, with good task balancing and requiring a small amount of data transfer.
Uniqueness of solutions for some elliptic equations with a quadratic gradient term
2008
We study a comparison principle and uniqueness of positive solutions for the homogeneous Dirichlet boundary value problem associated to quasi-linear elliptic equations with lower order terms. A model example is given by −Δu + λ |∇u| 2 u r = f (x) ,λ , r >0. The main feature of these equations consists in having a quadratic gradient term in which singularities are allowed. The arguments employed here also work to deal with equations having lack of ellipticity or some dependence on u in the right hand side. Furthermore, they could be applied to obtain uniqueness results for nonlinear equations having the p-Laplacian operator as the principal part. Our results improve those already known, even…
Equivalence closure in the two-variable guarded fragment
2015
We consider the satisfiability and finite satisfiability problems for the extension of the two-variable guarded fragment in which an equivalence closure operator can be applied to two distinguished binary predicates. We show that the satisfiability and finite satisfiability problems for this logic are 2-ExpTime-complete. This contrasts with an earlier result that the corresponding problems for the full two-variable logic with equivalence closures of two binary predicates are 2-NExpTime-complete.
Default effects in app selection: German adolescents’ tendency to adhere to privacy or social relatedness features in smartphone apps
2019
Cognitive biases such as default effects impact on user preferences for a broad range of different choices. This paper investigates these default effects among adolescents configuring apps that either satisfy relatedness or enhance autonomy by protecting privacy. Relatedness and privacy are two innate needs that adolescents can satisfy with the use of smartphone apps. This study argues that adolescents’ choice of features supporting either privacy protection or social relatedness is a consequence of default effects, so that adolescents adhere to preselected defaults. We test this assumption in an experimental survey design including four app configuration tasks with N = 280 German adolesce…
A computer method for estimating volumes and surface areas of complex structures consisting of overlapping spheres
1992
A PASCAL program which calculates volumes and surface areas of structures consisting of overlapping spheres is designed. The calculation is done by modelling the structure in the memory of a computer and then scanning the memory bit- or bytewise. A brief discussion of the error is presented, and an example for testing the algorithm is provided.
Chess recognition using 3D patterned illumination camera
2021
Computer Vision has been applied to augment traditional board games such as Chess for a number of reasons. While augmented reality enhances the gaming experience, the required additional hardware (e.g. head gear) is still not widely accepted in everyday leisure activities, and therefore, camera based methods have been developed to interface the computer with the real-life chess board. However, traditional 2D camera approaches suffer from ill-defined environmental conditions (lighting, viewing angle) and are therefore severely limited in their application. To answer this issue, we have incorporated a consumer-grade depth camera based on patterned illumination. We could show that in combinati…
Continuous-flow tristimulus colorimetry: a new approach for gradient scanning techniques
1991
Abstract A flow-injection gradient scanning technique for colour evaluation by means of tristimulus colorimetry is described. Equipment and data acquisition requirements are discussed. The program CHROMA.FIA data the treatment and comparative chromatic analysis is presented. The chemical and flow conditions were optimized. Comparative studies using metallochromic indicators with both the flow-injection and the conventional batch procedures were made. The continuous-flow procedure provides good results and is more than fifteen times faster than the manual titrimetric procedure.
Validating retinal fundus image analysis algorithms: issues and a proposal.
2013
This paper concerns the validation of automatic retinal image analysis (ARIA) algorithms. For reasons of space and consistency, we concentrate on the validation of algorithms processing color fundus camera images, currently the largest section of the ARIA literature. We sketch the context (imaging instruments and target tasks) of ARIA validation, summarizing the main image analysis and validation techniques. We then present a list of recommendations focusing on the creation of large repositories of test data created by international consortia, easily accessible via moderated Web sites, including multicenter annotations by multiple experts, specific to clinical tasks, and capable of running …
The scientific payload on-board the HERMES-TP and HERMES-SP CubeSat missions
2021
HERMES (High Energy Rapid Modular Ensemble of Satellites) Technological and Scientific pathfinder is a space borne mission based on a LEO constellation of nano-satellites. The 3U CubeSat buses host new miniaturized detectors to probe the temporal emission of bright high-energy transients such as Gamma-Ray Bursts (GRBs). Fast transient localization, in a field of view of several steradians and with arcmin-level accuracy, is gained by comparing time delays among the same event detection epochs occurred on at least 3 nano-satellites. With a launch date in 2022, HERMES transient monitoring represents a keystone capability to complement the next generation of gravitational wave experiments. In t…
Unmanned Aerial Vehicle-Based Non Destructive Diagnostics
2018
The paper proposes a cloud platform for analyzing the radiometric infrared videos uploaded by drones which patrol large photovoltaic plants. Thanks to artificial vision algorithms, it does not require any human support to select and associate the framed PV modules to the corresponding ones in the topology of the photovoltaic plant. The algorithm implements an innovative diagnostic protocol, which evaluates the thermal state of the photovoltaic module, whichever the environmental conditions are. The data automatically computed and collected in a multimedia database provide the O&M technicians with significant information to monitor the ageing of each module of the photovoltaic plant. The pro…