M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy DECEMBER 2016 VOLUME 74, NUMBER 12

Source URL: www.mississippi.edu

Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

Source URL: parallel.princeton.edu

• Linux-based devices
• Single-board computers
• Microcontrollers
• Computer architecture
• ARM architecture
• Classes of computers
• Computing
• Banana Pi
• UDOO

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

• Digital media
• Economy
• Social networks
• New media
• Human behavior
• Business intelligence
• Communication
• Social media
• Web 2.0
• Analytics

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

Source URL: unsat.cs.washington.edu

• Aircraft instruments
• Standards
• Covert channel
• Steganography
• ARINC 653
• ARINC
• Verification
• Human behavior
• Technology
• User interface design
• Design

A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

Source URL: www.ece.northwestern.edu

• Computer programming
• Software engineering
• Type theory
• Declarative programming
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

Source URL: mirror.clarkson.edu

• Type theory
• Theoretical computer science
• Proof assistants
• Mathematical logic
• Programming language theory
• Formal methods
• Lambda calculus
• Logic in computer science
• Isabelle
• HOL
• HindleyMilner type system
• Automated theorem proving

Optimal Data Rate for State Estimation of Switched Nonlinear Systems ∗ Hussein Sibai and Sayan Mitra {sibai2, mitras}@illinois.edu

Source URL: publish.illinois.edu

Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University

Source URL: www.kestrel.edu

• Computability theory
• Theoretical computer science
• Automated planning and scheduling
• Artificial intelligence
• Cognitive science
• Mathematics
• Partial-order planning
• Planning Domain Definition Language
• Intelligent agent
• Computability
• Algorithm
• Philosophy of artificial intelligence

Anthropology_BS_General.pdf

Source URL: catalog.southernct.edu

Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond

Source URL: www.lsi.upc.edu

• Computer programming
• Software engineering
• Combinatorial optimization
• Matching
• Monad
• Conditional