Proofs of proximity are probabilistic proof systems in which the verifier only queries a sublinear number of input bits, and soundness only means that, with high probability, the input is close to an accepting input. In their minimal form, called Merlin-Arthur proofs of proximity (MAP), the verifier receives, in addition to query access to the input, also free access to an explicitly given shor...

Proofs of proximity are probabilistic proof systems in which the verifier only queries a sublinear number of input bits, and soundness only means that, with high probability, the input is close to an accepting input. In their minimal form, called Merlin-Arthur proofs of proximity (MAP), the verifier receives, in addition to query access to the input, also free access to an explicitly given shor...

in present work, we have calculated the electronic properties including density of states (dos) and electron density for gan, inn and in wurtzite phase for x=0.5. the study is based on density functional theory (dft) with full potential linearized augmented plane wave method (fp-lapw) by generalized gradient approximation (gga-pbesol) for calculating electronic properties. in this report we con...

Liquefaction is one of the most determinant factors in the collapse of transportation infrastructures. This is especially true for roads and railroads located on saturated, fine-sand substrates under seismic conditions. The damage and human casualties resulting from liquefaction highlight the importance of understanding and mapping this phenomenon. Soil liquefaction occurs as a natural hazard i...

A discrete group with word-length (G,L) is B -isocohomological for a bounding classes B if the comparison map from B -bounded cohomology to ordinary cohomology (with coefficients in C) is an isomorphism; it is strongly B isocohomological if the same is true with arbitrary coefficients. In this paper we establish some basic conditions guaranteeing strong B -isocohomologicality. In particular, we...

The objective of the study discussed in this article was to evaluate the impact of residential proximity to toxic release sites (TRS) and potential implications for low birth weight (LBW) and premature delivery in Shelby County, Tennessee women. The sample (N = 369) included pregnant women who participated in the Blues Project (2007-2009). ArcGIS was used to map the mother's residence at delive...

We consider tasks that require users to be aware of the proximity of two 3D surfaces and where one or both of these surfaces is changing over time. We consider situations where users need to quickly and accurately assess when and where the two surfaces approach each other and eventually intersect. Because occlusion in 3D visualisations remains an issue in the perception of such data, a complete...