Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden

Source URL: user.it.uu.se

• Computer programming
• Declarative programming
• Theoretical computer science
• Logic in computer science
• Cryptography
• Satellite broadcasting
• Scrambler
• Telecommunications equipment
• Satisfiability modulo theories
• Scrambling
• Monad
• Benchmark

Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research

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

• Software engineering
• Computing
• Programming language theory
• Type theory
• Formal methods
• Functional languages
• Procedural programming languages
• Data types
• Type system
• F Sharp
• HindleyMilner type system
• First-order logic

SAMPLED SEMANTICS OF TIMED AUTOMATA PAROSH AZIZ ABDULLA, PAVEL KRCAL, AND WANG YI Department of Information Technology, Uppsala University, Sweden e-mail address : Department of Information Technology, Up

Source URL: user.it.uu.se

Following internal resistance changes in batteries with a versatile intermittent current interruption technique a Matthew J. Lacey Department of Chemistry – Ångström Laboratory, Uppsala University, Box 538,

Source URL: www.imlb2018.org

Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard Pontus Ekberg and Wang Yi Uppsala University, Sweden Email: {pontus.ekberg | yi}@it.uu.se

Source URL: user.it.uu.se

WCET Analysis with MRU Caches: Challenging LRU for Predictability Nan Guan Uppsala University, Sweden Email:

Source URL: user.it.uu.se

Curriculum Vitae of Wang Yi March 1, 2018 Work address: Department of IT, Uppsala University, 751 05, Uppsala, Sweden Tel: +, Web: http://user.it.uu.se/ ˜ yi/ and Email:

Source URL: user.it.uu.se

Size is not Everything Genre Balance in Bootstrapping a Swedish PoS Tagger Eva Forsbom Department of Linguistics and Philology, Uppsala University Graduate School of Language Technology

Source URL: www.speech.kth.se

News release Uppsala, Sweden, SCANDINOVA RECEIVES ORDER FROM TSINGHUA UNIVERSITY, CHINA ScandiNova has signed an agreement with Tsinghua University for the delivery of four solid-state pulse modulators adapted

Source URL: www.scandinovasystems.com

The Challenge to Stabilize Interfaces and Interphases in Lithium and Sodium Batteries Kristina Edström a and Daniel Brandella a Department of Chemistry – Ångström Laboratory, Uppsala University, Box 538, Upps

Source URL: www.imlb2018.org