Download or read book M thodes symboliques pour la v rification de processus communicants written by Alain Kerbrat and published by . This book was released on 1994 with total page 190 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce travail porte sur la vérification formelle de programmes parallèles. Parmi les méthodes habituellement utilisées, nous nous intéressons aux méthodes basées sur la construction d'un modèle du programme à vérifier; la vérification proprement dite s'effectue sur ce modèle. Cette approche est limitée par l'explosion de la taille du modèle, dès que le programme traite est de complexité réaliste. Notre but est l'étude et la mise en œuvre de techniques permettant d'effectuer la vérification malgré cette explosion. Les techniques que nous présentons sont liées par une caractéristique commune : l'utilisation de méthodes symboliques de représentation du modèle. Nous étudions en premier lieu des techniques de réduction de modèles. Ces réductions s'opèrent par rapport à des relations d'équivalence basées sur la notion de bisimulation. Nous étudions en particulier un algorithme de minimisation de modèle pendant sa génération (Génération de Modèle Minimal). Dans une seconde partie, nous nous intéressons a deux techniques symboliques de représentation de modèles. Il s'agit d'une part de Graphes de Décision Binaires, qui permettent la manipulation efficace de formules booléennes, et d'autre part de systèmes d'inéquations linéaires, connus sous le nom de polyèdres convexes, pour la manipulation de variables entières. L'utilisation de ces techniques permet de représenter et manipuler des modèles de taille souvent prohibitive pour des méthodes énumératives classiques. Nous présentons la mise en œuvre de méthodes de comparaison et réduction de modèles aves les Graphes de Décision Binaires, avec en particulier l'algorithme de Génération de Modèle Minimal. L'application de l'outil correspondant à plusieurs exemples de programmes LOTOS a permis de montrer l'intérêt, mais aussi les limites de l'utilisation de cette représentation symbolique. Enfin, nous présentons une méthode d'analyse statique de protocoles, basée sur l'utilisation des polyèdres convexes. Cette analyse permet le calcul d'approximations supérieures d'invariants du programme et de vérifier la véracité de propriétés définies en termes de variables du programme.

Download or read book Algorithmes de graphes pour l analyse des s quences et structures g nomiques written by Romain Rivière and published by . This book was released on 2005 with total page 119 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mon travail de thèse porte sur le développement de méthodes pour l'étude des motifs de structures biologiques. La première partie de ce travail concerne l'étude des motifs d'ADN. L'ADN est modélisé par un mot sur l'alphabet A, C, G, T. Nous nous plaçons dans le cadre du modèle de séquence mélangée (modèle dit du "shuffling") dans lequel les nombres d'occurrences des facteurs de taille k sont fixés. Je propose un algorithme de génération aléatoire uniforme de séquences mélangées dans lesquelles apparaissent un certain nombre d'occurrences de motifs choisi à priori. D'un point de vue algorithmique, cela fait intervenir différente problèmes dont je montre qu'ils sont NP-complets. D'un point de vue biologique, ces séquences permettent d'estimer les Z-scores de motifs sachant que d'autres sont présents, ce qui est particulièrement important lors de la recherche de motifs correspondant à des signaux secondaires. Je propose le logiciel SMACK qui est capable de générer des séquences mélangées sous contraintes de motifs et d'estimer les Z-scores de tous les motifs d'une taille donnée dans ces modèles. La deuxième partie concerne l'étude des motifs d'ARN. L'ARN est modélisé par un graphe mixte, de degré borné, contenant un chemin hamiltonien connu. Je propose de modéliser un motif d'ARN par un sous-graphe induit connexe. Dans un premier temps, je développe un algorithme efficace d'énumération des motifs d'une molécule d'ARN. Puis, je propose plusieurs modèles de coloration des graphes représentant l'ARN, afin d'obtenir des représentations plus ou moins fines de celui-ci. Pour chacun des ces modèles, on introduit un étiquetage canonique des motifs d'ARN, ce qui nous permet de compter les occurrences des motife simplement par comparaisons de séquences. L'étape suivante est de comparer ces occurrences avec celles obtenues dans des modèles d'ARN aléatoire. Je traite du cas d'un modèle de graphe hamiltonien et du cas d'un modèle de structure secondaire utilisant le logiciel GenRGenS. Cette méthodologie est appliquée sur un ARN 23S, constituant de la grande sous-unité du ribosome de l'Haloarcula marismortui, ce qui permet d'en présenter des motifs que l'on pense pertinents.

Download or read book GENERATION DYNAMIQUE DE REPRESENTATIONS GRAPHIQUES POUR L AIDE AU RAISONNEMENT DE L APPRENANT written by MOHAMMED.. BENNANI and published by . This book was released on 1995 with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt: CE TRAVAIL S'INSCRIT DANS LE CADRE DE L'UTILISATION DU SUPPORT GRAPHIQUE DANS DES EIAO (ENVIRONNEMENTS INTERACTIFS D'APPRENTISSAGE PAR ORDINATEUR) POUR PERMETTRE A L'APPRENANT D'ASSIMILER DES CONCEPTS DU DOMAINE D'APPLICATION ET L'AIDER AINSI DANS SA CONDUITE DES RAISONNEMENTS. L'ETUDE MENEE ANALYSE L'AIDE GRAPHIQUE AU RAISONNEMENT DANS DIVERS ENVIRONNEMENTS ET PROPOSE UNE MODELISATION D'UN ENVIRONNEMENT DE CONCEPTION D'UNE AIDE GRAPHIQUE SYMBOLIQUE. NOTRE PROPOSITION SE SITUE DANS LE CONTEXTE DES EIAO FONDES SUR UNE ACTIVITE DE RESOLUTION DE PROBLEME. L'APPROCHE AUTEUR MODELISEE VISE A PERMETTRE A UN ENSEIGNANT, PROGRAMMEUR OCCASIONNEL, DE CONCEVOIR, DANS LE DOMAINE DE SON CHOIX, UN SYSTEME D'AIDE GRAPHIQUE QUI TIENT COMPTE DE LA RESOLUTION AUTOMATIQUE DU PROBLEME ET DE LA RECHERCHE D'UNE SOLUTION PAR L'APPRENANT. L'ACTIVITE DE L'AUTEUR SE DECOMPOSE EN DEUX PHASES: L'EDITION D'OBJETS GRAPHIQUES GENERIQUES QUI REPRESENTENT DES CONCEPTS DU DOMAINE ET L'INTEGRATION DE CES OBJETS DANS DES SEQUENCES D'AIDE. L'ENVIRONNEMENT MODELISE OCTAVE (OUTIL DE CONCEPTION, POUR UN TUTEUR, D'UNE AIDE VISUELLE DANS UN EIAO) PROPOSE UN EDITEUR DE MODELES GENERIQUES D'OBJETS GRAPHIQUES ET UN EDITEUR DE SEQUENCES D'AIDE VISUELLE. LA CONSTRUCTION D'UN MODELE GENERIQUE REPOSE SUR UNE MODELISATION GEOMETRIQUE DES FORMES ET DE LEUR EVOLUTION, A LAQUELLE SONT ASSOCIEES LES CONNAISSANCES QUI RELEVENT DES CONCEPTS DU DOMAINE. TROIS NOTIONS CLES INTERVIENNENT: UN MOTIF GRAPHIQUE EST OBTENU PAR ANCRAGE DE SES COMPOSANTS SUR CEUX D'UNE MACRO-CONSTRUCTION GEOMETRIQUE APPELEE CONFIGURATION CACHEE. LA DEFINITION D'UNE SEQUENCE D'AIDE VISUELLE REGROUPE LES CONNAISSANCES CORRESPONDANT A L'ANIMATION DES GRAPHIQUES, CELLES QUI EXPRIMENT L'INTENTION DE L'AUTEUR ET CELLES QUI SERVENT AUX STRATEGIES D'AIDE. CONTRAIREMENT A LA GENERATION D'ANIMATIONS PREDEFINIES RENCONTREE DANS DE NOMBREUX LOGICIELS QUI METTENT EN UVRE DES GRAPHIQUES SYMBOLIQUES, LES CONNAISSANCES PRESENTES DANS OCTAVE PERMETTENT A L'AUTEUR DE PREVOIR UNE ADAPTATION DYNAMIQUE DE L'ANIMATION ET DES INFORMATIONS ASSOCIEES AU CONTEXTE D'INTERACTION ENTRE L'APPRENANT ET L'EIAO. LA SOLUTION ELABOREE A CONDUIT A L'IMPLANTATION D'OCTAVE A L'AIDE DE L'ENVIRONNEMENT DE PROGRAMMATION OBJET SMALLTALK. L'ELABORATION D'UN MECANISME DE GENERATION AUTOMATIQUE DE CLASSES D'OBJETS CONTRIBUE A SOULAGER L'AUTEUR D'UN LOURD TRAVAIL DE PROGRAMMATION. DES EXEMPLES D'APPLICATION D'OCTAVE A L'AIDE A LA RESOLUTION DE PROBLEME DANS DEUX CADRES DIFFERENTS (LA CHIMIE QUANTITATIVE ET LA MECANIQUE) ONT PERMIS DE TESTER LES CONCEPTS EN VUE D'UNE PREMIERE VALIDATION DE L'ENVIRONNEMENT AUPRES D'ENSEIGNANTS ET DES APPROFONDISSEMENTS INDISPENSABLES AVANT UNE EXPERIMENTATION PLUS LARGE. LA MODELISATION ELABOREE ET LA REALISATION D'OCTAVE ONT CONDUIT A DE NOUVEAUX PROBLEMES: L'INTEGRATION AUX ENVIRONNEMENTS DE CONCEPTION DE SYSTEMES D'APPRENTISSAGES ET LA GENERALISATION DE L'UTILISATION D'OCTAVE A D'AUTRES CONTEXTES OU L'AIDE GRAPHIQUE S'AVERE UTILE

Download or read book Les graphes et leur visualisation written by Christian Berthet (auteur d'une thèse en informatique).) and published by . This book was released on 1982 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: éléments de la théorie des graphes, apport de la représentation graphique et introduction des notions de hiérarchisation et d'arc essentiel. les graphes bipartis: assimilation a des graphes orientes a deux niveaux hiérarchiques pour leur visualisation, analyse a l'aide d'un treillis de galois et algorithme de calcul de celui-ci. Les graphes values: présentation d'une méthode par seuillage permettant de se ramener a un ensemble de graphes orientes. Présentation de différentes méthodes traitant le problème du croisement des arcs dans les cas d'un graphe biparti ou d'un graphe oriente. Présentation d'algorithmes de saisie d'un graphe transitif. réalisation informatique sur un miniordinateur; environnement requis, performance des algorithmes, résultats obtenus

Download or read book Un mod le de recherche d information bas sur les graphes et les similarit s structurelles pour l am lioration du processus de recherche d information written by Yaël Champclaux and published by . This book was released on 2009 with total page 162 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse d'informatique s'inscrit dans le domaine de la recherche d'information (RI). Elle a pour objet la création d'un modèle de recherche utilisant les graphes pour en exploiter la structure pour la détection de similarités entre les documents textuels d'une collection donnée et une requête utilisateur en vue d'améliorer le processus de recherche d'information Ces similarités sont dites " structurelles " et nous montrons qu'elles apportent un gain d'information bénéfique par rapport aux seules similarités directes. Le rapport de thèse est structuré en cinq chapitres. Le premier chapitre présente un état de l'art sur la comparaison et les notions connexes que sont la distance et la similarité. Le deuxième chapitre présente les concepts clés de la RI, notamment l'indexation des documents, leur comparaison, et l'évaluation des classements retournés. Le troisième chapitre est consacré à la théorie des graphes et introduit les notations et notions liées à la représentation par graphe. Le quatrième chapitre présente pas à pas la construction de notre modèle pour la RI, puis, le cinquième chapitre décrit son application dans différents cas de figure, ainsi que son évaluation sur différentes collections et sa comparaison à d'autres approches.

Download or read book Contribution la repr sentation et la r solution du probl me de conception d clarative de sc nes 3D en synth se d image written by Valentin Popov and published by . This book was released on 2000 with total page 332 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE SE PLACE A LA FRONTIERE DE LA CONCEPTION DE L'UNIVERS PHYSIQUE ET DE L'UNIVERS NUMERIQUE DANS UN CADRE DECLARATIF. C'EST UNE DEMARCHE QUI VISE LA CONSTRUCTION DES SCENES (CONFIGURATIONS D'OBJETS 3D) A PARTIR DE LA DONNEE QUALITATIVE, INCOMPLETE ET INCERTAINE D'UN ENSEMBLE DE PROPRIETES. NOUS PROPOSONS D'ABORD LA METHODE DE CONCEPTION HI-COMMODE A BASE DE CONNAISSANCE, SUR LE PRODUIT ET LE PROCESSUS DE CONCEPTION. PAR CONCEPTUALISATION SOUS FORME D'UN MODELE NEUTRE DIT VIRTUEL, ELLE REND LE MODELE GEOMETRIQUE DU PRODUIT INDEPENDANT DES MOYENS GRAPHIQUES. A CE TITRE, HI-COMMODE INTEGRE DES TECHNIQUES DE CONCEPTUALISATION POUR LA REPRESENTATION ET LE RAISONNEMENT CLASSIFICATOIRE MULTI-POINTS DE VUE, LA PROPAGATION DES CONTRAINTES SPATIALES QUALITATIVES ET CAUSALES PROBABILISTES ET D'OPERATIONALISATION POUR L'INTERPRETATION DU MODELE VIRTUEL, LA CONSTRUCTION ET LA MANIPULATION DE STRUCTURES GEOMETRIQUES. LES ACTIVITES DE RAISONNEMENT SONT DEFINIES DANS UNE PHASE DE RESOLUTION, QUE NOUS INTRODUISONS DANS LA MODELISATION DECLARATIVE. LA TACHE DE CETTE PHASE EST DE COMPLETER LA DESCRIPTION INITIALE FLOUE ET INCOMPLETE PAR DES TECHNIQUES CLASSIFICATOIRES DE PARCOURS DE TAXINOMIES DES CONNAISSANCES ANTERIEURES ET DE PROPAGATION DE CONTRAINTES. LA METHODE HI-COMMODE S'APPUIE SUR UN MODELE CONCEPTUEL QUI DEFINIT LE TYPE ET LA STRUCTURATION DES CONCEPTS DE LA DESCRIPTION DES MODELES GEOMETRIQUES ET DES CONCEPTS D'APPARENCE DES SCENES A LA BASE DES META-MODELES FONCTIONNEL, STRUCTUREL, GEOMETRIQUE, SPATIAL, DE L'ASPECT REALISTE ET CAUSALE PROBABILISTE. CHAQUE META-MODELE EST DECOMPOSE EN TAXINOMIES LOCALES DIFFERENTES, ASSOCIEES AUX POINTS DE VUE CONCEPTEUR. LE PROCESSUS DE RESOLUTION PROPOSE, CONDUIT SOIT VERS LA CONSTRUCTION D'UNE FAMILLE DES SCENES QUAND LA DESCRIPTION EST COHERENTE, SOIT VERS LA DETECTION DES INCOHERENCES DE LA DESCRIPTION ET LA PROPOSITION DE SOLUTIONS PAR DEFAUT PERTINENTES. ENSUITE NOUS PROPOSONS UN LANGAGE A OBJET MULTIFONCTIONNEL DE HAUT NIVEAU D'ABSTRACTION BAPTISE SOML, UTILISE COMME UN OUTIL D'AIDE A LA CONCEPTION ET UN PROCEDE DE VERIFICATION DE L'IDEE DU CONCEPTEUR. CE LANGAGE PEUT STRUCTURER SOUS FORMES DE CLASSES D'OBJETS LES CONNAISSANCES STATIQUES (PROPRIETES) ET LES CONNAISSANCES DYNAMIQUES (TACHES ET METHODES). IL PERMET UNE ASSISTANCE DURANT TOUTES LES PHASES DU PROCESSUS DE CONCEPTION. LES SCENES CREEES PEUVENT ETRE ENSUITE FACILEMENT MODIFIEES ET REUTILISEES. ENFIN, LA METHODE HI-COMMODE ET LE LANGAGE SOML SONT IMPLANTES DANS UN ENVIRONNEMENT DECODES, OPERATIONNEL SOUS UNIX. IL INTEGRE UNE INTERFACE GRAPHIQUE, UN SYSTEME DE RESOLUTION, UN MODELEUR GEOMETRIQUE DE SOLIDES FONDE SUR DES ARBRES CSG ET UN LOGICIEL DE VISUALISATION.

Download or read book ETUDE ET MISE EN UVRE DE STRUCTURES DE DONNEES POUR LA RECHERCHE D ARBRES DANS LES GRAPHES VALUES written by BENOIT.. ROTTEMBOURG and published by . This book was released on 1993 with total page 250 pages. Available in PDF, EPUB and Kindle. Book excerpt: NOUS AVONS DECRIT LES MECANISMES DE BASE, ET LES CALCULS DE COMPLEXITE AMORTIE DES PRINCIPALES STRUCTURES DE DONNEES DE TYPE FILES DE PRIORITE (TAS DE FIBONNACI, TAS RELACHES ET TAS APPARIES). NOUS APPORTONS PLUSIEURS VARIANTES AUX TAS APPARIES ET ETENDONS LES TAS DE FIBONACCI A L'OPERATION DE DIFFERENCE SYMETRIQUE (TAS DE FIBONACCI REDONDANTS). NOUS AVONS EXPERIMENTE COMPARATIVEMENT CES DIFFERENTS TAS, AU SEIN D'ALGORITHMES COMBINATOIRES TELS QUE LA RECHERCHE D'ARBRES DE POIDS MINIMUM. A L'AIDE DES FILES DE PRIORITE NOUS AVONS ELABORE UN ALGORITHME D'ENUMERATION ORDONNEE DES K ARBRES DE POIDS MINIMUM D'UN GRAPHE. IL COMPORTE PLUSIEURS VARIANTES SELON LA DENSITE OU LA FONCTION DE POIDS DES ARETES DU GRAPHE. NOUS AVONS APPLIQUE CES STRUCTURES A LA CONSTRUCTION D'UN ALGORITHME DE RESOLUTION EXACTE DU PROBLEME DE STEINER DANS LES GRAPHES, PAR REDUCTION PUIS ENUMERATION. LA PREMIERE PHASE REGROUPE LES PRINCIPAUX TESTS DE REDUCTION (INCLUSION OU ELIMINATION D'ARETES ET DE SOMMETS) CONNUS A CE JOUR, EN ABAISSANT LA COMPLEXITE DE LEUR APPLICATION. LA DEUXIEME PHASE UTILISE L'ALGORITHME D'ENUMERATION ORDONNEE POUR RECHERCHER UN ARBRE DE STEINER SOLUTION. NOTRE APPROCHE PERMET DE TROUVER UNE SOLUTION EXACTE POUR DES GRAPHES MEME DENSES COMPORTANT PLUSIEURS CENTAINES DE SOMMETS, QUAND LA PROPORTION DE SOMMETS IMPOSES EST IMPORTANTE. LES BORNES INFERIEURES ET SUPERIEURES CALCULEES AU COURS DE L'ENUMERATION OFFRENT DES GARANTIES DE PERFORMANCE POUR LES SOLUTIONS APPROCHEES CONSTRUITES

Download or read book Pr cis of the Lectures on Architecture written by Jean-Nicolas-Louis Durand and published by Getty Publications. This book was released on 2000-01-01 with total page 363 pages. Available in PDF, EPUB and Kindle. Book excerpt: Jean-Nicolas-Louis Durand (1760–1834) regarded the Précis of the Lectures on Architecture (1802–5) and its companion volume, the Graphic Portion (1821), as both a basic course for future civil engineers and a treatise. Focusing the practice of architecture on utilitarian and economic values, he assailed the rationale behind classical architectural training: beauty, proportionality, and symbolism. His formal systematization of plans, elevations, and sections transformed architectural design into a selective modular typology in which symmetry and simple geometrical forms prevailed. His emphasis on pragmatic values, to the exclusion of metaphysical concerns, represented architecture as a closed system that subjected its own formal language to logical processes. Now published in English for the first time, the Précis and the Graphic Portion are classics of architectural education.

Download or read book The Natures of Maps written by Denis Wood and published by . This book was released on 2008 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: The authors demonstrate that maps of the natural, physical world are just as culturally and socially constructed as any map of property or territory.

Download or read book Divine Names on the Spot written by Fabio Porzia and published by . This book was released on 2023 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 'Ancient Greek and Semitic languages resorted to a large range of words to name the divine. Gods and goddesses were called by a variety of names and combinations of onomastic attributes. This broad lexicon of names is characterised by plurality and a tendency to build on different sequences of names; therefore, the Mapping Ancient Polytheisms project focuses on the process of naming the divine in order to better understand the ancient divine in terms of a plurality in the making. A fundamental rule for reading ancient divine names is to grasp them in their context - time and place, a ritual, the form of the discourse, a cultural milieu...: a deity is usually named according to a specific situation. From Artemis Eulochia to al-Lat, al-'Uzza and Manat, from Melqart to "my rock" in the biblical book of Psalms, this volume journeys between the sanctuary on Mount Gerizim and late antique magical practices, revisiting rituals, hymnic poetry, oaths of orators and philosophical prayers. While targeting different names in different contexts, the contributors draft theoretical propositions towards a dynamic approach of naming the divine in antiquity.'

Download or read book An Introductory Dictionary of Lacanian Psychoanalysis written by Dylan Evans and published by Routledge. This book was released on 2006-06-19 with total page 265 pages. Available in PDF, EPUB and Kindle. Book excerpt: Jacques Lacan's thinking revolutionised the theory and practice of psychoanalysis and had a major impact in fields as diverse as film studies, literary criticism, feminist theory and philosophy. Yet his writings are notorious for their complexity and idiosyncratic style. Emphasising the clinical basis of Lacan's work, An Introductory Dictionary of Lacanian Psychoanalysis is an ideal companion to his ideas for readers in every discipline where his influence is felt. The Dictionary features: * over 200 entries, explaining Lacan's own terminology and his use of common psychoanalytic expressions * details of the historical and institutional context of Lacan's work * reference to the origins of major concepts in the work of Freud, Saussure, Hegel and other key thinkers * a chronology of Lacan's life and works.

Download or read book How Maps Work written by Alan M. MacEachren and published by Guilford Press. This book was released on 2004-06-21 with total page 532 pages. Available in PDF, EPUB and Kindle. Book excerpt: Now available in paperback for the first time, this classic work presents a cognitive-semiotic framework for understanding how maps work as powerful, abstract, and synthetic spatial representations. Explored are the ways in which the many representational choices inherent in mapping interact with information processing and knowledge construction, and how the resulting insights can be used to make informed symbolization and design decisions. A new preface to the paperback edition situates the book within the context of contemporary technologies. As the nature of maps continues to evolve, Alan MacEachren emphasizes the ongoing need to think systematically about the ways people interact with and use spatial information.

Download or read book Modelling in Aquatic Chemistry written by OECD Nuclear Energy Agency and published by Nuclear Energy Agency. This book was released on 1997 with total page 788 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Art in History History in Art written by David Freedberg and published by Getty Publications. This book was released on 1996-07-11 with total page 458 pages. Available in PDF, EPUB and Kindle. Book excerpt: Historians and art historians provide a critique of existing methodologies and an interdisciplinary inquiry into seventeenth-century Dutch art and culture.

Download or read book The Severed Head written by Julia Kristeva and published by Columbia University Press. This book was released on 2012 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: Renowned philosopher and cultural theorist Kristeva (Powers of Horror: An Essay on Abjection) offers an extended consideration of artistic figurations of the severed head, the organizing theme to an exhibition she coordinated at the Louvre in 1998. Though she follows a single historical trajectory, moving from Paleolithic skull cults to antique Greek sculpture to the Surrealist drawings, Kristeva eschews the disciplinary constraints of art history, instead employing psychoanalysis to explore the intertwined problems of representation and mortality posed by the severed head. For Kristeva, the capacity to figure the life of the mind first requires a confrontation with this horrific object that stands at the boundary between life and death, registering not only the loss of corporeal form but also subjective interiority. Though this book does not engage with recent images of decapitation, it is not without contemporary political-cultural import; for Kristeva, these cruel artistic figurations offer us the capacity to contemplate the sacred within a technology-driven contemporary visual culture. Verdict While a challenging text, this beautifully written and richly layered meditation on mortality and representation will undoubtedly appeal to those readers interested in semiotic and psychoanalytically informed readings of art.-Jonathan Patkowski, CUNY Graduate Ctr.(c) Copyright 2012. Library Journals LLC, a wholly owned subsidiary of Media Source, Inc. No redistribution permitted.

Download or read book Culture 2030 indicators written by UNESCO and published by UNESCO Publishing. This book was released on 2019-11-18 with total page 112 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Graphics Recognition Algorithms and Applications written by Dorothea Blostein and published by Springer. This book was released on 2014-10-08 with total page 370 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents refereed and revised papers presented at GREC 2001, the 4th IAPR International Workshop on Graphics Recognition, which took place in Kingston, Ontario, Canada in September 2001. Graphics recognition is a branch of document image analysis that focuses on the recognition of two-dimensional notations such as engineering drawings, maps, mathematical notation, music notation, tables, and chemical structure diagrams. Due to the growing demand for both o?-line and on-line document recognition systems, the ?eld of graphics recognition has an excitingand promisingfuture. The GREC workshops provide an opportunity for researchers at all levels of experience to share insights into graphics recognition methods. The workshops enjoy strongparticipation from researchers in both industry and academia. They are sponsored by IAPR TC-10, the Technical Committee on Graphics Recog- tion within the International Association for Pattern Recognition. Edited v- umes from the previous three workshops in this series are available as Lecture Notes in Computer Science, Vols. 1072, 1389, and 1941. After the GREC 2001 workshop, authors were invited to submit enhanced versions of their papers for review. Every paper was evaluated by three reviewers. We are grateful to both authors and reviewers for their careful work during this review process. Many of the papers that appear in this volume were thoroughly revised and improved, in response to reviewers’ suggestions.