Microsoft Word - S09_POL361_syllabus.docx

Source URL: www.u.arizona.edu

• International relations
• Political science
• Global politics
• Global governance
• Globalization
• World government
• Governance
• Politics
• Io

Formale Systeme II: Theorie Dynamic Logic: Propositional Dynamic Logic SS 2016

Source URL: formal.iti.kit.edu

• Logic
• Non-classical logic
• Metaphysics
• Mathematical logic
• Modal logic
• Philosophical logic
• Logic in computer science
• Dynamic logic
• KeY

Graphene: A New Protocol for Block Propagation Using Set Reconciliation A. Pinar Ozisik† , Gavin Andresen, George Bissias† , Amir Houmansadr† , Brian Levine† †College of Information and Computer Sciences, Univ.

Source URL: people.cs.umass.edu

• Cryptocurrencies
• Bitcoin
• Computing
• Alternative currencies
• Emerging technologies
• Decentralization
• Economy
• Money
• Blockchain
• Bloom filter
• Graphene
• Potential applications of graphene

MITP.publicity.guide.indd

Source URL: mitpress.mit.edu

Microsoft Word - AX Business Plan_Κρήτη.doc

Source URL: council.dev.edu.uoc.gr

Information-Centric Networking: Seeing the Forest for the Trees Ali Ghodsi Teemu Koponen

Source URL: people.eecs.berkeley.edu

• Computing
• Computer networking
• Data transmission
• Information and communications technology
• Internet protocols
• Information-centric networking
• Named data networking
• Cache
• Publishsubscribe pattern
• Web cache
• ICN
• SBB-CFF-FFS RABDe 500

EMORY UNIVERSITY STUDENT PREPAREDNESS OFFICE OF CRITICAL EVENT PREPAREDNESS & RESPONSE

Source URL: emergency.emory.edu

• Druid Hills
• Georgia
• Information and communications technology
• Technology
• Emory University
• V-12 Navy College Training Program
• Communication
• In Case of Emergency
• Mobile phone
• 9-1-1
• 000
• Emergency Contact

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

Research Centres & Supervisors School of Engineering

Source URL: www.ecu.edu.au

• Energy
• Universe
• Energy conversion
• Renewable energy technology
• Wireless networking
• Smart grid
• Energy development
• Ocean thermal energy conversion
• Desalination
• Energy technology
• Wireless sensor network
• Energy storage