Theoretical models for the thermal response of vertical geothermal boreholes often assume that the characteristic time of variation of the heat injection rate is much larger than the characteristic diffusion time across the borehole. In this case, heat transfer inside the borehole and in its immediate surroundings is quasi-steady in the first approximation, while unsteady effects enter only in ...

Bytewise approximate matching algorithms have in recent years shown significant promise in detecting files that are similar at the byte level. This is very useful for digital forensic investigators, who are regularly faced with the problem of searching through a seized device for pertinent data. A common scenario is where an investigator is in possession of a collection of “known-illegal” files...

Flexibility and robustness of visual SLAM systems have been shown to benefit from an inverse depth parameterisation of features. However the increased number of 6 parameters per feature presents a problem to real-time EKF SLAM implementations because their computational complexity scales quadratically with the size of the state vector. Recent work tackles this for instance by converting the rep...

A gaussian type quadrature formula, where the nodes are the zeros of Bessel functions of the first kind of order α (<(α) > −1), was recently proved for entire functions of exponential type. Here we relax the restriction on α as well as on the function. Some applications are also given.

Classically, a Tychonoff space is called strongly 0-dimensional if its Stone-Čech compactification is 0-dimensional, and given the familiar relationship between spaces and frames it is then natural to call a completely regular frame strongly 0-dimensional if its compact completely regular coreflection is 0-dimensional (meaning: is generated by its complemented elements). Indeed, it is then seen...

Data from computational fluid dynamics (CFD) are frequently computed on curvilinear grids. In contrast to cartesian or uniform grids, the cell size in a curvilinear grid can vary significantly, which in turn complicates filter operations tremendously. Some of these filter operations may for example re-map the value range of the data values into another range. In this paper, we present adaptive ...

In this paper, we define hedge operation on a residuated skew lattice and investigate some its properties. We get relationships between some special sets as dense, nilpotent, idempotent, regular elements sets and their hedges.  By examples, we show that hedge of a dense element is not a dense and hedge of a regular element is not a regular. Also hedge of a nilpotent element is a nilpotent and h...

We introduce the class of linearly S-closed spaces as a proper subclass H-closed spaces. This property lies between S-closedness and countable S-closedness. A space is called if only any semi-open chain cover posses member dense in space. It shown that extremally disconnected coincide. gave characterizations these terms s-accumulation points filter bases complete families open subsets. While re...

In normal working conditions it is possible to achieve sufficient attitude estimation accuracy for a satellite using regular Kalman filter algorithm. On the other hand, when there is a fault in the measurements, the Kalman filter fails in providing the required accuracy and may even collapse over time. In this paper, a Robust Kalman filtering method is proposed for the attitude estimation probl...

Microfabricated regular sieving structures hold great promise as an alternative to gels to improve biomolecule separation speed and resolution. In contrast to the disordered gel porous network, these regular structures also provide well-defined environments ideal for study of molecular dynamics in confining spaces. However, previous regular sieving structures have been limited for separation of...