PUMP: A Programmable Unit for Metadata Processing Udit Dhawan1 Nikos Vasilakis1 Jonathan M. Smith1 Thomas F. Knight, Jr.3 1

Source URL: nikos.vasilak.is

c ACM, 2012. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ⃝ Not for redistribution. The definitive version was published in The International Conference on F

Source URL: ndmitchell.com

• Computer programming
• Software engineering
• Computing
• Build automation
• Compiling tools
• Software design patterns
• C++
• Make
• Monad
• Apache Ant
• Include directive
• Haskell

1 POINTS IN EQUILIBRIUM Given locally finite configuration of points on the real line R, define a potential F (x, y) to be the force between two points x, y, for example

Source URL: www.wisdom.weizmann.ac.il

• Geometry
• Mathematics
• Space
• Geometric group theory
• Metric geometry
• Approximate group
• Group theory
• Metric space

MOBILE AND UBIQUITOUS SYSTEMS www.computer.org/pervasive Bringing Network Effects to Pervasive Spaces W. Keith Edwards, Mark W. Newman, Jana Z. Sedivy, and Trevor F. Smith

Source URL: trevor.smith.name

• Computing
• Information and communications technology
• Network protocols
• Technology
• Telecommunications engineering
• Digital media
• Mobile content
• Universal Plug and Play
• Ubiquitous computing
• Computer network
• Interoperability
• Plug and play

CHIARA M. F. MINGARELLI, PHD www.chiaramingarelli.com Center for Computational Astrophysics,

Source URL: www.chiaramingarelli.com

• Astronomy
• Radio astronomy
• North American Nanohertz Observatory for Gravitational Waves
• Chiara Mingarelli
• International Pulsar Timing Array
• Pulsar timing array
• Gravitational wave
• Pulsar
• European Pulsar Timing Array
• Millisecond pulsar
• LIGO
• General relativity

f´ evrier 2013 Journ´ ees Francophones des Langages Applicatifs

Source URL: cubicle.lri.fr

Kf;fpak;; itg;Gf;fs; ,yq;if kj;jpa tq;fpapd; topfhl;LjYf;F mika> Ntz;Lnkd;Nw Nrjg;gLj;jg;gl;l> khw;wk; nra;ag;gl;l my;yJ cUf;Fiyf;fg;gl;l ehzaj; jhs;fis 2018 Vg;gpuy; 1Mk; jpfjpapypUe;J Vw;Wf;nfhs;sf; $lhnjd rfy tq;fpfSk

Source URL: www.hsbc.lk

COSC 544 Probabilistic Proof SystemsA First Linear PCP (Of Size |F|O(S ) )

Source URL: people.cs.georgetown.edu

• Algebra
• Abstract algebra
• Mathematics
• Probabilistically checkable proof
• Valuation
• Tensor product

The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional programming
• Logic in computer science
• Functional languages
• Formal methods
• Type theory
• Monad
• F*
• Predicate transformer semantics
• Haskell

Homomorphic Mini-blockchain Scheme B.F. Fran¸ca 24 April 2015 Abstract We create a new cryptocurrency scheme based on the mini-blockchain

Source URL: cryptonite.info

• Cryptography
• Cryptocurrencies
• Public-key cryptography
• Alternative currencies
• Bitcoin
• Blockchains
• Ethereum
• Commitment scheme
• Elliptic curve
• Elliptic-curve cryptography
• Zero-knowledge proof
• BonehLynnShacham