Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel

Source URL: proceedings.mlr.press

• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• Applied mathematics

Ontological Networks: Mapping Ontological Knowledge Bases into Graphs Lucas Fonseca Navarro Federal University of Sao Carlos Sao Carlos - SP, Brazil

Source URL: gdac.uqam.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Graph
• Ear decomposition
• Connectivity
• Ontology
• Connected component
• Line graph

Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1

Source URL: mebsout.github.io

• Software engineering
• Computing
• Avionics
• Engineering
• Systems engineering
• Software requirements
• Embedded systems
• Safety engineering
• DO-178C
• Formal methods
• Alt-Ergo
• Model checking

Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1

Source URL: dream.inf.ed.ac.uk

• Operator theory
• Harmonic analysis
• Mathematics
• Partial differential equations
• Morphism of algebraic varieties
• Beltrami equation

Structural Topic Models for Open-Ended Survey Responses Margaret E. Roberts University of California, San Diego Brandon M. Stewart Harvard University Dustin Tingley Harvard University Christopher Lucas Harvard University

Source URL: scholar.harvard.edu

• Statistical natural language processing
• Machine learning
• Artificial intelligence
• Learning
• Topic model
• Causal inference
• Latent Dirichlet allocation
• Experiment
• Mixture model
• Unsupervised learning

D REAM C ODER: Bootstrapping Domain-Specific Languages for Neurally-Guided Bayesian Program Learning Kevin Ellis 1 Lucas Morales 1 Mathias Sabl´e Meyer 1 Armando Solar-Lezama 1 Joshua B. TenenbaumIntroduction

Source URL: uclmr.github.io

• Computational neuroscience
• Software engineering
• Applied mathematics
• Computing
• Domain-specific language
• Artificial neural network
• Neural network
• Algorithm
• Fold
• Generative model
• Convolutional neural network

Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Heuristics
• Rippling
• Mathematical induction
• Cognition

Cryptographically Secure Information Flow Control on Key-Value Stores Lucas Waye Pablo Buiras

Source URL: people.seas.harvard.edu

Protokoll der Fachschaftssitzung ETiT und MEC Protokollant Teo S., Max K. Anwesend Daniel S., Teo S., Julian B., Viktor W., Johnny L., Lucas B., Max K. G¨ aste Datum:35–18:25 Uhr

Source URL: www.fs-etit.de

The Lucas and Babbage congruences Darij Grinberg February 26, 2018 Contents 0.1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Source URL: www.cip.ifi.lmu.de