Synthesis - PDFSEARCH.IO - Document Search Engine

Synthesis
Results: 8163

#	Item
31	A new method to automate the synthesis of stochastic computing circuits Add to Reading List Source URL: techxplore.com Language: English - Date: 2018-10-26 03:51:56 Statistical randomness Stochastic computing Mathematical optimization Stochastic Integrated circuit Electronic engineering Electromagnetism Electrical engineering
32	* CTL synthesis via LTL synthesis Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Temporal logic Logic in computer science Computation tree logic Linear temporal logic CTL*
33	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-06 04:04:07 Markov processes Game theory Strategy Stochastic game Markov decision process Probability and statistics Probability Computability theory
34	Synthetic Datasets for Neural Program Synthesis Richard Shin 1 Neel Kant 1 2 Kavi Gupta 1 Christopher Bender 1 2 Brandon Trabucco 1 2 Rishabh Singh 3 Dawn SongIntroduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Machine learning Training test and validation sets Validity Probability distribution Artificial intelligence Cognition Cognitive science Computational neuroscience
35	Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:48 Probabilistic programming language Machine learning Information retrieval Cognition Cognitive science
36	Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Artificial neural networks Applied mathematics Cybernetics Neuroscience Convolutional neural network Feature learning Deep learning Karel Neural network Long short-term memory Machine learning
37	Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:24:58 Estimation theory Probability and statistics Statistics Graph theory Markov chain Parameter Machine learning Probability distribution fitting Parametric model Twisting properties
38	Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley Add to Reading List Source URL: www.forth.org Language: English - Date: 2012-11-30 12:06:23 Data types Software engineering Mathematics Computing Const Transpose Matrix Programming language syntax ELLA
39 $Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1$	Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-10-01 09:45:47 Temporal logic Linear temporal logic Theoretical computer science Symbol Mathematical logic Computation tree logic
40	Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-11-17 20:46:33 Constraint programming Software engineering Computer programming Constraint satisfaction Local consistency Theoretical computer science Constraint Theory of constraints Schaefer's dichotomy theorem Constraint logic programming