Witness encryption is a cryptographic primitive which encrypts a message under an instance of an NP language and decrypts the ciphertext using a witness associated with that instance. In the current state of the art, most of the witness encryption construc ...
In the field of marine robotics, the problem of range based underwater target localization can be defined as that of localizing an unknown - fixed or moving - target from a surface vehicle called the tracker, using range information available about the tar ...
The street-network efficiency of tens of British cities in relation to transport fuel consumption and CO2 emissions are analyzed. The results show a strong linear positive correlation between length entropy and average street length, and a negative correla ...
We study correlation functions of a conserved spin-1 current J in three dimensional Conformal Field Theories (CFTs). We investigate the constraints imposed by permutation symmetry and current conservation on the form of three point functions and the four p ...
Percutaneous embolization and surgical repair are the current treatment options for varicocele, but determining method superiority remains controversial. In this retrospective study, we evaluate the technical success, complication and recurrence rates foll ...
We drive an explict expression for the resonance frequency shift for a subwavelength plasmonic nanocavity upon the adsorption or trapping of a single nanoparticle using rigorous perturbation theory. It reveals a simple linear dependence of the resonance fr ...
This paper proposes an approach for high-order time integration within a multi-domain setting for time- fractional differential equations. Since the kernel is singular or nearly singular, two main difficulties arise after the domain decomposition: how to p ...
We review the notion of a linearity-generating (LG) process introduced by Gabaix and relate LG processes to linear-rational (LR) models studied by Filipović et al. We show that every LR model can be represented as an LG process and vice versa. We find that ...
We describe the new software package Aligator for automatically inferring polynomial loop invariants, The package combines algorithms from symbolic summation and polynomial algebra with computational logic, and is applicable to the rich class of P-solvable ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008
In this thesis we describe a path integral formalism to evaluate approximations to the probability density function for the location and orientation of one end of a continuum polymer chain at thermodynamic equilibrium with a heat bath. We concentrate on th ...
