We present a reduction from a new logic extending van der Meyden’s dynamic logic of permission (DLP) into propositional dynamic logic (PDL), providing a 2EXPTIME decision procedure and showing that all the machinery for PDL can be reused for reasoning about dynamic policies. As a sideeffect, we establish that DLP is EXPTIME-complete. The logic we introduce extends the logic DLP so that the poli...

In this contribution we investigate practical issues with implementing the NFS algorithm to solve the DLP arising in XTR-based cryptosystems. We can transform original XTR-DLP to a DLP instance in Fp6 , where p is a medium sized prime. Unfortunately, for practical ranges of p, the optimal degree of an NFS polynomial is less than the required degree 6. This leads to a problem to find enough smoo...

The discrete logarithm problem (DLP) was first proposed as a hard problem in cryptography in the seminal article of Diffie and Hellman [DH76]. Since then, together with factorization, it has become one of the two major pillars of public key cryptography. As a consequence, the problem of computing discrete logarithms has attracted a lot of attention. From an exponential algorithm in 1976, the fa...

The four most important data-related considerations for the bioinformatic analysis of biological systems are understanding of: the complexity and hierarchical nature of processes that generate biological data, fuzziness of biological data, biases and potential misconceptions in data, and the effects of noise and errors. We discuss these issues and summarize our findings by defining a Data Learn...

This paper introduces mainly the concept of the Public Key Cryptosystem or PKC, whose security is based on the new Discrete Logarithm Problem known as DLP-III and DLP-IV with the two distinct exponentiations, i.e. γ ≡ αβ mod p in the multiplicative group of the finite field Z∗ p of the order p − 1. We show that the proposed Public Key Cryptosystem based on DLP-IV provides more security because ...

The initial phase of peroxisomal fission requires the peroxisomal membrane protein Peroxin 11 (Pex11p), which remodels the membrane, resulting in organelle elongation. Here, we identify an additional function for Pex11p, demonstrating that Pex11p also plays a crucial role in the final step of peroxisomal fission: dynamin-like protein (DLP)-mediated membrane scission. First, we demonstrate that ...

Disjunctive logic programming (DLP) with stable model semantics is a powerful nonmonotonic formalism for knowledge representation and reasoning. Reasoning with DLP is harder than with normal (∨-free) logic programs; because stable model checking – deciding whether a given model is a stable model of a propositional DLP program – is co-NP-complete, while it is polynomial for normal logic programs...

istorically, computer architects have taken two different approaches to high-performance computing: instruction level parallelism and data-level par-allelism. The ILP paradigm seeks to execute several instructions each cycle. It does this by exploring a sequential instruction stream and extracting independent instructions to send to several execution units in parallel. The DLP paradigm, on the ...

Abstract Solvent-free inorganic-organic hybrid polymers were prepared for digital light processing (DLP) and ink-jet printing. The resins characterized in terms of viscosity, surface tension, refractive index. Optical bulk components with both printing techniques compared regarding their roughness optical scattering. haze DLP-samples can be avoided by inkjet 3D Moreover, different quantum dots ...