Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

Source URL: arxiv.org

• Probability and statistics
• Statistics
• Statistical randomness
• Stochastic computing
• Applied mathematics
• Stochastic optimization
• Artificial neural network
• Mathematical optimization
• Stochastic process

A new method to automate the synthesis of stochastic computing circuits

Source URL: techxplore.com

• Statistical randomness
• Stochastic computing
• Mathematical optimization
• Stochastic
• Integrated circuit
• Electronic engineering
• Electromagnetism
• Electrical engineering

Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto

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

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• PP
• Probability and statistics
• Probability
• Theoretical computer science
• Models of computation

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

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

• Mathematical analysis
• Temporal logic
• Mathematics
• Computation tree logic
• Logic in computer science
• Determinacy
• Distribution
• Linear temporal logic
• Universal representation

Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic Jeremy T. Bradley Nicholas J. Dingle Peter G. Harrison William J. Knottenbelt Department of Computing, Imperial Colleg

Source URL: pubs.doc.ic.ac.uk

t-SNE Analysis Tool – JAVA For Visualization and Analysis of gene expression data This takes advantage of the t-SNE algorithm developed by L.J.P. van der Maaten and G.E. Hinton. Full details and code are available fro

Source URL: crick.ac.uk

• T-distributed stochastic neighbor embedding
• Comma-separated values
• Computing
• Nl
• Software

EasyAnalyzer: an object-oriented framework for the experimental analysis of stochastic local search algorithms? Luca Di Gaspero1 , Andrea Roli2 , and Andrea Schaerf1 1 DIEGM, University of Udine, via delle Scienze 208,

Source URL: tmancini.di.uniroma1.it

• Software engineering
• Software
• Numerical analysis
• Mathematical optimization
• Numerical software
• Distributed computing architecture
• Operations research
• Paradiseo
• Algorithm
• Solver
• Design Patterns
• User interface

Gossip-Based Computation of Aggregate Information David Kempe∗, Alin Dobra, and Johannes Gehrke† Department of Computer Science, Cornell University Ithaca, NY 14853, USA {kempe,dobra,johannes}@cs.cornell.edu Abstract

Source URL: www-bcf.usc.edu

• Graph theory
• Computing
• Mathematics
• Distributed data storage
• Stochastic processes
• Network theory
• Networks
• Chord
• Gossip protocol
• Rope
• Random walk
• Maximal independent set

Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science

Source URL: homepages.inf.ed.ac.uk

• Algebra over a field
• Process calculus
• Stochastic process
• Stochastic
• Jane Hillston
• Process calculi
• Data
• Computing
• PEPA
• Information
• Non-associative algebras
• TAPAs model checker

Introduction Model Analysis Tool Support

Source URL: homepages.inf.ed.ac.uk

• Markov models
• Markov processes
• Statistics
• Graph theory
• Markov chain
• Data
• Jane Hillston
• Laboratory for Foundations of Computer Science
• Chain
• Stochastic process
• Stochastic
• Computing