The performance of programs written in languages following the dataflow model of computation (MoC) largely depends on the configuration (partitioning, mapping, scheduling, buffer dimensioning) chosen during the synthesis stages. Furthermore, this programmi ...
We discovered a mistake in Eqs. (7) and (10) of Saglia et al. (2010, A&A, 524, A6), which propagates to Tables 8 and 9 and Fig. 25. We revise the tables, the figure and the affected statements in the paper. As a result, the reduction in the luminosity evol ...
We prove a lower bound on the number of ordinary conics determined by a finite point set in R-2. An ordinary conic for S subset of R-2 is a conic that is determined by five points of S and contains no other points of S. Wiseman and Wilson proved the Sylves ...
Let P be a set of n > d points in for d >= 2. It was conjectured by Zvi Schur that the maximum number of (d-1)-dimensional regular simplices of edge length diam(P), whose every vertex belongs to P, is n. We prove this statement under the condition that any ...
Currently used methods for the description of thermodynamics of ferroelectric thin films (Landau theory or ab initio based Monte Carlo simulations) are based on an energy expansion in terms of internal degrees of freedom. It was shown that these methods ca ...
