Programs - PDFSEARCH.IO - Document Search Engine

Programs
Results: 115783

#	Item
41	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2015-09-28 14:39:27 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
42	Imitation Learning of Hierarchical Programs via Variational Inference Roy Fox * 1 Richard Shin * 1 Pieter Abbeel 1 Ken Goldberg 1 2 Dawn Song 1 Ion Stoica 1 The design of controllers that operate in dynamical systems to Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Artificial intelligence Computational neuroscience Machine learning Learning Artificial neural networks Market research Convolutional neural network Outline of machine learning MNIST database Supervised learning Variational Bayesian methods Bayesian network
43	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
44	Shorter Linear Straight-Line Programs for MDS Matrices Yet another XOR Count Paper Thorsten Kranz1 , Gregor Leander1 , Ko Stoffelen2 , Friedrich Wiemer1 1 Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 07:40:09 Algebra Linear algebra Mathematics Matrices MDS matrix Matrix Invertible matrix Symmetric matrix Hadamard matrix Involutory matrix General linear group Circulant matrix
45	PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr1 , Sasa Misailovic1,2 , and Martin Vechev1 1 2 Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:02 Mathematical analysis Probability theory Statistical theory Graphical models Normal distribution Infinitely divisible probability distributions Bayesian statistics Bayesian network Substitution Variational Bayesian methods Exponential family Dirac delta function
46	[Type text] Job Description: Volunteer Program Manager (VPM) Supervisor: Director of Programs Supervises: Volunteer Coordinator and Volunteers Purpose: Recruit, train, and coach a community of volunteers who are committ Add to Reading List Source URL: www.oarnova.org Language: English - Date: 2018-08-27 09:12:17 Ethics Civil society Philanthropy Public administration Social philosophy Volunteering Virtue
47	Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Information flow Mutual information Conditional mutual information Conditional entropy
48	c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-11 15:06:20 Abstract interpretation Computer science Symbolic execution Thread Algorithm Computing Electrical engineering Computer engineering
49	Trade Preference Programs for Haitian Textiles and Apparel U.S. Department of Commerce, Office of Textiles & Apparel (OTEXA) Add to Reading List Source URL: otexa.trade.gov Language: English - Date: 2011-05-25 12:13:56 Economy of the Caribbean Americas Crafts Caribbean Visual arts Caribbean Basin Trade Partnership Act Caribbean Basin Trade and Partnership Act Knitting Crochet Haiti
50	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph

UPDATE