In this paper we present and prove secure a new identity-based identification scheme based on error-correcting codes. Our scheme combines two well known schemes by Courtois-Finiasz-Sendrier and Stern. It inherits some of their practical weaknesses, …

In this paper, a new identity-based identification scheme based on error-correcting codes is proposed. Two well known code-based schemes are combined…

We first prove part (a). We just prove (2.22) and (2.23), since the derivation of (2.24) and (2.25) is very similar. Let f be a representative for F, i.e. F=f(η). Then, by the binomial identity, we have

We prove an exact fourth moment bound for the normal approximation of random variables belonging to the Wiener chaos of a general Poisson random meas…

We prove (a) and (b) simultaneously. By assumption, H:=FG∈L2(P) and, hence, H has a chaotic decomposition of the form

Adapting the spectral viewpoint suggested in Ledoux (2012) in the context of symmetric Markov diffusion generators and recently exploited in the non-…

Probabilistic Boolean networks (PBNs) is a widely used computational framework for modelling biological systems. The steady-state dynamics of PBNs is…

Topology in condensed matter physics manifests itself in the emergence of edge or surface states protected by underlying symmetries. We review two-di…

The emergence of location-based social networks provides an unprecedented chance to study the interaction between human mobility and social relations…

This paper proposes symbol level precoding in the downlink of a MISO cognitive system. The new scheme tries to jointly utilize the data and channel i…

Humans are social animals, they interact with different communities of friends to conduct different activities. The literature shows that human mobil…

In this work, we investigate the validity of model learning for the purpose of PMC. We propose a novel GA-based approach to overcome limitations of existing model learning algorithms and conducted an empirical study to systematically evaluate the ef…

Many automated system analysis techniques (e.g., model checking, model-based testing) rely on first obtaining a model of the system under analysis. S…

Probabilistic Boolean networks (PBNs) is a well-established computational framework for modelling biological systems. The steady-state dynamics of PB…

Machine learning advances chemistry and materials science by enabling large-scale exploration of chemical space based on quantum chemical calculation…

Edge-caching has received much attention as an efficient technique to reduce delivery latency and network congestion during peak-traffic times by bri…

Quality of service (QoS) for a network is characterized in terms of various parameters specifying packet delay and loss tolerance requirements for th…

Relaying has been extensively studied during the last decades and has found numerous applications in wireless communications. The simplest relaying m…

Mutant selection refers to the problem of choosing, among a large number of mutants, the (few) ones to be used by the testers. We thus, investigate t…

Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. …

We present a computer simulation study on the crystal nucleation process in suspensions of hard spheres, fully taking into account the solvent hydrod…

In this paper, a sequential probing method for interference constraint learning is proposed to allow a centralized Cognitive Radio Network (CRN) acce…

Smart contracts are programs stored and executed on a blockchain. The Ethereum platform, an open-source blockchain-based platform, has been designed …

In this section, it is shown how the main results of this article can be applied to give rates of convergence for the functional Breuer-Major theorems recently proved in [CNN18] and [NN18].

We introduce a framework to derive quantitative central limit theorems for the approximation of arbitrary non-degenerate Gaussian random variables ta…

By signing up you accept our content policy

Already have an account? Sign in

No a member yet? Create an account