GRADUATE SEMINAR Olusesan Ogunsanya STATISTICAL TEST FOR THE GENERALIZED GAMMA DISTRIBUTION MSc Student supervised by Andrei Volodin Wednesday, June 13th

Source URL: www.uregina.ca

GRADUATE SEMINAR Olusesan Ogunsanya Hypothesis testing for three main Reliability models MSc Student supervised by Andrei Volodin Wednesday, April 4th

Source URL: www.uregina.ca

Exploiting Search Space Structure in Classical Planning: Analyses and Algorithms (Dissertation Abstract) Masataro Asai Graduate School of Arts and Sciences University of Tokyo

Source URL: icaps16.icaps-conference.org

• Game artificial intelligence
• Routing algorithms
• Computer programming
• Computing
• Mathematics
• Automated planning and scheduling
• Theoretical computer science
• Macro
• Satisficing
• A* search algorithm
• Planning Domain Definition Language
• Heuristic

ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

Source URL: www.austenmcdonald.com

• Concurrency control
• Transaction processing
• Computing
• Data management
• System software
• Transactional memory
• Benchmark
• Lock
• Parallel computing
• Linearizability
• Consistency model

GRADUATE SEMINAR Priyanka Guliani Crack Distribution MSc Student supervised by Dr. Shaun Fallat and Dr. Andrei Volodin 14 March, Wednesday

Source URL: www.uregina.ca

Electrical & Computer EngineeringM.S. Catalog/Handbook ECE Office of Graduate Affairs This document is for the internal use of the Department of Electrical and Computer Engineering

Source URL: www.ece.cmu.edu

• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Information Networking Institute
• Carnegie Mellon School of Computer Science

GRADUATE SEMINAR Yingjie Wei Inference for Functional Data Master Student supervised by Dr. Dianliang Deng Monday, April 2, 2018

Source URL: www.uregina.ca

Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl

Source URL: web.engr.illinois.edu

• Mathematical software
• Application software
• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Discrete mathematics
• Verification
• Quantifier elimination
• Formal verification
• Model checking
• Computer science

GRADUATE SEMINAR Adeola Adegoke ON THE EFFECTS OF NONLINEARITY BETWEEN VARIABLES ON THE CORRELATION COEFFICIENT MSc Student supervised by Dr. Andrei Volodin and Dr. Shakhawat Hossain

Source URL: www.uregina.ca

• Covariance and correlation
• Parametric statistics
• Data analysis
• Statistics
• Probability and statistics
• Statistical tests
• Correlation and dependence
• Pearson correlation coefficient
• Student's t-test
• Correlation coefficient
• Multivariate normal distribution

GRADUATE SEMINAR Mashfiqul Huq Chowdhury Quantile Regression Approach for Homogeneous and Heterogeneous Model M.Sc Student supervised by Dr. Dianliang Deng

Source URL: www.uregina.ca

• Regression analysis
• Statistical inference
• Estimation theory
• Parametric statistics
• Data analysis
• Linear regression
• Quantile regression
• Homoscedasticity
• Outline of regression analysis
• Quantile regression averaging