\Zero-knowledge arguments" is a fundamental cryptographic primitive which allows one polynomial-time player to convince another polynomial-time player of the validity of an NP statement, without revealing any additional information in the information-theoretic sense. Despite their practical and theoretical importance, it was only known how to implement zero-knowledge arguments based on speciic ...

The application domain of intelligent transportation is plagued by a shortage of data sources that adequately assess traffic situations. Currently, to provide routing and navigation solutions an unreliable travel time database that consists of static weights as derived from road categories and speed limits is used for road networks. With the advent of Floating Car Data (FCD) and specifically th...

At its core, genetics is a historical discipline. Mutations are passed on from generation to generation and accumulate as a result of chance as well as of selection within and between populations and species. However, until recently, geneticists were confined to the study of present-day genetic variation and could only indirectly make inferences about the historical processes that resulted in t...

Uncertainty in travel time is one of the key factors that could allow us to understand and manage congestion in transportation networks. Models that incorporate uncertainty in travel time need to specify two mechanisms: the mechanism through which travel time uncertainty is generated and the mechanism through which travel time uncertainty influences users’ behavior. Existing traffic equilibrium...

In this paper we introduce a new method of carrier frequency offset estimation for Orthogonal Frequency Division Multiplexing (OFDM) communication systems. The method uses one or more pairs of adjacent subcarriers within an OFDM symbol. The pairs of subcarriers are modulated with equal amplitude and opposite polarity. In the absence of frequency offset, the received subcarrier pairs also have e...

For example, if someone is in the central business district of a large city, it might be cheapest to walk to a given destination. However, if the traveler has a particularly high value of travel time, the person might elect to pay for a ride to get to his or her destination faster. Similarly, a person driving a car might be faced with the choice between sitting in congestion or electing to pay ...

We describe a system called Olive that freezes and precisely reproduces the environment necessary to execute software long after its creation. It uses virtual machine (VM) technology to encapsulate legacy software, complete with all its software dependencies. This legacy world can be completely closed-source: there is no requirement for availability of source code, nor a requirement for recompi...

The quantum teleportation protocol can be used to probabilistically simulate a quantum circuit with backward-in-time connections. This allows us to analyze some conceptual problems of time travel in the context of physically realizable situations, to realize encrypted measurements of future states for which the decryption key becomes available only after the state is created, and to probabilist...

When there is time offset, a passive position estimation method is put forward for TOA-based sinal travel model from transmitter to receivers via target. By transforming the positioning model to linear equations which can be directly represented as algebraic solutions of target positions, the initial solution of target position is obtained by introducing the extra variables. Then the localizati...