Trees - PDFSEARCH.IO - Document Search Engine

Trees
Results: 16421

#	Item
1	Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:46:13 Logic Mathematical logic Linguistics Predicate logic Knowledge representation Tree FO Predicate transformer semantics Substitution B-tree Symbol Control
2	Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin Vechev Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:01
3	Producing Skolem Expansion Trees with the CERESω method: A Case Study Martin Riener, joint work with Alexander Leitsch Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Logic Mathematics Model theory Proof theory Quantification Predicate logic Thoralf Skolem Skolem normal form Soundness Quantifier Sequent calculus
4	Accepted for publication in J. Functional Programming 1 Finger trees: a simple general-purpose data structure Add to Reading List Source URL: www.staff.city.ac.uk Language: English - Date: 2014-10-28 05:49:57 Computing Computer programming Binary trees Information science Knowledge representation Tree Finger tree B-tree 23 tree Double-ended queue Search tree
5	Information-Centric Networking: Seeing the Forest for the Trees Ali Ghodsi Teemu Koponen Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2012-01-02 03:06:32 Computing Computer networking Data transmission Information and communications technology Internet protocols Information-centric networking Named data networking Cache Publishsubscribe pattern Web cache ICN SBB-CFF-FFS RABDe 500
6	Once there was a forest. It was a very beautiful forest with many different trees, plants and animals. In the forest liv Add to Reading List Source URL: scotdectrees.users38.interdns.co.uk Language: English - Date: 2014-04-22 08:55:49 Republicanism in the United Kingdom The Guardian News media
7	A Crash-Safe Key-Value Store Using Chained Copy-on-Write B-trees by Bruno Castro-Karney Supervised by Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Binary trees Computing Computer programming B-tree Learning Data types Trie B+ tree Btrfs R-tree T-tree Tree
8	From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:11:57 Theoretical computer science Mathematics Graph theory Formal languages Logic in computer science Graph rewriting Mathematical logic Rewriting Graph KnuthBendix completion algorithm Abstract semantic graph Tree
9	From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination Maria A Schett defensio: master thesis advised by Georg Moser department of CS @ UIBK Oktober 25, 2016 Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:16:58 Theoretical computer science Formal languages Mathematics Discrete mathematics Graph theory Abstract semantic graph Graph Rewriting Graph rewriting
10	Lecture 24, Tues April 18: Collision and Other Applications of Grover We’ve seen the application of Grover’s algorithm to searching game trees. Now let’s see another important application, to… The Collision Probl Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2018-08-26 18:23:45 Computational complexity theory Theoretical computer science Theory of computation Complexity classes Quantum computing Quantum complexity theory Emerging technologies Quantum algorithm BQP PP P versus NP problem NP

UPDATE