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

Source URL: www.cs.purdue.edu

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

Analysis of Heart Rate Variability during Meditation by a Pattern Recognition Method Sukanya Phongsuphap* and Yongyuth Pongsupap Ratchathewi, Bangkok, Thailand The main objective of this study is to investigate patterns

Source URL: www.cinc.org

Výbor pre vyšetrenie prenasledovania Falun Gongu v Číne Coalition to Investigate the Persecution of Falun Gong in China, www.cipfg.org Celosvetová petícia „Milión podpisov“ na zastavenie prenasledovania Falun

Source URL: cipfg.org

WEIGHT HOMOLOGY OF MOTIVES SHANE KELLY AND SHUJI SAITO Abstract. In the first half of this article we define a new weight homology functor on Voevodsky’s category of effective motives, and investigate some of its prope

Source URL: www.lcv.ne.jp

Localized phase structures growing out of quantum fluctuations in a quench of tunnel-coupled atomic condensates Clemens Neuenhahn,1, ∗ Anatoli Polkovnikov,2 and Florian Marquardt1 1 We investigate the relative phase b

Source URL: www.theorie2.physik.uni-erlangen.de

Course Booklet Spring SemesterFebruary – 2 June 2017 Beaches, islands and ports – Investigate the spaces where water meets land from the perspectives of language, linguistics, literary and cultural studies.

Source URL: www.ens.unibe.ch

A retrospective analysis of field data to investigate the prevalence of foot lesions in cows in Somerset and Dorset. www.cattlelamenessacademy.co.uk

Source URL: www.cattlelamenessacademy.co.uk

2016 ANNUAL REPORT INVESTIGATE. ENGAGE. STRENGTHEN. MESSAGE FROM THE

Source URL: www.fortifyrights.org

Network Visualization for Integrative Bioinformatics Andreas Kerren and Falk Schreiber Abstract Approaches to investigate biological processes have been of strong interest in the past few years and are the focus of sever

Source URL: homepage.lnu.se

Clique trees of infinite locally finite chordal graphs Christoph Hofer-Temmel and Florian Lehner Abstract We investigate clique trees of infinite locally finite chordal graphs. Our main contribution is a bijection betwee

Source URL: www.florian-lehner.net