11 Pages

lecture1

Course: CITS 7200, Fall 2009
School: Allan Hancock College
Rating:
 
 
 
 
 

Word Count: 2634

Document Preview

Communication Scientific CITS7200 Computer Science & Software Engineering Lecture 1 A LTEX There are many computer tools available for the production of technical documents, and you must master those that you will need for your thesis. The tools I have chosen are commonly used by computer science graduates and researchers around the world and produce professional quality documents. A Thus, this lecture...

Register Now

Unformatted Document Excerpt

Coursehero >> California >> Allan Hancock College >> CITS 7200

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Communication Scientific CITS7200 Computer Science & Software Engineering Lecture 1 A LTEX There are many computer tools available for the production of technical documents, and you must master those that you will need for your thesis. The tools I have chosen are commonly used by computer science graduates and researchers around the world and produce professional quality documents. A Thus, this lecture will briefly introduce L TEX and how to get started with A it, the ispell program for spell-checking L TEX source, xfig for generating A X document, and gnuplot for generdrawings that can be inserted in a L TE ating graphs. The use of bibliographic data files and the inclusion of images in your documents will also be covered. 1 A LTEX A L TEX is a text mark-up language that produces professionally typeset docA uments. TEX, the predecessor of L TEX, was developed by Donald Knuth in the early 1970's for automatically typesetting books. It is a program that accepts a text file with certain formatting commands as input, and generates a dvi, or device independent, file as output. The dvi file can be readily translated into languages that can be understood by screens or printers. A L TEX, written by Leslie Lamport in the early 1980's, is a macro package A that sits on top of TEX. L TEX adds to TEX a collection of commands that 1 A simplify typesetting. L TEX is widely used by computer scientists around the world for a number of reasons, some of which are the following: It is available on many different computers, including PCs and Macintoshes, and generates output on many different devices ranging from dot matrix printers to professional typesetting machines. A Many journals and conferences accept papers in L TEX format or, inA deed, insist upon it. Direct reproduction from L TEX (or dvi or PostScript) source helps reduce errors. The format of your document is governed by style options that are either specified at the beginning of your source, or included in your own customized style files. This means that if you need to change the format of your paper, you need only alter the style options. A L TEX source is ASCII text. It can be sent by email, and the use of A L TEX formatting conventions is a standard way of sending mathematical symbols through email. The dvi, PostScript or pdf translations are good for distributing your paper electronically, especially if you want to make it available via anonymous ftp across the Internet or down-loadable from your web page. Cross-references to equations, theorems, tables, figures and references are fully supported using symbolic labels. The re-numbering of crossreferences is done automatically when you add a new equation or reference to your paper. A It is very easy to prepare overhead transparencies from your L TEX source by simply cutting and pasting the appropriate text into a slide file. Additionally, you can use TexPoint, which is a freeware available A for including L TEX directly into your PowerPoint slides. Indexing is supported. You can use a key with the command \index so that items that should be included in an index to your document are noted with the page number on which they appear. Manual entries are facilitated. A I have placed a number of links to L TEX on the unit webpage. 2 1.1 Getting started A Usually you will prepare an ASCII file of L TEX source using your favourite editor. The source needs a preamble declaring the document style, and follows a \begin{document} command. For example, these lecture notes have the following preamble: \documentclass[12pt, a4paper]{article} \usepackage{psfig} \parindent 0pt \parskip 5pt \title{Scientific Communication CITS7200} \author{Computer Science \& Software Engineering} \date{} \begin{document} \maketitle . . . \end{document} This preamble declares the document class as that of an article. Without any other parameters, the article class will produce 10pt text in U.S. letter format. This document has used 12pt text with the A4 format. The other commands say that the package psfig will be used for including postscript figures, paragraphs will have no indentation, and there will be a 5 point spacing between paragraphs, and it gives a title and author of the document, with no date included. If \date is left out then the current date will appear on the document. After the \begin{document} command the main part of your source text is entered, and the document concludes with a \end{document} command. The easiest way to process a document is to have the editor running in one window, to run latex file.tex in another, and to run xdvi file.dvi & in the background. This way you can edit and view your file almost simultaneously. A Most L TEX commands describe the logical structure of the document. To describe simple sentences, you merely type in the text as it comes. The ends of words and sentences are marked by spaces, and extra spaces are ignored. One or more blank lines denote the end of a paragraph. The tilde character ~ produces an ordinary inter-word space at which TEX will never 3 break a line. This is useful for terms such as "Chapter 1", which look silly if the "1" appears on the next line, or for citations. A Emphasized text in L TEX is printed in italics. It is generated by the command \em. For example {\em This text is emphasized.}, produces This text is emphasized. Since emphasized text leans to the right, you sometimes need to add extra space. You do this with the \/ command, as in ``I {\em do}\/ like you.'' to produce "I do like you." The emphasis command is a toggle command, so that emphasis within emphasis reverts to plain text. Notice that opening quotes are produced by two single left quotes, whilst closing quotes are produced by two single right quotes (a double quote will do here too). Similarly, bold font is produced by the command {\bf } as in ``some of this {\bf text} is in bold.'' to produce "some of this text is in bold." A L TEX recognises four kinds of dashes: the hyphen, such as in user-friendly; the dash between ranges, such as pages 1537; the dash between phrases, such as "Which do you prefer--the white or the black?"; and the mathematA ical minus sign, -1. These dashes are generated by the L TEX commands -, --, --- and $-$ respectively. If you are using ellipses, as in "This program first processes a, then b, then c, . . . ", you must use the command \ldots to produce the three dots, rather A than just typing three dots. This is because L TEX produces the dots as they would be typeset, whereas typeset periods are set to occupy a small amount of space close to the preceding letter. A L TEX provides three list environments: these are generated by the commands itemize, enumerate or description. They work as follows: Type Programs are made up of \begin{itemize} \item Algorithms. This is the underlying idea that solves the problem. \item Data Structures. This is the format in which the data is best presented for this problem, and \item Data. This is the input to the algorithm. \end{itemize} to produce 4 Programs are made up of Algorithms. This is the underlying idea that solves the problem. Data Structures. This is the format in which the data is best presented for this problem, and Data. This is the input to the algorithm. The same input with enumerate in place of itemize gives: Programs are made up of 1. Algorithms. This is the underlying idea that solves the problem. 2. Data Structures. This is the format in which the data is best presented for this problem, and 3. Data. This is the input to the algorithm. The description command works as follows: Programs are made up of \begin{description} \item [Algorithms.] This is the underlying idea that solves the problem. \item [Data Structures.] This is the format in which the data is best presented for this problem, and \item [Data.] This is the input to the algorithm. \end{description} to produce: Programs are made up of Algorithms. This is the underlying idea that solves the problem. Data Structures. This the is format in which the data is best presented for this problem, and Data. This is the input to the algorithm. 5 A The power of L TEX becomes evident when you have mathematical symbols or equations in your paper. The math, displaymath, and equation environments put TEX in the mathematics mode. There are also short forms of these environments, the most common being $...$ and \[...\]. Subscripts and superscripts are made with the _ and ^ commands. The \frac command is used for large fractions in displayed formulas. A There is an excellent summary of TEX and L TEX symbol commands given in your Readings and References handout for this unit. A Here is an example of L TEX source and the output: Integrate $\int x^2e^{x^3}dx$. Let $u = x^3$. Then $du = 3x^2dx$, and we obtain \begin{equation} \int x^2e^{x^3}dx = \frac{1}{3} \int e^{x^3}(3x^2dx) = \frac{1}{3} \int e^udu = \frac{1}{3} e^u + C = \frac{1}{3} e^{x^3} + C \end{equation} Integrate obtain 3 x2 ex dx. Let u = x3 . Then du = 3x2 dx, and we 1 3 3 3 x2 ex dx = ex (3x2 dx) = 1 3 1 1 3 eu du = eu + C = ex + C 3 3 (1) A numbered displayed formula is produced in the equation environment, whereas the displaymath environment produces unnumbered formulas. Arrays are produced by the array environment. It has a single argument that specifies the number of columns and the alignment of items within the columns. Adjacent rows are separated by a \\ command (the newline command) and adjacent items within a row are separated by a & character. For example, $\begin{array}{lr} float & 10.0 \\ int & 10 \end{array}$ 6 produces f loat 10.0 int 10 The first column is left-justified, and the second column is right-justified. Note that because this is done in the maths environment $...$, the text is actually typeset as if it were a collection of mathematical variables. This can be corrected by specifying a font for the text, say {\rm float}, or better still using \textrm{...}, or by using the tabular environment. The tabular environment is useful for making arrays of ordinary text items. For example, the source \begin{center} \begin{tabular}{|c|l|c|} \hline Number of iterations & type & time \\ \hline 100 & random & 5.0 \\ 1000 & random & 120 \\ 100 & genetic & 0.1 \\ 1000 & genetic & 0.5 \\ \hline \end{tabular} \end{center} produces Number of iterations 100 1000 100 1000 type time random 5.0 random 120 genetic 0.1 genetic 0.5 A The input structure to L TEX should display as clearly as possible the logical structure of the document. For this reason, any structure that appears often in your text should be declared using the \def or the \newcommand command. These are usually placed at the beginning of your document. Some examples are: \def\iff{\Leftrightarrow} 7 allows you to type \iff instead of \Leftrightarrow whenever you want the symbol . Similarly, \newcommand{\bi}{\begin{itemize}} \newcommand{\ei}{\end{itemize}} defines \bi ... \ei to be equivalent to \begin{itemize} ... \end{itemize}. A Citations to bibliographic entries can be handled automatically in L TEX, along with other types of cross-referencing. To handle cross-referencing, A L TEX requires two passes over the input: one pass to find the information and a second pass to put it into the text. Here is an example of how cross-referencing to sections and equations works: Equation~\ref{eq:euler} in Section~\ref{sec-early} below is Euler's famous result. \subsection{Early Results} \label{sec-early} Euler's equation \begin{equation} e^{i\pi} + 1 = 0 \label{eq:euler} \end{equation} combines the five most important numbers in mathematics into a single equation. giving Equation 2 in Section 1.2 below is Euler's famous result. 1.2 Early Results ei + 1 = 0 (2) Euler's equation combines the five most important numbers in mathematics into a single equation. Bibliographic citations are handled in a similar fashion. The source list is created with a thebibliography environment, which is like the enumerate environment except that: 8 List items are begun with the \bibitem command. Its argument is a key by which the source can be cited with a \cite command. The thebibliography environment has an argument that should be a piece of text the same width or wider than the widest item label in the source list. For example, I can cite items from the reference list to these notes as illustrated in the following example: Leslie Lamport makes a strong argument~\cite{lamport2} for the use of logical word-processing systems, and \LaTeX~\cite{lamport} is a good example of a (semi-) logical system. The document by Ken Wessen~\cite{ken} shows how \LaTeX\/ can be used to produce a thesis. Leslie Lamport makes a strong argument [4] for the use of logical A word-processing systems, and L TEX [2] is a good example of a (semi-) logical system. The document by Ken Wessen [3] shows A how L TEX can be used to produce a thesis. This example uses part of the following bibliography: \begin{thebibliography}{9} \bibitem{knuth} D. E. Knuth. {\em The \TeX~Book.}\/ Addison-Wesley, Reading, Massachusetts, 1984. \bibitem{lamport} L. Lamport. {\em \LaTeX\/: A Document Preparation System}.\/ Addison-Wesley, Reading, Massachusetts, 1986. \bibitem{ken} Ken Wessen. Preparing a thesis using \LaTeX. Private communication, 1994. \bibitem{lamport2} L. Lamport. Document production: Visual or logical. {\em Notices of the Amer. Maths. Soc.},\/ Vol. 34, 1987, pp. 621-624. \end{thebibliography} A In a later lecture we will cover BIBTEX, L TEX's full bibliographic database environment. 9 2 ispell A There are many spelling checkers that can be used on L TEX source; the one I use is called ispell. If you use either a -t flag or have a .tex extension on A your file, ispell will ignore most L TEX commands. A typical session might look like: Marr 0: 1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: Barr Carr Mar Marc Mare Mark Marry Mars Mart Marx Mary Mawr Parr File: image.tex luminance events that occur infrequently, but which somehow capture a high proportion of the image information. David MARR The online manual gives all the information you could need for ispell. A For other spelling checkers and word counting, you can detex your L TEXsource using the command detex file.tex. 3 Psfig Psfig/TEX is a macro package for TEX that facilitates the inclusion of Postscript figures into your documents. The post-processor dvips has full Psfig support, so that Postscript figures are automatically scaled and positioned on the page. To include a Postscript figure in your document, the top of your file should begin with the following declaration: 10 \documentclass[...]{article} \usepackage{psfig} and then, when you want to include an image or figure, use \psfig{figure=input} where input is the name of the PostScript file. Psfig provides options for scaling the height and width of your figure, rotating it by an arbitrary angle, clipping, and many other options. There is a link on the unit webpage to the Psfig User's Guide. 4 Xfig Xfig is a menu-driven tool that allows you to draw and manipulate objects interactively in an X window. The on-line manual gives you plenty of information on how to use it. In particular, you can export your figures as A encapsulated PostScript files and then include them in your L TEX documents using Psfig. 5 gnuplot Gnuplot is a command-driven interactive function plotting program. There is an on-line manual entry, but the gnuplot help command will give you all the information you need. In particular, if you have produced a plot you wish to include in a document, you can save the output in Postscript and then use Psfig again. For example, the command gnuplot> plot sin(x); will generate a Gnuplot window containing a plot of the function. If you then type gnuplot> set output "file.ps"; gnuplot> set terminal postscript eps; gnuplot> replot; the same plot will be sent to a Postscript file. You should then type set terminal x11 to return to plotting functions on your terminal rather than sending the results to a file. 11
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Allan Hancock College - CITS - 7200
Html Cheat SheetSource: http:/webmonkey.wired.com/webmonkey/reference/html_cheatsheet/Basic Tags<html></html> Creates an HTML document <head></head> Sets off the title and other information that isnt displayed on the Web page itself <body></body>
Allan Hancock College - CITS - 7200
|'TB Y {E`U8 z y x w 1I Pc) v u 1W 2sF t s 1W 22) r q R I) 0V8V6122 p o ' 0s3 m l ' Y 1 nU4TPI k j 8W 2PD i h 1 2) R D1 Y U8H4F`U8 g f d 1e R Y ' q f 0'6 Y ') 2' '3 50V81 '3B W sx253 y '3 sxB v u '3 sxB w R I) U48V612HB t Q '6 sr3H
Allan Hancock College - CITS - 7200
Scientific Communication CITS7200Computer Science & Software EngineeringLecture 10Giving a talkToday we will talk about how to give a seminar in Computer Science. If you continue in academia, you will give more seminars, either as university tal
Allan Hancock College - CITS - 7200
Scientic Communication CITS7200Computer Science & Software EngineeringLecture 4CompositionWe will now consider some general points of composition. Specically, we want to address global issues of form and content in scientic writing. In a later l
Allan Hancock College - CITS - 7200
Scientific Communication CITS7200Computer Science & Software Engineering The University of Western AustraliaExercise 1Create a document called practice.tex. Set up the document class as article, with 12pt font and an A4 setting. Give your documen
Allan Hancock College - CITS - 7200
Scientific Communication CITS7200Computer Science & Software EngineeringLecture 12Writing an academic curriculum vitae 1 The academic CVThe purpose of a CV is to list your qualifications for a job. Different professional areas require different
Allan Hancock College - CITS - 7200
t g nq {q ~}j zwpnctpscSkghFd z xt njii cgWwj n xt xitz czhsyqwg gjr ~ x kkkgytfd n xtjt ng l v q igz v qt zt ng n q r lq x ~ { g et ztzg v ij njt rsqp8hP)hwfWhs8kc5hynq~k|q)wwsshz khz ghfkeWkkatkqkpccsk8l hrsyqwcsP@sqjy~kuhnhwwt e d
Allan Hancock College - CITS - 3230
Introduction to the Internet Protocols C R C S Computer Sci
East Los Angeles College - CL - 0708
ECONOMICS & LAWNicholas Bohm lecture notes 2008Aim To provide an overview to illustrate * * when merchants and traders need professional advice, and the context in which to understand and use that adviceContract Making the contracts you want to
Allan Hancock College - CITS - 1200
Java ProgrammingCITS 1200 Java ProgrammingRecursion II CSSE, Gordon Royle 20081Java ProgrammingScope of this lecture Recursive Listing Recursively defined classes References: Barnes, Object-Oriented Programming with Java, Section 10.
East Los Angeles College - CL - 0708
Internet Routing Protocols Lecture 03 Inter-domain RoutingAdvanced Systems TopicsLent Term, 2008 Timothy G. Griffin Computer Lab Cambridge UKAutonomous Routing DomainsA collection of physical networks glued together using IP, that have a unified
Allan Hancock College - CITS - 3241
Lt/l3t"A75TAc,a A/o rDfit'lQEbSW.Undbufl\gJrdtdgt\r@, gY ,'61,1+siot a.*uit,lont*{i Lt,;.5wvt-,zrctfl,+rl-t IIM-, ts tt^1+l/',vr^+*l*tovtSlcbvf{,C1tii"- ^;I^Aec.ts '@(N rlch 171'ro'r .'fu,4afr(&,w'*1 gffx"fi.uufll'nr5 ',,.L+t
Allan Hancock College - CITS - 2220
Object Interactions UML Sequence ChartsSoftware Engineering Design Lecture 6Sequence Diagrams tie use cases with objects, showing how the behaviour of a case is distributed among its participating objects. provide a shift in perspective, allowin
East Los Angeles College - ECON - 2020
International Monetary Theory and Policy, EC247/347Week 10, Autumn 2003International Monetary Theory and Policy, EC247/347Week 10, Autumn 2003Monetary Expansion is Ineective Under a Fixed Exchange Rate DDAA2Stabilization Policies with a F
East Los Angeles College - ECON - 2020
International Monetary Theory and Policy, EC2020/3026Week 5, Autumn 2003International Monetary Theory and Policy, EC2020/3026Week 5, Autumn 2003Fixed Exchange Rates and Foreign Exchange InterventionCentral Bank Intervention and the Money Sup
East Los Angeles College - ECON - 2020
International Monetary Theory and Policy, EC2020/3026Week 9, Autumn 2003International Monetary Theory and Policy, EC2020/3026Week 9, Autumn 2003Short-Run Equilibrium: The Intersection of DD and AAShort-Run Equilibrium in an Open Economy: Pu
Virgin Islands - CHEM - 458
Statistical Thermodynamics: Lecture #14Prof. David W. SteuermanMarch 2, 2009Topics:Diatomic Ideal Gas Comment on Polyatomic Gases and Spectroscopy Reminder: Conjugate Variables and Chemical Potential Department of Chemistry University of Victor
Allan Hancock College - CITS - 2231
Objectives Fundamental imaging notions Physical basis for image formation- Light - Color - PerceptionImage FormationEd Angel Professor of Computer Science, Electrical and Computer Engineering, and Media Arts University of New MexicoAngel: Inte
Virgin Islands - CHEM - 458
Problem Set #5 CHEM 458/55 Statistical Thermodynamics Spring 2009 Due: March 16, 2009#1.Using the Grand Canonical Ensemble determine the order of magnitude of fluctuations in particle number of a vessel containing on average one mole of particles
Allan Hancock College - LPB - 1998210
PARLIAMENT OF VICTORIA Legal Practice (Amendment) Act 1998 Act No. TABLE OF PROVISIONSClause
Allan Hancock College - CITS - 4241
Visualisation is. CITS4241 Visualisation Lecture 1What is Visualisation? the act or process of interpreting in visual terms or of putting into visual form (Webster's 9th New Collegiate Dictionary) imagine visually (The Pocket Oxford Dictionary)C
Allan Hancock College - COMB - 2001199
PARLIAMENT OF VICTORIA City of Melbourne Act 2001 Act No. TABLE OF PROVISIONSClause
Virgin Islands - SENG - 474
FPtree/FPGrowth(Complete Example)First scan determine frequent 1itemsets, then build headerTID 1 2 3 4 5 6 7 8 9 10 Items {A,B} {B,C,D} {A,C,D,E} {A,D,E} {A,B,C} {A,B,C,D} {B,C} {A,B,C} {A,B,D} {B,C,E}B A C D E 8 7 7 5 3FP-tree constructionA
East Los Angeles College - I - 8600
# rpm -ivh hsfmodem-7.18.00.02full_k2.6.10_1.737_FC3-1fdr.i686.rpm -forcewarning: hsfmodem-7.18.00.02full_k2.6.10_1.737_FC3-1fdr.i686.rpm: V3 DSA signature: NOKEY, key ID 5dfbf7dcPreparing. # [100%] 1:hsfmodem # [100
East Los Angeles College - PB - 8600
# rpm -ivh hsfmodem-7.18.00.02full_k2.6.10_1.737_FC3-1fdr.i686.rpm -forcewarning: hsfmodem-7.18.00.02full_k2.6.10_1.737_FC3-1fdr.i686.rpm: V3 DSA signature: NOKEY, key ID 5dfbf7dcPreparing. # [100%] 1:hsfmodem # [100
East Los Angeles College - CL - 0708
Prolog can be used for parsing context-free grammarsHere is a simple grammar: s -> 'a' 'b' s -> 'a' 'c' s -> s s Terminals: a, b Non-terminals: s53Parsing by consumptionWrite a predicate for each non-terminal which consumes as much as the first
East Los Angeles College - CL - 0708
Keywords: types; polymorphism; curried functions; nameless functions; lists; pattern matching; case expressions; list manipulation; tail recursion; accumulators; local bindings. References: [MLWP, Chapters 2, 3, & 5] J. McCarthy. Recursive functions
Allan Hancock College - ARTS - 29259
Gender-inclusive language reform in the English of Singapore and the Philippines Paper presented @ the 28th Annual Congress of the Applied Linguistics Association of Australia, Griffith University, Brisbane Australia, 12-14 July 2003 Abstract The con
Allan Hancock College - SEE - 48907
Newsletter of the Friends of the E.de C. Clarke Geology Museum:February 20041FEBRUARY NEWSLETTER 2004Whats On?Sunday, February 29th 2004The Exciting Minerals of Tasmanias West Coast by Jenny Bevanwhere? First Year Laboratory, School of Ea
Davidson - CIS - 160
CIS 160: Introduction to East Asian StudiesFall 2003 M,W,F 9:30-10:20, Chambers 305 Prof. Eriberto P. Lozada Jr. Office: Carnegie 01 Telephone: 704-894-2035 Office Hours: M, W, F 10:30 11:30 am T, Th 10:00 11:15 am or by appointment Email: erlozad
Davidson - ANT - 261
ANT 261: Science, Religion, and Society: Is the Truth Out There? Spring Term, 2003: Monday, Wednesday, Friday 9:30 - 10:20 am, Chambers 322 Prof. Eriberto P. Lozada Jr. Email: erlozada@davidson.edu Office: Carnegie 01 Telephone: 894-2035 Office Hours
East Los Angeles College - DS - 450
CommentSocietal transition and healthThe fall of communism in the 1990s and the ensuing profound societal transition in central and eastern Europe and the former Soviet Union is a unique social experiment. Social, economic, and political changes a
East Los Angeles College - LI - 230
Allan Hancock College - ITS - 129245
Information Technology Services REQUEST FOR CHANGE OF USER NAMEPlease ensure that Human Resources and any other applications owners have been advised of your change of name.SECTION 1 APPLICANT DETAILSCurrent DetailsEmployee Number: Surname:Ne
Allan Hancock College - HI - 19921993
HEALTH INSURANCE (1992-1993 GENERAL MEDICAL SERVICES TABLE) REGULATIONS (AMENDMENT) 1993 NO. 145 HEALTH INSURANCE (1992-1993 GENERAL MEDICAL SERVICES TABLE) REGULATIONS (AMENDMENT) 1993 NO. 145 - TABLE OF PROVISIONS1. Commencement 2. Amendme
Allan Hancock College - ITS - 129255
MEMORANDUMTo:University Communications ServicesFacsimile Telephone Email 6488 1109 6488 2612 Marie.Corrigan@uwa.edu.auFrom: Date:_ _CONNECTION OF COMPUTER NETWORK TO THE UWA CAMPUS COMPUTER NETWORK AND AARNET Computer networks connected to
East Los Angeles College - CL - 0809
Proof principle For all types and closed terms M1 , M2 PCF ,Lecture 8Full Abstraction[M1 ] = [M2 ] in [ ] = M1 ctx M2 : . =Hence, to proveM1 ctx M2 : =it suffices to establish[M1 ] = [M2 ] in [ ] .12Full abstraction A denotation
Allan Hancock College - SHSB - 2006264
HON MICHELLE ROBERTS MLA MINISTER FOR HOUSING AND WORKS; HERITAGE SUNSET HOSPITAL SITE BILL 2006 EXPLANATORY MEMORANDUMINTRODUCTIONThe purpose of the Suns
Allan Hancock College - COS - 214
COS214 Tutorial 2Roberto Togneri, 20001. (a) (b) (c) Give a definition of the term process. Explain the difference between procedure, program, process, task, and job. On all current computers, at least part of the interrupt handlers are written in
Allan Hancock College - CFOTPOCB - 2002382
CIVIL FORFEITURE OF THE PROCEEDS OF CRIME BILL 2002 EXPLANATORY NOTESGENERAL OUTLINEObjects of the LegislationThe object of this Bill is to allow a Court to confiscate the assets of a person,without it being
East Los Angeles College - CL - 0708
Lecture VIKeywords: enumerated types; polymorphic datatypes: option type, disjoint-union type; abstract types; error handling; exceptions. References: [MLWP] Section 2.9, Records Chapter 4, The datatype declaration Section 7.6, The abstype declar
East Los Angeles College - CL - 0708
3.q q q q qSettingup:LegalaspectsSettingup:CompanyFormation Briefintroductiontobusinesslaw;duties ofDirectors Shares,stockoptions,profitshare schemesandthelike IPR CompanycultureandManagement TheoryCompanyformationq qLegalentity: Purchase:
Davidson - ECO - 105
Laurentian - GEOG - 1010
Mer de Glace, FranceShackleton Glacier, Rocky Mnts, BCGEOG 1010Introduction to GeographyGLACIERS & GLACIATION 1Dr. Hester JiskootDEFINITION OF A GLACIERA body of ice and firn lying wholly or partly on land and showing evidence of present o
East Los Angeles College - LG - 0809
load "Int";exception notdone;datatype hexp_t = x_num of int | x_true | x_false | x_net of string;fun sfold f nil = "| sfold f [item] = f item| sfold f (h:t) = (f h) ^ ", " ^ (sfold f t);fun xToStr (x_num n) = Int.toString n| xToStr
Laurentian - MGT - 4421
Chapter EightThe Money MarketsThe Money Markets Money Markets Defined1. Money market securities are usually sold in large denominations 2. They have low default risk 3. They mature in one year or less from their issue dateCopyright 2004 Pears
Allan Hancock College - AS - 413
AS413Adaptive Systems 413620.4137. Adaptive Control7.1 What is Adaptive Control?In classical control engineering one has the choice of: an open-loop system, where the controller generates the control signal in response to the command input
East Los Angeles College - TS - 328
Types supervision notesTom StuartDatatypes in PLCOne way of looking at the PLC representation of a datatype (like bool ) is by thinking about it as a replacement for the usual operation(s) on that datatype (like if b then e1 else e2 ).Booleans
Allan Hancock College - AS - 413
AS413Adaptive Systems 413620.4134. Least-Squares Filtering and Prediction4.1 Principle of Least SquaresThe optimum MMSE estimator discussed in Chapter 2 and efficient implementations based on the Levinson algorithm discussed in Chapter 3 all
East Los Angeles College - TS - 328
Computation Theory supervision notesTom StuartRecursively enumerable and recursive setsWhereas Turing and register machines closely model the behaviour of the real digital computers were familiar with, -recursive functions give us a more immedia
East Los Angeles College - TS - 328
Computation Theory supervision notesTom StuartPartial recursive functionsAll primitive recursive functions are total (ie. defined for all possible values of all arguments) because neither composition nor primitive recursion allow us to fundament
East Los Angeles College - TS - 328
Computation Theory supervision notesTom StuartPrimitive recursive functionsThe primitive recursive functions are those which can be built up from the so-called initial functions the zero function (which takes no arguments and returns 0), the su
Laurentian - ANTH - 2200
KINSHIP TERMS Descent: the tracing of kinship relationships back to previous generations Unilineal descent: descent through one line only (matrilineal or patrilineal) Bilateral descent: descent reckoned through both maternal and paternal lines Consan
Allan Hancock College - HR - 14457
HUMAN RESOURCES DIVISIONInside this issue:HR MATTERSM A R C H 2 0 0 7Clearance of LeaveLast year the Vice-Chancellery wrote a memo to staff outlining the requirements of managing leave accruals across campus. The importance of managing leave c
East Los Angeles College - QA - 20080704
PSEUDO HIERARCHY IN CHARON Charles Severance csev@umich.edu May 8, 2007 Introduction Note: This feature is in the post 2.4.0 trunk at revision r30129 or later. Sakai's portal now supports the display of parent-child relationships between sites. This
East Los Angeles College - QA - 20080704
Sakai Resource Search via O.K.I. Repository OSID (Part of Twin Peaks)Jeff Kahn Senior Consultant to MIT November 28, 2005 Starting with Sakai 2.1, there is a service for accessing repository content. This service is part of the osid module. The serv
Allan Hancock College - ECOM - 53739
Time Table 8.30am 9.00amMonday 5 July Opening Session Chair: Dr Paul McLeod, Dean, UWA Business School, University of Western Australia Opening Address: Professor Alan Robson, Vice-Chancellor, The University of Western Australia. Session 1: AUSFTA
Allan Hancock College - ECOM - 47908
International Conference on FREE TRADE AGREEMENTS IN THE ASIA-PACIFIC REGION: IMPLICATIONS FOR AUSTRALIA 4-6 July, 2004 The University of Western Australia, Perth, AustraliaREGISTRATION FORM (BLOCK LETTERS PLEASE)Registration InformationTitle _ Su
McGill - C - 666
Earth and Planetary Science Letters 178 (2000) 125^138 www.elsevier.com/locate/epslGeophysical evidence for dewatering and deformation processes in the ODP Leg 170 area oshore Costa RicaKirk D. McIntosh *, Mrinal K. SenInstitute for Geophysics, U
Virgin Islands - LAW - 366
East Los Angeles College - AH - 433
Genericity Annotation GuidelinesAurelie Herbelot 28th December 20071The Annotation SchemeThe annotation scheme is designed as a list of 14 steps. Each step corresponds to a test, the answer to which decides of the next step to take. Annotators