Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1

Source URL: homes.soic.indiana.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Data types
• Procedural programming languages
• C++
• Lambda calculus
• Type system
• Type safety
• Gradual typing
• ALGOL 68

..dalDisegnatore / Consulente C.A.D. matteo

Source URL: www.mc-cad.it

Documenta Mathematica Band 18, 2013 Matteo Longo, Marc-Hubert Nicole The Λ-Adic Shimura-Shintani-Waldspurger Correspondence

Source URL: documenta.sagemath.org

• Mathematics
• Algebra
• Abstract algebra
• Algebraic geometry
• Automorphic forms
• Shimura variety
• Raman Parimala
• Main conjecture of Iwasawa theory
• Elliptic curve
• Von Neumann algebra
• Projective variety
• Tate conjecture

Space-Round Tradeoffs for MapReduce Computations Andrea Pietracaprina Geppino Pucci Matteo Riondato

Source URL: matteo.rionda.to

• Algebra
• Mathematics
• Linear algebra
• Matrix theory
• Numerical linear algebra
• Multiplication
• Matrices
• Matrix multiplication algorithm
• Matrix
• Dynamic programming
• Invertible matrix
• Sparse matrix

VISITA AL CENTRO OLIMPICO “MATTEO PELLICONE” ED AL MUSEO DEGLI SPORT DA COMBATTIMENTO. Federazione Italiana Judo Lotta Karate Arti Marziali Centro Olimpico “Matteo Pellicone” – Via Sandolini 79, Lido di Ostia (

Source URL: www.fijlkam.it

Sampling-based Data Mining Algorithms: Modern Techniques and Case Studies Matteo Riondato Brown University, Providence, RI 02912, USA Abstract. Sampling a dataset for faster analysis and looking at it

Source URL: matteo.rionda.to

• Mathematics
• Graph theory
• Network theory
• Theoretical computer science
• Computational learning theory
• Dimension
• Statistical classification
• VC dimension
• Centrality
• Sampling
• Statistics
• Mode

Wiggins: Detecting Valuable Information in Dynamic Networks Using Limited Resources Ahmad Mahmoody∗, Matteo Riondato†, Eli Upfal* {ahmad,eli}@cs.brown.edu, March 2, 2016 “Have you found it, Wigg

Source URL: matteo.rionda.to

• Interpolation
• Polynomials
• Operations research
• Dynamic programming
• Lebesgue constant

Journal of Machine Learning Research X (201X) X-XX Submitted 10/13; Published X/XX The VC-Dimension of SQL Queries and Selectivity Estimation Through Sampling

Source URL: matteo.rionda.to

• Data management
• Data
• Computing
• Database management systems
• SQL
• Query optimization
• Data warehousing
• VC dimension
• Join
• Dimension
• Monotonic query

Is The Web HTTP/2 Yet? http://isthewebhttp2yet.com/ Matteo Varvello1 , Kyle Schomp2 , David Naylor3 , Jeremy Blackburn1 , Alessandro Finamore1 , and Konstantina Papagiannaki1 Telef´onica Research1 , Case Western Reserve

Source URL: www.tid.es

• Computing
• Network architecture
• World Wide Web
• Internet protocols
• SPDY
• HTTP/2
• CRIME
• Play Framework
• Push technology
• QUIC
• Hypertext Transfer Protocol
• Application-Layer Protocol Negotiation

Matteo Rigoni – PPD-GG 06 agosto 2015 Matteo Rigoni Via Cantone 4

Source URL: patriziatogorduno.ch