Sept 2018-system-mapai

Source URL: transportation.stanford.edu

• Geography of California
• California
• National Register of Historic Places in Santa Clara County
• California
• Palo Alto station
• Palo Alto
• California
• Stanford Marguerite Shuttle
• Transport
• English phonology
• English orthography

Marketing and Publicity at the MIT Press Our guide to what you can do to help us make your book

Source URL: mitpress.mit.edu

• Marketing
• Economy
• Business economics
• Communication design
• Communication
• Publicity
• Advertising
• Social media
• Publishing
• Publicist

Submodules in Racket You Want it When, Again? Matthew Flatt PLT and University of Utah

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Cross-platform software
• Procedural programming languages
• Scheme
• Functional languages
• Hygienic macro
• Racket
• Macro
• Module

tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1.

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Transformation languages
• Metaprogramming
• Source code
• Dylan
• Hygienic macro
• Scheme
• Macro
• Scope
• Anonymous function

Best of Both Worlds in Secure Computation, with Low Communication Overhead

Source URL: web.eecs.umich.edu

• Cryptography
• Mathematics
• Theoretical computer science
• Computational complexity theory
• Secret sharing
• Quantum complexity theory
• Secure multi-party computation
• IP
• PP
• Polynomial
• Communication complexity
• Lagrange polynomial

contributed articles DOI:Computers broadcast their secrets via inadvertent physical emanations that are easily measured and exploited.

Source URL: web.eecs.umich.edu

• Cryptography
• Side-channel attacks
• Public-key cryptography
• Applied mathematics
• RSA
• Electromagnetic attack
• GNU Privacy Guard
• Chosen-ciphertext attack
• Power analysis
• Blinding
• Elliptic-curve cryptography
• Advanced Encryption Standard

MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Automated theorem proving
• Boolean algebra
• NP-complete problems
• Combinatorial optimization
• Maximum satisfiability problem
• Boolean satisfiability problem
• Resolution
• Unit propagation

Learning Deep Features for Discriminative Localization Bolei Zhou, Aditya Khosla, Agata Lapedriza, Aude Oliva, Antonio Torralba Computer Science and Artificial Intelligence Laboratory, MIT {bzhou,khosla,agata,oliva,torra

Source URL: cnnlocalization.csail.mit.edu

• Computer vision
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Convolutional neural network
• Computational statistics
• Neural networks
• AlexNet
• Conference on Computer Vision and Pattern Recognition
• ImageNet
• Object detection
• Receptive field

CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs

Source URL: www.ccs.neu.edu

Protecting Workers Abroad and Industries at Home: Rights-Based Conditionality in Trade Preference Programs Supplemental Materials

Source URL: laynamosley.web.unc.edu

• Frequency modulation
• Russian people
• Ethnic groups in Russia
• United States presidential election in Georgia