In 1996, Kada et al. 1 introduced the notion of w-distance. They elaborated, with the help of examples, that the concept of w-distance is general than that of metric on a nonempty set. They also proved a generalization of Caristi fixed point theorem employing the definition of w-distance on a complete metric space. Recently, Ilić and Rakočević 2 obtained fixed point and common fixed point theor...

This work addresses the problem of covariance matrix estimation for ocean clutter modeling. For ship detection based on polarimetric synthetic aperture radar (PolSAR) imagery and constant false alarm rate (CFAR) detectors, accurate ocean clutter modeling is essential. The covariance matrix provides all the polarimetric information of the ocean clutter and its estimate is always involved in PolS...

The melting point of gallium (29.7646 °C) is a defining thermometric fixed point of the International Temperature Scale of 1990 (ITS-90). Realization of this melting point is performed using a fixedpoint cell containing high-purity (≥99.999 99 wt. % pure) gallium. A 30 kg single lot of gallium (99.999 9956 wt. % pure) constituting Standard Reference Material (SRM) 1751 was evaluated, and certif...

We introduce a complexity measure of modal properties of finite structures which generalises the automaticity of languages. It is based on graph-automata like devices called labelling systems. We define a measure of the size of a structure that we call rank, and show that any modal property of structures can be approximated up to any fixed rank n by a labelling system. The function that takes n...

We propose a new language, RLucid, which is Lucid with one new operator. RLucid is intended for real time (or, more precisely, reactive) programming and is based on a simple synchronous dataflow model of computation. RLucid is therefore similar to the Lustre language but is more general in that it does not require that operators be strict: in the RLucid model a filter may respond when input arr...

This paper investigates a wireless powered communication network (WPCN) under the protocol of harvest-thentransmit, where a hybrid access point with constant power supply replenishes the passive user nodes by wireless power transfer in the downlink, then each user node transmit independent information to the hybrid AP in a time division multiple access (TDMA) scheme in the uplink. The sum-throu...

We consider the off-policy evaluation problem in Markov decision processes with function approximation. We propose a generalization of the recently introduced emphatic temporal differences (ETD) algorithm (Sutton, Mahmood, and White, 2015), which encompasses the original ETD(λ), as well as several other off-policy evaluation algorithms as special cases. We call this framework ETD(λ, β), where o...

The immersed boundary (IB) method is an algorithm for simulating elastic structures immersed in a fluid. The IB method can be used, for example, to simulate blood flow in the heart. Even running on supercomputers, software implementations require on the order of seven CPU-days to simulate one heart beat. The IB method has significant, inherent, fine-grain parallelism available. This parallelism...

We consider online learning of Bayesian network classifiers (BNCs) with reduced-precision parameters, i.e. the conditional-probability tables parameterizing the BNCs are represented by low bit-width fixedpoint numbers. In contrast to previous work, we analyze the learning of these parameters using reduced-precision arithmetic only which is important for computationally constrained platforms, e....

In this paper we study the comprehensive effects on volume rendered images due to numerical errors caused by the use of finite precision for data representation and processing. To estimate actual error behavior we conduct a thorough study using a volume renderer implemented with arbitrary floating-point precision. Based on the experimental data we then model the impact of floating-point pipelin...