We present a Lagrangian data assimilation experiment in an open channel flow above a broad-crested weir. The observations consist of trajectories of particles transported by the flow and extracted from a video film, in addition to classical water level measurements. However, the presence of vertical recirculations on both sides of the weir actually conducts to the identification of an equivalen...

Smartphone users often use private and enterprise data with untrusted third party applications. The fundamental lack of secrecy guarantees in smartphone OSes, such as Android, exposes this data to the risk of unauthorized exfiltration. A natural solution is the integration of secrecy guarantees into the OS. In this paper, we describe the challenges for decentralized information flow control (DI...

liable mode of treating cases of snake-bite. In investigations regarding the action of drugs of a complex nature, it frequently occurs that the physiological action of the drug, considered as a whole, differs from its isolated constituents. Thus, while opium is narcotic, thebaia, one of its constituents, is purely excitant, and in doses of one grain causes tetanic spasms (Farquharson). The expe...

Characteristics and behavior of the flow in hydraulic structures, a complex phenomenon that isimperative to use software that will beto be study.Gabiony stepped spillway is a simple hydraulicstructures to control erosion downstream of dams, and, depreciation of structures is used. Roughstairway consisting of overflow from the stairs near the crest of the weir is started and continues tohave a l...

*We have benefited from discussions with Stefan Dercon, Francis Teal and Sharada Weir. However, usual disclaimers apply.

Paute-Cardenillo (owned by Celec Ep-Hidropaute) is a dam with maximum height 135 m located in the Paute River in Ecuador. Its hydroelectric production will be integrated at the National Electric System of Ecuador with an installed capacity of 600 MW which will produce 3300 GWh per year. To evaluate the stability and safety of the structure, it is necessary to ascertain the shape and dimensions ...

The aim of the present paper is to obtain a number of Kuhn-Tucker type sufficient optimality conditions for a feasible solution to be an efficient solution under the assumptions of the new notions of weak strictly pseudo quasi α-univex, strong pseudo quasi α-univex, and weak strictly pseudo α-univex vector valued functions. We also derive the duality theorems for Mond-Weir and general Mond-Wei...

We characterize, using the Bergman kernel, Carleson measures of Bergman spaces in strongly pseudoconvex bounded domains in C, generalizing to this setting theorems proved by Duren and Weir for the unit ball. We also show that uniformly discrete (with respect to the Kobayashi distance) sequences give examples of Carleson measures, and we compute the speed of escape to the boundary of uniformly d...