2-2-2 - PDFSEARCH.IO - Document Search Engine

2-2-2
Results: 835450

#	Item
201	Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:46 Mathematics Mathematical logic Logic Model theory Logic in computer science Semantics Universal algebra Boolean satisfiability problem Interpretation First-order logic Resolution Clause
202	A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Formal languages Language Culture Grammar Context-free grammar Formal grammar Context-free language Regular language Regular grammar Model checking Conjunctive grammar
203	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
204	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-09-08 19:38:18 Mathematical analysis Mathematics Constructible universe Distribution
205	LendIt Fintech China Tour Executive Tour and Lang Di Fintech ConferenceSeptExpand your China knowledge and Add to Reading List Source URL: s3-us-west-2.amazonaws.com Language: English - Date: 2018-08-15 10:09:04 Economy Finance ZhongAn Ant Financial Financial technology Alibaba Group Fosun International
206	(/srv/www/vhosts/online-convert.com/save/processed//2/b/2/2b2cb536-3c15-4105-8f6c-d3943bfae222/01_b396d2a2d260681eeb9057bbac152700_png_intermediate_eps/fig1.eps) Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-12-02 19:37:22 Cryptocurrencies Blockchains Bitcoin Computing Alternative currencies Concurrent computing Distributed computing Decentralization Fork Lisk Smart contract Transactions per second
207	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:03:10 Electronic engineering Logic gates Digital electronics Electrical engineering Electronics Electrical circuits Digital systems Clock signal C-element Asynchronous circuit Sequential logic Flip-flop
208	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
209	An eNewsletter of special interest to Plan Sponsors, Administrators and Service ProvidersEDITION - No. 2 - Autumn THE OBSERVER • Online and completely FREE publication Add to Reading List Source URL: www.acpm.com Language: English - Date: 2018-09-04 08:37:34 ACPM Advertising Marketing Design Human behavior
210	Microsoft Word - Rule 2.04 Add to Reading List Source URL: www.sos.ms.gov Language: English - Date: 2018-06-02 00:59:44 Economy Finance Money U.S. Securities and Exchange Commission Financial markets 73rd United States Congress United States securities law Stock market Regulation D Security Securities Act Securities Exchange Act