<--- Back to Details
First PageDocument Content
National Bank of Austria / Seppo Honkapohja / Austria / Bank of Finland / Banks / Erste Group / Ewald Nowotny / Academia / European System of Central Banks / Alsergrund / Economy of Austria
Date: 2012-12-03 08:49:22
National Bank of Austria
Seppo Honkapohja
Austria
Bank of Finland
Banks
Erste Group
Ewald Nowotny
Academia
European System of Central Banks
Alsergrund
Economy of Austria

Add to Reading List

Source URL: www.suomenpankki.fi

Download Document from Source Website

File Size: 178,27 KB

Share Document on Facebook

Similar Documents

Finite automata / Abstract algebra / Algebra / Finite-state transducer / Mathematics / Theoretical computer science / Finite-state machine / Semigroup action / Kazhdan's property / Tree transducer

Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in

DocID: 1xW24 - View Document

Boolean algebra / Forcing / Theoretical computer science / Mathematics / Complete Boolean algebra / Order theory / Assertion / Mathematical logic

Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria

DocID: 1xVPw - View Document

Measure theory / FO / Finite model theory / Ergodic theory / Mathematics / Logic / Mathematical logic / Lie algebras / Hopf decomposition / Pattern language

Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

DocID: 1xVIK - View Document

Software testing / Theoretical computer science / Software engineering / Satisfiability modulo theories / Solver / Test automation / Fuzzing / Application programming interface / Model-based testing / API testing

Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract

DocID: 1xVj1 - View Document

Cryptography / Computer security / Security engineering / Cyberwarfare / Physical unclonable function / Direct Anonymous Attestation / Hardware security / Trust

TRUST 2016 Program Guide 29 – 30 August 2016 Vienna, Austria Organized by…

DocID: 1xVfX - View Document