We’ll meet in Grainger Library, room 329 (note that the room is different!)
Two talks will be given, by
Ali Belabbas, ECE,
and
Maxim Raginsky, ECE as well.


We’ll meet in Grainger Library, room 329 (note that the room is different!) Two talks will be given, by Ali Belabbas, ECE, and Maxim Raginsky, ECE as well. We’ll meet, as usual, in Grainger Library, room 335. Two talks will be given: Ely Kerman, Math, will describe a puzzling Morse theoretic phenomenon, and Thomas Anastasio, Beckman Institute, will tell us about Using Formal Methods from Computer Science to Simulate and Analyze Complex Neurobiological Processes Many conceptuallyoriented biologists and computational modelers would love to [...] The Mathematics of Software Reliability 11:00 am, Tuesday, March 12, 2013 in 269 Everitt Lab William Taber (Jet Propulsion Laboratory) Software controls your computer. It controls your phone, car, games, radio, television, microwave ovens, ATM, printer, and on and on. Indeed, it is nearly impossible to go through a day without interacting with software. And [...] Next installment of the seminar will take place, as usual, in Grainger Library, room 335. Two talks will be given: Harry Dankowicz, MSE, will talk on COCO – a computational toolbox for covering implicitly defined manifolds, The Matlabbased software platform COCO provides core and general purpose functionality for tracking solutions of nonlinear problems under [...] We will resume the seminar on Jan 16th, in Grainger Library, room 329 We start with two talks: Sayan Mitra, ECE, will talk on Verification of hybrid systems and networksThe aim of a verification algorithm is to either construct a proof of correctness or produce counterexamples demonstrating defects, in a given system model. A hybrid [...] At noon in Grainger Engineering Library, room 335 (third floor, middle of the building). This meeting of IMSE Seminar deals with dynamical systems: The speakers are Daniel Liberzon, ECE speaking on Almost Lyapunov functions, and Eugene Lerman, Math with a talk on Dynamics on Networks.
At noon in Grainger Engineering Library, room 335 This postelection edition will be dedicated to aggregation of preferences and topological social choice. The speakers are Anil Hirani, CS and Yuliy Baryshnikov, ECE/Math. Next seminar is on Nov. 28th, in Grainger Engineering Library: Daniel Liberzon and Eugene Lerman will speak. This time we will have two speakers, Hal Schenck, Math, and Tim Bretl, Aero/CSL The conference room is on the first floor of CSL building, South Wing. Next two seminars will take place on Nov. 7th and Nov. 28th, in Grainger Engineering Library. We will meet in 170 Everitt Lab at noon. The lineup: Iwan Duursma (Math), Olgica Milenkovic (ECE) and Luke Olson (CS). Tuesday, 4.17 Geometry Seminar 2:00 pm 243 Altgeld Hall. Matthew Wright (Huntington University) speaks on Hadwiger Integration and Applications: Quermassintegrals for data… Wednesday, 4.18 Decision, Control and Optimization Seminar 3:00pm, B02 CSL. Edgar Lobaton (North Carolina State University) talks about Constructing Robust Topological and Functional Image Descriptors ”topological descriptors that are invariant to bounded deformations…” [...] 

Copyright © 2020 IMSE  All Rights Reserved 