Mrs.Z: Improving ZigBee Throughput via Multi-Rate Transmission Yifeng Cao∗ , Linghe Kong∗ , Liang He† , Guihai Chen∗ , Min-You Wu∗ , Tian He‡ ∗ Shanghai Jiao Tong University, China

Source URL: wirelesslab.sjtu.edu.cn

Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London

Source URL: www.cs.toronto.edu

• Data types
• Computing
• Theoretical computer science
• Software engineering
• Heap
• Tree
• Separation logic
• Variable
• Parse tree
• Logic programming
• Linked list

Journeys in World Politics, March 9th-11th, 2006 Sponsored by the University of Iowa College of Liberal Arts & Sciences, with Support from the Department of Political Science Thursday, Mar. 9 6:30-8:30 p.m. Dinner at Sh

Source URL: www.saramitchell.org

Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

Source URL: zhang-sai.github.io

• Software engineering
• Software
• Code coverage
• Software testing
• ARG2
• Xdebug
• Relational operator
• Tarantula
• Computer programming

Pervasive Health Editors: Jesús Favela n CICESE n Stephen Intille n Northeastern University n Population-Scale Pervasive Health

Source URL: www.timalthoff.com

• Health
• Human behavior
• Humancomputer interaction
• Wearable computers
• Wearable devices
• Big data
• Data management
• Technology forecasting
• Transaction processing
• Ubiquitous computing
• Social network
• Public health

Academic policies of the MBA Program at Reykjavík University Valid from 14. August 2017 1. Mission and objectives

Source URL: en.ru.is

• Education
• Academic transfer
• Education reform
• Management education
• Master of Business Administration
• Grading systems by country
• Final examination
• Institute of Business Administration
• University of Rajshahi
• Modern Academy For Engineering & Technology

Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt University of Utah

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Transformation languages
• Programming languages
• High-level programming languages
• Functional programming
• Hygienic macro
• Macro
• Lisp
• Anonymous function

Learning Outcomes for the BSc in Psychology National Qualification Framework for Iceland BSc in Psychology at Reykjavik University Bachelor´s degree Cycle – 240 ECTS

Source URL: en.ru.is

• Behavioural sciences
• Psychology
• Behavior
• Academic degrees
• Education
• Subfields of psychology
• Bachelor's degree
• Psychologist
• Master's degree
• Applied psychology
• Industrial and organizational psychology
• School psychology

Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University

Source URL: publications.aston.ac.uk

• Mathematical analysis
• Probability and statistics
• Probability theory
• Machine learning
• Computational neuroscience
• Computational statistics
• Artificial neural networks
• Bayesian statistics
• Gaussian function
• Mixture model
• Mixture distribution
• Joint probability distribution

RESEARCH EXCELLENCE The Department of Sociology at the University of Toronto is committed to excellence in research and in teaching, and maintains that the two cannot be divorced from each other. For over fifty

Source URL: sociology.utoronto.ca

• Sociology
• Social science