10 Pages

l01-2x2

Course: COMP 9417, Fall 2009
School: Allan Hancock College
Rating:
 
 
 
 
 

Word Count: 2705

Document Preview

COMP9417 Aims 09s1: Machine Learning and Data Mining This lecture will provide the basis for you to be able to describe the motivation, scope and some application areas of machine learning. Following it you should be able to: describe the general learning problem March 12, 2008 state some of the steps in setting up a learning problem list some applications of machine learning Acknowledgement: Material derived...

Register Now

Unformatted Document Excerpt

Coursehero >> California >> Allan Hancock College >> COMP 9417

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.
COMP9417 Aims 09s1: Machine Learning and Data Mining This lecture will provide the basis for you to be able to describe the motivation, scope and some application areas of machine learning. Following it you should be able to: describe the general learning problem March 12, 2008 state some of the steps in setting up a learning problem list some applications of machine learning Acknowledgement: Material derived from slides for the book Machine Learning, Tom Mitchell, McGraw-Hill, 1997 http://www-2.cs.cmu.edu/~tom/mlbook.html list some issues in machine learning Introduction to Machine Learning COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 1 Overview [Recommended reading: Mitchell, Chapter 1] [Recommended exercises: 1.1,1.2, optionally 1.5] Why Machine Learning? What is a well-dened learning problem? An example: learning to play checkers (draughts) What questions should we ask about Machine Learning? Why Machine Learning Considerable progress in algorithms and theory Growing ood of online data Increasing computational power Many successful commercial/scientic applications COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 2 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 3 Three niches for machine learning: Data mining: using historical data to improve decisions medical records medical knowledge Software applications we cant program by hand autonomous robots speech recognition Self customizing programs Web sites that learn user interests Some denitions machine learning the science of algorithmic methods of learning from experience with the goal of improving performance on selected tasks data mining the use of machine learning or statistical algorithms to search large amounts of data for hidden patterns or relationships that are interesting and potentially useful COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 4 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 5 Typical data mining Task Patient103 time=1 Age: 23 FirstPregnancy: no Anemia: no Diabetes: no PreviousPrematureBirth: no Ultrasound: ? Elective CSection: ? Emergency CSection: ? ... Datamining Result Patient103 time=1 Patient103 time=2 Age: 23 FirstPregnancy: no Anemia: no Diabetes: YES PreviousPrematureBirth: no Ultrasound: abnormal Elective CSection: no Emergency CSection: ? ... Patient103 time=2 Age: 23 FirstPregnancy: no Anemia: no Diabetes: YES PreviousPrematureBirth: no Ultrasound: abnormal Elective CSection: no Emergency CSection: ? ... ... Patient103 time=n Age: 23 FirstPregnancy: no Anemia: no Diabetes: no PreviousPrematureBirth: no Ultrasound: ? Elective CSection: no Age: 23 FirstPregnancy: no Anemia: no Diabetes: no PreviousPrematureBirth: no Ultrasound: ? Elective CSection: ? Emergency CSection: ? ... ... Patient103 time=n Age: 23 FirstPregnancy: no Anemia: no Diabetes: no PreviousPrematureBirth: no Ultrasound: ? Elective CSection: no Emergency CSection: Yes ... Emergency CSection: Yes ... Given: 9714 patient records, each describing a pregnancy and birth Each patient record contains 215 features Learn to predict: Classes of future patients at high risk for Emergency Cesarean Section COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 6 One of 18 learned rules: If No previous vaginal delivery, and Abnormal 2nd Trimester Ultrasound, and Malpresentation at admission Then Probability of Emergency C-Section is 0.6 Over training data: 26/41 = .63, Over test data: 12/20 = .60 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 7 Credit Risk Analysis Customer103: (time=t0) Years of credit: 9 Loan balance: $2,400 Income: $52k Own House: Yes Other delinquent accts: 2 Max billing cycles late: 3 Profitable customer?: ? ... Other Prediction Problems Customer purchase behavior: Customer103: (time=t0) Sex: M Age: 53 Income: $50k Own House: Yes MS Products: Word Computer: 386 PC Purchase Excel?: ? ... Years of credit: 9 Loan balance: $4,500 Income: ? Own House: Yes Other delinquent accts: 3 Max billing cycles late: 6 Customer103: (time=t1) Years of credit: 9 Loan balance: $3,250 Income: ? Own House: Yes Other delinquent accts: 2 Max billing cycles late: 4 Profitable customer?: ? ... ... Customer103: (time=tn) Customer103: (time=t1) Sex: M Age: 53 Income: $50k Own House: Yes MS Products: Word Computer: Pentium Purchase Excel?: ? ... ... Customer103: (time=tn) Sex: M Age: 53 Income: $50k Own House: Yes MS Products: Word Computer: Pentium Profitable customer?: No ... Purchase Excel?: Yes ... Rules learned from synthesized data: If Other-Delinquent-Accounts > 2, and Number-Delinquent-Billing-Cycles > 1 Then Profitable-Customer? = No [Deny Credit Card application] If Other-Delinquent-Accounts = 0, and (Income > $30k) OR (Years-of-Credit > 3) Then Profitable-Customer? = Yes [Accept Credit Card application] COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 8 Customer retention: Customer103: (time=t0) Sex: M Age: 53 Income: $50k Own House: Yes Checking: $5k Savings: $15k Currentcustomer?: yes ... Customer103: (time=t1) Sex: M Age: 53 Income: $50k Own House: Yes Checking: $20k Savings: $0 Currentcustomer?: yes ... ... Customer103: (time=tn) Sex: M Age: 53 Income: $50k Own House: Yes Checking: $0 Savings: $0 Currentcustomer?: No COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 9 Process optimization: Product72: Stage: mix Mixingspeed: 60rpm Viscosity: 1.3 Fat content: 15% Density: 2.8 Spectral peak: 2800 Product underweight?: ?? ... (time=t0) Tasmanian Apple Thinning Product72: Stage: cook Temperature: 325 Viscosity: 3.2 Fat content: 12% Density: 1.1 Spectral peak: 3200 Product underweight?: ?? ... (time=t1) ... Product72: Stage: cool (time=tn) Fanspeed: medium Viscosity: 1.3 Fat content: 12% Density: 1.2 Spectral peak: 3100 Product underweight?: Yes ... Apple orchards are important in primary production in Tasmania, and there has been a long history in the process of apple thinning. Apples are naturally biennial bearing,. Trees ower heavily one year producing a large crop of small fruit (called the On year) followed by light owering the next year with a small crop of large poor quality fruit. Thinning is most economically done by applying sprays of chemicals that act similarly to plant hormones and cause the abortion of owers and fruitlets at an early stage of development. Early thinning favours the development of the desirable high density of cells in the fruit. Orchardists decision about concentration of thinning agent at blossom time. If concentration too low, then thinning is not eective and cost of hand thinning is prohibitive,. If the concentration too high, then risk of losing all the fruit. Decision is dicult because of large number of variables to be taken into account. COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 10 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 11 trees - cultivar, rootstock and age. physiology - previous crop, vigour, number of blossom buds. pruning - severity of detailed pruning, limb thinning, and penetration of light into the canopy. market - size of fruit required for the market. spraying - type of spray machinery and volume of water to be used in the machinery. 60 tasks, (some with 50 decision tree leaves (i.e. rule paths), plus 30 other variables and 40 procedures supported by a customized help le of 5,000 words. BG Gas Drilling - Stuck Pipe Drilling is a hugely expensive process, with daily costs for a North Sea operation typically incurring rig costs of around $50,000 per day. Clearly, anything that helps to reduce the time when a drilling rig is not productive has the potential to achieve huge savings. COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 12 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 13 Daily report data from two databases: One of which was old and included incomplete or absent data - particularly IADC (International Association of Drilling Contractors) codes. The other database was compiled more recently and included a large amount of additional data about well site geology, drilling costs, etc. Sixty recorded occurrences of Stuck Pipe in 170 BG wells. Possible to mine the data and to determine trends. Much of the time invested by the project team has concentrated on getting data in good order. Results indicate that length of time the hole has been open; the properties of the drilling mud; and the frequency with which the mud is conditioned all play a signicant role in the incidence of Stuck Pipe. Nissan - Car selection Starting from the basic choices of 3 alternative engines, 3 types of suspension, 2 types of transmission, 9 colours and 3 styles of seat fabric, customers can go far further and create a car to suit their own personality. COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 14 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 15 With 670,000 possible combinations, it is a totally new concept says Takao Ohmura, Sales Manager of Tokyo Nissan Computer Systems. A guidebook explains the options in table form and we were able to input these tables into XpertRule. Normally it is dicult to utilise such a large matrix, but XpertRule was able to automatically generate a decision tree structure to arrive at the correct model, from attributes and values in the tables. It met our three major requirements: (1) the model selection and check must be completed in minutes: three (2) the ability to run on Nissan dealers hardware, and (3) ease of maintaining the system after the launch of the Cero model. Channel 4 TV scheduling During the day, Channel 4s strength is the housewife market whilst in the evenings Channel 4s strength lies in its varied targeting ability. In comparison with ITV, Channel 4 audiences contain a greater proportion of younger, lighter, up-market, male viewers (audience research has also identied Channel 4s ability to target cluster groups dened by names such as Progressive Priscillas and Free-thinking Franks). Advertisers may specify to have commercials placed rst in the break, last in the break or Top & Tail in a break making break sequencing a challenge if optimal use of airtime is to be achieved. Denition of a knowledge-based system to solve the problem requires observation of a number of prioritised rules: Top of the list is the need for no overlaps or gaps, with Top and Tail or First and Last network spots also receiving high priority. Lower down the list are First and Last Super-macro spots and non-reporting Super-macros sequenced to play at the same time. COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 17 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 16 Optimization problems as the number of possible combinations grows it becomes impractical to try all combinations to arrive at a solution in a reasonable time. Rule of thumb can be used to narrow down options but, in most cases, good rules are not available or are dicult to capture. Numerical optimization techniques are currently available in most advanced spreadsheets, but these tend to be incapable of optimizing problems involving sequencing or scheduling and they are exploitation rather than exploration techniques. The solution involved the use of genetic algorithm techniques which allows the exploration of large search spaces for optimal or near optimal solutions. Problems Too Dicult to Program by Hand ALVINN [Pomerleau] drives 70 mph on highways ! COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 18 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 19 Sharp Left Straight Ahead Sharp Right Stanley - DARPA Grand Challenge Champion 2005 30 Output Units 4 Hidden Units 30x32 Sensor Input Retina won 2 million dollars (US), rst team to complete 132 mile course modied VW Touareg R5 with drive-by-wire, took 6 hours 54 minutes averaging over 19 mph seven Pentium M computers, GPS and various sensors localization, mapping and collision avoidance COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 20 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 21 Software that adapts to User Measuring Neural Activity Brin & Page - PhD students in data mining at Stanford PageRank algorithm (1998) Google business model - technology targets advertisements to users Botros, van Dijk & Killian (2007) - Cochlear implant adjustment Expert system uses neural response telemetry (ECAP) Decision tree learning - Quinlans C5 and Cubist COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 22 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 23 concentration of yeast in the wells of the microtitre trays using the adjacent plate reader and returns the results to the LIMS (although microtitre trays are still moved in and out of incubators manually). Scientic Discovery The Robot Scientist project (2004) Figure 1 The Robot Scientist hypothesis-generation and experimentation loop. 248 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 24 biological entities. The original bioinformatic information for the AAA model was Scientic Discovery taken mainly from the KEGG13 catalogue of metabolism. The model was then tested with all possible auxotrophic experiments involving Robot scientist in the lab a single replacement metabolite, and was altered manually to t the empirical results. To ensure that the model was not over-tted, we carried out all possible auxotrophic experiments with pairs of metabolites. The model correctly predicted at least 98.5% of the experiments (Supplementary Information). To the best of our knowledge, no bioinformatic model has been as thoroughly tested with knockout mutants. Machine learning is the branch of articial intelligence that seeks to develop computer systems that improve their performance automatically with experience14,15. It has much in common with statistics, but differs in having a greater emphasis on algorithms, data representation and making acquired knowledge explicit. The COMP9417: March 11, 2009 NATURE | VOL 427 | 15 JANUARY 2004 | www.nature.com/nature Introduction to Machine Learning: Slide 25 Where Is this Headed ? Mature algorithms decision trees, regression, neural nets, Bayesian methods ... can be applied to standard database relations or at les established software and services industry Where Is this Headed ? Opportunity for tomorrow: enormous impact Learn across full mixed-media data Learn across multiple internal databases, plus the web and newsfeeds Learn by active experimentation Learn more complex functions Learn by analogy Cumulative, lifelong learning and adaptation Programming languages and systems with learning embedded ? COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 26 COMP9417: March 11, 2009 Introduction to Machine Learning: Slide 27 Relevant Disciplines Articial intelligence Computational complexity theory Statistics Information theory Bayesian methods Control theory Philosophy Psychology and neurobiology Physics ... COMP9417: March 11, 2009 Introduction to Machine Learn...

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 - COMP - 9417
08s1: COMP9417 Machine Learning and Data MiningLecture: Decision Tree Learning Exercises: Guide to answers Status: IncompleteLast revision: Wed Mar 19 2008IntroductionThis note gives a guide to answering some of the recommended exercises. Exerci
East Los Angeles College - COMSM - 2201
Mobile Robot Navigation Using Computer VisionInterim ReportName Removed Supervisor: Name Removed Marker 1: Name Removed Marker 2: Name Removed May 12th, 20081 of 27ContentsPage 1. Motivation 2. Aims and Objectives 3. Background 3.1 Milestones
N.C. State - ST - 512
ST 512 Homework assignment #7 Dr. Jason A. Osborne Due date: March 23 or March 24 or March 25, 2009 1. Consider designing an experiment to evaluate the potential eectiveness of t = 5 weight reducing agents. Suppose that n subjects are to be assigned
Portland - CS - 533
SEDA: An Architecture for Well-Conditioned, Scalable Internet ServicesMatt Welsh, David Culler, and Eric BrewerComputer Science Division University of California, BerkeleySymposium on Operating Systems Principles (SOSP), October 2001http:/www.ee
Portland - OMSE - 535
OMSE 535 Project 1 PresentationCruiseControl.NETSeanEby 12/3/20071Tool Overview What is it? Open Source Written in C#.NET Continuous Integration Server What is it used for?Remote Management and Control2Features3Benefits (Pros)
N.C. State - MB - 451
O63_new515F.abi - Avg. Quality: 0.0A:24%, C:22%, G:30%, T:20%, N:36, Total: 1010NN NN N NNNN N10N NN NN A N N G T G C A G C G T T AA T C G G AA20 30AT T A C T G G G C G T A A A G C G C G C G T A G G T G G T T T G T T A A G T T G40 50 60
N.C. State - NE - 509
4d. Corrosionfrom L.H. VanVlack, Elements of Materials Science & Engineeringp.154 of notesCorrosion - Definition Corrosion is a form of surface deterioration of metallic materials through electrochemical means Like any reaction, corrosion is d
N.C. State - CE - 567
Lecture NotesCourse Number: Instructor: Date: Lecture Number: CE 567 Dr. Nuez 1/8/09 12009North Carolina State University - All Rights ReservedConstruction Risk and FinanceLecture 1 IntroductionCE 567 North Carolina State UniversityNue
N.C. State - CE - 742
Lecture NotesCourse Number: Instructor: Date: Lecture Number: CE 742 Dr. Rahman 2/10/09 92009North Carolina State University - All Rights Reserved
N.C. State - MAE - 208
Lecture NotesCourse Number: Instructor: Date: Lecture Number: MAE 208 Dr. Seelecke 3/16/09 252009North Carolina State University - All Rights ReservedUntitledMarch 16, 2009AutoSave1UntitledMarch 16, 2009AutoSave2UntitledMar
N.C. State - MAE - 314
Lecture NotesCourse Number: Instructor: Date: Lecture Number: MAE 314 Dr. Seelecke 3/11/09 152009North Carolina State University - All Rights ReservedUntitledMarch 11, 2009AutoSave1UntitledMarch 11, 2009AutoSave2UntitledMar
Portland - CH - 382
CHAPTER 19 Accounting for Income Taxes A. Taxable Income and Financial Income. 1. Taxable income is calculated in accordance with prescribed tax regulations and rules. 2. Financial income is measured and reported in accordance with generally accepte
Portland - CH - 382
COMPUTING INCOME TAX EXPENSEA SIX STEP PROGRAMSTEP 1 IDENTIFY TEMPORARY DIFFERENCES IDENTIFY PERMANENT DIFFERENCESSTEP 2 COMPUTE TAXES PAYABLE DETERMINE GAAP BASED INCOME BEFORE TAXES ADD/SUBTRACT PERMANENT DIFFERENCES ADD/SUBTRACT NET ORI
Portland - ACCOUNTING - 382
CHAPTER 23 Cash Flow Statement A. Purposes and Uses of Statement of Cash Flows. 1. Purposes of the statement. a. To provide information about the cash receipts and cash payments of an entity during a period. Important information for financial state
Portland - CH - 382
CHAPTER 21 Accounting for Leases A. Leases. 1. Definition: Contractual agreement between a lessor and a lessee that conveys to the lessee the right to use specific property owned by the lessor for a specified period of time. 2. Advantages of leasing
Portland - CH - 382
GENERALLY ACCEPTED ACCOUNTING PRINCIPLES VERSUS THE INTERNAL REVENUE CODEIncome statement (GAAP) Revenues/gains Expenses/losses Pre-tax accounting income Income tax expense Net income Corporate tax return- Form 1120 Revenues/gains Deductions/losses
Portland - CH - 382
ENDRUN INC-A PENSION CASE STUDYFACTS FOR COMPREHENSIVE ILLUSTRATION: Pension plan established in 1985 Pension plan amended in 1990 Actuarially determined service cost for 2006 = $114 Settlement rate = 8% Expected rate = 9% Average annual compensatio
Portland - CH - 382
A CASE STUDY THE LUCKY VIZSLA HAS TAX PROBLEMSTLV, Inc has provided you with information regarding the preparation of the tax accrual for the company's financial statements. The Company was incorporated in 2001. Condensed financial statements are pr
Wilfrid Laurier - CPSC - 413
CPSC 413 Fall, 1999Lab Exercise #3 September 28, 1999The following problems will be taken up in the October 46 labs and can serve as practice questions for Quiz #3. 1. Find expressions in closed form that are equal to each of the following summati
University of Texas - CS - 386
What Next for The Semantic Web? Lessons From XML.Professor Daniel P. Miranker Department of Computer Sciences University of Texas at Austin Austin, Texas, USA http:/cs.utexas.edu/~mirankerIn the beginning, the Semantic Web Very attractive "What
Portland - CLASS - 573
FSM Re-Engineering for Low Power State EncodingLin Yuan and Gang Qu Electrical and Computer Engineering Department University of Maryland, College Park, MD, 20742 {yuanl, gangqu}@eng.umd.eduAbstractFinite State Machine (FSM) synthesis traditional
Mt. Holyoke - CS - 312
Algorithmtopological-order(v) { find a node v with no incoming edges delete v from G return v followed by topological-order (G - {v}) }1 2 3 5 4 5 4Step 12 32Step 234 3 3Step 3 Order: 1, 5, 2, 4, 34Step 41Efficiencytopolo
Mt. Holyoke - CS - 101
ScopeOctober 28, 20081private boolean rectGrabbed = false; private Location lastPoint; / Last mouse location public void onMousePress (Location point) { if (rect.contains (point) { rectGrabbed = true; lastPoint = point; } } public void onMouseDr
Portland - CS - 510
#Lawrence 10x5 instance (Table 3, instance 5); also called (setf5) or (F5)10 51 72 0 87 4 95 2 66 3 604 5 3 35 0 48 2 39 1 541 46 3 20 2 21 0 97 4 550 59 3 19 4 46 1 34 2 374 23 2 73 3 25 1 24 0 283 28 0 45 4 5 1 78 2 830 53 3 71 1 37 4 29
Portland - CS - 510
#Lawrence 10x5 instance (Table 3, instance 1); also called (setf1) or (F1)10 51 21 0 53 4 95 3 55 2 340 21 3 52 4 16 2 26 1 713 39 4 98 1 42 2 31 0 121 77 0 55 4 79 2 66 3 770 83 3 34 2 64 1 19 4 371 54 2 43 4 79 0 92 3 623 69 4 77 1 87 2 87
Portland - CS - 510
#Lawrence 10x5 instance (Table 3, instance 4); also called (setf4) or (F4)10 50 12 2 94 3 92 4 91 1 71 19 3 11 4 66 2 21 0 871 14 0 75 3 13 4 16 2 202 95 4 66 0 7 3 7 1 771 45 3 6 4 89 0 15 2 343 77 2 20 0 76 4 88 1 532 74 1 88 0 52 3 27
Portland - CS - 510
#Fisher and Thompson 6x6 instance, alternate name (mt06)6 62 1 0 3 1 6 3 7 5 3 4 61 8 2 5 4 10 5 10 0 10 3 42 5 3 4 5 8 0 9 1 1 4 71 5 0 5 2 5 3 3 4 8 5 9 2 9 1 3 4 5 5 4 0 3 3 11 3 3 3 5
Mt. Holyoke - ES - 100
An Introduction to the Yellowstone Ecosystem Management DebateRobert B KeiterEver since the year 1872, when Congress designated Yellowstone National Park as the worlds first national park, the name Yellowstone has been synonymous with lofty ideali
Portland - GEOG - 490
OOPPrinciples of OOP Encapsulation distinctive boundaries of objects Abstraction fitting real-world objects into the defined objects Inheritance relationship between objects (association, composition, aggregation, etc) Polymorphism contextu
Portland - CS - 491
CS 591: Introduction to Computer Security Lecture5: IntegrityModelsJamesHook (SomematerialsfromBishop, copyright2004)04/25/09 18:08Objectives Integritymodelsincontext Introduceintegritymodels Beginhybridmodels04/25/09 18:08PlumbingAnalogy
Portland - CS - 533
OntheDualityofOperating SystemStructuresHugh Lauer, Xerox Roger Needham, Cambridge University Oct 1978, reprinted April 1979 Presented by David Allen1IntroductionOperating System Concepts concept of process synchronization interprocess co
Portland - CLASS - 573
Self-Timed SystemsMitch Thornton Timing complexity growing in digital design - Wiring delays can dominate timing analysis (increasing interdependence between logical and physical views of system) - Low-skew clock distribution consumes power and spa
Portland - CLASS - 573
Asynchronous Machines Used slides from Mitch Thornton and Prof. HintzFeedback Model for Asynchronous Sequential NetworksInput Variables, X n Output Variables, Z mxi y1ziReduce States Combinational Logic Circuit State Assignmenty1 Next Stat
N.C. State - CSC - 774
Computer ScienceCSC 774 - Network SecurityTopic 3: Internet Key ManagementDr. Peng NingCSC 774 Network Security1Outline Key Management Security Principles Center-based Key Management Certificate-based Key Management Internet Key Man
N.C. State - CSC - 774
Computer ScienceCSC 774 Network SecurityDr. Peng Ning pning@ncsu.edu http:/www.csc.ncsu.edu/faculty/ning1About Instructor Dr. Peng Ning, assistant professor of computer science http:/www.csc.ncsu.edu/faculty/ning pning@ncsu.edu (919)513-4
N.C. State - CSC - 774
Computer ScienceCSC 774 Network SecurityDr. Peng Ning ning@csc.ncsu.edu http:/infosec.csc.ncsu.edu (919) 513-44571About Instructor Dr. Peng Ning, assistant professor of computer science http:/www.csc.ncsu.edu/faculty/ning ning@csc.ncsu.edu
N.C. State - CSC - 774
Computer ScienceBetter than BiBa:Short One-time Signatures with Fast Signing and Verifying Leonid Reyzin and Natan Reyzin April 30th, 2002 Presented by: Michael LeeIntroductionProblemOne-time signature schemes used in broadcast authenticat
Wilfrid Laurier - SENG - 311
CPSC 333 / SENG 311: Foundations of Software EngineeringInstructors Dr. Rose Joshua, ICT 548 joshuar@cpsc.ucalgary.ca Office Hours: MTW: 12-1pm Dr. Rob Walker, ICT 546 rwalker@cpsc.ucalgary.ca Office Hours: WF: 1-2pmCPSC 333 / SENG 311 Lecture 1
Portland - PS - 442
Greece in the Fifth Century B.C.Melian DialogueExcerpts from The History of the Peloponnesian War, by ThucydidesAthenians. For ourselves, we shall not trouble you with specious pretenses- either of how we have the right to our empire because we
Portland - CFS - 410
Child and Family Studies 410U: Sex and the Family Spring 2002Dr. Carol Morgaine, Ph.D Associate Professor, Child and Family Studies 6th Avenue Building 6th Avenue Building 503-725-8535 (to make 503-725-8535 (to make appointments) appointments) 503-
Mt. Holyoke - CHEM - 201
Chem 201 Additional Aspects of EquilibriaSpring 2009M. A. GomezIn the last chapter, we considered acid/base equilibria which are important in many areas of chemistry and biology. While discussing chronic beryllium disease, we mentioned that the
Castleton State College - ENV - 3130
Kanat 2009Environmental GeologyHomework Assignment Doubling TimeAnswer the questions below and present the results on graphs that are uncluttered, neat, well labeled, and properly referenced. Grammar, parts of speech, noun-verb agreement, and s
N.C. State - ST - 790
Classes of Nonseparable, Spatio-Temporal Stationary Covariance FunctionsNoel Cressie and Hsin-Cheng Huang (1999)1IntroductionLet {Z(s; t) : s D Rd ; t [0, )} denote a spatio-temporal random process observed at N space-time coordinates (s1 ;
N.C. State - ST - 790
N.C. State - ST - 511
Statistics 511Fall 05Instructor: Dr. Roger Woodard Office: Patterson 4A Phone: 515-1938 Email: woodard@stat.ncsu.edu Office Hours: Monday and Wednesday 2:30-3:30 PM Teaching associate: To Be Announced Course Web Site: Additional materials and cou
N.C. State - ST - 552
ST 552Linear ModelsSpring 2009Homework #6 - due Wednesday, 25 March 2009 * turn in just starred (*) questions *Exercises at the end of Appendix A: 72, 73 Exercises at the end of Chapter 5: 1*(see changes below) , 2, 3, 4, 7*, 11*, 14, 21*, 22
N.C. State - ST - 790
Model Selection IMS Lecture Notes - Monograph Series (2001) Volume 38The Practical Implementation of Bayesian Model SelectionHugh Chipman, Edward I. George and Robert E. McCulloch The University of Waterloo, The University of Pennsylvania and The
N.C. State - ST - 732
The SAS System 1 The GLM Procedure Class Level Information Class Levels Values
Johns Hopkins - ECE - 353
The Johns Hopkins University Department of Electrical and Computer Engineering 520.454 - Control Systems Design - Spring 2007 Problem Set #0 Problems 1. Suppose that the input to a linear, time-invariant system was u(t) = et sin(2t), and this resulte
N.C. State - CH - 331
NORTH CAROLINA STATE UNIVERSITY Department of Chemistry CH 331 Physical Chemistry Given:Name_ Practice Mid-termg = 9.81 m/s2 R = 8.314 J mol-1 K-1 = 0.08206 L atm mol-1 K-1 1 atm = 1.0133 x 105 Nm-2 = 760 Torr P = P0exp{-Mgh/RT}P2 = P1 + ln t
N.C. State - CH - 331
North Carolina State University Physical Chemistry 331 Homework #6 Name _ Section _ Due date: Friday Oct. 22 1. It is often said the the primary charge separation step of photosynthesis is the most efficient electron transfer reaction known. a. Assum
N.C. State - ACC - 410
Fall 2005 GOVERNMENT AND NONPROFIT ACCOUNTING ACCOUNTING 410 Chapter 7 The Governmental Fund Accounting Cycle - Proprietary- Type Funds Internal Service Funds (ISF) When business type activities for goods/services are supplied to other gvt. departme
Virginia Tech - ETD - 03102001
East Los Angeles College - MJ - 665
Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam August 9-12, 1976, pages 236-262; Lecture Notes in Computer Science 44, K Samelson ed, Springer, 1976.CONSTRUCTIVE METHODS OF PROGRAM DESIGN M. A. Jackson Micha
N.C. State - MEA - 100
MEA 100Introduction to Earth Systems: This is a stealth course in Environmental Science. We will emphasize a quantitative approach based on knowledge of both abiotic and biotic systems.courses.ncsu.edu/mea100/lec/001/Introduction to Earth System
Contra Costa College - COEN - 244
COEN244 Winter 2008 Section U by Dr. Aishy Amer 5 % (A 3, 4, &5) 15 % (5/6) submitted and compiled: -1 25 % submitted and did not compile: -2 53 % did not write (DNW) or did not submit: 0 2 % Note: if you did better in the final, your mark of the mid
University of Iowa - CS - 185
CS 185: Type Preservation, Constraint Solving. Types. type := base | type typeType assignment rules. (x) = T t-var x:T t1 : T 2 T 1 t2 : T 2 t-app t1 t2 : T 1 , x : T1 t : T2 t-lam x.t : T1 T2 t : T.Type Preservation Theorem. If t : T a
University of Iowa - CS - 185
CS 185, Homework 1Denotational Semantics of IMP [100 points].Your solution to this assignment is due Sept. 16th, at the start ofclass. The start of class is defined as within the first 10 minutes,so please do not be late.Recall the course col
University of Iowa - CS - 185
> I. Non-determinism and Concurrency [40 points]> For each of the following commands, first state whether it is using> guarded commands (Ch. 7), shared-variable concurrency (Ch. 8), or> communication via channels (Ch. 9). Then show all possible t
University of Iowa - CS - 185
Programming in Lambda CalculusLambda calculus syntax is nice and compact, and has severaleasy-to-define operational semantics.But can you program in it?Yes, by encoding all data as lambda-abstractions.A piece of data is encoded as a function
University of Iowa - CS - 185
CS 185: Combinators and Substitution10/16/08Last time: Scott-encoded data, in particular, unary natural numbers.0 = \ s . \ z. z1 = \ s . \ z. (s 0)2 = \ s . \ z. (s 1).Scott-encoded booleans:tt = _ff = _and = \ b1 . \ b2. _No