Full version of an extended abstract published in CBTContour: A Practical System for Binary Transparency Mustafa Al-Bassam University College London

Source URL: smeiklej.com

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

Source URL: seahorn.github.io

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

ON THE VANISHING OF REDUCED 1-COHOMOLOGY FOR BANACHIC REPRESENTATIONS YVES CORNULIER AND ROMAIN TESSERA Abstract. A theorem of Delorme states that every unitary representation of a connected Lie group with nontrivial red

Source URL: www.normalesup.org

• Geometry
• Group theory
• Mathematics
• Geometric group theory
• Lie groups
• Topological groups
• Metric geometry
• Amenable group
• Kazhdan's property
• Solvable group
• Lattice
• Representation theory

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: isabelle.in.tum.de

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

Blockchain Economics∗ Joseph Abadi and Markus Brunnermeier† August 25, 2018 Abstract When is record-keeping better arranged through distributed ledger technology (DLT)

Source URL: scholar.princeton.edu

• Blockchains
• Cryptocurrencies
• Concurrent computing
• Bitcoin
• Computing
• Decentralization
• Distributed computing
• Alternative currencies
• Ethereum
• Fork
• RootStock
• Distributed ledger

Byzantine Preferential Voting – Abstract HALG Darya Melnyk Yuyi Wang Roger Wattenhofer

Source URL: www.tik.ee.ethz.ch

• Fault-tolerant computer systems
• Theory of computation
• Consensus
• Mathematics
• Distributed computing
• Computing
• Byzantine fault tolerance
• Algorithm
• Computer science

LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv

Source URL: smt-workshop.cs.uiowa.edu

• Algebra
• Mathematics
• Polynomials
• Abstract algebra
• Polynomial
• Irreducible polynomial
• Factorization of polynomials
• Resultant
• Algebraic geometry
• Factorization
• Polynomial greatest common divisor
• Permutation polynomial

(Dis)connective Practice in Heterotopic Spaces for Networked and Connected Learning Frances Bell Itinerant Scholar Abstract

Source URL: www.networkedlearningconference.org.uk

• Education
• Human behavior
• Learning
• Alternative education
• Networked learning
• Social networking service
• Heterotopia
• Disqus
• Connected learning
• Social media
• Peer learning
• Informal learning

Chapter 12: Epidemiology of Autism Spectrum Disorders Alison Presmanes Hill, Katharine Zuckerman, and Eric Fombonne Abstract In this chapter, we review existing prevalence estimates for ASDs since 2000 and discuss metho

Source URL: alison.rbind.io

• Psychiatry
• Health
• Psychiatric diagnosis
• Abnormal psychology
• Autism
• Pervasive developmental disorders
• Learning disabilities
• Neurological disorders
• Epidemiology of autism
• Autism spectrum
• ric Fombonne
• Asperger syndrome

Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles Cumhur Erkan Tuncali, Theodore P. Pavlic and Georgios Fainekos Abstract— This paper proposes an approach to automatically generating

Source URL: www.public.asu.edu

• Computational science
• Applied mathematics
• Modeling and simulation
• Scientific modeling
• Simulation
• Computer simulation
• Control theory
• Self-driving car
• Systems science