Recent results in cryptography and interactive proofs. Lectures by instructor, invited speakers, …
Recent results in cryptography and interactive proofs. Lectures by instructor, invited speakers, and students. Alternate years. 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.
" This course covers concepts and techniques for the design and implementation …
" 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 and Labs are an integral part of the subject. There will be extensive programming Assignments and Labs, using MIT/GNU Scheme. Students should have significant programming experience in Scheme, Common Lisp, Haskell, CAML or some other "functional" language."
Boundary layers as rational approximations to the solutions of exact equations of …
Boundary layers as rational approximations to the solutions of exact equations of fluid motion. Physical parameters influencing laminar and turbulent aerodynamic flows and transition. Effects of compressibility, heat conduction, and frame rotation. Influence of boundary layers on outer potential flow and associated stall and drag mechanisms. Numerical solution techniques and exercises. The major focus of 16.13 is on boundary layers, and boundary layer theory subject to various flow assumptions, such as compressibility, turbulence, dimensionality, and heat transfer. Parameters influencing aerodynamic flows and transition and influence of boundary layers on outer potential flow are presented, along with associated stall and drag mechanisms. Numerical solution techniques and exercises are included.
Fundamentals of human performance, physiology, and life support impacting engineering design and …
Fundamentals of human performance, physiology, and life support impacting engineering design and aerospace systems. Topics include: effects of gravity on the muscle, skeletal, cardiovascular, and neurovestibular systems; human/pilot modeling and human/machine design; flight experiment design; and life support engineering for extravehicular activity (EVA). Case studies of current research are presented. Assignments include a design project, quantitative homework sets, and quizzes emphasizing engineering and systems aspects.
Classical dynamics beyond Unified Engineering. Application of vector kinematics to analyze the …
Classical dynamics beyond Unified Engineering. Application of vector kinematics to analyze the translation and rotation of rigid bodies. Formulation and solution of the equations of motion using both Newtonian and Lagrangian methods. Analytical and numerical solutions to rigid body dynamics problems. Applications to aircraft flight dynamics and spacecraft attitude dynamics.
This course meets weekly, to discuss a combination of aerospace history and …
This course meets weekly, to discuss a combination of aerospace history and current events, in order to understand how they are responsible for the state of the aerospace industry. With invited subject matter experts participating in nearly every session, students have an opportunity to hone their insight through truly informed discussion. The aim of the course is to prepare junior and senior level students for their first industry experiences. Deliverables include a journal and class participation.
This course studies the relations of affect to cognition and behavior, feeling …
This course studies the relations of affect to cognition and behavior, feeling to thinking and acting, and values to beliefs and practices. These connections will be considered at the psychological level of organization and in terms of their neurobiological and sociocultural counterparts.
Brief review of applied aerodynamics and modern approaches in aircraft stability and …
Brief review of applied aerodynamics and modern approaches in aircraft stability and control. Static stability and trim. Stability derivatives and characteristic longitudinal and lateral-directional motions. Physical effects of wing, fuselage, and tail on aircraft motion. Flight vehicle stabilization by classical and modern control techniques. Time and frequency domain analysis of control system performance. Human pilot models and pilot-in-the-loop control with applications. V/STOL stability, dynamics, and control during transition from hover to forward flight. Parameter sensitivity and handling quality analysis of aircraft through variable flight conditions. Brief discussion of motion at high angles-of-attack, roll coupling, and other nonlinear flight regimes.
16.885J offers an holistic view of the aircraft as a system, covering: …
16.885J offers an holistic view of the aircraft as a system, covering: basic systems engineering; cost and weight estimation; basic aircraft performance; safety and reliability; lifecycle topics; aircraft subsystems; risk analysis and management; and system realization. Small student teams retrospectively analyze an existing aircraft covering: key design drivers and decisions; aircraft attributes and subsystems; and operational experience. Oral and written versions of the case study are delivered. For the Fall 2005 term, the class focuses on a systems engineering analysis of the Space Shuttle. It offers study of both design and operations of the shuttle, with frequent lectures by outside experts. Students choose specific shuttle systems for detailed analysis and develop new subsystem designs using state of the art technology.
" This course provides an introduction to the language of schemes, properties …
" This course provides an introduction to the language of schemes, properties of morphisms, and sheaf cohomology. Together with 18.725 Algebraic Geometry, students gain an understanding of the basic notions and techniques of modern algebraic geometry."
This research-oriented course will focus on algebraic and computational techniques for optimization …
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.
This course is offered to undergraduates and addresses several algorithmic challenges in …
This course is offered to undergraduates and addresses several algorithmic challenges in computational biology. The principles of algorithmic design for biological datasets are studied and existing algorithms analyzed for application to real datasets. Topics covered include: biological sequence analysis, gene identification, regulatory motif discovery, genome assembly, genome duplication and rearrangements, evolutionary theory, clustering algorithms, and scale-free networks.
In-depth study of an active research topic in computer graphics. Topics change …
In-depth study of an active research topic in computer graphics. Topics change each term. Readings from the literature, student presentations, short assignments, and a programming project. 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.
This course will provide an overview of a new vision for Human-Computer …
This course will provide an overview of a new vision for Human-Computer Interaction (HCI) in which people are surrounded by intelligent and intuitive interfaces embedded in the everyday objects around them. It will focus on understanding enabling technologies and studying applications and experiments, and, to a lesser extent, it will address the socio-cultural impact. Students will read and discuss the most relevant articles in related areas: smart environments, smart networked objects, augmented and mixed realities, ubiquitous computing, pervasive computing, tangible computing, intelligent interfaces and wearable computing. Finally, they will be asked to come up with new ideas and start innovative projects in this area.
Explores the changing roles, ethical conflicts, and public perceptions of science and …
Explores the changing roles, ethical conflicts, and public perceptions of science and scientists in American society from World War II to the present. Studies specific historical episodes focusing on debates between scientists and the contextual factors influencing their opinions and decisions. Topics include the atomic bomb project, environmental controversies, the Challenger disaster, biomedical research, genetic engineering, (mis)use of human subjects, scientific misconduct and whistleblowing.
Continues 18.100, in the direction of manifolds and global analysis. Differentiable maps, …
Continues 18.100, in the direction of manifolds and global analysis. Differentiable maps, inverse and implicit function theorems, n-dimensional Riemann integral, change of variables in multiple integrals, manifolds, differential forms, n-dimensional version of Stokes' theorem. 18.901 helpful but not required.
A comprehensive introduction to control system synthesis in which the digital computer …
A comprehensive introduction to control system synthesis in which the digital computer plays a major role, reinforced with hands-on laboratory experience. Covers elements of real-time computer architecture; input-output interfaces and data converters; analysis and synthesis of sampled-data control systems using classical and modern (state-space) methods; analysis of trade-offs in control algorithms for computation speed and quantization effects. Laboratory projects emphasize practical digital servo interfacing and implementation problems with timing, noise, nonlinear devices.
Device and circuit level optimization of digital building blocks. MOS and bipolar …
Device and circuit level optimization of digital building blocks. MOS and bipolar device models and second order effects. Circuit design styles and arithmetic structures. Estimation and minimization of energy consumption. Interconnect models and parasitics; driver design; timing issues (clock skew, self-timed circuits, etc.). Memory architectures, circuits (sense amplifiers) and devices. Testing of integrated circuits. Extensive use of circuit layout and SPICE in design projects and software labs.
This course develops the fundamentals of feedback control using linear transfer function …
This course develops the fundamentals of feedback control using linear transfer function system models. Topics covered include analysis in time and frequency domains; design in the s-plane (root locus) and in the frequency domain (loop shaping); describing functions for stability of certain non-linear systems; extension to state variable systems and multivariable control with observers; discrete and digital hybrid systems and use of z-plane design. Students will complete an extended design case study. Students taking the graduate version (2.140) will attend the recitation sessions and complete additional assignments.
This class analyzes complex biological processes from the molecular, cellular, extracellular, and …
This class analyzes complex biological processes from the molecular, cellular, extracellular, and organ levels of hierarchy. Emphasis is placed on the basic biochemical and biophysical principles that govern these processes. Examples of processes to be studied include chemotaxis, the fixation of nitrogen into organic biological molecules, growth factor and hormone mediated signaling cascades, and signaling cascades leading to cell death in response to DNA damage. In each case, the availability of a resource, or the presence of a stimulus, results in some biochemical pathways being turned on while others are turned off. The course examines the dynamic aspects of these processes and details how biochemical mechanistic themes impinge on molecular/cellular/tissue/organ-level functions. Chemical and quantitative views of the interplay of multiple pathways as biological networks are emphasized. Student work will culminate in the preparation of a unique grant application in an area of biological networks.
No restrictions on your remixing, redistributing, or making derivative works. Give credit to the author, as required.
Your remixing, redistributing, or making derivatives works comes with some restrictions, including how it is shared.
Your redistributing comes with some restrictions. Do not remix or make derivative works.
Most restrictive license type. Prohibits most uses, sharing, and any changes.
Copyrighted materials, available under Fair Use and the TEACH Act for US-based educators, or other custom arrangements. Go to the resource provider to see their individual restrictions.