Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev ETH Zürich net2text.ethz.ch Abstract

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Network theory
• Mathematics
• Edsger W. Dijkstra
• Shortest path problem
• Routing
• Reachability
• Computing
• Discrete mathematics
• Network architecture

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology

Yet Another Gramarye Magic rules for the Fudge System _http://wanderinghorse.net/gaming/fudge/_ Abstract:

Source URL: wanderinghorse.net

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract) Burak Ekici Guy Katz

Source URL: mebsout.github.io

• Theoretical computer science
• Mathematical logic
• Mathematics
• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Proof assistants
• Satisfiability modulo theories
• Automated theorem proving
• Coq
• Propositional calculus

Referential Opacity In Nondeterministic Data Renement Xiaolei Qian and Allen Goldbergy Kestrel Institute August 3, 1992 Abstract

Source URL: www.kestrel.edu

• Complexity classes
• NL
• Nondeterminism
• FO
• Metalogic
• Theoretical computer science
• Mathematics

Index calculus in class groups of non-hyperelliptic curves of genus 3 from a full cost perspective – Extended Abstract – Claus Diem University of Leipzig

Source URL: www.hyperelliptic.org

• Abstract algebra
• Algebra
• Cryptography
• Finite fields
• Algebraic curves
• Group theory
• Index calculus algorithm
• Algorithm
• Hyperelliptic curve
• XTR
• Hyperelliptic curve cryptography
• Elliptic curve primality

STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Copenhagen, part of ”Workshop and Masterclass on Homological stabilit

Source URL: irma.math.unistra.fr

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Hochschild homology
• Natural transformation
• Homology
• Universal coefficient theorem
• Symmetric group
• Functor
• Resolution
• Ring

Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

Source URL: isabelle.in.tum.de

• Computer programming
• Recursion
• Mathematical logic
• Software engineering
• Computability theory
• Theory of computation
• Theoretical computer science
• -recursive function
• Recursive definition
• Well-founded relation
• Functional programming
• Pattern matching

Practical Semantic Test Simplification Sai Zhang University of Washington, USA Abstract—We present a technique that simplifies tests at the

Source URL: zhang-sai.github.io

• Software testing
• Software development
• Software engineering
• Computing
• Debugging
• Program slicing
• Unit testing
• Test automation

A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract

Source URL: shukla.io

• Metaphysics
• Cybernetics
• Logic
• Computational neuroscience
• Human behavior
• Robotics
• Human communication
• Humanrobot interaction
• Multimodal interaction
• Image segmentation
• Artificial intelligence
• Knowledge