<--- Back to Details
First PageDocument Content
Set theory / Ordinal numbers / Proof theory / Ordinal arithmetic / Curry–Howard correspondence / Mathematical logic / Collision / Mechanics
Date: 2012-10-10 16:17:58
Set theory
Ordinal numbers
Proof theory
Ordinal arithmetic
Curry–Howard correspondence
Mathematical logic
Collision
Mechanics

A General Discrete Velocity Model Including Internal Degrees of Freedom

Add to Reading List

Source URL: www.complex-systems.com

Download Document from Source Website

File Size: 283,82 KB

Share Document on Facebook

Similar Documents

Cryptography / Abstract algebra / Algebra / Finite fields / Elliptic curve cryptography / Public-key cryptography / Group theory / Elliptic-curve cryptography / Elliptic curve / XTR / Elliptic curve only hash / Supersingular isogeny key exchange

Hardware for Collision Search on Elliptic Curve over GF(2m) Philippe Bulens∗, Guerric Meurice de Dormale† and Jean-Jacques Quisquater UCL Crypto Group Universit´e Catholique de Louvain

DocID: 1xVem - View Document

Physics / Logic / Quantity / VLO / Traffic collision avoidance system / Work / Quantifier

Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin

DocID: 1xUJv - View Document

On the Practical (In-)Security of 64-bit Block Ciphers Collision Attacks on HTTP over TLS and OpenVPN Karthikeyan Bhargavan Inria, France

DocID: 1xUjo - View Document

Circuit complexity / NC / Price of anarchy / Nash equilibrium

Participation Incentives on a Wireless Random Access Erasure Collision Channel

DocID: 1xUe4 - View Document

Finite fields / Algebraic number theory / Frobenius endomorphism / Galois theory / Meurice / Jean-Jacques Quisquater / Mathematics

Hardware for Collision Search m on Elliptic Curve over GF(2 ) Philippe Bulens (S), Guerric Meurice de Dormale and Jean-Jacques Quisquater {bulens, gmeurice, quisquater}@dice.ucl.ac.be

DocID: 1xUdt - View Document