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

The Pursuit of Happyness Part 2 of 2

Part 2 of the amazing rags-to-riches story of the formerly homeless, now millionaire entrepreneur, Christopher Gardner, on which the movie 'The Pursuit of Happyness' is based.

read more


Author(s): samosama

License information
Related content

Rights not set

Fluensee - iPhone English to Hindi Translator
Description not set
Author(s): pranav_garg

License information
Related content

Rights not set

Electrons in fields: electric field
In the part about the path of electrons in the electric field of a plate capacitor students can manipulate the acceleration voltage and the voltage between the capacitor plates of an electron deflection tube. Depending on the experimental settings the reaction of the experiment is displayed on the screen. The students have to accomplish exercises which scaffold learning according to a scientific inquiry process.
Author(s): No creator set

License information
Related content

Product Design
The essence of industrial design engineering (IDE) is designing and improving products which are used daily and intensively, at home or at work. The faculty is committed to study, innovate and improve the development of durable products and their services for people, on the basis of the balanced interests of users, industry, society and the environment. The faculty pursues this mission through a multidisciplinary approach that integrates human aspects - i.e. ergonomics, market, organisation and
Author(s): Creator not set

License information
Related content

by-nc-sa http://creativecommons.org/licenses/by-nc-sa/3.0/

Sallie Francis Heckman letter to Catharine A. Ballard, July 31, 1859
Miss Heckman writes a newsy letter about mutual acquaintances.,Transcripts provided by previous owner. Catharine (Kate) Ballard became Catharine (Kate) Garman when she married George Garman in October, 1864.
Author(s): Heckman, Sallie Heckman

License information
Related content

Indiana Historical Society,Digital Image © 2009 Indiana Historical Society. All Rights Reserved.

Grand Hotel, Point Clear, Alabama
This is a color photograph of the Grand Hotel in Point Clear, Alabama. Postcard text: (back) In addition to salt water bathing in the blue waters of Mobile Bay "right in its front yard," Grand Hotel also maintains a large fresh water pool with under-water lighting. The hotel's 18-hole golf course, only a few hundred yards away, is one of the South's best.
Author(s): Creator not set

License information
Related content

This image is the property of the Auburn University Libraries and is intended for non-commercial use. Users of the image are asked to acknowledge the Auburn University Libraries. For information about

Jasmine Hill, Montgomery, Alabama 2
This image is a color photograph of Jasmine Hill, located near Montgomery, Ala. Postcard text: (back) Exact copy of what remains of the oldest Greek Temple to Hera, situated at Olympia.
Author(s): Creator not set

License information
Related content

This image is the property of the Auburn University Libraries and is intended for non-commercial use. Users of the image are asked to acknowledge the Auburn University Libraries. For information about

Methodist Church and Kappa Sigma Hall, Auburn, Alabama
This image is a black and white photograph of Gay Street in Auburn, Ala., showing the Auburn United Methodist Church and Kappa Sigma Hall in 1924. This is a small postcard cut from a larger postcard.
Author(s): Creator not set

License information
Related content

This image is the property of the Auburn University Libraries and is intended for non-commercial use. Users of the image are asked to acknowledge the Auburn University Libraries. For information about

Kids in the Hall of Planet Earth: Rocks in Your Cabinet
This Web site, part of Kids in the Hall of Planet Earth, provides an interactive way to learn about the rocks and minerals found in everyday objects. Here, kids start with a clickable kitchen scene. There are more than 20 items to examine – everything from cereal and salt to porcelain plates and copper pots. For each item, students are taken to an information screen that explains the rock or mineral and how it has been used in the item.
Author(s): No creator set

License information
Related content

Mrs. W. A. Battey feeds her Rhode Island hens in Bullock County, Alabama
Caption: "Mrs. W. A. Battey has 300 Rhode Island hens. Bullock Co." March 18, 1927.,JPEG from black-and-white photograph
Author(s): Unknown

License information
Related content

This image is the property of the Auburn University Libraries and is intended for non-commercial use. Users of the image are asked to acknowledge the Auburn University Libraries. For information about

Sister of slain Pakistani woman accuses husband
More updates and breaking news: http://smarturl.it/BreakingNews The sister of Farzana Iqbal, a Pakistani woman beaten to death outside a court building, says that Farzana's husband was the killer. Natalie Thomas reports. Subscribe: http://smarturl.it/reuterssubscribe More Breaking News: http://smarturl.it/BreakingNews Reuters tells the world's stories like no one else. As the largest international multimedia news provider, Reuters provides coverage around the globe and across topics including
Author(s): No creator set

License information
Related content

Orford Castle J860389

ORFORD CASTLE, Suffolk. Exterior view.


Author(s): No creator set

License information
Related content

Internet Scout Project
Newton's Apple, the award-winning national science program for kids, has a companion Web site with lots of good lesson plans and activities. The Science Try Its page contains hands-on science activities from the past six seasons of shows, including such things as making a barometer and a hovercraft. Each Try It includes a description, illustration, and explanation of the science behind the result. Teachers, parents, and kids will love how easy it is to conduct experiments that can be completed w
Author(s): No creator set

License information
Related content

Rights not set

Lecture 18 - 11/30/2010
Lecture 18
Author(s): No creator set

License information
Related content

Essential Science for Teachers: Earth and Space Science
In-depth interviews with children that uncover their ideas about the topic at hand.,The video shows the student describing how rocks can come in many different sizes such as grains of sand and large boulders. The interviewer further probes to find out how the student thinks that something as small as a grain of sand can be a rock.
Author(s): Harvard-Smithsonian Center for Astrophysics

License information
Related content

Corporation for Public Broadcasting "All Rights Reserved"

Essential Science for Teachers: Physical Science: Session 2. The Particle Nature of Matter: Solids,
What simple idea links together all of chemistry and physics? How can a close study of the macroscopic differences among solids, liquids, and gases support a microscopic model of tiny, discrete, and constantly moving particles? In this session, participants learn how the "particle model" can be turned into a powerful tool for generating predictions about the behavior of matter under a wide range of conditions.,This segment shows the interviewer demonstrating phenomena (water, solid, air) being
Author(s): Harvard-Smithsonian Center for Astrophysics

License information
Related content

Corporation for Public Broadcasting "All Rights Reserved"

Essential Science for Teachers: Earth and Space Science
In-depth interviews with children that uncover their ideas about the topic at hand.,In this segment the interviewer is trying to find out if the student has prior knowledge about types of rocks by asking her about the stripes on the rock. The student uses the word "metamorphic" and goes on to explain what a metamorphic rock is. The interviewer probes further by asking her why rocks get pressed together and where the stripes may have come from. He then shows her a picture to see if she can connec
Author(s): Harvard-Smithsonian Center for Astrophysics

License information
Related content

Corporation for Public Broadcasting "All Rights Reserved"

Beem Letter, December 1863 (page 3)
gone in, and perhaps a number of others will yet
go in. None of Co. "H" have reenlisted, nor do I think
any will. They all know that I do not propose to
stay in the service, but whether my example
has any influence on them or not is more than
I can tell. I am neither trying to persuade them
to go in, nor saying anything to keep them from it,
but leave them to decide for themselves. I think those
who reenlist for another three years are entitled
to get praise, bu

Author(s): Creator not set

License information
Related content

Digital image © 2004 Indiana Historical Society. All Rights Reserved.

Beem Letter, December 1863 (page 2)
the head ache when I get up in the morning.
I have no doubt you are eating a good turkey
dinner about this time. At least I hope so, and
may you have a good appetite to eat some of the
choice dressing and bosom of the turkey. Next Christ=
mas, my dear, I will be with you, and will you
have a turkey dinner for me?
I think I remember what I did, and where
I was at, this day two years ago. I was in Romney,
boarding at Mrs. Bowles', and had a nice turkey,
and

Author(s): Creator not set

License information
Related content

Digital image © 2004 Indiana Historical Society. All Rights Reserved.