CompSys704

Lecturer went through forcing and disabling of actions using interleaving and and concurrent parallelism. Well formed adapter only has one forced transition from a state.

A* is the closure set made up of recusive concatenation of previous strings: Aø U A1 U A2 U ...

Supervisory control. Forced simulation produces well formed adapters. Forced cycles in adapter by supervisory control.

Composed and transmitted from my iPod Touch

CompSys705

Readability of the process is kept in memory and the graph is not drawn to save memory. View variables to get timing graph. Assignment is on moving a work piece with cylinders of different lengths. Sequentially generated automata.

Composed and transmitted from my iPod Touch

Fin251

Underwriter takes on the responsibility of selling shares to investors. Book building is done buy taking the average bids of shares from other financial institutions.

Lecturer going through chapter 14 questions. Going through IPO. Over subscription. Cum rights.

Composed and transmitted from my iPod Touch

Spark feedback

<sms>

Aite da dude basically said we shud do more market research n talk to potential buyers. Shud try coming up wth prototype to get user feedback n help wth marketn. N our estimated revenue is too low so wont b lucrativ enuf

</sms>

EngGen403 tutorial

Tutorial today started by skimming over what went on in this week's lectures. Then the second half of the tutorial was on discussing assignment 3. You can use graphs, figures, pictures and tables. Pretty lax with report structure. Try not to have just references from the council. Unbiased.

Composed and transmitted from my iPod Touch

CompSys705 tutorial

Tutorial for test tomorrow night. CCS is separate from CTL and Kripke Structure. CCS is a way to describe the actions of processes. CTL takes a Kripke Structure and unfolds it in time (modal). Labelling of a transition system is "labelling" a state with a proposition that is true. When checking a Kripke Structure, label all the states on a diagram.

NCES. Firing groups. Better to know how to use ViVe. Forced or independent transitions. Forced transitions are made by transition boxes with an event arc to it. Independent transitions can fire whenever the number of tokens in a place is satisfied or based on a rule for a transition box.

Fin251

New old lecturer. Talking about beta and share price and return. Something about inference from market and beta value. Talking about share rights and cum-rights share price. Now talking about short selling shares before going ex-rights. Apparently you make no money out of this strategy because the market is efficient. Lots more on use of rights. The drop off on ex-rights date. Now on to private placements of rights. Transfer of wealth.

Karing says I should tell you all that Richie just snored in the lecture.

"If the investment is used to invest in a stupid project then the market price may drop." Lots more assumptions being bounced around from the lecturer.

Disclaimer: I hold no responsibility in wasting your time in reading meaningless information about nothingness.