|
| Thread / Post | Tags |
Title: Zero Knowledge Protocols and Proof Systems
Page Link: Zero Knowledge Protocols and Proof Systems -
Posted By: dileepkumars1
Created at: Thursday 17th of August 2017 05:13:18 AM
| |
Zero Knowledge Protocols and Proof Systems
Zero-knowledge protocols allow identification, key exchange and other basic cryptographic operations to be implemented without leaking any secret information during the conversation and with smaller computational requirements than using comparable public key protocols. Thus Zero-knowledge protocols seem very attractive especially in smart card and embedded applications. There is quite a lot written about zero-knowledge protocols in theory, but not so much practical down-to-earth material is availabl ....etc
[:=Read Full Message Here=:]
|
|
|
|
|
|
|
Title: maths project on basic proportionality theorem
Page Link: maths project on basic proportionality theorem -
Posted By: bholi3131
Created at: Thursday 17th of August 2017 05:41:08 AM
| |
maths project on basic proportionality theorem
BASIC PROPORTIONALITY THEOREM: BASIC PROPORTIONALITY THEOREM - THALES OF MILETUS
THALES OF MILETUS : THALES OF MILETUS Thales of Miletus -Socratic Greek philosopher from Miletus in Asia Minor, and one of the Seven Sages of Greece. Many, most notably Aristotle, regard him as the first philosopher in the Greek tradition. According to Bertrand Russell, Western philosophy begins with Thales. Thales attempted to explain natural phenomena without reference to mythology and was tremendously influentia ....etc
[:=Read Full Message Here=:]
|
|
|
Title: to verify de morgan theorem using ic 7400
Page Link: to verify de morgan theorem using ic 7400 -
Posted By: shri_chilling
Created at: Thursday 17th of August 2017 06:58:47 AM
| |
to verify de morgan theorem using ic 7400
Verification and interpretation of truth tables for AND, OR, NOT, NAND, NOR Exclusive OR (EX-OR), Exclusive NOR (EX-NOR) Gates.
Apparatus: Logic trainer kit, logic gates / ICs, wires.
Theory: Logic gates are electronic circuits which perform logical functions on one or more inputs to produce one output. There are seven logic gates. When all the input combinations of a logic gate are written in a series and their corresponding outputs written along them, then this input/ output combination is called ....etc
[:=Read Full Message Here=:]
|
Title: Basic Proportionality Theorem
Page Link: Basic Proportionality Theorem -
Posted By: sriramamilkanthwar
Created at: Thursday 17th of August 2017 05:48:47 AM
| |
This article is presented by:RAJAT BAKSHI
X-A
43Basic Proportionality Theorem
If a line is drawn parallel to one side of a triangle to intersect the other two sides in distinct points, the other two sides are divided in the same ratio.
Aim- AD AE
DB EC ....etc
[:=Read Full Message Here=:]
|
Title: Automated theorem proving ATP
Page Link: Automated theorem proving ATP -
Posted By: shuk'z
Created at: Thursday 05th of October 2017 04:23:15 AM
| |
Automated Theorem Proving
AbstractAutomated theorem proving (ATP), currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Depending on the underlying logic, the problem of deciding the validity of a theorem varies from trivial to impossible. ....etc
[:=Read Full Message Here=:]
|
Title: project report about bernoulli s apparatus
Page Link: project report about bernoulli s apparatus -
Posted By: jaison
Created at: Thursday 05th of October 2017 04:40:59 AM
| |
project topics on bernoullis apparatus, seminar on bernouli s apparatus, bernoulli s apparatus project, bernoulli s apparatus project report, project report bernoulli s apparatus, ....etc
[:=Read Full Message Here=:]
|
Title: matlab code for verifying the de morgan s theorem
Page Link: matlab code for verifying the de morgan s theorem -
Posted By: tarun200720
Created at: Thursday 17th of August 2017 06:40:20 AM
| |
In Boolean Algebra, there are some very important laws which are called the De Morgan's laws (the spelling can change from author to author).
These laws teach us how to interchange NOT with AND or OR logical operators.
In formal logic, De Morgan's laws are rules relating the logical operators 'and' and 'or' in terms of each other via negation:
not(p or q) =
(not p) and (not q)
not(p and q) =
(not p) or (not q)
Using logic gates (commonly used in Digital Electronics), they can be expressed in two forms:
the OR form:
De ....etc
[:=Read Full Message Here=:]
|
|
|
|
|
Title: bernoulli s theorem and its application ppt
Page Link: bernoulli s theorem and its application ppt -
Posted By: rakhichandran
Created at: Thursday 17th of August 2017 08:27:49 AM
| |
bernoullis theorem and its application is a vast topic.in tenth class we read it..that how it apply in fluid mechanics and hydraullics..at that stage i also need ....etc
[:=Read Full Message Here=:]
|
Title: zero knowledge protocol and proof system
Page Link: zero knowledge protocol and proof system -
Posted By: ravigadu
Created at: Thursday 17th of August 2017 05:18:46 AM
| |
To get more information about the topic zero knowledge protocol and proof system please refer the page link below
http://seminarsprojects.net/Thread-zero-knowledge-protocols-and-proof-systems
http://seminarsprojects.net/Thread-zero-knowledge-protocol-and-proof-system--26512
http://seminarsprojects.net/Thread-zero-knowledge-protocol-and-proof-system ....etc
[:=Read Full Message Here=:]
|
Title: triangle proportionality theorem ppt
Page Link: triangle proportionality theorem ppt -
Posted By: gianlorenzo
Created at: Thursday 17th of August 2017 05:48:19 AM
| |
ABC is a triangle.From C a line segment CD is drawn on AB and from B a line segment BE is drawn on CA. The lines CD and BE intersect at a point O.
Here it is given that area of triangles 1)BOD=15 sq. unit 2)COE=10 sq. unit
and 3)BOC=25 sq. unit. Find area of ADOE ....etc
[:=Read Full Message Here=:]
|
|
|
|
|