A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

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

• Logic
• Symbol
• Substitution
• Mathematical logic
• Finite automata

Universal Language Model Fine-tuning for Text Classification Jeremy Howard∗ fast.ai University of San Francisco

Source URL: arxiv.org

• Machine learning
• Artificial intelligence
• Computational neuroscience
• Learning
• Applied mathematics
• Artificial neural networks
• Cybernetics
• Formal sciences
• Deep learning
• Convolutional neural network
• Multi-task learning
• Training
• test
• and validation sets

DR. KRISTA E. WIEGAND Director, Global Security Program Howard H. Baker Jr. Center for Public Policy University of Tennessee, Knoxville 1640 Cumberland Ave. Knoxville, TN

Source URL: www.kristawiegand.com

• Political science
• International relations
• Global politics
• Conflict
• Conflict resolution
• Dispute resolution
• Family therapy
• Reconciliation
• Wiegand
• Peace and conflict studies
• American University School of International Service
• Territorial dispute

Cataloging the Visible Universe through Bayesian Inference at Petascale Jeffrey Regier∗ , Kiran Pamnany† , Keno Fischer‡ , Andreas Noack§ , Maximilian Lam∗ , Jarrett Revels§ , Steve Howard¶ , Ryan Giordano¶ ,

Source URL: arxiv.org

• Observational astronomy
• Astronomy
• Parallel computing
• Bayesian network
• Sloan Digital Sky Survey
• Computing
• Bayesian inference
• Astronomical survey
• Gravitational lens
• Computer cluster

September 12, 2018 Altria Client Services 2325 Bells Road Richmond, VADear Mr. Howard A. Willard III: Your company is currently marketing MarkTen, an electronic nicotine delivery system (ENDS) product,

Source URL: www.fda.gov

• Health
• Tobacco
• Food and Drug Administration
• Smoking
• Electronic cigarettes
• Tobacco control
• Smoking cessation
• Tobacco in the United States
• Center for Tobacco Products
• Federal Food
• Drug
• and Cosmetic Act
• Cigarette
• Premarket tobacco application

Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract—

Source URL: scungao.github.io

• Mathematics
• Electromagnetism
• Electric power
• Electrical engineering
• Power engineering
• Power-flow study
• Parameter
• Variable

FLANNEL: Adding computation to electronic mail during transmission Victoria Bellotti†, Nicolas Ducheneaut†¥, Mark Howard†, Christine Neuwirth*, Ian Smith†, Trevor Smith† † ¥

Source URL: trevor.smith.name

• Email
• Cyberspace
• Computing
• Computer-mediated communication
• Simple Mail Transfer Protocol
• MIME
• HTML email
• Mailbox provider
• Message transfer agent
• Gmail
• SMS
• Email alias

Leadership in a connected world - an international perspective Howard Catton Director Nursing and Health Policy International Council of Nurses

Source URL: www.swissnurseleaders.ch

• Health
• Global health
• Health human resources
• Human resource management
• Healthcare industry
• Sustainable Development Goals
• Nursing
• Nursing shortage
• Health systems by country

A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

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

• Theoretical computer science
• Formal languages
• Logic in computer science
• Runtime verification
• Finite-state machine
• Geographic information system
• Regular expression
• Software engineering
• Computing

PDF Document

Source URL: divinity.howard.edu