Model Checking Concurrent Programs
Introduction to the use of Promela and SPIN as a model-checker for verifying concurrent programs. The underlying transition system is used as a model for the interpretation of Linear Temporal Logic (LTL) formulas.
Cause and effect writing: What it looks like and who reads it
Students examine the causes and effects presented in a brochure called "Ozone: The Good and the Bad." They also examine the language of the brochure with regard to audience appropriateness. Students then write their own brochures examine their classmates' brochures for cause and effect and for audience appropriateness.
Desegregation Mandate: Jefferson County, AL
A 1967 federal court order resulted in this document, which mandated school desegregation in Birmingham.
Model United Nations Headquarters
Model United Nations (UN) is an authentic simulation of the U.N. General Assembly and other multilateral bodies. This Headquarters homepage offers an 'ask an ambassador' section, an overview of the Model UN, FAQ, information on how to get started and how to prepare for a conference. Users can also follow links to several interactive forums, a conference calendar, additional links and e-news.
The Living Edens: Virtual Yellowstone Tour
This Starting Point page describes a virtual tour of Yellowstone National Park in Wyoming featured on the Public Broadcasting Service (PBS) website. In this tour, students act as park rangers to research geological features of Yellowstone, locate these features on maps, and describe and define associated geologic terms. The features discussed include geysers, hot springs, canyons, waterfalls and mudpots. On this page, users can find learning goals, teaching notes and tips, teaching materials, as
Home, Home on the River
In this case study activity, students will examine the complex issues that result from human use of ecologically sensitive areas. The students will investigate these issues from the point of view of their major/career path. This example page is part of the Starting Point collection and was adapted from the Lifelines Online case study. Users can access information about the exercise's learning goals, context for use, teaching notes and tips, teaching materials, assessment ideas, references and to
This website from the "On the Cutting Edge" workshop series is designed for faculty who teach undergraduate geochemistry and for geochemistry students. Here you will find a growing collection of materials for teaching geochemistry, such as classroom activities and a collection of internet resources. A database of geochemical analytical equipment provides information about instruments across the country that is available for use. The site also contains presentations and discussions from the sprin
Igneous Rocks for Undergraduate Courses
This site contains photographs of 22 igneous rock hand samples. Clicking on an image brings up a larger view of the sample. In addition, links to thin sections are available for some of the samples. Thin sections can be seen in both crossed polarized light and plane polarized light by moving the cursor on and off the photomicrograph. This resource is part of the Teaching Petrology collection. http://serc.carleton.edu/NAGTWorkshops/petrology03/index.html
Minuteman Missile National Historic Site: Protecting a Legacy of the Cold War
tells the story of one of the most significant strategic weapons in U.S. history: the Minuteman ICBM (Intercontinental Ballistic Missile). By 1965 there were 1,000 Minuteman ICBMs hidden across the Great Plains in six missile fields, transforming the prairie into a military-technological frontier and providing a key component in the U.S. Cold War policy of deterrence.
You Decide: Should the American space program send a manned mission to Mars?
This educational guide focuses on whether or not the American Space Program should send a manned Mission to Mars. Students are invited to examine the arguments on both sides of the debate, developing critical thinking skills as they work through the activities. Students will learn how to support their arguments with evidence and reason. It is expected that at the end of this guide students will determine where they stand on this controversial issue.
You Decide: Is the Bush Administration's "No Child Left Behind" policy of high-stakes testing good f
This educational guide focuses on high-stakes testing in public education and the related social, legal, personal, political, national and local implications surrounding the issue. Students are invited to examine arguments from both sides of the debate, developing critical thinking skills as they work through the activities and learn how to support their arguments with evidence and reason. It is expected that students will effectively determine where they stand on this controversial issue and be
You Decide: Do Americans pay too much in federal income tax?
This educational guide focuses on federal income tax, investigating different tax systems and the fairness and efficacy of each. Students are invited to examine the arguments on both sides of the debate, developing critical thinking skills as they work through the activities. Students will learn how to support their arguments with evidence and reason. It is expected that at the end of this guide students will determine where they stand on this controversial issue.
On the Case: An Introduction to the Genre of Mysteries
In this lesson, students will view a video from the series Reading Rainbow, "Mystery on the Docks" by Thacher Hurd. Mysteries provide an opportunity to teach reading strategies such as questioning, prediction and problem solving. This lesson will also focus on the characteristics common to all mysteries and the devices that authors use to create setting, characters, plot and suspense.
Alternative discussion formats: museum exhibit design
Designing museum exhibits encourages students to think creatively and to use a wide range of thinking skills.
Establishing Borders: The Expansion of the United States, 1846-48
This site offers geography and history activities showing how two years in history had an indelible impact on American politics and culture. Students interpret historical maps, identify territories acquired by the U.S., identify states later formed from these territories, examine the territorial status of Texas, and identify political, social, and economic issues related to the expansion of the U.S. in the 1840s.
This is an exhibit that features the works of French artists who painted in the time of Napoleon. With the revolution, French painting resumed its moral and political purpose and embraced the style known as neoclassicism. After 1789, artists increasingly sought noble themes of public virtue and personal sacrifice from the history of ancient Greece or Rome.
Welcome to my room, 3. klassile
UNIT 11 - Welcome to My Room. 3. klass, I kooliaste. Word'is koostatud 10 töölehte sõnavara ja grammatika omandamiseks."Arvuti koolis" lõputöö.
Calisphere Themed Collection - 1780-1880: California in Transition: Early California Exploration and
California has always been a place of cultural interaction. Early California evolved and changed with each new group of settlers. These images depict the developing interconnectedness of California's early cultures. They also underscore the importance of movement and later settlement of peoples in California. Some of the modern images underscore the contested and often romanticized nature of California’s Spanish and Mexican heritage. This is a collection of primary source images.
Roberge 6.302 Lecture 09
Description not set
Building Molecular Models of DNA, Protein, and Lipids
Molecular models of DNA, protein (alpha-helix and beta-pleated sheet), and lipids are built to scale. With a minimum of scientific jargon, these laboratory exercises effectively display the important aspects of three-dimensional shape and spatial orientation that are poorly presented in textbook illustrations and demonstrate how the shape of molecules and weak chemical associations like hydrogen bonds and hydrophobic/hydrophilic interactions combine to form the macromolecular associations fundam