Systems - PDFSEARCH.IO - Document Search Engine

Systems
Results: 323656

#	Item
51	Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2018-10-22 12:57:37 Mathematics Theoretical computer science Applied mathematics Logic in computer science Formal methods Computational neuroscience Artificial neural networks Proof assistants Entropy Coq N-gram Recurrent neural network
52	Prof. Laurent Vanbever Networked Systems Group A test framework to verify end point implementations Semester thesis proposal Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-09-25 12:44:08 Internet exchange point Routing Quagga Transmission Control Protocol Internet protocols Computing Email authentication Spam filtering Data transmission
53	We are pleased to announce that METR has closed its seed round with three new investors on board. The three new investors are business angels who are well acquainted with both the German real estate and energy markets an Add to Reading List Source URL: metr.systems Language: English - Date: 2018-10-12 05:24:37 Utility submeter Water supply Inter Television
54	FANTOM : A SCALABLE FRAMEWORK FOR ASYNCHRONOUS DISTRIBUTED SYSTEMS A P REPRINT Sang-Min Choi, Jiho Park, Quan Nguyen, and Andre Cronje FANTOM Lab Add to Reading List Source URL: fantom.foundation Language: English - Date: 2018-10-24 09:53:18 Static single assignment form Proof-of-stake Node Computing Computer programming Data management
55	LEGAL KNOWLEDGE AND INFORMATION SYSTEMS Frontiers in Artificial Intelligence and Applications The book series Frontiers in Artificial Intelligence and Applications (FAIA) covers all aspects of theoretical and applied A Add to Reading List Source URL: orbilu.uni.lu Language: English - Date: 2017-12-20 09:25:07 Computer law Artificial intelligence Trevor Bench-Capon JURIX Applications of artificial intelligence to legal informatics Leon van der Torre Ambient intelligence Computer science
56	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
57	LECTURE 2 Information theory for complex systems Stefan Thurner www.complex-systems.meduniwien.ac.at Add to Reading List Source URL: www.cbpf.br Language: English - Date: 2016-05-06 13:29:49 Information theory Statistical theory Physics Probability and statistics Entropy Conditional entropy Principle of maximum entropy
58	Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Mathematical logic Mathematics Theoretical computer science Temporal logic Logic in computer science Model theory Formal methods Linear temporal logic Satisfiability modulo theories First-order logic Propositional calculus IP
59	Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Dependently typed programming Formal methods Logical framework Proof theory First-order logic Lambda calculus Calculus of constructions
60	8 Linear Systems Performance Report Jakub Kurzak Mark Gates Ichitaro Yamazaki Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-10-02 11:11:15 Numerical linear algebra Numerical analysis Mathematics Numerical software Parallel computing Computer programming Application programming interfaces Message Passing Interface LAPACK Cholesky decomposition Basic Linear Algebra Subprograms LU decomposition