Exploring QR Factorization on GPU for Quantum Monte Carlo Simulation

Size: px
Start display at page:

Download "Exploring QR Factorization on GPU for Quantum Monte Carlo Simulation"

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

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 information

HPCG on Tianhe2. Yutong Lu 1,Chao Yang 2, Yunfei Du 1

HPCG 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 information

Performance & Energy

Performance & 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 information

4th 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 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 information

CS 5523: Operating Systems

CS 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 information

Cyber-Physical Systems Scheduling

Cyber-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 information

File Systems: Fundamentals

File 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 information

Final Review. Chenyang Lu. CSE 467S Embedded Compu5ng Systems

Final 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 information

CSE 520S Real-Time Systems

CSE 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 information

Appendix 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 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 information

Adaptive QoS Control for Real-Time Systems

Adaptive 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 information

Processes. Criteria for Comparing Scheduling Algorithms

Processes. 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 information

Instructors: Tengyu Ma and Chris Re

Instructors: 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 information

Chapter 8: Recursion

Chapter 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 information

Tengyu 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) 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 information

An Integer Linear Programming Approach for Coalitional Weighted Manipulation under Scoring Rules

An 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 information

A comparative analysis of subreddit recommenders for Reddit

A 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 information

Biogeography-Based Optimization Combined with Evolutionary Strategy and Immigration Refusal

Biogeography-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 information

Real-Time Scheduling Single Processor. Chenyang Lu

Real-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 information

Analyzing and Representing Two-Mode Network Data Week 8: Reading Notes

Analyzing 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 information

CS 5523 Operating Systems: Intro to Distributed Systems

CS 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 information

Support Vector Machines

Support 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 information

Users reading habits in online news portals

Users 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 information

Tengyu 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) 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 information

Computational challenges in analyzing and moderating online social discussions

Computational 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 information

Fall Detection for Older Adults with Wearables. Chenyang Lu

Fall 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 information

Digital research data in the Sigma2 prospective

Digital 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 information

Probabilistic Latent Semantic Analysis Hofmann (1999)

Probabilistic 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 information

Quality of Service in Optical Telecommunication Networks

Quality 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 information

Learning 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 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 information

Learning 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 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 information

Cloud 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 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 information

Planning versus Free Choice in Scientific Research

Planning 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 information

Case 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 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 information

Tie 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. 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 information

Batch 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 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 information

Comparison of the Psychometric Properties of Several Computer-Based Test Designs for. Credentialing Exams

Comparison 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 information

A Micro-Benchmark Evaluation of Catamount and Cray Linux Environment (CLE) Performance

A 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 information

IceCube Project Monthly Report - September 2010

IceCube 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 information

Real-Time Wireless Control Networks for Cyber-Physical Systems

Real-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 information

TAFTW (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) 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 information

Online Appendices for Moving to Opportunity

Online 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 information

Real- Time Wireless Control Networks for Cyber- Physical Systems

Real- 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 information

Introduction to Path Analysis: Multivariate Regression

Introduction 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 information

PROJECTING THE LABOUR SUPPLY TO 2024

PROJECTING 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 information

Annual 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 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 information

Hoboken Public Schools. PLTW Introduction to Computer Science Curriculum

Hoboken 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 information

Rock the Vote or Vote The Rock

Rock 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 information

Hoboken Public Schools. Algebra I Curriculum

Hoboken 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 information

A Calculus for End-to-end Statistical Service Guarantees

A 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 information

A kernel-oriented algorithm for transmission expansion planning

A 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 information

Polydisciplinary Faculty of Larache Abdelmalek Essaadi University, MOROCCO 3 Department of Mathematics and Informatics

Polydisciplinary 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 information

Chapter 11. Weighted Voting Systems. For All Practical Purposes: Effective Teaching

Chapter 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 information

Cluster Analysis. (see also: Segmentation)

Cluster 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 information

Identifying Factors in Congressional Bill Success

Identifying 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 information

LPGPU. 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. 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 information

Real-Time CORBA. Chenyang Lu CSE 520S

Real-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 information

Job approval in North Carolina N=770 / +/-3.53%

Job 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 information

Servilla: Service Provisioning in Wireless Sensor Networks. Chenyang Lu

Servilla: 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 information

Essential Questions Content Skills Assessments Standards/PIs. Identify prime and composite numbers, GCF, and prime factorization.

Essential 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 information

Levels and Dynamics of Inequality in India: Filling in the blanks

Levels 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 information

Introduction to Game Theory. Lirong Xia

Introduction 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 information

ECE250: Algorithms and Data Structures Trees

ECE250: 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 information

Estonian National Electoral Committee. E-Voting System. General Overview

Estonian 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 information

Estimating the Margin of Victory for Instant-Runoff Voting

Estimating 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 information

SpringerBriefs in Business

SpringerBriefs 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 information

North Carolina and the Federal Budget Crisis

North 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 information

Internet of Things Wireless Sensor Networks. Chenyang Lu

Internet 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 information

Hoboken Public Schools. Algebra II Honors Curriculum

Hoboken 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 information

Working 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 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 information

Overview. Ø Neural Networks are considered black-box models Ø They are complex and do not provide much insight into variable relationships

Overview. Ø 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 information

Blockmodels/Positional Analysis Implementation and Application. By Yulia Tyshchuk Tracey Dilacsio

Blockmodels/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 information

Combating Friend Spam Using Social Rejections

Combating 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 information

The 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 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 information

CHAPTER 5 SOCIAL INCLUSION LEVEL

CHAPTER 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 information

Lecture 6 Cryptographic Hash Functions

Lecture 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 information

Recommendations 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 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 information

Proving correctness of Stable Matching algorithm Analyzing algorithms Asymptotic running times

Proving 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 information

DANISH TECHNOLOGICAL INSTITUTE. Supporting Digital Literacy Public Policies and Stakeholder Initiatives. Topic Report 2.

DANISH 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 information

COMPUTATIONAL CREATIVITY EVALUATION

COMPUTATIONAL 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 information

A 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 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 information

Using Poole s Optimal Classification in R

Using 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 information

Incumbency 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. 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 information

Computational Inelasticity FHLN05. Assignment A non-linear elasto-plastic problem

Computational 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 information

Estimating Global Migration Flow Tables Using Place of Birth Data

Estimating 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 information

Midterm Review. EECS 2011 Prof. J. Elder - 1 -

Midterm 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 information

IceCube Project Monthly Report November 2007

IceCube 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 information

8AMBER WAVES VOLUME 2 ISSUE 3

8AMBER 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 information

Concurrent 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 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 information

M-Series, Actuator Overview. Machine Screw Cutaway. UNI-LIFT Machine Screw Actuators offer precise. 12

M-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 information

An Introduction to Voting Theory

An 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 information

CONCRETE: A benchmarking framework to CONtrol and Classify REpeatable Testbed Experiments

CONCRETE: 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 information

Volume I Appendix A. Table of Contents

Volume 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 information

On the Determinants of Global Bilateral Migration Flows

On 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 information

Hoboken Public Schools. Project Lead The Way Curriculum Grade 8

Hoboken 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 information

Cloning in Elections 1

Cloning 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 information

CHE 572: Modelling Process Dynamics

CHE 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 information

November 15-18, 2013 Open Government Survey

November 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 information

Impact Of Economic Freedom On Economic Development: A Nonparametric Approach To Evaluation

Impact 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 information

From 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 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