Capacity Planning in a General Supply Chain with Multiple Contract Types by Xin Huang Submitted to the Department of Electrical Engineering and Computer

Source URL: web.mit.edu

• Mathematics
• Computational complexity theory
• Applied mathematics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Mathematical optimization
• Linear programming
• Shortest path problem
• Ant colony optimization algorithms
• Genetic algorithm

Woodruff Library Master Schedule Summer 2018 Winter IntersessionDec 20, Jan 14, 2019

Source URL: web.library.emory.edu

Rearranging the Familiar: Testing Compositional Generalization in Recurrent Networks arXiv:1807.07545v1 [cs.CL] 19 JulJo˜ao Loula

Source URL: cims.nyu.edu

• Computational neuroscience
• Artificial neural networks
• Applied mathematics
• Computing
• Cybernetics
• Deep learning
• Recurrent neural network
• Training
• test
• and validation sets
• Artificial intelligence
• Abstraction layer
• Neural network

Electrical & Computer EngineeringM.S. Catalog/Handbook ECE Office of Graduate Affairs This document is for the internal use of the Department of Electrical and Computer Engineering

Source URL: www.ece.cmu.edu

• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Information Networking Institute
• Carnegie Mellon School of Computer Science

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Human behavior
• Internet manipulation and propaganda
• Internet trolling
• Deception
• Sockpuppet
• World Wide Web
• Internet culture
• Internet troll
• Trolling
• Troll

dunck.doc.6 Chapter 5: The Proteus System for the Development of Parallel Applications 143

Source URL: www.kestrel.edu

• Parallel computing
• Computing
• Computer programming
• Software engineering
• Data parallelism
• Proteus
• Implicit parallelism
• Software prototyping
• Concurrent computing
• Message Passing Interface
• SIMD
• Refinement

Impact of Next-Generation Mobile Technologies on IoT — Cloud Convergence Millimeter-Wave Wireless Communications for IoT-Cloud Supported Autonomous Vehicles: Overview, Design, and Challenges Linghe Kong, Muhammad Khur

Source URL: wirelesslab.sjtu.edu.cn

• Wireless networking
• Technology
• Wireless
• Emerging technologies
• Mobile technology
• Vehicle telematics
• Internet of things
• IEEE 802
• 5G
• IEEE 802.11p
• Vehicular communication systems
• IEEE 802.15

Making Sense of Performance in Data Analytics Frameworks Kay Ousterhout∗ , Ryan Rasti∗† , Sylvia Ratnasamy∗ , Scott Shenker∗† , Byung-Gon Chun‡ ∗ UC Berkeley, † ICSI,  VMware, ‡ Seoul National Unive

Source URL: people.eecs.berkeley.edu

• Computing
• Concurrent computing
• Apache Software Foundation
• Parallel computing
• Input/output
• Scheduling
• Data management
• Apache Hadoop
• Data-intensive computing
• Benchmark
• Apache Spark
• MapReduce

On the Efficiency of Pollard’s Rho Method for Discrete Logarithms Shi Bai1 1 2

Source URL: maths-people.anu.edu.au

• Abstract algebra
• Algebra
• Mathematics
• Group theory
• Computational hardness assumptions
• Logarithms
• Modular arithmetic
• Finite fields
• Discrete logarithm
• Randomized algorithm
• Pollard's rho algorithm
• Index calculus algorithm

COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 2) Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• NP-complete problems
• NP
• IP
• Proof of secure erasure
• Certificate
• Circuit satisfiability problem
• Commitment scheme
• Witness
• Proof of knowledge