Algorithmic Blockchain Channel Design Georgia Avarikioti ETH Zurich, Switzerland Yuyi Wang

Source URL: arxiv.org

• Graph theory
• Cryptocurrencies
• Mathematics
• Shortest path problem
• Lightning Network
• Minimum spanning tree
• Directed graph
• Blockchain
• Bitcoin
• Line graph
• Eulerian path

Algorithmic Logic-Based Verification Arie Gurfinkel Temesghen Kahsai

Source URL: jorgenavas.github.io

• Software engineering
• Theoretical computer science
• Computing
• Formal methods
• Logic in computer science
• Software testing
• Electronic design automation
• Formal verification
• Abstract interpretation
• KeY
• Satisfiability modulo theories
• Model checking

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Formal verification
• Satisfiability modulo theories
• Abstract interpretation
• Loop invariant
• Logic programming
• Model checking
• KeY
• Software verification

1 Algorithmic Channel Design 2

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

• Graph theory
• Mathematics
• Edsger W. Dijkstra
• Network theory
• Shortest path problem
• Minimum spanning tree
• Directed graph
• Connectivity
• NP-complete problems
• Line graph
• Eulerian path

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA

Source URL: gdac.uqam.ca

• Graph theory
• Network theory
• Bipartite graphs
• Graph operations
• Centrality
• Network analysis
• Distance
• Graph
• Connectivity
• Tree
• Shortest path problem
• Degeneracy

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Source URL: www.cs.purdue.edu

• Mathematics
• Formal languages
• Temporal logic
• Syntax
• Metalogic
• Logic
• Metaphilosophy
• Model theory
• Linear temporal logic
• Interpretation
• Computation tree logic
• Variable

Tina Memo NoInternal Report. This document is distributed as teaching material to our MSc and PhD students. Tutorial: Statistics and Estimation in Algorithmic Vision. N.A.Thacker. Last updated

Source URL: www.tina-vision.net

Introduction to AD Conjugate Gradient Algorithm Algorithmic Differentiation References Python Algorithmic Differentiation of Large

Source URL: fperez.org

Modular curves, Arakelov theory, algorithmic applications Proefschrift ter verkrijging van de graad van Doctor aan de Universiteit Leiden, op gezag van Rector Magnificus prof. mr. P. F. van der Heijden,

Source URL: pub.math.leidenuniv.nl