Logic for Computer Science: Foundations of Automatic Theorem Proving
This book is intended as an introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. This book is designed primarily for computer scientists, and more generally, for mathematically inclined readers interested in the formalization of proofs, and the foundations of automatic theorem-proving. The book is self contained, and the level corresponds to senior undergraduates and first year graduate students. However,
The Adventures of Josie True
The Adventures of Josie True is a web-based historical adventure game for girls. The hero of the game is Chinese-American Josie True, a regular girl who becomes involved in intrigue across time and space as she tries to find her inventor-turned-teacher Ms. Trombone. She time travels with one of Ms. Trombone's inventions, the Intellicat. Includes a guide for teachers and parents with lesson plans. For girls 9-11 years of age. We want to give real girls good content and provide real historical rol
Statistical Methods in Biomedical Imaging
This resource contains the complete materials (syllabus, class notes, assignments, web-based software analysis and visualization tools) for a semester-long upper-division or graduate course on mathematical modeling, statistical analysis and visualization of biomedical imaging data.
Human Rights Lesson Plans for Southeast Asian Schools
This publication is an initial attempt at developing human rights teaching guides for Southeast Asian schools. It is based on the experience of educators in the sub-region in teaching human rights. It is the result of a continuing partnership among educators and institutions in Southeast Asia.
Geography Game: PlaceSpotting
PlaceSpotting is a new geography game based on Google Maps. You get a picture of a place somewhere on earth and some hints and have to find this place on a moveable Google map. You can also create new "map-riddles" for your friends.
It's up to you to provide enough power to meet the energy demands of your city's 3.9 million people while keeping them prosperous, secure, and living in a clean environment. The implications of the energy decisions you make today for your city in 2015 are based on the current lifestyles and the projected energy demands and costs for developed countries throughout North America, Europe and Asia.
Cross Layer Identity Management
This video addresses the problem of today's Internet users who have to pass several authentication and authorization procedures in the usage of Internet services, due to the fact that services consumed require involvement of different service providers. Such a situation exists in a Virtual Organization environment. This video presents the state of the art in federated identity management, the need for cross layer identity management, and approaches followed within the Akogrimo project. This incl
This is a highly accurate visualization of the Bacteriophage T4 based on Cryo-EM datasets of the virus. The scope of the animation is to show the infection process of the T4 into an E. coli cell. All scientific data sets and motion based off of research from Michael Rossmann Laboratory (Purdue University). Courtesy of Seyet LLC.
Field Journal: Compare
This online activity is part of the museum's Online Field Journal Web site, where young children can explore the wonders of nature with the help of an adult. The challenge here is to compare examples within categories of field evidence. On the opening page, the 11 comparison activities are listed: Seashells, Birds, Insects, Butterflies, Rocks, Leaves, Animal Tracks, Reptiles, Flowers, Fish, and Spiders. On the first page of each comparison activity, there are side-by-side photos of three differe
Symptoms of Posttraumatic Stress Disorder in a New Orleans Workforce Following Hurricane Katrina
On August 29, 2005, Hurricane Katrina made landfall resulting in catastrophic damage and flooding to New Orleans, LA, and the Gulf Coast, which may have had significant mental health effects on the population. To determine rates and predictors of symptoms consistent with a diagnosis of posttraumatic stress disorder (PTSD) in New Orleans residents following Hurricane Katrina, we conducted a web-based survey 6 months after Hurricane Katrina made landfall. Participants included 1,542 employees from
Using the Internet to Promote Inquiry-Based Learning
This site is an e-paper that describes a structured approach to inquiry-based learning using the World Wide Web as a primary information resource. Specifically, the paper addresses an 8-step process that begins with an essential question and ends with a product produced by students, typically completed in a cooperative setting. The paper also discusses the skills required by both student and teacher to make inquiry-based learning with the internet a successful endeavor. Finally, the paper discus
Instructional Design Models
This University of Colorado School of Education site provides references for an extensive set of instructional design models. Articles and links are grouped by topic and author. Topics include anchored instruction, behaviorism, cognitivism, discovery learning, instructional systems design, problem-based learning and role playing.
The Inquiry Page is a dynamic virtual community where inquiry-based education can be discussed, resources and experiences shared, and innovative approaches explored in a collaborative environment. The site features a growing database of inquiry units, and you can also build your own inquiry units. The database of existing units covers a range of topics from the sciences as well as the humanities. There are pictures of inquiry-based activities and information about other teachers who use inquiry
GeoMaths - Revision Topics
This site, part of the University College London's GeoMath site, provides a review of basic math skills, including basic equations and functions, areas and volumes, and coordinates and graphs. The notation is linked throughout to a glossary of terms, and several examples are geologically based and have realistic scenarios. This resource is part of the Teaching Quantitative Skills in the Geosciences collection. http://serc.carleton.edu/quantskills/
GeoMaths - 2nd Level Modules
The highest level of math on the University College London's GeoMath site, this covers skills such as complex numbers, partial differentiation, matrices, advanced vectors, and probability. Each section features a menu of topics and links to a glossary. Many have geology-based examples, using the mathematical skill within a realistic scenario. This resource is part of the Teaching Quantitative Skills in the Geosciences collection. http://serc.carleton.edu/quantskills/
Evolution and the Nature of Science Institutes: Lesson Plans
This website provides access to lesson plans published by the Evolution and the Nature of Science Institutes (ENSI). Based on 32 key ideas of scientific thought, the ENSI program emphasizes the importance of teaching the nature of modern science before introducing the elements of evolution as an example of modern scientific thinking. This website features lessons in three categories - the nature of science, the origins of life, and evolution. Lesson plans are organized into eight sections includ
Distance Education Clearinghouse
This website is a comprehensive clearinghouse of long-distance education information. Materials on the site are intended to help improve distance- and web-based learning opportunities for both students and educators. The site features a multitude of links to resources for creating or participating in distance education programs and courses. Links are organized into subject areas such as programs and courses, technology, teaching and learning, research, and policies and guidelines. The site also
Creating Effective Web-based Learning Resources in the Geosciences
This site contains information, resources and activities related to creating on-line materials for teaching in the geosciences. The site provides guidelines and tips for both the academic and technical development of internet-based learning resources. Topics addressed include how to determine when the use of web-based course materials is appropriate, how to design the educational content of those resources, and how to design and build the actual resource. Users are encouraged to add to the discu
Classification of Igneous Rocks
This PowerPoint presentation is part of the Whitman College petrology course. The presentation covers classification of phaneritic igneous rocks, gabbroic rocks, ultramafic rocks, pyroclastic rocks and volcanic rocks using triangular diagrams, and classification of igneous rocks based on total alkalis vs. silica. This resource is part of the Teaching Petrology collection. http://serc.carleton.edu/NAGTWorkshops/petrology03/index.html
Practical Aspects of Mineral Thermobarometry
These pages provide information, tutorial material and worked examples for petrology students interested in extracting pressure-temperature information from rocks. It is assumed that you have completed a typical undergraduate petrology course. The sequence of topics, listed below, progresses from the acquisition of mineral analyses to computer-based P-T and phase diagram calculations.