1.

Record Nr.

UNISOBE600200009197

Autore

Spitzer, Leo

Titolo

Cinque saggi di ispanistica / Leo Spitzer ; Presentazione e contributo bibliografico a cura di Giovanni Maria Bertini ; coll. Roberto Radicati di Marmorito

Pubbl/distr/stampa

Torino, : Giappichelli, s1962

Descrizione fisica

290 p. ; 30 cm

Collana

Università di Torino . Pubblicazioni della Facoltà di Magistero ; 19

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910404120603321

Autore

Priem Karin

Titolo

They did not stop at Eboli : UNESCO and the Campaign against Illiteracy in a Reportage by David "Chim" Seymour and Carlo Levi (1950) / / Karin Priem, UNESCO, Carole Naggar

Pubbl/distr/stampa

Berlin/Boston, : De Gruyter, 2020

München ; ; Wien : , : De Gruyter Oldenbourg, , [2020]

©2020

ISBN

9783110651751

3110651750

9783110655599

3110655594

Edizione

[1st ed.]

Descrizione fisica

1 online resource (VII, 296 p.)

Collana

Appearances - Studies in Visual Research ; ; 1

Soggetti

HISTORY / Study & Teaching

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.



Nota di contenuto

Frontmatter -- Contents / Sommaire -- Preface by the Series Editors -- Avant-propos des éditrices et éditeurs de la série -- Foreword / Azoulay, Audrey -- Préface / Azoulay, Audrey -- Editorial Note -- Note éditoriale -- Part I: OUT OF CONTEXT / HORS CONTEXTE -- Close-Ups / Gros plans -- List of Illustrations / Liste des illustrations -- Part II: IN CONTEXT / EN CONTEXTE -- The Album as an Archival Object / L'album comme objet d'archives -- Texte et légendes de « Chim » -- Textual Sources / Sources écrites -- Italy Fights the Battle against Illiteracy / L'Italie mène la bataille contre l'analphabétisme / Lengrand, Paul -- Letter from Paul Lengrand to UNESCO, 1952 / Lettre de Paul Lengrand à l'UNESCO, 1952 -- Five Letters from David "Chim" Seymour to Carlo Levi, 1950-1952 / Cinq lettres de David « Chim » Seymour à Carlo Levi, 1950-1952 -- Carlo Levi, "Southern Italy Fights the Battle against Illiteracy," UNESCO Courier 5, no. 3 (1952) / Carlo Levi : L'Italie du Sud mène une dure bataille contre l'analphabétisme. In : Le Courrier de l'UNESCO 5, no 3 (1952) -- Part III: REFLECTIONS / RÉFLEXIONS -- UNESCO's Archival Collections: A Rich Source for Telling the Gripping Story of the Fight against Illiteracy in Southern Italy / Hendel, Giovanna -- Les collections d'archives de l'UNESCO : une source précieuse pour raconter l'histoire passionnante de la lutte contre l'analphabétisme dans le sud de l'Italie / Hendel, Giovanna -- The "Agony of the School" in Southern Italy in the Images of Italian Photojournalists, 1940s-1950s / Meda, Juri -- « L'agonie de l'école » en Italie du sud dans les photographies de photojournalistes italiens, des années 40 aux années 50 / Meda, Juri -- Carlo Levi and Chim: Ethics, Empathy, and Politics - A Journey into the Mezzogiorno / Naggar, Carole -- Carlo Levi et Chim : éthique, empathie et politique - un voyage dans le Mezzogiorno / Naggar, Carole -- David Seymour's Album on the Fight against Illiteracy in Calabria as a Tool of Mediatization: Material Traces of Editing and Visual Storytelling / Priem, Karin -- L'album de David Seymour sur la lutte contre l'analphabétisme en Calabre en tant qu'outil de médiatisation : traces matérielles de la rédaction et de la narration visuelle / Priem, Karin -- Acknowledgements -- Remerciements -- Contributors / Auteurs -- Picture Credits / Crédits photographiques -- Text Credits / Copyrights des textes

Sommario/riassunto

The analysis of UNESCO's audio-visual archives for their digitization has brought to light a forgotten album of 38 contact sheets and accompanying texts by Magnum photographer, David "Chim" Seymour - a reportage made in 1950 for UNESCO on the fi ght against illiteracy in Italy's southern region of Calabria. A number of his photographs appeared in the March 1952 issue of UNESCO Courier in an article written by Carlo Levi, who had gained worldwide fame with his novel Christ Stopped at Eboli (1945). L'analyse des archives audio-visuelles de l'UNESCO en vue de leur numérisation a permis de découvrir un album oublié comprenant 38 planches-contact et des textes d'accompagnement du photographe de Magnum David « Chim » Seymour - un reportage réalisé en 1950 pour l'UNESCO sur la bataille contre l'analphabétisme en Calabre, une région du sud de l'Italie. Un certain nombre de ses photographies ont été publiées dans le numéro de mars 1952 du Courrier de l'UNESCO avec un article de Carlo Levi, dont le roman Le Christ s'est arrêté à Eboli (1945) lui avait valu une renommée internationale



3.

Record Nr.

UNINA9910349404503321

Titolo

Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018

ISBN

9783030008017

3030008010

Edizione

[1st ed. 2018.]

Descrizione fisica

1 online resource (X, 215 p. 32 illus.)

Collana

Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 10997

Disciplina

005.131

005.115

Soggetti

Artificial intelligence

Computer programming

Software engineering

Numerical analysis

Computer science

Artificial Intelligence

Programming Techniques

Software Engineering

Numerical Analysis

Computer Science Logic and Foundations of Programming

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di contenuto

Constraints -- Constraint Solving on Hybrid Systems -- Run-time Analysis of Temporal Constrained Objects -- Implementation of Logical Retraction in Constraint Handling Rules with Justifications -- The Proportional Constraint and Its Pruning -- An Operational Semantics for Constraint-logic Imperative Programming -- Hypertree Decomposition: The First Step Towards Parallel Constraint Solving -- Declarative Systems -- Declarative Aspects in Explicative Data Mining for Computational Sensemaking -- An Approach for Representing Answer



Sets in Natural Language -- Techniques for Efficient Lazy-Grounding ASP Solving -- Reasoning Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic Testing of Functional Logic Programs -- Declarative XML Schema Validation with SWI-Prolog -- plspec - A Specification Language for Prolog Data.

Sommario/riassunto

This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming. .