A Versatile, Sound Tool for Simplifying Definitions Alessandro Coglio Matt Kaufmann Kestrel Institute

Source URL: www.kestrel.edu

• Computer programming
• Software engineering
• Computing
• Lisp
• Functional languages
• Subroutines
• Programming languages
• Data types
• Functional programming
• Defun
• ACL2
• Cons

Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems∗ Eli Ben-Sasson† Alessandro Chiesa†

Source URL: web.eecs.umich.edu

• Computational complexity theory
• Complexity classes
• Theory of computation
• NP
• Probabilistically checkable proof
• IP
• Proof of knowledge
• Reduction
• NC
• Craig interpolation
• EXPTIME
• Combinatory logic

Zerocash: Decentralized Anonymous Payments from Bitcoin Eli Ben-Sasson∗ , Alessandro Chiesa† , Christina Garman‡ , Matthew Green‡ , Ian Miers‡ , Eran Tromer§ , Madars Virza† ∗ Technion, .

Source URL: www.ieee-security.org

• Cryptocurrencies
• Alternative currencies
• Economy
• Money
• Exonumia
• Bitcoin
• Digital currencies
• Private currencies
• Zerocoin protocol
• Zcash
• CoinJoin
• Blockchain

1 Distributed synchronization of noisy non-identical double integrators Ruggero Carli, Alessandro Chiuso, Senior Member, IEEE , Luca Schenato Member, IEEE , Sandro Zampieri

Source URL: automatica.dei.unipd.it

Obfuscation-Resilient Privacy Leak Detection for Mobile Apps Through Differential Analysis Andrea Continella, Yanick Fratantonio, Martina Lindorfer, Alessandro Puccetti, Ali Zand, Christopher Kruegel, Giovanni Vigna

Source URL: wp.internetsociety.org

TITLE Method for the preparation of poly-aniline composites and reduced graphene oxide INVENTORS Sergio Bocchini, Alessandro Chiolerio, Samuele Porro

Source URL: old.iit.it

Prior knowledge regularization in statistical medical image tasks Alessandro Crimi1 , Jon Sporring1 , Marleen de Bruijne2 , Martin Lillholm3 , Mads Nielsen1,3 DIKU, University of Copenhagen, Denmark Erasmus University Me

Source URL: image.diku.dk

“Tecnologie digitali in sanità : uno strumento per migliorare la qualità e contenere i costi dei servizi” di Alessandro Campana Convegno annuale AISIS

Source URL: www.aisis.it

Modeling Latent Topic Interactions using Quantum Interference for Information Retrieval Alessandro Sordoni Jing He

Source URL: www-etud.iro.umontreal.ca

Uniqueness of Invariant Lagrangian Graphs in a Homology or a Cohomology Class. Albert Fathi, Alessandro Giuliani and Alfonso Sorrentino March 6, 2009 Given a smooth compact Riemannian manifold M and a Hamiltonian H on th

Source URL: www.mat.uniroma2.it