Behavioral Non-portability in Scientific Numeric Computing Yijia Gu1(B) , Thomas Wahl1 , Mahsa Bayati2(B) , and Miriam Leeser2 1 2

Source URL: www.ccs.neu.edu

• Theoretical computer science
• Theory of computation
• Computer programming
• Mathematics
• Computability theory
• Digital signal processing
• Computer arithmetic
• Algorithm
• Mathematical logic
• Recursion
• Multiplyaccumulate operation
• Time complexity

Parity Objectives in Countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Dominik Wojtczak LICS 2017, Reykjavik 20 June 2017

Source URL: www.cs.ox.ac.uk

Generation of Failure Models through Automata Learning [Position Paper] Sebastian Kunze, Wojciech Mostowski, Mohammad Reza Mousavi, Mahsa Varshosaz Centre for Research on Embedded Systems, Halmstad University, Sweden {s

Source URL: ceres.hh.se

MethMorph: Simulating Facial Deformation due to Methamphetamine Usage Mahsa Kamali, Forrest N. Iandola, Hui Fang? , and John C. Hart University of Illinois at Urbana-Champaign {mkamali2, iandola1, jch}@illinois.edu

Source URL: www.forrestiandola.com

Stephan Bergmann¹, Mahsa Mohammadikaji¹, Stephan Irgenfried¹, Heinz Wörn¹, Jürgen Beyerer¹,², Carsten Dachsbacher¹ ¹Karlsruhe Institute of Technology ²Fraunhofer Institute of Optronics, System Technologies and

Source URL: cg.ivd.kit.edu

Miss PacMan AI Controller For IEEE CIG 2010 – Ms.PacMan Competition AmirHossein Sojoodi, Mahsa Asadi Shiraz University Introduction

Source URL: cswww.essex.ac.uk

The CISE Tool: Proving Weakly-Consistent Applications Correct Mahsa Najafzadeh Alexey Gotsman

Source URL: software.imdea.org

Car Racing Driver Distraction Detection Using Brain EEG Mahsa Salehi Geoffrey Mackellar Christopher Leckie

Source URL: www.large-scale-sports-analytics.org

A User-aware Clicking Platform for Recommenders Rachid Guerraoui Mahsa Taziki EPFL

Source URL: womencourage.acm.org

• Recommender systems
• Humancomputer interaction
• Collective intelligence
• MovieLens
• Privacy
• Collaborative filtering
• Information privacy
• Internet privacy
• Personalization
• Differential privacy
• Facebook like button
• GroupLens Research

Synchronization in MDPs Mahsa Shirmohammadi Laurent Doyen Thierry Massart

Source URL: highlights-conference.org