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.
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.
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.
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.
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).
Health Education Course
The United Nations Cyber Schoolbus tells us about essential issues surrounding health.
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.
Frequency and Music
An overview of frequency, harmonic (Fourier) series, and their relationship to music.
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.
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.
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.
Inconterm and international trades Bijoux Chaussures Grossiste Lingerie Ordinateur Meubles
User Guide for NCPEA Connexions Reviewers
Instructions for working with Connexions content for NCPEA reviewers.
User Guide for NCPEA Connexions Editors
Instructions for working with Connexions content for NCPEA editors.
User Guide for NCPEA Connexions Authors
Instructions for creating, editing, and publishing Connexions content for NCPEA authors.
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.
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.
Technical Analysis Dictionary
Technical Analysis Dictionary for Stock Market Trading
Importance of statistics
Basic concepts of Signal Processing