the energy minima of systems made of an alanine molecule, a lithium cation and a various number of watermolecules have been determined with the help of quantum mechanical computations at the b3lyp densityfunctional theory level of computation and the standard 6-311++g (d,p) basis set. several structures, close inenergy are found and the presence of one or two water molecules around the cation m...

introduction: side weir structures are extensively used in hydraulic engineering, irrigation and environmental engineering, and it usually consists of a main weir and a lateral channel. side weirs are also used as an emergency structure. this structure is installed on one side or both sides of the main channel to divert the flow from the main channel to the side channel. lateral outflow takes p...

The focus of this paper is to consider the compressed sensing problem. It is stated that the compressed sensing theory, under certain conditions, helps relax the Nyquist sampling theory and takes smaller samples. One of the important tasks in this theory is to carefully design measurement matrix (sampling operator). Most existing methods in the literature attempt to optimize a randomly initiali...

This report documents the program and the outcomes of Dagstuhl Seminar 13161 “Interface of Computation, Game Theory, and Economics”. The workshop was strongly interdisciplinary, on the leading edge of current topics generally connected to algorithmic game theory: Mechanism design and auctions, interactions in networks, social models, and dynamics and equilibrium in games and markets. We summari...

We propose a formal definition for (valid) speculative computations, which is independent of any implementation technique. By speculative computations we mean optimization mechanisms that rely on relaxing the flow of execution in a given program, and on guessing the values read from pointers in the memory. Our framework for formalizing these computations is the standard operational one that is ...