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

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

Henderson State University Student Affairs Office of the Vice President Brett Powell, Interim Vice President Stacey Howard, Administrative Support Supervisor Dean of Students

Source URL: www.hsu.edu

SELECTED PAPERS IN HONOR OF WILLIAM P. ALSTON Two Peas in a Single Polytheistic Pod: John Hick and Richard Swinburne DANIEL HOWARD-SNYDER WESTERN WASHINGTON UNIVERSITY

Source URL: faculty.wwu.edu

Editor: Robert Glenn Howard University of Wisconsin-Madison Assistant Editor: Tom DuBois University of Wisconsin-Madison

Source URL: rghoward.com

Technical Report: Assessing Method for de novo Repeat Identification Zhirong Bao and Sean R. Eddy1 Howard Hughes Medical Institute and Department of Genetics Washington University School of Medicine

Source URL: eddylab.org

Genetic dissection of developmental pathways* § Linda S. Huang†, Department of Biology, University of Massachusetts-Boston, Boston, MAUSA Paul W. Sternberg, Howard Hughes Medical Institute and Division of Biolo

Source URL: wormbook.org

Genetic dissection of developmental pathways* § Linda S. Huang†, Department of Biology, University of Massachusetts-Boston, Boston, MAUSA Paul W. Sternberg, Howard Hughes Medical Institute and Division of Biolo

Source URL: www.wormbook.org