We de ne the notion of an instance-hiding proof system (ihps) for a function f ; informally, an ihps is a protocol in which a polynomial-time veri er interacts with one or more all-powerful provers and is convinced of the value of f(x) but does not reveal the input x to the provers. We show here that a function f has a multiprover ihps if and only if it is computable in FNEXP. We formalize the ...

A statistical zero knowledge argument for NP is a cryptographic primitive that allows a polynomial-time prover to convince another polynomial-time verifier of the validity of an NP statement. It is guaranteed that even an infinitely powerful verifier does not learn any additional information but the validity of the claim. Naor et al. [NOVY98] showed how to implement such a protocol using any on...

HypoDD is a Fortran computer program package for relocating earthquakes with the double-difference algorithm of Waldhauser and Ellsworth (2000). This document provides a brief introduction into how to run and use the programs ph2dt and hypoDD to compute double-difference (DD) hypocenter locations. It gives a short overview of the DD technique, discusses the data preprocessing using ph2dt, and l...

We investigate apparent internal structure of kiloparsec scale jets of AGNs arising from the energy dependent cooling of accelerated electrons and light travel time effect for relativistically moving sources. Using a simple cylindrical shell model, we find that the offsets between the peaks of X-ray, optical and radio brightness distributions observed for many cases are basically explained with...

In this paper, simple and general Order-Up-To (OUT) models with Minimum Mean Square Error (MMSE) forecast for the AR(1) demand pattern are introduced in the control engineering perspective. Important insights about lead-time misidentification are derived from the analysis of variance discrepancy. By applying the Final Value Theorem (FVI), a final value offset (i.e., inventory drift) is proved t...

This article explores the development of previous models to determine hubs in a competitive environment. In this paper, by comparing parameters of the ticket price, travel time and the service quality of hub airports, airline hubs are divided into six categories. The degree of importance of travel time and travel cost are determined by a multivariate Lagrange interpolation method, which can pla...

We report the reduction of transient drifts in the zero pressure offset voltage in silicon carbide (SiC) pressure sensors when operating at 600 °C. The previously observed maximum drift of ± 10 mV of the reference offset voltage at 600 °C was reduced to within ± 5 mV. The offset voltage drifts and bridge resistance changes over time at test temperature are explained in terms of the microstructu...

We consider traffic dynamics for a network of signalized intersections under fixed time control, where the outflow from every link is constrained to be equal to an autonomous capacity function (and hence fixed-time control) if the queue length is positive and equal to the cumulative inflow otherwise. In spite of the resulting dynamics being nonLipschitz, recent work has shown existence and uniq...

As an important information for traffic condition evaluation, trip planning, transportation management, etc., average travel speed for a road means the average speed of vehicles travelling through this road in a given time duration. Traditional ways for collecting travel-speed oriented traffic data always depend on dedicated sensors and supporting infrastructures, and are therefore financial co...

Abstract: A novel Hall magnetometer using dynamic offset cancellation principle is presented. It consists from a single triangular silicon plate with three contacts and interface electronics. The proposed dynamic offset-cancelling measurement cycle includes three states. During each state, an external circuit is switched to the plate contacts in a certain way. This way, the direction of current...