Dual bands cognitive radio systems: advanced sensing algorithms, and cooperative and cognitive radio resource management

Speaker: Van Tâm Nguyen, Telecom ParisTech Date: June 24th, 2013 Time: 15:00 Place: room 102, Faculty of Science Bldg. 7, Hongo Campus, The University of Tokyo Wireless technology is rapidly proliferating into all aspects of computing and communication. The explosion of wireless applications and new…

Formal methods for the inference of discrete and timing parameters in large-scale dynamic systems

Speaker: Morgan Magnin, École Centrale de Nantes Date: May 9th, 2013 Time: 14:00 Place: room 102, Faculty of Science Bldg. 7, Hongo Campus, The University of Tokyo Formal verification through model-checking have grown continuously over the past twenty years. While model-checking first targeted discrete-event systems,…

NII Shonan meeting on “Implicit Computational Complexity and applications: Resource control, security, real-number computation”

Implicit Computational Complexity and applications: Resource control, security, real-number computation   NII Shonan Meeting: @ Shonan Village Center, November 4-7, 2013   Organizers Akitoshi Kawamura, The University of Tokyo, Japan Jean-Yves Marion, Lorraine University, France David Nowak, JFLI, CNRS & The University of Tokyo,…