Safe Routing Reconfigurations with Route Redistribution Stefano Vissicchio∗ , Laurent Vanbever† , Luca Cittadini‡ , Geoffrey G. Xie§ , Olivier Bonaventure∗ ∗ Universit´e

Source URL: inl.info.ucl.ac.be

• Computing
• Routing protocols
• Network architecture
• Internet architecture
• Routing
• Network management
• Internet Standards
• Internet protocols
• Static routing
• Open Shortest Path First
• Administrative distance
• Enhanced Interior Gateway Routing Protocol

Introduction R/G Examples Brief history

Source URL: dream.inf.ed.ac.uk

• Concurrency control
• Linearizability
• Transaction processing
• Model theory

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org

Published as a conference paper at ICLRL EVERAGING G RAMMAR AND R EINFORCEMENT L EARNING FOR N EURAL P ROGRAM S YNTHESIS arXiv:1805.04276v1 [cs.LG] 11 May 2018

Source URL: rishabhmit.bitbucket.io

• Computational neuroscience
• Computing
• Artificial intelligence
• Machine learning
• Artificial neural networks
• Learning
• Convolutional neural network
• Long short-term memory
• Syntax
• Training
• test
• and validation sets
• Supervised learning
• Object Process Methodology

Package ‘textfeatures’ March 6, 2018 Type Package Title Extracts Features from Text VersionDescription A tool for extracting some generic features (e.g., number of

Source URL: cran.r-project.org

• Application software
• Free statistical software
• Literate programming
• Mathematics
• Mathematical software
• Knitr
• R
• Vector
• Euclidean vector

Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst

Source URL: icaps16.icaps-conference.org

• Artificial intelligence
• Cognitive science
• Automated planning and scheduling
• Statistical natural language processing
• Hierarchical task network
• Activity recognition
• STRIPS
• Latent Dirichlet allocation
• Intelligence
• Action selection
• Topic model
• Robot

The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Mathematical logic
• Metalogic
• Model theory
• Syntax
• Well-formed formula
• First-order logic
• Resolution
• Logic programming
• Tautology

On the Co-Existence of Distributed and Centralized Routing Control-Planes Stefano Vissicchio∗ , Luca Cittadini‡ , Olivier Bonaventure∗ , Geoffrey G. Xie§ , Laurent Vanbever† ∗ Universit´e catholique de Louva

Source URL: www0.cs.ucl.ac.uk

• Computing
• Routing protocols
• Data transmission
• Network architecture
• Computer networking
• Internet architecture
• Routing
• Internet protocols
• Router
• OpenFlow
• Enhanced Interior Gateway Routing Protocol
• Software-defined networking

A Fistful of Bitcoins Characterizing Payments Among Men with No Names SAR AH MEIKLE JOHN, MAR JORI POMAROLE , GR ANT JORDAN, K I R I L L L E VC H E N KO , DA M O N M C C OY, G E O F F R E Y M . VO E L K E R A N D S T E

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Alternative currencies
• Money
• Economy
• Currency
• Digital currencies
• Blockchains
• Mt. Gox
• Silk Road
• Satoshi Nakamoto
• BitPay

Compress-and-Conquer for Optimal Multicore Computing Zhijing G. Mou Sinovate, LLC Abstract

Source URL: thev.net