uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 2: Doubly Efficient Interactive Proofs, Part 2


Massachusetts Institute of Technology

addressCountry: US

addressLocality: Cambridge

addressRegion: Massachusetts

type: Organization

Yael Tauman Kalai

honorificPrefix: Prof.

type: Person

keywords:
Engineering
Computer Science
Cryptography

cs: Technické vědy

de: Ingenieurwissenschaften

fi: tekniikka

uk: Інженерія

en: Engineering Sciences

fr: Ingénierie

da: Ingeniørvidenskab

es: Ingeniería

nl: Engineering

cs: Informatika

de: Informatik

fi: tietojenkäsittelytiede

uk: Комп'ютерні науки

en: Computer Science

fr: Informatique

da: Datalogi

es: Ciencias de la Computación

nl: Informatica

MIT OpenCourseWare

type: Service

type: WebContent

@language: en

cs: přihlášení není vyžadováno

de: keine Anmeldung erforderlich

uk: вхід без авторизації

en: no login required

nl: geen login vereist

name: Lecture 3: Continuation of the GKR Protocol and Corollaries

cs: Video

de: Video

fi: Video

uk: Відео

en: Video

fr: Vidéo

da: Video

nl: Video

es: Video


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 4: PCP via GKR and Interactive Arguments, Part 1


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 4: PCP via GKR and Interactive Arguments, Part 2


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 5: The Kilian-Micali Protocol, Part 1


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 5: The Kilian-Micali Protocol, Part 2


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 1


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 2


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 1


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 2


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 1


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 2


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 1


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 2


Computer Systems Security

keywords:
Engineering
Computer Science
Software Design and Engineering
Computer Design and Engineering

uk: Комп'ютерні науки

description:
This course covers design and implementation of secure computer systems. The lectures cover attacks that compromise security as well as techniques for achieving security, based on recent research papers. Topics include operating system security, privilege separation, capabilities, language-based security, cryptographic network protocols, trusted hardware, and security in web applications and mobile phones. The labs involve implementing and compromising a web application that sandboxes arbitrary code, supporting TLS certificates, and adding two-factor authentication.

The course materials, which can be accessed via the external link to the left, are available for reuse under a Creative Commons [Attribution 3.0](https://creativecommons.org/licenses/by/3.0/us/) license.

uk: вхід без авторизації

cs: Kurz

de: Kurs

fi: Kurssi

uk: Курс

en: Course

fr: Cours

da: Kursus

nl: Cursus

es: Curso


Database Systems

keywords:
Engineering
Computer Science
Algorithms and Data Structures

uk: Комп'ютерні науки

description: This course relies on primary readings from the database community to introduce graduate/undergraduate students to the foundations of database systems, focusing on basics such as the relational algebra and data model, schema normalization, query optimization, transactions, and other more advanced topics. No prior database experience is assumed, though students who have taken an undergraduate course in databases are encouraged to attend.

uk: вхід без авторизації


Power Electronics

keywords:
Engineering
Electronics
Electrical Engineering
Energy
Electricity

name: Lecture 1: Introduction to Power Electronics

name: Lecture 2: Analysis Methods and Rectifiers

name: Lecture 13: Isolated DC/DC Converters, Part 1

name: Lecture 14: Isolated DC/DC Converters, Part 2

name: Lecture 15: Switching Losses and Snubbers

name: Lecture 16: Thermal Modeling and Heat Sinking

name: Lecture 30: EMI Filters, Part 3: CM + DM

name: Lecture 31: Switched-Capacitor Convertors, Part 1

name: Lecture 32: Switched-Capacitor Convertors, Part 2

name: Lecture 37: Resonant Converters: Matching Networks

name: Lecture 35: Resonant Power Conversion, Part 1

name: Lecture 36: Resonant Power Conversion, Part 2

name: Lecture 38: Gate Drive, Level Shift, Layout

de: Elektrotechnik und Informationstechnik

uk: Електротехніка та інформаційні технології

en: Electrical Engineering and Information Engineering

description: 6.622 covers modeling, analysis, design, control, and application of circuits for energy conversion and control. As described by the Institute of Electrical and Electronics Engineers (IEEE), power electronics technology "encompasses the use of electronic components, the application of circuit theory and design techniques, and the development of analytical tools toward efficient electronic conversion, control, and conditioning of electric power." Students taking this class will come away with an understanding of the fundamental principles of power electronics, and knowledge of how to both analyze and design power electronic components and systems.

uk: вхід без авторизації


Assessment 1

uk: вхід без авторизації

cs: Cvičení

de: Übung

fi: Harjoitus

uk: Практика

en: Drill and Practice

fr: Apprentissage par Répétition

da: Øvelse

nl: Oefenen

es: Práctica


Assessment 2

uk: вхід без авторизації


Assessment 3

uk: вхід без авторизації


Assessment 4

uk: вхід без авторизації


Assessment 5

uk: вхід без авторизації


Assessment 6

uk: вхід без авторизації


Assessment 7

uk: вхід без авторизації


Assessment 8

uk: вхід без авторизації


Assessment 9

uk: вхід без авторизації


Assessment 10

uk: вхід без авторизації


uk: вхід без авторизації


uk: вхід без авторизації


Lecture 3: Load Regulation

uk: вхід без авторизації


Lecture 4: Power Factor

uk: вхід без авторизації


Lecture 5: Intro to DC/DC, Part 1

uk: вхід без авторизації


Lecture 6: DC/DC, Part 2

uk: вхід без авторизації


Lecture 7: DC/DC, Part 3

uk: вхід без авторизації


Lecture 8: DC/DC, Part 4

uk: вхід без авторизації


Lecture 9: Magnetics, Part 1

uk: вхід без авторизації


Lecture 10: Magnetics, Part 2

uk: вхід без авторизації


Lecture 11: Magnetics, Part 3

uk: вхід без авторизації


Lecture 12: Magnetics, Part 4

uk: вхід без авторизації


uk: вхід без авторизації


uk: вхід без авторизації


uk: вхід без авторизації


uk: вхід без авторизації


Lecture 17: Inverters, Part 1

uk: вхід без авторизації


Lecture 18: Inverters, Part 2

uk: вхід без авторизації


Lecture 19: Inverters, Part 3

uk: вхід без авторизації


Lecture 20: Switched-Mode Rectifiers

uk: вхід без авторизації


Lecture 21: Three-Phase Systems, Part 1

uk: вхід без авторизації


Lecture 22: Three-Phase Systems, Part 2

uk: вхід без авторизації


Lecture 23: Three-Phase Inverters

uk: вхід без авторизації


Lecture 24: Control, Part 1

uk: вхід без авторизації


Lecture 25: Control, Part 2

uk: вхід без авторизації


Lecture 26: Control, Part 3

uk: вхід без авторизації


Lecture 27: Current-Mode Control

uk: вхід без авторизації


Lecture 28: EMI Filters, Part 1

uk: вхід без авторизації


Lecture 29: EMI Filters, Part 2

uk: вхід без авторизації


uk: вхід без авторизації


uk: вхід без авторизації


uk: вхід без авторизації


Lecture 33: Soft Switching, Part 1

uk: вхід без авторизації


Lecture 34: Soft Switching, Part 2

uk: вхід без авторизації


uk: вхід без авторизації


uk: вхід без авторизації


uk: вхід без авторизації


uk: вхід без авторизації


Electromagnetics

keywords: Science Physics Electromagnetism

de: Physik

uk: Фізика

en: Physics

de: Mathematik, Naturwissenschaften

uk: Математика, природничі науки

en: Mathematics, Natural Sciences

de: Physik, Astronomie

fi: fysiikka, tähtitiede

uk: Фізика, Астрономія

en: Physics, Astronomy

fr: Physique, Astronomie

da: Fysik, Astronomi

es: Física, Astronomía

nl: Natuurkunde, Astronomie

description: 6.630 is an introductory subject on electromagnetics, emphasizing fundamental concepts and applications of Maxwell equations. Topics covered include: polarization, dipole antennas, wireless communications, forces and energy, phase matching, dielectric waveguides and optical fibers, transmission line theory and circuit concepts, antennas, and equivalent principle. Examples deal with electrodynamics, propagation, guidance, and radiation of electromagnetic waves.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This resource contains problems to test students understanding of course material.

uk: вхід без авторизації


Electromagnetic Wave Theory

keywords:
Science
Physics
Mathematics
Applied Mathematics
Electromagnetism

cs: Matematika

de: Mathematik

fi: matematiikka

uk: Математика

en: Mathematics

fr: Mathématiques

da: Matematik

es: Matemáticas

nl: Wiskunde

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: 6.632 is a graduate subject on electromagnetic wave theory, emphasizing mathematical approaches, problem solving, and physical interpretation. Topics covered include: waves in media, equivalence principle, duality and complementarity, Huygens' principle, Fresnel and Fraunhofer diffraction, dyadic Green's functions, Lorentz transformation, and Maxwell-Minkowski theory. Examples deal with limiting cases of Maxwell's theory and diffraction and scattering of electromagnetic waves.

uk: вхід без авторизації


Quiz No. 1

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Quiz on electromagnetic theory.

uk: вхід без авторизації


Quiz No. 2

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Quiz on electromagnetic theory.

uk: вхід без авторизації


Advanced Electromagnetism

keywords:
Science
Physics
Atomic, Molecular, Optical Physics
Quantum Mechanics
Electromagnetism

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: In 6.635, topics covered include: special relativity, electrodynamics of moving media, waves in dispersive media, microstrip integrated circuits, quantum optics, remote sensing, radiative transfer theory, scattering by rough surfaces, effective permittivities, random media, Green's functions for planarly layered media, integral equations in electromagnetics, method of moments, time domain method of moments, EM waves in periodic structures: photonic crystals and negative refraction.

uk: вхід без авторизації


Optical Signals, Devices, and Systems

keywords:
Engineering
Science
Physics
Electronics
Electrical Engineering
Signal Processing
Atomic, Molecular, Optical Physics

uk: Математика, природничі науки

uk: Фізика, Астрономія

description:
6.637 covers the fundamentals of optical signals and modern optical devices and systems from a practical point of view. Its goal is to help students develop a thorough understanding of the underlying physical principles such that device and system design and performance can be predicted, analyzed, and understood.

Most optical systems involve the use of one or more of the following: sources (e.g., lasers and light-emitting diodes), light modulation components (e.g., liquid-crystal light modulators), transmission media (e.g., free space or fibers), photodetectors (e.g., photodiodes, photomultiplier tubes), information storage devices (e.g., optical disk), processing systems (e.g., imaging and spatial filtering systems) and displays (LCOS microdisplays). These are the topics covered by this course.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description:
6.641 examines electric and magnetic quasistatic forms of Maxwell's equations applied to dielectric, conduction, and magnetization boundary value problems. Topics covered include: electromagnetic forces, force densities, and stress tensors, including magnetization and polarization; thermodynamics of electromagnetic fields, equations of motion, and energy conservation; applications to synchronous, induction, and commutator machines; sensors and transducers; microelectromechanical systems; propagation and stability of electromechanical waves; and charge transport phenomena.

##### Acknowledgement

The instructor would like to thank Thomas Larsen for transcribing into LaTeX selected homework problems, homework solutions, and exams.

uk: вхід без авторизації

name: Electromagnetic Fields, Forces, and Motion


Quiz 1 - Solutions 2003

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Solutions to a quiz on electromagnetic fields, forces, and motion.

uk: вхід без авторизації


Quiz 2 - Solutions 2003

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Final - Solutions 2004

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Solutions to final exam on electromagnetic fields, forces, and motion.

uk: вхід без авторизації


Quiz 1 - Solutions 2004

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 2 - Solutions 2004

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Final Exam - 2003

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Final exam on electromagnetic fields, forces, and motion.

uk: вхід без авторизації


Final Exam - 2004

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Final Exam: Solution

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Final Review Packet

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Review packet for a final exam on electromagnetic fields, forces, and motion.

uk: вхід без авторизації


Final Exam - Solutions 2003

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


2005 Final Exam Review Packet

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Review materials on potential distributions, surface charge densities, perfect conductors, Maxwell stress tensors, natural frequency, and displacement.

uk: вхід без авторизації


Final Exam - 2005

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Formula Sheet

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Formula sheet on differential operators in cylindrical and spherical coordinates and solutions of Laplace's equations.

uk: вхід без авторизації


Quiz 1 - 2005

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Quiz on electromagnetic fields, forces, and motion.

uk: вхід без авторизації


Quiz 1 - Solutions 2005

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 2 - 2005

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 1 - 2003

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 1 - 2004

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 1 - Solutions 2003

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 1 - Solutions 2004

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 2 - 2003

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 2 - 2004

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 2 - Solutions 2004

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 2 - Solutions 2003

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 2 - Solutions 2004

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description:
This course examines electric and magnetic quasistatic forms of Maxwell's equations applied to dielectric, conduction, and magnetization boundary value problems. Topics covered include: electromagnetic forces, force densities, and stress tensors, including magnetization and polarization; thermodynamics of electromagnetic fields, equations of motion, and energy conservation; applications to synchronous, induction, and commutator machines; sensors and transducers; microelectromechanical systems; propagation and stability of electromechanical waves; and charge transport phenomena.

##### Acknowledgments

The instructor would like to thank Thomas Larsen and Matthew Pegler for transcribing into LaTeX the homework problems, homework solutions, and exam solutions.

uk: вхід без авторизації


Final Exam

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Final Review Packet

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 1

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 2

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 1

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Mid-Term Exam

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Mid-term exam on electromagnetic fields, forces, and motion.

uk: вхід без авторизації


Final - Solutions - Spring 2006

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Solutions to a final exam on electromagnetic fields, forces, and motion.

uk: вхід без авторизації


Final - Solutions - Spring 2008

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Final - Solutions - Spring 2009

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 1 - Solutions - Spring 2006

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 2 - Solutions - Spring 2006

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 1 - Solutions - Spring 2008

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Quiz 1 - Solutions - Spring 2009

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Formula Sheet #1

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Formula sheet on differential operators in Cartesian, cylindrical, and spherical coordinates, geometric relations between coordinates and unit vectors in Cartesian, cylindrical, and spherical coordinate systems, vector identities, integral theorems, Maxwell's equations, and physical constants.

uk: вхід без авторизації


Formula Sheet

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Formula sheet on differential operators in Cartesian, cylindrical, and spherical coordinates.

uk: вхід без авторизації


Formula Sheet - Spring 2009

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Formula sheet on differential operators in cylindrical and spherical coordinates, and solutions of Laplace’s equations.

uk: вхід без авторизації


Continuum Electromechanics

keywords:
Engineering
Science
Physics
Mechanical Engineering
Electrical Engineering
Quantum Mechanics
Electromagnetism

de: Maschinenbau/Verfahrenstechnik

uk: Машинобудування/Технологія

en: Mechanical Engineering / Process Engineering

uk: Математика, природничі науки

uk: Фізика, Астрономія

description:
This course focuses on laws, approximations and relations of continuum electromechanics. Topics include mechanical and electromechanical transfer relations, statics and dynamics of electromechanical systems having a static equilibrium, electromechanical flows, and field coupling with thermal and molecular diffusion. Also covered are electrokinetics, streaming interactions, application to materials processing, magnetohydrodynamic and electrohydrodynamic pumps and generators, ferrohydrodynamics, physiochemical systems, heat transfer, continuum feedback control, electron beam devices, and plasma dynamics.

##### Acknowledgements

The instructor would like to thank Xuancheng Shao and Anyang Hou for transcribing into LaTeX the problem set solutions and exam solutions, respectively.

uk: вхід без авторизації


Final Exam

uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Final exam on continuum electromechanics.

uk: вхід без авторизації


Final Exam - Solutions

uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Solutions to a final exam on continuum electromechanics.

uk: вхід без авторизації


Mid-Term Exam

uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Midterm exam on continuum electromechanics.

uk: вхід без авторизації


Mid-Term - Solutions

uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Solutions to a midterm exam on continuum electromechanics.

uk: вхід без авторизації


Receivers, Antennas, and Signals

keywords:
Engineering
Electronics
Electrical Engineering
Signal Processing
Telecommunications

description: This course explores the detection and measurement of radio and optical signals encountered in communications, astronomy, remote sensing, instrumentation, and radar. Topics covered include: statistical analysis of signal processing systems, including radiometers, spectrometers, interferometers, and digital correlation systems; matched filters and ambiguity functions; communications channel performance; measurement of random electromagnetic fields, angular filtering properties of antennas, interferometers, and aperture synthesis systems; and radiative transfer and parameter estimation.

uk: вхід без авторизації


Electric Machines

keywords:
Engineering
Electronics
Electrical Engineering
Energy
Technology
Electricity

name: 6.685 Electric Machines, Quiz 1 Solutions

name: 6.685 Electric Machines, Quiz 2 Solutions

description: 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.

uk: вхід без авторизації


6.685 Electric Machines, Quiz 1

description: This file contains information regarding quiz 1.

uk: вхід без авторизації


description: This file contains information regarding quiz 1 solution.

uk: вхід без авторизації


6.685 Electric Machines, Quiz 2

description: This file contains information regarding quiz 2.

uk: вхід без авторизації


description: This file contains information regarding quiz 2 solution.

uk: вхід без авторизації


Seminar in Electric Power Systems

keywords:
Engineering
Electrical Engineering
Energy
Electric Power
Electricity

description: This course comprises of a seminar on planning and operation of modern electric power systems. Content varies with current interests of instructor and class; emphasis on engineering aspects, but economic issues may be examined too. Core topics include: overview of power system structure and operation; representation of components, including transmission lines, transformers, generating plants, loads; power flow analysis, dynamics and control of multimachine systems, steady-state and transient stability, system protection; economic dispatch; mobile and isolated power systems; computation and simulation.

uk: вхід без авторизації


Introduction to Nanoelectronics

keywords:
Engineering
Science
Physics
Chemistry
Electronics
Electrical Engineering
Nanotechnology
Energy
Technology
Quantum Mechanics
Physical Chemistry

de: Chemie

fi: kemia

uk: Хімія

en: Chemistry

fr: Chimie

da: Kemi

es: Química

nl: Scheikunde

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Traditionally, progress in electronics has been driven by miniaturization. But as electronic devices approach the molecular scale, classical models for device behavior must be abandoned. To prepare for the next generation of electronic devices, this class teaches the theory of current, voltage and resistance from atoms up. To describe electrons at the nanoscale, we will begin with an introduction to the principles of quantum mechanics, including quantization, the wave-particle duality, wavefunctions and Schrödinger's equation. Then we will consider the electronic properties of molecules, carbon nanotubes and crystals, including energy band formation and the origin of metals, insulators and semiconductors. Electron conduction will be taught beginning with ballistic transport and concluding with a derivation of Ohm's law. We will then compare ballistic to bulk MOSFETs. The class will conclude with a discussion of possible fundamental limits to computation.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This resource contains information related to singlet molecule two-terminal device, bilayer atomic sheet, seesaw logic and NAND gate.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This resource contains problem statements related to born-oppenheimer approximation, and tight binding approximation.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This resource contains information related to singlet molecule two-terminal device, ballistic quantum wire FET and bilayer atomic sheet.

uk: вхід без авторизації


Integrated Microelectronic Devices

keywords:
Engineering
Science
Physics
Electronics
Mechanical Engineering
Electrical Engineering
Nanotechnology
Microtechnology
Electromagnetism

uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description:
6.720 examines the physics of microelectronic semiconductor devices for silicon integrated circuit applications. Topics covered include: semiconductor fundamentals, p-n junction, metal-oxide semiconductor structure, metal-semiconductor junction, MOS field-effect transistor, and bipolar junction transistor. The course emphasizes physical understanding of device operation through energy band diagrams and short-channel MOSFET device design. Issues in modern device scaling are also outlined. The course is worth 2 Engineering Design Points.

Acknowledgments
---------------

Prof. Jesús del Alamo would like to thank Prof. Harry Tuller for his support of and help in teaching the course.

uk: вхід без авторизації


uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Final exam on Integrated Micro Electronic Devices from December 20, 2002.

uk: вхід без авторизації


uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Quiz on Integrated Micro Electronic Devices from October 10, 2002.

uk: вхід без авторизації


uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: Quiz on Integrated Micro Electronic Devices from November 5, 2002.

uk: вхід без авторизації


vssver.scc

uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

uk: вхід без авторизації


Applied Quantum and Statistical Physics

keywords:
Science
Physics
Mathematics
Probability and Statistics
Quantum Mechanics
Classical Mechanics

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: 6.728 is offered under the department's "Devices, Circuits, and Systems" concentration. The course covers concepts in elementary quantum mechanics and statistical physics, introduces applied quantum physics, and emphasizes an experimental basis for quantum mechanics. Concepts covered include: Schrodinger's equation applied to the free particle, tunneling, the harmonic oscillator, and hydrogen atom, variational methods, Fermi-Dirac, Bose-Einstein, and Boltzmann distribution functions, and simple models for metals, semiconductors, and devices such as electron microscopes, scanning tunneling microscope, thermonic emitters, atomic force microscope, and others.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This resource contains the Final Exam topics: fundamentals of quantum, 1D solutions, approximtion schemes, two level system, 2D and 3D problems, coupled systems, density of states, application of fermi's golden rule, statistical mechanics and hydrogen atom and central potentials.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This resource contains 3 quiz problems.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This resource contains 7 major topics for quiz 1.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This resource contains 4 problems for Quiz 2.

uk: вхід без авторизації


uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This resource contains list of 8 topics covered in Quiz 2.

uk: вхід без авторизації


Physics for Solid-State Applications

keywords:
Engineering
Science
Physics
Electronics
Electrical Engineering
Materials Science and Engineering
Electronic Materials
Condensed Matter Physics
Electromagnetism

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This course examines classical and quantum models of electrons and lattice vibrations in solids, emphasizing physical models for elastic properties, electronic transport, and heat capacity. Topics covered include: crystal lattices, electronic energy band structures, phonon dispersion relatons, effective mass theorem, semiclassical equations of motion, and impurity states in semiconductors, band structure and transport properties of selected semiconductors, and connection of quantum theory of solids with quasifermi levels and Boltzmann transport used in device modeling.

uk: вхід без авторизації


Applied Superconductivity

keywords:
Engineering
Science
Physics
Electronics
Electrical Engineering
Materials Science and Engineering
Electronic Materials
Electromagnetism

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This course provides a phenomenological approach to superconductivity, with emphasis on superconducting electronics. Topics include: electrodynamics of superconductors, London's model, flux quantization, Josephson Junctions, superconducting quantum devices, equivalent circuits, high-speed superconducting electronics, and quantized circuits for quantum computing. The course also provides an overview of type II superconductors, critical magnetic fields, pinning, the critical state model, superconducting materials, and microscopic theory of superconductivity.

uk: вхід без авторизації


Compound Semiconductor Devices

keywords:
Engineering
Science
Physics
Electronics
Electrical Engineering
Materials Science and Engineering
Electronic Materials
Condensed Matter Physics

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This course outlines the physics, modeling, application, and technology of compound semiconductors (primarily III-Vs) in electronic, optoelectronic, and photonic devices and integrated circuits. Topics include: properties, preparation, and processing of compound semiconductors; theory and practice of heterojunctions, quantum structures, and pseudomorphic strained layers; metal-semiconductor field effect transistors (MESFETs); heterojunction field effect transistors (HFETs) and bipolar transistors (HBTs); photodiodes, vertical-and in-plane-cavity laser diodes, and other optoelectronic devices.

uk: вхід без авторизації


keywords:
Engineering
Science
Physics
Mechanical Engineering
Nanotechnology
Materials Science and Engineering
Electronic Materials
Condensed Matter Physics
Microtechnology

uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: This course is offered to graduates and focuses on understanding the fundamental principles of the "front-end" processes used in the fabrication of devices for silicon integrated circuits. This includes advanced physical models and practical aspects of major processes, such as oxidation, diffusion, ion implantation, and epitaxy. Other topics covered include: high performance MOS and bipolar devices including ultra-thin gate oxides, implant-damage enhanced diffusion, advanced metrology, and new materials such as Silicon Germanium (SiGe).

uk: вхід без авторизації

name: Physics of Microfabrication: Front End Processing


High Speed Communication Circuits

keywords:
Engineering
Computer Science
Electrical Engineering
Signal Processing
Telecommunications
Computer Networks
Digital Systems

uk: Комп'ютерні науки

description: 6.776 covers circuit level design issues of high speed communication systems, with primary focus being placed on wireless and broadband data link applications. Specific circuit topics include transmission lines, high speed and low noise amplifiers, VCO's, mixers, power amps, high speed digital circuits, and frequency synthesizers. In addition to learning analysis skills for the above items, students will gain a significant amount of experience in simulating RF circuits in SPICE and also building RF circuits within a lab project.

uk: вхід без авторизації


midterm.pdf

uk: Комп'ютерні науки

description: This resource contains 3 problems to calculate voltage in differnt types of electric circuits for mid-term exam.

uk: вхід без авторизації


uk: Машинобудування/Технологія

uk: Математика, природничі науки

uk: Фізика, Астрономія

description: 6.777J / 2.372J is an introduction to microsystem design. Topics covered include: material properties, microfabrication technologies, structural behavior, sensing methods, fluid flow, microscale transport, noise, and amplifiers feedback systems. Student teams design microsystems (sensors, actuators, and sensing/control systems) of a variety of types, (e.g., optical MEMS, bioMEMS, inertial sensors) to meet a set of performance specifications (e.g., sensitivity, signal-to-noise) using a realistic microfabrication process. There is an emphasis on modeling and simulation in the design process. Prior fabrication experience is desirable. The course is worth 4 Engineering Design Points.

uk: вхід без авторизації

name: Design and Fabrication of Microelectromechanical Devices


Semiconductor Manufacturing

keywords:
Engineering
Electronics
Systems Engineering
Electrical Engineering
Materials Science and Engineering
Electronic Materials
Computational Modeling and Simulation
Chemical Engineering
Process Control Systems

uk: Хімічна інженерія/Інженерія хімічних процесів

en: Chemical Engineering/Chemical Process Engineering

uk: Машинобудування/Технологія

description: 6.780 covers statistical modeling and the control of semiconductor fabrication processes and plants. Topics covered include: design of experiments, response surface modeling, and process optimization; defect and parametric yield modeling; process/device/circuit yield optimization; monitoring, diagnosis, and feedback control of equipment and processes; and analysis and scheduling of semiconductor manufacturing operations.

uk: вхід без авторизації


uk: Машинобудування/Технологія

uk: вхід без авторизації


Submicrometer and Nanometer Technology

keywords:
Engineering
Mechanical Engineering
Electrical Engineering
Nanotechnology
Microtechnology

uk: Машинобудування/Технологія

description:
This course surveys techniques to fabricate and analyze submicron and nanometer structures, with applications. Optical and electron microscopy is reviewed. Additional topics that are covered include: surface characterization, preparation, and measurement techniques, resist technology, optical projection, interferometric, X-ray, ion, and electron lithography; Aqueous, ion, and plasma etching techniques; lift-off and electroplating; and ion implantation. Applications in microelectronics, microphotonics, information storage, and nanotechnology will also be explored.

Acknowledgements
----------------

The Instructors would like to thank Bob Barsotti, Bryan Cord, and Ben Wunsch for their work on the Atomic Force Microscope video. They would also like to thank Bryan Cord for creating each video.

uk: вхід без авторизації


Machine Vision

keywords:
Engineering
Computer Science
Artificial Intelligence
Systems Engineering
Electrical Engineering
Signal Processing
Computational Modeling and Simulation
Robotics and Control Systems

uk: Комп'ютерні науки

description: Machine Vision provides an intensive introduction to the process of generating a symbolic description of an environment from an image. Lectures describe the physics of image formation, motion vision, and recovering shapes from shading. Binary image processing and filtering are presented as preprocessing steps. Further topics include photogrammetry, object representation alignment, analog VLSI and computational vision. Applications to robotics and intelligent machine interaction are discussed.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains the Quiz 1 solutions.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains the Quiz 2 solutions.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains the Quiz 1 problems.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains the Quiz 2 problems.

uk: вхід без авторизації


keywords:
Engineering
Computer Science
Artificial Intelligence
Graphics and Visualization

name: Lecture 4: Fixed Optical Flow, Optical Mouse, Constant Brightness Assumption, Closed Form Solution

name: Lecture 5: TCC and FOR MontiVision Demos, Vanishing Point, Use of VPs in Camera Calibration

name: Lecture 6: Photometric Stereo, Noise Gain, Error Amplification, Eigenvalues and Eigenvectors Review

name: Lecture 7: Gradient Space, Reflectance Map, Image Irradiance Equation, Gnomonic Projection

name: Lecture 8: Shading, Special Cases, Lunar Surface, Scanning Electron Microscope, Green's Theorem

name: Lecture 9: Shape from Shading, General Case - From First Order Nonlinear PDE to Five ODEs

name: Lecture 1: Introduction to Machine Vision

name: Lecture 2: Image Formation, Perspective Projection, Time Derivative, Motion Field

name: Lecture 3: Time to Contact, Focus of Expansion, Direct Motion Vision Methods, Noise Gain

name: Lecture 14: Inspection in PatQuick, Hough Transform, Homography, Position Determination, Multi-Scale

name: Lecture 15: Alignment, PatMax, Distance Field, Filtering and Sub-Sampling (US 7,065,262)

name: Lecture 16: Fast Convolution, Low Pass Filter Approximations, Integral Images (US 6,457,032)

name: Lecture 17: Photogrammetry, Orientation, Axes of Inertia, Symmetry, Orientation

name: Lecture 18: Rotation and How to Represent It, Unit Quaternions, the Space of Rotations

name: Lecture 19: Absolute Orientation in Closed Form, Outliers and Robustness, RANSAC

name: Lecture 10: Characteristic Strip Expansion, Shape from Shading, Iterative Solutions

name: Lecture 11: Edge Detection, Subpixel Position, CORDIC, Line Detection (US 6,408,109)

name: Lecture 12: Blob Analysis, Binary Image Processing, Green's Theorem, Derivative and Integral

name: Lecture 13: Object Detection, Recognition and Pose Determination, PatQuick (US 7,016,539)

name: Lecture 20: Space of Rotations, Regular Tessellations, Critical Surfaces, Binocular Stereo

name: Lecture 21: Relative Orientation, Binocular Stereo, Structure, Quadrics, Calibration, Reprojection

name: Lecture 22: Exterior Orientation, Recovering Position & Orientation, Bundle Adjustment, Object Shape

name: Lecture 23: Gaussian Image, Solids of Revolution, Direction Histograms, Regular Polyhedra

name: 6.801 / 6.866 Machine Vision, Quiz 1 Review

name: 6.801/6.866: Machine Vision, Quiz 2 Review

uk: Комп'ютерні науки

description: This course is an introduction to the process of generating a symbolic description of the environment from an image. It covers the physics of image formation, image analysis, binary image processing, and filtering. Machine vision has applications in robotics and the intelligent interaction of machines with their environment. Students taking the graduate version complete additional assignments.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 1: Introduction to Machine Vision


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 2: Image Formation, Perspective Projection, Time Derivative, Motion Field


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 3: Time to Contact, Focus of Expansion, Direct Motion Vision Methods, Noise Gain


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 4: Fixed Optical Flow, Optical Mouse, Constant Brightness Assumption, Closed Form Solution


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 5: TCC and FOR MontiVision Demos, Vanishing Point, Use of VPs in Camera Calibration


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 6: Photometric Stereo, Noise Gain, Error Amplification, Eigenvalues and Eigenvectors Review


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 7: Gradient Space, Reflectance Map, Image Irradiance Equation, Gnomonic Projection


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 8: Shading, Special Cases, Lunar Surface, Scanning Electron Microscope, Green's Theorem


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 9: Shape from Shading, General Case - From First Order Nonlinear PDE to Five ODEs


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 10: Characteristic Strip Expansion, Shape from Shading, Iterative Solutions


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 11: Edge Detection, Subpixel Position, CORDIC, Line Detection (US 6,408,109)


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 12: Blob Analysis, Binary Image Processing, Green's Theorem, Derivative and Integral


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 13: Object Detection, Recognition and Pose Determination, PatQuick (US 7,016,539)


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 14: Inspection in PatQuick, Hough Transform, Homography, Position Determination, Multi-Scale


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 15: Alignment, PatMax, Distance Field, Filtering and Sub-Sampling (US 7,065,262)


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 16: Fast Convolution, Low Pass Filter Approximations, Integral Images (US 6,457,032)


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 17: Photogrammetry, Orientation, Axes of Inertia, Symmetry, Orientation


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 18: Rotation and How to Represent It, Unit Quaternions, the Space of Rotations


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 19: Absolute Orientation in Closed Form, Outliers and Robustness, RANSAC


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 20: Space of Rotations, Regular Tessellations, Critical Surfaces, Binocular Stereo


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 21: Relative Orientation, Binocular Stereo, Structure, Quadrics, Calibration, Reprojection


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 22: Exterior Orientation, Recovering Position & Orientation, Bundle Adjustment, Object Shape


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 23: Gaussian Image, Solids of Revolution, Direction Histograms, Regular Polyhedra


6.801/6.866 Machine Vision, Quiz 1

uk: Комп'ютерні науки

uk: вхід без авторизації


6.801/6.866 Machine Vision, Quiz 2

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6.801 / 6.866 Machine Vision, Quiz 1 Review


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6.801/6.866: Machine Vision, Quiz 2 Review


The Human Intelligence Enterprise

keywords:
Engineering
Science
Computer Science
Artificial Intelligence
Cognitive Science

de: Psychologie

uk: Психологія

en: Psychology

uk: Комп'ютерні науки

de: Rechts-, Wirtschafts- und Sozialwissenschaften

uk: Право, економіка та суспільні науки

en: Law, Economics and Social Sciences

description: This course analyzes seminal work directed at the development of a computational understanding of human intelligence, such as work on learning, language, vision, event representation, commonsense reasoning, self reflection, story understanding, and analogy. It reviews visionary ideas of Turing, Minsky, and other influential thinkers and examines the implications of work on brain scanning, developmental psychology, and cognitive psychology. There is an emphasis on discussion and analysis of original papers; students taking the graduate version complete additional exercises and a substantial term project.

uk: вхід без авторизації


keywords:
Communication
Engineering
Computer Science
Humanities
Ethics
Social Science
Public Administration
Philosophy
Legal Studies
Data Mining
Science and Technology Policy

de: Ethik

uk: Етика

en: Ethics

de: Verwaltungswissenschaften

uk: Управління та адміністрування

en: Administrative Sciences

uk: Комп'ютерні науки

de: Philosophie

uk: Філософія

en: Philosophy

de: Sozialwissenschaften/Soziologie

uk: Суспільні науки та соціологія

en: Social Sciences/Sociology

de: Geisteswissenschaften

uk: Гуманітарні науки

en: Humanities

uk: Право, економіка та суспільні науки

description:
This course considers the interaction between law, policy, and technology as they relate to the evolving controversies over control of the Internet. In addition, there will be an in-depth treatment of privacy and the notion of "transparency" -- regulations and technologies that govern the use of information, as well as access to information. Topics explored will include:

*   Legal Background for Regulation of the Internet
*   Fourth Amendment Law and Electronic Surveillance
*   Profiling, Data Mining, and the U.S. PATRIOT Act
*   Technologies for Anonymity and Transparency
*   The Policy-Aware Web

uk: вхід без авторизації

name: Ethics and the Law on the Electronic Frontier


uk: Управління та адміністрування

de: Informatik

uk: Комп'ютерні науки

en: Computer Science

de: Ingenieurwissenschaften

en: Engineering Sciences

uk: Суспільні науки та соціологія

uk: Гуманітарні науки

uk: Право, економіка та суспільні науки

description: This file contains questions for sample midterm exam.

de: keine Anmeldung erforderlich

uk: вхід без авторизації

en: no login required


keywords:
Engineering
Computer Science
Electronics
Mechanical Engineering
Electrical Engineering
Health and Medicine
Public Health
Human-Computer Interfaces
Mechanical Design

uk: Комп'ютерні науки

uk: Машинобудування/Технологія

de: Humanmedizin/Gesundheitswissenschaften

uk: Медицина / Науки про здоров'я

en: Human Medicine / Health Sciences

de: Elektrotechnik und Informationstechnik

en: Electrical Engineering and Information Engineering

description: 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.

uk: вхід без авторизації

de: Kurs

en: Course


Fundamentals of Program Analysis

keywords:
Engineering
Computer Science
Software Design and Engineering

uk: Комп'ютерні науки

description: 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.

uk: вхід без авторизації


Programming Languages

keywords:
Engineering
Computer Science
Programming Languages

uk: Комп'ютерні науки

description: 6.821 teaches the principles of functional, imperative, and logic programming languages. Topics covered include: meta-circular interpreters, semantics (operational and denotational), type systems (polymorphism, inference, and abstract types), object oriented programming, modules, and multiprocessing. The course involves substantial programming assignments and problem sets as well as a significant amount of reading. The course uses the Scheme+ programming language for all of its assignments.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: 1998 Midterm and Solutions

uk: вхід без авторизації

de: Übung

en: Drill and Practice


uk: Комп'ютерні науки

description: 1999 Midterm & Solutions

uk: вхід без авторизації


uk: Комп'ютерні науки

description: 2000 Midterm

uk: вхід без авторизації


uk: Комп'ютерні науки

description: 2002 Midterm

uk: вхід без авторизації


uk: Комп'ютерні науки

description: 2002 Midterm Solutions

uk: вхід без авторизації


uk: Комп'ютерні науки

description: 6.281 Jeopardy: The Home Version. The game that turns 6.281 into 6.28fun! [Jeopardy Game - Final Exam Review]

uk: вхід без авторизації


uk: Комп'ютерні науки

description: 2000 Final Examination and Solutions

uk: вхід без авторизації


uk: Комп'ютерні науки

description: 1999 Final Examination and Solutions

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Final Examination 2001

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Final Examination Solutions 2001

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Final Examination 2002

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Final Examination Solutions 2002

uk: вхід без авторизації


Computer System Architecture

Joel Emer

honorificPrefix: Dr.

keywords:
Engineering
Computer Science
Theory of Computation
Computer Design and Engineering

uk: Комп'ютерні науки

description: 6.823 is a course in the department's "Computer Systems and Architecture" concentration. 6.823 is a study of the evolution of computer architecture and the factors influencing the design of hardware and software elements of computer systems. Topics may include: instruction set design; processor micro-architecture and pipelining; cache and virtual memory organizations; protection and sharing; I/O and interrupts; in-order and out-of-order superscalar architectures; VLIW machines; vector supercomputers; multithreaded architectures; symmetric multiprocessors; and parallel computers.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains problems based on addressing modes on MIPS ISA, microprogramming, fully-bypassed simple 5-stage pipeline, and princeton architecture along with the appendix.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains problems based on cache basics, handling TLB misses, buffer for data cache, page size, and TLBs.

uk: вхід без авторизації


uk: Комп'ютерні науки

description:
This resource contains problems based on out-of-order scheduling with and without
register renaming, branch prediction and unified physical
registers.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains problems based on directory-based cache coherence protocol, silent drops, synchronization, and snoopy cache coherence protocol along with the appendix.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains problems based on compiler techniques, VLIW and vector machines multithreading, and reliability.

uk: вхід без авторизації


keywords:
Engineering
Computer Science
Computer Networks
Computer Design and Engineering

uk: Комп'ютерні науки

description: This course covers abstractions and implementation techniques for the design of distributed systems. Topics include: server design, network programming, naming, storage systems, security, and fault tolerance. The assigned readings for the course are from current literature. This course is worth 6 Engineering Design Points.

uk: вхід без авторизації

name: Distributed Computer Systems Engineering


uk: Комп'ютерні науки

description: Midterm exam solutions from Spring 2005.

uk: вхід без авторизації


keywords:
Engineering
Science
Computer Science
Artificial Intelligence
Cognitive Science
Algorithms and Data Structures

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description:
6.825 is a graduate-level introduction to artificial intelligence. Topics covered include: representation and inference in first-order logic, modern deterministic and decision-theoretic planning techniques, basic supervised learning methods, and Bayesian network inference and learning.

This course was also taught as part of the [Singapore-MIT Alliance](http://web.mit.edu/sma/) (SMA) programme as course number SMA 5504 (Techniques in Artificial Intelligence).

uk: вхід без авторизації

name: Techniques in Artificial Intelligence (SMA 5504)


uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: Final Exam

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: [Final exam solutions, Fall '01]

uk: вхід без авторизації


midterm.pdf

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: Midterm Examination

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: Final Examination

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: Recitation Problems: Spring Final Solutions

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: Review Problems

uk: вхід без авторизації


samples.pdf

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: Review Problems

uk: вхід без авторизації


solutions.pdf

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: Midterm Examination

uk: вхід без авторизації


Principles of Computer Systems

uk: Комп'ютерні науки

description: 6.826 provides an introduction to the basic principles of computer systems, with emphasis on the use of rigorous techniques as an aid to understanding and building modern computing systems. Particular attention is paid to concurrent and distributed systems. Topics covered include: specification and verification, concurrent algorithms, synchronization, naming, networking, replication techniques (including distributed cache management), and principles and algorithms for achieving reliability.

uk: вхід без авторизації


keywords:
Engineering
Computer Science
Software Design and Engineering
Programming Languages
Theory of Computation

uk: Комп'ютерні науки

description:
The topics covered in this course include:

*   Languages and compilers to exploit multithreaded parallelism
*   Implicit parallel programming using functional languages and their extensions
*   Higher-order functions, non-strictness, and polymorphism
*   Explicit parallel programming and nondeterminism
*   The lambda calculus and its variants
*   Term rewriting and operational semantics
*   Compiling multithreaded code for symmetric multiprocessors and clusters
*   Static analysis and compiler optimizations

This course is worth 4 Engineering Design Points.

uk: вхід без авторизації

name: Multithreaded Parallelism: Languages and Compilers


quiz.pdf

uk: Комп'ютерні науки

description: Mid-Term Quiz

uk: вхід без авторизації


quiztopics.pdf

uk: Комп'ютерні науки

description: Midterm Topics

uk: вхід без авторизації


Operating System Engineering

keywords:
Engineering
Computer Science
Software Design and Engineering
Operating Systems

name: Operating System Engineering, Exam 1 Solutions, Fall 2004

name: Operating System Engineering, Exam 2 Solutions, Fall 2004

name: Operating System Engineering, Exam 1 Solutions, Fall 2005

name: Operating System Engineering, Exam 2 Solutions, Fall 2005

name: Operating System Engineering, Exam 1, Fall 2006

name: Operating System Engineering, Exam 2, Fall 2006

name: Operating System Engineering, Exam 1 Solutions, Fall 2007

name: Operating System Engineering, Exam 2 Solutions, Fall 2007

name: Operating System Engineering, Exam 1, Fall 2008

name: Operating System Engineering, Exam 1 Solutions, Fall 2008

name: Operating System Engineering, Exam 2, Fall 2008

name: Operating System Engineering, Exam 2 Solutions, Fall 2008

name: Operating System Engineering, Exam 1, Fall 2009

name: Operating System Engineering, Exam 1 Solutions, Fall 2009

name: Operating System Engineering, Exam 2, Fall 2009

name: Operating System Engineering, Exam 2 Solutions, Fall 2009

name: Operating System Engineering, Exam 1, Fall 2002

name: Operating System Engineering, Exam 2, Fall 2002

name: Operating System Engineering, Exam 1 Solutions, Fall 2003

name: Operating System Engineering, Exam 2 Solutions, Fall 2003

name: Operating System Engineering, Exam 1, Fall 2010

name: Operating System Engineering, Exam 1 Solutions, Fall 2010

name: Operating System Engineering, Exam 2, Fall 2010

name: Operating System Engineering, Exam 2 Solutions, Fall 2010

name: Operating System Engineering, Exam 1, Fall 2011

name: Operating System Engineering, Exam 1 Solutions, Fall 2011

name: Operating System Engineering, Exam 2, Fall 2011

name: Operating System Engineering, Exam 2 Solutions, Fall 2011

name: Operating System Engineering, Exam 1, Fall 2012

name: Operating System Engineering, Exam 1 Solutions, Fall 2012

uk: Комп'ютерні науки

description: 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.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1, Fall 2002.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2, Fall 2002.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1 Solutions, Fall 2003.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2 Solutions, Fall 2003

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1 Solutions, Fall 2004.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2 Solutions, Fall 2004.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1 Solutions, Fall 2005.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2 Solutions, Fall 2005.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1, Fall 2006.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2, Fall 2006.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1 Solutions, Fall 2007.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2 Solutions, Fall 2007.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1, Fall 2008.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1 Solutions, Fall 2008.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2, Fall 2008.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2 Solutions, Fall 2008.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1, Fall 2009.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1 Solutions, Fall 2009.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2, Fall 2009.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2 Solutions, Fall 2009.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1, Fall 2010.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1 Solutions, Fall 2010.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2, Fall 2010.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2 Solutions, Fall 2010.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1, Fall 2011.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1 Solutions, Fall 2011.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2, Fall 2011

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 2 Solutions, Fall 2011.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1, Fall 2012.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains the information regarding Operating System Engineering, Exam 1 Solutions, Fall 2012.

uk: вхід без авторизації


Computer Networks

keywords:
Engineering
Computer Science
Computer Networks

uk: Комп'ютерні науки

description:
How does the global network infrastructure work and what are the design principles on which it is based? In what ways are these design principles compromised in practice? How do we make it work better in today's world? How do we ensure that it will work well in the future in the face of rapidly growing scale and heterogeneity? And how should Internet applications be written, so they can obtain the best possible performance both for themselves and for others using the infrastructure? These are some issues that are grappled with in this course. The course will focus on the design, implementation, analysis, and evaluation of large-scale networked systems.

Topics include internetworking philosophies, unicast and multicast routing, congestion control, network quality of service, mobile networking, router architectures, network-aware applications, content dissemination systems, network security, and performance issues. Material for the course will be drawn from research papers, industry white papers, and Internet RFCs.

uk: вхід без авторизації


Database Systems

keywords:
Engineering
Computer Science
Business
Information Technology
Software Design and Engineering
Data Mining
Algorithms and Data Structures

de: Betriebswirtschaftslehre

uk: Бізнес-адміністрування

en: Business Administration

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

de: Wirtschaftswissenschaften

uk: Бізнес та економіка

en: Business and Economics

description: This course relies on primary readings from the database community to introduce graduate students to the foundations of database systems, focusing on basics such as the relational algebra and data model, schema normalization, query optimization, and transactions. It is designed for students who have taken [6.033](/courses/6-033-computer-system-engineering-spring-2018/) (or equivalent); no prior database experience is assumed, though students who have taken an undergraduate course in databases are encouraged to attend.

uk: вхід без авторизації


uk: Бізнес-адміністрування

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

description: This resource contains information on cptimistic concurrency control.

uk: вхід без авторизації


uk: Бізнес-адміністрування

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

description: This resource contains information on schema design.

uk: вхід без авторизації


uk: Бізнес-адміністрування

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

description: This resource contains information on big table.

uk: вхід без авторизації


uk: Бізнес-адміністрування

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

uk: Бізнес та економіка

description: This resource contains information on database systems.

uk: вхід без авторизації


keywords:
Engineering
Computer Science
Visual Arts
Fine Arts
Software Design and Engineering
Graphic Design
Human-Computer Interfaces

uk: Комп'ютерні науки

de: Bildende Kunst

uk: Образотворче мистецтво

en: Fine Arts

de: Kunst, Kunstwissenschaft

uk: Мистецтво, мистецтвознавство

en: Art, Art Theory

description: 6.831/6.813 examines human-computer interaction in the context of graphical user interfaces. The course covers human capabilities, design principles, prototyping techniques, evaluation techniques, and the implementation of graphical user interfaces. Deliverables include short programming assignments and a semester-long group project. Students taking the graduate version also have readings from current literature and additional assignments.

uk: вхід без авторизації

name: User Interface Design and Implementation


Underactuated Robotics

keywords:
Engineering
Computer Science
Artificial Intelligence
Electrical Engineering
Robotics and Control Systems

name: Lecture 15: Global Policies from Local Policies

name: Lecture 16: Introducing Stochastic Optimal Control

name: Lecture 18: Stochastic Gradient Descent 2

name: Lecture 19: Temporal Difference Learning

name: Lecture 10: Trajectory Stabilization and Iterative Linear Quadratic Regulator

name: Lecture 20: Temporal Difference Learning with Function Approximation

name: Lecture 23: Case Studies in Computational Underactuated Control

name: Lecture 3: Optimal Control of the Double Integrator

name: Lecture 4: Optimal Control of the Double Integrator (cont.)

name: Lecture 5: Numerical Optimal Control (Dynamic Programming)

name: Lecture 7: Swing-up Control of Acrobot and Cart-pole Systems

name: Lecture 8: Dynamic Programming (DP) and Policy Search

uk: Комп'ютерні науки

description:
Robots today move far too conservatively, using control systems that attempt to maintain full control authority at all times. Humans and animals move much more aggressively by routinely executing motions which involve a loss of instantaneous control authority. Controlling nonlinear systems without complete control authority requires methods that can reason about and exploit the natural dynamics of our machines.

This course discusses nonlinear dynamics and control of underactuated mechanical systems, with an emphasis on machine learning methods. Topics include nonlinear dynamics of passive robots (walkers, swimmers, flyers), motion planning, partial feedback linearization, energy-shaping control, analytical optimal control, reinforcement learning/approximate optimal control, and the influence of mechanical design on control. Discussions include examples from biology and applications to legged locomotion, compliant manipulation, underwater robots, and flying machines.

Acknowledgments

Professor Tedrake would like to thank John Roberts for his help with the course and videotaping the lectures.

uk: вхід без авторизації


Lecture 1: Introduction

uk: Комп'ютерні науки

uk: вхід без авторизації

de: Video

en: Video


uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 11: Walking

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 12: Walking (cont.)

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 13: Running

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 14: Feasible Motion Planning

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 17: Stochastic Gradient Descent

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 2: The Simple Pendulum

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 21: Policy Improvement

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 22: Actor-critic Methods

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 6: Acrobot and Cart-pole

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 9: Trajectory Optimization

uk: Комп'ютерні науки

uk: вхід без авторизації


Practice Problems

uk: Комп'ютерні науки

description: Practice problems on numerical optimal control algorithms, partial feedback linearization, and dynamic programming with continuous action.

uk: вхід без авторизації


Midterm

uk: Комп'ютерні науки

description: Midterm exam on underactuated robotics, optimal control of the simple pendulum, the Pendubot, and control of a rimless wheel.

uk: вхід без авторизації


Underactuated Robotics

uk: Комп'ютерні науки

description:
Robots today move far too conservatively, using control systems that attempt to maintain full control authority at all times. Humans and animals move much more aggressively by routinely executing motions which involve a loss of instantaneous control authority. Controlling nonlinear systems without complete control authority requires methods that can reason about and exploit the natural dynamics of our machines.

This course introduces nonlinear dynamics and control of underactuated mechanical systems, with an emphasis on computational methods. Topics include the nonlinear dynamics of robotic manipulators, applied optimal and robust control and motion planning. Discussions include examples from biology and applications to legged locomotion, compliant manipulation, underwater robots, and flying machines.

uk: вхід без авторизації


Computer Graphics

keywords:
Engineering
Computer Science
Programming Languages
Algorithms and Data Structures
Graphics and Visualization

uk: Комп'ютерні науки

description: 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.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains information regarding quiz 1.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This resource contains information regarding quiz 2.

uk: вхід без авторизації


2003_ray tracing

uk: Комп'ютерні науки

uk: вхід без авторизації


2011 quiz 1

uk: Комп'ютерні науки

description: This file contains the 2011 quiz 1 questions.

uk: вхід без авторизації


Algorithms for Computer Animation

uk: Комп'ютерні науки

description: Animation is a compelling and effective form of expression; it engages viewers and makes difficult concepts easier to grasp. Today's animation industry creates films, special effects, and games with stunning visual detail and quality. This graduate class will investigate the algorithms that make these animations possible: keyframing, inverse kinematics, physical simulation, optimization, optimal control, motion capture, and data-driven methods. Our study will also reveal the shortcomings of these sophisticated tools. The students will propose improvements and explore new methods for computer animation in semester-long research projects. The course should appeal to both students with general interest in computer graphics and students interested in new applications of machine learning, robotics, biomechanics, physics, applied mathematics and scientific computing.

uk: вхід без авторизації


Computability Theory of and with Scheme

keywords:
Engineering
Computer Science
Mathematics
Computation
Programming Languages
Theory of Computation

uk: Комп'ютерні науки

de: Mathematik

en: Mathematics

de: Mathematik, Naturwissenschaften

uk: Математика, природничі науки

en: Mathematics, Natural Sciences

description: 6.844 is a graduate introduction to programming theory, logic of programming, and computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself. Topics covered include: programming and computability theory based on a term-rewriting, "substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

uk: вхід без авторизації


Quantum Complexity Theory

keywords:
Engineering
Science
Computer Science
Physics
Mathematics
Algorithms and Data Structures
Theory of Computation
Quantum Mechanics
Discrete Mathematics

uk: Комп'ютерні науки

de: Physik

en: Physics

uk: Математика, природничі науки

de: Physik, Astronomie

uk: Фізика, Астрономія

en: Physics, Astronomy

description: This course is an introduction to quantum computational complexity theory, the study of the fundamental capabilities and limitations of quantum computers. Topics include complexity classes, lower bounds, communication complexity, proofs, advice, and interactive proof systems in the quantum world. The objective is to bring students to the research frontier.

uk: вхід без авторизації


keywords:
Engineering
Computer Science
Mathematics
Visual Arts
Fine Arts
Algorithms and Data Structures
Topology and Geometry

uk: Образотворче мистецтво

uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Мистецтво, мистецтвознавство

description:
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.

uk: вхід без авторизації

name: Geometric Folding Algorithms: Linkages, Origami, Polyhedra


Advanced Data Structures

keywords:
Engineering
Computer Science
Algorithms and Data Structures

name: Session 21: Dynamic Connectivity Lower Bound

name: Session 9: Cache-Oblivious Structures II

uk: Комп'ютерні науки

description:
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.

uk: вхід без авторизації


Session 1: Persistent Data Structures

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 10: Dictionaries

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 11: Integer Models

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 12: Fusion Trees

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 13: Integer Lower Bounds

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 14: Sorting in Linear Time

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 15: Static Trees

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 16: Strings

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 17: Succinct Structures I

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 18: Succinct Structures II

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 19: Dynamic Graphs I

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 2: Retroactive Data Structures

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 20: Dynamic Graphs II

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


Session 22: History of Memory Models

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 3: Geometric Structures I

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 4: Geometric Structures II

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 5: Dynamic Optimality I

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 6: Dynamic Optimality II

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 7: Memory Hierarchy Models

uk: Комп'ютерні науки

uk: вхід без авторизації


Session 8: Cache-Oblivious Structures I

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації


Distributed Algorithms

keywords:
Engineering
Computer Science
Algorithms and Data Structures
Theory of Computation

uk: Комп'ютерні науки

description:
Distributed algorithms are algorithms designed to run on multiple processors, without tight centralized control. In general, they are harder to design and harder to understand than single-processor sequential algorithms. Distributed algorithms are used in many practical systems, ranging from large computer networks to multiprocessor shared-memory systems. They also have a rich theory, which forms the subject matter for this course.

The core of the material will consist of basic distributed algorithms and impossibility results, as covered in Prof. Lynch's book _Distributed Algorithms_. This will be supplemented by some updated material on topics such as self-stabilization, wait-free computability, and failure detectors, and some new material on scalable shared-memory concurrent programming.

uk: вхід без авторизації


Advanced Algorithms

uk: Комп'ютерні науки

description: This course is a first-year graduate course in algorithms. Emphasis is placed on fundamental algorithms and advanced methods of algorithmic design, analysis, and implementation. Techniques to be covered include amortization, randomization, fingerprinting, word-level parallelism, bit scaling, dynamic programming, network flow, linear programming, fixed-parameter algorithms, and approximation algorithms. Domains include string algorithms, network optimization, parallel algorithms, computational geometry, online algorithms, external memory, cache, and streaming algorithms, and data structures.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This is a graduate course on the design and analysis of algorithms, covering several advanced topics not studied in typical introductory courses on algorithms. It is especially designed for doctoral students interested in theoretical computer science.

uk: вхід без авторизації


Randomized Algorithms

keywords:
Engineering
Computer Science
Mathematics
Computation
Algorithms and Data Structures

uk: Комп'ютерні науки

uk: Математика, природничі науки

description: This course examines how randomization can be used to make algorithms simpler and more efficient via random sampling, random selection of witnesses, symmetry breaking, and Markov chains. Topics covered include: randomized computation; data structures (hash tables, skip lists); graph algorithms (minimum spanning trees, shortest paths, minimum cuts); geometric algorithms (convex hulls, linear programming in fixed or arbitrary dimension); approximate counting; parallel algorithms; online algorithms; derandomization techniques; and tools for probabilistic analysis of algorithms.

uk: вхід без авторизації


Network and Computer Security

keywords:
Engineering
Computer Science
Social Science
Public Administration
Cryptography
Computer Networks
Security Studies

de: Sozialwissenschaften/Soziologie

uk: Суспільні науки та соціологія

en: Social Sciences/Sociology

uk: Комп'ютерні науки

de: Verwaltungswissenschaften

uk: Управління та адміністрування

en: Administrative Sciences

de: Rechts-, Wirtschafts- und Sozialwissenschaften

uk: Право, економіка та суспільні науки

en: Law, Economics and Social Sciences

description: _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.

uk: вхід без авторизації


Computer Systems Security

keywords:
Engineering
Computer Science
Software Design and Engineering
Computer Design and Engineering

name: Lecture 3: Buffer Overflow Exploits and Defenses

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2009

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2009

name: Class on Computer Systems Security, Exam 1, Fall 2009

name: Class on Computer Systems Security, Exam 2, Fall 2009

name: Class on Computer Systems Security, Exam 1, Fall 2014

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2014

name: Class on Computer Systems Security, Exam 1 Review, Fall 2014

name: Class on Computer Systems Security, Exam 2, Fall 2014

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2014

name: Class on Computer Systems Security, Exam 2 Review 1, Fall 2014

name: Class on Computer Systems Security, Exam 2 Review 2, Fall 2014

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2010

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2010

name: Class on Computer Systems Security, Exam 1, Fall 2010

name: Class on Computer Systems Security, Exam 2, Fall 2010

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2011

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2011

name: Class on Computer Systems Security, Exam 1, Fall 2011

name: Class on Computer Systems Security, Exam 2, Fall 2011

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2012

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2012

name: Class on Computer Systems Security, Exam 1, Fall 2012

name: Class on Computer Systems Security, Exam 2, Fall 2012

name: Class on Computer Systems Security, Exam 1, Fall 2013

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2013

name: Class on Computer Systems Security, Exam 2, Fall 2013

name: Class on Computer Systems Security, Exam 2 Soultion, Fall 2013

de: Ingenieurwissenschaften

en: Engineering Sciences

de: Informatik

uk: Комп'ютерні науки

en: Computer Science

description: 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.

de: keine Anmeldung erforderlich

uk: вхід без авторизації

en: no login required


Lecture 1: Introduction, Threat Models

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 10: Symbolic Execution

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 11: Ur/Web

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 12: Network Security

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 13: Network Protocols

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 14: SSL and HTTPS

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 15: Medical Software

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 16: Side-Channel Attacks

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 17: User Authentication

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 18: Private Browsing

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 19: Anonymous Communication

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 2: Control Hijacking Attacks

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 20: Mobile Phone Security

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 21: Data Tracking

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 22: Guest Lecture by MIT IS&T

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 23: Security Economics

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Lecture 3: Buffer Overflow Exploits and Defenses


Lecture 4: Privilege Separation

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 6: Capabilities

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 7: Sandboxing Native Code

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 8: Web Security Model

uk: Комп'ютерні науки

uk: вхід без авторизації


Lecture 9: Securing Web Applications

uk: Комп'ютерні науки

uk: вхід без авторизації


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2009 solution.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2009


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2009


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2009.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1, Fall 2009


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2, Fall 2009


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2010 solution.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2010


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2010


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2010.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1, Fall 2010


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2, Fall 2010


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2011 solution.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2011


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2011


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2011.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1, Fall 2011


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2, Fall 2011


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2012 solution.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2012


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2012


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2012.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1, Fall 2012


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2, Fall 2012


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2013.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1, Fall 2013


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2013


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2, Fall 2013


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2 Soultion, Fall 2013


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2014.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1, Fall 2014


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2014 review.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1 Review, Fall 2014


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 1 Solution, Fall 2014


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2, Fall 2014


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2 Review 1, Fall 2014


uk: Комп'ютерні науки

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2 Review 2, Fall 2014


uk: Комп'ютерні науки

description: This file contains information regarding quiz 2014 solution.

uk: вхід без авторизації

name: Class on Computer Systems Security, Exam 2 Solution, Fall 2014


uk: Комп'ютерні науки

description: This is a special file related to txt.

uk: вхід без авторизації


keywords:
Engineering
Science
Computer Science
Humanities
Artificial Intelligence
Linguistics
Cognitive Science
Theory of Computation

de: Geisteswissenschaften

uk: Гуманітарні науки

en: Humanities

de: Psychologie

en: Psychology

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: 6.863 is a laboratory-oriented course on the theory and practice of building computer systems for human language processing, with an emphasis on the linguistic, cognitive, and engineering foundations for understanding their design.

uk: вхід без авторизації

name: Natural Language and the Computer Representation of Knowledge

de: Kurs

en: Course


Advanced Natural Language Processing

uk: Гуманітарні науки

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

description: This course is a graduate introduction to natural language processing - the study of human language from a computational perspective. It covers syntactic, semantic and discourse processing models, emphasizing machine learning or corpus-based methods and algorithms. It also covers applications of these methods and models in syntactic parsing, information extraction, statistical machine translation, dialogue systems, and summarization. The subject qualifies as an Artificial Intelligence and Applications concentration subject.

uk: вхід без авторизації


Machine Learning

keywords:
Engineering
Science
Computer Science
Artificial Intelligence
Mathematics
Probability and Statistics
Cognitive Science
Algorithms and Data Structures

uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: 6.867 is an introductory course on machine learning which gives an overview of many concepts, techniques, and algorithms in machine learning, beginning with topics such as classification and linear regression and ending up with more recent topics such as boosting, support vector machines, hidden Markov models, and Bayesian networks. The course will give the student the basic ideas and intuition behind modern machine learning methods as well as a bit more formal understanding of how, why, and when they work. The underlying theme in the course is statistical inference as it provides the foundation for most of the methods covered.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Final exam on machine learning and neural networks from Fall 2001.

uk: вхід без авторизації

de: Übung

en: Drill and Practice


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Solutions to a final exam on machine learning and neural networks from Fall 2001.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Final exam on machine learning and neural networks from Fall 2002.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Solutions to a final exam on machine learning and neural networks from Fall 2002.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Final exam on machine learning and neural networks from Fall 2003.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Solutions to a final exam on machine learning and neural networks from Fall 2003.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Final exam on machine learning and neural networks from Fall 2004.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Solutions to a final exam on machine learning and neural networks from Fall 2004.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Mid-term exam on machine learning and neural networks from Fall 2003.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Solutions to a mid-term exam on machine learning and neural networks from Fall 2003.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Solutions to a mid-term exam on machine learning and neural networks from Fall 2002.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Mid-term exam on machine learning and neural networks from Fall 2006.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Mid-term exam on machine learning and neural networks from Fall 2004.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Solutions to a mid-term exam on machine learning and neural networks from Fall 2004.

uk: вхід без авторизації


uk: Комп'ютерні науки

uk: Математика, природничі науки

uk: Право, економіка та суспільні науки

description: Solutions to a mid-term exam on machine learning and neural networks from Fall 2006.

uk: вхід без авторизації


The Society of Mind

keywords:
Engineering
Computer Science
Humanities
Artificial Intelligence
Philosophy

uk: Гуманітарні науки

de: Philosophie

en: Philosophy

uk: Комп'ютерні науки

description: 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.

uk: вхід без авторизації


Knowledge-Based Applications Systems

keywords:
Engineering
Computer Science
Artificial Intelligence
Business
Information Technology
Software Design and Engineering
Data Mining

de: Betriebswirtschaftslehre

uk: Бізнес-адміністрування

en: Business Administration

uk: Комп'ютерні науки

uk: Право, економіка та суспільні науки

de: Wirtschaftswissenschaften

uk: Бізнес та економіка

en: Business and Economics

description: This course covers the development of programs containing a significant amount of knowledge about their application domain. The course includes a brief review of relevant AI techniques; case studies from a number of application domains, chosen to illustrate principles of system development; a discussion of technical issues encountered in building a system, including selection of knowledge representation, knowledge acquisition, etc.; and a discussion of current and future research. The course also provides hands-on experience in building an expert system (term project).

uk: вхід без авторизації