High resolution microscopy for better understanding of composite materials

Dr.  Noa Lachman

Department of Aeronautics and Astronautics, Massachusetts Institute of Technology (MIT)

You are invited to attend a lecture

By

Micha Feigin-Almon

MIT Media Lab
MIT Institute for medical engineering and science (IMES)

Time resolved computational imaging - from time-of-flight cameras to ultrasound tomography

Understanding the data formation models can allow us to extract meaningful scene information as well as correct for mistaken assumptions. In this talk I will look at two such cases, dealing with multi path interference and calibration issues with time-of-flight (ToF) cameras and sound speed recovery in ultrasound imaging.

Amplitude modulated continuous wave (AMCW) ToF range cameras operate by illuminating the scene with an amplitude modulated sinusoidal signal. Range is recovered by measuring the phase shift of the reflected signal, similar to a Michelson spectrograph. These types of cameras are sensitive to errors due to inter reflections in the scene (so called multi path) as well as errors in the illumination model. Using the non-linearity in the model along with frequency diversity, it is possible to deal with both these issues.

Similar to ToF, ultrasound imaging measures distance by measuring travel time. However, unlike the assumption of constant velocity of light when imaging in free space, the constant velocity assumption of sound fails when imaging inhomogeneous media such as the human body. Knowing background sound velocity is not only essential for being able to image by allowing focusing, research has shown that it also carries meaningful diagnostic information. Using synthetic aperture data, background scatterers along with scattering models allows us to correct for these errors and recover background sound velocity.

Thursday, December 31, 2015, at 15:00

Room 011, Kitot building

~~(The talk will be given in English)

Speaker:       Dr. Dana Fishman
                        Department of Computer and Information Science, University of Pennsylvania

Sunday, January 3rd, 2016
15:00 - 16:00
Room 011, Kitot Bldg., Faculty of Engineering

Towards Synthesis in Real Life

Abstract
System synthesis refers to the task of automatically generating an executable system from a high level specification of its behavior.  The basic idea is simple and appealing: instead of developing a system and then verifying that it adheres to its specification, we would like to have an automated procedure that, given a specification, constructs a system that is correct by construction. The first formulation of synthesis was given by Church back in the sixties, but the path to achieving it is strewn with difficulties. In this talk I will describe some of the challenges on the road to usable synthesis, a variety of current approaches for coping with them, and some success stories.

Short bio:
Dana Fisman is a research scientist at the University of Pennsylvania, the Associate Director of the NSF expedition ExCAPE about system synthesis, and a visiting fellow at Yale University. She did her PhD in Weizmann under the supervision of Amir Pnueli, and worked many years in the industry in IBM Haifa Research Labs, and in Synopsys Inc. Dana’s research interests are in the area of formal methods in system design. She is mostly known for her work on PSL, the IEEE standard for property specification language, on which she received numerous awards from IEEE, IBM and Synopsys.