The synthesis of Boolean functions, as they are found in many quantum algorithms, is usually conducted in two steps. First, the function is realized in terms of a reversible circuit followed by a mapping into a corresponding quantum realization. During this process, the number of lines and the quantum costs of the resulting circuits have mainly been considered as optimization objectives thus fa...

The candidate construction of multilinear maps by Garg, Gentry, and Halevi (Eurocrypt 2013) has lead to an explosion of new cryptographic constructions ranging from attribute-based encryption (ABE) for arbitrary polynomial size circuits, to program obfuscation, and to constrained pseudorandom functions (PRFs). Many of these constructions require κ-linear maps for large κ. In this work, we focus...

One of the most effective parameters in economics of open-pit mines is the pit slope angle, so that the slope angle more than the optimum value increases the probability of a large failure in the pit wall and the slope angle less than the optimum value leads to increasing stripping ratio and reducing net present value of mine. Therefore, in this paper, considering the limit equilibrium methods ...

Microbial populations in 16 groundwater samples from six Fennoscandian Shield sites in Finland and Sweden were investigated. The average total cell number was 3.7x10(5) cells ml(-1), and there was no change in the mean of the total cell numbers to a depth of 1390 m. Culture media were designed based on the chemical composition of each groundwater sample and used successfully to culture anaerobi...

application of structures of flow pattern modification is one of the erosion control methods in bends. triangular vanes are among these structures which provide less scour depth compared to the other techniques such as spur dike. since little information on erosion and sedimentation pattern around triangular vanes are available, this study was conducted to study the effect of structure effectiv...