Providing an Integrated User Experience of Networked Media, Devices, and Services Through End-User Composition Mark W. Newman1, Ame Elliott2, Trevor F Smith3 ∗ 1

Source URL: trevor.smith.name

• Computing
• System software
• Information and communications technology
• Network protocols
• Computer configuration
• Humancomputer interaction
• Control Panel
• Ubiquitous computing
• Universal Plug and Play
• Home network
• Ambient intelligence
• Zero-configuration networking

COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size |F|O(S) Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Mathematics
• Probabilistically checkable proof
• IP
• Algebra
• Creativity

GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

Source URL: qav.comlab.ox.ac.uk

• Uniform polyhedra
• Prism
• PRISM model checker
• Model checking
• Grip

Universit´e Paris Diderot U.F.R. de Math´ematique hh 11 mai 2011

Source URL: www.math.ens.fr

F ORESHADOW: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution Jo Van Bulck1 , Marina Minkin2 , Ofir Weisse3 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens1 , Mark Silberstein2 , Thom

Source URL: foreshadowattack.eu

• Computer architecture
• Computing
• Computer hardware
• Computer memory
• Cache
• Computer security
• X86 architecture
• Central processing unit
• Software Guard Extensions
• Meltdown
• CPU cache
• Spectre

Microsoft Word - Tiergesundheitsstatistik_2014_f_Nov15

Source URL: www.blv.admin.ch

Large Scale Training and Optimization of Neural Networks and Generative Adversarial Networks over Distributed Resource CLIC GAN : S. Vallecorsa, G. Khattak, F. Carminati, M. Pierini SurfSara : V. Codreanu, D. Podareanu

Source URL: indico.cern.ch

• Machine learning
• Computational neuroscience
• Applied mathematics
• Numerical analysis
• Computational statistics
• Artificial neural networks
• Stochastic gradient descent
• Deep learning
• Mathematical optimization
• Generative adversarial network
• Neural network
• Training
• test
• and validation sets

CONFÉRENCE EN L’HONNEUR de François Loeser Organisée par A. Douai, J. Nicaise, F. Orgogozo et J. Sebag

Source URL: fl60.sciencesconf.org

Microsoft Word103_f_V3.0.doc

Source URL: www.arbeit.swiss

arXiv:1801.09212v2 [cs.PF] 2 MayBOPS, N OT FLOPS! A N EW M ETRIC AND R OOFLINE P ERFORMANCE M ODEL F OR D ATACENTER C OMPUTING

Source URL: arxiv.org

• Computer architecture
• Computing
• Parallel computing
• Computer programming
• Roofline model
• Software optimization
• Software testing
• FLOPS
• Central processing unit
• Supercomputer
• Benchmark
• Instructions per cycle