Natural Computing manuscript No. (will be inserted by the editor) Spatial P Systems Roberto Barbuti · Andrea Maggiolo-Schettini · Paolo Milazzo · Giovanni Pardini ·

Source URL: pages.di.unipi.it

• Models of computation
• Mathematics
• Membrane technology
• Theoretical computer science
• Chemistry
• Membrane computing
• P system
• Multiset
• Canonical form
• Matrix
• Natural computing
• Membrane

Millisort: An Experiment in Granular Computing Seo Jin Park with Yilong Li, Collin Lee and John Ousterhout Massively Parallel Granular Computing

Source URL: platformlab.stanford.edu

• Sorting algorithms
• Order theory
• Mathematics
• Computing
• Bucket sort
• Radix sort
• Merge sort
• Partition
• Merge algorithm
• Sorting

1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale

Source URL: www.icl.utk.edu

• Concurrent computing
• Computing
• Computer programming
• Parallel computing
• Numerical linear algebra
• Numerical software
• Application programming interfaces
• Fortran
• OpenACC
• Math Kernel Library
• OpenMP
• ScaLAPACK

IEEE TRANSACTIONS ON MOBILE COMPUTING, VOL. 14, NO. 9,

Source URL: wirelesslab.sjtu.edu.cn

• Energy
• Electronics
• Battery charger
• Battery charging
• Energy conversion
• Electromagnetism
• Charging stations
• Inductive charging
• Rechargeable battery
• Sensor node

LOGISTICS Workshop participants will: SONIC WORKSHOP OVERVIEW State-of-the-art cloud computing and networks require stateof-the-art methodologies to understand and secure them,

Source URL: webedit.cs.cornell.edu

• Cloud infrastructure
• Cloud computing
• Mobile cloud computing

On Abstra t Interpretation of Mobile Ambients  Fran es a Levi DISI, University of Genova, Italy Sergio Maeis Department of Computing, Imperial College, UK levifrandisi.unige.it

Source URL: www.doc.ic.ac.uk

• Ambient calculus
• Process calculi

Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu

Source URL: www.scottaaronson.com

• Quantum information science
• Theoretical computer science
• Quantum mechanics
• Quantum logic gate
• Quantum circuit
• Toffoli gate
• Qubit
• Quantum computing
• Controlled NOT gate
• Quantum error correction
• Quantum teleportation
• GottesmanKnill theorem

2010 International Conference on Distributed Computing Systems Optimizing the Spatio-Temporal Distribution of Cyber-Physical Systems for Environment Abstraction Linghe Kong, Dawei Jiang, Min-You Wu Shanghai Jiao Tong Un

Source URL: wirelesslab.sjtu.edu.cn

• Knowledge representation
• Search algorithms
• Network theory
• Mathematics
• Connectivity
• Tree
• Breadth-first search
• Discrete mathematics
• Combinatorics
• Networks
• Centrality

Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1

Source URL: rjoshi.org

• Lie algebras
• Lie groups
• Circuit complexity
• NC
• Constructible universe
• Homogeneous spaces
• Mathematics
• Hopf decomposition

Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing

Source URL: acmccs.github.io