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: вхід без авторизації


Massachusetts Institute of Technology

addressCountry: US

addressLocality: Cambridge

addressRegion: Massachusetts

type: Organization

Terry Orlando

honorificPrefix: Prof.

type: Person

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

de: Physik

uk: Фізика

en: Physics

cs: Matematika

de: Mathematik

fi: matematiikka

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

en: Mathematics

fr: Mathématiques

da: Matematik

es: Matemáticas

nl: Wiskunde

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: This resource contains 3 quiz problems.

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

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


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

de: Elektrotechnik und Informationstechnik

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

en: Electrical Engineering and Information Engineering

cs: Technické vědy

de: Ingenieurwissenschaften

fi: tekniikka

uk: Інженерія

en: Engineering Sciences

fr: Ingénierie

da: Ingeniørvidenskab

es: Ingeniería

nl: Engineering

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: вхід без авторизації

cs: Kurz

de: Kurs

fi: Kurssi

uk: Курс

en: Course

fr: Cours

da: Kursus

nl: Cursus

es: Curso


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

de: Maschinenbau/Verfahrenstechnik

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

en: Mechanical Engineering / Process Engineering

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

cs: Informatika

de: Informatik

fi: tietojenkäsittelytiede

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

en: Computer Science

fr: Informatique

da: Datalogi

es: Ciencias de la Computación

nl: Informatica

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: вхід без авторизації


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

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

cs: Video

de: Video

fi: Video

uk: Відео

en: Video

fr: Vidéo

da: Video

nl: Video

es: Video


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

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

de: Psychologie

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

en: Psychology

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: Verwaltungswissenschaften

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

en: Administrative Sciences

de: Philosophie

uk: Філософія

en: Philosophy

de: Ethik

uk: Етика

en: Ethics

de: Geisteswissenschaften

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

en: Humanities

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

de: Sozialwissenschaften/Soziologie

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

en: Social Sciences/Sociology

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: Управління та адміністрування

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

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

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

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

description: This file contains questions for sample midterm exam.

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


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

de: Humanmedizin/Gesundheitswissenschaften

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

en: Human Medicine / Health Sciences

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

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

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: вхід без авторизації


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: вхід без авторизації

en: no login required


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: вхід без авторизації

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: Комп'ютерні науки

en: Engineering Sciences

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

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

description: This resource contains information on cptimistic concurrency control.

de: keine Anmeldung erforderlich

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

de: Übung


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

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

de: Ingenieurwissenschaften

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

de: Kurs

en: Course


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

de: Informatik

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

en: Computer Science

de: Elektrotechnik und Informationstechnik

en: Electrical Engineering and Information Engineering

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

de: Physik

en: Physics

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

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: Verwaltungswissenschaften

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

en: Administrative Sciences

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

de: Sozialwissenschaften/Soziologie

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

en: Social Sciences/Sociology

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

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

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.

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

en: Drill and Practice


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

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

de: Geisteswissenschaften

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

en: Humanities

de: Psychologie

en: Psychology

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


Advanced Natural Language Processing

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

en: Engineering Sciences

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.

de: keine Anmeldung erforderlich

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


Machine Learning

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

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

de: Ingenieurwissenschaften

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


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: Комп'ютерні науки

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

de: Philosophie

en: Philosophy

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: вхід без авторизації

de: Kurs

en: Course


Cryptography and Cryptanalysis

keywords:
Engineering
Computer Science
Cryptography
Theory of Computation

de: Informatik

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

en: Computer Science

description: This course features a rigorous introduction to modern cryptography, with an emphasis on the fundamental cryptographic primitives of public-key encryption, digital signatures, pseudo-random number generation, and basic protocols and their computational complexity requirements.

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


Advanced Topics in Cryptography

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

description: The topics covered in this course include interactive proofs, zero-knowledge proofs, zero-knowledge proofs of knowledge, non-interactive zero-knowledge proofs, secure protocols, two-party secure computation, multiparty secure computation, and chosen-ciphertext security.

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


Computational Evolutionary Biology

keywords:
Engineering
Science
Biological Engineering
Biology
Computational Biology
Computation and Systems Biology

de: Biotechnologie

uk: Біотехнологія

en: Biotechnology

de: Biologie

uk: Біологія

en: Biology

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

description:
Why has it been easier to develop a vaccine to eliminate polio than to control influenza or AIDS? Has there been natural selection for a 'language gene'? Why are there no animals with wheels? When does 'maximizing fitness' lead to evolutionary extinction? How are sex and parasites related? Why don't snakes eat grass? Why don't we have eyes in the back of our heads? How does modern genomics illustrate and challenge the field?

This course analyzes evolution from a computational, modeling, and engineering perspective. The course has extensive hands-on laboratory exercises in model-building and analyzing evolutionary data.

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


keywords:
Science
Biology
Genetics
Computation and Systems Biology

de: Mathematik, Naturwissenschaften

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

en: Mathematics, Natural Sciences

description: With the growing availability and lowering costs of genotyping and personal genome sequencing, the focus has shifted from the ability to obtain the sequence to the ability to make sense of the resulting information. This course is aimed at exploring the computational challenges associated with interpreting how sequence differences between individuals lead to phenotypic differences in gene expression, disease predisposition, or response to treatment.

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

name: Computational Personal Genomics: Making Sense of Complete Genomes


keywords:
Engineering
Computer Science
Systems Engineering
Electrical Engineering
Signal Processing
Computational Modeling and Simulation
Graphics and Visualization

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

de: Elektrotechnik und Informationstechnik

en: Electrical Engineering and Information Engineering

description:
Most algorithms in computer vision and image analysis can be understood in terms of two important components: a representation and a modeling/estimation algorithm. The representation defines what information is important about the objects and is used to describe them. The modeling techniques extract the information from images to instantiate the representation for the particular objects present in the scene. In this seminar, we will discuss popular representations (such as contours, level sets, deformation fields) and useful methods that allow us to extract and manipulate image information, including manifold fitting, markov random fields, expectation maximization, clustering and others.

For each concept -- a new representation or an estimation algorithm -- a lecture on the mathematical foundations of the concept will be followed by a discussion of two or three relevant research papers in computer vision, medical and biological imaging, that use the concept in different ways. We will aim to understand the fundamental techniques and to recognize situations in which these techniques promise to improve the quality of the analysis.

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

name: Representation and Modeling for Image Analysis


keywords:
Engineering
Computer Science
Programming Languages
Theory of Computation
Human-Computer Interfaces

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

description:
This course is broad, covering a wide range of topics that have to do with the post-pc era of computing. It is a hands-on project course that also includes some foundational subjects. Students will program iPAQ handheld computers, cell phones (series 60 phones), speech processing, vision, Cricket location systems, GPS, and more. Most of the programming will be using Python®, but Python® can be learned and mastered during the course.

This course was also taught as part of the Singapore-MIT Alliance (SMA) programme as course number SMA 5508 (Pervasive Computing).

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

name: Pervasive Human Centric Computing (SMA 5508)


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

description: This file contains the quiz questions for topics covered in the course.

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


Program Analysis

keywords:
Engineering
Computer Science
Software Design and Engineering
Algorithms and Data Structures

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

description: 6.883 is a graduate seminar that investigates a variety of program analysis techniques that address software engineering tasks. Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing, fault isolation (debugging), model inference, and visualization. While the course focuses on the design and implementation of programming tools, the material will be useful to anyone who wishes to improve his or her programming or understand the state of the art. Students are expected to read classic and current technical papers, actively participate in class discussion, perform small exercises that provide experience with a variety of tools, and complete a team research project.

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


Complex Digital Systems

keywords:
Engineering
Computer Science
Mathematics
Electrical Engineering
Computer Design and Engineering
Discrete Mathematics
Digital Systems

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

de: Mathematik

en: Mathematics

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

description: This course is offered to graduates and is a project-oriented course to teach new methodologies for designing multi-million-gate CMOS VLSI chips using high-level synthesis tools in conjunction with standard commercial EDA tools. The emphasis is on modular and robust designs, reusable modules, correctness by construction, architectural exploration, and meeting the area, timing, and power constraints within standard cell and FPGA frameworks.

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


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

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

description: This file contains problems on optimizing delay of a sign-extension circuit, optimizing delay of branch comparator, calculating minimum clock period, rule firing in bluespec and bluespec synthesis.

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


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

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

description: This file contains solutions to problems on optimizing delay of a sign-extension circuit, optimizing delay of branch comparator, calculating minimum clock period, rule firing in bluespec and bluespec synthesis.

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


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

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

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


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

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

description: This file contains list of topics to be covered in friday's quiz.

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


keywords:
Engineering
Computer Science
Mathematics
Computation
Algorithms and Data Structures
Theory of Computation

name: Lecture 17: Nondeterministic Constraint Logic

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

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

description: 6.890 Algorithmic Lower Bounds: Fun with Hardness Proofs is a class taking a practical approach to proving problems can't be solved efficiently (in polynomial time and assuming standard complexity-theoretic assumptions like P ≠ NP). The class focuses on reductions and techniques for proving problems are computationally hard for a variety of complexity classes. Along the way, the class will create many interesting gadgets, learn many hardness proof styles, explore the connection between games and computation, survey several important problems and complexity classes, and crush hopes and dreams (for fast optimal solutions).

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


Lecture 1: Overview

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

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

name: Algorithmic Lower Bounds: Fun with Hardness Proofs

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

de: Video

en: Video


Lecture 10: Inapproximabililty Overview

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

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

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


Lecture 11: Inapproximability Examples

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

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

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


Lecture 12: Gaps and PCP

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

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

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


Lecture 13: W Hierarchy

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

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

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


Lecture 14: ETH and Planar FPT

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

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

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


Lecture 15: #P and ASP

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

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

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


Lecture 16: NP and PSPACE Video Games

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

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

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


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

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

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


Lecture 18: 0- and 2-Player Games

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

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

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


Lecture 19: Unbounded Games

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

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

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


Lecture 2: 3-Partition I

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

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

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


Lecture 20: Undecidable and P-Complete

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

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

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


Lecture 21: 3SUM and APSP Hardness

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

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

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


Lecture 22: PPAD

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

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

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


Lecture 23: PPAD Reductions

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

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

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


Lecture 3: 3-Partition II

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

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

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


Lecture 4: SAT I

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

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

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


Lecture 5: SAT Reductions

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

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

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


Lecture 6: Circuit SAT

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

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

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


Lecture 7: Planar SAT

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

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

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


Lecture 8: Hamiltonicity

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

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

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


Lecture 9: Graph Problems

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

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

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


Computational Models of Discourse

keywords:
Engineering
Computer Science
Humanities
Artificial Intelligence
Linguistics
Theory of Computation

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

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

description:
This course is a graduate level introduction to automatic discourse processing. The emphasis will be on methods and models that have applicability to natural language and speech processing.

The class will cover the following topics: discourse structure, models of coherence and cohesion, plan recognition algorithms, and text segmentation. We will study symbolic as well as machine learning methods for discourse analysis. We will also discuss the use of these methods in a variety of applications ranging from dialogue systems to automatic essay writing.

This subject qualifies as an Artificial Intelligence and Applications concentration subject.

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


Essential Coding Theory

keywords:
Engineering
Computer Science
Algorithms and Data Structures
Theory of Computation

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

description:
This course introduces the theory of error-correcting codes to computer scientists. This theory, dating back to the works of Shannon and Hamming from the late 40's, overflows with theorems, techniques, and notions of interest to theoretical computer scientists. The course will focus on results of asymptotic and algorithmic significance. Principal topics include:

1.  Construction and existence results for error-correcting codes.
2.  Limitations on the combinatorial performance of error-correcting codes.
3.  Decoding algorithms.
4.  Applications in computer science.

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


Theory of Parallel Systems (SMA 5509)

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

description:
6.895 covers theoretical foundations of general-purpose parallel computing systems, from languages to architecture. The focus is on the algorithmic underpinnings of parallel systems. The topics for the class will vary depending on student interest, but will likely include multithreading, synchronization, race detection, load balancing, memory consistency, routing networks, message-routing algorithms, and VLSI layout theory. The class will emphasize randomized algorithms and probabilistic analysis, including high-probability arguments.

This course was also taught as part of the [Singapore-MIT Alliance](http://web.mit.edu/sma/) (SMA) programme as course number SMA 5509 (Theory of Parallel Systems).

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


Theory of Parallel Hardware (SMA 5511)

keywords:
Engineering
Computer Science
Algorithms and Data Structures
Theory of Computation
Computer Design and Engineering

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

description:
6.896 covers mathematical foundations of parallel hardware, from computer arithmetic to physical design, focusing on algorithmic underpinnings. Topics covered include: arithmetic circuits, parallel prefix, systolic arrays, retiming, clocking methodologies, boolean logic, sorting networks, interconnection networks, hypercubic networks, P-completeness, VLSI layout theory, reconfigurable wiring, fat-trees, and area-time complexity.

This course was also taught as part of the [Singapore-MIT Alliance](http://web.mit.edu/sma/) (SMA) programme as course number SMA 5511 (Theory of Parallel Hardware).

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


fsol.pdf

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

description: Exam and solutions.

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


Selected Topics in Cryptography

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

description: This course covers a number of advanced "selected topics" in the field of cryptography. The first part of the course tackles the foundational question of how to define security of cryptographic protocols in a way that is appropriate for modern computer networks, and how to construct protocols that satisfy these security definitions. For this purpose, the framework of "universally composable security" is studied and used. The second part of the course concentrates on the many challenges involved in building secure electronic voting systems, from both theoretical and practical points of view. In the third part, an introduction to cryptographic constructions based on bilinear pairings is given.

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


Inventions and Patents

keywords:
Entrepreneurship
Innovation
Social Science
Business
Legal Studies

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

de: Sozialwissenschaften/Soziologie

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

en: Social Sciences/Sociology

de: Rechts-, Wirtschafts- und Sozialwissenschaften

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

en: Law, Economics and Social Sciences

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

description:
This course explores the history of private and public rights in scientific discoveries and applied engineering, leading to the development of worldwide patent systems. The classes of invention protectable under the patent laws of the U.S., including the procedures in protecting inventions in the Patent Office and the courts will be examined. A review of past cases involving inventions and patents in:

1.  the chemical process industry and medical pharmaceutical, biological, and genetic-engineering fields;
2.  devices in the mechanical, ocean exploration, civil, and/or aeronautical fields;
3.  the electrical, computer, software, and electronic areas, including key radio, solid-state, computer and software inventions; and also
4.  software protection afforded under copyright laws.

Periodic joint real-time class sessions and discussions by video-audio Internet conferencing, with other universities will also be conducted.

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


keywords:
Engineering
Science
Computer Science
Humanities
Electrical Engineering
Linguistics
Signal Processing
Cognitive Science
Theory of Computation
Phonology

de: Geisteswissenschaften

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

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

de: Psychologie

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

description:
This course presents a tutorial on the ToBI (Tones and Break Indices) system, for labelling certain aspects of prosody in Mainstream American English (MAE-ToBI). The course is appropriate for undergrad or grad students with background in linguistics (phonology or phonetics), cognitive psychology (psycholinguistics), speech acoustics or music, who wish to learn about the prosody of speech, i.e. the intonation, rhythm, grouping and prominence patterns of spoken utterances, prosodic differences that signal meaning and phonetic implementation.

Please submit any feedback about the course content using the [user survey](https://goo.gl/forms/CNZKqMjP760O2t9x1).

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

en: no login required

name: Transcribing Prosodic Structure of Spoken Utterances with ToBI


Introduction to Copyright Law

keywords:
Social Science
Legal Studies

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

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

description: This course is an introduction to copyright law and American law in general. Topics covered include: structure of federal law; basics of legal research; legal citations; how to use LexisNexis®; the 1976 Copyright Act; copyright as applied to music, computers, broadcasting, and education; fair use; Napster®, Grokster®, and Peer-to-Peer file-sharing; Library Access to Music Project; The 1998 Digital Millennium Copyright Act; DVDs and encryption; software licensing; the GNU® General Public License and free software.

de: keine Anmeldung erforderlich

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


keywords:
Engineering
Innovation
Social Science
Public Administration
Business
Legal Studies
Science and Technology Policy

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

de: Verwaltungswissenschaften

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

en: Administrative Sciences

de: Ingenieurwissenschaften

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

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

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

description:
This course examines the role of the engineer as patent expert and as technical witness in court and patent interference and related proceedings. It discusses the rights and obligations of engineers in connection with educational institutions, government, and large and small businesses. It compares various manners of transplanting inventions into business operations, including development of New England and other U.S. electronics and biotechnology industries and their different types of institutions. The course also considers American systems of incentive to creativity apart from the patent laws in the atomic energy and space fields.

Acknowledgment
--------------

The instructors would like to thank Joanne Rines and Elijah Ercolino for their efforts in preparing this course.

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

name: Development of Inventions and Creative Ideas


keywords: Engineering Entrepreneurship Innovation Business

de: Betriebswirtschaftslehre

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

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

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

description: 6.933J / STS.420J provides an integrated approach to engineering practice in the real world. Students of 6.933J / STS.420J research the life cycle of a major engineering project, new technology, or startup company from multiple perspectives: technical, economic, political, and cultural. Research involves interviewing inventors, reading laboratory notebooks, evaluating patents, and looking over the shoulders of engineers as they developed today's technologies. This subject is for students who recognize that technical proficiency alone is only part of the formula for success in technology.

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

name: The Structure of Engineering Revolutions


keywords:
Engineering
Computer Science
Artificial Intelligence
Software Design and Engineering
Programming Languages

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

description:
This course covers concepts and techniques for the design and implementation of large software systems that can be adapted to uses not anticipated by the designer. Applications include compilers, computer-algebra systems, deductive systems, and some artificial intelligence applications. Topics include combinators, generic operations, pattern matching, pattern-directed invocation, rule systems, backtracking, dependencies, indeterminacy, memoization, constraint propagation, and incremental refinement. Substantial weekly programming assignments are an integral part of the subject.

There will be extensive programming assignments, using [MIT/GNU Scheme](http://www.gnu.org/software/mit-scheme/). Students should have significant programming experience in Scheme, Common Lisp, Haskell, CAML or some other "functional" language.

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

name: Adventures in Advanced Symbolic Programming


keywords:
Engineering
Mathematics
Systems Engineering
Computation
Systems Optimization
Algebra and Number Theory

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

description: This research-oriented course will focus on algebraic and computational techniques for optimization problems involving polynomial equations and inequalities with particular emphasis on the connections with semidefinite optimization. The course will develop in a parallel fashion several algebraic and numerical approaches to polynomial systems, with a view towards methods that simultaneously incorporate both elements. We will study both the complex and real cases, developing techniques of general applicability, and stressing convexity-based ideas, complexity results, and efficient implementations. Although we will use examples from several engineering areas, particular emphasis will be given to those arising from systems and control applications.

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

name: Algebraic Techniques and Semidefinite Optimization


Communication System Design

keywords:
Engineering
Computer Science
Systems Engineering
Electrical Engineering
Telecommunications
Computer Networks
Systems Design

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

description: This course presents a top-down approach to communications system design. The course will cover communication theory, algorithms and implementation architectures for essential blocks in modern physical-layer communication systems (coders and decoders, filters, multi-tone modulation, synchronization sub-systems). The course is hands-on, with a project component serving as a vehicle for study of different communication techniques, architectures and implementations. This year, the project is focused on WLAN transceivers. At the end of the course, students will have gone through the complete WLAN System-On-a-Chip design process, from communication theory, through algorithm and architecture all the way to the synthesized standard-cell RTL chip representation.

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


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

description: Supporting MATLAB? file for Exam 1.

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

de: Übung

en: Drill and Practice


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

en: Engineering Sciences

description: Exam on discrete multitone system design.

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


Organic Optoelectronics

keywords:
Engineering
Mechanical Engineering
Biological Engineering
Electrical Engineering
Nanotechnology
Biotechnology
Microtechnology

uk: Біотехнологія

de: Maschinenbau/Verfahrenstechnik

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

en: Mechanical Engineering / Process Engineering

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

description: The course examines optical and electronic processes in organic molecules and polymers that govern the behavior of practical organic optoelectronic devices. Electronic structure of a single organic molecule is used as a guide to the electronic behavior of organic aggregate structures. Emphasis is placed on the use of organic thin films in active organic devices including organic LEDs, solar cells, photodetectors, transistors, chemical sensors, memory cells, electrochromic devices, as well as xerography and organic non-linear optics. How to reach the ultimate miniaturization limit of molecular electronics and related nanoscale patterning techniques of organic materials will also be discussed. The class encompasses three laboratory sessions during which the students will practice the use of select vacuum and non-vacuum organic deposition techniques by making their own active organic devices.

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

de: Kurs


keywords:
Engineering
Science
Physics
Electronics
Electrical Engineering
Atomic, Molecular, Optical Physics
Quantum Mechanics
Electromagnetism

de: Physik

en: Physics

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

de: Physik, Astronomie

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

en: Physics, Astronomy

description: This course explores the fundamentals of optical and optoelectronic phenomena and devices based on classical and quantum properties of radiation and matter culminating in lasers and applications. Fundamentals include: Maxwell's electromagnetic waves, resonators and beams, classical ray optics and optical systems, quantum theory of light, matter and its interaction, classical and quantum noise, lasers and laser dynamics, continuous wave and short pulse generation, light modulation; examples from integrated optics and semiconductor optoelectronics and nonlinear optics.

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

name: Fundamentals of Photonics: Quantum Electronics


de: Mathematik, Naturwissenschaften

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

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

description: This resource contains problems on fabry-perot filter, abcd matrices, gaussian beams and resonators, and laser.

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


de: Elektrotechnik und Informationstechnik

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

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

description: This resource contains problems on susceptibility and absorption, pulse propagation, group and phase velocity, and reflection of em-waves at interfaces.

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


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

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

description: This resource contains problems on gaussian beams and resonators, coupled waveguide modes, and Polarization of Light.

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