57 Quantificateurs PPTs View free & download

Quantificateurs gnralises PowerPoint PPT Presentation

Quantificateurs gnralises - La plupart des linguistes sont bilingues. Plus d' tudiants que de professeurs viennent sur ... donc : certains Girondins aiment le ski. CERTAINS : croissant droite ...

La plupart des linguistes sont bilingues. Plus d' tudiants que de professeurs viennent sur ... donc : certains Girondins aiment le ski. CERTAINS : croissant droite ...

| PowerPoint PPT presentation | free to view

Soutenance M PowerPoint PPT Presentation

Soutenance M - Soutenance M moire IDPE @ESSI (Sophia-FR) Pascal Kott Jeudi 16 Octobre 2003, 16h30 Sommaire 1. Introduction Pour qui ? Pourquoi ? Comment ? Les moyennes & grosses ...

Soutenance M moire IDPE @ESSI (Sophia-FR) Pascal Kott Jeudi 16 Octobre 2003, 16h30 Sommaire 1. Introduction Pour qui ? Pourquoi ? Comment ? Les moyennes & grosses ...

| PowerPoint PPT presentation | free to download

LOGIQUE ET PROGRAMMATION LOGIQUE PowerPoint PPT Presentation

LOGIQUE ET PROGRAMMATION LOGIQUE - Nadia KABACHI Ma tre de Conf rences UFR d Informatique Nadia.Kabachi@univ-lyon1.fr LOGIQUE ET PROGRAMMATION LOGIQUE

Nadia KABACHI Ma tre de Conf rences UFR d Informatique Nadia.Kabachi@univ-lyon1.fr LOGIQUE ET PROGRAMMATION LOGIQUE

| PowerPoint PPT presentation | free to download

Diapositive 1 PowerPoint PPT Presentation

Diapositive 1 - Se demander jusqu' quel point accorder foi aux sondages (loi des ... On apprendra pourquoi on peut rayer (pas trop quand m me) nos chers disques Bluray, ou nos HD-DVD (codes ...

Se demander jusqu' quel point accorder foi aux sondages (loi des ... On apprendra pourquoi on peut rayer (pas trop quand m me) nos chers disques Bluray, ou nos HD-DVD (codes ...

| PowerPoint PPT presentation | free to view

Diapositive 1 - Application capable d'effectuer dans un domaine des raisonnements logiques ... C'est avant tout un syst me d'aide la d cision. ' PROGICIEL AU SENS ...

Application capable d'effectuer dans un domaine des raisonnements logiques ... C'est avant tout un syst me d'aide la d cision. ' PROGICIEL AU SENS ...

| PowerPoint PPT presentation | free to download

Calcul Relationnel PowerPoint PPT Presentation

Calcul Relationnel - Contient des variables, constantes, ops de comparaison, op rateurs ... Ceci peut para tre ennuyeux. Cependant, avec une bonne interface d'utilisateur, cette ...

Contient des variables, constantes, ops de comparaison, op rateurs ... Ceci peut para tre ennuyeux. Cependant, avec une bonne interface d'utilisateur, cette ...

| PowerPoint PPT presentation | free to download

L - Title: Diapositive 1 Author: vandeput Last modified by: Poulingeas Created Date: 5/24/2006 12:33:05 PM Document presentation format: Affichage l' cran

Title: Diapositive 1 Author: vandeput Last modified by: Poulingeas Created Date: 5/24/2006 12:33:05 PM Document presentation format: Affichage l' cran

| PowerPoint PPT presentation | free to download

Compression des images et de la vid PowerPoint PPT Presentation

Compression des images et de la vid - Compression des images et de la vid o : principes S verine Baudry s.baudry@nextamp.com

Compression des images et de la vid o : principes S verine Baudry s.baudry@nextamp.com

| PowerPoint PPT presentation | free to download

Bases de donn PowerPoint PPT Presentation

Bases de donn - Bases de donn es relationnelles Calculs relationnels (chapitre 7) LMD relationnels alg briques (rappel) L alg bre relationnelle permet de sp cifier quelles sont ...

Bases de donn es relationnelles Calculs relationnels (chapitre 7) LMD relationnels alg briques (rappel) L alg bre relationnelle permet de sp cifier quelles sont ...

| PowerPoint PPT presentation | free to download

Num - On utilise un codage longueur variable dont le principe consiste ... Th or me du codage de canal : Remarque : ce th or me ne donne aucune indication sur ...

On utilise un codage longueur variable dont le principe consiste ... Th or me du codage de canal : Remarque : ce th or me ne donne aucune indication sur ...

| PowerPoint PPT presentation | free to download

Fonctionnalit PowerPoint PPT Presentation

Fonctionnalit - Fonctionnalit s des SGBD Georges GARDARIN Architecture d'un SGBD 1. Description des donn es SQL DDL L'analyseur v rifie la correction des commandes Il stocke le ...

Fonctionnalit s des SGBD Georges GARDARIN Architecture d'un SGBD 1. Description des donn es SQL DDL L'analyseur v rifie la correction des commandes Il stocke le ...

| PowerPoint PPT presentation | free to download

De la capitalisation des connaissances PowerPoint PPT Presentation

De la capitalisation des connaissances - 14 me Atelier de raisonnement partir de cas 30-31 mars 2006 ... On cherche maximiser les crit res. Si l'on utilise. la moyenne : P1 P2 = P3 P4. la ...

14 me Atelier de raisonnement partir de cas 30-31 mars 2006 ... On cherche maximiser les crit res. Si l'on utilise. la moyenne : P1 P2 = P3 P4. la ...

| PowerPoint PPT presentation | free to view

Logique et Programmation logique - N. Jussien Ecole des Mines de Nantes. Introduction. Classes de langage ... Appliquons r1: il vient. 1n ' 1m ' = 1p CQFD. Toutes les formules intervenant dans une ...

N. Jussien Ecole des Mines de Nantes. Introduction. Classes de langage ... Appliquons r1: il vient. 1n ' 1m ' = 1p CQFD. Toutes les formules intervenant dans une ...

| PowerPoint PPT presentation | free to view

CSI 4506: Introduction PowerPoint PPT Presentation

CSI 4506: Introduction - Agr L'attribut d'accord (genre et nombre) [valeurs: 3s, 1p, 2p et 3p] ... (S) (NP (agr (?a))) (VP (agr (?a))) [i.e., NP et VP doivent avoir la m me valeur ...

Agr L'attribut d'accord (genre et nombre) [valeurs: 3s, 1p, 2p et 3p] ... (S) (NP (agr (?a))) (VP (agr (?a))) [i.e., NP et VP doivent avoir la m me valeur ...

| PowerPoint PPT presentation | free to download

Annotations s PowerPoint PPT Presentation

Annotations s - Annotations s mantiques pour la localisation de ressources par des graphes tiquet s Michel Chein LIRMM (Universit Montpellier 2 et CNRS )

Annotations s mantiques pour la localisation de ressources par des graphes tiquet s Michel Chein LIRMM (Universit Montpellier 2 et CNRS )

| PowerPoint PPT presentation | free to download

Rappels de logique des pr PowerPoint PPT Presentation

Rappels de logique des pr - Vocabulaire : symboles de variables, constantes, fonctions, pr dicats. ... On peut appliquer les r gles d'inf rence mais on ne peut pr dire l'arr t ...

Vocabulaire : symboles de variables, constantes, fonctions, pr dicats. ... On peut appliquer les r gles d'inf rence mais on ne peut pr dire l'arr t ...

| PowerPoint PPT presentation | free to view

Paradigmes de Programmation PowerPoint PPT Presentation

Paradigmes de Programmation - etudiant(nom(john, white), adresse(17, main, ottawa, ontario), naissance(10, 12, 83) ... etudiant(X, adresse(_, _, ottawa, _), naissance(_, _, Y) ...

etudiant(nom(john, white), adresse(17, main, ottawa, ontario), naissance(10, 12, 83) ... etudiant(X, adresse(_, _, ottawa, _), naissance(_, _, Y) ...

| PowerPoint PPT presentation | free to download

Moi - Logique floue, apprentissage automatique, extraction de connaissances ... Agir comme un humain. Le test de Turing (1950) Traitement du langage naturel ...

Logique floue, apprentissage automatique, extraction de connaissances ... Agir comme un humain. Le test de Turing (1950) Traitement du langage naturel ...

| PowerPoint PPT presentation | free to download

Diapositive 1 - Les ontologies sont repr sent es au moyen de langages formels d di s, offrant des ... sa notion, et qu'elle admet pour extension un ensemble de n-uplets (n tant l'arit de la ...

Les ontologies sont repr sent es au moyen de langages formels d di s, offrant des ... sa notion, et qu'elle admet pour extension un ensemble de n-uplets (n tant l'arit de la ...

| PowerPoint PPT presentation | free to download

Master 1 informatique 20062007' Logique et Programmation' G' Hains PowerPoint PPT Presentation

Master 1 informatique 20062007' Logique et Programmation' G' Hains - d rivation naturelle, arbres de d rivation. Formes normales. Une ... Voyons ces syst mes d ductifs et les arbres de d rivations (preuves) pour : ...

d rivation naturelle, arbres de d rivation. Formes normales. Une ... Voyons ces syst mes d ductifs et les arbres de d rivations (preuves) pour : ...

| PowerPoint PPT presentation | free to view

XQuery - n cessit de stocker les documents XML. n cessit de pouvoir interroger ces documents ... Mots-cl s. Sur des for ts dont les arbres sont des documents ...

n cessit de stocker les documents XML. n cessit de pouvoir interroger ces documents ... Mots-cl s. Sur des for ts dont les arbres sont des documents ...

| PowerPoint PPT presentation | free to download

CSI 4506: Introduction - Un pr dicat est utilis pour d crire les propri t s et les relations ... Exemples: block17 et table45 sont un bloc particulier et une table particuli re ...

Un pr dicat est utilis pour d crire les propri t s et les relations ... Exemples: block17 et table45 sont un bloc particulier et une table particuli re ...

| PowerPoint PPT presentation | free to download

Programme de Coopration ACPUE pour lenseignement suprieur PowerPoint PPT Presentation

Programme de Coopration ACPUE pour lenseignement suprieur - Justification du choix des activit s propos es, avec une num ration appropri e ... Planification des activit s propos es bien tudi e et formul e de mani re ...

Justification du choix des activit s propos es, avec une num ration appropri e ... Planification des activit s propos es bien tudi e et formul e de mani re ...

| PowerPoint PPT presentation | free to view

LERIA - A. Bondu (co-encadr FranceTelecom), A Duffoux, T. M. Feuilloy (co-encadr ESEO) ... d'une quinzaine de lignes r solu imm diatement par les solveurs actuels ...

A. Bondu (co-encadr FranceTelecom), A Duffoux, T. M. Feuilloy (co-encadr ESEO) ... d'une quinzaine de lignes r solu imm diatement par les solveurs actuels ...

| PowerPoint PPT presentation | free to view

Object Query Language OQL PowerPoint PPT Presentation

Object Query Language OQL - OQL peut tre appel dans un programme et r ciproquement OQL peut faire appel ... 4- r cup ration du 1er l ment de la liste et affichage du nom de la rue ...

OQL peut tre appel dans un programme et r ciproquement OQL peut faire appel ... 4- r cup ration du 1er l ment de la liste et affichage du nom de la rue ...

| PowerPoint PPT presentation | free to view

Base des langages de programmation : l'assembleur' PowerPoint PPT Presentation

Base des langages de programmation : l'assembleur' - boucle : mov tab[ax],0 //instruction tiquett e o la variable indic e par ax ... aurait besoin de 16 chiffres, comme on n'a que 10 chiffres arabes on ajoute ...

boucle : mov tab[ax],0 //instruction tiquett e o la variable indic e par ax ... aurait besoin de 16 chiffres, comme on n'a que 10 chiffres arabes on ajoute ...

| PowerPoint PPT presentation | free to view

L - DE L'OFFRE DE FORMATION. Jacques Vande Put, Patrick Poulingeas. Service Commun ... l'Universit de Limoges. Plan : Introduction. La saisie de l'offre ...

DE L'OFFRE DE FORMATION. Jacques Vande Put, Patrick Poulingeas. Service Commun ... l'Universit de Limoges. Plan : Introduction. La saisie de l'offre ...

| PowerPoint PPT presentation | free to download

IFT-66975 - Bob doit r pondre par un nom de ville du monde qui commence par la derni re lettre de la ville choisie par Alice. On alterne ainsi sans r utiliser la m me ville. ...

Bob doit r pondre par un nom de ville du monde qui commence par la derni re lettre de la ville choisie par Alice. On alterne ainsi sans r utiliser la m me ville. ...

| PowerPoint PPT presentation | free to download

LFG: Grammaire lexicale fonctionnelle PowerPoint PPT Presentation

LFG: Grammaire lexicale fonctionnelle - Mise en correspondance fonctionnelle entre les diff rentes repr sentations ... Analyse en constituants, la structuralisme am ricain, d finit l'ordre des mots ...

Mise en correspondance fonctionnelle entre les diff rentes repr sentations ... Analyse en constituants, la structuralisme am ricain, d finit l'ordre des mots ...

| PowerPoint PPT presentation | free to view

Programmation logique PowerPoint PPT Presentation

Programmation logique - Les formules sont interpr t es dans {V,F} On d finit l'interpr tation associ e chaque ... L'ing nieur affirme n'avoir rien entendu. On souhaite d montrer que si ...

Les formules sont interpr t es dans {V,F} On d finit l'interpr tation associ e chaque ... L'ing nieur affirme n'avoir rien entendu. On souhaite d montrer que si ...

| PowerPoint PPT presentation | free to download

Modlisation de la langue crite pour le TAL PowerPoint PPT Presentation

Modlisation de la langue crite pour le TAL - Le langage naturel est fondamentalement ambigu, ce qui fait sa richesse (jeux de mots, quivoques) mais constitue la principale difficult , en particulier pour l'analyse ...

Le langage naturel est fondamentalement ambigu, ce qui fait sa richesse (jeux de mots, quivoques) mais constitue la principale difficult , en particulier pour l'analyse ...

| PowerPoint PPT presentation | free to view

Logique et raisonnement scientifique PowerPoint PPT Presentation

Logique et raisonnement scientifique - 7- La logique intuitionniste. de Heyting et Kripke la correspondance de Curry-Howard. Syst me d ductif (d duction naturelle) : de , A |-- B. on peut d duire : ...

7- La logique intuitionniste. de Heyting et Kripke la correspondance de Curry-Howard. Syst me d ductif (d duction naturelle) : de , A |-- B. on peut d duire : ...

| PowerPoint PPT presentation | free to view

Mod - omega : pr sentation et retour la quantification existentielle ... Arbitre. 06/06/2001. S minaire d' quipe Roscoff. 5. Formalisme sous-jacent. quations ...

omega : pr sentation et retour la quantification existentielle ... Arbitre. 06/06/2001. S minaire d' quipe Roscoff. 5. Formalisme sous-jacent. quations ...

| PowerPoint PPT presentation | free to download

BD DEDUCTIVES PowerPoint PPT Presentation

BD DEDUCTIVES - Concepts : introduction des concepts de base. Utilisation : exemples d'application ... Pouvoir d duire des informations de la base. Inf rer des donn es non ...

Concepts : introduction des concepts de base. Utilisation : exemples d'application ... Pouvoir d duire des informations de la base. Inf rer des donn es non ...

| PowerPoint PPT presentation | free to view

Calcul de tuple, de domaine et QBE PowerPoint PPT Presentation

Calcul de tuple, de domaine et QBE - s.SNAME WHERE EXISTS sp ( sp.s# = s.S# AND EXISTS p (p.COLOR = 'Red' ... Fort utiles, mais hors standard SQL l'heure actuelle. Probl mes de conception propre ...

s.SNAME WHERE EXISTS sp ( sp.s# = s.S# AND EXISTS p (p.COLOR = 'Red' ... Fort utiles, mais hors standard SQL l'heure actuelle. Probl mes de conception propre ...

| PowerPoint PPT presentation | free to view

Partie 4: Raisonnement pratique PowerPoint PPT Presentation

Partie 4: Raisonnement pratique - Au contraire, une fois que j'ai adopt l'intention de jouer au basket-ball, le choix est fait, et je ne dois plus peser le pour et le contre. ...

Au contraire, une fois que j'ai adopt l'intention de jouer au basket-ball, le choix est fait, et je ne dois plus peser le pour et le contre. ...

| PowerPoint PPT presentation | free to view

Les Heuristiques pour La Planification de Moindre Engagement PowerPoint PPT Presentation

Les Heuristiques pour La Planification de Moindre Engagement - Choisis une r solution pour la menace et ajoute les contraintes ... buts non expliqu s, et qui pr f re toujours les sous-buts le plus r cemment ajout , peut- tre d crit comme: ...

Choisis une r solution pour la menace et ajoute les contraintes ... buts non expliqu s, et qui pr f re toujours les sous-buts le plus r cemment ajout , peut- tre d crit comme: ...

| PowerPoint PPT presentation | free to view

Informatique PowerPoint PPT Presentation

Informatique - N cessit du stockage et de traitement de l'information. N cessit de ... logique suffisamment puissant pour d crire l'arithm tique des entiers admet des ...

N cessit du stockage et de traitement de l'information. N cessit de ... logique suffisamment puissant pour d crire l'arithm tique des entiers admet des ...

| PowerPoint PPT presentation | free to view

Annotations smantiques pour la localisation de ressources par des graphes tiquets PowerPoint PPT Presentation

Annotations smantiques pour la localisation de ressources par des graphes tiquets - Annotation de quelque chose : annotation et ressource (' document enrichment ' ... Homomorphisme de graphes bipartis tiquet s ajoutent. des conditions sur la structure et ...

Annotation de quelque chose : annotation et ressource (' document enrichment ' ... Homomorphisme de graphes bipartis tiquet s ajoutent. des conditions sur la structure et ...

| PowerPoint PPT presentation | free to download

Formal and Computer Models of CK Design theory PowerPoint PPT Presentation

Formal and Computer Models of CK Design theory - Forcing is a method invented by Paul Cohen(1963) for the creation of new sets ... Several implementations: NuPRL, LEGO, ALF, COQ, AGDA, Epigram ...

Forcing is a method invented by Paul Cohen(1963) for the creation of new sets ... Several implementations: NuPRL, LEGO, ALF, COQ, AGDA, Epigram ...

| PowerPoint PPT presentation | free to view

Master 1 informatique 20062007' Logique et Programmation' G' Hains - La logique quationnelle simplifie le traitement automatis de la logique avec ... clauses de Horn auxquelles on applique l'algorithme de r solution dans des ...

La logique quationnelle simplifie le traitement automatis de la logique avec ... clauses de Horn auxquelles on applique l'algorithme de r solution dans des ...

| PowerPoint PPT presentation | free to view

XML et les BD PowerPoint PPT Presentation

XML et les BD - XML et les BD 1. Introduction 2. Mod le de donn es 3. Langage de requ tes 4. Produits 5. Conclusion 6. Ex cution/Optimisation de Requ tes

XML et les BD 1. Introduction 2. Mod le de donn es 3. Langage de requ tes 4. Produits 5. Conclusion 6. Ex cution/Optimisation de Requ tes

| PowerPoint PPT presentation | free to download

Fonctions - Cela entra ne la possibilit de modification des variables du programme appelant impliqu es par la fonction. // Passage d'arguments par r f rence ...

Cela entra ne la possibilit de modification des variables du programme appelant impliqu es par la fonction. // Passage d'arguments par r f rence ...

| PowerPoint PPT presentation | free to view

Impl - Impl mentation XQuery Georges Gardarin Introduction Alg bre XML G n ration des plans

Impl mentation XQuery Georges Gardarin Introduction Alg bre XML G n ration des plans

| PowerPoint PPT presentation | free to download

Rappel - R gles de passage de l'alg bre relationnelle vers SQL. Fonctions ... Bien entendu ces attributs doivent appartenir aux relations indiqu es dans la partie from. ...

R gles de passage de l'alg bre relationnelle vers SQL. Fonctions ... Bien entendu ces attributs doivent appartenir aux relations indiqu es dans la partie from. ...

| PowerPoint PPT presentation | free to view

Logique et raisonnement scientifique - Exemple : on admet l'existence d'ensembles infinis (N, Z, Q, R, ... N, mais cette d finition axiomatique admet plusieurs mod les (et m me des ...

Exemple : on admet l'existence d'ensembles infinis (N, Z, Q, R, ... N, mais cette d finition axiomatique admet plusieurs mod les (et m me des ...

| PowerPoint PPT presentation | free to download

XML et les BD - CondCond ::= Expr Op Constant | Expr Op Expr | 'contains(' Expr , Text ' ... 'Expr ::= '$'VarName/XPath. ReturnClause ::= 'return' XMLElement ...

CondCond ::= Expr Op Constant | Expr Op Expr | 'contains(' Expr , Text ' ... 'Expr ::= '$'VarName/XPath. ReturnClause ::= 'return' XMLElement ...

| PowerPoint PPT presentation | free to download

Diapositive 1 - Tel.: 33 3 83 68 44 76, Fax: 33 3 83 68 44 61. e-mail: moureaux@cran. ... collaboration I3S (Sophia Antipolis) M. Antonini. collaboration CRAN (Nancy) V. ...

Tel.: 33 3 83 68 44 76, Fax: 33 3 83 68 44 61. e-mail: moureaux@cran. ... collaboration I3S (Sophia Antipolis) M. Antonini. collaboration CRAN (Nancy) V. ...

| PowerPoint PPT presentation | free to view

Rappels / concepts de base de l PowerPoint PPT Presentation

Rappels / concepts de base de l - Solution d'un probl me = s quence des tats permettant de mener de l' tat ... D finir les op rateurs pour passer d'un tat l'autre. Pouvoir construire l'espace des ...

Solution d'un probl me = s quence des tats permettant de mener de l' tat ... D finir les op rateurs pour passer d'un tat l'autre. Pouvoir construire l'espace des ...

| PowerPoint PPT presentation | free to download

Des constatations PowerPoint PPT Presentation

Des constatations - Programme en premi re et terminale L. la rentr e 2005 en premi re L ... On admet que cette fonction existe et est unique. C'est la fonction. ou fonction ...

Programme en premi re et terminale L. la rentr e 2005 en premi re L ... On admet que cette fonction existe et est unique. C'est la fonction. ou fonction ...

| PowerPoint PPT presentation | free to view

Les langues de sp PowerPoint PPT Presentation

Les langues de sp - Mais la linguistique de corpus s'applique toutefois galement aux langues de sp cialit , ... exprimant un jugement selon des crit res affectifs (loathsome) ...

Mais la linguistique de corpus s'applique toutefois galement aux langues de sp cialit , ... exprimant un jugement selon des crit res affectifs (loathsome) ...

| PowerPoint PPT presentation | free to view

LA PROPOSITION DE L'ODMG PowerPoint PPT Presentation

LA PROPOSITION DE L'ODMG - { attribute enum fonct{ing nieur, secr taire, analyste, programmeur} fonction; attribute float salaire ; ...

{ attribute enum fonct{ing nieur, secr taire, analyste, programmeur} fonction; attribute float salaire ; ...

| PowerPoint PPT presentation | free to view

Pr - Un terme de type variable peut tre instanci ou non. integer(X) = est-ce que X est un ... ajoute le fait personne(fran ois). au programme. Autres variantes : ...

Un terme de type variable peut tre instanci ou non. integer(X) = est-ce que X est un ... ajoute le fait personne(fran ois). au programme. Autres variantes : ...

| PowerPoint PPT presentation | free to download

Aucun titre de diapositive PowerPoint PPT Presentation

Aucun titre de diapositive - 2. La cha ne de traitement num rique : chantillonnage, quantification, ... Fr quence d' chantillonnage Fe = f0 e. Fr quence apparente e. Xe(f) Fe -Fe -f0. f0 ...

2. La cha ne de traitement num rique : chantillonnage, quantification, ... Fr quence d' chantillonnage Fe = f0 e. Fr quence apparente e. Xe(f) Fe -Fe -f0. f0 ...

| PowerPoint PPT presentation | free to download

Les arbres de dcisions PowerPoint PPT Presentation

Les arbres de dcisions - Si par contre on avait rempli le chariot de boissons, le manque gagner tait ... Le Dr DUBOIS avait indiqu que cela tait envisageable et ramenait les co ts de ...

Si par contre on avait rempli le chariot de boissons, le manque gagner tait ... Le Dr DUBOIS avait indiqu que cela tait envisageable et ramenait les co ts de ...

| PowerPoint PPT presentation | free to view

SQL : Un Langage Relationnel - Invent IBM San Jose, 1974 (Boyce & Chamberlin) pour System R ... On peut ajouter la clause d finissant une valeur par d faut dans le domaine ...

Invent IBM San Jose, 1974 (Boyce & Chamberlin) pour System R ... On peut ajouter la clause d finissant une valeur par d faut dans le domaine ...

Quantificateurs PowerPoint PPT Presentations