BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information

Source URL: www.brics.dk

• Computational complexity theory
• Continuation-passing style
• Continuations
• Functional programming
• Lambda calculus
• Static single assignment form
• Reduction
• Theoretical computer science
• Applied mathematics
• Software engineering

BRICS RSBiernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science

Source URL: www.brics.dk

BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Continuations
• Functional programming
• Continuation-passing style
• Programming language semantics
• Eval
• Evaluation strategy
• Continuation
• Lambda calculus
• Operational semantics
• Software engineering
• Computing
• Control flow

C OVE R Is social networking a passing fad, or here to stay? It is a “must” for business owners and

Source URL: prospringstaffing.com

• Web 2.0
• Social information processing
• Social media
• Mass media
• Blog hosting services
• Social networking service
• Twitter
• Facebook
• Like button
• World Wide Web
• Computing
• Technology

Model Selection in Compositional Spaces by Roger Baker Grosse B.S., Stanford UniversityM.S., Stanford University (2008)

Source URL: www.cs.toronto.edu

• Bayesian statistics
• Statistical models
• Generative model
• Bayes factor
• Variational Bayesian methods
• Variational message passing
• Marginal likelihood
• Supervised learning
• Gibbs sampling
• Statistics
• Machine learning
• Probability and statistics

Chip-Firing Analysis of Stabilization Behaviors, Hitting Times, and Candy-Passing Games Paul Kominers 1

Source URL: mazziotti.uchicago.edu

Call for contributions for themed edition Werkwinkel: Journal for Dutch and South African Studies Literary historiography / literary biography The passing of John Kannemeyer, the South African literary historian and biog

Source URL: wa.amu.edu.pl

MPI: A Message-Passing Interface Standard Version 3.1 Message Passing Interface Forum June 4, 2015 1

Source URL: www.mpi-forum.org

OdinMP/CCp – A Portable Compiler for C with OpenMP to C with POSIX threads Christian Brunschen D e par t m en t of Inf or m at i on Tec hno log y

Source URL: www.brunschen.com

• Computer programming
• OpenMP
• Barrier
• Thread
• Directive
• Message Passing Interface
• Automatic parallelization
• Lock
• Unified Parallel C
• Concurrent computing
• Computing
• Parallel computing

ITU-T TechWatch Alert (JulyMobile Applications By any measure Apple’s App Store has been a great success, passing the milestone of one billion downloaded applications (apps) in less than ten months, and reachin

Source URL: www.itu.int