CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project Universit´e Paris Sud / CNRS / INRIA

Source URL: www.lsi.upc.edu

• Differentiation rules
• Number theory
• Polynomials
• Lie algebras
• Smooth functions

Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t

Source URL: csl.sri.com

• Model theory
• Mathematics
• Metalogic
• Logic
• Mathematical logic
• Interpretation
• Structure

Converged Storage System Spectra® BlackPearl® Converged Storage System Simply and affordably preserves your data forever • Solving the problem of costly and complex approaches to digital preservation by combining

Source URL: www.teradactyl.com

• Computing
• Linear Tape File System
• Electromagnetism
• Backup
• Spectra Logic
• Computer data storage
• Tape drive
• Cloud storage

1 Safe, Efficient and Robust SDN Updates by Combining Rule Replacements and Additions Stefano Vissicchio, Luca Cittadini

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

One project, One currency, Many advantages What is One Solution? An ecosystem combining within itself a decentralized fund for cryptocurrency investing, our own cryptocurrency possessing unique features, as well as a st

Source URL: 1solution.io

• Digital media
• World Wide Web
• Cryptocurrencies
• Decentralization
• Financial technology
• Uberisation
• Everipedia
• Economy

Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas

Source URL: jorgenavas.github.io

• Declarative programming
• Software engineering
• Theoretical computer science
• Constraint programming
• Logic programming
• Programming paradigms
• Formal methods
• Constraint logic programming
• Loop invariant
• Interpolation
• Abstract interpretation
• CLP

IEEE ROBOTICS AND AUTOMATION LETTERS. PREPRINT VERSION. ACCEPTED DECEMBER, Ultimate SLAM? Combining Events, Images, and IMU for Robust

Source URL: arxiv.org

• Physics
• Mechanics
• Theory of relativity
• Classical mechanics
• Aircraft instruments
• Technology
• Surveying
• Frames of reference
• Visual odometry
• Inertial frame of reference
• Spacetime
• Inertial navigation system

Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

Source URL: homes.cs.washington.edu

• Numerical analysis
• Mathematics
• Applied mathematics
• Computing
• Error analysis
• Interval arithmetic
• Round-off error
• Program optimization
• Infinite loop
• Algorithm

Verification Coverage for Combining Test and Proof Viet Hoang Le1 , Lo¨ıc Correnson2 , Julien Signoles2 , and Virginie Wiels3 1 2

Source URL: julien.signoles.free.fr

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Systems engineering
• Logic in computer science
• Formal verification
• Mutation testing
• Code coverage
• KeY
• Specification

Factsheet User self-services Combining efficiency and security Where helpdesks have to deal with large numbers of users, they are often full to capacity with simple, repetitive tasks. User self-services ease the pressu

Source URL: www.airlock.com

• Computer access control
• Computer security
• Access control
• Password
• Single sign-on
• Security token
• Google Authenticator
• Self-service password reset
• Password manager