Preuve automatique de la sûreté de logiciels critiques (Vidéo)

Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En particulier, il serait inacceptable qu'un tel logiciel puisse produire des erreurs à l'exécution. Il est mathématiquement impossible de déterminer de manière ...
Author(s): No creator set

License information
Related content

Virtual Maths, Brick Density - Water Displacement method
Presentation explaining how to calculate the density of a brick using water displacement method.
Author(s): Leeds Metropolitan University

License information
Related content

http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

What Makes a Good Chairman?
Good chairs know whom they are accountable to and it’s not shareholders or employees.
Author(s): Stanislav Shekshnia, Affiliate Professor of Entrep

License information
Related content

Rights not set

Cultural diversity and intercultural communication. A general presentation

Comment se construit la communication interculturelle? Quels en sont les enjeux? A travers l'étude et la définition de notions telles que la culture, l'identité culturelle, la communication sociale...Peter Stockinger dévoile les rouages de la communication interculturelle et démontre combien cette communication est devenu un défi majeur de notre siècle.

La conférence a été donnée à l'Université Victo
Author(s): No creator set

License information
Related content

Entretien avec Ricardo Fernández (Rencontres 2010)

Scénariste uruguayen, Ricardo Fernández Blanco vit à Madrid depuis de longues années. Il avait écrit une nouvelle qu’il a décidé de réécrire en scénario, sur lequel il a travaillé avec la cinéaste Ana Díez. Tout au long du film, "Paisito" (2009), il tente de revenir sur les douloureuses années 70 dans son pays d’origine, sans donner raison plus à un côté qu’à l’autre, ce qui lui vaut une acceptation mitigée en Uruguay, alors qu’ailleurs le film m
Author(s): No creator set

License information
Related content

Entretien avec Vincent Carelli (Rencontres 2010)

L'anthropologue Vincent Carelli a créé au Brésil, en1987, le "Projet Vídeo nas Aldeias" qui vise à former des réalisateurs de cinéma d'origine indienne. Après avoir suivi des études de Sciences sociales à l'Université de São Paulo, Vincent Carelli a travaillé à la FUNAI (Fundação Nacional do Índio) à Brasilia et a participé à plusieurs projets liés aux Indiens brésiliens. Son documentaire "Corumbiara", réalisé en 2009, a obtenu, parmi d'autr
Author(s): No creator set

License information
Related content

Entretien avec Vincent Carelli (Rencontres 2010)

L'anthropologue Vincent Carelli a créé au Brésil, en1987, le "Projet Vídeo nas Aldeias" qui vise à former des réalisateurs de cinéma d'origine indienne. Après avoir suivi des études de Sciences sociales à l'Université de São Paulo, Vincent Carelli a travaillé à la FUNAI (Fundação Nacional do Índio) à Brasilia et a participé à plusieurs projets liés aux Indiens brésiliens. Son documentaire "Corumbiara", réalisé en 2009, a obtenu, parmi d'autr
Author(s): No creator set

License information
Related content

Entretien avec Nicolás Pereda (Rencontres 2010)

Nicolás Pereda est un cinéaste mexicain. On lui doit trois longs métrages, tous passés à Toulouse, par "Cinéma en Construction" puis en compétition. Il travaille toujours avec le même acteur, très singulier, et d’une façon générale, a une équipe qui varie peu, tout en faisant des propositions chaque fois différentes. Dans son dernier film, "Perpetuum mobile" (2009), il évoque le mouvement permanent des gens qui déménagent, et l’accumulation d’objets
Author(s): No creator set

License information
Related content

Entretien avec Nicolás Pereda (Rencontres 2010)

Nicolás Pereda est un cinéaste mexicain. On lui doit trois longs métrages, tous passés à Toulouse, par "Cinéma en Construction" puis en compétition. Il travaille toujours avec le même acteur, très singulier, et d’une façon générale, a une équipe qui varie peu, tout en faisant des propositions chaque fois différentes. Dans son dernier film, "Perpetuum mobile" (2009), il évoque le mouvement permanent des gens qui déménagent, et l’accumulation d’objets
Author(s): No creator set

License information
Related content

Entretien avec Paz Fábrega (Rencontres 2010)

Cinéaste costaricienne, elle présente son premier long métrage en compétition, qui met en scène une enfant et une jeune femme dans un décor de plage, en refusant le côté folklorique des couleurs vives des tropiques.
D’autre part, elle évoque la trajectoire à suivre dans son petit pays pour faire du cinéma, et pouvoir le montrer à un public qui s’y intéresse. L’encouragement que donne le fonds centre-américain est très modeste, mais il a la vertu d’exister.


Author(s): No creator set

License information
Related content

Experiencing War (Voices of War): Stories from the Veterans History Project
The term “buffalo soldiers” dates to post-Civil War conflicts with Indians who granted the honorific to an all-black cavalry outfit. Buffalo soldier units served in the Spanish-American War, World War I, and the Italian campaign of World War II, when elements of the 92nd Division were the only black units in that war to serve in combat. The road to Italy passed through various posts in the segregated South and Ft. Huachuca, an isolated Arizona outpost where the 92nd assembled for the final p
Author(s): No creator set

License information
Related content

A História das Coisas
documentário
Author(s): No creator set

License information
Related content

Mythbusters - Mona Lisa drawn in 80 milliseconds

This video shows the difference between a CPU (robot) and a GPU by demonstrating their painting capacities.

read more


Author(s): EduTube

License information
Related content

Rights not set

Conférence Douchet

Conférence Douchet


Author(s): No creator set

License information
Related content

Un extrait de "Cercle vicieux" (N.T. Homayoun, 2005)

Dans la cadre de la journée Téhéran organisée à la Cinémathèque française le 13 juin 2010, découvrez un extrait du film Cercle vicieux de Nader T. Homayoun, entretien avec Jafar Panahi, réalisé le 3 juin chez lui à Téhéran.


Author(s): No creator set

License information
Related content

Henry Luce
Henry Luce, co-founder of Time, Inc., invented the modern magazine when he created a magazine that contained brief, accessible, image-laden news stories to fit into the hectic lives of post-war Americans. After viewing the film that covers the major periods of Luce's life, students will create a version of a "Time" magazine, a "March of Time" video, or a photo-essay that reflects Luce's journalist style. Students will also role play people throughout history who appeared on the cover of Time mag
Author(s): No creator set

License information
Related content

Wayfinders: A Pacific Odyssey
This is the companion website for a film that features a community of Pacific Islanders as they build sailing canoes and follow the stars on a 2,000-mile voyage across the ocean in the wake of their ancestors. The site includes a wayfinder game, an essay on navigating without instruments, an interview with a wayfinding expert, and a history of the Polynesian people.
Author(s): No creator set

License information
Related content

The Mission Hill School (2001)
This website is built around a documentary film on the portfolio graduation process at the Mission Hill School. The documentary and the site depict both the development of the students' written work and presentations, and the efforts of the faculty to implement and refine their approach. Sections of the film are juxtaposed with school documents and examples of students' work.
Author(s): No creator set

License information
Related content

Table ronde - le Cinéma iranien aujourd'hui

Le cinéma entre parfois en résonance avec l'Histoire en train de se faire, des films rencontrent un moment politique ou le provoquent. Le cinéma iranien des dix dernières années se révèle comme un écho puissant des déchirures et des évolutions de la société iranienne. Depuis un an, la contestation prouve que le pays réel veut faire entendre sa voix et reprendre en mains sa destinée. Des cinéastes tournent...
À lRencontre avec Marjane Satrapi (Persepolis),
Author(s): No creator set

License information
Related content

Synthesis of neutral anion receptor 5,10-bis-(2-(4-fluorophenyl)phenylurea)-15,20-diphenylporphyrin
Binding studies were performed with a bisurea-picket porphyrin host receptor (a,a)-5,10- Bis-(2-(4-fuorophenyl)phenylurea)-15,20-diphenylporphyrin (1a) and TBA salts as its guest. Previously our group reported1 on the binding studies of tetrakis-urea-picket porphyrin (a,a,a,a)-5,10,15,20-tetrakis-(2-(4-fuorophenyl)phenylurea)porphyrin (3) and tris-urea-picket porphyrin (a,a,a)-5,10,15-tri(2-(4-fuorophenyl)phenylurea)-20-phenylporphyrin (2) using polar solvent, DMSO, where a strong binding prefer
Author(s): Calderon-Kawasaki, Kenichi E.

License information
Related content

Copyright Kenichi E.Calderon-Kawasaki, 2006. All rights reserved.