UCB CS61C : Machine Structures

Size: px
Start display at page:

Download "UCB CS61C : Machine Structures"

Transcription

1 inst.eecs.berkeley.edu/~csc UCB CSC : Machine Structures Guest Lecturer Alan Christopher Lecture Caches II -- MEMRISTOR MEMORY ON ITS WAY (HOPEFULLY) HP has begun testing research prototypes of a novel non-volatile memory element, the memristor. They have double the storage density of flash, and has x more read-write cycles than flash ( vs ). Memristors are (in principle) also capable of being memory and logic, how cool is that? Originally slated to be ready by, HP later pushed that date to some time.

2 Review: New-School Machine Structures Instruction Unit(s) Parallel Requests Assigned to computer e.g., Search Katz Parallel Threads Assigned to core e.g., Lookup, Ads Parallel Instructions > one time e.g., pipelined instructions Parallel Data > data one time e.g., Add of pairs of words Hardware descriptions All one time Programming Languages Core Memory Input/Output Cache Memory (Cache) Core Functional Unit(s)

3 Review: Direct-Mapped Cache All fields are read as unsigned integers. Index Tag Offset specifies the cache index (or row /block) distinguishes betw the addresses that map to the same location specifies which byte within the block we want tttttttttttttttttt iiiiiiiiii oooo tag index byte to check to offset if have select within correct block block block CSC L Caches II ()

4 TIO Dan s great cache mnemonic AREA (cache size, B) = HEIGHT (# of blocks) * WIDTH (size of one block, B/block) Tag Index Offset (H+W) = H * W WIDTH (size of one block, B/block) Addr size (often bits) HEIGHT (# of blocks) AREA (cache size, B) CSC L Caches II ()

5 Memory Access without Cache Load word instruction: lw $t, ($t) $t contains ten, Memory[] = 99. Processor issues address ten to Memory. Memory reads word at address ten (99). Memory sends 99 to Processor. Processor loads 99 into register $t CSC L Caches II ()

6 Memory Access with Cache Load word instruction: lw $t, ($t) $t contains ten, Memory[] = 99 With cache (similar to a hash). Processor issues address ten to Cache. Cache checks to see if has copy of data at address ten a. If finds a match (Hit): cache reads 99, sends to processor b. No match (Miss): cache sends address to Memory I. Memory reads 99 at address ten II. Memory sends 99 to Cache III. Cache replaces word with new 99 IV. Cache sends 99 to processor. Processor loads 99 into register $t CSC L Caches II ()

7 Caching Terminology When reading memory, things can happen: cache hit: cache block is valid and contains proper address, so read desired word cache miss: nothing in cache in appropriate block, so fetch from memory cache miss, block replacement: wrong data is in cache at appropriate block, so discard it and fetch desired data from memory (cache always copy) CSC L Caches II ()

8 Cache Terms Hit rate: fraction of access that hit in the cache Miss rate: Hit rate Miss penalty: time to replace a block from lower level in memory hierarchy to cache Hit time: time to access cache memory (including tag comparison) Abbreviation: $ = cache (A Berkeley innovation!) CSC L Caches II (8)

9 Accessing data in a direct mapped cache Ex.: KB of data, direct-mapped, word blocks Can you work out height, width, area? Read addresses. x. xc. x. x8 Memory vals here: CSC L Caches II (9) Memory Address (hex) Value of Word 8 C 8 C C

10 Accessing data in a direct mapped cache Addresses: x, xc, x, x8 Addresses divided (for convenience) into Tag, Index, Byte Offset fields Tag Index Offset CSC L Caches II ()

11 KB Direct Mapped Cache, B blocks Valid bit: determines whether anything is stored in that row (when computer initially turned on, all entries invalid) xc-f x8-b x- x- CSC L Caches II ()

12 . Read x xc-f x8-b x- x- CSC L Caches II ()

13 So we read block () xc-f x8-b x- x- CSC L Caches II ()

14 No valid data xc-f x8-b x- x- CSC L Caches II ()

15 So load that data into cache, setting tag, valid xc-f x8-b x- x- CSC L Caches II ()

16 Read from cache at offset, return word b xc-f x8-b x- x- CSC L Caches II ()

17 . Read xc =.. xc-f x8-b x- x- CSC L Caches II ()

18 Index is Valid xc-f x8-b x- x- CSC L Caches II (8)

19 Index valid, Tag Matches xc-f x8-b x- x- CSC L Caches II (9)

20 Index Valid, Tag Matches, return d xc-f x8-b x- x- CSC L Caches II ()

21 . Read x =.. xc-f x8-b x- x- CSC L Caches II ()

22 So read block xc-f x8-b x- x- CSC L Caches II ()

23 No valid data xc-f x8-b x- x- CSC L Caches II ()

24 Load that cache block, return word f xc-f x8-b x- x- CSC L Caches II ()

25 . Read x8 =.. xc-f x8-b x- x- CSC L Caches II ()

26 So read Cache Block, Data is Valid xc-f x8-b x- x- CSC L Caches II ()

27 Cache Block Tag does not match (!= ) xc-f x8-b x- x- CSC L Caches II ()

28 Miss, so replace block with new data & tag xc-f x8-b x- x- CSC L Caches II (8)

29 And return word J xc-f x8-b x- x- CSC L Caches II (9)

30 Do an example yourself. What happens? Chose from: Cache: Hit, Miss, Miss w. replace Values returned: a,b, c, d, e,..., k, l Read address x? Read address xc? xc-f x8-b x- x- CSC L Caches II ()

31 Answers x a hit Index =, Tag matches, Offset =, value = e xc a miss Index =, Tag mismatch, so replace from memory, Offset = xc, value = d Since reads, values must = memory values whether or not cached: x = e xc = d Memory Address (hex) Value of Word 8 C 8 C C CSC L Caches II ()

32 Administrivia Proj - due Sunday CSC L Caches II ()

33 Multiword-Block Direct-Mapped Cache Four words/block, cache size = K words

34 Peer Instruction ) Mem hierarchies were invented before 9. (UNIVAC I wasn t delivered til 9) ) All caches take advantage of spatial locality. ) All caches take advantage of temporal locality. CSC L Caches II () a) FFF a) FFT b) FTF b) FTT c) TFF d) TFT e) TTF e) TTT

35 And in Conclusion Mechanism for transparent movement of data among levels of a storage hierarchy set of address/value bindings address index to set of candidates compare desired address with tag service hit or miss load new block and binding on miss address: tag index offset xc-f x8-b x- x- CSC L Caches II ()

Recursive Mergesort. CSE 589 Applied Algorithms Spring Merging Pattern of Recursive Mergesort. Mergesort Call Tree. Reorder the Merging Steps

Recursive Mergesort. CSE 589 Applied Algorithms Spring Merging Pattern of Recursive Mergesort. Mergesort Call Tree. Reorder the Merging Steps Recursive Mergesort CSE 589 Applied Algorithms Spring 1999 Cache Performance Mergesort Heapsort A[1n] is to be sorted; B[1n] is an auxiliary array; Mergesort(i,j) {sorts the subarray A[ij] } if i < j then

More information

Intel x86 Jump Instructions. Part 5. JMP address. Operations: Program Flow Control. Operations: Program Flow Control.

Intel x86 Jump Instructions. Part 5. JMP address. Operations: Program Flow Control. Operations: Program Flow Control. Part 5 Intel x86 Jump Instructions Control Logic Fly over code Operations: Program Flow Control Operations: Program Flow Control Unlike high-level languages, processors don't have fancy expressions or

More information

Intel x86 Jump Instructions. Part 6. JMP address. Operations: Program Flow Control. Operations: Program Flow Control.

Intel x86 Jump Instructions. Part 6. JMP address. Operations: Program Flow Control. Operations: Program Flow Control. Part 6 Intel x86 Jump Instructions Control Logic Fly over code Operations: Program Flow Control Operations: Program Flow Control Unlike high-level languages, processors don't have fancy expressions or

More information

Excel Lesson 3 page 1 April 15

Excel Lesson 3 page 1 April 15 Excel Lesson 3 page 1 April 15 Monday 4/13/15 We begin today's lesson with the $ symbol, one of the biggest hurdles for Excel users. Let us learn about the $ symbol in the context of what I call the Classic

More information

Dusko Pavlovic. University of Twente. November Logics of Authentication, Lieing and Obscurity. Dusko Pavlovic. Question.

Dusko Pavlovic. University of Twente. November Logics of Authentication, Lieing and Obscurity. Dusko Pavlovic. Question. , and, and University of Twente November 2012 , and Can a lie be recognized by its grammatical form? Online banking protocol, and Neolithic authentication (Uruq 3700 BC), and An even older security protocol,

More information

Overview of the ATLAS Fast Tracker (FTK) (daughter of the very successful CDF SVT) July 24, 2008 M. Shochet 1

Overview of the ATLAS Fast Tracker (FTK) (daughter of the very successful CDF SVT) July 24, 2008 M. Shochet 1 Overview of the ATLAS Fast Tracker (FTK) (daughter of the very successful CDF SVT) July 24, 2008 M. Shochet 1 What is it for? At the LHC design accelerator intensity: New phenomena: 0.05 Hz Total interaction

More information

Test Item File. Full file at

Test Item File. Full file at Test Item File 107 CHAPTER 1 Chapter 1: Basic Logical Concepts Multiple Choice 1. In which of the following subjects is reasoning outside the concern of logicians? A) science and medicine B) ethics C)

More information

Bigdata High Availability Quorum Design

Bigdata High Availability Quorum Design Bigdata High Availability Quorum Design Bigdata High Availability Quorum Design... 1 Introduction... 2 Overview... 2 Shared nothing... 3 Shared disk... 3 Quorum Dynamics... 4 Write pipeline... 5 Voting...

More information

1. Introduction Formal deductive logic Overview

1. Introduction Formal deductive logic Overview 1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special

More information

Today s Lecture 1/28/10

Today s Lecture 1/28/10 Chapter 7.1! Symbolizing English Arguments! 5 Important Logical Operators!The Main Logical Operator Today s Lecture 1/28/10 Quiz State from memory (closed book and notes) the five famous valid forms and

More information

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last

More information

Quorums. Christian Plattner, Gustavo Alonso Exercises for Verteilte Systeme WS05/06 Swiss Federal Institute of Technology (ETH), Zürich

Quorums. Christian Plattner, Gustavo Alonso Exercises for Verteilte Systeme WS05/06 Swiss Federal Institute of Technology (ETH), Zürich Quorums Christian Plattner, Gustavo Alonso Exercises for Verteilte Systeme WS05/06 Swiss Federal Institute of Technology (ETH), Zürich {plattner,alonso}@inf.ethz.ch 20.01.2006 Setting: A Replicated Database

More information

LDS Records Exercise

LDS Records Exercise LDS Records Exercise Go to wiki.familysearch.org. On the RESEARCH WIKI page do a search for lds records Browse the results to survey what might be useful to you in the future. Click Tracing LDS Ancestors.

More information

Logic and Thought Experiments. 9th September Carnegie Mellon University. Introduction to Philosophy. Evaluating Arguments. Thought Experiments

Logic and Thought Experiments. 9th September Carnegie Mellon University. Introduction to Philosophy. Evaluating Arguments. Thought Experiments Introduction Logic and Carnegie Mellon University 9th September 2015 Writing Assignments and Readings In this course we re going to be doing a lot of reading. As per the syllabus, you should be sure to

More information

PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF?

PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF? PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF? Andreas J. Stylianides*, Gabriel J. Stylianides*, & George N. Philippou**

More information

Kant Lecture 4 Review Synthetic a priori knowledge

Kant Lecture 4 Review Synthetic a priori knowledge Kant Lecture 4 Review Synthetic a priori knowledge Statements involving necessity or strict universality could never be known on the basis of sense experience, and are thus known (if known at all) a priori.

More information

P2P Content Distribution BitTorrent and Spotify

P2P Content Distribution BitTorrent and Spotify P2P Content Distribution BitTorrent and Spotify Amir H. Payberah amir@sics.se Amirkabir University of Technology (Tehran Polytechnic) Amir H. Payberah (Tehran Polytechnic) P2P Content Distribution 1393/8/27

More information

Subjective Logic: Logic as Rational Belief Dynamics. Richard Johns Department of Philosophy, UBC

Subjective Logic: Logic as Rational Belief Dynamics. Richard Johns Department of Philosophy, UBC Subjective Logic: Logic as Rational Belief Dynamics Richard Johns Department of Philosophy, UBC johns@interchange.ubc.ca May 8, 2004 What I m calling Subjective Logic is a new approach to logic. Fundamentally

More information

Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I

Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I By Ghada Al-Mashaqbeh The Hashemite University Computer Engineering Department Outline Introduction. Boolean variables and truth tables. Fundamental

More information

Revista Economică 66:3 (2014) THE USE OF INDUCTIVE, DEDUCTIVE OR ABDUCTIVE RESONING IN ECONOMICS

Revista Economică 66:3 (2014) THE USE OF INDUCTIVE, DEDUCTIVE OR ABDUCTIVE RESONING IN ECONOMICS THE USE OF INDUCTIVE, DEDUCTIVE OR ABDUCTIVE RESONING IN ECONOMICS MOROŞAN Adrian 1 Lucian Blaga University, Sibiu, Romania Abstract Although we think that, regardless of the type of reasoning used in

More information

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown

More information

INTERMEDIATE LOGIC Glossary of key terms

INTERMEDIATE LOGIC Glossary of key terms 1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include

More information

Lazy Functional Programming for a survey

Lazy Functional Programming for a survey Lazy Functional Programming for a survey Norman Ramsey Tufts November 2012 Book: Programming languages for practitioners Why? For people who will write code Gives future practitioners something to do I

More information

MiNRS Discussion Questions & Responding to Quotes / Passages

MiNRS Discussion Questions & Responding to Quotes / Passages Chapter 1 - Calculations The Great Mission is Everyone s Mission. You are what makes it great. Melming Mining is a green company. Remember to always compost your water Put people ahead of profit Safety

More information

Name: ELA 12: Summer Reading Project. The Curious Incident of the Dog in the Nighttime by Mark Haddon

Name: ELA 12: Summer Reading Project. The Curious Incident of the Dog in the Nighttime by Mark Haddon Name: ELA 12: Summer Reading Project The Curious Incident of the Dog in the Nighttime by Mark Haddon Directions: Read! As you read, you will be responsible for completing the following: 1. Record six quotations

More information

Beyond Symbolic Logic

Beyond Symbolic Logic Beyond Symbolic Logic 1. The Problem of Incompleteness: Many believe that mathematics can explain *everything*. Gottlob Frege proposed that ALL truths can be captured in terms of mathematical entities;

More information

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras (Refer Slide Time: 00:26) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 06 State Space Search Intro So, today

More information

Lecture 4: Deductive Validity

Lecture 4: Deductive Validity Lecture 4: Deductive Validity Right, I m told we can start. Hello everyone, and hello everyone on the podcast. This week we re going to do deductive validity. Last week we looked at all these things: have

More information

Can a Machine Think? Christopher Evans (1979) Intro to Philosophy Professor Douglas Olena

Can a Machine Think? Christopher Evans (1979) Intro to Philosophy Professor Douglas Olena Can a Machine Think? Christopher Evans (1979) Intro to Philosophy Professor Douglas Olena First Questions 403-404 Will there be a machine that will solve problems that no human can? Could a computer ever

More information

Module Who am I? Who are you? Lesson 5 Tutorial - Beliefs

Module Who am I? Who are you? Lesson 5 Tutorial - Beliefs Slide Purpose of Beliefs Organize the world in meaningful ways Provide a sense of self Assist in initiating behavior / actions Facilitate accomplishment of goals Regulate emotional centers of brain Allow

More information

24.09 Minds and Machines Fall 11 HASS-D CI

24.09 Minds and Machines Fall 11 HASS-D CI 24.09 Minds and Machines Fall 11 HASS-D CI free will again summary final exam info Image by MIT OpenCourseWare. 24.09 F11 1 the first part of the incompatibilist argument Image removed due to copyright

More information

Initiative. Leadership. Organisation. Communication. Resilience. PiXL Edge Evaluation Tips. Attribute. Buzzwords

Initiative. Leadership. Organisation. Communication. Resilience. PiXL Edge Evaluation Tips. Attribute. Buzzwords PiXL Edge Evaluation Tips Attribute Initiative Leadership Organisation Communication Resilience Buzzwords What is Initiative? Inventiveness, Enterprise, Resourcefulness, Creative, Innovative, Imaginative,

More information

DNA, Information, and the Signature in the Cell

DNA, Information, and the Signature in the Cell DNA, Information, and the Signature in the Cell Where Did We Come From? Where did we come from? A simple question, but not an easy answer. Darwin addressed this question in his book, On the Origin of Species.

More information

Continuum for Opinion/Argument Writing Sixth Grade Updated 10/4/12 Grade 5 (2 points)

Continuum for Opinion/Argument Writing Sixth Grade Updated 10/4/12 Grade 5 (2 points) Grade 4 Structure Overall Lead Transitions I made a claim about a topic or a text and tried to support my reasons. I wrote a few sentences to hook my reader. I may have done this by asking a question,

More information

Radiomics for Disease Characterization: An Outcome Prediction in Cancer Patients

Radiomics for Disease Characterization: An Outcome Prediction in Cancer Patients Radiomics for Disease Characterization: An Outcome Prediction in Cancer Patients Magnuson, S. J., Peter, T. K., and Smith, M. A. Department of Biostatistics University of Iowa July 19, 2018 Magnuson, Peter,

More information

! Introduction to the Class! Some Introductory Concepts. Today s Lecture 1/19/10

! Introduction to the Class! Some Introductory Concepts. Today s Lecture 1/19/10 ! Introduction to the Class! Some Introductory Concepts Today s Lecture 1/19/10 Philosophy 230! Introduction to Formal Logic! Ticket # 13823 Adding the Class See me after class to be put on a waiting list.

More information

A Detailed Review of the Liturgical Rites and Norms Pertaining to Catechumens and Candidates in RCIA

A Detailed Review of the Liturgical Rites and Norms Pertaining to Catechumens and Candidates in RCIA A Detailed Review of the Liturgical Rites and Norms Pertaining to Catechumens and Candidates in RCIA Prepared by the Office of Worship, Diocese of Fort Wayne-South Bend CATECHUMENS / ELECT Catechumens

More information

A. Problem set #3 it has been posted and is due Tuesday, 15 November

A. Problem set #3 it has been posted and is due Tuesday, 15 November Lecture 9: Propositional Logic I Philosophy 130 1 & 3 November 2016 O Rourke & Gibson I. Administrative A. Problem set #3 it has been posted and is due Tuesday, 15 November B. I am working on the group

More information

Big Data: Pig Latin. P.J. McBrien. Imperial College London. P.J. McBrien (Imperial College London) Big Data: Pig Latin 1 / 44

Big Data: Pig Latin. P.J. McBrien. Imperial College London. P.J. McBrien (Imperial College London) Big Data: Pig Latin 1 / 44 Big Data: P.J. McBrien Imperial College London P.J. McBrien (Imperial College London) Big Data: 1 / 44 Introduction Scale Up 1GB 1TB 1PB Scale Up As the amount of data increase, buy a larger computer to

More information

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied

More information

God Called Jeremiah. 1 st 4 th Grade Teacher Guide

God Called Jeremiah. 1 st 4 th Grade Teacher Guide God Called Jeremiah 1 st 4 th Grade Teacher Guide Bible Passage: Jeremiah 1 Main Point: God wants to use you to tell others about Him! Memory Verse: Jeremiah 1:5b Before you were born, I set you apart

More information

ABB STOTZ-KONTAKT GmbH ABB i-bus KNX DGN/S DALI Gateway for emergency lighting

ABB STOTZ-KONTAKT GmbH ABB i-bus KNX DGN/S DALI Gateway for emergency lighting STO/GM December 2011 ABB STOTZ-KONTAKT GmbH ABB i-bus KNX DGN/S 1.16.1 DALI Gateway for emergency lighting STO/G - Slide 1 DALI Gateway Emergency Lighting DGN/S 1.16.1 DALI Standard EN 62386-100 Normal

More information

OPENRULES. Tutorial. Determine Patient Therapy. Decision Model. Open Source Business Decision Management System. Release 6.0

OPENRULES. Tutorial. Determine Patient Therapy. Decision Model. Open Source Business Decision Management System. Release 6.0 OPENRULES Open Source Business Decision Management System Release 6.0 Decision Model Determine Patient Therapy Tutorial OpenRules, Inc. www.openrules.org March-2010 Table of Contents Introduction... 3

More information

1.2. What is said: propositions

1.2. What is said: propositions 1.2. What is said: propositions 1.2.0. Overview In 1.1.5, we saw the close relation between two properties of a deductive inference: (i) it is a transition from premises to conclusion that is free of any

More information

Over My Head. I. Introduction.

Over My Head. I. Introduction. Over My Head I. Introduction. a. This morning s sermon. i. I want to talk about some things that are over my head. ii. When we use that phrase, we re usually talking about things that are too hard for

More information

CSC290 Communication Skills for Computer Scientists

CSC290 Communication Skills for Computer Scientists CSC290 Communication Skills for Computer Scientists Lisa Zhang Lecture 2; Sep 17, 2018 Announcements Blog post #1 due Sunday 8:59pm Submit a link to your blog post on MarkUs (should be operational next

More information

Cultural Relativism 1

Cultural Relativism 1 Cultural Relativism 1 Outline Introduction: Cultural differences: the lesson to take The Cultural Difference Argument Against Cultural Relativism Lessons and Conclusion 2 Cultural Differences: The Lesson

More information

PHLA10 Reason and Truth Exercise 1

PHLA10 Reason and Truth Exercise 1 Y e P a g e 1 Exercise 1 Pg. 17 1. When is an idea or statement valid? (trick question) A statement or an idea cannot be valid; they can only be true or false. Being valid or invalid are properties of

More information

Focus on the underlined parts of the transcript which highlight the key words and phrases needed to answer the questions correctly.

Focus on the underlined parts of the transcript which highlight the key words and phrases needed to answer the questions correctly. ipass IELTS Listening Test Practice Part 3 (qus 21-30) ocus on the underlined parts of the transcript which highlight the key words and phrases needed to answer the questions correctly. ale Hi Jill, how

More information

Question Answering. CS486 / 686 University of Waterloo Lecture 23: April 1 st, CS486/686 Slides (c) 2014 P. Poupart 1

Question Answering. CS486 / 686 University of Waterloo Lecture 23: April 1 st, CS486/686 Slides (c) 2014 P. Poupart 1 Question Answering CS486 / 686 University of Waterloo Lecture 23: April 1 st, 2014 CS486/686 Slides (c) 2014 P. Poupart 1 Question Answering Extension to search engines CS486/686 Slides (c) 2014 P. Poupart

More information

Functionalism and the Chinese Room. Minds as Programs

Functionalism and the Chinese Room. Minds as Programs Functionalism and the Chinese Room Minds as Programs Three Topics Motivating Functionalism The Chinese Room Example Extracting an Argument Motivating Functionalism Born of failure, to wit the failures

More information

SUMMARY COMPARISON of 6 th grade Math texts approved for 2007 local Texas adoption

SUMMARY COMPARISON of 6 th grade Math texts approved for 2007 local Texas adoption How much do these texts stress... reinventing more efficiently memorized? calculator dependence over mental training? estimation over exact answers? ; develops concepts incrementally suggested for 34 problems,

More information

Truth-Functional Propositional Logic

Truth-Functional Propositional Logic by Sidney Felder Truth-functional propositional logic is the simplest and expressively weakest member of the class of deductive systems designed to capture the various valid arguments and patterns of reasoning

More information

Smith Waterman Algorithm - Performance Analysis

Smith Waterman Algorithm - Performance Analysis Smith Waterman Algorithm - Performance Analysis Armin Bundle Department of Computer Science University of Erlangen Seminar mucosim SS 2016 Smith Waterman Algorithm - Performance Analysis Seminar mucosim

More information

Laura Snyder: The Philosophical Breakfast Club

Laura Snyder: The Philosophical Breakfast Club Laura Snyder: The Philosophical Breakfast Club Website I'd like you to come back with me for a moment to the 19th century, specifically to June 24, 1833. The British Association for the Advancement of

More information

Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:

Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to: Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying

More information

Haibin Shu Founder and Principal Consultant. April 19, 2017

Haibin Shu Founder and Principal Consultant. April 19, 2017 How to Ensure Your Topline Results Are Correct? Haibin Shu Founder and Principal Consultant April 19, 2017 Disclaimer Thanks PhilaSUG for the opportunity PhilaSUG 4/19/2017 2 Disclaimer Thanks PhilaSUG

More information

Northern Seminary OT 301B THE PENTATEUCH (ONLINE) Winter 2016 Jason Gile, Ph.D. Affiliate Professor of Old Testament

Northern Seminary OT 301B THE PENTATEUCH (ONLINE) Winter 2016 Jason Gile, Ph.D. Affiliate Professor of Old Testament Northern Seminary OT 301B THE PENTATEUCH (ONLINE) Winter 2016 Jason Gile, Ph.D. Affiliate Professor of Old Testament jgile@faculty.seminary.edu COURSE DESCRIPTION Part B of this course will continue to

More information

Portofolio Transcript

Portofolio Transcript Certificate of Theology The Certificate of Theology (C.Th.) is granted for demonstration of initial competencies associated with doing biblical theology and theology in culture. A Portfolio System is used

More information

Lecture 3. I argued in the previous lecture for a relationist solution to Frege's puzzle, one which

Lecture 3. I argued in the previous lecture for a relationist solution to Frege's puzzle, one which 1 Lecture 3 I argued in the previous lecture for a relationist solution to Frege's puzzle, one which posits a semantic difference between the pairs of names 'Cicero', 'Cicero' and 'Cicero', 'Tully' even

More information

COACHING THE BASICS: WHAT IS AN ARGUMENT?

COACHING THE BASICS: WHAT IS AN ARGUMENT? COACHING THE BASICS: WHAT IS AN ARGUMENT? Some people think that engaging in argument means being mad at someone. That s one use of the word argument. In debate we use a far different meaning of the term.

More information

Teacher BIBLE STUDY. Older Kids Bible Study Leader Guide Unit 1 Session LifeWay Christian Resources

Teacher BIBLE STUDY. Older Kids Bible Study Leader Guide Unit 1 Session LifeWay Christian Resources 3rd-5th Grade (Both Hours) January 27, 2013 Teacher BIBLE STUDY Following the flood, God wanted to have a fresh start. God commanded Noah in Genesis 9:1 to Be fruitful and multiply and fill the earth.

More information

The Cross August 26, 2018

The Cross August 26, 2018 The Cross August 26, 2018 Series, Gospel Community: Living in Unity Pastor Matt Whiteford 1 Corinthians 1:18-31 I. Introduction A. The problem: Division over who was the best leader/teacher B. The cross

More information

Worksheet Exercise 1.1. Logic Questions

Worksheet Exercise 1.1. Logic Questions Worksheet Exercise 1.1. Logic Questions Date Study questions. These questions do not have easy answers. (But that doesn't mean that they have no answers.) Just think about these issues. There is no particular

More information

correlated to the North Carolina Social Studies Standard Course of Study for Africa, Asia and Australia and Skills Competency Goals

correlated to the North Carolina Social Studies Standard Course of Study for Africa, Asia and Australia and Skills Competency Goals correlated to the North Carolina Social Studies Standard Course of Study for Africa, Asia and Australia 6/2002 2003 Introduction to World Cultures and Geography: Eastern Hemisphere World Cultures and Geography:

More information

Commentary on Sample Test (May 2005)

Commentary on Sample Test (May 2005) National Admissions Test for Law (LNAT) Commentary on Sample Test (May 2005) General There are two alternative strategies which can be employed when answering questions in a multiple-choice test. Some

More information

PASTORAL GUIDELINES. Chapter Five: Office of Sanctification. Appendix PASTORAL IMPLEMENTATION OF SACRAMENTS OF INITIATION

PASTORAL GUIDELINES. Chapter Five: Office of Sanctification. Appendix PASTORAL IMPLEMENTATION OF SACRAMENTS OF INITIATION DIOCESE OF BAKER PASTORAL GUIDELINES Chapter Five: Office of Sanctification Appendix PASTORAL IMPLEMENTATION OF SACRAMENTS OF INITIATION 7 October, 2014 A B B REVIATIONS C CC CCC CIC NSC PG RCIA Canon

More information

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

6.080 / Great Ideas in Theoretical Computer Science Spring 2008 MIT OpenCourseWare http://ocw.mit.edu 6.080 / 6.089 Great Ideas in Theoretical Computer Science Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

More information

Russell s Problems of Philosophy

Russell s Problems of Philosophy Russell s Problems of Philosophy IT S (NOT) ALL IN YOUR HEAD J a n u a r y 1 9 Today : 1. Review Existence & Nature of Matter 2. Russell s case against Idealism 3. Next Lecture 2.0 Review Existence & Nature

More information

Topological Distance Between Nonplanar Transportation Networks

Topological Distance Between Nonplanar Transportation Networks Topological Distance Between Nonplanar Transportation Networks Ahmed Abdelkader 1, Geoff Boeing 2, Brittany Terese Fasy 3, David Millman 3 1 University of Maryland, College Park 2 Northeastern University

More information

Ambassador College and Recent Calendar History

Ambassador College and Recent Calendar History Ambassador College and Recent Calendar History Carl D. Franklin June 30, 2005 Until the latter part of the 1980 s, our holy day calendars were based on Arthur Spier s book The Comprehensive Hebrew Calendar.

More information

THE BASIC GUIDE TO STUDY BIBLES

THE BASIC GUIDE TO STUDY BIBLES THE BASIC GUIDE TO STUDY BIBLES In recent years the explosion of choice in regards to choosing a Bible has become to some a bit overwhelming. This guide has been made available to help cut through some

More information

A Judgmental Formulation of Modal Logic

A Judgmental Formulation of Modal Logic A Judgmental Formulation of Modal Logic Sungwoo Park Pohang University of Science and Technology South Korea Estonian Theory Days Jan 30, 2009 Outline Study of logic Model theory vs Proof theory Classical

More information

Toward An Epistemology of Peace

Toward An Epistemology of Peace Toward An Epistemology of Peace Ein Whitney-Smith GROUP INDIVIDUAL INFORMATION BASED (plenty) Hunters and Gatherers... PEACE MATERIAL BASED (scarcity) Iran, USSR, Asia, Eastern Eur.ope U.S.A. and Westemn

More information

Sentiment Flow! A General Model of Web Review Argumentation

Sentiment Flow! A General Model of Web Review Argumentation Sentiment Flow! A General Model of Web Review Argumentation Henning Wachsmuth, Johannes Kiesel, Benno Stein henning.wachsmuth@uni-weimar.de www.webis.de! Web reviews across domains This book was different.

More information

An earlier action or state has relevance at a later reference point, or point of orientation.

An earlier action or state has relevance at a later reference point, or point of orientation. Lecture 15 An earlier action or state has relevance at a later reference point, or point of orientation. Perfective aspect + Present tense ("Present Perfect") the reference point is identical with the

More information

New FamilySearch in the Trenches: Thoughts About Best practices Laurie Castillo Aug 2011

New FamilySearch in the Trenches: Thoughts About Best practices Laurie Castillo Aug 2011 New FamilySearch in the Trenches: Thoughts About Best practices Laurie Castillo Aug 2011 Policy and Procedure vs. Doctrine: Policy and procedure changes. Doctrine does not. NFS is policy and procedure.

More information

Macmillan/McGraw-Hill SCIENCE: A CLOSER LOOK 2011, Grade 3 Correlated with Common Core State Standards, Grade 3

Macmillan/McGraw-Hill SCIENCE: A CLOSER LOOK 2011, Grade 3 Correlated with Common Core State Standards, Grade 3 Macmillan/McGraw-Hill SCIENCE: A CLOSER LOOK 2011, Grade 3 Common Core State Standards for Literacy in History/Social Studies, Science, and Technical Subjects, Grades K-5 English Language Arts Standards»

More information

APRIL 2017 KNX DALI-Gateways DG/S x BU EPBP GPG Building Automation. Thorsten Reibel, Training & Qualification

APRIL 2017 KNX DALI-Gateways DG/S x BU EPBP GPG Building Automation. Thorsten Reibel, Training & Qualification APRIL 2017 KNX DALI-Gateways DG/S x.64.1.1 BU EPBP GPG Building Automation Thorsten Reibel, Training & Qualification Agenda New Generation DALI-Gateways DG/S x.64.1.1 Features DALI Assortment today New

More information

The activity It is important to set ground rules to provide a safe environment where students are respected as they explore their own viewpoints.

The activity It is important to set ground rules to provide a safe environment where students are respected as they explore their own viewpoints. Introduction In this activity, students distinguish between religious, scientific, metaphysical and moral ideas. It helps to frame the way students think about the world, and also helps them to understand,

More information

Philosophy 148 Announcements & Such. Inverse Probability and Bayes s Theorem II. Inverse Probability and Bayes s Theorem III

Philosophy 148 Announcements & Such. Inverse Probability and Bayes s Theorem II. Inverse Probability and Bayes s Theorem III Branden Fitelson Philosophy 148 Lecture 1 Branden Fitelson Philosophy 148 Lecture 2 Philosophy 148 Announcements & Such Administrative Stuff I ll be using a straight grading scale for this course. Here

More information

Introduction to Statistical Hypothesis Testing Prof. Arun K Tangirala Department of Chemical Engineering Indian Institute of Technology, Madras

Introduction to Statistical Hypothesis Testing Prof. Arun K Tangirala Department of Chemical Engineering Indian Institute of Technology, Madras Introduction to Statistical Hypothesis Testing Prof. Arun K Tangirala Department of Chemical Engineering Indian Institute of Technology, Madras Lecture 09 Basics of Hypothesis Testing Hello friends, welcome

More information

Module 02 Lecture - 10 Inferential Statistics Single Sample Tests

Module 02 Lecture - 10 Inferential Statistics Single Sample Tests Introduction to Data Analytics Prof. Nandan Sudarsanam and Prof. B. Ravindran Department of Management Studies and Department of Computer Science and Engineering Indian Institute of Technology, Madras

More information

Grids: Why, How, and What Next

Grids: Why, How, and What Next Grids: Why, How, and What Next J. Templon, NIKHEF ESA Grid Meeting Noordwijk 25 October 2002 Information I intend to transfer!why are Grids interesting? Grids are solutions so I will spend some time talking

More information

Logic, reasoning and fallacies. Example 0: valid reasoning. Decide how to make a random choice. Valid reasoning. Random choice of X, Y, Z, n

Logic, reasoning and fallacies. Example 0: valid reasoning. Decide how to make a random choice. Valid reasoning. Random choice of X, Y, Z, n Logic, reasoning and fallacies and some puzzling Before we start Introductory Examples Karst Koymans Informatics Institute University of Amsterdam (version 16.3, 2016/11/21 12:58:26) Wednesday, November

More information

Building Your Framework everydaydebate.blogspot.com by James M. Kellams

Building Your Framework everydaydebate.blogspot.com by James M. Kellams Building Your Framework everydaydebate.blogspot.com by James M. Kellams The Judge's Weighing Mechanism Very simply put, a framework in academic debate is the set of standards the judge will use to evaluate

More information

When Faith And Science Collide: A Biblical Approach To Evaluating Evolution, Creationism, Intelligent Design, And The Age Of The Earth PDF

When Faith And Science Collide: A Biblical Approach To Evaluating Evolution, Creationism, Intelligent Design, And The Age Of The Earth PDF When Faith And Science Collide: A Biblical Approach To Evaluating Evolution, Creationism, Intelligent Design, And The Age Of The Earth PDF When scientific evidence or theories appear to conflict with the

More information

Basic Concepts and Skills!

Basic Concepts and Skills! Basic Concepts and Skills! Critical Thinking tests rationales,! i.e., reasons connected to conclusions by justifying or explaining principles! Why do CT?! Answer: Opinions without logical or evidential

More information

Incarnation: How Would Christians Advertise Christmas To Show What Christmas Means Today?

Incarnation: How Would Christians Advertise Christmas To Show What Christmas Means Today? Name of Unit: How Would Christians Advertise Christmas To Show What Christmas Means Today? Key Stage In Which This Unit Should Be Taught: KS2 Previous Learning: All Incarnation units in Key Stage 1and

More information

Heidegger's Glasses: A Novel By Thaisa Frank

Heidegger's Glasses: A Novel By Thaisa Frank Heidegger's Glasses: A Novel By Thaisa Frank - - Heidegger Apos S Glasses A Novel - burimi.de - online download heidegger apos s glasses a novel Heidegger Apos S Glasses A Novel No wonder you activities

More information

A priori Smith fair extra practice

A priori Smith fair extra practice From Homework 8. A priori Smith fair extra practice ontents 1 The exercises 2 The solutions 1 The exercises 1. Preference schedule is: (a) What is the Smith set? 2 2 1 3 2 A A A A A (b) Which candidates

More information

Tower of Babel. CONCEPT God s plans are always for our good.

Tower of Babel. CONCEPT God s plans are always for our good. Young Preschool Lesson #OT6 Tower of Babel CONCEPT God s plans are always for our good. GOAL Children will learn that even though man is in rebellion against Him, God is in control. They will be challenged

More information

McDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards

McDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards Math Program correlated to Grade-Level ( in regular (non-capitalized) font are eligible for inclusion on Oregon Statewide Assessment) CCG: NUMBERS - Understand numbers, ways of representing numbers, relationships

More information

Introduction to Logic. Instructor: Jason Sheley

Introduction to Logic. Instructor: Jason Sheley Introduction to Logic Instructor: Jason Sheley In this section we will learn: What is the difference between Deduction and Induction? Why use different types of logic? What is a valid argument? Invalid?

More information

Sounds of Love Series. Human Intellect and Intuition

Sounds of Love Series. Human Intellect and Intuition Sounds of Love Series Human Intellect and Intuition Human intellect and intuition that is what I am going to talk to you about now. There are many faculties that human beings have. In trying to comprehend

More information

PHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH

PHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH PHILOSOPHY OF LOGIC AND LANGUAGE WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH OVERVIEW Last week, I discussed various strands of thought about the concept of LOGICAL CONSEQUENCE, introducing Tarski's

More information

The Incredibles: Identity Problem Acts 9: 1-19

The Incredibles: Identity Problem Acts 9: 1-19 The Incredibles: Identity Problem Acts 9: 1-19 This Sunday, we are taking a look at the film, The Incredibles. This film was released in 2004. Yet, thirteen years later, people keep turning to it for entertainment

More information

Aquinas Cosmological argument in everyday language

Aquinas Cosmological argument in everyday language Aquinas Cosmological argument in everyday language P1. If there is no first cause, there cannot be any effects. P2. But we have observed that there are effects, like observing change in the world. C: So

More information

Johns Hopkins Center for Talented Youth Introduction to Philosophy

Johns Hopkins Center for Talented Youth Introduction to Philosophy Johns Hopkins Center for Talented Youth Introduction to Philosophy Course Objectives and Student Learning Outcomes: The primary goal of this course is to give students the opportunity to think about philosophical

More information