Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data

Source URL: www.ieee-security.org

• Computing
• Network architecture
• Emerging technologies
• Information and communications technology
• Configuration management
• Software-defined networking
• Ethernet
• OpenFlow
• Computer architecture
• Access control
• Computer network
• Network interface controller

HIGH DIMENSIONAL EXPANDERS ALEXANDER LUBOTZKY Abstract. Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence an

Source URL: eta.impa.br

• Algebra
• Mathematics
• Spectral theory
• Geometric group theory
• Topological groups
• Algebraic topology
• Expander graph
• Kazhdan's property
• Ramanujan graph
• Simplicial complex
• Cohomology
• Spectrum

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: jorgenavas.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: mirror.clarkson.edu

Counterfactual: Generalized State Channels Jeff Coleman, Liam Horne, and Li Xuanji L4∗ (Dated: June 12, 2018) Abstract. State channels are an important technique for reducing fees for blockchain users. Within their sco

Source URL: l4.ventures

• Cryptocurrencies
• Blockchains
• Economy
• Money
• Computing
• Alternative currencies
• Bitcoin
• Digital currencies
• Ethereum
• Counterparty
• Smart contract
• ternity

DEHN FUNCTION AND ASYMPTOTIC CONES OF ABELS’ GROUP YVES CORNULIER, ROMAIN TESSERA Abstract. We prove that Abels’ group over an arbitrary local field has a quadratic Dehn function. As applications, we exhibit connecte

Source URL: www.normalesup.org

• Geometry
• Geometric group theory
• Mathematics
• Group theory
• Combinatorics on words
• Geometric topology
• Metric geometry
• Dehn function
• Quasi-isometry
• Ultralimit
• Presentation of a group
• Finitely generated abelian group

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Source URL: mirror.clarkson.edu

• Computer programming
• Software engineering
• Computing
• Fold
• Recursion
• LaTeX

TWO OR THREE THINGS I KNOW ABOUT ABELIAN VARIETIES OLIVIER DEBARRE Abstract. We discuss, mostly without proofs, classical facts about abelian varieties (proper algebraic groups defined over a field). The general theory i

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Algebraic geometry
• Niels Henrik Abel
• Algebraic varieties
• Homological algebra
• Abelian varieties
• Projective variety
• Divisor
• Picard group
• Sheaf
• Ample line bundle

Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Artificial intelligence
• Human behavior
• Cognitive science
• Logic
• Linear temporal logic
• Computation tree logic
• Autonomous agent
• Probabilistic logic
• Trust
• Humanrobot interaction
• Practical reason

Automated Planning and Scheduling ΕΟ Constellations’ Operations with Ant Colony Optimization Evridiki Vasileia Ntagiou Surrey Space Centre, University of Surrey Abstract

Source URL: icaps16.icaps-conference.org

• Mathematics
• Computational complexity theory
• Nature-inspired metaheuristics
• Applied mathematics
• Ant colony optimization algorithms
• Swarm intelligence
• Optimization problem
• Mathematical optimization
• Ant
• Swarm behaviour
• Combinatorial optimization
• Shortest path problem