‎hensel [k‎. ‎hensel‎, ‎deutsch‎. ‎math‎. ‎verein‎, ‎{6} (1897), ‎83-88.] discovered the $p$-adic number as a‎ ‎number theoretical analogue of power series in complex analysis‎. ‎fix ‎a prime number $p$‎. ‎for any nonzero rational number $x$‎, ‎there‎ ‎exists a unique integer $n_x inmathbb{z}$ such that $x = ‎frac{a}{b}p^{n_x}$‎, ‎where $a$ and $b$ are integers not divisible by ‎$p$‎. ‎then $|x...

In this paper, we propose a new, effective, and unified scoring method for local feature-based image retrieval. The proposed scoring method is derived by solving the large-scale image retrieval problem as a classification problem with a large number of classes. The resulting proposed score is based on the ratio of the probability density function of an object model to that of a background model...

Better predictionmodels for the upcoming supply of renewable energy are important to decrease the need of controlling energy provided by conventional power plants. Especially for successful power grid integration of the highly volatile wind power production, a reliable forecast is crucial. In this chapter, we focus on shortterm wind power prediction and employ data from the National Renewable E...

We adapt Streicher and Kohlenbach’s proof of the factorization S = K D of the Shoenfield translation S in terms of Krivine’s negative translation K and the Gödel functional interpretation D, obtaining a proof of the factorization U = K B of Ferreira’s Shoenfield-like bounded functional interpretation U in terms of K and Ferreira and Oliva’s bounded functional interpretation B.

The baculovirus expression system is suitable for functional expression of gastric H+,K(+)-ATPase. Expression of functional H+,K(+)-ATPase in Sf9 cells is accompanied by synthesis of large amounts of non-functional subunits. When H+,K(+)-ATPase is synthesised in the presence of 150-250 mM ethanol in the culture medium, two to threefold higher levels of functional H+,K(+)-ATPase are produced due...