.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
381	MultiVAC Sharding Yellowpaper The All-Dimensional Sharded Blockchain The MultiVAC Foundation * September 2018 Add to Reading List Source URL: www.mtv.ac Language: English - Date: 2018-10-22 10:30:36 Cryptocurrencies Data management Computing Data Shard Blockchain Bitcoin Ethereum Lightning Network Proof-of-stake
382	Opportunities and Research Challenges of Hybrid Software Defined Networks Stefano Vissicchio∗ Laurent Vanbever Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:56:12 Network architecture Emerging technologies Computing Computer architecture Information and communications technology Configuration management Software-defined networking OpenFlow Network function virtualization Routing Big Switch Networks Computer network
383	Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:48 Mathematical logic Theoretical computer science Mathematics Quantification Logic in computer science Formal methods Electronic design automation NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Universal quantification True quantified Boolean formula
384	industry instrument note august 2012.dvi Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2018-04-13 09:21:09 Estimation theory Metaphysics Regression analysis Statistics Probability and statistics Design of experiments Causal inference Parametric statistics Instrumental variables estimation Linear regression Confounding Sampling
385	RANDOM PLANAR METRICS ITAI BENJAMINI Abstract. A discussion regarding aspects of several quite different random planar metrics and related topics is presented. 1. Introduction Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2009-10-29 03:44:36 Graph theory Mathematics Discrete mathematics Stochastic processes Planar graphs Gaussian free field Oded Schramm Random graph Random walk Itai Benjamini Circle packing theorem First passage percolation
386	Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:34 Computational complexity theory Conflict-driven clause learning Drat Exponential time hypothesis Felgenhauer NP-complete problems
387	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2014-01-17 10:18:12 Learning Neuropsychology Cognition Cybernetics Control theory Feedback Educational psychology Procedural memory Corrective feedback Bayesian network
388	Supplemental material to accompany: "Peer e¤ects in European primary schools: Evidence from PIRLS" Andreas Ammermueller and Jörn-Ste¤en Pischke May 4, 2009 Our estimates of peer e¤ects will be biased if students are Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2009-05-04 08:47:58 Probability and statistics Algebra of random variables Covariance and correlation Statistics Covariance Variance Standard deviation Scientific method
389	Central Control Over Distributed Routing http://fibbing.net Stefano Vissicchio∗, Olivier Tilmans∗, Laurent Vanbever†, Jennifer Rexford‡ ∗ ∗ Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:56:11 Computing Network architecture Routing protocols Internet architecture Data transmission Internet Standards Internet protocols Routing algorithms Routing Link-state routing protocol IS-IS Open Shortest Path First
390	Central Control Over Distributed Routing (Extended Version) http://fibbing.net Stefano Vissicchio∗, Olivier Tilmans∗, Laurent Vanbever†, Jennifer Rexford‡ ∗ ∗ Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:56:03 Computing Network architecture Routing protocols Data transmission Internet architecture Internet Standards Internet protocols Routing Open Shortest Path First IS-IS Link-state routing protocol Computer network

UPDATE