Axiomatically PowerPoint PPT Presentations

All Time
Show:
Recommended
Sort by:
A bargaining approach to the ordinal Shapley rule PowerPoint PPT Presentation
A bargaining approach to the ordinal Shapley rule - The latest version of this paper can be found at http://webs.uvigo.es/vidalpuga ... K?br?s (2001, 2002) characterizes axiomatically the ordinal Shapley rule. ...
The latest version of this paper can be found at http://webs.uvigo.es/vidalpuga ... K?br?s (2001, 2002) characterizes axiomatically the ordinal Shapley rule. ...
| PowerPoint PPT presentation | free to view
Axiomatic Semantics PowerPoint PPT Presentation
Axiomatic Semantics - ... stmt , will define its a.s. via an axiom. or rule of inference (or just rule) ... An axiom system A is sound/consistent with model M if every result derivable ...
... stmt , will define its a.s. via an axiom. or rule of inference (or just rule) ... An axiom system A is sound/consistent with model M if every result derivable ...
| PowerPoint PPT presentation | free to download
Verification Extension to FFIP PowerPoint PPT Presentation
Verification Extension to FFIP - Overview of syntax and semantics. Ideas for a more precise syntax for FFIP ... Valve,s empty, s[OUTFLOW INFLOW * CS] 13. Function Failure Logic ...
Overview of syntax and semantics. Ideas for a more precise syntax for FFIP ... Valve,s empty, s[OUTFLOW INFLOW * CS] 13. Function Failure Logic ...
| PowerPoint PPT presentation | free to view
Joost Breuker PowerPoint PPT Presentation
Joost Breuker - Title: Ontology, ontologies and ontological reasoning 1. historical account Author: Joost Breuker User Last modified by: Joost Breuker User Created Date
Title: Ontology, ontologies and ontological reasoning 1. historical account Author: Joost Breuker User Last modified by: Joost Breuker User Created Date
| PowerPoint PPT presentation | free to view
Voting, Meta-search, and Bioconsensus PowerPoint PPT Presentation
Voting, Meta-search, and Bioconsensus - Meta-search has been studied using consensus methods by Cohen, Schapire, and ... In meta-search, there are usually few voters and many candidates. ...
Meta-search has been studied using consensus methods by Cohen, Schapire, and ... In meta-search, there are usually few voters and many candidates. ...
| PowerPoint PPT presentation | free to download
Do Mathematicians Really Mean What They Say PowerPoint PPT Presentation
Do Mathematicians Really Mean What They Say - ... (in a similarly kookie way) and reassembled into a sphere the size of the sun! ... arithmetic, there will exist statements that bear a truth value, but can never ...
... (in a similarly kookie way) and reassembled into a sphere the size of the sun! ... arithmetic, there will exist statements that bear a truth value, but can never ...
| PowerPoint PPT presentation | free to view
Mathematics And The Axiomatic Method PowerPoint PPT Presentation
Mathematics And The Axiomatic Method - Mathematics may be defined as the subject in which we never know what we are ... As far as the laws of mathematics refer to reality, they are not certain, and as ...
Mathematics may be defined as the subject in which we never know what we are ... As far as the laws of mathematics refer to reality, they are not certain, and as ...
| PowerPoint PPT presentation | free to view
Chapter 3' Source Coding PowerPoint PPT Presentation
Chapter 3' Source Coding - This is called the mutual information between and ... for instantaneously decodable codes must look like a probability mass function ...
This is called the mutual information between and ... for instantaneously decodable codes must look like a probability mass function ...
| PowerPoint PPT presentation | free to view
What if the Metaphor Represents Nothing At All PowerPoint PPT Presentation
What if the Metaphor Represents Nothing At All - Pictures courtesy of the MacTutor History of Mathematics Archive, http://www-gap. ... for the (amateur) Philosopher of Mathematics. Paul Benacerraf and Hilary Putnam, ...
Pictures courtesy of the MacTutor History of Mathematics Archive, http://www-gap. ... for the (amateur) Philosopher of Mathematics. Paul Benacerraf and Hilary Putnam, ...
| PowerPoint PPT presentation | free to view
GREEK MATHEMATICS PowerPoint PPT Presentation
GREEK MATHEMATICS - GREEK MATHEMATICS The axiomatic method The Elements begins with definitions and five postulates. There are also axioms which Euclid calls 'common notions'.
GREEK MATHEMATICS The axiomatic method The Elements begins with definitions and five postulates. There are also axioms which Euclid calls 'common notions'.
| PowerPoint PPT presentation | free to download
Week 12 The Universal Representation: The Computer and Digitalization PowerPoint PPT Presentation
Week 12 The Universal Representation: The Computer and Digitalization - Week 12 The Universal Representation: The Computer and Digitalization
Week 12 The Universal Representation: The Computer and Digitalization
| PowerPoint PPT presentation | free to view
Week 12 The Universal Representation: The Computer and Digitalization PowerPoint PPT Presentation
Week 12 The Universal Representation: The Computer and Digitalization - Week 12 The Universal Representation: The Computer and Digitalization
Week 12 The Universal Representation: The Computer and Digitalization
| PowerPoint PPT presentation | free to view
Executive MBA PowerPoint PPT Presentation
Executive MBA - Final Project Workshop Outline Final Project Objectives & Process Designing a good project What makes a good project? Review of past project s topics Exercise 1 ...
Final Project Workshop Outline Final Project Objectives & Process Designing a good project What makes a good project? Review of past project s topics Exercise 1 ...
| PowerPoint PPT presentation | free to view
Integrated Product Development PowerPoint PPT Presentation
Integrated Product Development - Integrated Product Development Igor F rstner ifurst@vts.su.ac.yu Polytechnical Engineering College Vojvodina, Serbia Introduction Product Development (differences ...
Integrated Product Development Igor F rstner ifurst@vts.su.ac.yu Polytechnical Engineering College Vojvodina, Serbia Introduction Product Development (differences ...
| PowerPoint PPT presentation | free to download
The van Hiele Model of Geometric Thought PowerPoint PPT Presentation
The van Hiele Model of Geometric Thought - The van Hiele Model of Geometric Thought Define it When is it appropriate to ask for a definition? A definition of a concept is only possible if one knows, to ...
The van Hiele Model of Geometric Thought Define it When is it appropriate to ask for a definition? A definition of a concept is only possible if one knows, to ...
| PowerPoint PPT presentation | free to view
Applications of Higher Order Theorem Proving PowerPoint PPT Presentation
Applications of Higher Order Theorem Proving - Now define: ... synth S : all spoof messages Spy can construct ... where B is any agent (other than Spy) and X is any spoof message drawn from: where ...
Now define: ... synth S : all spoof messages Spy can construct ... where B is any agent (other than Spy) and X is any spoof message drawn from: where ...
| PowerPoint PPT presentation | free to view
Freedom, Well-Being and Opportunity PowerPoint PPT Presentation
Freedom, Well-Being and Opportunity - OPHI Oxford Poverty & Human Development Initiative Department of International Development Queen Elizabeth House, University of Oxford www.ophi.org.uk
OPHI Oxford Poverty & Human Development Initiative Department of International Development Queen Elizabeth House, University of Oxford www.ophi.org.uk
| PowerPoint PPT presentation | free to download
Axiomatic Semantics PowerPoint PPT Presentation
Axiomatic Semantics - Other approaches: Denotational Semantics: Real meaning in terms of functions on N. Equivalence: f(x) = f(x) + 1 f(x) = if f(x) ==1 then 0 else 1 ...
Other approaches: Denotational Semantics: Real meaning in terms of functions on N. Equivalence: f(x) = f(x) + 1 f(x) = if f(x) ==1 then 0 else 1 ...
| PowerPoint PPT presentation | free to download
Developing Geometric Thinking: The Van Hiele Levels PowerPoint PPT Presentation
Developing Geometric Thinking: The Van Hiele Levels - Developing Geometric Thinking: The Van Hiele Levels Adapted from Van Hiele, P. M. (1959). Development and learning process. Acta Paedogogica Ultrajectina (pp. 1-31).
Developing Geometric Thinking: The Van Hiele Levels Adapted from Van Hiele, P. M. (1959). Development and learning process. Acta Paedogogica Ultrajectina (pp. 1-31).
| PowerPoint PPT presentation | free to view
The 2nd Generation Web - Chances and Problems PowerPoint PPT Presentation
The 2nd Generation Web - Chances and Problems - ... an explanation what the syntax means ... semantics Model-theoretic semantics for rule markup languages Axiomatic semantics in KIF One of the ...
... an explanation what the syntax means ... semantics Model-theoretic semantics for rule markup languages Axiomatic semantics in KIF One of the ...
| PowerPoint PPT presentation | free to view
Keyword Search on Structured and Semi-Structured Data PowerPoint PPT Presentation
Keyword Search on Structured and Semi-Structured Data - XRANK: Ranked keyword search over XML documents. ... Tutorial * * Databases / XML data ... dataflow Result Definition on XML & Trees /1 In an XML tree, ...
XRANK: Ranked keyword search over XML documents. ... Tutorial * * Databases / XML data ... dataflow Result Definition on XML & Trees /1 In an XML tree, ...
| PowerPoint PPT presentation | free to download
A Discussion of Some Intuitions of Defeasible Reasoning PowerPoint PPT Presentation
A Discussion of Some Intuitions of Defeasible Reasoning - Chapter 3 Describing Web Resources in RDF Grigoris Antoniou Frank van Harmelen Chapter 3 A Semantic Web Primer * Chapter 3 A Semantic Web Primer * Subproperty P is a ...
Chapter 3 Describing Web Resources in RDF Grigoris Antoniou Frank van Harmelen Chapter 3 A Semantic Web Primer * Chapter 3 A Semantic Web Primer * Subproperty P is a ...
| PowerPoint PPT presentation | free to download
The Logic of Intelligence PowerPoint PPT Presentation
The Logic of Intelligence - Title: PowerPoint Presentation Last modified by: Pei Wang Created Date: 1/1/1601 12:00:00 AM Document presentation format: On-screen Show Other titles
Title: PowerPoint Presentation Last modified by: Pei Wang Created Date: 1/1/1601 12:00:00 AM Document presentation format: On-screen Show Other titles
| PowerPoint PPT presentation | free to download
Measures of Estimates Quality PowerPoint PPT Presentation
Measures of Estimates Quality - Measures of Estimates Quality Charles D. Coleman Population Estimates Branch U.S. Census Bureau 4700 Silver Hill Rd., Stop 8800 Washington, DC 20233-8800
Measures of Estimates Quality Charles D. Coleman Population Estimates Branch U.S. Census Bureau 4700 Silver Hill Rd., Stop 8800 Washington, DC 20233-8800
| PowerPoint PPT presentation | free to view
Formal Semantics of Programming Languages PowerPoint PPT Presentation
Formal Semantics of Programming Languages - Formal Semantics of Programming Languages Topic 5: Axiomatic Semantics yhq@ecust.edu.cn
Formal Semantics of Programming Languages Topic 5: Axiomatic Semantics yhq@ecust.edu.cn
| PowerPoint PPT presentation | free to view
Quantified Invariant Generation using an Interpolating Saturation Prover PowerPoint PPT Presentation
Quantified Invariant Generation using an Interpolating Saturation Prover - Quantified Invariant Generation using an Interpolating Saturation Prover Ken McMillan Cadence Research Labs TexPoint fonts used in EMF: AAAAA
Quantified Invariant Generation using an Interpolating Saturation Prover Ken McMillan Cadence Research Labs TexPoint fonts used in EMF: AAAAA
| PowerPoint PPT presentation | free to download
joint work with David Gabelaia, Mamuka Jibladze, Evgeny Kuznetsov and Maarten Marx PowerPoint PPT Presentation
joint work with David Gabelaia, Mamuka Jibladze, Evgeny Kuznetsov and Maarten Marx - The modal logic of planar polygons Kristina Gogoladze Javakhishvili Tbilisi State University joint work with David Gabelaia, Mamuka Jibladze, Evgeny Kuznetsov and ...
The modal logic of planar polygons Kristina Gogoladze Javakhishvili Tbilisi State University joint work with David Gabelaia, Mamuka Jibladze, Evgeny Kuznetsov and ...
| PowerPoint PPT presentation | free to download
PARTITIONING: PowerPoint PPT Presentation
PARTITIONING: - PARTITIONING: A GROUNDED THEORY INVESTIGATION OF INSTRUCTOR MATHEMATICS PHILOSOPHY SHAPING COMMUNITY COLLEGE MATHEMATICS M. Joanne Kantner jkantner@kishwaukeecollege.edu
PARTITIONING: A GROUNDED THEORY INVESTIGATION OF INSTRUCTOR MATHEMATICS PHILOSOPHY SHAPING COMMUNITY COLLEGE MATHEMATICS M. Joanne Kantner jkantner@kishwaukeecollege.edu
| PowerPoint PPT presentation | free to download
CSE 599F: Formal Verification of Computer Systems PowerPoint PPT Presentation
CSE 599F: Formal Verification of Computer Systems - CSE 599F: Formal Verification of Computer Systems Course information Instructor: Shaz Qadeer Office: 454 Allen Center Lectures: CSE 303, Wed-Fri, 12pm-1:20pm Office ...
CSE 599F: Formal Verification of Computer Systems Course information Instructor: Shaz Qadeer Office: 454 Allen Center Lectures: CSE 303, Wed-Fri, 12pm-1:20pm Office ...
| PowerPoint PPT presentation | free to download
Mathematics in 20th century PowerPoint PPT Presentation
Mathematics in 20th century - ... one of the foundations of functional analysis He defended Georg cantor s set theory and transfinite numbers One of the founders of proof theory, ...
... one of the foundations of functional analysis He defended Georg cantor s set theory and transfinite numbers One of the founders of proof theory, ...
| PowerPoint PPT presentation | free to download
XOR Operator PowerPoint PPT Presentation
XOR Operator - XOR Operator A short digression to introduce another Boolean operation: exclusive-OR (XOR) A B A + B 0 0 0 XOR 0 1 1 1 0 1 1 1 0
XOR Operator A short digression to introduce another Boolean operation: exclusive-OR (XOR) A B A + B 0 0 0 XOR 0 1 1 1 0 1 1 1 0
| PowerPoint PPT presentation | free to download
Model-independent Schema and Data Translation PowerPoint PPT Presentation
Model-independent Schema and Data Translation - Title: Sistemi informativi (nuovo ordinamento, laurea specialistica) 2003-2004 Author: Prof. Paolo Atzeni Last modified by: Paolo Atzeni Created Date
Title: Sistemi informativi (nuovo ordinamento, laurea specialistica) 2003-2004 Author: Prof. Paolo Atzeni Last modified by: Paolo Atzeni Created Date
| PowerPoint PPT presentation | free to download
Semantic Web Services Tutorial ESWC 2005 PowerPoint PPT Presentation
Semantic Web Services Tutorial ESWC 2005 - Semantic Web Services Tutorial ESWC 2005
Semantic Web Services Tutorial ESWC 2005
| PowerPoint PPT presentation | free to download
The%20van%20Hiele%20Model%20of%20Geometric%20Thought PowerPoint PPT Presentation
The%20van%20Hiele%20Model%20of%20Geometric%20Thought - Most definitions are not preconceived but the finished touch of the organizing activity. ... teacher, students share their opinions about the relationships and ...
Most definitions are not preconceived but the finished touch of the organizing activity. ... teacher, students share their opinions about the relationships and ...
| PowerPoint PPT presentation | free to download
3b Semantics PowerPoint PPT Presentation
3b Semantics - ... and based on recursive function theory The most abstract semantics description method Denotational Semantics ... Define the meaning of English by ...
... and based on recursive function theory The most abstract semantics description method Denotational Semantics ... Define the meaning of English by ...
| PowerPoint PPT presentation | free to download
INF02511: Knowledge Engineering Reasoning about Knowledge (a very short introduction) PowerPoint PPT Presentation
INF02511: Knowledge Engineering Reasoning about Knowledge (a very short introduction) - INF02511: Knowledge Engineering Reasoning about Knowledge (a very short introduction) Iyad Rahwan Overview The partition model of knowledge Introduction to modal ...
INF02511: Knowledge Engineering Reasoning about Knowledge (a very short introduction) Iyad Rahwan Overview The partition model of knowledge Introduction to modal ...
| PowerPoint PPT presentation | free to download
Homework: Friday PowerPoint PPT Presentation
Homework: Friday - Title: Undecidability Author: Hector Munoz-Avila Last modified by: Administrator Created Date: 11/22/2004 2:25:20 AM Document presentation format
Title: Undecidability Author: Hector Munoz-Avila Last modified by: Administrator Created Date: 11/22/2004 2:25:20 AM Document presentation format
| PowerPoint PPT presentation | free to download
People Counting System Market share forecast to witness considerable growth from 2018 to 2024 PowerPoint PPT Presentation
People Counting System Market share forecast to witness considerable growth from 2018 to 2024 - Key players in the people counting system market are Axis Communications AB, HELLA Aglaia Mobile Vision GmbH, RetailNext, Inc., InfraRed Integrated Systems Ltd., ShopperTrak, Axiomatic Technology Limited, DILAX Intelcom GmbH etc.
Key players in the people counting system market are Axis Communications AB, HELLA Aglaia Mobile Vision GmbH, RetailNext, Inc., InfraRed Integrated Systems Ltd., ShopperTrak, Axiomatic Technology Limited, DILAX Intelcom GmbH etc.
| PowerPoint PPT presentation | free to download
How%20NP%20got%20a%20new%20definition: PowerPoint PPT Presentation
How%20NP%20got%20a%20new%20definition: - Original proof of PCP Thm used polynomial representations, ... Applications of PCP Techniques: Tour d'Horizon. Locally checkable / decodable codes. ...
Original proof of PCP Thm used polynomial representations, ... Applications of PCP Techniques: Tour d'Horizon. Locally checkable / decodable codes. ...
| PowerPoint PPT presentation | free to download
Euclid PowerPoint PPT Presentation
Euclid - Where Plato and Aristotle agreed was over the role of reason and precise logical ... Aristotle's Lyceum excelled in working out logical systems. ...
Where Plato and Aristotle agreed was over the role of reason and precise logical ... Aristotle's Lyceum excelled in working out logical systems. ...
| PowerPoint PPT presentation | free to download
Programming Language Semantics Axiomatic Semantics PowerPoint PPT Presentation
Programming Language Semantics Axiomatic Semantics - What do we need in order to prove that the program ... wp(c, Q) the weakest condition such that every terminating computation of c ... Verification Conditions ...
What do we need in order to prove that the program ... wp(c, Q) the weakest condition such that every terminating computation of c ... Verification Conditions ...
| PowerPoint PPT presentation | free to download
MATH Connections PowerPoint PPT Presentation
MATH Connections - MATH Connections, a ... drill and practice problems. ... that students be able to use the linear regression capabilities of a graphing calculator to do ...
MATH Connections, a ... drill and practice problems. ... that students be able to use the linear regression capabilities of a graphing calculator to do ...
| PowerPoint PPT presentation | free to view
Computability Logic http://www.cis.upenn.edu/~giorgi/cl.html PowerPoint PPT Presentation
Computability Logic http://www.cis.upenn.edu/~giorgi/cl.html - Title: Section Author: Giorgi Japaridze Last modified by: Gjaparidz Created Date: 12/16/2000 7:55:54 PM Document presentation format: On-screen Show (4:3)
Title: Section Author: Giorgi Japaridze Last modified by: Gjaparidz Created Date: 12/16/2000 7:55:54 PM Document presentation format: On-screen Show (4:3)
| PowerPoint PPT presentation | free to download
Multiset Rewriting and Security Protocol Analysis PowerPoint PPT Presentation
Multiset Rewriting and Security Protocol Analysis - Rewrite formalism with 'choose new value' Protocol modeling within this framework ... model in tool-independent formalism. Linear Logic. Process. Calculus ...
Rewrite formalism with 'choose new value' Protocol modeling within this framework ... model in tool-independent formalism. Linear Logic. Process. Calculus ...
| PowerPoint PPT presentation | free to download
Systematic OO Programming with Axiomatic Design PowerPoint PPT Presentation
Systematic OO Programming with Axiomatic Design - Offers a systematic and orderly way to proceed through the software development process. Provides for a methodology that ... Outmost FRs and DPs are parents. ...
Offers a systematic and orderly way to proceed through the software development process. Provides for a methodology that ... Outmost FRs and DPs are parents. ...
| PowerPoint PPT presentation | free to download
The Concept of Infinity PowerPoint PPT Presentation
The Concept of Infinity - Seemed to have some concept of infinity as they considered one the generator of ... it was discovered that the hypotenuse of an isosceles right triangle is not ...
Seemed to have some concept of infinity as they considered one the generator of ... it was discovered that the hypotenuse of an isosceles right triangle is not ...
| PowerPoint PPT presentation | free to download
Ontology and RadLex PowerPoint PPT Presentation
Ontology and RadLex - Ontology and RadLex Robert Arp, Ph.D. Ontology Research Group (ORG) www.org.buffalo.edu National Center for Biomedical Ontology (NCBO) www.bioontology.org
Ontology and RadLex Robert Arp, Ph.D. Ontology Research Group (ORG) www.org.buffalo.edu National Center for Biomedical Ontology (NCBO) www.bioontology.org
| PowerPoint PPT presentation | free to download
Agent-Oriented%20Software%20Engineering%20and%20Tropos PowerPoint PPT Presentation
Agent-Oriented%20Software%20Engineering%20and%20Tropos - There is an O(N) proof procedure which will generate all inferences from ... Check In. Buying. Check Out. Search Engine. catalog. Browser. Keywords. full-text ...
There is an O(N) proof procedure which will generate all inferences from ... Check In. Buying. Check Out. Search Engine. catalog. Browser. Keywords. full-text ...
| PowerPoint PPT presentation | free to download
Origami: PowerPoint PPT Presentation
Origami: - Origami: Using an Axiomatic System of Paper Folding to Trisect the Angle Agenda Euclidean Geometry Euclidean Constructions Origami and the Axiomatic System of Humiaki ...
Origami: Using an Axiomatic System of Paper Folding to Trisect the Angle Agenda Euclidean Geometry Euclidean Constructions Origami and the Axiomatic System of Humiaki ...
| PowerPoint PPT presentation | free to download
Chapter%203%20Describing%20Web%20Resources%20in%20RDF PowerPoint PPT Presentation
Chapter%203%20Describing%20Web%20Resources%20in%20RDF - ... object-attribute-value triple ... An rdf:ID attribute indicating that the ... Collect a number of resources or attributes about which we want to make ...
... object-attribute-value triple ... An rdf:ID attribute indicating that the ... Collect a number of resources or attributes about which we want to make ...
| PowerPoint PPT presentation | free to download
Chapter 3 Describing Syntax and Semantics PowerPoint PPT Presentation
Chapter 3 Describing Syntax and Semantics - Describing Syntax and Semantics Why and How Why? We want specifications for several communities: Other language designers Implementors Programmers (the users of the ...
Describing Syntax and Semantics Why and How Why? We want specifications for several communities: Other language designers Implementors Programmers (the users of the ...
| PowerPoint PPT presentation | free to download
Axiomatic Method PowerPoint PPT Presentation
Axiomatic Method - Absolute Consistency ... The Fe-Fo Axiom Set exhibits absolute consistency because we produced a real ... Relative Consistency ...
Absolute Consistency ... The Fe-Fo Axiom Set exhibits absolute consistency because we produced a real ... Relative Consistency ...
| PowerPoint PPT presentation | free to download
Semantic%20Formalisms:%20an%20overview PowerPoint PPT Presentation
Semantic%20Formalisms:%20an%20overview - Operational semantics, behaviour models : represent the complete ... Panne r seau t l phonique US, Ariane 5. Bug Pentium. Mast re RSD - TC4 2005/2006. 10 ...
Operational semantics, behaviour models : represent the complete ... Panne r seau t l phonique US, Ariane 5. Bug Pentium. Mast re RSD - TC4 2005/2006. 10 ...
| PowerPoint PPT presentation | free to download
IE241 Introduction to Mathematical Statistics PowerPoint PPT Presentation
IE241 Introduction to Mathematical Statistics - IE241 Introduction to Mathematical Statistics Topic Slide Probability ...
IE241 Introduction to Mathematical Statistics Topic Slide Probability ...
| PowerPoint PPT presentation | free to view
Lecture 18. Unsolvability PowerPoint PPT Presentation
Lecture 18. Unsolvability - Kurt G del Lecture 18. Unsolvability Before the 1930 s, mathematics was not like today. Then people believed that everything true must ...
Kurt G del Lecture 18. Unsolvability Before the 1930 s, mathematics was not like today. Then people believed that everything true must ...
| PowerPoint PPT presentation | free to download


Home About Us Terms and Conditions Privacy Policy Contact Us
Copyright 2024 CrystalGraphics, Inc. — All rights Reserved. PowerShow.com is a trademark of CrystalGraphics, Inc.
axiomatically — Search results on PowerShow.com