Prof. Laurent Vanbever Networked Systems Group Building an Accurate Model of the Internet Master Thesis Proposal

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

• Information and communications technology
• Internet architecture
• Computing
• Internet
• Border Gateway Protocol
• Computer network
• Routing
• Inter-domain
• Router

GRADUATE SEMINAR Dan Fleischhaker The Bradley-Terry model for paired competitions MSc Student supervised by Andrei Volodin Monday, March 19

Source URL: www.uregina.ca

Trip New Token Mechanism Business Model Pioneer (Blockchain-based Trip Platform) White Paper

Source URL: trip.org

• Cryptocurrencies
• Computing
• Information
• Data
• Blockchain
• Tourism
• Kin
• Bitcoin
• Draft:Tron.network
• ternity

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

Source URL: mbeddr.com

• Model checkers
• Computing
• Theoretical computer science
• Software engineering
• Formal methods
• Promela
• SPIN model checker
• Model checking
• Guard
• Certificate
• Formal verification
• Printf format string

Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Temporal logic
• Mathematical analysis
• Mathematical logic
• Formal languages
• Model theory
• Generalized functions
• Computation tree logic
• Logic in computer science
• Linear temporal logic
• Interpretation
• IP

Hierarchical segmentation of graphical interfaces for Document Object Model reconstruction C˘at˘alin F. Pert, icas, 1 Mihai S. Baba 1 Homa Davoudi 1 R˘azvan V. Florian 1 Figure 1. Detection of graphical elements usin

Source URL: uclmr.github.io

• Computational neuroscience
• Artificial intelligence
• Artificial neural networks
• Computing
• Applied mathematics
• Computational statistics
• Market research
• Mathematical psychology
• Convolutional neural network
• Image segmentation
• Document Object Model
• Market segmentation

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

Source URL: jorgenavas.github.io

• Finite automata
• DFA minimization
• Deterministic automaton
• Finite-state machine
• Theoretical computer science
• Muller automaton
• Bchi automaton

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Symbol
• Stochastic game
• Mathematical optimization
• Markov decision process
• Markov chain
• Probability

Universal Language Model Fine-tuning for Text Classification Jeremy Howard∗ fast.ai University of San Francisco

Source URL: arxiv.org

• Machine learning
• Artificial intelligence
• Computational neuroscience
• Learning
• Applied mathematics
• Artificial neural networks
• Cybernetics
• Formal sciences
• Deep learning
• Convolutional neural network
• Multi-task learning
• Training
• test
• and validation sets

Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Probability
• Markov decision process
• Markov chain
• Probabilistic CTL
• Linear temporal logic
• Computation tree logic
• PL