11 Pages

lecture1

Course: CS 588, Fall 2009
School: UVA
Rating:
 
 
 
 
 

Word Count: 1746

Document Preview

Cryptology CS588: Principles and Applications Menu Course Introduction Why you should or shouldnt take this course Course Logistics: details on Syllabus Lecture 1: Introduction With a magnetic card and his dog Buddy's name as a password, President Clinton e-signed a bill Friday that will make electronic signatures as real as those on paper. FoxNews, 30 June 2000 CS588: Cryptology University of Virginia...

Register Now

Unformatted Document Excerpt

Coursehero >> Virginia >> UVA >> CS 588

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.
Cryptology CS588: Principles and Applications Menu Course Introduction Why you should or shouldnt take this course Course Logistics: details on Syllabus Lecture 1: Introduction With a magnetic card and his dog Buddy's name as a password, President Clinton e-signed a bill Friday that will make electronic signatures as real as those on paper. FoxNews, 30 June 2000 CS588: Cryptology University of Virginia Computer Science Introduction to Cryptology Terminology A simple substitution cipher Brief history of 4000 years of Cryptology Send registration email by noon Friday. David Evans http://www.cs.virginia.edu/~evans 29 Aug 2001 University of Virginia CS 588 2 Resources David Evans (call me Dave), devans@virginia.edu Office Hours (236A): Tuesdays, 10:30-11:30am; Weds after class Research: code safety, static analysis, programming and reasoning about swarms Why you should take this course? Reason #1: Fate of Humanity Cryptology plays a central role in human history. More than anything else, survival of humanity depends on computer security. 3 29 Aug 2001 University of Virginia CS 588 4 TAs: Danny Loffredo, dgl4b@virginia.edu CS Reading Room: Tuesdays, 3:30-4:30 Anthony Wood, adw5p@virginia.edu TBA Web: http://www.cs.virginia.edu/cs588 29 Aug 2001 University of Virginia CS 588 1 Why you should take this course? Reason #2: Intellectual Cryptology is about making and solving puzzles. Purest form of intellectual endeavor. Why you should take this course? Reason #3: Be like Tom Mr. Jefferson would have wanted you to. 29 Aug 2001 University of Virginia CS 588 5 29 Aug 2001 University of Virginia CS 588 6 Bad reasons to take this class You want to write the ultimate destructive virus. You want to break into (UVAs | the CIAs | your banks) computer systems. How to get an A in CS551 Problem Sets (40-50%) 4 throughout term (1st is due 10 Sept) Project (30-50%) Teams of 1 4 Can involve design/implementation Can involve survey/analysis Exams (30-50%) Midterm, Final Class Contribution (0-10%) 29 Aug 2001 University of Virginia CS 588 7 29 Aug 2001 University of Virginia CS 588 8 2 Easy ways to get an A in CS551 Break into my grades file (on my home computer) and change your grade to Haha Physical attacks on my house, car or office are NOT eligible! (And NOT encouraged!) Dont try to break into UVAs grade records: Too easy (probably only worth a B, or C- for social engineering attack) Honor code violation Bonus Points / Demerits (100 points = 1 problem set) +100 Posting in RISKS +(varies) Solving a challenge problem -100 -200 -1000 -100000 29 Aug 2001 Discover a security flaw important enough to get reported in the New York Times Factor RSA-300 = 2769315567803442139028689061647233092237608363983953254005036722809375824714 9473946190060218756255124317186573105075074546238828817121274630072161346956 4396741836389979086904304472476001839015983033451909174663464663867829125664 459895575157178816900228792711267471958357574416714366499722090015674047 29 Aug 2001 University of Virginia CS 588 9 Send me a virus Get arrested for computer attack Get convicted for computer attack I get arrested for something you do University of Virginia CS 588 10 Challenge Problems Open until solved or last day of class Usually only first satisfactory answer gets bonus Better, later answer might still get bonus Decrypting the Honor Code Learn from your fellow students they are your best resource! Write down who you discussed assignments with, all external sources you used Dont use answers from last years class Be honest you know what cheating is and isnt Dont pledge your assignments, but let me know if you plan to cheat 29 Aug 2001 University of Virginia CS 588 12 Solve in groups, each member gets n / n * value (e.g., 2 people = 2 / 2 = 0.7) First challenge problem starts tomorrow: Jefferson wheel cryptogram (see course web page) 29 Aug 2001 University of Virginia CS 588 11 3 What is cryptology? Logistics Questions? Greek: krypto = hide Cryptology science of hiding = cryptography + cryptanalysis + steganography Cryptography secret writing Cryptanalysis analyzing (breaking) secrets Cryptanalysis is what attacker does Decipher or Decryption is what legitimate receiver does Kryptonite breaking ciphers all night? 29 Aug 2001 University of Virginia CS 588 13 29 Aug 2001 University of Virginia CS 588 14 Cryptology and Security Cryptology is a branch of mathematics. Security is about people. Alice Terminology Insecure Channel Plaintext Encrypt Ciphertext Decrypt Plaintext Eve C = E(P) P = D(C) E must be invertible University of Virginia CS 588 Bob 29 Aug 2001 University of Virginia CS 588 15 29 Aug 2001 16 4 Kerckhoffs Principle Cryptography always involves: Transformation Secret Alice and Bob Plaintext Encrypt KE Alice Ciphertext Decrypt KD Plaintext Security should depend only on the key Dont assume enemy wont know algorithm Can capture machines, disassemble programs, etc. Too expensive to invent new algorithm if it might have been compromised Security through obscurity isnt Look at history of examples Better to have scrutiny by open experts The enemy knows the system being used. Claude Shannon 29 Aug 2001 University of Virginia CS 588 17 Bob C = E(KE, P) = EKE (P) P = D(KD, C) = D KD (C) If KE = KD it is symmetric encryption If KE KD it is asymmetric encryption University of Virginia CS 588 18 29 Aug 2001 Substitution Cipher C = EK(p) Ci = K[pi] Key is alphabet mapping: a J, b L, ... Monoalphabetic Cipher XBW HGQW XS ACFPSUWG FWPGWXF CF AWWKZV CDQGJCDWA CD BHYJD DJXHGW; WUWD XBW ZWJFX PHGCSHF YCDA CF GSHFWA LV XBW KGSYCFW SI FBJGCDQ RDSOZWAQW OCXBBWZA IGSY SXBWGF. Suppose attacker knows algorithm but not key, how many keys to try? 26! If every person on earth tried one per second, it would take 5B years. 29 Aug 2001 University of Virginia CS 588 19 29 Aug 2001 University of Virginia CS 588 20 5 Frequency Analysis XBW HGQW XS ACFPSUWG FWPGWXF CF AWWKZV CDQGJCDWA CD BHYJD DJXHGW; WUWD XBW ZWJFX PHGCSHF YCDA CF GSHFWA LV XBW KGSYCFW SI FBJGCDQ RDSOZWAQW OCXBBWZA IGSY SXBWGF. W: 20 C: 11 F: 11 G: 11 29 Aug 2001 Pattern Analysis XBe HGQe XS ACFPSUeG FePGeXF CF AeeKZV CDQGJCDeA BHYJD CD DJXHGe; eUeD XBe ZeJFX PHGCSHF YCDA CF GSHFeA LV XBe KGSYCFe SI FBJGCDQ RDSOZeAQe OCXBBeZA IGSY SXBeGF. XBe = the Most common trigrams in English: the = 6.4% and = 3.4% 21 29 Aug 2001 University of Virginia CS 588 22 Normal English: e 12% t 9% a 8% University of Virginia CS 588 Guessing the HGQe tS ACFPSUeG FePGetF CF AeeKZV CDQGJCDeA CD hHYJD DJtHGe; eUeD the ZeJFt PHGCSHF YCDA CF GSHFeA LV the KGSYCFe SI FhJGCDQ RDSOZeAQe OCthheZA IGSY StheGF. Guessing the HGQe to ACFPoUeG FePGetF CF AeeKZV CDQGJCDeA CD hHYJD DJtHGe; eUeD the ZeJFt PHGCoHF YCDA CF GoHFeA LV the KGoYCFe oI FhJGCDQ RDoOZeAQe OCthheZA IGoY otheGF. otheGF = others S = o 29 Aug 2001 University of Virginia CS 588 23 29 Aug 2001 University of Virginia CS 588 24 6 Guessing the HrQe to ACsPoUer sePrets Cs AeeKZV CDQrJCDeA CD hHYJD DJtHre; eUeD the ZeJst PHrCoHs YCDA Cs roHseA LV the KroYCse oI shJrCDQ RDoOZeAQe OCthheZA IroY others. sePrets = secrets Guessing the HrQe to ACscoUer secrets Cs AeeKZV CDQrJCDeA CD hHYJD DJtHre; eUeD the ZeJst cHrCoHs YCDA Cs roHseA LV the KroYCse oI shJrCDQ RDoOZeAQe OCthheZA IroY others. ACscoUer = discover 29 Aug 2001 University of Virginia CS 588 25 29 Aug 2001 University of Virginia CS 588 26 Guessing the HrQe to discover secrets is deeKZV iDQrJiDed iD hHYJD DJtHre; eveD the ZeJst cHrioHs YiDd is roHsed LV the KroYise oI shJriDQ RDoOZedQe OithheZd IroY others. Monoalphabetic Cipher The urge to discover secrets is deeply ingrained in human nature; even the least curious mind is roused by the promise of sharing knowledge withheld from others. - John Chadwick, The Decipherment of Linear B 27 29 Aug 2001 University of Virginia CS 588 28 29 Aug 2001 University of Virginia CS 588 7 Why was it so easy? Doesnt hide statistical properties of plaintext Doesnt hide relationships in plaintext (EE cannot match dg) English (and all natural languages) are very redundant: about 1.3 bits of information per letter Compress English with gzip about 1:6 29 Aug 2001 University of Virginia CS 588 29 How to make it harder? Cosmetic Hide statistical properties: Encrypt e with 12 different symbols, t with 9 different symbols, etc. Add nulls, remove spaces Polyalphbetic cipher Use different substitutions Transposition Scramble order of letters 29 Aug 2001 University of Virginia CS 588 30 Types of Attacks Ciphertext-only - How much Ciphertext? Known Plaintext - often Guessed Plaintext Chosen Plaintext (get ciphertext) Not as uncommon as it sounds! Really Brief History First 4000 years Vigenre Chosen Ciphertext (get plaintext) Not recommended in CS588 Dumpster Diving Social Engineering Rubber-hose cryptanalysis Cryptanalyst uses threats, blackmail, torture, bribery to get the key. Babbage breaks Vigenre; Kasiski (1863) publishes Cryptographers monoalphabetics Alberti first polyalphabetic cipher Cryptanalysts al-Kindi - frequency analysis 3000BC 900 1460 1854 29 Aug 2001 University of Virginia CS 588 31 29 Aug 2001 University of Virginia CS 588 32 8 Really Brief History - last 100 years Mauborgne one-time pad Quantum Crypto ? Linear, Differential Cryptanalysis Feistel block cipher, DES Enigma adds rotors, stops repeated key Turings loop attacks, Colossus Public-Key 1978 Themes Arms race between cryptographers and cryptanalysts But, often disconnect between two (e.g., Mary Queen of Scots uses monoalphabetic cipher long after known breakable) Cryptanalysts Rejewski repeated message-key attack Motivated by war (more recently: commerce) Driven by advances in technology, mathematics Multi-disciplinary field Linguists, classicists, mathematicians, computer scientists, physicists Mechanical ciphers - Enigma Cryptographers 1854 1918 1939 1945 1973 1895 Invention of Radio 29 Aug 2001 University of Virginia CS 588 33 Secrecy often means advances rediscovered and miscredited 29 Aug 2001 University of Virginia CS 588 34 Security vs. Pragmatics Trade-off between security and effort one-time pad: perfect security, but requires distribution and secrecy of long key DES: short key, fast algorithm, but breakable quantum cryptography: perfect security, guaranteed secrecy of key, slow, requires expensive hardware Perfectly Secure Cipher: One-Time Pad Mauborgne/Vernam [1917] XOR (): 0 0 a a a 0 = 0 1 0 = 1 1 = 1 1 1 = 0 a=0 0=a b b=a Dont spend $10M to protect $1M. Dont protect $1B with encryption that can be broken for $1M. 29 Aug 2001 University of Virginia CS 588 35 E(P, K) = P K D(C, K) = C K = (P K) K = P 29 Aug 2001 University of Virginia CS 588 36 9 Why perfectly secure? For any given ciphertext, all plaintexts are equally possible. Ciphertext: 0100111110101 Key1: 1100000100110 Plaintext1: 1000111010011 = CS Key2: 1100010100110 Plaintext2: 1000101010011 = BS More formal proof next time 29 Aug 2001 University of Virginia CS 588 37 Go to the beach? Cannot reuse K What if receiver has C1 = P1 K and C2 = P2 K C1 C2 = P1 K P 2 K = P1 P 2 Need to generate truly random bit sequence as long as all messages Need to securely distribute key 29 Aug 2001 University of Virginia CS 588 38 One-Time Pads in Practice Lorenz Machine Nazi high command in WWII Pad generated by 12 rotors Receiver and sender set up rotors in same positions One operator retransmitted a message (but abbreviated message header the second time!) Enough for Bletchley Park to figure out key and structure of machine that generated it! But still had to try all configurations 29 Aug 2001 University of Virginia CS 588 39 Colossus First Programmable Computer Bletchley Park, 1944 Read ciphertext and Lorenz wheel patterns from tapes Tried each alignment, calculated correlation with German Decoded messages (63M letters by 10 Colossus machines) that enabled Allies to know German troop locations to plan D-Day Destroyed in 1960, kept secret until 1970s 29 Aug 2001 University of Virginia CS 588 40 10 Charge Send me your registration survey by noon tomorrow Start thinking about projects and teams Subscribe to comp.risks and Cryptogram (instructions on manifest) Next time: Proving Ciphers are Perfect (in Theory) Information Theory 29 Aug 2001 University of Virginia CS 588 41 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:

UVA - CS - 588
Lecture 7: Key DistributionThe era of "electronic mail" [Potter1977] may soon be upon us; we must ensure that two important properties of the current "paper mail" system are preserved: (a) messages are private, and (b) messages can be signed. R. Riv
UVA - CS - 588
Lecture 4: Striving for ConfusionMenu Projects Enigma Continued Block CiphersStructures have been found in DES that were undoubtedly inserted to strengthen the system against certain types of attack. Structures have also been found that appear
UVA - CS - 588
Lecture 6: Two Fish on the RijndaelThe algorithm might look haphazard, but we did everything for a reason. Nothing is in Twofish by chance. Anything in the algorithm that we couldn't justify, we removed. The result is a lean, mean algorithm that is
UVA - CS - 588
Lecture 3: Captain Ridleys Shooting PartyConfronted with the prospect of defeat, the Allied cryptanalysts had worked night and day to penetrate German ciphers. It would appear that fear was the main driving force, and that adversity is one of the fo
UVA - CS - 588
Lecture 8: Non-secret Key Cryptosystems (How Euclid, Fermat and Euler Created E-Commerce)Real mathematics has no effects on war. No one has yet discovered any warlike purpose to be served by the theory of numbers. G. H. Hardy, The Mathematicians Apo
UVA - CS - 216
CS216: Program and Data Representation University of Virginia Computer ScienceSpring 2006 David EvansJava Securitymalcode.java Trusted Computing Base javac Compiler malcode.class JVMLLecture 20: Hair-Dryer Attacks and Introducing x86Java Byte
UVA - CS - 216
CS216: Program and Data Representation University of Virginia Computer ScienceSpring 2006 David EvansMenu Complexity Question Low-Level Programming Exam 1Out Wednesday, Due Monday, 11:01AM Covers everything through Lecture 8 Expect questions on
UVA - CS - 205
cs205: engineering softwareuniversity of virginia fall 2006Managing Complexity Modularity Divided problem into procedures Used specifications to separate what from howData Abstraction A big program can have thousands of procedures How can
UVA - CS - 205
cs205: Problem Set 2: Procedural Abstraction and Using ADTsPage 1 of 9Problem Set 2Procedural Abstraction and Using Abstract DatatypesOut: 30 August Due: Friday, 8 September (beginning of class)Collaboration Policy - Read Carefully: For thi
UVA - CS - 205
cs205: engineering softwareuniversity of virginia fall 2006Early InterfacesGUI Design and Implementationcs205: engineering softwareSchedule design meetings this week1IBM 705 Univac 1956cs205: engineering software2Sketchpad Ivan Suthe
UVA - CS - 205
cs205: Problem Set 1: Game of LifePage 1 of 5cs205: engineering software? Problem Set 1http:/www.cs.virginia.edu/cs205/ps/ps1/ 23 August 2006Game of LifeCollaboration Policy - Read CarefullyOut: 23 August Due: Monday, 28 August (beginning
UVA - CS - 205
cs205: engineering softwareuniversity of virginia fall 2006Quiz Answers2. What is an object? Java-specific answers: What you get when you invoke a class constructor An instance of a classProgramming Exceptionally General answers An entity
UVA - CS - 205
cs205: engineering softwareuniversity of virginia fall 2006Semantics and Specifying ProceduresJava SemanticsDavid Evanswww.cs.virginia.edu/cs205cs205: engineering software2The Stack and HeapString s = new String (hello); sjava.lang.Str
UVA - CS - 205
cs205: engineering softwareuniversity of virginia fall 2006Midterm Exam Out at end of class today Due Monday at beginning of classObject-Oriented ProgrammingDavid Evanswww.cs.virginia.edu/cs205cs205: engineering software2from Class 2.
UVA - CS - 205
cs205: engineering softwareuniversity of virginia fall 2006Course Announcements Assistant Coaches: Drew Abott and Dan Marcus Lab hours: after class today, Sunday 78:30pmIntroducingJavaDon't forget to email your registration survey if you h
UVA - CS - 205
CS205: PledgePage 1 of 1CS205 PledgeReturn this to class on Friday, 25 August. This is the only pledge you need to sign for the whole course. You should not write generic pledges on your assignments and exams we assume students are honorable wi
UVA - CS - 205
cs205: engineering software - SyllabusPage 1 of 2cs205: engineering software?http:/www.cs.virginia.edu/cs205/syllabus.html 23 August 2006SyllabusCourse Description. Covers tools and techniques used to manage complexity needed to build, analy
UVA - CS - 205
cs205: Problem Set 3: Implementing Data AbstractionsPage 1 of 3Problem Set 3Implementing Data AbstractionsOut: 11 September Due: Monday, 18 September (beginning of class)Collaboration Policy. For this problem set, you may either work alone
UVA - CS - 205
cs205: engineering softwareuniversity of virginia fall 2006Dictionary Definitionval i date 1. To declare or make legally valid. 2. To mark with an indication of official sanction. 3. To establish the soundness of; corroborate. Can we do any of th
UVA - CS - 205
cs205: Problem Set 4: Subtyping and InheritancePage 1 of 5Problem Set 4Subtyping and InheritanceOut: 20 September Due: Friday, 6 October (beginning of class)Collaboration Policy. For this problem set, you may either work alone and turn in a
UVA - CS - 205
cs205: Problem Set 5: Object-Oriented Design and ConcurrencyPage 1 of 9Out: 11 October Design Reviews: (in class) Monday, 16 October Due: Wednesday, 25 October (beginning of class)Problem Set 5Distributed Simulations(Object-Oriented Design an
UVA - CS - 655
Automated Delegation is a Viable Alternative to Multiple Inheritance in Class Based LanguagesJohn ViegaReliable Software Technologies Sterling, VA viega@list.orgPaul ReynoldsReimer BehrendsDepartment of Computer Science Department of Computer
UVA - CS - 415
Cool Type Checking Cool Run-Time OrganizationRun-Time Organization#1One-Slide Summary We will use SELF_TYPEC for C or any subtype of C. It shows off the subtlety of our type system and allows us to check methods that return self objects. The
UVA - CS - 416
OutlineProblem Solving AgentsCS 416 Artificial IntelligenceLecture 3 Uninformed Searches (mostly copied from Berkeley) Restricted form of general agentProblem Types Fully vs. partially observable, deterministic vs. stochasticProblem Formul
UVA - CS - 416
Homework assignment for chapters 8 and 9 in Russell & Norvig1. Modified from 8.7 on page 269: Represent the sentence "All Germans speak the same languages" in predicate calculus. Use Speaks(x,l), meaning that person x speaks language l, and German(y
UVA - CS - 416
CS 416, Artificial Intelligence Midterm ExaminationFall 2004Name:_ This is a closed book, closed note exam. All questions and subquestions are equally weighted.Introductory Material1) True or False: In this course, we are studying rational agen
UVA - CS - 416
Markov decision processes (MDP)Initial StateCS 416 Artificial IntelligenceLecture 21 Making Complex Decisions Chapter 17 S0Transition Model T (s, a, s) How does Markov apply here? Uncertainty is possibleReward Function R(s) For each st
UVA - CS - 416
Mapping MDPs to POMDPsCS 416 Artificial IntelligenceLecture 22 Making Complex Decisions Chapter 17The belief state after executing action a and observing observation o is: Your belief vector, b, at state, s, evaluates to:Call this b = FORW
UVA - CS - 416
Chess Match Kasparov 1, Deep Junior 1, Draws 2CS 416 Artificial IntelligenceLecture 6 Informed SearchesCompare two heuristicsCompare these two heuristics h2 is always better than h1 for any node, n, h2(n) >= h1(n) h2 dominates h1 Recall a
UVA - CS - 416
Model of Neurons CS 416 Artificial IntelligenceLecture 18 Neural Nets Chapter 20 Multiple inputs/dendrites (~10,000!) Cell body/soma performs computation Single output/axon Computation is typically modeled as linearEarly History of Neural Net
UVA - CS - 416
Midterm Exam Midterm will be on Thursday, March 13thCS 416 Artificial IntelligenceLecture 10 Logical Agents Chapter 7 It will cover material up until Feb 27thChess ArticleGarry Kasparov reflects on computerized chess IBM should have release
UVA - CS - 416
Final Exam ReminderCS 416 Artificial IntelligenceLecture 23 Making Complex Decisions Chapter 17 Final Exam is Tuesday, May 6th at 7 p.m. Let me know if you have a legitimate conflictZero-sum gamesPayoffs in each cell sum to zero Morra Two
UVA - CS - 416
Chess ArticleDeep Blue (IBM)CS 416 Artificial IntelligenceLecture 2 Agents 418 processors, 200 million positions per secondDeep Junior (Israeli Co.) 8 processors, 3 million positions per secondKasparov 100 billion neurons in brain, 2 move
UVA - CS - 416
Guest Speaker CS 416 Artificial IntelligenceLecture 15 First-Order Logic Chapter 9Topics in Optimal Control, Minimax Control, and Game Theory March 28th, 2 p.m. OLS 005 Onesimo Hernandez-Lerma Department of Mathematics CINVESTAV-IPN, Mexico CityTh
UVA - CS - 416
Midterm Exam Midterm will be on Thursday, March 13thCS 416 Artificial IntelligenceLecture 12 Logical Agents Chapter 7 It will cover material up until Feb 27thPropositional Logic We're still emphasizing Propositional Logic Very important que
UVA - CS - 416
Games"Shall we play a game?"CS 416 Artificial IntelligenceLecture 9 Adversarial Search Chapter 6Let's play tic-tac-toeMinimaxWhat data do we need to play?Initial State How does the game start?Successor Function A list of legal (move, s
UVA - CS - 416
I Cannot Add Students to Course CS 416 Artificial IntelligenceLecture 1 Introduction Unfortunately, this class is oversubscribed I cannot add new students to the course Potential exception for 4th-year CS Majors Feel free to stay through end of
UVA - CS - 416
Chess Kasparov won the first chess gameCS 416 Artificial IntelligenceLecture 4 Uninformed Searches (cont)Cost of Breadth-first Search (BFS) b max branching factor (infinite?) d depth to shallowest goal node m max length of any path (infin
UVA - CS - 416
Robot ExampleImagine a robot with only local sensingCS 416 Artificial IntelligenceLecture 19 Making Complex Decisions Chapter 17 Traveling from A to B Actions have uncertain results might move at right angle to desired We want robot to learn
UVA - CS - 416
CS 416, Artificial Intelligence Midterm ExaminationSpring 2003Name:_ This is a closed book, closed note exam. The standard problem is worth 3 points and problems 7, 10, 13, 14, 23, and 27 are worth double points.Introductory Material1) When did
UVA - CS - 416
Hippocampus 101 CS 416 Artificial IntelligenceLecture 20 Biologically-Inspired Neural Nets Modeling the Hippocampus In 1957, Scoville and Milner reported on patient HM Since then, numerous studies have used fMRI and PET scans to demonstrate use of
UVA - CS - 416
Hidden Markov ModelsAn attempt to understand Markov ProcessesCS 416 Artificial IntelligenceLecture 25 Hidden Markov Models Chapter 15 We know the state of the system at an instant state x_1,x_2, ., x_n at times t_1, t_2, ., t_n transitions t
UVA - CS - 416
Neural Network Assignment Due December 10thThe first two questions are required. Question three is 10% extra credit. 1. You are given a simple Perceptron with 3 inputs, A, B, and C that uses a step function with threshold of 0.5 (on the step boundar
UVA - CS - 416
CS 416, Artificial Intelligence Midterm ExaminationSpring 2003Name:_ This is a closed book, closed note exam. The standard problem is worth 3 points and problems 7, 10, 13, 14, 23, and 27 are worth double points.Introductory Material1) When did
UVA - CS - 416
Convergent Learning in Neural Networks Assignment due: December 10th at 11:59:59 p.m.There are some neural network topologies (connections between neurons) that fail to produce correct output for a given problem no matter what settings are made to t
UVA - CS - 416
HMM Example Point to stress about HMMsCS 416 Artificial IntelligenceLecture 26 Review / Movies There need not be a correlation between real states and the HMM states Example: modeling a coin tossThree-state HMM Modeling a coin tossFinal E
UVA - BIOCHEM - 503
Protein modications 1Protein acetylationJeffrey S. SmithTypes of protein modications Phosphorylation Acetylation Methylation Ubiquitylation ADP-ribosylation Sumoylation Neddylation Glycosylation Nitrosylation1AcetylationO CH3Acetyl group
UVA - BIO - 201
Lecture #16 10/10 Dr. WormingtonRecombination Freq. 206+185/2300 =0.17 (17%) How Far Apart Are B & Vg? T.H. Morgan 1st to Construct a Genetic Map Using Recombination Frequencies 1 Map Unit = Recombination Frequency of 0.01 (1%) = 1 centiMorgan (c
UVA - MUSI - 162
MUSI 162 - SyllabusContact InformationWilliam E. Pease pease@virginia.edu Cavalier Bands Office Onesty Hall - 3rd Floor 434.982.5347 OH: M/W 3-5 pm Andrew Koch akoch@virginia.edu Cavalier Bands Office Onesty Hall - 3rd Floor 434.982.5347 OH: M/W 9:
UVA - MSE - 524
PHYSICAL REVIEW BVOLUME 61, NUMBER 21 JANUARY 2000-IILocally activated Monte Carlo method for long-time-scale simulations M. Kaukonen, J. Perajoki, and R. M. NieminenLaboratory of Physics, Helsinki University of Technology, P.O. Box 1100, FIN
UVA - CS - 662
Chapter1Introduction to Object-Relational Database DevelopmentOverviewThis book describes the Object-Relational Database Management Systems (ORDBMS) technology implemented in the INFORMIX Dynamic Server (IDS) product, and explains how to use it.
UVA - CS - 453
Client-side Verification of Credit Card Payment Information CS453 Electronic Commerce Fall 2007 Homework #2 JavaScriptAssigned: Thursday, September 13, 2007 Due: by 2pm Thursday, September 27, 2007 via Collab Instructions: Work individually or in a
UVA - CS - 494
CS 494 Object-Oriented Analysis & Design Interaction Diagrams Examples of Collaboration and Sequence Diagrams 2001 T. Horton10/17/01H-1Dynamic Views in UML Class diagrams are models of data types What non-fundamental types are you using? H
UVA - CS - 453
CS 453 Electronic Commerce Technologies Fall 2007 Homework # 4 PHP-based E-StoreAssigned: Sunday, October 28, 2007 Due: Tuesday, November 20, by midnight that evening via electronic submission Credit: 100 points Instructions: You may work in teams
UVA - CS - 494
CS 494 Object-Oriented Analysis & Design On to DesignReminder: Analysis models Earlier we modeled requirements using. Class Diagrams: Known as the Conceptual Model Sometimes known as the logical model. Classes represent domain-level entities. (
UVA - CS - 390
CS290/390: Ethics Case Studies (Feb. 9, 2006)Adopted from Michael Quinns Ethics for the Information Age, 2/e. (Addison-Wesley, 2006) Class activity: The instructor will explain about reading one or more of the cases below and discussing with fellow
UVA - CS - 494
Java Foundation Classes Java Swing, EventsReadings: Just Java 2: Chap 19 & 21, or Eckel's Thinking in Java: Chap 14Slide credits to CMPUT 301, Department of Computing Science University of AlbertaSwing Portable API: The appearance and behavior
UVA - CS - 494
Using Rational Rose to Create Object-Oriented DiagramsThis is a brief overview to get students started in using Rational Rose to quickly create object-oriented models and diagrams. It is not by any means a complete introduction to Rational Rose, but
UVA - CS - 305
CS305, HCI in Software Engineering (formerly Usability Engineering) Beginning of Course Memo for Fall 2008 (version 1.0)Instructor: Dr. Tom Horton. horton(at)cs.virginia.edu 982-2217 Office Hours: MW 3-4:30pm, TTh 1-2pm Class Web site: http:/www.cs.
UVA - CS - 494
CS494 Interfaces and Collection in JavaJava Interfaces Note that the word interface Is a specific term for a language contstruct Is not the general word for communication boundary Is also a term used in UML (but not in C+)1/20/03A2-11/20/
UVA - CS - 305
The Challenge of Designing Interfaces for the Tablet PCPage 1 of 4http:/www.devx.comPrinted from http:/www.devx.com/TabletPC/Article/21302The Challenge of Designing Interfaces for the Tablet PCDesigning a usable interface for a Tablet PC pro