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.
Author(s): No creator set

License information
Related content

Media Processing in Processing
A course on fundamentals of image/sound processing and graphic programming explained by means of the free language and environment Processing.
Author(s): No creator set

License information
Related content

Investigation of Delay and Sum Beamforming Using a Two-Dimensional Array
Our final project for ELEC 301, Fall 2005. We investigated the delay and sum method of array beamforming, specifically through the analysis in Labview of data drawn from a two-dimensional eight microphone perimeter array.
Author(s): No creator set

License information
Related content

Introductory Seminar
In this course, you'll be introduced to educational theories and approaches to learning and how to apply them to your classroom; aspects of effective teaching; and contemporary issues in education. The material reflects a pattern of inclusive, discovery-oriented, culturally-attuned, and globally-aware teaching.
Author(s): No creator set

License information
Related content

Intro to Logic
An introduction to reasoning with Proposition and First-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).
Author(s): No creator set

License information
Related content

Health Education Course
The United Nations Cyber Schoolbus tells us about essential issues surrounding health.
Author(s): No creator set

License information
Related content

Fundamentals of Digital Signal Processing Lab
The purpose of this lab is to familiarize students with the DSP development workstation in the signal processing lab by examining sampling, analysis, and reconstruction of continuous-time signals. Specifically, we will first look at sampling/reconstruction of continuous-time signals. We will then examine time- and frequency-domain displays. Finally, we will examine the importance of sampling frequency and its effects on aliasing.
Author(s): No creator set

License information
Related content

Frequency and Music
An overview of frequency, harmonic (Fourier) series, and their relationship to music.
Author(s): No creator set

License information
Related content

Filtering and Analysis of Heart Rhythms
This course outlines the steps in a Elec 301 project for Fall 2005. The projects takes in heart rhythms and analyzes them. Group Members: Grant Heberton, Robert McArthur, Anish Patel, and Erick Tournier.
Author(s): No creator set

License information
Related content

Elec 301 - Steganography - What's In Your Picture?
This course covers the science of data hiding, known as steganography. It describes two new methods we have added to the field and how to detect them.
Author(s): No creator set

License information
Related content

ECDL
The ECDL (European Computer Driving Licence) is one of the most popular and respected ICT courses in the world www.ecdl.co.uk. I have written this course specifically for use with my secondary school class using Windows and MS Word. Certified test centres exist around the world.
Author(s): No creator set

License information
Related content

Wholesale
Inconterm and international trades Bijoux Chaussures Grossiste Lingerie Ordinateur Meubles
Author(s): No creator set

License information
Related content

User Guide for NCPEA Connexions Reviewers
Instructions for working with Connexions content for NCPEA reviewers.
Author(s): No creator set

License information
Related content

User Guide for NCPEA Connexions Editors
Instructions for working with Connexions content for NCPEA editors.
Author(s): No creator set

License information
Related content

User Guide for NCPEA Connexions Authors
Instructions for creating, editing, and publishing Connexions content for NCPEA authors.
Author(s): No creator set

License information
Related content

The DFT, FFT, and Practical Spectral Analysis
This course gives an outline of the Discrete Fourier Transform and an in-depth look at the Fast Fourier Transform. Many different ways of speeding up a discrete Fourier Transform are examined and evaluated for how efficient they are.
Author(s): No creator set

License information
Related content

The Basic Elements of Music
Explanations (suitable for any age) of the basic elements of music, with suggested activities for introducing the concepts to children at early elementary school level.
Author(s): No creator set

License information
Related content

Technical Analysis Dictionary
Technical Analysis Dictionary for Stock Market Trading
Author(s): No creator set

License information
Related content

Statistics
Importance of statistics
Author(s): No creator set

License information
Related content

Signal Processing
Basic concepts of Signal Processing
Author(s): No creator set

License information
Related content