Abstract: The emergence of Internet of Things, and of Everything, is enabling network based integration pervade into all aspects of engineering and social systems.
Abstract: Improvisation is often described as "acting without preparation", with an element of randomness. Can an algorithm improvise? What does it mean for an algorithm to improvise?
Abstract: We consider undirected, connected graphs with nonnegative weights on the edges. Additionally, a special subset of vertices called terminals is provided as input.
Abstract: Epistemic logics are logics that attempt to model knowledge. In this talk, I will give an introduction to epistemic logic and focus on the logic S5, adding common knowledge and dynamic modalities.
Abstract: An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed.
