arXiv:1810.07630v2 [cs.IT] 18 OctProperties of Constacyclic Codes Under the Schur Product Brett Hemenway Falk∗

Source URL: arxiv.org

• Algebra
• Coding theory
• Abstract algebra
• Mathematics
• Finite fields
• Linear code
• Cyclic code
• Generating function
• Goppa code
• Rank
• Generator matrix
• Krull dimension

A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

Source URL: www.cs.man.ac.uk

• Logic
• Symbol
• Substitution
• Mathematical logic
• Finite automata

Motivation Interleaving AVATAR

Source URL: www.cs.man.ac.uk

• School of Computer Science
• University of Manchester
• Vampire

In Pursuit of Error: A Survey of Uncertainty Visualization Evaluation Jessica Hullman, Xiaoli Qiao, Michael Correll, Alex Kale, Matthew Kay Abstract—Understanding and accounting for uncertainty is critical to effective

Source URL: idl.cs.washington.edu

The SMT-LIB Standard Version 2.6 Clark Barrett Pascal Fontaine Release:

Source URL: smtlib.cs.uiowa.edu

• Theoretical computer science
• Software engineering
• Computing
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• SMT
• Solver
• Pascal
• Semantics

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

Source URL: www.cs.man.ac.uk

• Software engineering
• Computing
• Programming language theory
• Procedural programming languages
• Programming languages
• Logic in computer science
• Runtime verification
• Cross-platform software
• Program slicing
• Model checking
• L-system
• Trace

Data Loss and Reconstruction in Sensor Networks

Source URL: cpslab.cs.mcgill.ca

• Algebra
• Mathematics
• Dimension reduction
• Linear algebra
• Numerical linear algebra
• Mathematical optimization
• Matrix theory
• Singular spectrum analysis
• Principal component analysis
• Singular value decomposition
• Compressed sensing
• Low-rank approximation

An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti and Livio Pompianu arXiv:1703.06322v1 [cs.CR] 18 Mar 2017

Source URL: arxiv.org

• Cryptocurrencies
• Blockchains
• Economy
• Cross-platform software
• Money
• Concurrent computing
• Alternative currencies
• Ethereum
• Smart contract
• Counterparty
• RootStock
• Bitcoin

Towards Test-Driven Software Defined Networking David Lebrun, Stefano Vissicchio, Olivier Bonaventure Universit´e catholique de Louvain, ICTEAM Email: Abstract—To configure, troublesh

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

• Computing
• Emerging technologies
• Network architecture
• Information and communications technology
• Computer architecture
• Configuration management
• Internet architecture
• Software-defined networking
• Data transmission
• Software testing
• OpenFlow
• Traffic flow

Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT

Source URL: gdac.uqam.ca

• Software
• Computing
• Digital media
• Internet search engines
• Geosocial networking
• Geographic information systems
• Recommender system
• Yelp
• Local search
• Geocoding
• Personal
• Inc.
• Database