Federal Register / Vol. 83, NoMonday, October 1, Notices sign language interpretation or other auxiliary aids should be directed to

Source URL: otexa.trade.gov

• 106th United States Congress
• African Growth and Opportunity Act
• Consumer Financial Protection Bureau

BABELTOWER: How Language Affects Criminal Activity in Stolen Webmail Accounts Emeric Bernard-Jones, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.str

Source URL: jonaolapo.github.io

• Security
• Computing
• Webmail
• Human behavior
• Gmail
• Fraud
• Cybercrime
• Security breaches
• Phishing
• Identity theft
• Outlook.com
• Computer security

Federal Plain Language Guidelines

Source URL: plainlanguage.gov

Alloy Modeling Language meets SMT-LIB Forrest Cinelli, Kyle McCormick, Dan Dougherty WPI NSF Supportand

Source URL: alloytools.org

• Mathematical logic
• Theoretical computer science
• Formal methods
• Constraint programming
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Predicate logic
• SMT
• Predicate
• Constraint satisfaction problem
• Satisfiability modulo theories

Languages the Racket Way 2016 Language Workbench Challenge Daniel Feltey Spencer P. Florence

Source URL: www.ece.northwestern.edu

• Computer programming
• Software engineering
• Computing
• Functional languages
• Scheme
• Source code
• Object-oriented programming languages
• Hygienic macro
• Racket features
• Macro
• Racket
• Syntax

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

Ocelot Rela%onal Logic in a Solver-Aided Language James Bornholt Emina Torlak

Source URL: alloytools.org

• Fiction
• Formal methods
• Military personnel
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Revolver Ocelot
• Ocelot
• Digital subscriber line

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Source URL: rishabhmit.bitbucket.io

• Machine learning
• Computing
• Data management
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Computational linguistics
• Meta learning
• Supervised learning
• Support vector machine
• Deep learning
• SQL syntax

Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz

Source URL: alloytools.org

• Wombat
• Mongoose

Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav

Source URL: files.sri.inf.ethz.ch