We treat a challenging problem of confidentiality-preserving data publishing: how to repeatedly update a released weakened view under a modification of the input parameter values, while continuously enforcing the confidentiality policy, i.e., without revealing a prohibited piece of information, neither for the updated view nor retrospectively for the previous versions of the view. In our semant...

We study the linear statistics of the circular β-ensemble with a Stein’s method argument, where the exchangeable pair is generated through circular Dyson Brownian motion. This generalizes previous results obtained in such a way for the CUE and provides a novel approach for studying linear statistics of β-ensembles. This approach allows studying simultaneously a collection of linear statistics w...

As a modified version of GGH map, Gu map-1 was successful in constructing multi-party key exchange (MPKE). In this short paper we present a result about the parameter setting of Gu map-1, therefore we can reduce a key parameter τ from original O(n) down to O(λn) (in theoretically secure case, where λ is the security parameter), and even down to O(2n) (in computationally secure case). Such optim...

In this paper we discuss the application of the certified reduced basis method and the associated software package rbMIT c © to “worked problems” in steady and unsteady conduction. Each worked problem is characterized by an input parameter vector — material properties, boundary conditions and sources, and geometry — and desired outputs — selected fluxes and temperatures. The methodology and ass...

This paper is an engineer-to-engineer note, to show a problematic point of long time DC measurements and show tips how to achieve higher accuracy there.. At long time measurements, rounding errors can seriously influence the output value. The problem is not just theoretical; our investigation is started because of a malfunctioning dilatation sensor system used at industrial turbines. We tried t...

EEMML (Emotional Eye Movement Markup Language) is a scripting tool that enables authors to describe and generate emotional eye movement in virtual agents. The EEMML is capable of describing and generating both basic eye movement and emotional eye movement, including primary (joy, sadness, anger, fear, disgust and surprise) and intermediate (emotions that can be represented as the mixture of two...

Non-stationary filtering of seismic data can be accomplished in time or in Fourier domain by the theory of non-stationary convolution (Margrave, 1998). Here I show the results of implementing this theory for time-variant filtering of seismic data with an arbitrary number of filters and for forward and inverse NMO correction in the frequency domain. In the first case I show that the filters may ...

Industry clusters have been the focus of scholars and governments since the second half of the 20th century. During a cluster’s growing process, the government plays an important role. In order to show the growing law of the clusters and how government did for co-agglomeration, we proposed two kinds of models: Logistic model and BA model with parameter α to describe the single and mass clusters...

When data are poor, we resort to theory modeling. This is a two-step process. We have first to identify the appropriate type of model for the system under consideration and then to tailor it to the specifics of the case. To understand settlement formation, which is the concern of this article, this involves choosing not only input parameter values such as site separations but also input functio...

The class of objects we consider are algebraic relations between the four kinds of classical Jacobi theta functions θj(z|τ), j = 1, . . . , 4, and their derivatives. We present an algorithm to prove such relations automatically where the function argument z is zero, but where the parameter τ in the upper half complex plane is arbitrary.