Exploring QR Factorization on GPU for Quantum Monte Carlo Simulation
|
|
- Reginald Pierce Stevens
- 5 years ago
- Views:
Transcription
1 Exploring QR Factorization on GPU for Quantum Monte Carlo Simulation Tyler McDaniel Ming Wong Mentors: Ed D Azevedo, Ying Wai Li, Kwai Wong
2 Quantum Monte Carlo Simulation Slater Determinant for N-electrons system
3 What is QMCPACK? Ø Open-Source scientific software for quantum Monte Carlo simulation Ø Written in C++ with CUDA kernels Ø Utilizes CUDA (acceleration) and openmp (parallelization)
4 Purpose Ø To Improve on the existing method in QMCPACK for evaluating single-particle updates to a system s electron configuration
5 Current QMC implementation
6 Current QMCPACK implementation
7 LU Decomposition A = L * U
8 Current QMCPACK implementation
9 Current QMCPACK implementation
10 Current QMCPACK implementation
11 Current QMCPACK implementation
12 Proposed Implementation Ø Using QR factorization versus LU factorization Ø Rank-k update versus Rank-1 update Ø Triangular solve versus Sherman Morrison formula
13 Proposed Implementation
14 QR Decomposition Note that Q is orthonormal and R is upper triangular.
15 Proposed Implementation
16 Proposed Implementation
17 Matrix Determinant Lemma Rank-1 case (note that A is R in our scenario) Rank-k case Ø det( R + u*v ) = det( R * ( eye + (inv(r)*u) * v ) ) = det(r) * det( eye + w * v )
18 Proposed Implementation
19 Proposed Implementation
20 Givens Rotation
21 Householder Reflection
22 Returns R to upper triangular Ø The updated column of R will be shifted at the nth column, where n is the size of the square matrix A. Ø Utilizing the above techniques, zeros can be introduced below the diagonal in columns of R. Ø Appropriate operations are performed on Q to maintain A = QR
23 Implementation Timeframe: 10 weeks 1) MATLAB Ø Establish basic algorithm execution flow in MATLAB Ø ~ 2 weeks 2) C (MKL/LAPACKE) Ø Translate into BLAS/LAPACKE Ø ~ 2 weeks 3) C, accelerated (cublas) Ø Practice GPU mem. management, invoke cublas from C Ø ~ 1 week 4) CUDA Ø Move execution to GPU Ø ~ 2 weeks
24 Results Implemented the algorithm in CUDA Used dynamic parallelism and cublas Kernel 1: Estimate determinant delta Operation 1: GEMV w = Qt * u Operation 2: TRSV (Child kernel) y = R * w Result: delta = y[k] + 1
25 Results Implemented the algorithm in CUDA Used dynamic parallelism and cublas Kernel 2: Update R Operation 1: AXPY R = R + w * transpose(v) Operation 2: ROTG/ROT (Iterative) Result: Updated R
26 Results Ø Test platform: Beacon GPU node Ø equipped with 4x Tesla K20Xm GPUs; used 1 GPU
27 Results Ø GPU RAM: ~sizeof(float /double) * num_mats * (2n 2 +2n) Ø Flops per update (combined) 15n 2 Greatest performance at N < 256: 5,000+ updates per second However, small matrices not relevant to our use case
28 Discussion (Parallelism) Ø Sequential Givens rotations limit scalability Ø Level 1 BLAS calls account for majority of kernel runtime Ø Control flow cost greater than compute cost
29 Discussion (Parallelism) Ø Strategy: Adapt existing parallel implementations of Givens QR (e.g., those based on Sameh and Kuck, 1978) or Householder QR Ø Some implementations require just ~5/8 of computational steps vs. sequential algorithms (Kontoghiorghes, 2002 p. 1266) Ø Effect: Decrease time cost of reforming triangular R, decrease execution gaps Ø Cost: Far more complex to implement
30 Discussion (Parallelism) Column permutations (used to reduce transformations required)
31 Discussion (Parallelism) Ø Strategy: Replace column permutation with normpreserving change vector rotations Ø Patterned on Golub and Van Loan, 1996 p Ø Effect: Reduced complexity Ø R is always upper triangular (in memory) Ø Runtime variability is reduced Ø Cost: Increased flops
32 Discussion (Parallelism) Ø Rank-1 change is evaluated Ø Applied immediately if accepted Ø Contiguous accepted changes not grouped
33 Discussion (Parallelism) Ø Strategy: Generalize implementation for rank-k column update; Ø Evaluate change submatrix Ø Apply changes to R only after contiguous acceptance pattern is broken Ø Effect: Leverage likely acceptance pattern Ø Perform block operations Ø Cost: More complex to implement Ø May require extensive modification to QMCPACK
34 Discussion (CUDA) Ø Improved cublas Management: Ø Share cublas handles between synchronized kernels to minimize overhead Ø "...the recommended programming model is to create one CUBLAS handle per thread and use that CUBLAS handle for the entire life of the thread. ~CUDA Toolkit 6.5 Documentation: cublas Ø Use cublas streams to increase occupancy Ø Up to 16 concurrent kernels are supported (hardware dependent)
35 Discussion (CUDA) Ø Decrease Memory Latency Ø Currently, kernels are heavily latency-bound (limited by memory access, not computation) Ø Reduce level of pointer indirection
36 Works Cited Ø Andrew, Robert, and Nicholas Dingle. "Implementing QR Factorization Updating Algorithms on GPUs." Parallel Computing 40.7 (2014): Web. 4 Aug < Ø "CuBLAS :: CUDA Toolkit Documentation." CuBLAS :: CUDA Toolkit Documentation. Web. 4 Aug Ø Golub, Gene H., and Charles F. Loan. Matrix Computations. 3rd ed. Baltimore: Johns Hopkins UP, Print. Ø Kontoghiorghes, Erricos J. "Parallel Strategies for Rank- K Updating of the QR Decomposition." SIAM. J. Matrix Anal. & Appl. SIAM Journal on Matrix Analysis and Applications 23.3 (2000): Web. 4 Aug < S >. Ø Kontoghiorghes, Erricos John. "Greedy Givens Algorithms for Computing the Rank-k Updating of the QR Decomposition." Parallel Computing 28 (2002): Web. 4 Aug < Ø Padua, David A. Encyclopedia of Parallel Computing. Vol. 4. New York: Springer, Print. Ø Sameh, A. H., and D. J. Kuck. "On Stable Parallel Linear System Solvers." Journal of the ACM JACM J. ACM 25.1 (1978): Web. 4 Aug < id=322054>. Ø Volkov, V., and J.w. Demmel. "Benchmarking GPUs to Tune Dense Linear Algebra." 2008 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (2008). Web. 4 Aug < SC08_Volkov_GPU.pdf>.
37 Acknowledgements Ø We greatly appreciate help from our mentors: Ø Dr. Ed D'Azevedo from ORNL Ø Dr. Ying Wai Li from ORNL Ø Dr. Kwai Wong from UTK Ø NSF Ø ORNL Ø UTK
38 Exploring QR Factorization on GPU for Quantum Monte Carlo Simulation Tyler McDaniel Ming Wong Mentors: Ed D Azevedo, Ying Wai Li, Kwai Wong
Optimization Strategies
Global Memory Access Pattern and Control Flow Objectives Ø Ø Global Memory Access Pattern (Coalescing) Ø Control Flow (Divergent branch) Copyright 2013 by Yong Cao, Referencing UIUC ECE498AL Course Notes
More informationHPCG on Tianhe2. Yutong Lu 1,Chao Yang 2, Yunfei Du 1
HPCG on 2 Yutong Lu 1,Chao Yang 2, Yunfei Du 1 1, Changsha, Hunan, China 2 Institute of Software, CAS, Beijing, China Outline r HPCG result overview on -2 r Key Optimization works Ø Hybrid HPCG:CPU+MIC
More informationPerformance & Energy
1 Performance & Energy Optimization @ Md Abdullah Shahneous Bari Abid M. Malik Millad Ghane Ahmad Qawasmeh Barbara M. Chapman 11/28/15 2 Layout of the talk Ø Overview Ø Motivation Ø Factors that affect
More information4th International Industrial Supercomputing Workshop Supercomputing for industry and SMEs in the Netherlands
4th International Industrial Supercomputing Workshop Supercomputing for industry and SMEs in the Netherlands Dr. Peter Michielse Deputy Director 1 Agenda q Historical example: oil reservoir simulation
More informationCS 5523: Operating Systems
Lecture1: OS Overview CS 5523: Operating Systems Instructor: Dr Tongping Liu Midterm Exam: Oct 2, 2017, Monday 7:20pm 8:45pm Operating System: what is it?! Evolution of Computer Systems and OS Concepts
More informationCyber-Physical Systems Scheduling
Cyber-Physical Systems Scheduling ICEN 553/453 Fall 2018 Prof. Dola Saha 1 Quick Recap 1. What characterizes the memory architecture of a system? 2. What are the issues with heaps in embedded/real-time
More informationFile Systems: Fundamentals
File Systems: Fundamentals 1 Files What is a file? Ø A named collection of related information recorded on secondary storage (e.g., disks) File attributes Ø Name, type, location, size, protection, creator,
More informationFinal Review. Chenyang Lu. CSE 467S Embedded Compu5ng Systems
Final Review Chenyang Lu CSE 467S Embedded Compu5ng Systems OS: Basic Func2ons Ø OS controls resources: q who gets the CPU; q when I/O takes place; q how much memory is allocated; q power management. Ø
More informationCSE 520S Real-Time Systems
CSE 520S Real-Time Systems Prof. Chenyang Lu TAs: Haoran Li, Yehan Ma Real-Time Systems Ø Systems operating under timing constraints q Automobiles. q Airplanes. q Mars rovers. q Game console. q Factory
More informationAppendix to Non-Parametric Unfolding of Binary Choice Data Keith T. Poole Graduate School of Industrial Administration Carnegie-Mellon University
Appendix to Non-Parametric Unfolding of Binary Choice Data Keith T. Poole Graduate School of Industrial Administration Carnegie-Mellon University 7 July 1999 This appendix is a supplement to Non-Parametric
More informationAdaptive QoS Control for Real-Time Systems
Adaptive QoS Control for Real-Time Systems Chenyang Lu CSE 520S Challenges Ø Classical real-time scheduling theory relies on accurate knowledge about workload and platform. New challenges under uncertainties
More informationProcesses. Criteria for Comparing Scheduling Algorithms
1 Processes Scheduling Processes Scheduling Processes Don Porter Portions courtesy Emmett Witchel Each process has state, that includes its text and data, procedure call stack, etc. This state resides
More informationInstructors: Tengyu Ma and Chris Re
Instructors: Tengyu Ma and Chris Re cs229.stanford.edu Ø Probability (CS109 or STAT 116) Ø distribution, random variable, expectation, conditional probability, variance, density Ø Linear algebra (Math
More informationChapter 8: Recursion
Chapter 8: Recursion Presentation slides for Java Software Solutions for AP* Computer Science 3rd Edition by John Lewis, William Loftus, and Cara Cocking Java Software Solutions is published by Addison-Wesley
More informationTengyu Ma Facebook AI Research. Based on joint work with Rong Ge (Duke) and Jason D. Lee (USC)
Tengyu Ma Facebook AI Research Based on joint work with Rong Ge (Duke) and Jason D. Lee (USC) Users Optimization Researchers function f Solution gradient descent local search Convex relaxation + Rounding
More informationAn Integer Linear Programming Approach for Coalitional Weighted Manipulation under Scoring Rules
An Integer Linear Programming Approach for Coalitional Weighted Manipulation under Scoring Rules Antonia Maria Masucci, Alonso Silva To cite this version: Antonia Maria Masucci, Alonso Silva. An Integer
More informationA comparative analysis of subreddit recommenders for Reddit
A comparative analysis of subreddit recommenders for Reddit Jay Baxter Massachusetts Institute of Technology jbaxter@mit.edu Abstract Reddit has become a very popular social news website, but even though
More informationBiogeography-Based Optimization Combined with Evolutionary Strategy and Immigration Refusal
Biogeography-Based Optimization Combined with Evolutionary Strategy and Immigration Refusal Dawei Du, Dan Simon, and Mehmet Ergezer Department of Electrical and Computer Engineering Cleveland State University
More informationReal-Time Scheduling Single Processor. Chenyang Lu
Real-Time Scheduling Single Processor Chenyang Lu Critiques Ø 1/2 page critiques of research papers. q Back-of-envelop comments - NOT whole essays. q Guidelines: http://www.cs.wustl.edu/%7elu/cse521s/critique.html
More informationAnalyzing and Representing Two-Mode Network Data Week 8: Reading Notes
Analyzing and Representing Two-Mode Network Data Week 8: Reading Notes Wasserman and Faust Chapter 8: Affiliations and Overlapping Subgroups Affiliation Network (Hypernetwork/Membership Network): Two mode
More informationCS 5523 Operating Systems: Intro to Distributed Systems
CS 5523 Operating Systems: Intro to Distributed Systems Instructor: Dr. Tongping Liu Thank Dr. Dakai Zhu, Dr. Palden Lama for providing their slides. Outline Different Distributed Systems Ø Distributed
More informationSupport Vector Machines
Support Vector Machines Linearly Separable Data SVM: Simple Linear Separator hyperplane Which Simple Linear Separator? Classifier Margin Objective #1: Maximize Margin MARGIN MARGIN How s this look? MARGIN
More informationUsers reading habits in online news portals
Esiyok, C., Kille, B., Jain, B.-J., Hopfgartner, F., & Albayrak, S. Users reading habits in online news portals Conference paper Accepted manuscript (Postprint) This version is available at https://doi.org/10.14279/depositonce-7168
More informationTengyu Ma Facebook AI Research. Based on joint work with Yuanzhi Li (Princeton) and Hongyang Zhang (Stanford)
Tengyu Ma Facebook AI Research Based on joint work with Yuanzhi Li (Princeton) and Hongyang Zhang (Stanford) Ø Over-parameterization: # parameters # examples Ø a set of parameters that can Ø fit to training
More informationComputational challenges in analyzing and moderating online social discussions
Computational challenges in analyzing and moderating online social discussions Aristides Gionis Department of Computer Science Aalto University Machine learning coffee seminar Oct 23, 2017 social media
More informationFall Detection for Older Adults with Wearables. Chenyang Lu
Fall Detection for Older Adults with Wearables Chenyang Lu Internet of Medical Things Ø Wearables: wristbands, smart watches q Continuous monitoring q Sensing: activity, heart rate, sleep, (pulse-ox, glucose
More informationDigital research data in the Sigma2 prospective
Digital research data in the Sigma2 prospective NARMA Forskningsdata seminar 30. Januar 2018 Maria Francesca Iozzi, PhD, UNINETT/Sigma2 Hans A. Eide, PhD, UNINETT/Sigma Agenda Ø About UNINETT Sigma2 Ø
More informationProbabilistic Latent Semantic Analysis Hofmann (1999)
Probabilistic Latent Semantic Analysis Hofmann (1999) Presenter: Mercè Vintró Ricart February 8, 2016 Outline Background Topic models: What are they? Why do we use them? Latent Semantic Analysis (LSA)
More informationQuality of Service in Optical Telecommunication Networks
Quality of Service in Optical Telecommunication Networks Periodic Summary & Future Research Ideas Zhizhen Zhong 2015.08.28 @Networks Lab Group Meeting 1 Outline Ø Background Ø Preemptive Service Degradation
More informationLearning and Visualizing Political Issues from Voting Records Erik Goldman, Evan Cox, Mikhail Kerzhner. Abstract
Learning and Visualizing Political Issues from Voting Records Erik Goldman, Evan Cox, Mikhail Kerzhner Abstract For our project, we analyze data from US Congress voting records, a dataset that consists
More informationLearning Systems. Research at the Intersection of Machine Learning & Data Systems. Joseph E. Gonzalez
Learning Systems Research at the Intersection of Machine Learning & Data Systems Joseph E. Gonzalez Asst. Professor, UC Berkeley jegonzal@cs.berkeley.edu How can machine learning techniques be used to
More informationCloud Tutorial: AWS IoT. TA for class CSE 521S, Fall, Jan/18/2018 Haoran Li
Cloud Tutorial: AWS IoT TA for class CSE 521S, Fall, Jan/18/2018 Haoran Li Pointers Ø Amazon IoT q http://docs.aws.amazon.com/iot/latest/developerguide/what-isaws-iot.html Ø Amazon EC2 q http://docs.aws.amazon.com/awsec2/latest/userguide/
More informationPlanning versus Free Choice in Scientific Research
Planning versus Free Choice in Scientific Research Martin J. Beckmann a a Brown University and T U München Abstract The potential benefits of centrally planning the topics of scientific research and who
More informationCase 1:17-cv Document 1 Filed 12/11/17 Page 1 of 17 IN THE UNITED STATES DISTRICT COURT FOR THE WESTERN DISTRICT OF TEXAS AUSTIN DIVISION
Case 1:17-cv-01148 Document 1 Filed 12/11/17 Page 1 of 17 IN THE UNITED STATES DISTRICT COURT FOR THE WESTERN DISTRICT OF TEXAS AUSTIN DIVISION LUCIO DEVELOPMENT LLC, Plaintiff, Case No: 1:17-cv-1148 vs.
More informationTie Breaking in STV. 1 Introduction. 3 The special case of ties with the Meek algorithm. 2 Ties in practice
Tie Breaking in STV 1 Introduction B. A. Wichmann Brian.Wichmann@bcs.org.uk Given any specific counting rule, it is necessary to introduce some words to cover the situation in which a tie occurs. However,
More informationBatch binary Edwards. D. J. Bernstein University of Illinois at Chicago NSF ITR
Batch binary Edwards D. J. Bernstein University of Illinois at Chicago NSF ITR 0716498 Nonnegative elements of Z: etc. 0 meaning 0 1 meaning 2 0 10 meaning 2 1 11 meaning 2 0 + 2 1 100 meaning 2 2 101
More informationComparison of the Psychometric Properties of Several Computer-Based Test Designs for. Credentialing Exams
CBT DESIGNS FOR CREDENTIALING 1 Running head: CBT DESIGNS FOR CREDENTIALING Comparison of the Psychometric Properties of Several Computer-Based Test Designs for Credentialing Exams Michael Jodoin, April
More informationA Micro-Benchmark Evaluation of Catamount and Cray Linux Environment (CLE) Performance
A Micro-Benchmark Evaluation of Catamount and Cray Linux Environment (CLE) Performance Jeff Larkin Cray Inc. Jeff Kuehn ORNL Does CLE waddle like a penguin, or run like
More informationIceCube Project Monthly Report - September 2010
IceCube Project Monthly Report - September 2010 Accomplishments 19,000 pounds of repaired equipment, spares, and materials have been shipped to the South Pole. IceCube conducted a successful internal readiness
More informationReal-Time Wireless Control Networks for Cyber-Physical Systems
Real-Time Wireless Control Networks for Cyber-Physical Systems Chenyang Lu Cyber-Physical Systems Laboratory Department of Computer Science and Engineering Wireless Control Networks Ø Real-time Sensor
More informationTAFTW (Take Aways for the Week) APT Quiz and Markov Overview. Comparing objects and tradeoffs. From Comparable to TreeMap/Sort
TAFTW (Take Aways for the Week) Graded work this week: Ø APT Quiz, details and overview Ø Markov assignment, details and overview Concepts: Empirical and Analytical Analysis Ø Algorithms and Data Structures
More informationOnline Appendices for Moving to Opportunity
Online Appendices for Moving to Opportunity Chapter 2 A. Labor mobility costs Table 1: Domestic labor mobility costs with standard errors: 10 sectors Lao PDR Indonesia Vietnam Philippines Agriculture,
More informationReal- Time Wireless Control Networks for Cyber- Physical Systems
Real- Time Wireless Control Networks for Cyber- Physical Systems Chenyang Lu Cyber- Physical Systems Laboratory Department of Computer Science and Engineering Wireless Control Networks Ø Real-time Ø Reliability
More informationIntroduction to Path Analysis: Multivariate Regression
Introduction to Path Analysis: Multivariate Regression EPSY 905: Multivariate Analysis Spring 2016 Lecture #7 March 9, 2016 EPSY 905: Multivariate Regression via Path Analysis Today s Lecture Multivariate
More informationPROJECTING THE LABOUR SUPPLY TO 2024
PROJECTING THE LABOUR SUPPLY TO 2024 Charles Simkins Helen Suzman Professor of Political Economy School of Economic and Business Sciences University of the Witwatersrand May 2008 centre for poverty employment
More informationAnnual Report ACM Special Interest Group on Symbolic and Algebraic Computation SIGSAM July 2009 June 2010
Annual Report ACM Special Interest Group on Symbolic and Algebraic Computation SIGSAM July 2009 June 2010 Submitted by: Jeremy Johnson, Chair September 3, 2010 SIGSAM Communications in Computer Algebra
More informationHoboken Public Schools. PLTW Introduction to Computer Science Curriculum
Hoboken Public Schools PLTW Introduction to Computer Science Curriculum Introduction to Computer Science Curriculum HOBOKEN PUBLIC SCHOOLS Course Description Introduction to Computer Science Design (ICS)
More informationRock the Vote or Vote The Rock
Rock the Vote or Vote The Rock Tom Edgar Department of Mathematics University of Notre Dame Notre Dame, Indiana October 27, 2008 Graduate Student Seminar Introduction Basic Counting Extended Counting Introduction
More informationHoboken Public Schools. Algebra I Curriculum
Hoboken Public Schools Algebra I Curriculum Algebra One HOBOKEN PUBLIC SCHOOLS Course Description Algebra I reflects the New Jersey learning standards at the high school level and is designed to give students
More informationA Calculus for End-to-end Statistical Service Guarantees
A Calculus for End-to-end Statistical Service Guarantees Technical Report: University of Virginia, CS-2001-19 (2nd revised version) Almut Burchard Ý Jörg Liebeherr Stephen Patek Ý Department of Mathematics
More informationA kernel-oriented algorithm for transmission expansion planning
Title A kernel-oriented algorithm for transmission expansion planning Author(s) Contreras, J; Wu, FF Citation Ieee Transactions On Power Systems, 2000, v. 15 n. 4, p. 1434-1440 Issued Date 2000 URL http://hdl.handle.net/10722/42883
More informationPolydisciplinary Faculty of Larache Abdelmalek Essaadi University, MOROCCO 3 Department of Mathematics and Informatics
International Journal of Pure and Applied Mathematics Volume 115 No. 4 2017, 801-812 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: 10.12732/ijpam.v115i4.13
More informationChapter 11. Weighted Voting Systems. For All Practical Purposes: Effective Teaching
Chapter Weighted Voting Systems For All Practical Purposes: Effective Teaching In observing other faculty or TA s, if you discover a teaching technique that you feel was particularly effective, don t hesitate
More informationCluster Analysis. (see also: Segmentation)
Cluster Analysis (see also: Segmentation) Cluster Analysis Ø Unsupervised: no target variable for training Ø Partition the data into groups (clusters) so that: Ø Observations within a cluster are similar
More informationIdentifying Factors in Congressional Bill Success
Identifying Factors in Congressional Bill Success CS224w Final Report Travis Gingerich, Montana Scher, Neeral Dodhia Introduction During an era of government where Congress has been criticized repeatedly
More informationLPGPU. Low- Power Parallel Compu1ng on GPUs. Ben Juurlink. Technische Universität Berlin. EPoPPEA workshop
LPGPU Low- Power Parallel Compu1ng on GPUs Ben Juurlink Technische Universität Berlin Cri1cal Ques1ons We Seek to Ask Power consump9on has become the cri9cal limi9ng factor in performance of processors
More informationReal-Time CORBA. Chenyang Lu CSE 520S
Real-Time CORBA Chenyang Lu CSE 520S CORBA Common Object Request Broker Architecture Ø CORBA specifications q OMG is the standards body q Over 800 companies q CORBA defines interfaces, not implementations
More informationJob approval in North Carolina N=770 / +/-3.53%
Elon University Poll of North Carolina residents April 5-9, 2013 Executive Summary and Demographic Crosstabs McCrory Obama Hagan Burr General Assembly Congress Job approval in North Carolina N=770 / +/-3.53%
More informationServilla: Service Provisioning in Wireless Sensor Networks. Chenyang Lu
Servilla: Provisioning in Wireless Sensor Networks Chenyang Lu Sensor Network Challenges Ø Device heterogeneity Ø Network dynamics q due to mobility and interference Ø Limited resources and energy Signal
More informationEssential Questions Content Skills Assessments Standards/PIs. Identify prime and composite numbers, GCF, and prime factorization.
Map: MVMS Math 7 Type: Consensus Grade Level: 7 School Year: 2007-2008 Author: Paula Barnes District/Building: Minisink Valley CSD/Middle School Created: 10/19/2007 Last Updated: 11/06/2007 How does the
More informationLevels and Dynamics of Inequality in India: Filling in the blanks
Levels and Dynamics of Inequality in India: Filling in the blanks Peter Lanjouw (Vrije University Amsterdam) Summary of Findings from the India Component of the UNU-WIDER Inequality in the Giants Project
More informationIntroduction to Game Theory. Lirong Xia
Introduction to Game Theory Lirong Xia Fall, 2016 Homework 1 2 Announcements ØWe will use LMS for submission and grading ØPlease just submit one copy ØPlease acknowledge your team mates 3 Ø Show the math
More informationECE250: Algorithms and Data Structures Trees
ECE250: Algorithms and Data Structures Trees Ladan Tahvildari, PEng, SMIEEE Professor Software Technologies Applied Research (STAR) Group Dept. of Elect. & Comp. Eng. University of Waterloo Materials from
More informationEstonian National Electoral Committee. E-Voting System. General Overview
Estonian National Electoral Committee E-Voting System General Overview Tallinn 2005-2010 Annotation This paper gives an overview of the technical and organisational aspects of the Estonian e-voting system.
More informationEstimating the Margin of Victory for Instant-Runoff Voting
Estimating the Margin of Victory for Instant-Runoff Voting David Cary Abstract A general definition is proposed for the margin of victory of an election contest. That definition is applied to Instant Runoff
More informationSpringerBriefs in Business
SpringerBriefs in Business For further volumes: http://www.springer.com/series/8860 Albert J. Lee Taxation, Growth and Fiscal Institutions A Political and Economic Analysis 123 Albert J. Lee Summit Consulting
More informationNorth Carolina and the Federal Budget Crisis
North Carolina and the Federal Budget Crisis Elon University Poll February 24-28, 2013 Kenneth E. Fernandez, Ph.D. Director of the Elon University Poll Assistant Professor of Political Science kfernandez@elon.edu
More informationInternet of Things Wireless Sensor Networks. Chenyang Lu
Internet of Things Wireless Sensor Networks Chenyang Lu Internet of Things Ø Convergence of q Miniaturized hardware: processor+sensors+wireless q Low-power wireless: connect millions of devices to the
More informationHoboken Public Schools. Algebra II Honors Curriculum
Hoboken Public Schools Algebra II Honors Curriculum Algebra Two Honors HOBOKEN PUBLIC SCHOOLS Course Description Algebra II Honors continues to build students understanding of the concepts that provide
More informationWorking Paper: The Effect of Electronic Voting Machines on Change in Support for Bush in the 2004 Florida Elections
Working Paper: The Effect of Electronic Voting Machines on Change in Support for Bush in the 2004 Florida Elections Michael Hout, Laura Mangels, Jennifer Carlson, Rachel Best With the assistance of the
More informationOverview. Ø Neural Networks are considered black-box models Ø They are complex and do not provide much insight into variable relationships
Neural Networks Overview Ø s are considered black-box models Ø They are complex and do not provide much insight into variable relationships Ø They have the potential to model very complicated patterns
More informationBlockmodels/Positional Analysis Implementation and Application. By Yulia Tyshchuk Tracey Dilacsio
Blockmodels/Positional Analysis Implementation and Application By Yulia Tyshchuk Tracey Dilacsio Articles O Wasserman and Faust Chapter 12 O O Bearman, Peter S. and Kevin D. Everett (1993). The Structure
More informationCombating Friend Spam Using Social Rejections
Combating Friend Spam Using Social Rejections Qiang Cao Duke University Michael Sirivianos Xiaowei Yang Kamesh Munagala Cyprus Univ. of Technology Duke University Duke University Friend Spam in online
More informationThe Effects of Housing Prices, Wages, and Commuting Time on Joint Residential and Job Location Choices
The Effects of Housing Prices, Wages, and Commuting Time on Joint Residential and Job Location Choices Kim S. So, Peter F. Orazem, and Daniel M. Otto a May 1998 American Agricultural Economics Association
More informationCHAPTER 5 SOCIAL INCLUSION LEVEL
CHAPTER 5 SOCIAL INCLUSION LEVEL Social Inclusion means involving everyone in the society, making sure all have equal opportunities in work or to take part in social activities. It means that no one should
More informationLecture 6 Cryptographic Hash Functions
Lecture 6 Cryptographic Hash Functions 1 Purpose Ø CHF one of the most important tools in modern cryptography and security Ø In crypto, CHF instantiates a Random Oracle paradigm Ø In security, used in
More informationRecommendations For Reddit Users Avideh Taalimanesh and Mohammad Aleagha Stanford University, December 2012
Recommendations For Reddit Users Avideh Taalimanesh and Mohammad Aleagha Stanford University, December 2012 Abstract In this paper we attempt to develop an algorithm to generate a set of post recommendations
More informationProving correctness of Stable Matching algorithm Analyzing algorithms Asymptotic running times
Objectives Proving correctness of Stable Matching algorithm Analyzing algorithms Asymptotic running times Wiki notes: Read after class; I am giving loose guidelines the point is to review and synthesize
More informationDANISH TECHNOLOGICAL INSTITUTE. Supporting Digital Literacy Public Policies and Stakeholder Initiatives. Topic Report 2.
Supporting Digital Literacy Public Policies and Stakeholder Initiatives Topic Report 2 Final Report Danish Technological Institute Centre for Policy and Business Analysis February 2009 1 Disclaimer The
More informationCOMPUTATIONAL CREATIVITY EVALUATION
COMPUTATIONAL CREATIVITY EVALUATION 29/11/17 1 OUTLINE WHY TO EVALUATE WHEN TO EVALUATE WHAT TO EVALUATE WHO SHOULD EVALUATE HOW TO EVALUATE 29/11/17 2 WHY TO EVALUATE A comparative, scientific evaluation
More informationA Bloom Filter Based Scalable Data Integrity Check Tool for Large-scale Dataset
A Bloom Filter Based Scalable Data Integrity Check Tool for Large-scale Dataset Sisi Xiong*, Feiyi Wang + and Qing Cao* *University of Tennessee Knoxville, Knoxville, TN, USA + Oak Ridge National Laboratory,
More informationUsing Poole s Optimal Classification in R
Using Poole s Optimal Classification in R January 22, 2018 1 Introduction This package estimates Poole s Optimal Classification scores from roll call votes supplied though a rollcall object from package
More informationIncumbency as a Source of Spillover Effects in Mixed Electoral Systems: Evidence from a Regression-Discontinuity Design.
Incumbency as a Source of Spillover Effects in Mixed Electoral Systems: Evidence from a Regression-Discontinuity Design Forthcoming, Electoral Studies Web Supplement Jens Hainmueller Holger Lutz Kern September
More informationComputational Inelasticity FHLN05. Assignment A non-linear elasto-plastic problem
Computational Inelasticity FHLN05 Assignment 2016 A non-linear elasto-plastic problem General instructions A written report should be submitted to the Division of Solid Mechanics no later than 1 November
More informationEstimating Global Migration Flow Tables Using Place of Birth Data
Estimating Global Migration Flow Tables Using Place of Birth Data Guy J. Abel Wittgenstein Centre for Demography and Global Human Capital, Vienna Institute of Demography, Austria October 2011 1 Introduction
More informationMidterm Review. EECS 2011 Prof. J. Elder - 1 -
Midterm Review - 1 - Topics on the Midterm Ø Data Structures & Object-Oriented Design Ø Run-Time Analysis Ø Linear Data Structures Ø The Java Collections Framework Ø Recursion Ø Trees Ø Priority Queues
More informationIceCube Project Monthly Report November 2007
Accomplishments IceCube Project Monthly Report November 2007 Completed the commissioning of the IceCube Seasonal Equipment Site in preparations for drilling. Started deep ice drilling on December 5 following
More information8AMBER WAVES VOLUME 2 ISSUE 3
8AMBER WAVES VOLUME 2 ISSUE 3 F E A T U R E William Kandel, USDA/ERS ECONOMIC RESEARCH SERVICE/USDA Rural s Employment and Residential Trends William Kandel wkandel@ers.usda.gov Constance Newman cnewman@ers.usda.gov
More informationConcurrent Programing: Why you should care, deeply. Don Porter Portions courtesy Emmett Witchel
Concurrent Programing: Why you should care, deeply Don Porter Portions courtesy Emmett Witchel 1 Uniprocessor Performance Not Scaling Performance (vs. VAX-11/780) 10000 1000 100 10 1 20% /year 52% /year
More informationM-Series, Actuator Overview. Machine Screw Cutaway. UNI-LIFT Machine Screw Actuators offer precise. 12
M-, Actuator Overview UNI-LIFT Machine Screw Actuators offer precise positioning, uniform lifting speeds and capacity up to 250 tons. Standard model configurations include upright or inverted units with
More informationAn Introduction to Voting Theory
An Introduction to Voting Theory Zajj Daugherty Adviser: Professor Michael Orrison December 29, 2004 Voting is something with which our society is very familiar. We vote in political elections on which
More informationCONCRETE: A benchmarking framework to CONtrol and Classify REpeatable Testbed Experiments
CONCRETE: A benchmarking framework to CONtrol and Classify REpeatable Testbed Experiments Stratos Keranidis* Wei Liu, Michael Mehari, Pieter Becue, Stefan Bouckaert, Ingrid Moerman, Thanasis Korakis*,
More informationVolume I Appendix A. Table of Contents
Volume I, Appendix A Table of Contents Glossary...A-1 i Volume I Appendix A A Glossary Absentee Ballot Acceptance Test Ballot Configuration Ballot Counter Ballot Counting Logic Ballot Format Ballot Image
More informationOn the Determinants of Global Bilateral Migration Flows
On the Determinants of Global Bilateral Migration Flows Jesus Crespo Cuaresma Mathias Moser Anna Raggl Preliminary Draft, May 2013 Abstract We present a method aimed at estimating global bilateral migration
More informationHoboken Public Schools. Project Lead The Way Curriculum Grade 8
Hoboken Public Schools Project Lead The Way Curriculum Grade 8 Project Lead The Way HOBOKEN PUBLIC SCHOOLS Course Description PLTW Gateway s 9 units empower students to lead their own discovery. The hands-on
More informationCloning in Elections 1
Cloning in Elections 1 Edith Elkind, Piotr Faliszewski, and Arkadii Slinko Abstract We consider the problem of manipulating elections via cloning candidates. In our model, a manipulator can replace each
More informationCHE 572: Modelling Process Dynamics
Winter 2011 Instructor: Dr. J. Fraser Forbes office: ECERF 7-022 phone: (780) 492-0873 email: fraser.forbes@ualberta.ca office hours: Most days TA: office: email: Ms. Leily Mohammadi NREF 4 th Floor leily@ualberta.ca
More informationNovember 15-18, 2013 Open Government Survey
November 15-18, 2013 Open Government Survey 1 Table of Contents EXECUTIVE SUMMARY... 3 TOPLINE... 6 DEMOGRAPHICS... 14 CROSS-TABULATIONS... 15 Trust: Federal Government... 15 Trust: State Government...
More informationImpact Of Economic Freedom On Economic Development: A Nonparametric Approach To Evaluation
Impact Of Economic Freedom On Economic Development: A Nonparametric Approach To Evaluation Andrea Vondrová, Ing., PhD Elena Fifeková, Ing., PhD University of Economics, Faculty of National Economy, Department
More informationFrom Meander Designs to a Routing Application Using a Shape Grammar to Cellular Automata Methodology
From Meander Designs to a Routing Application Using a Shape Grammar to Cellular Automata Methodology Thomas H. Speller, Jr. Systems Engineering and Operations Research Department Volgenau School of Engineering
More information