Learning-based Testing of Distributed Microservice Architectures: Correctness and Fault Injection Karl Meinke and Peter Nycander KTH Royal Institute of Technology, Stockholm, Sweden, , ,

Source URL: staq.dsic.upv.es

U.S. Department of Commerce International Trade Administration National Travel and Tourism OfficeMarket Profile: Sweden

Source URL: travel.trade.gov

Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

Source URL: user.it.uu.se

• FO
• Finite model theory
• Finite automata
• Models of computation

Sender: ExpoNova AB, Eriksbergstorget 11, SEGöteborg, Sweden B port payé

Source URL: www.isoc.org

Compositional Coinduction with Sized Types Andreas Abel Department of Computer Science and Engineering, Gothenburg University, R¨annv¨agen 6, 41296 G¨oteborg, Sweden

Source URL: www2.tcs.ifi.lmu.de

A Unified Morpho-Syntactic Scheme of Stanford Dependencies Reut Tsarfaty Uppsala University, Sweden

Source URL: www.tsarfaty.com

• Linguistics
• Syntax
• Cognitive science
• Semantics
• Grammar
• Dependency grammar
• Treebank
• Parsing
• Grammatical relation
• Head
• Morpheme
• Relative clause

Training Deterministic Parsers with Non-Deterministic Oracles Joakim Nivre Uppsala University Department of Linguistics and Philology Uppsala, Sweden

Source URL: www.cs.bgu.ac.il

March 10, 2016 Release Ministry of Finance Trade Statistics Value of Exports and Imports

Source URL: www.customs.go.jp

• United Kingdom general elections overview
• Television in Sweden

March 10, 2016 Release Ministry of Finance Trade Statistics Value of Exports and Imports JuneFixed Annual)

Source URL: www.customs.go.jp

• United Kingdom general elections overview
• Television in Sweden

Representation and Communication: Challenges in Interpreting Large Social Media Datasets Mattias Rost Mobile Life @ SICS Stockholm, Sweden

Source URL: rost.me