The Internet of Things (IoT) is a concept where every device, every sensor, is able to communicate with each other. The set of devices includes assets, instruments, persons, animals and any other ”thing” that we would like to interact with. One possibility to have all these devices talking to each other is to have them wirelessly connected using radio transceivers forming an heterogeneous network. This way devices, “things”, can communicate and transfer information among them. communication should be wireless.
Despite the fact that numerous works have been published and extensive discussion has been devoted to ad-hoc and mesh networks, and higher layer communications, there exists a significant lack of technology which can make the Internet of Things possible. This course addresses such emerging technology challenges, which include among others low power and integrated devices, energy harvesting, and high coverage range, and will be beneficial to students, engineers and researchers interested in this field.
January 26-29 Aveiro, Portugal
January 20, 2012, Friday, 16h15m.
Abstract: Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing. Joint work with Amílcar Sernadas and Cristina Sernadas.
Room: 3.10, Mathematics
Support: SQIG/Instituto de Telecomunicações with support from FCT and FEDER namely by the FCT project PEst-OE/EEI/LA0008/2011.