Documents Found!
As seen in
Less Work, Better Grades
Join
Course Hero
Access
best resources
Ace
your classes
Ace your courses with Course Hero!
|
|
|
Study Smarter, Score Higher
Here are the top 5 related documents
... %
" xPs P s'69E
F'x%
" xPs P s'69E
F'x%
Q & ! 3 0 7 5 ) 3 # & H ! H 0 H 7 & ) $F@ "8E'D8 X%R$ '%("sGI('%s0 7& 0 # # 0 0 H 7 ) 5 5 V # # G(s%6`$B6s'%D98wXP1%6Rt$f Q # & 0 ! & ...
... cP
E7f 7 h)fwhR
fEfEfhc
5P
E7f 7 h)fwhR
fEfEfhc
Q Vh F u V 4@ 8 q 'rW1EY43WfWBV s GYAr1 Q V V Q I@ 2 @ Dh Q 1 T u V Q 1B4@b @ Vhd u 2 V 6 rH1Sh3R7cg3U%cm3Q3%fGYE%StE 5c5WQpA E'Yg~ 2Q4 rg v ciw nRUhcEB h4...
...i
QQ XSISQ7 7 UIU
wIIsIXQ
5
QQ XSISQ7 7 UIU
wIIsIXQ
x D@T 8 3D4 F4T 8 V@23 2T 8 a2 @ B2T wQ95v`AoeQQ!WSRdQXR p 4 PFR 4 @ TF @ 4 e D BF4F D@ e p h B e@FV 6V @ TF B vUjdCQUW`Gq2`XGwiwq@5fesV hwUQC%UqpEp8 @ieEFb5`hq...
... x%|xCoov5% 5|m|ox%
qqf qqf
q mo' |Cv|omo5|% qqf %|ogo%o|v| qqf |ogo%o|v| qqf C|ogo%o|v| qqf q|xgoq|o 5bC|mx | qqf v }u u uyu }u } w...
Document Content (unformatted)
Course Hero has millions of student submitted documents similar to the one
below including study guides, homework solutions, papers, exam answer keys and textbook solutions.
Stochastic CS616 Models in Computer Science Instructor: Peter Kemper R 006, phone 221-3462, email:kemper@cs.wm.edu Office hours: Mon,Wed 3-5 pm Grader: Yunlian Jiang, R 101B, email: jiang@cs.wm.edu Office hours: Tue,Thu 2-3 pm Today: Markov Chains Quick Reference: Ross, Ch. 4.1,4.2 D.L. Minh, Applied Probability Models, Duxbury, Thomson Learning, 2001. 1 Overview this is the plan Probability Theory Random Variables Conditional Probability Conditional Expectation Markov Chains Exponential Distribution & Poisson Process Continuous Time Markov Chain Tools: - Mobius 2 Overview Today Stochastic Processes of various kinds Markov chains of order i Chapman-Kolmogorov Equations Later Classification of States Limiting Probabilities Some Applications Mean Time Spent in Transient States Branching Processes Time Reversible Markov Chains Markov Chain Monte Carlo Methods Markov Decision Processes Hidden Markov Chains 3 Stochastic process (Chapter 2.8 revisited) Definition A stochastic process {X(t), t T} is a collection of random variables with some index set T. The process is Discrete time if T is countable, Continuous time if T is an interval of the real line The state space of the process is the set of all possible values of X(t) over all t T. Common interpretation T as time X(t) as the state of the process at time t. Useful to describe the evolution of some (physical) process over time. 4 Reminder: Example from Chapter 2.8 Particle moves along m+1 nodes with labels 0,1, ,m-1. Nodes are located on a circle. Particle can move one node forward or backward (with same probability). Let Xn be the position after n steps with the usual modulo arrangement to move from m-1 to 0. Let the particle start at 0, move until all nodes visited. What is the probability that node i is the last node? For 0 it is 0, for 1, ,m it is 1/m Obviously a special case that does not generalize 5 Some terminology (Sample) path Outcome of stochastic process, i.e., sequence of outcomes obtained from sequence of experiments Note: new term useful to distinguish from outcome of experiment Sample space: Collection of all possible paths Set of all possible distinct outcomes of experiments Individual element is called state State space S: Example: Consider a game like Lotto, e.g. Mega Millions, played over some time. What is its state space, what is a state, what is a path? 6 Four Types of Stochastic Processes Criteria: discrete - continuous state space S discrete - continuous parameter space T 1. Discrete time chain 2. Continuous time chain 3. Discrete time process {Xn, n=0,1, }, S discrete (finite or infinite), T discrete {X(t)}, S discrete (finite or infinite), T continuous, e.g., t in [0, ) {Xn, n=0,1, }, S continuous, T discrete {X(t)}, S continuous, T continuous, e.g., t in [0, ) 4. Continuous time process 7 Special case: i.i.d. RVs Consider a discrete-time chain {Xn, n=0,1, } For any n X0, X1, X2, Xn-1 is the past Xn is the present state Xn+1, Xn+2, is the future If all variables are independent, then This is for sure a nice property, but considering the process instead of individual experiments does not give us anything. It would be more interesting (and useful) if we were able to consider some dependencies 8 General case Consider a discrete-time chain {Xn, n=0,1, } where Xn+1 is dependent on all previous outcomes. Formally and no simplifications. This gets intractable very quickly. This is an overkill for many practical applications. Observation: influence on the chain s earlier outcomes on its future tends to diminish rapidly as time passes. Let s look for a compromise: Rich enough to be useful to model real world phenomena Simple enough to be analyzed (with or without computations) 9 Markov Chains of Order i Consider a discrete-time chain {Xn, n=0,1, } where Xn+1 is dependent on the last i outcomes only. Formally So: Special case of i.i.d rvs is an MC of order 0 Special case of MC of order 1 is the one we will focus on Note: A MC of order i can be transformed into a MC of order 1. 10 Examples given in D.L. Minh Weather (Chin 1977) Chin models daily precipitation as an MC based on data from 1948 to 1973 for more than 100 locations in the US. Order of MC depends primarily on season of the year, on the geographical location only to a lesser degree. Winter months (Jan/Feb): second or higher order conditional dependence for majority of locations Summer months (Jul/Aug): first order conditional dependence for majority of locations. Nine four-man groups observed when engaged in a discussion Order in which persons spoke modeled as MC Parker identified second order as best. Groups dynamics (Parker 1988) 11 Following S. Ross: Consider a stochastic process {Xn,n=0,1,2, } with finite or countable state space S This set is denoted by nonnegative integers For a fixed probability Pij: for all states i0,i1, ,in-1,i,j and all n 0 This is a first order Markov chain The conditional distribution of any future state Xn+1 is dependent only on the present state, Xn and not any previous states The formal notation (or mapping S to {0,1, }) allows us to use a matrix notation where row, column indices match with states. 12 Discrete time MC Pij is the probability that the process, currently in state i, will go to state j One-step transition probabilities Pij 13 Example 1: Forecasting the Weather Suppose that the forecast only depends on the previous day s forecast If it rains today, will it rain tomorrow with probability If it does not rain today, it will rain tomorrow with probability Process is in state 0 while raining, and state 1 while not raining What is the Markov chain? 14 Example 2: Transforming a Process into a Markov Chain If it has rained the past two days, it will rain tomorrow with probability 0.7 If it rained today, but not yesterday, it will rain tomorrow with probability 0.5 If it rained yesterday, but not today, it will rain tomorrow with probability 0.4 If it didn t rain yesterday or today, it will rain tomorrow with probability 0.2 The forecast for tomorrow is determined by both today s weather and yesterday s 15 Example 2 Continued We need to determine states and state transitions: States State State State State 0: 1: 2: 3: it it it it rained both today and yesterday rained today, but not yesterday rained yesterday, but not today didn t rain yesterday or today Transition probabilities 16 Example 3: A Random Walk Model Markov chain state space given by integers i=0, 1, 2, is a random walk if 0<p<1, At each step, the person walking may take a step to the right with probability p, or to the left with probability 1-p at each point in time 17 Example 4: A Gambling Model A gambler wins $1 with probability p or loses $1 with probability 1-p at each point in time The gambler quits when broke or when he has attained $N States 0 and N are absorbing states, once entered they are never left This example is a finite state walk with absorbing barriers 18 Example 5 Annual automobile insurance, a Bonus Malus system Each policyholder gets a positive integer value (the state) The annual premium is a function of this state (along with the type of car, level of insurance, etc) The annual premium changes from year to year, the more claims filed by the policyholder, the higher the less claims filed, the lower the premium Let si(k) denote the next state of a policyholder currently in state i who made k number of claims that year Suppose the number of claims made is a Poisson random variable with parameter The resulting Markov chain is 19 Example 5 Continued Table that gives Next State, row: state, col: k claims s2(0)=1; s2(1)=3; s2(k)=4, k 2 0 1 2 3 4 1 1 2 3 1 2 3 4 4 2 3 4 4 4 k 2 4 4 4 4 ak : probability of k claims in a year Transition probability matrix for a policyholder: 20 Chapman-Kolmogorov Equations n-step transition probabilities Chapman-Kolmogorov equations method for computing n-step transition probabilities In words: probability to go through k after n steps Formally, 21 Chapman-Kolmogorov Equations Let P(n) denote the matrix of n-step transition probabilities In particular 22 Example: Two state weather example revisited Let =0.7 and =0.4, so we get What is the probability that it will rain four days from today given that it is currently raining ? Hence 23 Role of initial distribution So far, all probabilities have been conditional has condition that we are in state i at time 0. If the unconditional distribution of the state at time n is wanted, the initial state probability distribution is needed 24 Weather example continued If 0=0.4, 1=0.6, the (unconditional) probability that it will rain four days after is 25 Absorbing states How can we determine the probability of a Markov chain entering any of the specified set of states A by time n ? Reset the transition probabilities out of states in A Transform all states in A into absorbing states Note: The original and transformed Markov chain follow identical probabilities until a state in A is entered So the probability that the original Markov chain enters a state in A by time n is the same as the probability that the transformed Markov chain does so 26 Example A pensioner Income: 2 (= $2000) at day 1 of each month Spending: independent of the amount he has Amount is i, with probability Pi, i=1,2,3,4 Between 0 and 3 At the end of the month, if the pensioner has more than 3, he gives the rest to his son Savings: If, the pensioner has 5 after receiving his payment, what is the probability that his capital is ever 1 or less at any time within the following four months? 27 Solution Markov chain where state = amount at end of month We only consider states 1,2,3 1 means amount is less or equal 1 at the end of the month OK, since we are only interested in probability of state 1 being reached. Probability matrix Q=[Qi,j] Consider Q2,1, the probability that the pensioner ends a month with 2 and then 1 or less the next month Pensioner begins new month with 2+2=4 His ending capital will be 1 or less if his expenses are either 3 or 4, thus Q2,1=P3+P4 28 Solution Continued Suppose Pi=1/4, i=1,2,3,4 Q4=(Q2)2, so squaring Q and the resulting matrix yields So 29 Conditional probabilities and absorbing states Let {Xn,n 0} be a MC with transition probabilities Pi,j Let Qi,j denote the transition probabilities that transform all states in A into absorbing states The conditional probability of Xn given that the chain starts in state i and has not entered any state in A by time n is for any i,j A 30 Summary Today: Stochastic Processes of various kinds Markov chains of order i Chapman-Kolmogorov Equations Absorbing states Next time we continue with: Classification of States Limiting Probabilities Some Applications Mean Time Spent in Transient States Branching Processes Time Reversible Markov Chains Markov Chain Monte Carlo Methods Markov Decision Processes Hidden Markov Chains 31
Find millions of documents here - Study Guides, Homework Solutions, Papers, Exam Answer Keys and more.
Course Hero has millions of course related materials that will enable you to learn better,
faster and get an A in all your courses.
Below is a small sample set of documents:
Below is a small sample set of documents:
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
CS616 Stochastic Models in Computer Science Instructor: Peter Kemper R 006, phone 221-3462, email:kemper@cs.wm.edu Office hours: Mon,Wed 3-5 pm Grader: Yunlian Jiang, R 101B, email: jiang@cs.wm.edu Office hours: Tue,Thu 2-3 pm Today: Conditional P...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
CS616 Stochastic Models in Computer Science Instructor: Peter Kemper R 006, phone 221-3462, email:kemper@cs.wm.edu Office hours: Mon,Wed 3-5 pm Grader: Yunlian Jiang, R 101B, email: jiang@cs.wm.edu Office hours: Tue,Thu 2-3 pm Today: Markov Chains...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
CS616 Stochastic Models in Computer Science Instructor: Peter Kemper R 006, phone 221-3462, email:kemper@cs.wm.edu Office hours: Mon,Wed 3-5 pm Grader: Yunlian Jiang, R 101B, email: jiang@cs.wm.edu Office hours: Tue,Thu 2-3 pm Today: Conditional P...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
CS616 Stochastic Models in Computer Science Instructor: Peter Kemper R 006, phone 221-3462, email:kemper@cs.wm.edu Office hours: Mon,Wed 3-5 pm Grader: Yunlian Jiang, R 101B, email: jiang@cs.wm.edu Office hours: Tue,Thu 2-3 pm Today: Limit Theorem...
Wisconsin Milwaukee >> CS >> 301 (Fall, 2009)
CS301 Peter Kemper, R 104A, phone 221-3462, email:kemper@cs.wm.edu Grader: Fengyuan Xu, R 101A, email: fxu@cs.wm.edu Today: Notes on JavaDoc Quick Reference: http:/java.sun.com/j2se/javadoc/writingdoccomments/index.html http:/java.sun.com/javase/6/d...
Wisconsin Milwaukee >> CS >> 301 (Fall, 2009)
CS301 Peter Kemper, R 104A, phone 221-3462, email:kemper@cs.wm.edu Grader: Fengyuan Xu, R 11A, email: fxu@cs.wm.edu Today: Static code analysis TPTP, PMD, findbugs 1 This weeks topic what is it good for Static code analyzer are helpful to detect ...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
CS616 Stochastic Models in Computer Science Instructor: Peter Kemper R 006, phone 221-3462, email:kemper@cs.wm.edu Office hours: Mon,Wed 3-5 pm Yunlian Jiang R 101B, email: jiang@cs.wm.edu Grader: Office hours: Tue,Thu 2-3 pm Today: Jointly Distrib...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
Computer Science 616 - Stochastic Models in Computer Science Fall 2007, Homework 1, due Sept 7 at noon 1. We know that the denition of independence for n events E = {E1 , E2 , . . . , En }, F, F E, F = {F1 , F2 , . . . , Fm }, P (F1 F2 . . . Fm ...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
Computer Science 616 - Stochastic Models in Computer Science Fall 2007, Homework 3, due Sept 24 at noon 1. Chapter 2, Exercises 17, 18, 19, 20. 17. Suppose that an experiment can result in one of r possible outcomes, the ith outcome having probabili...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
CS616 Stochastic Models in Computer Science Instructor: Peter Kemper R 006, phone 221-3462, email:kemper@cs.wm.edu Office hours: Mon,Wed 3-5 pm Grader: Yunlian Jiang, R 101B, email: jiang@cs.wm.edu Office hours: Tue,Thu 2-3 pm Today: Conditional P...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
Computer Science 616 - Stochastic Models in Computer Science Fall 2007, Homework 4, due Oct 3 at noon 1. This homework is to prepare you for stochastic modeling and analysis with Mobius. (a) Download Mobius from http:/www.mobius.uiuc.edu/download.ht...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
Computer Science 616 - Stochastic Models in Computer Science Fall 2007, Homework 2, due Sept 17 at noon 1. (Section 2, Exercise 12) On an exam with ve multiple-choice questions, each with three possible answers, what is the probability of getting fo...
Wisconsin Milwaukee >> CS >> 654 (Fall, 2009)
Dependability Dependability is the ability of a system to deliver a specified service. System service is classified as proper if it is delivered as specified; otherwise it is improper. System failure is a transition from proper to improper servic...
Wisconsin Milwaukee >> CS >> 616 (Fall, 2009)
CS616 Stochastic Models in Computer Science Instructor: Peter Kemper R 006, phone 221-3462, email:kemper@cs.wm.edu Office hours: Mon,Wed 3-5 pm Grader: Yunlian Jiang, R 101B, email: jiang@cs.wm.edu Office hours: Tue,Thu 2-3 pm Today: Applications ...
Wisconsin Milwaukee >> CSC >> 652 (Fall, 2009)
Topics of This Class ! ! ! Related issues on local value numbering Scope of optimization Value numbering over extended basic blocks CSC652 Scope of Optimization Xipeng Shen 1/25/2007 1 Review: Local Value Numbering An example Original Code a!x+y ...
Wisconsin Milwaukee >> CSC >> 442 (Fall, 2009)
Introduction ! Translate program into 3-address intermediate representation A preparation for some code optimization and backend code generation Major problems to address: \" Translation of Statements (I) Xipeng Shen 10/29/2007 ! ! How to transla...
Wisconsin Milwaukee >> CSC >> 652 (Fall, 2009)
Goal ! A tool to automatically explore optimization space \" \" (Front-end) Accept cuda programs with annotations (Middle-end) Produce transformed cuda programs # Source-to-source CSC652 GPU Optimizor Project Xipeng Shen 04/02/08 optimizor \" (Fee...
Wisconsin Milwaukee >> CSC >> 420 (Fall, 2009)
CSCI420/520 Introduction to Statistical Learning Xipeng Shen 9/3/2006 Outline Review of last class Learning concept Designing a learner to play checkers Classification examples 2 Review of last class What is Artificial Intelligence? A st...
Wisconsin Milwaukee >> CSC >> 420 (Fall, 2009)
CSCI420/520 Review on Matrix and Probability Theory Xipeng Shen 9/6/06 Outline Quiz on matrix differentiation assignment Review of last class with answers to the quiz Matrix operations Probability theory 1 Design Choices Determine Type of Tra...
Wisconsin Milwaukee >> CSC >> 420 (Fall, 2009)
CSCI420/520 Expectation-Maximization (EM) Algorithm Xipeng Shen 10/20/06 Equivalence between ML and least squares hML 2 = arg max P(D | h) arg min (yi yi ) hH hH i =1 N Assumptions Additive Gaussian noise y = f (x) + Mutually independent ...
Wisconsin Milwaukee >> CS >> 526 (Fall, 2009)
Discrete-Data Histograms Discrete-Event Simulation: A First Course Section 4.2: Discrete-Data Histograms Section 4.2: Discrete-Data Histograms Discrete-Event Simulation c 2006 Pearson Ed., Inc. 0-13-142917-5 Discrete-Data Histograms Section 4....
Wisconsin Milwaukee >> CS >> 526 (Fall, 2009)
Continuous Random Variables Discrete-Event Simulation: A First Course Section 7.1: Continuous Random Variables Section 7.1: Continuous Random Variables Discrete-Event Simulation c 2006 Pearson Ed., Inc. 0-13-142917-5 Continuous Random Variables...
Wisconsin Milwaukee >> CS >> 424 (Fall, 2009)
CSci424/524 Homework 3 Due: 02/26/2008 You are asked to add the datapath parts and control signals needed to implement the addiu instruction in the multi-cycle datapath and control. Instruction addiu adds an immediate unsigned value. For example:...
Wisconsin Milwaukee >> CS >> 526 (Fall, 2009)
Generating Continuous Random Variates Discrete-Event Simulation: A First Course Section 7.2: Generating Continuous Random Variates Section 7.2: Generating Continuous Random Variates Discrete-Event Simulation c 2006 Pearson Ed., Inc. 0-13-142917-...
Wisconsin Milwaukee >> CS >> 526 (Fall, 2009)
CSci 426/526 Simulation Fall 2004 Examples To help you get a sense of my expectations, enclosed are (partial) solutions to three typical exercises. These three exercises illustrate the range of solution types you will be expected to produce. exerc...
Wisconsin Milwaukee >> CS >> 526 (Fall, 2009)
Interval Estimation Discrete-Event Simulation: A First Course Section 8.1: Interval Estimation Section 8.1: Interval Estimation Discrete-Event Simulation c 2006 Pearson Ed., Inc. 0-13-142917-5 Interval Estimation Section 8.1: Interval Estimati...
Wisconsin Milwaukee >> CSCI >> 780 (Fall, 2009)
Outline The Structure and Value of Modularity in Software Design Kevin J. Sullivan, William G. Griswold 1 Introduction Background Model Approach Extension Analysis Conclusion 2 Introduction The Goals of Software Design: Increase product qua...
Wisconsin Milwaukee >> CSCI >> 780 (Fall, 2009)
CSci 780 Advanced Software Engineering The Structure and Value of Modularity in Software Design Outline Problem Proposed Solution Background Analysis Conclusion Questions Sullivan, Griswold, Ben Hallen Baldwin and Clark Kevin J. Sullivan William G...
Wisconsin Milwaukee >> CSCI >> 780 (Fall, 2009)
Outline Static Detection of Dynamic Memory Errors Problem Example (simple) Solution LCLint Solution to Example Analysis Case Studies Conclusion Discussion Static Detection of Dynamic Memory Errors 2 David Evans 10/17/2003 The Problem Man...
Wisconsin Milwaukee >> CSCI >> 243 (Fall, 2009)
1 Algorithm Correctness Problems Problem 1. AL1(M) P = 1 I = 1 while (I < 2*M) P = P * I I = I + 2 return P 1. 2. 3. 4. 5. 6. Let pn and in be the values of P and I at line 3 after the nth iteration. Question 1. Write the recursive relation for in...
Wisconsin Milwaukee >> CS >> 131 (Fall, 2009)
CS 131 Fall 2004 Final Exam Review Name: 1. Construct the corresponding truth table for the logical expression: R (P Q) (P R) 2. Construct a logic circuit for the expression: Q (P R Q) 1 3. Derive the corresponding logical expression for t...
Wisconsin Milwaukee >> ISSRE >> 2003 (Fall, 2009)
Formal Semantics for Reliability Modeling Languages: A Case Study on BDMPs Robert R. Painter Dept. of Computer Science The College of William and Mary Williamsburg, VA 23185 Abstract The informal development of high-level modeling languages results i...
Wisconsin Milwaukee >> CS >> 131 (Fall, 2009)
2x\'4D$)Q7Q$)XWP`QP2CHQ$24wr2G@tfV )IQ$24Q0Q$IUG5 s V V 41 V $ G E 0r 0 (1G 4 0 $ (1 0 sj 0 B @\'fwwt470)u1X@21IGVtsQ7W$2VD02BwIq7Q0@bXWP}h)XuP\'s\'424\'0)WF)\'f)XtPrt)u1F@%\'fppl2(0o\'r`bI\'Gp@\'f$ 0 (1G $ 7G j s & 4 C x 0 4 ...
Wisconsin Milwaukee >> CS >> 131 (Fall, 2009)
Computer Science 131 Spring 2006 Concepts in Computer Science Class Schedule 01/18 01/23 01/25 01/30 02/01 02/06 02/08 02/13 02/15 02/20 02/22 02/27 03/01 03/06 03/08 03/13 03/15 03/20 03/22 03/27 03/29 04/03 04/05 04/10 04/12 04/17 04/19 04/24 04/2...
Wisconsin Milwaukee >> CS >> 131 (Fall, 2009)
Computer Science 131 Spring 2006 Concepts in Computer Science Robert Painter rrpain@cs.wm.edu 102 McGlothlinStreet Hall http:/www.cs.wm.edu/rrpain/teaching/cs131/ Class Time: MW 2:00 - 2:50 Oce Hours: MW 10:00 - 11:00, T 10:00 - 12:00 or by appointm...
Wisconsin Milwaukee >> CS >> 131 (Fall, 2009)
Final Review 1. Know the following terms and their denitions: computer science, algorithm, boolean algerbra, boolean operators, boolean variables, logical expressions, truth tables, circuits, tautology, contradiction, ip-op, memory, bit, byte, kiloby...
Wisconsin Milwaukee >> CSCI >> 243 (Fall, 2009)
CSci 243 Discrete Structures Lecture 5 Logic 1 9/6/2002 1 Outline Introduction, Propositions Compound Propositions Truth Tables Tautologies and Contradictions Predicates and Quantification 9/6/2002 2 Introduction to Logic Statements are ei...
Wisconsin Milwaukee >> CSCI >> 780 (Fall, 2009)
Outline CSci 780 Advanced Software Engineering Background: Model Checking Event-Driven Systems SCR CTL Model Checking SCR Specifications Case Studies Evaluation and Conclusion Discussion State-Based Model Checking of Event-Driven System Requ...
Wisconsin Milwaukee >> M >> 111 (Fall, 2009)
Fall 2008 Math 111 Lab 6 Linear Approximation In an earlier lab, we used the divided dierence, f (x) f (a) xa (with x a = 0) to estimate the value of the derivative, f (a) = lim f (x) f (a) , xa xa f (x) f (a) , xa (1) In other words, we are e...
Wisconsin Milwaukee >> MATH >> 490 (Fall, 2009)
VOLUME 87, NUMBER 19 PHYSICAL REVIEW LETTERS 5 NOVEMBER 2001 Diversity of Vegetation Patterns and Desertication J. von Hardenberg,1,4 E. Meron,1,3 M. Shachak,2 and Y. Zarmi1,3 1 Department of Solar Energy and Environmental Physics, BIDR, Ben Guri...
Wisconsin Milwaukee >> MATH >> 490 (Fall, 2009)
A review of stability and dynamical behaviors of dierential equations: u = f (u, v), t system of ODEs: vt = g(u, v), scalar ODE: ut = f (u), reaction-diusion equation: ut = Du + f (u), x , with boundary condition reaction-diusion system: u = D u...
Wisconsin Milwaukee >> MATH >> 410 (Fall, 2009)
Problem Set 6 Discussion: Nov. 6 Discussion Problems 1. (a) Prove that for a, b, c > 0 satisfying (1 + a)(1 + b)(1 + c) = 8, then abc 1. (b) Prove that for a, b, c > 0, then (a2 b + b2 c + c2 a)(a2 c + b2 a + c2 b) 9a2 b2 c2 . (Carolyn) 2. Given th...
Wisconsin Milwaukee >> MATH >> 410 (Fall, 2009)
Problem Set 5 Discussion Problems 1. (VT 1983) Let f (x) = 1/x and g(x) = 1 x for x (0, 1). List all distinct functions that can be written in the form f g f g f g f where represents composition. Write each function in the form (ax + b)/...
Wisconsin Milwaukee >> MATH >> 410 (Fall, 2009)
Pigeonhole Principle The pigeonhole principle states that if n pigeons are put into m pigeonholes, and if n > m, then at least one pigeonhole must contain more than one pigeon. Another way of stating this would be that m holes can hold at most m obje...
Wisconsin Milwaukee >> MATH >> 490 (Fall, 2009)
Turing patterns in a single-step autocatalytic reaction Dezso Horvath and Agota Toth Department of Physical Chemistry, Jozsef Attila University, P.O. Box 105, Szeged, H-6701, Hungary Stable Turing patterns are presented in the simplest reaction...
Wisconsin Milwaukee >> M >> 111 (Fall, 2009)
Fall 2008 Math 111 Lab 4 Exploring the Derivative The derivative of a function is one of the most powerful tools in mathematics. It is often invaluable for investigations in both the physical, biological, and, to a lesser extent, the social science...
Wisconsin Milwaukee >> M >> 111 (Fall, 2009)
Fall 2008 Math 111 Lab 9 Newtons Method In almost every application of mathematics, it is necessary to solve equations. When there is only one independent variable, the equation may be expressed in the form f (x) = 0, where f (x) is usually a dieren...
N.E. Illinois >> AY >> 12122006 (Fall, 2009)
English Language Arts with Teacher Certification reflecting changes to the English Major English Language Arts Option for Teacher Certification The English Language Arts Certification Option is for students who would like to major in English and gain...
N.E. Illinois >> AY >> 20062007 (Fall, 2009)
English Language Arts with Teacher Certification reflecting changes to the English Major English Language Arts Option for Teacher Certification The English Language Arts Certification Option is for students who would like to major in English and gain...
N.E. Illinois >> MAR >> 2004 (Fall, 2009)
MEMORANDUM TO: FROM: DATE: RE: Vice President Lord Charles A. Rohn, Dean College of Education and Professional Studies March 3, 2004 Executive Action Item I concur with Dr. Shanks recommendation to revise the catalog regarding the requirement for ...
Wisconsin Milwaukee >> JAN >> 05 (Fall, 2009)
Volume LXII, Number 1 William and Mary Quarterly Reviews of Books The Great Meadow: Farmers and the Land in Colonial Concord. By BRIAN DONAHUE. New Haven, Conn.: Yale University Press, 2004. 344 pages. $35.00 (cloth). Reviewed by Steven Stoll, Yal...
Wisconsin Milwaukee >> OCT >> 06 (Fall, 2009)
Volume LXIII, Number 4 William and Mary Quarterly Reviews of Books American Curiosity: Cultures of Natural History in the Colonial British Atlantic World. By SUSAN SCOTT PARRISH. Chapel Hill: University of North Carolina Press, 2006. Published for...
Wisconsin Milwaukee >> JAN >> 06 (Fall, 2009)
Volume LXIII, Number 1 William and Mary Quarterly Reviews of Books Slave Country: American Expansion and the Origins of the Deep South. By ADAM ROTHMAN. Cambridge, Mass.: Harvard University Press, 2005. 312 pages. $35.00 (cloth). Reviewed by T. St...
Wisconsin Milwaukee >> OCT >> 05 (Fall, 2009)
Volume LXII, Number 4 William and Mary Quarterly Reviews of Books From Tavern to Courthouse: Architecture and Ritual in American Law, 16581860. By MARTHA J. MCNAMARA. Creating the North American Landscape. Baltimore: Johns Hopkins University Press...
Wisconsin Milwaukee >> OCT >> 06 (Fall, 2009)
Volume LXIII, Number 4 William and Mary Quarterly Reviews of Books Eighteenth-Century Criminal Transportation: The Formation of the Criminal Atlantic. By GWENDA MORGAN and PETER RUSHTON. New York: Palgrave Macmillan, 2004. 250 pages. $69.95 (cloth...
Wisconsin Milwaukee >> APR >> 04 (Fall, 2009)
Volume LXI, Number 2 William and Mary Quarterly Reviews of Books Africans in Colonial Mexico: Absolutism, Christianity, and Afro-Creole Consciousness, 15701640. By HERMAN L. BENNETT. (Bloomington and Indianapolis: Indiana University Press, 2003. P...
Wisconsin Milwaukee >> JAN >> 06 (Fall, 2009)
Volume LXIII, Number 1 William and Mary Quarterly Reviews of Books Avengers of the New World: The Story of the Haitian Revolution. By LAURENT DUBOIS. Cambridge, Mass.: Harvard University Press, 2004. 384 pages. $29.95 (cloth), $17.95 (paper). A Co...
Wisconsin Milwaukee >> JAN >> 04 (Fall, 2009)
Volume LX1, Number 1 William and Mary Quarterly Tales from the Ships David Eltis, Emory University Reviews of Books A Slaving Voyage to Africa and Jamaica: The Log of the Sandown, 17931794. Edited by BRUCE L. MOUSER. (Bloomington: Indiana Universi...
Wisconsin Milwaukee >> APR >> 06 (Fall, 2009)
Volume LXIII, Number 2 William and Mary Quarterly They Were All Atlanticists Then Reviews of Books Gloria L. Main, University of Colorado, Boulder The Early Modern Atlantic Economy. Edited by JOHN J. MCCUSKER and KENNETH MORGAN. Cambridge: Cambrid...
Wisconsin Milwaukee >> OCT >> 04 (Fall, 2009)
Volume LXI, Number 4 William and Mary Quarterly Reviews of Books Atlantic Virginia: Intercolonial Relations in the Seventeenth Century. By APRIL LEE HATFIELD. (Philadelphia: University of Pennsylvania Press, 2004. Pp. 312. $39.95.) Reviewed by Pat...
Wisconsin Milwaukee >> APR >> 05 (Fall, 2009)
Volume LXII, Number 2 William and Mary Quarterly Reviews of Books Captors and Captives: The 1704 French and Indian Raid on Deerfield. By EVAN HAEFELI and KEVIN SWEENEY. Amherst: University of Massachusetts Press, 2003. 408 pages. $29.95 (cloth). R...
Wisconsin Milwaukee >> JAN >> 04 (Fall, 2009)
Volume LX1, Number 1 William and Mary Quarterly Reviews of Books Humanism and America: An Intellectual History of English Colonisation, 15001625. By ANDREW FITZMAURICE. Ideas in Context. (Cambridge: Cambridge University Press, 2003. Pp. x, 216, $5...
Wisconsin Milwaukee >> APR >> 05 (Fall, 2009)
Volume LXII, Number 2 William and Mary Quarterly Reviews of Books Manufacturing Revolution: The Intellectual Origins of Early American Industry. By LAWRENCE A. PESKIN. Studies in Early American Economy and Society from the Library Company of Phila...
Wisconsin Milwaukee >> APR >> 05 (Fall, 2009)
Volume LXII, Number 2 William and Mary Quarterly Reviews of Books Villains of All Nations: Atlantic Pirates in the Golden Age. By MARCUS REDIKER. Boston: Beacon Press, 2004. 256 pages. $24.00 (cloth), $16.00 (paper). Reviewed by Simon P. Newman, U...
Wisconsin Milwaukee >> OCT >> 04 (Fall, 2009)
Volume LXI, Number 4 William and Mary Quarterly Reviews of Books Indian Women and French Men: Rethinking Cultural Encounter in the Western Great Lakes. By SUSAN SLEEPER-SMITH. Native Americans of the Northeast: Culture, History, and the Contempora...
Wisconsin Milwaukee >> JAN >> 03 (Fall, 2009)
Volume LX, Number 1 William and Mary Quarterly Reviews of Books Communications To the Editor: Your readers should be aware of a major misstatement in Harold E. Selesky\'s review of my book, Losing a Continent: France\'s North American Policy, 175317...
Wisconsin Milwaukee >> OCT >> 04 (Fall, 2009)
Volume LXI, Number 4 William and Mary Quarterly Reviews of Books Community of the Cross: Moravian Piety in Colonial Bethlehem. By CRAIG D. ATWOOD. Max Kadeb German-American Research Institute Series. (University Park: The Pennsylvania State Univer...
Wisconsin Milwaukee >> JUL >> 05 (Fall, 2009)
Volume LXII, Number 3 William and Mary Quarterly Reviews of Books Mastery, Tyranny, and Desire: Thomas Thistlewood and His Slaves in the Anglo-Jamaican World. By TREVOR BURNARD. Chapel Hill: University of North Carolina Press, 2004. 320 pages. $39...
Wisconsin Milwaukee >> JUL >> 05 (Fall, 2009)
Volume LXII, Number 3 William and Mary Quarterly Reviews of Books A Strange Likeness: Becoming Red and White in Eighteenth-Century North America. By NANCY SHOEMAKER. Oxford: Oxford University Press, 2004. 211 pages. $29.95 (cloth). Reviewed by Ann...
Wisconsin Milwaukee >> JAN >> 05 (Fall, 2009)
Volume LXII, Number 1 William and Mary Quarterly Reviews of Books This Remote Part of the World: Regional Formation in Lower Cape Fear, North Carolina, 17251775. By BRADFORD J. WOOD. Columbia: University of South Carolina Press, 2004. 368 pages. $...
What are you waiting for?