Bounded Model Generation for Isabelle/HOL and Related Applications of SAT Solvers in Interactive Theorem Proving Tjark Weber

Source URL: user.it.uu.se

• Computability theory
• Lambda calculus
• Theoretical computer science
• Model theory
• Higher-order logic
• Constructible universe
• Metaphilosophy
• Mathematics

Les archives ouvertes de prochaine génération Fonctionnalités et recommandations techniques du Groupe de travail COAR sur les archives ouvertes de prochaine génération 28 novembre 2017

Source URL: www.coar-repositories.org

EECatalog Marketing & Lead Generation Programs Targeted Buyers Multi-Media Platforms 

Source URL: www.extensionmedia.com

• Marketing
• Ambient intelligence
• Internet of things
• Content marketing
• Embedded system
• Online advertising
• Media manipulation
• Market economics)

Combined Static and Dynamic Automated Test Generation

Source URL: zhang-sai.github.io

The Rossdown Group of Companies is a locally owned fourth generation business started in 1967, that has grown rapidly right here in the Fraser Valley! We carry traditional values and inhabit a family friendly environment

Source URL: www.rossdown.com

• Engineering
• Mechanical engineering
• Product lifecycle management
• Reliability engineering
• Technology
• Maintenance
• Caterpillar Inc.
• Science and technology
• Maintenance engineering
• Mechanical aptitude

Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1

Source URL: cakeml.org

• Computer programming
• Declarative programming
• Software engineering
• Functional programming
• Type theory
• Predicate logic
• Monad
• Algebraic data type
• Conditional
• Expression
• Quantifier
• Standard ML

Leads Powered by Prophyts Leads Powered by Prophyts is a no-charge, value-added service included as additional insight with all Converge360 lead-generation campaigns.   This program will run all campaign-generated leads

Source URL: converge360.com

• Marketing
• Business economics
• Market economics)
• Customer relationship management
• Lead generation
• Personal selling
• Sales
• Search engine optimization

Automated Generation of Requirements-based Test Cases for an Adaptive Cruise Control System Adina Aniculaesei Falk Howar

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Test suite
• Test case
• Code coverage
• Test automation
• Software requirements
• NuSMV
• Requirement
• Reliability engineering

TimeMachine: Timeline Generation for Knowledge-Base Entities Tim Althoff*, Xin Luna Dong† , Kevin Murphy† , Safa Alai† , Van Dang† , Wei Zhang† *Computer Science Department, Stanford University, Stanford, CA 94

Source URL: www.timalthoff.com

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