نتایج جستجو برای: دی لوریل پروکساید dlp

تعداد نتایج: 19903  

Journal: :Journal of Logic and Computation 2005

Journal: :Finite Fields and Their Applications 2022

We present a study on the use of Pell hyperbolas in cryptosystems with security based discrete logarithm problem. Specifically, after introducing group structure over generalized (and also giving explicit isomorphisms classical hyperbolas), we provide parameterization both an algebraic and geometrical approach. The particular that propose appears to be useful from cryptographic point view becau...

2017
Baraa Tariq Hammad Norziana Jamil Mohd Ezanee Rusli Muhammad Reza Zaba

In this paper, we present a new DLP-sponge construction to ensure integrity and privacy. This scheme solves problem related to small keys by introducing a double length construction: k ≈ 2r. Previous researcher show that the size of key k must be twice of the capacity c which will in turn affect the size of the underlying permutation: b = c + r. As c decreases, the bitrate r increases as well. ...

2017
Alina Coutinho Rodrigues Feitosa Luciana Tedgue Barreto Isabela Matos da Silva Felipe Freire da Silva Gilson Soares Feitosa Filho

Background: There is a physiologic elevation of total cholesterol (TC) and triglycerides (TG) during pregnancy. Some authors define dyslipidemia (DLP) in pregnant women when TC, LDL and TG concentrations are above the 95th percentile (p95%) and HDL concentration is below the 5th percentile (P5%) for gestational age (GA). Objective: To compare the prevalence of DLP in pregnant women using perc...

2014
Hamza Jeljeli

In cryptanalysis, solving the discrete logarithm problem (DLP) is key to assessing the security of many public-key cryptosystems. The index-calculus methods, that attack the DLP in multiplicative subgroups of finite fields, require solving large sparse systems of linear equations modulo large primes. This article deals with how we can run this computation on GPUand multi-core-based clusters, fe...

2005
Massimo Ruffolo Nicola Leone Marco Manna Domenico Saccà Amedeo Zavatto

The paper describes HıLεX, a new ASP-based system for the extraction of information from unstructured documents. Unlike previous systems, which are mainly syntactic, HıLεX combines both semantic and syntactic knowledge for a powerful information extraction. In particular, the exploitation of background knowledge, stored in a domain ontology, allows to empower significantly the information extra...

2017
Jae-Sang Hyun Beiwen Li Song Zhang

This paper presents our research findings on high-speed high-accuracy three-dimensional shape measurement using digital light processing (DLP) technologies. In particular, we compare two different sinusoidal fringe generation techniques using the DLP projection devices: direct projection of computer-generated 8-bit sinusoidal patterns (a.k.a., the sinusoidal method), and the creation of sinusoi...

Journal: :J. Log. Program. 2000
Chiaki Sakama Katsumi Inoue

Abductive logic programming (ALP) and disjunctive logic programming (DLP) are two different extensions of logic programming. This paper investigates the relationship between ALP and DLP from the program transformation viewpoint. It is shown that the belief set semantics of an abductive program is expressed by the answer set semantics and the possible model semantics of a disjunctive program. In...

1995
Gopalan Nadathur Donald W. Loveland

One formulation of the concept of logic programming is the notion of Abstract Logic Programming Language, introduced in 8]. Central to that deeni-tion is uniform proof, which enforces the requirements of inference direction, including goal-directedness, and the duality of readings, declarative and procedural. We use this technology to investigate Disjunctive Logic Programming (DLP), an extensio...

2011
Boris Kovalerchuk Leonid Perlovsky Gregory Wheeler

a complex phenomenon such as the mind presents tremendous computational complexity challenges. Modeling field theory (MFT) addresses these challenges in a non-traditional way. The main idea behind MFT is to match levels of uncertainty of the model (also, a problem or some theory) with levels of uncertainty of the evaluation criterion used to identify that model. When a model becomes more certai...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید