Search results for "Computer programming"
showing 10 items of 741 documents
Determining a Random Schrödinger Operator : Both Potential and Source are Random
2020
We study an inverse scattering problem associated with a Schr\"odinger system where both the potential and source terms are random and unknown. The well-posedness of the forward scattering problem is first established in a proper sense. We then derive two unique recovery results in determining the rough strengths of the random source and the random potential, by using the corresponding far-field data. The first recovery result shows that a single realization of the passive scattering measurements uniquely recovers the rough strength of the random source. The second one shows that, by a single realization of the backscattering data, the rough strength of the random potential can be recovered…
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…
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…
Contextualized project-based learning for training chemical engineers in graphic expression
2021
Abstract This paper describes the planning of a computer-aided design (CAD) laboratory for training chemical engineers in graphic expression. The CAD laboratory was organised into four projects following a project-based learning method. Flipped classroom and contextualised learning were used to motivate the students and promote meaningful learning. The laboratory mainly focused on engaging the students by replicating 2D and 3D plans of common industrial engineering equipment and piping and instrumentation diagrams of industrial facilities. Two surveys carried out before and after the course showed that the student’s perception of their graphic expression skills significantly increased. Gend…
Semi-automated evaluation tool for retinal vasculopathy.
2009
The ocular fundus is the only area of human body where vascular system is visible using relatively simple instrumentation. Furthermore, there is medical suggestive evidence of a direct relationship between certain measures of vascular characteristics in the ocular fundus (arteriolar and venular calibers and focal arteriolar narrowing) and cardiovascular diseases. In order to establish such relationship on sound statistical basis a method must be provided to measure the needed values in an easy, yet precise and repeatable way. This paper presents a system to assist physicians in signaling and storing the data associated to signs of vascular deterioration and vascular calibers in non-mydriati…
Intertwining operators between different Hilbert spaces: connection with frames
2009
In this paper we generalize a strategy recently proposed by the author concerning intertwining operators. In particular we discuss the possibility of extending our previous results in such a way to construct (almost) isospectral self-adjoint operators living in different Hilbert spaces. Many examples are discussed in details. Many of them arise from the theory of frames in Hilbert spaces, others from the so-called g-frames.