The multiple ideal query (MIQ) model was introduced by Goyal, Jain and Ostrovsky [Crypto’10] as a relaxed notion of security which allows one to construct concurrently secure protocols in the plain model. The main question relevant to the MIQ model is how many queries must we allow to the ideal world adversary? The importance of the above question stems from the fact that if the answer is posit...

Guiastrennec, B. 2018. Mechanism-based modeling of biological processes involved in oral absorption. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Pharmacy 246. 64 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-513-0225-6. For orally administered drugs, the rate and extent of absorption are governed by the physiology of the gastrointestinal tract, the ch...

Let G be a group of prime order q, and let g1, . . . , gn be random elements of G. We say that a vector x = (x1, . . . , xn) ∈ Zq is a discrete log representation of some some element y ∈ G (with respect to g1, . . . , gn) if g1 1 · · · gn n = y. Any element y has many discrete log representations, forming an affine subspace of Zq . We show that these representations have a nice continuous leak...

This paper presents a game-theoretic approach that models the formation of signed networks which contain both friendly and antagonistic relations. In our model, nodes have a pleasure through their links to the others which is defined according to their triadic relations. They have a self centered goal based on the balance theory of signed networks: each node tries individually to minimize its s...

This paper reviews methods that have been used to evaluate global climate simulations and to downscale global climate scenarios for the assessment of climate impacts on hydrologic systems in the Pacific Northwest, USA. The approach described has been developed to facilitate integrated assessment research in support of regional resource management. Global climate model scenarios are evaluated an...

We present a designated verifier CS proof system for polynomial time computations. The proof system can only be verified by a designated verifier: one who has published a public-key for which it knows a matching secret key unknown to the prover. Whereas Micali’s CS proofs require the existence of random oracles, we can base soundness on computational assumptions: the existence of leveled fully ...

Perhaps the most important ocean science observation in the last two decades was provided by the Geosat radar altimeter during its 18-month geodetic mission (1985-86). The declassification of these data in July of 1995 set off a flurry of activity in basic research, industrial research/development, and public interest (Appendix A). While these data fill a huge gap in our understanding of the oc...

Diabetes develops if pancreatic -cells fail to provide sufficient amounts of insulin at a given degree of insulin resistance. In type 1 diabetes, the extent of -cell loss at the time of disease onset has been estimated to be 60–70% (1,2), while studies in patients with type 2 diabetes and individuals with impaired fasting glucose have reported -cell deficits of 65 and 50%, respectively (3). How...