The Research Laboratory of Electronics (RLE), founded in 1946, is the Institute’s first interdisciplinary research laboratory. RLE grew out of the wartime MIT Radiation Laboratory and was formed to bring together physicists and electrical engineers to work on problems in electromagnetic radiation, circuits, and specialized vacuum tubes. Over the years, RLE’s research interests have branched in ...

Although on many occasions, especially at FM conferences, highlights of the use of Formal Methods in software development are presented, FM plays just a minor role in both the everyday work of software engineers as well as Computer Science and Software Engineering curricula. To me, one of the main reasons for the status quo is that mathematics education, as it is usually done today, does not en...

In this paper, we give a fundamental convexity preserving for spectral functions. Indeed, we investigate infimal convolution, Moreau envelope and proximal average for convex spectral functions, and show that this properties are inherited from the properties of its corresponding convex function. This results have many applications in Applied Mathematics such as semi-definite programmings and eng...

stem cell research has obtained much prominence in recent years for its therapeutic potential in dealing with serious diseases, many of which are essentially incurable by routine therapies. mesenchymal stem cells with pluripotency and immunomodulatory properties are suitable candidates for tissue engineering and regenerative medicine. today, nanofibrous scaffolds are widely used in tissue engin...