CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
101	Compiling with Continuations and LLVM 1. Kavon Farvardin Add to Reading List Source URL: manticore.cs.uchicago.edu Language: English - Date: 2017-12-09 15:59:02 Software engineering Computer programming Computing Programming language implementation Object-oriented programming languages Functional languages Compiler construction High-level programming languages LLVM D Garbage collection Continuation
102	Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK ISoLa 2016 – Corfu, October 13, 2016 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:34 Program analysis Typestate analysis
103	Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:53 Artificial intelligence Cognitive science Logic Cognition Cybernetics Automated reasoning Automated theorem proving Computational neuroscience Explainable Artificial Intelligence Mark E. Stickel Reason Inference
104	Introduction to the IEEEStandard for Interval Arithmetic Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-24 10:20:50 Computer arithmetic Mathematics Numerical analysis Arithmetic Interval arithmetic Interval
105	arXiv:1810.05256v1 [cs.DC] 11 OctALEPH: A LEADERLESS, ASYNCHRONOUS, BYZANTINE FAULT TOLERANT CONSENSUS PROTOCOL ´ ADAM GA Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-14 21:12:04 Order theory Binary relations Partially ordered set
106	Hyperkernel: Push-Button Verification of an OS Kernel Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-24 20:19:38 System software Computer architecture Software Kernel Xv6 LLVM Linux kernel
107	Motivation Groundwork Algorithm Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Evolutionary biology Genetics Robustness
108	Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:24 Logic Automated theorem proving Propositional calculus Mathematical logic Logic programming Mathematics Rules of inference Resolution Clause Literal Unit propagation E theorem prover
109	Declarative Game Programming Distilled Tutorial Henrik Nilsson Ivan Perez Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-08-18 11:37:15 Software engineering Declarative programming Computing Functional programming Programming paradigms Evaluation strategy Functional reactive programming Digital signal processing Formal methods Arrow International Conference on Functional Programming Signal
110	Representation Learning on Graphs: Methods and Applications arXiv:1709.05584v3 [cs.SI] 10 Apr 2018 William L. Hamilton Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-04-10 20:33:35 Machine learning Networks Feature learning Mathematics Probability and statistics Applied mathematics Artificial neural network Community structure Neighbourhood Random walk

UPDATE