iEARN-USA is a member of iEARN (International Education andResource Network), the world’s largest, most experienced,online K-12 network that enables young people worldwideto use the Internet and digital media to collab

Source URL: us.iearn.org

• International education
• Philosophy of education

1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.

Source URL: rjoshi.org

• Software engineering
• Formal methods
• Mathematical logic
• Type theory
• Theoretical computer science
• Type systems
• Edsger W. Dijkstra
• Predicate transformer semantics
• Extended static checking
• ESC/Java
• Type inference
• HindleyMilner type system

fåîÉåíçêó ^ÅÅKVMUN pÅçííáëÜ=d~ÉäáÅ=qÉñíë=pçÅáÉíó k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ

Source URL: www.nls.uk

Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2

Source URL: ceur-ws.org

• Economy
• Business intelligence
• Finance
• Money
• Learning analytics
• Predictive analytics
• Analytics in higher education
• Analytics
• Usability
• Business analytics
• Architectural pattern
• Educational technology

SECURITY The Adblocking Tug-of-War The Adblocking Tug-of-War H A M E D H A D D A D I , R I S H A B N I T H YA N A N D , S H E H A R B A N O K H AT TA K , M O B I N J AV E D, N A R S EO VA L L I N A - R O D R I G U E Z ,

Source URL: sheharbano.com

• Software
• Advertising
• Marketing
• Online advertising
• Firefox add-ons
• Google Chrome extensions
• Advertising-free media
• Microsoft Edge extensions
• Ad blocking
• GNOME Web
• Adblock Plus
• Targeted advertising

Pokyny k politike otvoreného prístupu (OA) a šablóna pre poskytovateľov finančných prostriedkov Autori: Victoria Tsoukala, Marina Angelaki (EKT) Recenzenti: Alma Swan (EOS), Mafalda Picarra (Jisc), Eloy Rodrigues

Source URL: www.pasteur4oa.eu

Design of Knowledge Analytics Tools for Workplace Learning Maria A Schett, Stefan Thalmann & Ronald K Maier , {stefan.thalmann, ronald.maier}@uibk.ac.at FG-WM @ LWDA 2016 @ Potsdam, 2016 | 09 | 12

Source URL: www.maria-a-schett.net

• Education
• Economy
• Educational psychology
• Neuropsychology
• Business intelligence
• Big data
• Formal sciences
• Analytics
• Architectural pattern
• Educational technology
• Learning
• Learning analytics

From Conceptual Models to Agent-based Simulations: Why and How Swaroop Vattama, Ashok K. Goel a, Spencer Rugaber a, Cindy Hmelo-Silver b, Rebecca Jordan c a School of Interactive Computing, Georgia Institute of Technolog

Source URL: ccl.northwestern.edu

• Modeling and simulation
• Computing
• Systems science
• Scientific modeling
• Simulation
• Multi-agent systems
• Systems theory
• NetLogo
• Agent-based model
• Conceptual model
• Scientific modelling
• Ecosystem model

k-fingerprinting: a Robust Scalable Website Fingerprinting Technique Jamie Hayes George Danezis

Source URL: www.homepages.ucl.ac.uk

• Fingerprinting algorithms
• Identification
• Computing
• Cryptography
• Statistical classification
• Biostatistics
• Medical statistics
• Fingerprint
• Human anatomy
• Tor
• Sensitivity and specificity
• FPR

FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen

Source URL: www.normalesup.org

• Abstract algebra
• Algebra
• Mathematics
• Algebraic topology
• Algebraic geometry
• Category theory
• Sheaf
• Nerve
• Fundamental group
• Universal property
• Homological algebra
• Algebraic geometry and analytic geometry