MIT OpenCourseWare: New Courses in Electrical Engineering and Computer ScienceNew courses in Electrical Engineering and Computer Science from MIT OpenCourseWare, provider of free and open MIT course materials.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science
2016-08-25T16:18:47+05:00MIT OpenCourseWare http://ocw.mit.eduen-USContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.820 Fundamentals of Program Analysis (MIT)This course offers a comprehensive introduction to the field of program analysis. It covers some of the major forms of program analysis including Type Checking, Abstract Interpretation and Model Checking. For each of these, the course covers the underlying theories as well as modern techniques and applications.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-820-fundamentals-of-program-analysis-fall-2015
Fall2015Solar-Lezama, Armando2016-07-20T17:02:54+05:006.820en-USprogram analysisLambda CalculusSemanticsλlet calculusHindley-Milner type inferenceMonadsAxiomatic SemanticsDataflow AnalysisType CheckingAbstract InterpretationModel CheckingMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.047 Computational Biology (MIT)This course covers the algorithmic and machine learning foundations of computational biology combining theory with practice. We cover both foundational topics in computational biology, and current research frontiers. We study fundamental techniques, recent advances in the field, and work directly with current large-scale biological datasets.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-047-computational-biology-fall-2015
Fall2015Kellis, Manolis2016-06-23T11:39:59+05:006.0476.878HST.507en-USGenomesNetworksEvolutioncomputational biologygenomicscomparative genomicsepigenomicsfunctional genomics, motifsphylogenomicspersonal genomicsalgorithmsmachine learningbiologybiological datasetsproteomicssequence analysissequence alignmentgenome assemblynetwork motifsnetwork evolutiongraph algorithmsphylogeneticspythonprobabilitystatisticsentropyinformationMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.046J Design and Analysis of Algorithms (MIT)This is an intermediate algorithms course with an emphasis on teaching techniques for the design and analysis of efficient algorithms, emphasizing methods of application. Topics include divide-and-conquer, randomization, dynamic programming, greedy algorithms, incremental improvement, complexity, and cryptography.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-046j-design-and-analysis-of-algorithms-spring-2015
Spring2015Demaine, ErikDevadas, SrinivasLynch, Nancy2016-03-04T17:07:15+05:006.046J18.410Jen-USalgorithmsortingsearch treesheapshashingdivide and conquerdynamic programminggreedy algorithmsamortized analysisgraph algorithmsshortest pathsnetwork flowcryptographyMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.231 Dynamic Programming and Stochastic Control (MIT)The course covers the basic models and solution techniques for problems of sequential decision making under uncertainty (stochastic control). We will consider optimal control of a dynamical system over both a finite and an infinite number of stages. This includes systems with finite or infinite state spaces, as well as perfectly or imperfectly observed systems. We will also discuss approximation methods for problems involving large state spaces. Applications of dynamic programming in a variety of fields will be covered in recitations.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-231-dynamic-programming-and-stochastic-control-fall-2015
Fall2015Bertsekas, Dimitri2016-02-25T17:51:40+05:006.231en-USdynamic programmingstochastic controlalgorithmsfinite-statecontinuous-timeimperfect state informationsuboptimal controlfinite horizoninfinite horizondiscounted problemsstochastic shortest pathapproximate dynamic programmingMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.811 Principles and Practice of Assistive Technology (MIT)6.811: Principles and Practice of Assistive Technology (PPAT) is an interdisciplinary, project-based course, centered around a design project in which small teams of students work closely with a person with a disability in the Cambridge area to design a device, piece of equipment, app, or other solution that helps them live more independently.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-811-principles-and-practice-of-assistive-technology-fall-2014
Fall2014Li, WilliamTeo, GraceMiller, Robert2016-01-04T16:10:37+05:006.811en-USassistive technologydisabilityhuman-computer interfacecognitive impairmentscreen readerhead trackereye trackeruser centered designexperimental ethicsaccessibilityelectronicsMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.858 Computer Systems Security (MIT)6.858 Computer Systems Security is a class about the design and implementation of secure computer systems. Lectures cover threat models, attacks that compromise security, and techniques for achieving security, based on recent research papers. Topics include operating system (OS) security, capabilities, information flow control, language security, network protocols, hardware security, and security in web applications.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-858-computer-systems-security-fall-2014
Fall2014Zeldovich, Nickolai2015-07-15T16:26:00+05:006.858en-UScomputer system designsecure computer systemsthreat modelcomputer systems securityoperating systemoperating system securitycapabilitiesinformation flow controllanguage securitynetwork protocolshardware securitywebweb application securitysecure web serverweb applicationMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.890 Algorithmic Lower Bounds: Fun with Hardness Proofs (MIT)6.890 Algorithmic Lower Bounds: Fun with Hardness Proofs is a class taking a practical approach to proving problems can't be solved efficiently (in polynomial time and assuming standard complexity-theoretic assumptions like P ≠ NP). The class focuses on reductions and techniques for proving problems are computationally hard for a variety of complexity classes. Along the way, the class will create many interesting gadgets, learn many hardness proof styles, explore the connection between games and computation, survey several important problems and complexity classes, and crush hopes and dreams (for fast optimal solutions).
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-890-algorithmic-lower-bounds-fun-with-hardness-proofs-fall-2014
Fall2014Demaine, Erik2015-07-14T12:32:49+05:006.890en-USNP-completeness3SAT3-partitionHamiltonicityPSPACEEXPTIMEEXPSPACEgamespuzzlescomputationTetrisNintendoSuper Mario Bros.The Legend of ZeldaMetroidPokémonconstraint logicSudokuNikoliChessGoOthelloboard gamesinapproximabilityPCP theoremOPT-preserving reductionAPX-hardnessvertex coverSet-cover hardnessGroup Steiner treek-dense subgraphlabel coverUnique Games Conjectureindependent setfixed-parameter intractabilityparameter-preserving reductionW hierarchyclique-hardness3SUM-hardnessexponential time hypothesiscounting problemssolution uniquenessgame theoryExistential theory of the realsundecidabilityMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.438 Algorithms for Inference (MIT)This is a graduate-level introduction to the principles of statistical inference with probabilistic models defined using graphical representations. The material in this course constitutes a common foundation for work in machine learning, signal processing, artificial intelligence, computer vision, control, and communication. Ultimately, the subject is about teaching you contemporary approaches to, and perspectives on, problems of statistical inference.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-438-algorithms-for-inference-fall-2014
Fall2014Shah, Devavrat2015-04-27T14:31:51+05:006.438en-USinferencealgorithmgraphical modelfactor graphmarkov chainGaussian modelloopy belief propagationEM algorithmstatistical inferenceprobabilistic graphical modelHidden Markov modellinear dynamical systemsSum-product algorithmjunction tree algorithmForward-backward algorithmKalman filteringsmoothingVariational methodmean-field theoryMin-sum algorithmViterbi algorithmparameter estimationlearning structureMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.828 Operating System Engineering (MIT)This course studies fundamental design and implementation ideas in the engineering of operating systems. Lectures are based on a study of UNIX and research papers. Topics include virtual memory, threads, context switches, kernels, interrupts, system calls, interprocess communication, coordination, and the interaction between software and hardware. Individual laboratory assignments involve implementation of a small operating system in C, with some x86 assembly.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012
Fall2012Kaashoek, Frans2014-12-02T15:13:16+05:006.828en-USoperating systemOSUNIXvirtual memorythreadscontext switcheskernelsinterruptssystem callsinterprocess communicationCx86 assemblyprogrammingMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.857 Network and Computer Security (MIT)6.857 Network and Computer Security is an upper-level undergraduate, first-year graduate course on network and computer security. It fits within the Computer Systems and Architecture Engineering concentration.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-857-network-and-computer-security-spring-2014
Spring2014Rivest, Ronald2014-11-17T12:10:22+05:006.857en-USnetworkcomputer securitysecuritycryptographysecret-keypublic-keydigital signatureauthenticationBitcoinencryptionblock cipherscryptographic hash functionsone-time padstream ciphersblock ciphersencryptionweb browser securitybiometricsViruseselectronic votingMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.849 Geometric Folding Algorithms: Linkages, Origami, Polyhedra (MIT)This course focuses on the algorithms for analyzing and designing geometric foldings. Topics include reconfiguration of foldable structures, linkages made from one-dimensional rods connected by hinges, folding two-dimensional paper (origami), and unfolding and folding three-dimensional polyhedra. Applications to architecture, robotics, manufacturing, and biology are also covered in this course. Acknowledgments Thanks to videographers Martin Demaine and Jayson Lynch.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-849-geometric-folding-algorithms-linkages-origami-polyhedra-fall-2012
Fall2012Demaine, Erik2014-08-26T08:36:16+05:006.849en-USorigamigeometryalgorithmfoldinglinkagepolyhedraseamcrease patternuniversal moleculebox pleatingtriangulationvertexedgecurved creaserigiditytensegrityhinged dissectionunfoldinggluingplatonic solidrefoldingsculpturepaper3D chaindesignMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.S096 Effective Programming in C and C++ (MIT)This course is a fast-paced introduction to the C and C++ programming languages, with an emphasis on good programming practices and how to be an effective programmer in these languages. Topics include object-oriented programming, memory management, advantages of C and C++, optimization, and others. Students are given weekly coding assignments and a final project to hone their skills. Recommended for programmers with some background and experience in other languages.This course is offered during the Independent Activities Period (IAP), which is a special 4-week term at MIT that runs from the first week of January until the end of the month.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-s096-effective-programming-in-c-and-c-january-iap-2014
January IAP2014Kessler, Andre2014-07-08T12:19:13+05:006.S096en-USprogrammingCC++structureobject-orientedcodememoryabstractionassemblystacksoftwareinheritancescopedesignenvironmentcostcode reviewprojectbest practiceMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.370 The Battlecode Programming Competition (MIT)This course is conducted as an artificial intelligence programming contest in Java. Students work in teams to program virtual robots to play Battlecode, a real-time strategy game. Optional lectures are provided on topics and programming practices relevant to the game, and students learn and improve their programming skills experientially. The competition culminates in a live Battlecode tournament. This course is offered during the Independent Activities Period (IAP), which is a special 4-week term at MIT that runs from the first week of January until the end of the month.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-370-the-battlecode-programming-competition-january-iap-2013
January IAP2013Mann, Maxwell2014-06-24T18:07:20+05:006.370en-USBattlecodeprogrammingartificial intelligencedistributed algorithmnetwork communicationrobotteamcodebuildstrategyplayergamepathingsearchnavigationcomputationdatastructuredebuggingbytecodemethodcostGitrepositoryswarmspawn timeheuristicsMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.837 Computer Graphics (MIT)This course provides introduction to computer graphics algorithms, software and hardware. Topics include: ray tracing, the graphics pipeline, transformations, texture mapping, shadows, sampling, global illumination, splines, animation and color. This course offers 6 Engineering Design Points in MIT's EECS program.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-837-computer-graphics-fall-2012
Fall2012Matusik, WojciechDurand, Frédo2014-04-02T17:10:21+05:006.837en-USanimation and colormodelingtransformationsBezier curves and splinesrepresentation and interpolation of rotationscomputer animationparticle systemscollision detectionray tracing and castingrasterization and shading texture mappinggraphics pipelineglobal illuminationantialiasingsamplingMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.685 Electric Machines (MIT)This course teaches the principles and analysis of electromechanical systems. Students will develop analytical techniques for predicting device and system interaction characteristics as well as learn to design major classes of electric machines. Problems used in the course are intended to strengthen understanding of the phenomena and interactions in electromechanics, and include examples from current research.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-685-electric-machines-fall-2013
Fall2013Kirtley Jr., James L.2014-03-07T17:07:03+05:006.685en-USelectricmachinetransformerselectromechanicaltransducersrotatinglinear electric machineslumped parameterdcinductionsynchronousenergy conversionelectromechanicsMechatronicsMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.868J The Society of Mind (MIT)This course is an introduction to the theory that tries to explain how minds are made from collections of simpler processes. It treats such aspects of thinking as vision, language, learning, reasoning, memory, consciousness, ideals, emotions, and personality. It incorporates ideas from psychology, artificial intelligence, and computer science to resolve theoretical issues such as wholes vs. parts, structural vs. functional descriptions, declarative vs. procedural representations, symbolic vs. connectionist models, and logical vs. common-sense theories of learning.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-868j-the-society-of-mind-fall-2011
Fall2011Minsky, Marvin2014-03-04T14:05:54+05:006.868Jen-USmarvin minskyartificial intelligencesociety of the mindemotion machinecognitive psychologycognitive theoryphilosophy of the mindMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.041SC Probabilistic Systems Analysis and Applied Probability (MIT)This course introduces students to the modeling, quantification, and analysis of uncertainty. The tools of probability theory, and of the related field of statistical inference, are the keys for being able to analyze and make sense of data. These tools underlie important advances in many fields, from the basic sciences to engineering and management.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-041sc-probabilistic-systems-analysis-and-applied-probability-fall-2013
Fall2013Tsitsiklis, John2014-02-26T16:05:07+05:006.041SCen-USprobabilityprobability modelsbayes rulediscrete random variablescontinuous random variablesbernoulli processpoisson processmarkov chainscentral limit theoremstatistical inferenceMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.851 Advanced Data Structures (MIT)Data structures play a central role in modern computer science. You interact with data structures even more often than with algorithms (think Google, your mail server, and even your network routers). In addition, data structures are essential building blocks in obtaining efficient algorithms. This course covers major results and current directions of research in data structure. Acknowledgments Thanks to videographers Martin Demaine and Justin Zhang.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-851-advanced-data-structures-spring-2012
Spring2012Demaine, Erik2013-12-18T04:40:36+05:006.851en-USdatastructuresdata structurescomputerscomputer sciencestringsdynamic graphsintegershashhashinghashishhashtaghash taghash taggermemorymemory heirarchybinary treebinary searchbinary search treetime travelback to the futureforward to the pastdatadatabasetabledatabase tablecachecachingmad cache moneylogarithmic timeeurythmic timeoperationssearchheapsMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.170 Software Studio (MIT)This course on software engineering covers design and implementation of medium-scale software systems, using web applications as a platform. In the course, students learn the fundamentals of structuring a web application and writing modular code, with an emphasis on conceptual design to achieve clarity, simplicity, and modularity. Topics also include functional programming, relational databases, and security.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-170-software-studio-spring-2013
Spring2013Jackson, Daniel2013-11-22T17:06:57+05:006.170en-USsoftwarewebweb applicationprogrammingcodeRuby on RailsRESTrelational dataAjaxJavaScriptHTMLCSSobjectobject modelingsecuritydevelopment processdependencyMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm6.S079 Nanomaker (MIT)This course links clean energy sources and storage technology to energy consumption case studies to give students a concept of the full circle of production and consumption. Specifically, photovoltaic, organic photovoltaic, piezoelectricity and thermoelectricity sources are applied to electrophoresis, lab on a chip, and paper microfluidic applications–relevant analytical techniques in biology and chemistry. Hands-on experimentation with everyday materials and equipment help connect the theory with the implementation. Complementary laboratories fabricating LEDs, organic LEDs and spectrometers introduce the diagnostic tools used to characterize energy efficiency.This course is one of many OCW Energy Courses, and it is an elective subject in MIT’s undergraduate Energy Studies Minor. This Institute-wide program complements the deep expertise obtained in any major with a broad understanding of the interlinked realms of science, technology, and social sciences as they relate to energy and associated environmental challenges.
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-s079-nanomaker-spring-2013
Spring2013Lo, KateySummers, JosephBulovic, VladimirRam, Rajeev2013-11-15T13:38:45+05:006.S079en-USclean energyenergy sourcesenergy storageenergy consumptionphotovoltaicpiezoelectricthermoelectricLEDlight emitting diodeorganic LEDanalytical biologyanalytical chemistrymicrofluidicsspectrometerenergy efficiencyMIT OpenCourseWare http://ocw.mit.eduContent within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm