Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

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

• I0
• Invariant
• XC

The Temenos guide to Real World RegTech Accounting IFRS 9

Source URL: www.temenos.com

• Economy
• Financial regulation
• 111th United States Congress
• Money
• International taxation
• United States federal banking legislation
• Foreign Account Tax Compliance Act
• International Financial Reporting Standards
• Money laundering
• Regulatory compliance
• Temenos Group
• DoddFrank Wall Street Reform and Consumer Protection Act

Chapter 8 T Verification of Real-time Probabilistic Systems

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

• Finite automata
• Probability theory
• Probability
• Timed automaton
• Markov processes
• Probabilistic automaton
• Markov decision process
• Model checking
• Automata theory
• Probabilistic logic

Thomson Reuters Elektron Data Platform Real-Time Venue Data For MiFID II MiFID II is redefining best practice in our industry Organizations bound by MiFID II are now finding that rules around pre- and post-trade transpar

Source URL: mifidii.thomsonreuters.com

• Economy
• Finance
• Money
• Financial markets
• Financial regulation
• European Union
• Markets in Financial Instruments Directive
• Systemic risk
• Tradeweb
• Thomson Reuters
• MarketAxess
• Securities research

PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

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

• Model checkers
• Application software
• PRISM model checker
• Systems science
• Mathematics
• Model checking
• Uppaal Model Checker
• Probabilistic automaton
• PAT
• Hybrid system
• Markov chain

Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/

Source URL: smt2014.it.uu.se

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

Source URL: www.falkhowar.de

• Real-time computing
• Scheduling
• Technology
• Computer architecture
• System software
• Embedded operating systems
• Automotive software
• OSEK
• Worst-case execution time
• Real-time operating system
• Uppaal Model Checker
• Model checking

EVO: Event-based 6-DOF Parallel Tracking and Mapping in Real-time Department of Informatics - Institute of Neuroinformatics Henri Rebecq, Timo Horstschaefer, Guillermo Gallego, Davide Scaramuzza

Source URL: rpg.ifi.uzh.ch

• 3D computer graphics
• 3D imaging
• Depth map
• Nintendo DSi
• 3D reconstruction

HONG KONG INSTITUTE FOR MONETARY RESEARCH ROADS AND THE REAL EXCHANGE RATE Qingyuan Du, Shang-Jin Wei and Peichu Xie HKIMR Working Paper No

Source URL: www.hkimr.org

• Economy
• Economics
• Currency
• Purchasing power
• BalassaSamuelson effect
• Foreign exchange market
• International macroeconomics
• Exchange rate
• Purchasing power parity
• Law of one price
• Gross domestic product
• RER D

SYNAPTOGENESIS ON THE SPINNAKER, MAYEffects Of Real-time Synaptic Plasticity Using Spiking Neural Network Architecture

Source URL: shukla.io

• Neuroscience
• Computational neuroscience
• Nervous system
• Neural networks
• Artificial neural networks
• Neuroplasticity
• Computational statistics
• Spiking neural network
• Synaptic weight
• Spike-timing-dependent plasticity
• Neural circuit
• Hebbian theory