Asking and evaluating natural language questions Anselm Rothe1 , Brenden M. Lake2 , and Todd M. Gureckis1 1 Department of Psychology, 2 Center for Data Science, New York University

Source URL: cims.nyu.edu

• Learning
• Education
• Human behavior
• Educational psychology
• Educational practices
• Philosophy of education
• Curricula
• Bayesian network
• Active learning
• Question
• Bayesian inference
• Machine learning

Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c

Source URL: www.cs.cornell.edu

• Linguistics
• Computational linguistics
• Statistical natural language processing
• Natural language processing
• Corpus linguistics
• Applied linguistics
• Speech recognition
• Topic model
• Latent Dirichlet allocation
• N-gram
• Stemming
• Text corpus

Mississippi Autism Board October 23, 2017 Meeting Minutes A meeting of the Mississippi Autism Board (“Board”) was called to order on Monday, October 23, 2017, at 1:07 p.m. at the Secretary of State’s Office in the

Source URL: sos.ms.gov

• Parliamentary procedure
• Meetings
• Minutes
• Motion
• Second
• Human behavior

Poster: Adaptcha: An Adaptive CAPTCHA for Improved User Experience Brian M. Powell1 , Richa Singh1,2 , Mayank Vatsa1,2 and Afzel Noore1 1 West Virginia University, 2 IIIT-Delhi {brian.powell, afzel.noore}@mail.wvu.edu, {

Source URL: www.ieee-security.org

• Artificial intelligence
• World Wide Web
• Human-based computation
• Technology
• Computer vision
• Computer access control
• Anti-spam
• CAPTCHA
• Computer security
• Internet bot
• Turing test
• Transaction authentication number

Der Editor Vi(m): Einfuhrung, Tipps und Tricks ¨ Version 1.41 — c 2001–2015 T. Birnthaler, OSTC GmbH

Source URL: www.ostc.de

M I S S I S S I P P I ’ S BU S I N E S S Monitoring the state’s economy JANUARY 2018 VOLUME 76, NUMBER 1

Source URL: www.mississippi.edu

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

Federal Register / Vol. 78, NoWednesday, June 19, Notices July 12, 2013–6 p.m.—Club Na´utico de Arecibo, Carr. 681 Km. 1.4, Barrio Islote, Sector Vigı´a, Arecibo, Puerto Rico. In the U.S. Virgin Isl

Source URL: otexa.trade.gov

• Chemistry
• Clothing
• Manufacturing
• 106th United States Congress
• African Growth and Opportunity Act
• Weaving
• Cotton
• Pattern
• Textile
• Dyeing
• Selvage

A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA

Source URL: rjoshi.org

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Formal methods
• Semantics
• Edsger W. Dijkstra
• Predicate transformer semantics
• First-order logic
• FO
• Quantifier
• Equality

Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2

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

• Experiment
• Mathematical analysis
• Multi-objective optimization
• Markov decision process
• Probability space
• Event
• Analysis
• Probability and statistics
• Holomorphic functional calculus