Workshop on Quantum Telecommunications (15-05-2013)
Workshop on Quantum Telecommunications, 15-17 May 2013, Lisbon
The Workshop on Quantum Telecommunications will be held on 15-17 May 2013, in Lisbon, and aims at disseminating the latest theoretical and experimental results in quantum telecommunications, quantum information and quantum cryptography, in an informal setting, with plenty of time for discussions. The number of participants is limited.
For more information and registration, please see:
http://www.qtworkshop.org/
URL: http://www.qtworkshop.org/
WPTC 2012 (15-05-2013)
Since 2010, after Qi standard of an inductive coupling wireless power transmission was established, WPT related technologies experienced a great growth: wireless charging products of a mobile phone with Qi standard are manufactured and sold in US and Japan in 2011. Some car manufacturers have started to invest in the resonant coupling WPT in 2011. In Japan, a commercial rectenna, rectifying antenna for a receiver of microwave power transmission, is produced in 2011. A new technical committee (TC), MTT‐26, for the field of wireless energy/power transmission, energy harvesting/conversion to wireless transfer and the related technologies was officially launched in June MTT ADCOM/TCC meeting during Microwave Week 2011 at Baltimore. The second IEEE MTT‐S International Microwave Workshop Series (IMWS) on Innovative Wireless Power Transmission: Technologies, Systems, and Applications (IMWS‐IWPT2012) was successfully finished with 60 technical papers presented and 138 attendees at Kyoto, Japan, in May 2012.
As a result of this success and interest, IEEE‐MTT Society decided to transform this event in a permanent conference representative of MTT scientific community activity in the field. 2013 event, still stimulated and supported by TC‐MTT‐26 and endorsed by TC‐MTT‐24 (RFID‐Technologies), will be held for the first time in Europe, with the name: Wireless Power Transfer Conference (WPTC), hosted by the University of Perugia, Italy.
URL: http://www.ieee-wptc2013.unipg.it/
Seminar - Implementation of quantum logic gates by electron scattering in graphene nanoribbons (07-05-2013)
Guillermo Cordourier-Maruri, University College London
07/05/2013, 15:00
Joint seminar with CFIF. Please note exceptional day. Room to be confirmed. * * *
To create a useful quantum information process we always have to deal with the demons of decoherence and a highly demanding control. An answer to reduce the control needed in the qubits interaction is the use of scattering of one flying qubit with a static qubit. In a solid state scenario, the experimental development of quantum electron optics allows to manipulate the path of just one electron in a ballistic regime. In this way, the flying qubit can be implemented with a ballistic electron spin, and the static one with a magnetic impurity or a quantum dot spin. In this talk we discuss the very interesting advantages and the different disadvantages of this proposal. Then we show how the extraordinary properties of graphene, in particular the Klein tunnelling, could overcome this problems and help to implement low-error two-qubit logic gates.
Quantum Computation and Information Seminar
http://www.math.ist.utl.pt/seminars/qci/?action=next
Support: Phys-Info (IT), SQIG (IT), CFIF and CAMGSD, with support from FCT, FEDER and EU FP7, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel, PEst-OE/EEI/LA0008/2011 and Landauer (GA 318287).
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Seminar - Improving classical authentication over a quantum channel (03-05-2013)
Paulo Mateus, SQIG - IT / IST - UTL
May 3, 2013, Friday, 16h15m.
Abstract: We introduce a quantum protocol to authenticate classical messages that can be used to replace Wegman-Carter's classical authentication scheme in quantum key distribution (QKD) protocols. We show that the proposed scheme achieves greater conditional entropy of the seed for the intruder given her (quantum) observation than the classical case. Our protocol is an improvement over a classical scheme by Brassard, taking advantage of quantum channel properties. It is motivated by information-theoretical results. However by adopting it, QKD becomes a fully quantum protocol. We prove that quantum resources can improve both the secrecy of the key generated by the PRG and the secrecy of the tag obtained with a hidden hash function. We conclude that the proposed quantum encoding offers more security than the classical scheme and, by applying a classical result, we show that it can be used under noisy quantum channels. Joint work with F. Assis, A. Stojanovic and Y. Omar.
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.
URL: http://www.math.ist.utl.pt/seminars/clc/
Talk - Opportunities at the interface between quantum (nano) physics and biology (18-04-2013)
Alipasha Vaziri, University of Vienna
18/04/2013, 15:00 Room P3.10, Mathematics Building, IST.
In this talk I will present and discuss a few recent biophysics methodologies that have opened up the way to study a series of new biological questions ranging to single molecule studies to control of read out of neuronal network activity. The topics will include amongst others such-super resolution microscopy, single molecule techniques and optogenetics. I will introduce the basics of the methods followed by case examples of their application in specific biological or biophysical questions. In addition I will point out to a few recent developments a physics based approach to biological questions has led to the discovery of new principles that are now leading to the new field of quantum biology, where non-trivial quantum effects such as quantum coherence are thought to be generated through dynamic interactions with relevance for biological function.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Seminar - Kolmogorov one-way functions (12-04-2013)
André Souto, SQIG - Instituto de Telecomunicações
April 12, 2013, Friday, 16h15m.
Abstract: We prove several results relating injective one-way functions, timebounded conditional Kolmogorov complexity, and time-bounded conditional entropy. The idea is to use an expected value approach of the time-bounded Kolmogorov complexity. We prove a separation result: based on the concept of time-bounded Kolmogorov complexity, we find an interval in which every function f is a necessarily weak but not a strong one-way function. We propose an individual approach to injective one-way functions based on Kolmogorov complexity, defining Kolmogorov one-way functions and prove some relationships between the new proposal and the classical definition of one-way functions. We explore how Kolmogorov one-way functions are related with the conjecture of polynomial time symmetry of information. Finally, we relate our definitions and results with two forms of time-bounded entropy. Work based on: L. Antunes, A. Matos, A. Pinto, A. Souto and A. Teixeira, One-Way Functions Using Algorithmic and Classical Information Theories, Theory of Computing Systems, 52(1):162-178 Springer Verlag, 2013.
URL: http://www.math.ist.utl.pt/seminars/clc/
Seminar - The road towards packet optical transport networks (09-04-2013)
Dia 9 Abril, terça-feira das 14h30m às 17h30m.
Local: ISCTE-IUL, auditório B.203.
URL: http://www.optical-networks.iscte-iul.pt
International Workshop on Biometrics and Forensics 2013 (04-04-2013)
The International Workshop on Biometrics and Forensics (IWBF) is organized by COST Action IC1106, "Integrating Biometrics and Forensics for the Digital Age". It is an international forum devoted specifically to the development of synergies between the biometrics recognition and forensic science research areas. IWBF provides the meeting place for those concerned with the usage of biometric recognition systems in forensic science applications, attracting participants from industry, research, academia and users.
URL: http://www.img.lx.it.pt/iwbf2013
Talk - Satisfiability of exogenous temporal logics and its applications on planning (22-03-2013)
Manuel Biscaia, SQIG - Instituto de Telecomunicações
March 22, 2013, Friday, 16h15m.
Abstract: Dealing with uncertainty in the context of planning is a natural research subject in Artificial Intelligence. Many of the techniques used capitalize upon the existence of very efficient SAT-solvers for propositional logic. We propose a temporal extension of a probabilistic logic, which on one hand allows us to deal with quantities/probabilities, and on the other hand allows us to simplify the temporal aspect of planning. We present an algorithm for deciding the satisfiability problem for this logic, presenting also a complete Hilbert calculus for it. The algorithm is intended to profit from the fast advances occurring in LTL SAT-solvers. We will then check some of the limitations of our logic regarding specification of properties, discussing some important open problems in Markov chains.
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.
URL: http://www.math.ist.utl.pt/seminars/clc/
Non Truth-Functional Semantics (08-03-2013)
J.-Y. Béziau, UFRJ - Brazil
March 8, 2013, Friday, 16h15m.
Abstract: After giving a general view of truth-functionality and different kinds of semantics, I will present various non truth functional semantics, bivalent as well as many-valued, explaining the advantages and disadvantages of such techniques.
Funded by the Brazilian Research Council and the GeTFun project (Marie Curie – European Commission).
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.
URL: http://www.math.ist.utl.pt/seminars/clc/
Seminar - Improving Fiber Optics Communication Systems using Single-Photons (14-02-2013)
Armando Nolasco Pinto, University of Aveiro & Instituto de Telecomunicações
14/02/2013, 15:00 Room P3.10, Mathematics Building, IST.
The ability to generate, manipulate, transmit and detect single-photons can open new routes that can trigger a complete new generation of optical communication systems. We show that quantum technologies can indeed address two of the more challenging problems that communication engineers face nowadays: capacity and security. We discuss critical issues in the implementation of quantum communication systems over installed optical fibers. We use stimulated four-wave mixing to generate single photons inside optical fibers, and by tuning the separation between the pump and the signal we adjust the average number of photons per pulse. We report measurements of the source statistics and show that it goes from a thermal to Poisson distribution with the increase of the pump power. We generate entangled photons pairs through spontaneous four-wave mixing. We present optimum configurations to increase the degree of entanglement. We discuss the impact of polarization rotation, attenuation and Raman scattering. We encode information in the photons polarization and discuss control methods to compensate for polarization random rotation during propagation. We discuss the implementation of single-photons systems in installed standard single-mode fibers.
Quantum Computation and Information Seminar
http://www.math.ist.utl.pt/seminars/qci/?action=next
Support: CAMGSD, CFIF, CFP and SQIG/IT with support from FCT and FEDER, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel and PEst-OE/EEI/LA0008/2011.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Algebraic Kripke frames (25-01-2013)
Manuel Martins, U Aveiro
January 25, 2013, Friday, 16h15m.
Abstract: Reconfigurable systems behave differently in different modes of operation and commute between them along their lifetime. Such different behaviours can be modelled by imposing some sort of structure upon states in a transition system expressing the overall system's dynamics. We take this approach by endowing states in standard Kripke frames with algebras, each of them modelling a local configuration. An equational hybrid logic, admitting infinitary formulae, is proposed to express a broad range of properties of those structures, including liveness requirements. The paper also develops a number of preliminary results on its semantics, including a discussion of a suitable notion of bisimulation by generalizing standard invariance results to this broad setting. The talk reports on ongoing joint work with Luís S. Barbosa and A. Madeira.
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.
http://www.math.ist.utl.pt/seminars/clc/
URL: http://www.math.ist.utl.pt/seminars/clc/
Seminar - Quantum simulations as our quantum theater (14-12-2012)
Enrique Solano, Universidad del Pais Vasco
14/12/2012, 15:00 Room P4.35, Mathematics Building, IST.
I will discuss the relevance of quantum simulations for reproducing different aspects of quantum physics: nonrelativistic and relativistic quantum dynamics, physical and unphysical quantum operations, as well as strong and ultrastrong light-matter couplings. I will give examples in the context of trapped-ion and circuit QED technologies.
Quantum Computation and Information Seminar
http://www.math.ist.utl.pt/seminars/qci/?action=next
Support: CAMGSD, CFIF, CFP and SQIG/IT with support from FCT and FEDER, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel and PEst-OE/EEI/LA0008/2011.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Quantum authentication for quantum key distribution (07-12-2012)
Aleksandar Stojanovic, SQIG-IT
07/12/2012, 15:00 Room P5.18, Mathematics Building, IST.
In this talk I am going to present an approach based on the Wyner information-theoretical model. This model assumes that there is no preshared secret key. The main idea is that quantum resources can improve simultaneously the secrecy of the key generated by a pseudo-random number generator and the secrecy of the tag obtained with a hidden hash function (integrity control). As a result, quantum key distribution (QKD) becomes a fully quantum protocol. Most of my presentation is based on the article ‘‘Improving classical authentication over a quantum channel’’ (joint with F .M. Assis, P. Mateus and Y. Omar). This work solves the problem of quantum authentication of classical messages. The methodology that has been used is based on the no-cloning theorem and single-qubit transfer. One of the most important results of the paper is proposing an optimal authentication scheme for QKD that includes almost-fair random number generation (the result is hardware-independent).
Quantum Computation and Information Seminar
http://www.math.ist.utl.pt/seminars/qci/?action=next
Support: CAMGSD, CFIF, CFP and SQIG/IT with support from FCT and FEDER, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel and PEst-OE/EEI/LA0008/2011.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Topological Quantum Information, Khovanov Homology and the Jones Polynomial (30-11-2012)
Louis Kauffman (guest of CAMGSD), University of Illinois at Chicago
30/11/2012, 15:00 Room P4.35, Mathematics Building, IST.
Topological Quantum Information, Khovanov Homology and the Jones Polynomial
In this talk we give a quantum statistical interpretation for the bracket polynomial state sum K and for the Jones polynomial. We use this quantum mechanical interpretation to give a new quantum algorithm for computing the Jones polynomial. This algorithm is useful for its conceptual simplicity, and it applies to all values of the polynomial variable that lie on the unit circle in the complex plane. Letting C(K) denote the Hilbert space for this model, there is a natural unitary transformation U from C(K) to itself such that K=tr(U). The quantum algorithm arises directly from this formula via the Hadamard Test. We then show that the framework for our quantum model for the bracket polynomial is a natural setting for Khovanov homology. The Hilbert space C(K) of our model has basis in one-to-one correspondence with the enhanced states of the bracket state summmation and is isomorphic with the chain complex for Khovanov homology with coefficients in the complex numbers. We show that for the Khovanov boundary operator d defined on C(K) we have the relationship dU+Ud=0. Consequently, the unitary operator U acts on the Khovanov homology, and we therefore obtain a direct relationship between Khovanov homology and this quantum algorithm for the Jones polynomial. The formula for the Jones polynomial as a graded Euler characteristic is now expressed in terms of the eigenvalues of U and the Euler characteristics of the eigenspaces of U in the homology. The quantum algorithm given here is inefficient, and so it remains an open problem to determine better quantum algorithms that involve both the Jones polynomial and the Khovanov homology.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
On two-dimensional products of modal logics (23-11-2012)
Sérgio Marcelino, SQIG-IT
November 23, 2012, Friday, 16h15m.
Abstract: Products of Kripke frames are natural relational structures for modelling the interaction between different modal operators, representing notions such as time, space, knowledge, actions. The product construction shows up in various disguises in many logical formalisms, such as algebras of relations in algebraic logic, finite variable fragments of classical, intuitionistic and modal predicate logics, temporal-epistemic logics, dynamic topological logics, modal and temporal description logic.
It is known that n-products of modal logics have in general a very complex behaviour for n>2. For example, every logic between K×K×K and S5×S5×S5 is non finitely axiomatisable, and both its satisfiability and its finite-frame problem are undecidable. However, no such examples were known in the n=2 case. On the contrary, a big class of binary products of modal logics is known to be finitely axiomatisable, every 2-product of two Horn axiomatisable logics is in this class.
In this talk I will present some recent contributions to the understanding of this construction. In [1] the first examples of two-dimensional products of finitely axiomatisable modal logics that are not finitely axiomatisable were presented. If a modal logic L is finitely axiomatisable, then it is of course decidable whether a finite frame is a frame for L: one just has to check the finitely many axioms in it. If L is not finitely axiomatisable, then this might not be the case. In [2], is shown that the finite frame problem for the modal product logic K4.3×S5 is decidable. K4.3×S5 is outside the scope of both the known finite axiomatisation results, and the non-finite axiomatisability results of [1]. So, it is not known whether K4.3×S5 is finitely axiomatisable. We will discuss whether this result bring us any closer to either proving non-finite axiomatisability of K4.3×S5, or finding an explicit, possibly infinite, axiomatisation of it.
[1] A. Kurucz and S. Marcelino: Non-finitely axiomatisable two-dimensional modal logics, Journal of Symbolic Logic, vol. 77 (2012).
[2] A. Kurucz and S. Marcelino: Finite frames for K4.3×S5 are decidable, Advances in Modal Logic, Volume 9, College Publications (2012).
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.
URL: http://www.math.ist.utl.pt/seminars/clc/
Seminar - Manipulating Individual Quantum Systems: The Nobel Prize for Physics 2012 (13-11-2012)
Manipulating Individual Quantum Systems: The Nobel Prize for Physics 2012
by Yasser Omar, ISEG-UTL and IT
14:00, Tuesday 13.11.2012
ROOM B3-01, Instituto de Investigação Interdisciplinar, Av. Prof. Gama Pinto, 2, P-1649-003 Lisboa
In this talk I will review the discoveries by Dave Wineland and Serge Haroche (winners of the Nobel Prize in Physics 2012) that led to the hability to measure and control individual ions and photons, respectively. Furthermore, I will discuss how these discoveries allow us to investigate the quantum-classical border, including the decoherence of Schrödinger’s cat, as well as devise ways to build a quantum computer, a major research challenge nowadays.
URL: http://cftc.cii.fc.ul.pt/.
Classic-like cut-based tableau systems for finite-valued logics (09-11-2012)
Carlos Caleiro, IST-UTL / SQIG-IT
November 9, 2012, Friday, 16h15m.
Abstract: A general procedure is presented for producing classic-like cut-based tableau systems for finite-valued logics. In such systems, cut is the only branching rule, and formulas are accompanied by signs acting as syntactic proxies for the two classical truth-values. The systems produced are guaranteed to be sound, complete and analytic, and they are also seen to polynomially simulate the truth-table method, thus extending known results about classical logic. Lukasiewicz's 3-valued logic is used throughout as a simple illustrative example. Joint work with M. Volpe and J. Marcos.
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.
URL: http://www.math.ist.utl.pt/seminars/clc/
Workshop “4Green Communications” (07-11-2012)
ISCTE-IUL
The workshop “4Green Communications” presents recent advances in green communications and networking for 4G mobile networks. Green Communications not only provide the emission reduction and energy savings in Information and Communication Technology (ICT) products and services, but also enable low Greenhouse Gas (GHG) emissions in other industries, such as electric power. The workshop considers the manufacturer industry and operators actions to make cellular networks more energy efficient.
In the 4Green Communications workshop will be identified technological and architectural solutions for future mobile communications networks that can provide a substantial improvement in energy efficiency. The process of researching, developing, and designing solutions for this goal requires us to anticipate needs of future communication networks – including their applications, traffic, services, and some metrics by which they will be judged.
The Workshop will focus on the inter-disciplinary research challenges associated with several aspects related to green communications of mobile networks. The full day workshop, - 7th November 2012, ISCTE-IUL, Lisbon - , aims to bring together academic, industrial (manufacturers and operators) and regulator perspectives and thinking to highlight the key technologies and solutions behind the 4G recent advances in green communications and networking for 4G mobile networks and systems.
URL: http://4greencommunications.dcti.iscte.pt/
Seminar - On the origin of (statistical) temperature in quantum Universe (23-10-2012)
Vladimír Buzek, Slovak Academy of Sciences
23/10/2012, 11:00 Room P3.10(to be confirmed), Post-Graduation Building, IST.
In my talk we will show that within a non-relativistic quantum-mechanical model of a Universe (the q-Universe) the statistical temperature emerges as a consequence of quantum entanglement. In particular, I will model the q-Universe as a system of interacting spin-1/2 particles described by a specific Hamiltonian (e.g. the Ising Hamiltonian). The q-Universe is assumed to be in a pure state of its Hamiltonian. I will show that any (almost) sub-system of the q-Universe is in a mixed state described by a density operator such that probabilities of outcomes of measurements in the energy eigenbasis of the sub-system can be very well approximated by the Boltzmann distribution.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Talk - The Future of Broadcast TV: The Age of Convergence (23-10-2012)
ISCTE-IUL, 23 de Outubro de 2012, 17H30 Clube ISCTE
Neste encontro serão debatidos, por um painel de especialistas na área das comunicações multimédia, as tendências e perspectivas de evolução dos serviços de difusão de televisão.
Os tópicos abordados passarão pela evolução tecnológica e a importância da qualidade de experiência do utilizador na aceitação/evolução dos futuros serviços de difusão de televisão, o impacto das redes socias e do conceito de “Connected Users” nos modelos de negócio da televisão, o papel dos “novos” consumidores e dos futuros operadores de TV, bem como os aspectos de regulação deste mercado.
A participação no encontro é gratuita mas carece de inscrição
URL: http://jornal40.iscte-iul.pt/node/134.
Seminar - Quantum simulation with optical lattices (04-10-2012)
This seminar will be about quantum simulation with dressed optical lattices. I will first define and motivate the concept of quantum simulation and present some of the first theoretical proposals and experimental realizations of quantum simulators. I will move on to give an introduction to the physics of optical lattices and state-dependent optical lattices. Then, I will present some of the quantum simulator proposals we have put forth using this technology.
Octavi Boada
U Barcelona
04/10/2012, 11:00
Room P3.10, Mathematics Building
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Cut-elimination, truth-functionality, compositionality and analyticity (14-09-2012)
Jean-Yves Béziau, UFRJ - Brazil
September 14, 2012, Friday, 16h15m.
Classical cut-elimination means that a cut-free proof depends only on subformulas. But we also may have cut-free proofs depending on more than subformulas. Moreover cut-elimination does not mean that we have truth-functionality or compositionality. In this talk we will explain these distinctions and give many examples.
Room: 3.10, Mathematics
URL: http://www.math.ist.utl.pt/seminars/clc/
V Seminar in Multi-Gigabit Optical Networks - September 14, 2012 (14-09-2012)
All-Optical Signal Processing and Quantum Communications in Special Optical Fibers
Instituto de Telecomunicações - Aveiro - Portugal
Scope: This seminar will be devoted to nonlinear and quantum effects in special optical fibers. With the presence of speakers from different Universities and Research Institutes, it aims to provide cutting-edge research presentations for researchers and graduate students.
Registration: This seminar is free, however, registration is required. To register, please, contact Sandra Corujo.
E-Mail: sandra@av.it.pt - Phone: 234 377 900
URL: http://www.it.pt/files/V_MultiGigabit.pdf
Statistical Model Checking for Markov Decision Processes (07-09-2012)
David Henriques, SQIG-Instituto de Telecomunicações
September 7, 2012, Friday, 16h15m.
Statistical Model Checking (SMC) is a computationally very efficient verification technique based on selective system sampling. One well identified shortcoming of SMC is that, unlike probabilistic model checking, it cannot be applied to systems featuring nondeterminism, such as Markov Decision Processes (MDP). We address this limitation by developing an algorithm that uses multiple rounds of sampling and Reinforcement Learning to provably improve resolutions of nondeterminism with respect to satisfying a Bounded Linear Temporal Logic (BLTL) property. Extensive validation with both new and established benchmarks demonstrates that the approach scales very well in scenarios where symbolic algorithms fail to do so.A Mobile Ad-hoc Network has limited and scarce resources and thus routing protocols in such environment must be kept as simple as possible.
URL: http://www.math.ist.utl.pt/seminars/clc/
Simple Ant Routing Algorithm (SARA): A routing protocol for mobile ad hoc networks (27-07-2012)
Fernando Ribeiro Correia, Escola Naval
July 27, 2012, Friday, 16h15m.
Abstract: A Mobile Ad-hoc Network has limited and scarce resources and thus routing protocols in such environment must be kept as simple as possible.
The Simple Ant Routing Algorithm (SARA) offers a low overhead solution, by optimizing the routing process. Three complementary strategies were used in our approach. During the route discovery, was used a new broadcast mechanism, called the Controlled Neighbor Broadcast (CNB), in which each node broadcasts a control message (Forward ANT - FANT) to its neighbors, but only one of them broadcast this message again. During the route maintenance phase, we further reduce the overhead, by only using data packets to refresh the paths of active sessions. Finally, the route repair phase is also enhanced, by using a deep search procedure called Deep Search Area (DSA), as a way of restricting the number of nodes used to recover a route. Thus, instead of discovering a new path from the source to the destination, it is tried the discovery of a new path between the two end-nodes of the broken link. A broadest search is only executed when the deeper one fails to succeed. This procedure allows to recover part of the original route and create a network of alternative routes around the area where was detected the broken link.
SARA was simulated and tuned to present a optimal performance. Was also compared it with the classical approach of AODV and other biological routing approaches. The results achieved show that SARA offers the smallest overhead of all the protocols under evaluation and presents an overhead reduction of almost 25% of the value achieved by the other proposals. SARA also presents the best goodput, specially for TCP traffic, but it needs more time to discover the routes.
Through the study performed, it was also developed two extensions, written as generic as possible, to be implemented in different routing protocols. The proposed extensions allow in a simple way identify traffic flow variations and differentiate between temporary and permanent broken links, through the analysis of the link behavior historic.
Room: 3.10, Mathematics
URL: http://www.math.ist.utl.pt/seminars/clc/
Non-computability and financial markets (20-07-2012)
Daniel Graça, U Algarve / SQIG-Instituto de Telecomunicações
July 20, 2012, Friday, 16h15m.
In this talk we will explore the valuation problem: given an asset, how much is it worth? Although financial theory has provided solutions to this problem (which will be surveyed on the talk) in practice the “fair” value of an asset is hard to calculate. Some explanations to this hardness include speculative, non-rational behavior of markets, lack of data, or uncertainty about the future. We will show that, in addition to the previous factors, inherent non-computable behavior may also contribute to the difficulties found when trying to valuate an asset. More concretely, we will show using the models of Financial Theory, that even in rational markets with complete knowledge (present or future) of all data affecting the price of the asset, the valuation problem is not computable.
URL: http://www.math.ist.utl.pt/seminars/clc/
Second Lisbon Machine Learning School (LxMLS 2012) (19-07-2012)
LxMLS 2012 will take place in July 19-25, at Instituto Superior Técnico, a leading Engineering and Science school in Portugal. It is organized jointly by IST, the Instituto de Telecomunicações, and the Spoken Language Systems Lab - L2F of INESC-ID.
In our second year, the topic of the school is Taming the Social Web.
The school covers a range of machine learning (ML) Topics, from theory to practice, that are important in solving natural language processing (NLP) problems that arise in the analysis and use of Web data.
Our target audience includes: researchers and graduate students in the fields of NLP and
Computational Linguistics; computer scientists who have interests in statistics and machine learning; industry practitioners who desire a more in depth understanding of these subjects.
URL: http://lxmls.it.pt
Ciência Viva no Laboratório - Ocupação Científica de Jovens nas Férias - 2-6 Julho 2012 (02-07-2012)
Introdução às Telecomunicações (INTELE)
Curso organizado pelo Instituto de Telecomunicações (IT) e pela Àrea Científica de Telecomunicações (ACTele) Departamento de Engenharia Eléctrotécnica e de Computadores (DEEC) Instituto Superior Técnico
URL: http://www.cienciaviva.pt/estagios/jovens/ocjf2012/inscricao.asp?accao=pesquisa&pesq=IT+-+Lisboa
Cooperative communications with confidential messages (26-06-2012)
Tuesday, June 26, 11:00am - 12:00pm
I -105, FEUP
Information-theoretic secrecy, is a promising theoretical framework for the future multiterminal communication systems since it uses the ability of the physical layer to provide security of the transmitted data. In this lecture, I will describe few examples on how cooperation can increase the secrecy capacity in a decentralized wireless network.
Our investigations show some improvement possibilities, if instead of acting individually, nodes are ''encouraged'' to cooperate.
URL: www.it.pt
The Power Challenges of Mega-Science Infrastructures: the example of SKA (20-06-2012)
Venue: Moura - Portugal and Sevilla, Spain
20th-21st June
Rationale
All future major science infrastructures will consider their carbon footprint into the respective development path and lifetimes. The Square Kilometer Array (SKA), an international continental sized ICT machine to be built in the Southern Hemisphere in high irradiance zones (Australia and/or South Africa) presents an ideal scenario to aggregate renewable energy know-how and become a major Green Infrastructure during its lifetime. SKA may set an example for self-sustainable mega-science production and infrastructure operation as was recognized by the COST 2010 action ''Benefits of Research Infrastructures beyond Science'', with an expected direct economic and indirect societal impacts. Additionaly, the Roadmap of the European Strategy Forum on Research Infrastructures (ESFRI) has indicated that a multitude of test facilities and Research Infrastructures are paramount to lead the world in the efficient use of energy, in promoting new and renewable forms of energy, and in the development of low carbon emission technologies, as part of a Strategic Energy Technology Plan (SET-Plan) adopted by the European Union.
Current energy consumption projections for SKA and recent experiences from pathfinders and precursors (LOFAR, ASKAP, Meerkat) reveal that an important part of the life cycle cost of these large scale radio astronomy projects will be power. Energy transport infrastructure and generation to supply the electronics and the associated cooling are key factors. This last aspect has a direct impact on the system sensitivity, since any potential power caps would limit performance of frontend Low Noise Amplifiers.
To foster discussions between scientists and power engineers, the social program will include visits to major Power plants at top Iberian installations producing solar power (photovoltaic and thermal) on the Portuguese and Spanish sides of the common border. This region is the most illuminated region of Europe, counting with several large scale examples of solar energy exploitation.
Facilities in the area will be organized and available by bus. Therefore, for logistic reasons, the workshop will be limited to 45 participants.
URL: http://www.av.it.pt/workshops/pcska/index.html
Automated Verification of Equivalence Properties of Cryptographic Protocols (15-06-2012)
Rohit Chadha, INRIA and ENS-Cachan
Indistinguishability properties are essential in formal verification of cryptographic protocols. They are needed to model anonymity properties, strong versions of confidentiality and resistance to offline guessing attacks, and can be conveniently modeled using process equivalences. We present a novel procedure to verify equivalence properties for bounded number of sessions. Our procedure is able to verify trace equivalence for determinate cryptographic protocols. On determinate protocols, trace equivalence coincides with observational equivalence which can therefore be automatically verified for such processes. When protocols are not determinate our procedure can be used for both under- and over-approximations of trace equivalence, which proved successful on examples. The procedure can handle a large set of cryptographic primitives, namely those which can be modeled by an optimally reducing convergent rewrite system. Although, we were unable to prove its termination, it has been implemented in a prototype tool and has been effectively tested on examples, some of which were outside the scope of existing tools.
15/06/2012, 16:15 — Room P3.10, Mathematics Building
URL: http://sem.math.ist.utl.pt/infosec/
A characterization of computable analysis on unbounded domains using differential equations (01-06-2012)
Manuel Campagnolo, ISA - TU Lisbon / SQIG - IT
June 1, 2012, Friday, 16h15m.
Abstract: The functions of computable analysis are defined by enhancing normal Turing machines to deal with real number inputs. One can consider characterizations of these functions using function algebras, known as real recursive functions. Since there are numerous incompatible models of computation over the reals, it is interesting to find that the two very different models we consider can be set up to yield exactly the same functions. Bournez and Hainry used a function algebra to characterize computable analysis, restricted to the twice continuously differentiable functions with compact domains. Campagnolo and Ojakian found a different (and apparently more natural) function algebra that also yields computable analysis, with the same restriction. In this talk I will describe an improvement of earlier work, finding three function algebras characterizing computable analysis, removing the restriction to twice continuously differentiable functions and allowing unbounded domains. One of these function algebras is built upon the widely studied real primitive recursive functions. Furthermore, the proof uses the previously developed method of approximation, whose applicability is further evidenced by those results. This talk reports on joint work with Kerry Ojakian.
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.
URL: http://www.math.ist.utl.pt/seminars/clc/
An overview of the E91 protocol (01-06-2012)
Arnaldo Gouveia, SQIG - IT
01/06/2012, 15:00
Room P4.35, Mathematics Building
In the current Quantum Key Distribution (QKD) roposals it is possible to generate a secret key and distribute it with the involved parties separated in physical terms. This possibility opens the possibility of structuring a a solution to the the classical cryptography problem of key distribution with reduced interaction among involved parties. Among other proposals to adress this issue is the Eckert 91 protocol wich will be in scope in this report. Proposed
in 1991 by A. Eckert it is an entanglement based protocol. The security assurance of entanglement based protocols is based on impossibility of an eavesdropper has to clone a message without estroying it. As such the receiver has the possibility to detect eavesdropping and this is a major advantage of this type of protocols. In the end the a security proof will be described.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
20th anniversary of Instituto de Telecomunicações (31-05-2012)
A series of events will be held in 2012 at the sites and branches of Instituto de Telecomunicações to mark its 20th anniversary.
December 1, 2012, 09:00 - IT Aveiro
November 7, 2012, 09:00 - ISCTE-IUL branch of IT
October 16, 2012, 14:00 - Porto branch of IT
July 11, 2012, 10:15 - IT Coimbra
July 2, 2012, 14:30 - IT Lisboa
May 31, 2012, 14:00 - Leiria branch of IT
May 29, 2012 - 10:15 - Covilhã branch of IT
For more information, follow the link below.
URL: http://www.it.pt/auto_temp_web_page_preview.asp?id=1127
ICG-LX - Prof. Günhan Dündar - Talks on the 28th and 29th May (28-05-2012)
On the 28th and 29th May, Prof. Günhan Dündar, will visit the Integrated Circuits Group (ICG-LX), Instituto de Telecomunicações (IT) - Lisboa. During the visit Prof. Günhan Dündar will give two talks entitled:
28/5 - " Design automation of analog circuits – Linking circuit level to layout level and system level"
29/5 - " Pushing the limits of sigma-delta ADC – Speed and Power"
the talks will be given in the IT meeting room on the 11th floor (IST - Torre Norte), respectively, on the 28th and 29th May at 10:00, please confirm your interest in attending this talks by replying to this message indicating the talks you will attend.
URL: http://www.it.pt
Cage Based Deformation Methods (21-05-2012)
- Prof. Verónica Orvalho - IT
- Prof. Antonio Susin, Universitat Politècnica de Catalunya
Porto Interactive Center, Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto
May, 21, 2012 - 14:00H-15:00H
Cage based deformation techniques aims to be an easy to use tool for graphics modeling, texturing and animation. In this tutorial we describe the most important methods, their basics, and the desirable properties that they should satisfy. We also present a comparative to show the strong and weak points of each one, taking into account their distinctive utilities. Finally, we discuss some applications that exploit cage capabilities in order to create a more complex deformation system or to simplify other deformation techniques.
URL: http://www.it.pt
An overview of the E91 protocol (18-05-2012)
Arnaldo Gouveia, SQIG - IT
18/05/2012, 15:00
Room P4.35, Mathematics Building
In the current Quantum Key Distribution (QKD) proposals it is possible to generate a secret key and distribute it with the involved parties separated in physical terms. This possibility opens the possibility of structuring a a solution to the the classical cryptography problem of key distribution with reduced interaction among involved parties. Among other proposals to adress this issue is the Eckert 91 protocol wich will be in scope in this report. Proposed in 1991 by A. Eckert it is an entanglement based protocol. The security assurance of entanglement based protocols is based on impossibility of an eavesdropper has to clone a message without destroying it. As such the receiver has the possibility to detect eavesdropping and this is a major advantage of this type of protocols. In the end the a security proof will be described.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Dualidades naturais em 50 minutos (18-05-2012)
Maria João Gouveia, DM-UL / CAUL
May 18, 2012, Friday, 16h15m.
Abstract: A dualidade de Pontryagin, estabelecida em 1934 para a variedade dos grupos abelianos, e a dualidade de Stone, estabelecida em 1936 para a variedade das álgebras de Boole, são referências obrigatórias quando se remonta às origens da teoria das dualidades naturais. No entanto, é apenas nos anos 70 que surge um maior impulso, com o aparecimento da dualidade de Priestley, para os reticulados distributivos, e da dualidade de Hofmann-Mislove-Stralka para semi-reticulados. O trabalho de Davey e Werner, bem como o de Clark e Krauss, nos anos 80, abriram caminho ao desenvolvimento de toda uma teoria que foi conquistando o seu próprio espaço no seio da Álgebra. Neste seminário faremos uma breve incursão pela teoria das dualidades naturais, apresentando alguns dos resultados mais relevantes e referindo algumas das áreas de investigação, como por exemplo a das extensões canónicas de álgebras com reduto de reticulado, onde as dualidades e as suas técnicas são utilizadas.
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.
URL: http://www.math.ist.utl.pt/seminars/clc/
Gödel functional interpretation (04-05-2012)
Gödel functional interpretation
Jaime Gaspar*
May 4, 2012, Friday, 16h15m.
Abstract: The Gödel functional interpretation is a celebrated tool with a wide range of applications: consistency results, independence results, and extraction of computational content from proofs, just to name a few. This talk introduces from scratch the bare-bones of the Gödel functional interpretation.
* Financially supported by FCT, I.P., under grant SFRH/BD/36358/2007 co-funded by POPH / QREN / FSE.
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.
URL: http://www.math.ist.utl.pt/seminars/clc/
International Conference on Computational Processing of Portuguese - PROPOR 2012 (17-04-2012)
The International Conference on Computational Processing of Portuguese, former Workshop on Computational Processing of the Portuguese Language - PROPOR - is the main event in the area of Natural Language Processing that is focused on Portuguese and the theoretical and technological issues related to this specific language.
The meeting has been a very rich forum for the interchange of ideas and partnerships for the research communities dedicated to the automated processing of the Portuguese language. PROPOR brings together research groups in the area, promoting the development of methodologies, linguistic resources and projects that can be shared among all researchers and practitioners in the field.
URL: http://www.propor2012.org/
On the robustness of "useful" information measures (13-04-2012)
André Souto, SQIG - Instituto de Telecomunicações
April 13, 2012, Friday, 16h15m.
Abstract: Given an individual object, how much information does that object contains? Is all that information useful? Kolmogorov complexity rigorously expresses the amount of information of a binary string x by the length of the shortest program that given to a universal Turing machine is able to produce the stringx. An incompressible string has high Kolmogorov complexity and thus has high information but from the computational complexity point of view it is not very useful, in the sense that, with high probability, one can produce another string as useful as the first one by flipping fair coins. So, how can one quantify, the subjective notion of useful information? There are two known approaches to achieve this goal based on Kolmogorov complexity: one measuring the amount of planing necessary to construct the object (static resources) and the second measuring the computational effort (dynamic resources) needed to produce the object. For the former one divide the smallest program producing the object into two parts: the part accounting for the useful regularities (useful information) and the part accounting for the remaining information present in the object so that the two-part description is as short as the shortest one-part description. The resulting measure is known as Sophistication. The latter approach is based on the time required to generate the object from any short description and the resulting measure is called logical depth. These two measures are formally defined with significance levels, i.e., with parameters that describe how far we are from the optimal solution, namely the Kolmogorov complexity of the object. In this talk I will explain how can we relate these two measures using the busy beaver function and prove that they both are not robust in the sense that, small changes in the significance levels can significantly change the values of the measures. This work was developed jointly with L. Antunes, B. Bauwens and A. Teixeira.
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.
URL: http://www.math.ist.utl.pt/seminars/clc/
Boole's Algebra of Logic. A modern version and a modern adaptation of the original version (30-03-2012)
H. P. Sankappanavar, State University of New York, USA
30/03/2012, 16:15 — Room P3.10, Mathematics Building.
Abstract: George Boole (1815-1864), an English mathematician, revolutionized logic in the 19th century by applying methods from the then emerging field of symbolical algebra to logic. The sophistication and mathematical depth of Boole's approach to the logic of classes is not commonly known. Boole's algebra of logic, however, was not perfect. It has received much criticism. Yet, the system seemed, by and large, to work just as Boole claimed it would. In this lecture, I will present:
a) the criticisms pointing to the weaknesses of Boole's Logic;
b) a rigorous modern version of Boole's theorems, based in good part on Vols. I and II of Schroeder's Algebra der Logik, published in the 1890s; and
c) a rigorous modern adaptation of Boole's original algebra of logic, based partly on the work of Hailperin (1976/1986) (time permitting).
The lecture will be mostly based on the recent (unpublished) joint work with Professor Stanley Burris, as well as on his 2010 article, George Boole, in Stanford Encyclopedia of Philosophy.
URL: http://sem.math.ist.utl.pt/clc
Specifying and reasoning about normative systems in deontic logic programming. (23-03-2012)
Ricardo Gonçalves (CENTRIA)
March 23, 2012, Friday, 16h15m.
Abstract: Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this talk I will introduce a framework that combines standard deontic logic (SDL) and non-monotonic logic programming, deontic logic programs (DLP), to represent and reason about normative systems. Besides having a rich language, DLPs have a simple and fully declarative semantics. In fact, a stable model like semantics can be defined for these programs and abduction can be used to allow agents to plan their interaction with the normative system. The fundamental problem of equivalence between normative systems is studied using a deontic extension of the so-called equilibrium logic. Furthermore, I will present a novel strong connection with the so-called Input-Output logic. Joint work with José Alferes.
URL: http://sem.math.ist.utl.pt/clc
Compatibility of quantum measurements: coexistence of qubit observables (23-03-2012)
Daniel Reitzner, Slovak Acad. Sci. & TU Munich
23/03/2012, 15:00
Room P4.35, Mathematics Building
Seminar supported by bilateral Portugal-Slovakia grant.
One of key differences of quantum mechanics and classical physics is the inability to perform all pairs of measurements simultaneously in quantum domain. The most prominent examples are position-momentum observables or spin components. In the talk I aim to show the analysis of simultaneous measurements (observables) in simplest qubit case. The talk will also touch generalization of the notion of joint measurability (and coexistence) of observables to more general quantum measurement devices.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Quantum sensing and imaging via tomography: Scene Reconstruction imaging with Entangled Photons (21-03-2012)
Masoud Mohseni, MIT and Raytheon BBN Technologies
21/03/2012, 11:30
Room P3.10, Mathematics Building
* * * Please note exceptional day and room. * * *
In this talk, I will discuss how quantum sensing and imaging tasks can be performed via quantum tomography schemes. Quantum state/process tomography usually refer to a complete set of experimental procedures, involving multi-shot measurements in the limit of infinite ensemble, in order to fully characterize the state/dynamics of an unknown quantum system. Here, we generalize tomographic techniques to encompass all quantum estimation strategies, including important classes of single-shot parameter estimation and adaptive few-shot quantum estimation. These protocols are of significant relevance when we wish to reliably obtain maximum information about a few parameters of interest and either have access to very limited physical resources, or when we wish to impose minimal damage to a target. In order to explore such possibilities, we consider a large class of quantum optical transmitters for scene reconstruction imaging, using photon number resolving (PNR) detectors at the receiver. To quantify the efficiency of these schemes, we compute the Photon Information Efficiency (PIE) and Root Mean Squared Error (RMSE), and investigate the trade-off between these measures for various classical and quantum optical transmitters and PNR resolutions at the receivers for different prior distribution functions.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Harnessing the interplay between quantum coherence and decoherence (21-03-2012)
Masoud Mohseni, MIT and Raytheon BBN Technologies
21/03/2012, 11:30
Room P3.10, Mathematics Building
In this talk I will discuss different scenarios in natural and artificial systems in which decoherence -- as an intrinsic part of the dynamics -- can be exploited for enhancing quantum processes in the context of charge and energy transfer, as well as for information processing, in disordered and noisy media.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Deterministic realization of a universal quantum gate in a single scattering process (16-03-2012)
Francesco Ciccarello, Scuola Normale Superiore, Pisa
16/03/2012, 15:00
Room P4.35, Post-Graduation Building, IST.
We show that a flying particle, such as an electron or a photon, scattering along a one-dimensional waveguide from a pair of static spin-1/2 centers, such as quantum dots or superconducting qubits, can implement a CZ gate (universal for quantum computation) between them. This occurs deterministically in a single scattering event, hence with no need for any post-selection or iteration, and without demanding the flying particle to bear any internal spin. We show that an easily matched hard-wall boundary condition along with the elastic nature of the process are key to such performances.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
The closest vector problem in multi-dimensional wireless channels (02-03-2012)
Francisco Monteiro (IT & ISCTE-IUL).
March 2, 2012, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
This talk provides an overview of one of the central problems in communication engineering in the last 10 years, whose solution allows us now to reach the 1 Gbps frontier in wireless systems such as LTE Advanced and WiMax. The capacity limits set by Shannon in 1948 for digital transmission were reached in 1993 and 1995 after the discovery of turbo-codes and low-density parity-check codes. While this put an end to an era in coding theory, a new door was opened in the late 90s for wireless channels: multiple-input multiple output (MIMO). It was soon mathematically proved that increasing the number of antennas both at the transmitter and at the receiver would increase the capacity of the radio link. However, this gain comes at the expense of a much higher algorithmic complexity at the receiver side. The mathematical underlying detection problem is the closest vector problem (CVP) in a lattice. The problem had been mostly investigated in algorithmic number theory and much of the progress made in signal processing in communications came in fact from the re-discovery of algorithms known in the communities of algorithmic number theory and cryptography. The talk will describe several approximate and exact solutions to CVP, emphasising the geometric manipulation of lattices that is carried out by the most relevant algorithms: maximum likelihood detection, zero-forcing, minimum mean square error, successive detection, sphere decoding and lattice reduction. A novel approach to the problem will also be presented, which maps the problem onto a graph-based path minimisation problem.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Palestra ''Os dados da rede de cardiologia pediátrica dos estados de Pernambuco e Paraíba'' (16-02-2012)
Vital Responder - CMU-PT/CPS/0046/2008
No período compreendido entre 15 e 17 de Fevereiro de 2012, a Drª Sandra Mattos, cardiologista do Real Hospital Português, Recife, Brasil, deslocou-se a Portugal para fazer trabalho de consultora de cardiologia no âmbito do projecto Vital Responder.
URL: http://www.it.pt
Seminar - Some conceptual issues of quantum gravity (27-01-2012)
Marko Vojinovic (U Lisboa).
January 27, 2012, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
Abstract: We shall attempt to give a non-rigorous and informal review about the implications of combining general relativity and quantum mechanics. The main focus will be on two topics, the Problem of Time and the Black-Hole Information Paradox, and their implications on the structure of both QM and GR. Some other relevant issues will also be mentioned, like quantum cosmology and the Measurement Problem. The goal of the lecture is to emphasize the main "points of friction" between GR and QM, and to illuminate why the gravity quantization program is nontrivial.
Support: CAMGSD, CFIF, CFP and SQIG/IT with support from FCT and FEDER, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel and PEst-OE/EEI/LA0008/2011.
URL: http://www.math.ist.utl.pt/seminars/qci/?action=next
Internet of Things - Winter School (26-01-2012)
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
URL: http://www.wirelessthings.org/meeting/index.html
Importing logics: Soundness and completeness preservation. (20-01-2012)
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.
URL: http://sem.math.ist.utl.pt/clc
Seminar - Organic photonics for life enhancing technology: application to artificial retina (16-01-2012)
Prof. Guglielmo Lanzani
Istituto Italiano di Tecnologia (Director) and Politecnico di Milano
Organic photonics for life enhancing technology: application to artificial retina
After a broad introduction on organic photonics, including materials concepts and application, I will focus on the solid liquid interface and the opto neural interface. Light stimulation of neuron cells will be reported and the potential for artificial retina discussed.
16th Janueary - 11:00H Room QA1.1
URL: www.i.t.pt
Performance Models of OFDMA Systems (14-12-2011)
IT Porto na FEUP, sala I-105 - 13:00H
A central design decision in the architecture of upcoming LTE cellular networks is to exploit multi-user diversity by means of (dynamic) OFDMA resource allocation. Over the last decade such systems have been extensively investigated primarily regarding low-complex algorithms to be employed for instantaneous resource allocation. While we have been successfull in reducing the algorithmic complexity of such algorithms significantly, we still lack good performance models for OFDMA systems. Such models are required for admission control for example and should be able to predict system performance only depending on the average channel-state information between the base stations and multiple receivers. In this talk we introduce a suitable performance model based on order-statistics and study its characteristics. In particular, we extend it to OFDMA systems with dynamic power allocation as well as to interference-limited scenarios with several surprising features. Finally, we comment on the use of such models for dynamic interference coordination in upcoming LTE networks.
##########
CV: James Gross studied computer engineering at TU Berlin and UC San Diego. He received his master degree in 2002 and his PhD from TU Berlin in 2006. In 2007 he was a Post-Doc with the Telecommunication Networks Group of TU Berlin. Since 2008 he is an assistant professor at RWTH Aachen University, leading the 'Mobile Network Performance Group' at the UMIC research centre of RWTH Aachen. He published about 50 papers in international, peer-reviewed conferences and journals and serves as program committee member for a few recent conferences. His research interests are in the area of protocols, algorithms and models of mobile networks with a particular focus on self-organization and robustness.
URL: http://www.it.pt
Workshop on White Space Technologies (12-12-2011)
Workshop on White Space Technologies – 12 de Dezembro Instituto de Telecomunicações - Aveiro
A Tecnologia “White Spaces Technologies” está a impor novos desenvolvimentos na tecnologia sem fios/microondas emergente que podem conduzir e alterar a forma como olhamos para as comunicações via rádio, principalmente da telefonia móvel. Algumas destas tecnologias emergentes incluem software definido pelo rádio, localização de rádio cognitiva para a optimização do caminho da comunicação rádio, mas também emergentes motores de localização interiores e exteriores, bem como técnicas optimizadas para dispositivos de baixo custo e consumo. Este workshop dará uma percepção do que é a Tecnologia “White Spaces Technologies” e de como medir e identificar oportunidades de negócio dentro desta nova área de comunicações sem fios. A participação neste workshop é gratuita, no entanto gostaríamos de salientar que o número de lugares é limitado pelo que aconselhamos que se inscreva o mais breve possível.
URL: http://www.it.pt
The mosaic method for combinations of tense and modalities (09-12-2011)
Marco Volpe (SQIG - IT).
December 9, 2011, Friday, 16h15m.
Abstract: In this talk, I will present an extension of the mosaic method to the case of logics arising from the combination of linear tense operators with an "orthogonal" S5-like modality. The technique will be applied to obtain a proof of decidability, a proof of completeness for the corresponding Hilbert-style axiomatization and to develop a mosaic-based tableau system. (From a joint work with Carlos Caleiro and Luca Viganò.)
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.
URL: http://sem.math.ist.utl.pt/clc
The 4th Annual Videogame Conference will take place in Porto, 2-4 December 2011 (02-12-2011)
The Videogame Conference is home for creativity and science that is behind the creation of videogames and interactive experiences.
The overall goal is to stimulate discussion on the field of videogame development and bridge the gap between the academia and the entertainment industry.
We invite submissions of high-quality research that will help set the bases and define future trends in the videogame industry in Portugal.
Organized by :
Faculdade de Ciências da Universidade do Porto,
Faculdade de Engenharia da Universidade do Porto,
Instituto de Telecomunicações and
Sociedade Portuguesa de Ciências dos Videojogos
Location:
Departamento de Ciência de Computadores da Faculdade de Ciências
Universidade do Porto (FCUP)
Rua Campo Alegre 1021
4169 - 007 Porto
Portugal
URL: http://www.dcc.fc.up.pt/~videojogos2011/
The 4th Annual Conference on Art and Science of Videogames, Videojogos 2011 (02-12-2011)
The 4th Annual Conference on Art and Science of Videogames, Videojogos 2011, is right around the corner, and it is all about fun and games!
It will be 3 days, from December 2nd to December 4th, to make games, talk about games, exchange ideas with veterans of the game industry, research on new and innovative ways of putting fun in games, and have a good time playing games, at the Faculdade de Ciência da Universidade do Porto.
We'll start our engine with two workshops that include videogame development competitions: one for the Unreal Development Kit and another for XBox Kinect. But wait, there's a valuable prize for those who win the final round:
Microsoft will sponsor the XBox Game Development Competiton and the prize will be a XBox Kinect.
Playstation and Seed Studiosn will sponsor the UDK Game Development competition and theprize will be a Playstation 3 and the game Under Siege.
And if you are more a D&D person, you will be able to assist a Game Design Competition, and learn how to turn your ideas into simple rules to create a game. No fun on putting things into paper? Create the best idea and you'll win a pack mule of game design books.
If you have time, you will also be able to travel through time and space in a virtual reality experiment and even create your own digital puppet, which will obey all your commands...
But the best prize of the conference is available to all. Be a VideoJogos 2011 guild member, and you will get a upgrade on your XP by sharing the knowledge and experience of the game industry veterans, that will come to talk about their views and present exciting talks, which will, most certainly, be mind blowing.
They have travelled from far lands, with their backpacks of wisdom, and magic, which will make VideoJogos a unique and enlightenment experience.
Please see our book of rules (also know as brochure) or visit our portal at http://www.dcc.fc.up.pt/~videojogos2011/#program for more information.
Keynote speakers:
Don Marinelli - Carnegie Mellon University
Senta Jakobsen - ngmoco
Talk: Agile Planning Methods
Ricard Pillosu - Crytek
Jean-Luc Duprat - Intel
Talk: Texturing from Software to Hardware
Samuel Junqueira - SAPO
Monchu Chen - Entertainment Technology Center (University of Madeira)
Talk: Master of Entertainment technology program – combining arts and technology
Diego Gutierrez - Universidad de Zaragoza
Talk: Virtual skin: To Gollum and beyond (in real time!)
Xenxo Alvarez - Face in Motion
Talk: How to create videogame Assets
Bruno Ribeiro - Seed Studios
Talk: Under Siege Development
Ricardo Flores Santos - Biodroid
Talk: Sport Game Production for mobile Devices
Helena C. Mendonça - VdA
Talk: Da Criação do Jogo à Criação do Negócio
Kristopher J. Blom - Universitat de Barcelona
Talk: Virtual Embodiment and Robotic Re-Embodiment
Juan P. Ordoñez - Videogame Design Consultant
Mark your calendar for another year of gamming, research, education, networking and fun moments!
See you at Videojogos 2011 !
The Organization Committee
Verónica Orvalho
Augusto A. Sousa
URL: http://www.dcc.fc.up.pt/~videojogos2011/#program
Workshop Tecnologia para o Espaço e sinergias com Polos de Competitividade (28-11-2011)
Instituto de Telecomunicações (Anfiteatro), Universidade de Aveiro
Key speakers :
1 - Dominique le Queau (Toulouse) [Confirmado] atual Coordenador francês da Fundação STAE, pólo aeroespacial de Toulouse, reagrupando 25 laboratórios do CNRS, U. Toulouse e as industrias do setor, incluindo as 20 maiores empresas da área Espaço, que nos falará da experiência de Toulouse nas parcerias academia/industria.
2 - Thyrso Villela, Diretor da Agência Espacial Brasileira, (Div. de Satélites, Aplicações e Desenvolvimento), e um dos mentores do novo programa
espacial brasileiro, programa de mini-satélites e parcerias industriais.
3 - Vasco Lagarto, Coordenador Nacional do TICE, pólo de competitividade em Tecnologias de Informação, Comunicação e Electrónica.
Além de uma apresentação sobre valências de vários dos laboratórios e empresas, as sinergias entre polos tecnológicos (TICE, Moldes, STAe-Toulouse) serão
propostas uma visão de projetos e ideias para o Espaço alicerçada nas aplicações integradas (Telecom, Informação, GNSS, ambiente).
Programa em :
http://www.av.it.pt/workshops/program2.html
URL: http://www.av.it.pt/workshops/index2.html
Seminar - Taming detector side channels in quantum cryptography (25-11-2011)
Marcos Curty (U Vigo).
November 25, 2011, Friday, 11h30m. * * * Please
note exceptional day [due to Thursday's strike] and time. * * *
Room P3.10, Mathematics Building.
Despite its often praised unconditional
security, quantum key distribution (QKD) also
relies on assumptions. Some of them are quite
natural, such as the validity of quantum
mechanics, the existence of true random number
generators, or the assumption that the legitimate
users are well shielded from the eavesdropper.
Other assumptions, such as considering that the
honest parties have an accurate and complete
description of their physical devices, are more
severe. Obviously, if the functioning of the real
setup differs from that considered in the
mathematical model, this may become completely
vulnerable to new types of attacks not covered by
the security proof. Indeed, quantum hacking
against commercial QKD systems, particularly
detector side channel attacks, have emerged as a
hot topic. Here, we investigate a simple solution
to this problem — measurement device independent
QKD. It not only removes all detector side
channels, but also doubles the secure distance
with conventional lasers. In comparison to full
device independent QKD (diQKD), our scheme does
not require detectors of near unity detection
efficiency in combination with a qubit amplifier
or a quantum non-demolition measurement of the
number of photons in a pulse, but can be
implemented with standard optical components with
low detection efficiency and highly lossy
channels. Furthermore, its key generation rate is
many orders of magnitude higher than that based on full diQKD.
URL: http://sem.math.ist.utl.pt/qci/index.xml
Logic and Computation Seminar (25-11-2011)
Taking collective agency for serious.
Joao Marcos (LoLITA - DIMAp - UFRN - Brazil).
November 25, 2011, Friday, 16h15m.
The talk will explore a framework in which agents can have two very basic propositional attitudes: asserting and denying. Different sets of postulates characterizing the reasonable behavior of the classic-like agents involved with be seen to give rise to different logics, with either deterministic or nondeterministic broadly truth-functional characterizations. This illustrates an approach that generalizes and overcomes some difficulties confronted by both bivalent semantics and society semantics. In particular, I will show how societies can be built that fully take into account the reasoning of their constituent agents on what concerns the satisfaction of complex sentences beyond a reduced list of `initial formulas'. The role and effects of considering different disciplines for information collecting and processing will be emphasized.
URL: http://www.it.pt
Seminar - On co-algebraic dualities for modal logics (04-11-2011)
Dirk Hofmann (U Aveiro).
November 4, 2011, Friday, 16h15m.
Abstract: Motivated by questions in semantics of modal (propositional) logics, over the past years several duality results which extend the classical Priestley and Stone dualities were established. These results typically involve some type of Vietoris functor on topological spaces, and, by viewing spaces as (generalised) categories, in this talk we reveal the Vietories functor as part of the covariant presheaf monad. Furthermore, we show how the Kleisli construction for monads allows a common approach for this kind of duality theorems.
Room: 3.10, Mathematics
URL: http://sem.math.ist.utl.pt/clc
Workshop on Operational Research in Telecommunications (04-11-2011)
The goal of the Workshop on Operational Research in Telecommunications is to gather scientists from two communities that, in many cases, develop and solve problems where Operational Research (OR) techniques play a relevant role.
OR techniques are crucial for the solution of many problems in Telecommunications. Many recent and on-going works that rely on optimization models will be presented at this workshop. These models will be illustrated by means of practical applications. Presentations will consist of lectures delivered by OR and Telecommunications specialists, as well as of shorter communications presented by young researchers.
URL: http://www.ccc.ipt.pt/~apdio/IOTelecoms
Seminar - Recurrence in quantum walks (03-11-2011)
Tamas Kiss (Hungarian Academy of Sciences).
November 3, 2011, Thursday, 15h30m.
Location: Room P3.10, Mathematics Building. *** Please note new room ***
Abstract: The Polya number characterizes the recurrence of a random walk. We apply the generalization of this concept to quantum walks which is based on a specific measurement scheme. The Polya number of a quantum walk depends, in general, on the choice of the coin and the initial coin state, in contrast to classical random walks where the lattice dimension uniquely determines it. We analyze several examples to depict the variety of possible recurrence properties. For 2D square lattices the Grover walk exhibits localization and thus is recurrent, except for a particular initial state for which the walk is transient. We generalize the Grover walk to show that one can construct in arbitrary dimensions a quantum walk which is recurrent. This is in great contrast with classical walks which are recurrent only for the dimensions d=1,2. The 2D Fourier walk is recurrent except for a two-dimensional subspace of the initial states. In order to better understand the role of dimensionality in the recurrence properties, one can consider a triangular lattice. The three-state Grover walk on a two-dimensional triangular lattice does not lead to trapping (localization) or recurrence to the origin, in sharp contrast to the corresponding walk on the two-dimensional square lattice. In general, on a triangular lattice only a special subclass of coin operators can lead to recurrence, and there are no coins that would lead to localization. The definition for the Polya number can be extended to continuous-time quantum walks, as well. For the timing of the measurements, a Poisson process as well as regular timing are discussed. We examine various graphs, including the ring, the line, the higher-dimensional integer lattices, and a number of other graphs, and we calculate their Polya number. We find that the speed of decay for the probability at the origin is the key for recurrence.
URL: http://sem.math.ist.utl.pt/qci/index.xml
Iberian Meeting on Computational Electromagnetics (VIII EIEC) (02-11-2011)
We are pleased to announce the eighth edition of the Iberian Meeting on Computational Electromagnetics (VIII EIEC) to be held in Sesimbra, Portugal, on November 2-4, 2011, organised by the Instituto de Telecomunicações and Instituto Superior Técnico. A preliminary abstract (no more than one page, free format) should be submitted before June 30, 2011. A notification acceptance letter will be sent to all authors by July 15, 2011. Further information can be found at the conference website www.eiec.it.pt/indexeng.htm. I would be pleased if you spread this information among other potentially interested colleagues.
URL: http://www.eiec.it.pt
Seminar - Semi-quantum secret sharing without entanglement (27-10-2011)
Semi-quantum secret sharing without entanglement.
Daowen Qiu (SQIG, Instituto de Telecomunicações).
October 27, 2011, Thursday, 15h30m. *** Please note new day (and time) ***
Location: Room P4.35, Post-Graduation Building, IST.
Abstract: Boyer, Kenigsberg, and Mor [Phys.Rev.Lett.99, 140501(2007)] proposed a novel idea of semi-quantum key distribution where a key can be securely distributed between Alice who can perform any quantum operation and Bob who is classical. Recently, this idea of "semi-quantum" has been incorporated to quantum secret sharing [Phys.Rev. A 82, 022303 (2010)], where a quantum participant, Alice, can share a secret key with two classical participants so that they can collaborate to recover the secret, but none of them can do alone. However, in the protocol, a three-particle maximally‚ entangled state plays a crucial role. Nevertheless, multipartite entangled states are generally difficult to prepare in experiment. Therefore, in this talk, we present a new protocol of semi-quantum secret sharing‚ where a quantum participant can share a secret key with two classical participants without using any entanglement. The presented protocol is also showed to be secure against eavesdropping.
URL: http://sem.math.ist.utl.pt/qci/index.xml
Workshop on Topics in Information Theory and Communications 2011 (WTITC '11) (24-10-2011)
24th October 2011, Oporto, Portgual
This workshop aims to promote collaboration and share expertise between the Instituto de Telecomunicações, Universidade do Porto, Portugal and Universidad Carlos III de Madrid, Spain. The primary focus of the workshop will be to introduce the work of both groups so that future collaborations and research directions can be planned.
Organisers
Matilde Sanchez Fernandez - Universidad Carlos III de Madrid, Spain
William Carson - Instituto de Telecomunicações and Universidade do Porto, Portugal
Program timetable
10:00am - 10:30am: Welcome Coffee
10:30am - 12.30pm: Morning Session
URL: http://www.it.pt/auto_temp_web_page_preview.asp?id=961
Seminar - Communications with Single and Entangled Photon Pairs (20-10-2011)
Armando Nolasco Pinto (U Aveiro and IT).
* * * Please note exceptional day and time. * * *
October 20, 2011, Thursday, 11h30m.
Location: Room P4.35, Post-Graduation Building, IST.
Abstract: We present recent experimental work related with the generation of single and entangled photon pairs. We analyze the source statistics and the degree of entanglement. We discuss techniques to code information in the photons polarization and to compensate for polarization fluctuations due to propagation. We present a method to estimate the QBER in communication systems based on polarization encoding.
URL: http://sem.math.ist.utl.pt/qci/index.xml
Palestra - “Iterative Processing for Cooperative Communications Allowing Intra-Link Errors” (18-10-2011)
“Iterative Processing for Cooperative Communications Allowing Intra-Link Errors”, pelo Prof. Tad Matsumoto, distinguished lecturer da VTS Society, a decorrer na sala 02.1 do Centro de Congressos do Instituto Superior Técnico (IST), em Lisboa, na 3ª-feira, 18 de Outubro de 2011, das 14:30 às 17:30, numa organização conjunta do IEEE VTS Portugal Chapter, do IEEE Communications Society Portugal Chapter e da acção de cooperação Europeia COST IC1004 (Cooperative Radio Communications for Green Smart Environments).
Informação detalhada segue em anexo (anúncio da palestra, e mapa do campus do IST – a palestra decorre no edifício # 2).
A entrada é livre e gratuita, mas agradecemos inscrição para ema.catarre@lx.it.pt.
A página WEB do IEEE VTS Portugal Chapter é a seguinte: http://www.e-projects.ubi.pt/IEEE/Site/index.html.
Toda a informação sobre o IEEE Communications Society Portugal Chapter (incluindo as apresentações de palestras anteriores) está disponível em http://chapters.comsoc.org/Portugal.
URL: http://ic1004.org/.
Talk - On meet-combination of logics (23-09-2011)
Amílcar Sernadas (IST - TU Lisbon / SQIG - IT).
September 23, 2011, Friday, 16h15m.
Abstract: When combining logics while imposing the sharing of connectives, the result is frequently inconsistent. In fact, in fibring, fusion and other forms of combination reported in the literature, each shared connective inherits the logical properties of each of its components. A new form of combining logics (meet-combination) is proposed where such a connective inherits only the common logical properties of its components. The conservative nature of the proposed combination is shown to hold without provisos. Preservation of soundness and completeness is also proved. Illustrations are provided involving classical, intuitionistic and modal logics. Joint work with Cristina Sernadas and João Rasga.
Room: 3.10, Mathematics
Support: SQIG/Instituto de Telecomunicações with support from FCT and FEDER.
URL: http://sem.math.ist.utl.pt/clc
Talk - Mobile Video Coding Challenges (23-09-2011)
Ricardo Queiroz, Universidade de Brasilia , Brazil
Sala de Reuniões do DEEC, Torre Norte, 5º Piso
23 Setembro 2011, 14h
Abstract: Issues on video transmission to and from mobile devices will be discussed and a few solutions will be presented. Topics range from network issues and transcoders for greener video farms to displays, and include: scalable computing codecs; RDC optimization of video codecs; ''cognitive'' video coders; HEVC; Wyner-Ziv transcoders for real time transmission from mobile to mobile; mixed resolution video coding for reduced complexity; post-processing through super-resolution using key-frames, etc. We also debate MR multiview coding and free-viewpoint video using mobile cameras or low-computation receivers.
URL: http://www.img.lx.it.pt/~fp/
Seminar - Weyl-Wigner formulation of quantum mechanics (23-09-2011)
João Nuno Prata (U Lusófona).
September 23, 2011, Friday, 15h00 (*sharp*).
Location: Room P4.35, Post-Graduation Building, IST.
Abstract: I give an overview of the Weyl-Wigner formulation for quantum non-relativistic spinless particles. The main tool of the quantization procedure is the Weyl correspondence rule. Weyl pseudodifferential operators associated with various symbol classes are introduced. The advantages of Weyl quantization over other quantization prescriptions is discussed. The Wigner distribution is basically the symbol of a positive trace-class operator. I study the main properties of Wigner functions and show how they relate to classical Liouville probability measures.
Quantum Computation and Information Seminar
http://sem.math.ist.utl.pt/qci/index.xml
Support: CAMGSD, CFIF, CFP and SQIG/IT with support from FCT and FEDER, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel and PTDC/EIA/67661/2006 QSec.
URL: http://sem.math.ist.utl.pt/qci/index.xml
Seminar - “Organic electronics, now with biomolecules” (22-09-2011)
Dia 22 de Setembro, quinta-feira, 17h, Sala EA2 (Torre Norte, 1º piso)
Prof. Olle Inganäs
Linköping University, Sweden
https://cms.ifm.liu.se/applphys/biorgel//
“Organic electronics, now with biomolecules”
In organic electronics, conjugated polymers and molecules are used as semiconductors or metals in devices spanning from the photodiode/solar cell, light emitting diode and white electroluminescent lamp, to transistors. We demonstrate how biomolecules may be used as inspiration, model, template and active element in shaping materials and devices in organic electronics.
URL: https://cms.ifm.liu.se/applphys/biorgel//
Workshop MONAMI2011 (21-09-2011)
MONAMI 2011 aims at bringing together top researchers, academics and practitioners specializing in the area of Mobile Network Management (MNM) and Service Management.
Multiaccess and resource management, mobility management, and network management have emerged as core topics in the design, deployment and operation of current and future networks. Yet, they are treated as separate, isolated domains with very little interaction between the experts in these fields and lack cross-pollination. MONAMI 2011 offers the opportunity to leading researchers, industry professionals and academics around the world to meet and discuss the latest advances in these areas and present results related to technologies for true plug-and-play networking, efficient use of all infrastructure investments, and access competition. The aim of the forum is to disseminate the latest innovative mobile network solutions for increased competition and cooperation in an environment with a multitude of access technologies, network operators and business actors.
MONAMI 2011 invites researchers to submit papers that follow either evolutionary approaches based on current IP-centered architectures or introduce revolutionary MNM approaches and new paradigms. Papers reporting experimental and empirical studies as well as implementation/industry results (including testbeds and field trials) are also welcome.
URL: http://mon-ami.org/
3rd International ICST Conference on Mobile Networks And Management (21-09-2011)
MONAMI 2011
21-23 September 2011
Aveiro, Portugal
AIM AND SCOPE
MONAMI 2011 aims at bringing together top researchers, academics and practitioners specializing in the area of Mobile Network Management (MNM)
and Service Management.
Multiaccess and resource management, mobility management, and network management have emerged as core topics in the design, deployment and operation of current and future networks. Yet, they are treated as separate, isolated domains with very little interaction between the experts in these fields and lack cross-pollination. MONAMI 2011 offers the opportunity to leading researchers, industry professionals and academics around the world to meet and discuss the latest advances in these areas and present results related to technologies for true plug-and-play networking, efficient use of all infrastructure investments, and access competition. The aim of the forum is to disseminate the latest innovative mobile network solutions for increased competition and cooperation in an environment with a multitude of access technologies, network operators and business actors.
URL: http://www.mon-ami.org/
First Lisbon Machine Learning School (LxMLS 2011) (20-07-2011)
LxMLS 2011 will take place on July 20-25 at Instituto Superior Técnico, a leading Engineering and Science school in Portugal. It is organized jointly by IST, the Instituto de Telecomunicações and the Spoken Language Systems Laboratory of INESC-ID.
URL: http://lxmls.it.pt/Home.html
Graphene-Based Electronics for RF Communications and Sensing (19-07-2011)
Talk by Prof Tomás Palacios, Associate Professor of Electrical Engineering and Computer Science at the Masscahusetts Institute of Technology (MIT)
Place: Instituto de Telecomunicações / Universidade de Aveiro, July 19th, 11:00
Electrical engineering is at a crossroads. For the last fifty years, semiconductors have been driving the development of information technology, which has completely transformed our society. Conventional electronics, however, is reaching scaling and performance limits which jeopardizes future developments. New materials with unique properties are necessary and graphene, a one atom thick layer of sp2 bonded carbon, is at the top of potential candidates.
Graphene not only has outstanding transport properties, but it also shows many unique properties not found in any other high performance electronic material. It is flexible, transparent, ultimately scalable, easily transferable to any surface, and its ambipolar conduction offers new possibilities for advanced electronics. In this talk, we describe how the use of these properties allows the development of new devices, which can overcome some of the main limitations of traditional electronics in terms of sensitivity, maximum frequency, and linearity. Several novel devices will be discussed for RF communications and remote sensing, including graphene frequency multipliers, graphene RF mixers and graphene chemical sensors.
Tomás Palacios is the Emmanuel E. Landsman Career Development Associate Professor of Electrical Engineering and Computer Science at the Masscahusetts Institute of Technology (MIT). He is affiliated with the Department of Electrical Engineering and Computer Science and with the Microsystems Technology Laboratory. He studied Telecommunication Engineer in the Polytechnic University of Madrid, and he received his MS and PhD degrees in Electrical Engineering from the University of California - Santa Barbara in 2004 and 2006, respectively.
His work has been recognized with multiple awards, including the Young Scientist Award of the International Symposium on Compound Semiconductors (ISCS), the Young Researcher Award at the 6th International Conference on Nitride Semiconductors, the Best Student Paper Award at the 36th Device Research Conference, the Lancaster Dissertation award, the European Prize Salva i Campillo to the ''most promising European Newcomer to Engineering'', etc. He is also author or coauthor of more than 130 scientific papers in international journals and conferences, three book chapter and multiple invited talks and patents.
Recently Tomás has been awarded the DARPA Young Faculty Award (March 2008), the Office of Naval Research’ Young Investigator Award (March 2009) and the National Science Foundation (NSF) CAREER Award (July 2009).
URL: http://www.it.pt/files/graphene.pdf
Escola de Verão ''Criptografia e Segurança da Informação'' (13-07-2011)
O Grupo de Segurança e Informação Quântica (SQIG) do Instituto de Telecomunicações (IT), juntamente com o Departamento de Matemática (DM) do Instituto Superior Técnico (IST), organiza uma Escola de Verão destinada a alunos do 11º ano do ensino secundário sobre Criptografia e Segurança da Informação.
A privacidade nas telecomunicações e a segurança da informação em geral são problemas fundamentais na sociedade da informação em que vivemos, e também tópicos de investigação extremamente activos e com uma grande variedade de aplicações.
Esta Escola de Verão tem por objectivo introduzir estes temas a partir dos seus fundamentos matemáticos, incluindo Teoria dos Números e Matemática Discreta, indo dos aspectos históricos até aos desenvolvimentos mais recentes, como a criptografia quântica.
A inscrição na Escola de Verão é gratuita e o programa inclui cursos teóricos, actividades práticas e visitas a laboratórios do Instituto de Telecomunicações. O número de participantes é limitado a 30.
As inscrições estão abertas até 30 de Junho. A Escola de Verão terá lugar de 13 a 15 de Julho de 2011, no Instituto Superior Técnico
URL: http://www.escoladeverao.info
Talk - Fibring as biporting subsumes asymmetric combinations (08-07-2011)
Joao Rasga (IST- TU Lisbon / SQIG - IT).
July 8, 2011, Friday, 16h15m.
Abstract: Inspired by the recent notion of importing logics, a new formulation of unconstrained fibring is proposed as a kind of two-way importing (biporting). Biporting and unconstrained fibring are proved to be strongly equivalent at the entailment level, modulo a translation of formulas. Importing is recovered from biporting by selecting away the export connective. In consequence, special cases of importing, like temporalization, globalization and other asymmetric mechanisms for combining logics, are shown to be subsumed by fibring under selection. Capitalizing on these results, the finite model property is shown to be preserved by importing and those asymmetric constructions whenever it is preserved by fibring.
Room: 3.10, Mathematics
URL: http://sem.math.ist.utl.pt/clc
Seminar - Semi-quantum key distribution with less states and Semi-quantum secret sharing without entanglement (01-07-2011)
Daowen Qiu (SQIG, Instituto de Telecomunicações).
July 1, 2011, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
Boyer, Kenigsberg, and Mor [Phys.Rev.Lett.99, 140501(2007)] proposed a new semi-quantum key distribution with four states where a key can be= securely distributed between Alice who can perform any quantum operation and Bob who works classically. We have proposed new protocols for semi-quantum key distribution with less than four states and their security has been analyzed in detail. Recently, this idea of ''semi-quantumness'' has been incorporated also to quantum secret sharing [Phys.Rev. A 82, 022303 (2010)], and a semi-quantum secret sharing protocol has been presented, where a quantum Alice, can share a secret key with two classical participants and they can collaborate to recover the secret, but none can do that alone. In the protocol, a three-particle maximally entangled state plays a crucial role. However, multipartite entangled states are generally difficult to prepare in experiments. Therefore, we also present a new protocol for semi-quantum secret
sharing where a quantum participant can share a secret key with two classical participants without using any entanglement. The protocol is also showed to be secure against eavesdropping.
Quantum Computation and Information Seminar
http://sem.math.ist.utl.pt/qci/index.xml
URL: http://www.it.pt
SEON 2011 - IX Symposium On Enabling Optical Networks and Sensors (01-07-2011)
IX Symposium On Enabling Optical Networks and Sensors
Friday, 1st of July of 2011
AVEIRO - PORTUGAL
URL: http://seon2011.inescporto.pt/
Seminar - Semi-quantum key distribution with less states and Semi-quantum secret sharing without entanglement (17-06-2011)
Daowen Qiu (SQIG, Instituto de Telecomunicações).
June 17, 2011, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
Boyer, Kenigsberg, and Mor [Phys.Rev.Lett.99, 140501(2007)] proposed a new semi-quantum key distribution with four states where a key can be= securely distributed between Alice who can perform any quantum operation and Bob who works classically. We have proposed new protocols for semi-quantum key distribution with less than four states and their security has been analyzed in detail. Recently, this idea of "semi-quantumness" has been incorporated also to quantum secret sharing [Phys.Rev. A 82, 022303 (2010)], and a semi-quantum secret sharing protocol has been presented, where a quantum Alice, can share a secret key with two classical participants and they can collaborate to recover the secret, but none can do that alone. In the protocol, a three-particle maximally entangled state plays a crucial role. However, multipartite entangled states are generally difficult to prepare in experiments. Therefore, we also present a new protocol for semi-quantum secret sharing where a quantum participant can share a secret key with two classical participants without using any entanglement. The protocol is also showed to be secure against eavesdropping
Quantum Computation and Information Seminar
http://sem.math.ist.utl.pt/qci/index.xml
Support: CAMGSD, CFIF, CFP and SQIG/IT with support from FCT and FEDER, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel and PTDC/EIA/67661/2006 QSec
URL: http://www.it.pt
(Some History and) Recent Developments in Iterative Shrinkage/Thresholding (IST) Algorithms (17-06-2011)
Mário Figueiredo (IST - TU Lisbon / IT).
June 17, 2011, Friday, 16h15m.
Iterative shrinkage/thresholding (IST) algorithms are important elements of the computational toolbox used in signal processing and statistical inference problems, where sparse solutions are sought. Examples, include compressed sensing and signal/image restoration. IST algorithms are typically used to address unconstrained minimization formulations, where the objective function includes a quadratic data term (corresponding to liner observation model under Gaussian noise) and a non-quadratic regularizer (such as an l1 norm or a TV norm). In this talk, after briefly reviewing the several ways in which IST algorithms can be derived, as well as several convergence results, I will present some recent advances: (a) new ways to derive IST-like algorithms, (b) new accelerated versions of IST, (c) new IST-type algorithms tailored to non-Gaussian noise models.
Room: 3.10, Mathematics
Support: SQIG/Instituto de Telecomunicações with support from FCT and FEDER.
URL: http://www.it.pt
CST Workshop Series, 2011 LISBON (17-06-2011)
CST WORKSHOP
CST invites you to a free one-day seminar focused on successful design using the latest 3D electromagnetic simulation software. Recent innovations have made EM simulation an essential and easy to use part of any high frequency or high speed design workflow. This workshop will explore how you can best exploit the technology for your own design area. The workshop will look at local industry requirements including RF / Microwave / Antenna design, EMC / EMI predictions, and EDA / Signal Integrity analysis.
Application oriented presentations and exciting live demos show you how simulation can significantly improve throughput and reduce costs.
On-line registration (http://cst.com/Content/Events/Details.aspx?eventId=1955) is needed to attend the workshop (free of charge).
PROGRAM
9:00 9:20 Welcome and Registration
9:20 9:40 Introduction to 2011 workshop series
9:40 10:40 Key Features+Benefits of CST STUDIO SUITE 2011
10:40 11:00 Coffee break
11:00 12:00 Complete Technology for Array Design
12:00 12:30 CST frequency and transient solvers compared for the analysis of thin layer antennas, Jorge Costa – IT/ISCTE
12:30 14:00 Lunch break
14:00 14:40 Faster Design Cycles with High Performance Hardware
14:40 15:10 Development of Ka-band antenna array for satellite applications, Rafal Glogowski – IT/IST
15:10 15:40 Microwave Circuits and Components
15:40 16:10 Correcting EMC Problems by Correct EM Modeling
16:10 16:30 Coffee break
16:30 17:00 Charging Towards Successful ESD Protection Design/Problems of Scale Lightning
17:00 17:40 Discussions / Support
URL: http://cst.com/Content/Events/Details.aspx?eventId=1955
Research Symposium (09-06-2011)
This is an informal invitation to participate at the Research Symposium this coming Thursday 9th, June at 14h30 at FCUP-DCC, room 1.
The agenda will be as follows (it might suffer some modifications)
Speakers
Verónica Orvalho - VERE - Virtual Embodiment and Robotic Re-Embodiment // GOLEM - Realistic Virtual Humans
Tiago Fernandes - LIFEisGAME - LearnIng of Facial Emotions usIng Serious GAMEs
José Miranda - Intuitive Real Time Facial Interaction and Animation - Scketch
Pedro Bastos - Easy Facial Constraints: A Dynamic Industry Standard - Blender
Bruno Oliveira - Facial Muscles Simulation
Nuno Barbosa - Auto-rigging
Luís Leite - Virtual puppets
&
Miguel Coimbra - Interactive Systems for Medicine and Biology
Fahran Riaz - CAGE - Computer Assisted Gastroenerology Examination
Nuno Marques - Compressed Domain Topographic Segmentation of Capsule
Endoscopy Videos (CAGE)
Pedro Gomes - Vital Responder - Monitoring Stress Among First
Responder Professionals
Can Ye - Analyze Vital Signals for Real-time Health Status Estimation
in Unsupervised Environments (Vital Responder)
Joel Gouveia - Vital Analysis: A Framework for Annotating Biological
Signals of First Responders in Action (Vital Responder)
Fábio Hedayioglu - DigiScope - Digitally Enhanced Stethoscope for Clinical Usage
Pedro Nogueira - CellNote - Determining Leishmania Infection Levels by
Automatic Analysis of Microscopy Images
The goal is to share with the scientific community the research that is currently being done by the PhD students.
Each presentation will have 15 minutes.
At the end of the presentations we will have some ''good'' snacks to share while you enjoy the Posters and discuss with the researchers.
URL: http://www.it.pt
Seminar - ''Generative model inversion and information geometry'' (03-06-2011)
Tomas Kopf (U Opave, Czech Republic).
June 3, 2011, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
Abstract: Variational free energy, as used in generative model inversion, is reviewed. It is pointed out to be just a relative entropy (Kullback- eibler divergence), if non-normalized states are allowed. This allows to formulate model inversion in the framework of information geometry.
Support: CAMGSD, CFIF, CFP and SQIG/IT with support from FCT and FEDER, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel and PTDC/EIA/67661/2006 QSec.
URL: http://sem.math.ist.utl.pt/qci/index.xml
SEMINAR: Improving Primal and Dual Decompositions in Convex Optimization Problems: Application to Signal Processing and Communications (03-06-2011)
Prof. Gonzalo Seco©\Granados
Friday, June 3, 2011, 15h 30, Amphitheater EA1, Torre Norte
Abstract: Decomposition techniques apply the well©\known idea of divide©\and©\conquer to convex optimization problems, being primal and dual decomposition the two classical approaches. Although they achieve the goal of splitting the original program into several smaller problems (called the subproblems), these techniques exhibit in general slow speed of convergence and need user©\adjusted parameters.
In the signal processing and communication fields we usually deal with a variety of problems that exhibit certain coupling structures between the variables. In particular, we will focus on resource allocation problems, whose formulation is equivalent to the one found under the NUM framework and allows us to introduce QoS and cross©\layer information. We will argue how this formulation can be applied both to scheduling problems and to bandwidth©\on©\demand (BoD) systems, and we will review the application of primal and dual decompositions to these problems.
We will present the so©\called coupled©\decompositions method (CDM) that overcomes the drawbacks of the existing decompositions. It is derived after a careful observation of the information exchanged in the primal and dual decompositions, where one can realize that new schemes for information exchange are possible. The new method is interesting in both distributed and centralized implementations because it reduces the amount of signaling and provides a simple criterion to stop the iterations.
Finally, we will discuss the results obtained by applying the coupled©\decompositions method to three basic problems: classical water©\filling in Orthogonal Frequency Division Multiplexing (OFDM), fair Dynamic Bandwidth Allocation (DBA), and power allocation for cognitive radios.
Gonzalo Seco©\Granados received the Ph.D. degree in telecommunication engineering from Universitat Polit¨¨cnica de Catalunya (UPC), Barcelona, Spain, in 2000, and the M.B.A. degree from IESE ©\ University of Navarra, Barcelona, Spain, in 2002. During 2002©\2005, he was member of the technical staff with the RF Payload Division, European Space Research and Technology Center (ESTEC), European Space Agency, The Netherlands, where he was involved in the Galileo project. Since 2006, he has been an Associate Professor in the Department of Telecommunications and Systems Engineering, Universitat Aut¨°noma de Barcelona, Spain. Since March 2007, he is coordinator of the Telecommunications Engineering degree. Currently, he is Director of the Chair of Technology and Knowledge Transfer UAB Research Park©\Santander.
URL: http://www.it.pt
Seminar - Blind Compressed Sensing Over a Structured Union of Subspaces (02-06-2011)
Jorge Gomes da Silva
Research Scientist, Sr., Duke University, USA
This work addresses the problem of simultaneous signal recovery and dictionary learning based on compressive measurements. Multiple signals are analyzed jointly, with multiple sensing matrices, under the assumption that the unknown signals come from a union of a small number of disjoint subspaces. This problem is important, for instance, in image inpainting applications, in which the multiple signals are constituted by (incomplete) image patches taken from the overall image. This work extends standard dictionary learning and block-sparse dictionary optimization, by considering compressive measurements (e.g., incomplete data). Previous work on blind compressed sensing is also generalized by using multiple sensing matrices and relaxing some of the restrictions on the learned dictionary. Drawing on results developed in the context of matrix completion, it is proven that both the dictionary and signals can be recovered with high probability from compressed measurements. The solution is unique up to block permutations and invertible linear transformations of the dictionary atoms. The recovery is contingent on the number of measurements per signal and the number of signals being sufficiently large; bounds are derived for these quantities. In addition, a computationally practical algorithm that performs dictionary learning and signal recovery is derived, and conditions for convergence to a local optimum are established. Experimental results for image inpainting demonstrate the capabilities of the method.
Date and time: June 2, 15:00 – 16:00.
Place: IST (Alameda), Torre Norte, 5th floor, room 5.9 (DEEC meeting room).
URL: http://www.it.pt
Talk - Must and May Abstractions for Markov Decision Processes (27-05-2011)
David Henriques (SQIG-IT).
May 27, 2011, Friday, 16h15m.
Abstract: Model checking has been extensively used to automatically check properties in large-scale systems. However, the classical techniques only allow for checking of qualitative properties, thus being inadequate for inherently probabilistic systems. Probabilistic model checking (PMC) extends the classical suite of techniques of classical model checking by allowing quantitative reasoning over probabilistic-nondeterministic systems which combine both probabilistic behaviour and nondeterministic choice. Abstraction, the main tool to deal with the ``state explosion'' problem in the classical setting, is not well developed in the probabilistic setting, limiting the applicability of PMC to little more than checking of reachability properties. Part of the reason for this limited success is that counterexamples in the probabilistic cases are much more complicated objects than their classical counterparts, making counterexample analysis much harder. In this seminar, we will present an abstraction-refinement loop for probabilistic systems based on an extension of the concept of may and must abstractions in the classical setting. May and must abstractions are respectively over and underestimations of the behaviours of a system. For a large class of properties, one of the abstractions preserves satisfaction and the other preserves non-satisfaction, eliminating the need for (expensive) counterexample analysis. Joint work with Anvesh Komuravelli and Edmund Clarke.
Room: 3.10, Mathematics
Support: SQIG/IT with support from FCT and FEDER, namely via the following projects:
* PTDC/MAT/68723/2006 KLog;
* POCI/MAT/55796/2004 QuantLog;
* POSC/EIA/55582/2004 Space-Time-Types
URL: http://www.it.pt
Talk entitled ''Human Motion: Tracking and recognition of actions, emotions and interactions'' (27-05-2011)
The presentation will be May 27th, at 10h00
Location: DCC - FCUP, sala 1
Rua Campo Alegre 1021.
Human Motion: Tracking and recognition of actions, emotions and interactions
J. K. Aggarwal
Department of Electrical and Computer Engineering
The University of Texas, Austin, Texas 78712
Humans have always been interested in motion: Mobiles hung over the crib fascinate young children. Zeno studied moving arrows to pose a paradox. Zeke is investigating the human brain devoted to the understanding of motion. Prof. Aggarwal’s interest in motion started with the study of motion of rigid planar objects and gradually progressed to the study of human motion. Understanding human motion is a diverse and complex subject that includes recognizing and tracking individual actions, interactions between people, and interactions between people and objects, from the actions and emotions of an isolated person to the actions and interactions of a crowd. Prof. Aggarwal’s talk will present an overview of the ongoing research in human motion recognition at The University of Texas at Austin. The issues considered in these problems will illustrate the richness and the difficulty associated with understanding human motion. The application of the above research to monitoring will also be discussed.
Short Bio:
J. K. Aggarwal has served on the faculty of The University of Texas at Austin College of Engineering since 1964. His research interests include computer vision, pattern recognition and image processing focusing on human motion. He is a Fellow of IEEE, IAPR and AAAS. More recently, he is the recipient of the 2004 K S FU prize of the International Association for Pattern Recognition, the 2005 Kirchmayer Graduate Teaching Award of the IEEE and the 2007 Okawa Prize of the Okawa Foundation of Japan. He is also a Life Fellow of IEEE and Golden Core member of IEEE Computer Society. He has authored or edited several books, chapters, conferences proceedings, and papers.
URL: http://www.it.pt
Workshop ''The Growing Demands on Connectivity and Information Processing in Radio Astronomy from VLBI to the KKA'' (24-05-2011)
This workshop intends to review current R&D trends in radio-astronomical data analysis and their convergence with the FP7/FP8 ICT roadmaps. The topics will cover astronomy and space science applications and deal with the technologies being investigated in projects ranging from electronic Very Long Baseline Interferometry (e-VLBI) to the SKA (Square Kilometre Array). Future paradigms for information processing up to the Exabyte and Exaflop regime will be discussed in collaboration with major industrial partners.
The distributed sensor networks currently used in radio astronomy are generating ever larger amounts of digital data, posing increasing demands on processing, transport and storage facilities. Networked instruments such as the e-EVN already send much of their data in real-time via optical fibres, through national and international research networks. Networked infrastructure was critical for the establishment and success of recent telescopes such as ALMA, e-Merlin, LOFAR, e-VLA and e-EVN. The ongoing transition from 10 Gbps to 100+Gbps networking infrastructure will lay the foundation for the next generation instruments and drive much of the cost of infrastructure of these large-scale projects.
How to utilise the emerging ICT infrastructure will be of crucial importance for many SKA Pathfinders. The EC-funded NEXPReS programme (Novel EXplorations Pushing Robust e-VLBI Services) is investigating new signal transport and processing technologies. SKA Design Studies like the PrepSKA and the Aperture Array Verification Program (AAVP) will have a direct influence on the utilisation of network connectivity. The SKA, precursors like ASKAP, Meerkat, MWA and pathfinders like APERTIF and in general any Aperture Array components, will certainly pose additional challenges on connectivity, processing and storage, representing an increase of several orders of magnitude compared to current information processing scenarios and may lead to the usage and test of new technologies for Future Internet. This growing connectivity will condition the final computing stages and science exploitation. These aspects will depend on new protocols for data formatting and successors to the widespread IP technology may be needed to take full advantage of the expected performance increase on the physical transport side.
URL: http://www.av.it.pt/workshops/ict_vlbi2ska.html
SEMINAR - Taking Saratoga from Space-Based Ground Sensors to Ground-Based Space Sensors (23-05-2011)
SEMINAR 23rd May 2011
Instituto de Telecomunicações - Aveiro
Amphitheather, 16h00
Title: Taking Saratoga from Space-Based Ground Sensors to Ground-Based Space Sensors
by Dr.Charles Smith, CSIRO, Australia
Abstract:
The Saratoga transfer protocol was developed by Surrey Satellite Technology Ltd (SSTL) for its Disaster Monitoring Constellation (DMC) satellites. In over seven years of operation, Saratoga has provided efficient delivery of remote-sensing Earth observation imagery, across private wireless links, from these seven low-orbit satellites to ground stations, using the Internet Protocol (IP). Saratoga is designed to cope with high bandwidth-delay products, constrained acknowledgment channels, and high loss while streaming or delivering extremely large files. An implementation of this protocol has now been developed at the Australian Commonwealth Scientific and Industrial Research Organization (CSIRO) for wider use and testing. This is intended to prototype delivery of data across dedicated astronomy radio telescope networks on the ground, where networked sensors in Very Long Baseline Interferometer (VLBI) instruments generate large amounts of data for processing and can send that data across private IP- and Ethernet-based links at very high rates. We describe this new Saratoga implementation, its features and focus on high throughput and link utilization, and lessons learned in developing this protocol for sensor-network applications.
Publication: IEEE Aerospace Conference 2011
The seminar is intended to informally present to those interested on the convergence of Future Internet, Space Science applications of Remote Sensing and application to ground-based space sensor arrays. Students are most encouraged and welcomed .
Biography: Charles Smith is a networking consulting engineer who is currently attached to the CSIRO Astronomy and Space Science Division. He is advising the Australian Telescope National Facility and the Square Kilometre Array Project Development Offices on networking technologies, and researching architectures for the data and control planes for the ASKAP and SKA radio telescopes. Previously, Charles spent eight years at Cisco Systems, where he was a principal architect and engineered research and education networks, including the National Lambda Rail in the United States and TWAREN backbones in Taiwan.
Conveners: Domingos Barbosa, João Paulo Barraca
URL: http://www.it.pt
Seminar "Combining Negation" (06-05-2011)
Jean-Yves Béziau (UFRJ - Brazil).
May 6, 2011, Friday, 16h15m.
Abstract: Classical negation can be decomposed in various rules of pure negation (rules dealing with negation as the only connective). In this talk we will study the combination of these rules between each other and with pure rules for other connectives. In this setting we will examine in particular the combination of negation with disjunction to understand how the law of excluded middle paradoxically appears, contradicting the standard conservative idea of combination of logics.
Room: 3.10, Mathematics
Support: SQIG/IT with support from FCT and FEDER, namely via the following projects:
* PTDC/MAT/68723/2006 KLog;
* POCI/MAT/55796/2004 QuantLog;
* POSC/EIA/55582/2004 Space-Time-Types
URL: http://sem.math.ist.utl.pt/clc
Forum FISTA (Forum of ISTA) (03-05-2011)
The ISCTE-IUL School of Technology and Architecture (ISTA), in close cooperation with its students, organized its first annual forum called FISTA (Forum of ISTA), dedicated to the subject “Companies powered by Universities”, that took place between the 3rd and 4th of May 2011 at the great auditorium of the InstitutoUniversitário de Lisboa. During these days there were several presentations and expositions in all scientific areas of this school, involving research institutions and companies. The event ended with an interesting debate with representatives from the industry and the university, emphasizing this important cooperation that characterizes ISCTE-IUL.
URL: http://fista.iscte-iul.pt/
EUROCON2011 (27-04-2011)
EUROCON 2011 is a major international forum presenting design methodologies, techniques, experimental results and recent industrial developments in emerging electro-technologies. EUROCON is one of the flagship conferences of the IEEE Region 8 with participants from all over the world. The purpose of this conference is serving as catalyst for the technical exchange between researchers and practitioners from different technological fields.
In 2011 EUROCON will be organized jointly with CONFTELE (Conference on Telecommunications) a conference organized every other year in Portugal, by “Instituto de Telecomunicações”, a research institute mainly devoted to creating and sharing knowledge for telecommunications.
Dates: April 27-29, 2011
Venue: Lisbon, Portugal.
EUROCON Proceedings will be placed in IEEE Xplore database.
The schedule for authors is:
Deadline for submission of papers: October 30, 2010
Notification of acceptance: January 30, 2011
Camera ready papers and early registration: February 28, 2011
All the latest official information for the conference is available on our website http://www.eurocon2011.it.pt/
URL: http://www.eurocon2011.it.pt/
IEEE Portugal APS/EDS/MTTS Joint Chapter Instituto de Telecomunicações, Instituto Superior Técnico (26-04-2011)
(Sala 11.26, Torre Norte, IST, 26 April 2011, 10h00)
New Challenges for Antennas
Antennas are gaining ever increasing importance for they dramatically influence system performance as new challenges are popping-up for wireless systems in terms of mobility, terminal compactness, bandwidth, multiservice, or resilience to harsh impairments from the scenarios, to name just a few. Also new services are hitting mass market along with its own challenges for the technology. Work on antennas at IT is following some of these challenging trails: new wideband antenna configurations for enhanced MIMO array performance, new antenna developments for item localization up to centimeter scale using UWB-IR, tag antennas for next generation RFID based on hybrid UHF/UWB approach, shaped dielectric lenses for gigabit LANs at mm-waves. On-going work will be presented by students and researchers from IT.
10:00 Eduardo Lima, "Wideband cavity-backed slot antenna for wireless access points"
10:20 Andela Zaric, "Antennas for UWB-IR localization"
10:40 Catarina Cruz, "Antennas for hybrid UHF/UWB RFID"
11:00 Pedro Serrão, "Transparent antennas for RFID"
11:20 Sonia Holik, "3D shaped lenses for mm-wave applications"
EDUARDO B. LIMA received the Licenciado and MSc degrees in Electrical and Computer Engineering from Instituto Superior Técnico (IST), Technical University of Lisbon, Portugal, in 2003 and 2008 respectively. He is a Researcher at the Instituto de
Telecomunicações, Lisbon, Portugal. His present research interests include dielectric lens antennas, UWB and MIMO.
Andela Zaric was born in Brcko, Bosnia and Herzegovina, in 1987. She received B.Sc. degree in Electrical Engineering and Information Technology from the Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia in 2009. Currently she is finishing M. Sc. studies in Information and Communication Technology at the same Faculty and is a trainee at Instituto de Telecomunicações, Lisbon, Portugal.
Catarina C. Cruz received the BSc. degree in Computer Science and Telecommunications Engineering from the Instituto Superior Ciências do Trabalho e da Empresa (ISCTE), Lisbon, Portugal, in 2009. Currently she is finishing the MSc. studies in the area of Telecommunications at ISCTE. Her current research interests are in the area of antennas for RFID.
Pedro M. Serrão received the BSc. degree in Electrical and Computer Engineering from the Instituto Superior Técnico (IST), Technical University of Lisbon, Lisbon, Portugal, in 2008. Currently he is finishing the MSc. studies in the area of Telecommunications at IST. His current research interests are in the area of antennas for RFID.
Sonia M. Holik received the M.Sc degree in Mathematics from the University of Opole, Poland and Ph.D degree in Electronics and Electrical Engineering from the University of Glasgow, United Kingdom. Since November 2010, she is working as a Researcher in the Instituto Superior Técnico at Universidade Técnica de Lisboa. Prior to that she was a Post Doctoral Researcher at the University of Glasgow.
URL: http://www.it.pt
The Connectivity Discovered by Routing Protocols: Why Networking Is Not Graph Theory (18-03-2011)
João Sobrinho (IST - TU Lisbon / IT).
March 18, 2011, Friday, 16h15m.
Abstract: What is the minimum number of links in a network whose failure interrupts the flow of traffic from a node X to a node Y? If all paths in the network can be used to carry traffic, then Menger’s theorem provides the answer: the minimum number of links whose failure interrupts the flow of traffic from X to Y equals the maximum number of link-disjoint paths from X to Y, a quantity which can be computed in polynomial-time. However, routing policies preclude some paths from carrying traffic. Moreover, these routing policies are substantiated by routing protocols which, alas, discover some paths all the while hiding others. The bottom line is that, in a networking setting, the question above is not answered by Menger’s theorem or any other result from graph theory. We algebraically identify a broad class of routing policies for which we can answer our opening question with a polynomial-time algorithm. Complementarily, we show the counter-intuitive behavior of routing policies that call out of that class. The theory is applied to a public description of the Internet’s topology to quantify how much of its intrinsic connectivity is lost to current routing policies and how much is recovered with simple alternative ones.
Room: 3.10, Mathematics
Support: SQIG/IT with support from FCT and FEDER, namely via the following projects:
* PTDC/MAT/68723/2006 KLog;
* POCI/MAT/55796/2004 QuantLog;
* POSC/EIA/55582/2004 Space-Time-Types
URL: http://sem.math.ist.utl.pt/clc/
Talk on Side Information Fusion for Multiview Distributed Video Coding (17-03-2011)
Side Information Fusion for Multiview Distributed Video Coding
Frederic Dufaux, CNRS Research Director at Telecom ParisTech
Sala de Reuniões do IT, Torre Norte, 10º Piso
17 Março, 11h
Distributed video coding (DVC) offers a number of potential advantages which make it well-suited for emerging upstream applications. First, it allows for a flexible partitioning of the complexity between the encoder and decoder. Furthermore, due to its intrinsic joint source-channel coding framework, DVC is robust to channel errors. Because it does not rely on a prediction loop, DVC provides codec independent scalability. DVC is also well-suited for multi-view coding by exploiting correlation between views without requiring communications between the cameras, which may be an important architectural advantage. Moreover, multi-view coding is gathering a lot of interests lately, as it is attractive for a number of applications such as stereoscopic video, free viewpoint television, multi-view 3D television, or camera networks for surveillance and monitoring. When compared to mono-view, the main difference in multi-view DVC is that the Side Information (SI) can be computed not only from previously decoded frames in the same view, but also from frames in other views. It is then possible to generate multiple SI using either motion compensated temporal interpolation or disparity compensated interpolation. The next issue is how to effectively combine these different predictions. For fusion at the decoder side, the challenge lies in the difficulty of determining the best predictor. In this talk, we will introduce some new SI fusion approaches and present performance assessment results.
Biography
Dr. Frederic Dufaux is a CNRS Research Director at Telecom ParisTech. He is also Editor-in-Chief of Signal Processing: Image Communication. Frederic received his M.Sc. in physics and Ph.D. in electrical engineering from the Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, in 1990 and 1994 respectively. Frederic has over 20 years of experience in research. He has been a senior research fellow at EPFL, chief scientist at Emitall Surveillance, principal solutions architect at Genimedia, senior member of research staff at Compaq / Digital Equipment, postdoctoral fellow at MIT, and visiting researcher at AT&T Bell Laboratories. Frederic has been involved in the standardization of digital video and imaging technologies for more than 15 years, participating both in the MPEG and JPEG committees. He is currently co-chairman of JPWL and JPSearch. He is the recipient of two ISO awards for these contributions. His research interests include image and video coding, distributed video coding, 3D video, visual quality assessment, video surveillance, privacy protection, image and video analysis, multimedia content search and retrieval, video transmission over wireless network. He is the author or co-author of more than 100 research publications and holds 17 patents issued or pending.
URL: http://www.img.lx.it.pt/Events/2011_03_FredericDufaux.pdf
Workshop on The Interface Between Mathematics, Science and Engineering (10-02-2011)
The second workshop of the Thematic Network in Mathematics in Science and Engineering – http://www.dcc.fc.up.pt/mathise/ – will take place in the Departamento de Matemática of Instituto Superior Técnico on February 10 and 11, 2011. The workshop includes a series of talks on themes lying on the intersection of mathematics, science and engineering. The main objective of the event is to promote the interaction and collaboration among researchers working in these areas. The program of the workshop is available at http://www.dcc.fc.up.pt/mathise/events/mathise2011.htm.
The event is open to everyone.
URL: http://www.dcc.fc.up.pt/mathise/events/mathise2011.htm
Talk ''UWB Antenna Applications'' (27-01-2011)
Sponsored by IEEE Portugal APS/EDS/MTTS Joint Chapter, Instituto de Telecomunicações, and Instituto Superior Técnico (IST), Nuno Pires (Instituto Superior Técnico and Instituto de Telecomunicações) will give a talk entitled ''UWB Antenna Applications'', next Thursday, January 27, at 14h00, in room 11.26 (North Tower, IST Alameda Campus).
You are cordially invited to attend the presentation.
You can find more details in the attached pdf file.
Custódio Peixeiro
IEEE Portugal APS/EDS/MTTS Joint Chapter Vice-Chairman
URL: http://cascais.lx.it.pt/~public/NPires-Anuncio.pdf
Optical demonstration of the Deutsch-Jozsa algorithm with a single qubit (11-01-2011)
Mariana Barros (U Federal de Minas Gerais).
January 11, 2011, Tuesday, 15h30. * * * Please note exceptional day and time. * * *
Location: Room P4.35, Post-Graduation Building, IST.
Abstract: In this work we implement the Deutsch-Jozsa algorithm with one qubit, removing its redundancy, which reduced the register size and simplified the evaluation function. For this, we used pairs of photons generated by parametric down conversion, where one is used as triger and the other goes through a double slit leaving it in a state of superposition of paths, i.e. a qubit. Using a spatial modulator and detecting photons in coincidence, we demonstrate the Deutsch-Jozsa algorithm with photons, and using only one qubit.
URL: -
Seminar ''Randomized Approximate Scheduling in Multi Hop Networks'' (21-12-2010)
Mr. Diogo Quintas, Centre for Telecommunications Research, King’s College London
Tuesday, December 21th, 2010 at 14h30
Throughput optimal routing algorithms, first purposed by Tassiulas and Ephremides in 1992, rely in solving a maximization problem that, in general and depending on the particular interference model and degrees of freedom, is in NP-complete.
Two non-optimal scheduling algorithms with provable performance bounds will be explored and a simple randomization technique is introduced such that the average performance of both techniques is improved.
URL: http://www.e-projects.ubi.pt/IEEE/Site/eventos_proximos.html
Seminar Project monIT “Exposure to Electromagnetic Radiation” (15-12-2010)
Mestre Daniel Sebastião, Instituto de Telecomunicações/Instituto Superior Técnico
Wednesday, December 15th, 2010 at 14h30
This presentation is focused on the subject of electromagnetic radiation exposure, starting by a more general approach and then looking specifically at the mobile communication systems. It begins with an overview of general concepts, looking at the different sources and types of radiation, followed by the possible effects on the human health and the current exposure limits that are established in Portugal. Then, focuses on the mobile communication systems and the main characteristics that are used in order to reduce the overall exposure for the users. The presentation is finalized by a brief look at the monIT Projects' activities and results from all the measurement campaigns done so far.
URL: http://www.e-projects.ubi.pt/IEEE/Site/eventos_proximos.html
MASTER CLASS: Development Culture (Videogame) (15-12-2010)
Development Culture (Videogame) by Ricard Pillosu Development Manager at Crytek
http://www.crytek.com
Wednesday, December 15th, 2010 at 15h00
Faculdade de Ciências da Universidade do Porto
Departamento de Ciência de Computadores
Rua do Campo Alegre, 1021/1055
4169 - 007 Porto
Portugal
Speaker: Ricard Pillosu (Crytek)
The registration is free, we have limited availability (max 120 participants).
The registration is on a first come, first served basis.
Please register at the following site:
http://www.dcc.fc.up.pt/~veronica.orvalho/workshop_register/
if you have any questions you can contact me directly:
veronica.orvalho@dcc.fc.up.pt or leila.a.fernandes@dcc.fc.up.pt
Agenda:
1- Welcome - Veronica (5m)
2. Development Culture (Videogame) - Ricard (45m)
Creating a unified mindset of personal and professional development creates favorable conditions for successful game development. A culture of learning goes beyond budgets and development plans to a shared mindset in the leadership. Valuing and respecting achievements of staff through measures like 80/20 rule and collaborative Team Development Plans ultimately expresses commitment of the organization to their talent. The perception that your potential could not be maximized better at any other employer is the best measure to retain great talent in times when innovation and ability to deliver are the primary differentiators in the market
Ricard's Short Bio:
After working as programmer for different web studios, Ricard Pillosu completed a Master Degree in videogame programming and moved into the game industry. Since then he has been involved in different projects like Pyro Studio's RTS "Imperial Glory" and Arvirago's "Lord of the Creatures". He works at Crytek since 2006 he started as AI programmer and now he is Development Manager with a team of 25 people.
3. Discussion and close - Ricard & Veronica (25m)
URL: http://www.crytek.com
Tree Search and Quantum Computation (26-11-2010)
Luís Tarrataca (IST-UTL).
November 26, 2010, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
Abstract: Traditional tree search algorithms supply a blueprint for modeling problem solving behaviour. A diverse spectrum of problems can be formulated in terms of tree search. Quantum computation, namely Grover’s algorithm, has aroused a great deal of interest since it allows for a quadratic speedup to be obtained in search procedures. In this work we consider the impact of incorporating classical search concepts alongside Grover’s algorithm into a hybrid quantum search system. Some of the crucial points examined include: (1) the reverberations of contemplating the use of non-constant branching factors; (2) determining the consequences of incorporating an heuristic perspective into a quantum tree search model. Joint work with Andreas Wichert.
URL: http://sem.math.ist.utl.pt/qci/index.xml
Seminar Noncommutative quantum mechanics, quantum cosmology and black holes (19-11-2010)
Orfeu Bertolami (U Porto).
November 19, 2010, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
We discuss the main features of a phase space noncommutative model of quantum mechanics and its application for quantum cosmology and black holes in the context of the Kantowski-Sachs minisuperspace geometry.
Quantum Computation and Information Seminar
URL: http://sem.math.ist.utl.pt/qci/index.xml
Secure Biometrics Seminar (15-11-2010)
No dia 15 de Novembro de 2010 (2ª feira), das 10:00 às 12:30, decorrerá no Anfiteatro do Complexo Interdisciplinar, no Instituto Superior Técnico, um seminário sobre ''Secure Biometrics'' (http://www.img.lx.it.pt/EURASIP_Seminar/).
O programa inclui uma palestra com o título ''Secure Identity Verification'', pelo Dr. Anthony Vetro, dos Mitsubishi Electric Research Labs, Cambridge, Massachusetts, USA (o abstract está abaixo).
Seguir-se-á um painel de discussão, em que participarão também a Prof. Ana Fred, do Instituto Superior Técnico, o Prof. Hugo Proença, da Universidade da Beira Interior, o Prof. Hugo Gamboa, da Plux e da FCT Universidade Nova de Lisboa e o Prof. Luís Ducla Soares, do ISCTE Instituto Universitário de Lisboa.
Biometrics are an inherent link to our identity and useful for a number of applications including access control and online transactions. Keeping this information secure is a primary concern. However, biometric data is noisy and secure matching of this data poses new security challenges. This talk will examine two approaches for secure identity verification. The first scheme considers the application of distributed source coding techniques to cope with noisy biometric measurements. A Slepian-Wolf coding system is used to provide robust biometric verification for genuine users, while guarding against attacks from imposters. A formal quantification of the tradeoff between security and robustness is provided as a function of the Slepian-Wolf coding rate. The second approach addresses the same problem with privacy-preserving protocols for secure distance computations. These protocols exploit the properties of homomorphic encryption and are developed for a variety of functions including Hamming distance, L2-norm and L1-norm. The benefits and drawbacks of these two different approaches will also be discussed.
URL: http://www.img.lx.it.pt/EURASIP_Seminar/
Seminar - Radio astronomy and exploration of space: six decades together (15-11-2010)
Radio astronomy and exploration of space: six decades together
L.I. Gurvits
Head of Space Applications and Innovation
Joint Institute for VLBI in Europe, Dwingeloo, The Netherlands
Over its entire history, the exploration of space is closely linked with the developments of radior rastronomy. The interaction between the realms of radio astronomy and space science and industry is mutually beneficial: at numerous occasions, technologies, methods and facilities developed in one field provided crucial support in the other one. The present status of radio astronomy links to space science and exploration is very rich. It covers a broad range of applications from cosmology to planetary science to geophysics and even fine-tuning of global navigation systems.
The next big technological step in radio astronomy, the Square Kilometre Array will provide a basis for new radio astronomy applications in space and planetary science and exploration. These include Planetary Radio Astronomy and Doppler Experiments (PRIDE) aimed at an ultra-precise characterisation of vector-states of planetary probes and other deep space craft. PRIDE measurements will address a broad range of science topics from fundamental physics to evaluation of habitability of interiors of various bodies of the Solar System. Another challenging task for ultra-sensitive radio astronomy facilities is a Direct-to-Earth (DtE) delivery of science data from planetary probes via low-power and low-gain on-board transmission systems. In both PRIDE and DtE applications, SKA and its pathfinders will be indispensible due to their frequency agility, superior sensitivity and signal processing capabilities.
In this presentation I will review the current status of radio astronomy segments of several space-borne astronomy, planetary science and exploration missions. This will include the missions scheduled for launch during the implementation phase of SKA, thus relevant to the operational period of the SKA pathfinders and technology demonstrators, especially at frequency bands below 2.5 GHz. These bands are accepted as operational for radio communication systems of several prospective Mars exploration missions (such as ExoMars and MarsNet). At higher frequency bands, a number of SKA pathfinders will play an important role in planetary missions of the coming decade targeting Mars, Venus and Mercury. I will also present the case for major ESA and NASA flagship missions to outer planets, the Europa Jupiter System Mission (EJSM) and Titan Saturn System Mission (TSSM) accepted for pre-evaluation studies with the target launch dates around 2020 and later. Several scientific topics of these missions can be best addressed with a wide-field SKA as an Earth-based PRIDE and DtE facility.
URL: -
Workshop on High Perfomance Computing (HPC) (03-11-2010)
The Workshop on High Perfomance Computing (HPC), that takes place at the Departamento de Engenharia Electrotécnica e Computadores of the Universidade de Coimbra, on November 3, 2010, is organized by the Coimbra Pole of the
Telecommunications Institute and intends to gather researchers and students interested on the HPC field and its application to various areas, such as
Telecommunications.
This event consists of three courses, presented by renowned specialists, on the Basics of Supercomputing, the Microsoft HPC architecture and on Grid Computing, and of five invited presentations, carried by researchers that have been successfully adopting the HPC paradigm to various areas of Science and Technology.
For further information, see http://www.ccc.ipt.pt/~hpc.
Organizers:
- Luís Cruz, DEEC-UC and Instituto de Telecomunicações;
- João Patrício, Inst. Polit. Tomar and Instituto de Telecomunicações.
- Luís Merca Fernandes, Inst. Polit. Tomar and Instituto de Telecomunicações;
URL: http://www.ccc.ipt.pt/~hpc.
Seminar Benchmarks and statistics of entanglement dynamics (02-11-2010)
Markus Tiersch (U Innsbruck).
November 2, 2010, Tuesday, 15h.
Location: Room P3.10, Mathematics Building (to be confirmed).
The endeavor to extend genuine quantum effects to ever larger systems, and to elucidate whether or not such quantum effects play a non-trivial role in driven, complex molecular systems poses a great technological and, moreover, conceptual challenge. Entanglement is a quantum effect that is required to demonstrate the genuine features of quantum physics beyond the wave-particle duality, namely to violate a Bell-inequality, and thereby proof correlations stronger than explainable by classical physics. In order to understand and efficiently assess entanglement in dynamical, complex systems under realistic conditions, we develop a unified picture of the dynamics of entanglement in general open quantum systems. A detailed algebraic analysis reveals evolution equations of entanglement, which show that it is possible to benchmark the entanglement dynamics with a single test state. A topological perspective for large quantum systems that employs results of high dimensional geometry yields effective, statistical results, which unveil a typical behavior of entanglement evolution. Both approaches thereby simplify the understanding of entanglement in a dynamical system, and stimulate the investigation of the role that entanglement plays in driven, complex systems far from thermal equilibrium.
URL: http://sem.math.ist.utl.pt/qci/index.xml
Palestra - The Future of the Security Industry (29-10-2010)
The Instituto de Telecomunicações and the Department of Electrical and Computer Engineering at FEUP are very glad to announce the following special lecture by Bruce Schneier, a world leading authority in security engineering.
Title: The Future of the Security Industry
Speaker: Bruce Schneier
Date: Friday, 29th of October, 2010
Time: 11:00 AM
Place: FEUP, Room B0.32
IT is rapidly becoming a commodity. More companies are outsourcing their IT infrastructure treating it as a service more like electricity, office cleaning, or tax preparation and this has profound implications for IT security. Organizational users care less about the technical details of security. Products and services change their focus from the end user to the outsourcer. Industry consolidation results, as non-security IT infrastructure companies eek to bolster their security credentials. Even the rofession changes, as jobs move from individual rganizations to the outsourcing companies, and in ome cases overseas. This talk looks at the future of T security in a mature IT infrastructure industry.
URL: http://www.it.pt
Characterizing broadband access: how fast is fast? (26-10-2010)
Today, the primary metric used to compare broadband access services is peak speed. This metric may not be as important as people think, but it is used by marketing departments, regulators and the OECD to rate broadband access. Given this fact, it is important to agree on how we define ''speed'' and how we measure it. In fact, the field does not have a consistent definition, and the current tools to measure access speed are often inaccurate. This talk will discuss our evaluation of several of the current tools, discuss why they may not give the expected answer, and suggest some metrics other than speed that might be important in rating broadband access services .
26th October, at 14:00h, in the IT’s Amphitheatre
Speaker: Dave Clark
URL: http://www.it.pt
CST Workshop Series 2010, Lisbon (19-10-2010)
CST invites you to a free one-day seminar focused on successful design using the latest 3D electromagnetic simulation software.
Recent innovations have made EM simulation an essential and easy to use part of any high frequency or high speed design workflow. This workshop will explore how you can best exploit the technology for your own design area. The workshop will look at local industry requirements including RF / Microwave / Antenna design, EMC / EMI predictions, and EDA / Signal Integrity analysis.
Application oriented presentations and exciting live demos show you how simulation can significantly improve throughput and reduce costs.
This workshop is organized in cooperation with Instituto de Telecomunicações, Instituto Superior Técnico (Prof. Custódio Peixeiro) and takes place at Instituto de Telecomunicações, Instituto Superior Técnico, Torre Norte, room 11.26, (Av. Rovisco Pais, 1, Lisboa, Portugal) on October 19 (09:00-17:30).
To attend the workshop (free of charge) you must register on line at
URL: http://www.cst.com/Content/Company/RequestForm.aspx?request=workshop&id=1733
Information Security Seminar organized by the SQIG-IT (15-10-2010)
This coming Friday we will have another session of the Information Security Seminar organized by the SQIG-IT with a presentation by Luca Viganò (Università di Verona, Italy).
This seminar will be held at 4.15pm in room 3.10 of the Mathematics Building IST Campus@Alameda.
Further information at http://sem.math.ist.utl.pt/infosec/
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC.
Luca Viganò (Università di Verona).
October 15, 2010, Friday, 16h15m.
Abstract: We formalize automated analysis techniques for the validation of web services specified in BPEL and a RBAC variant tailored to BPEL. The idea is to use decidable fragments of first- order logic to describe the state space of a certain class of web services and then use state-of-the-art SMT solvers to handle their reachability problems. To assess the practical viability of our approach, we have developed a prototype tool implementing our techniques and applied it to a digital contract signing service inspired by an industrial case study. Joint Work with Alberto Calvi and Silvio Ranise.
Location: Room P3.10, Mathematics Building
Short Bio:
Dr. Luca Viganò is an Associate Professor at the Facoltà di Scienze Matematiche, Fisiche e Naturali, Università di Verona. Before moving to Verona, he was a member of the Information Security Group at the ETH Zürich. His research interests include Security Logics and other Formal Methods for security, and Labelled deduction for non-classical logics. Other interests include Logical Frameworks, Combination of logics and Philosophical logics.
http://profs.sci.univr.it/~vigano/
URL: http://sem.math.ist.utl.pt/infosec/
Workshop Quantum coherence and correlations in condensed-matter and cold-atom systems (11-10-2010)
Évora, Portugal, 11-15 October 2010
Quantum many-body systems show a variety of striking phenomena not observed in ensembles of classical particles. Quantum interference, quantum coherence, quantum entanglement and quantum statistics - fermionic, bosonic or fractional - often conspire in producing intricate many-particle states, including macroscopically coherent phases - Bose-Einstein condensation, superconductivity, charge- and
spin-density waves, to name but a few. The spectacular effects seen in transport experiments, for instance in the Quantum Hall Effect, in conductance quantization or in the Pauli blockade, also are related to the same quantum conspiracy. The aims of the workshop on ''Quantum coherence and correlations in condensed-matter and cold-atom systems'' will be both to elucidate the multiple facets of a very active field of research and to bridge the gaps between traditionally separate topics.
During the workshop some fundamental concepts will be introduced, such as quantum entanglement, topological order or integrability. A variety of different types of quantum matter will be considered, including cold atoms, strongly correlated electrons in transition metal oxides, graphene, quantum wires, quasi-one-dimensional compounds and quantum dots. Some phenomena will be described in detail, such as the interplay of magnetism and superconductivity in layered cuprates and pnictides, the competition of charge-density waves and superconductivity in metallo-organic chain compounds and the emergence of ferromagnetism and Mott states in fermionic systems of cold atoms.
A strong emphasis will be given to recent developments in the study of quantum many-body states, for instance tensor network states and their
relation to the density-matrix renormalization group, the characterization of states using string order parameters or the notion of the entanglement spectrum. A minority of talks will be rather technical, such as one on the calculation of expectation values of observables in integrable systems, another one on the mapping of spin models onto quantum-field theories. Conversely, several talks will be related to experiments exploring particularly intriguing phenomena, such as the mysterious pseudogap phase of cuprates, spin-dependent transport through double quantum dots, the existence of a
quantum-critical point in some pnictides, correlation effects in bilayer graphene. Two experimentalists will present their recent measurements, on graphene and organic chain compounds, respectively
URL: http://hawk.fisica.uminho.pt/qcmca/
Seminar ''Towards real-time optical blur compensation: sparsity, ultrafast pyramids and deformable filtering'' (08-10-2010)
There will be a seminar on Friday October 8 at 9:30 in room EA1 (North Tower), by Dr. Javier Portilla: ''Towards real-time optical blur compensation: sparsity, ultrafast pyramids and deformable filtering''.
Immediately afterward, at 10:30, will take place the discussion of the PhD thesis of Mariana Almeida, entitled ''Blind Separation and Blind Deblurring of Natural Images''. The discussion will take place in room PA3, in the Mathematics Building.
Please note that, due to the tight schedule, the seminar will start at 9:30 sharp Seminar Towards real-time optical blur compensation: sparsity, ultrafast pyramids and deformable filtering.
Dr. Javier Portilla
In the image processing field we often attack the image restoration problem in an idealized way.
Blurring is modeled as a perfect convolution, and its kernel is assumed perfectly known, noise is typically considered as independent from the signal, no spatial distortion is assumed, etc. In addition, relatively few researchers have set simultaneously the goals of high quality and high speed restoration, even under idealized degradation conditions. After many years in progress both in efficient statistical estimation and in hardware computational tools (like those providing parallelism), it seems that these two simultaneous goals are finally close to be achievable, using realistic degradation models. This talk will approach some of my recent progress in this area.
Dr. Javier Portilla is a senior researcher of the Instituto de Óptica of the Consejo Superior de Investigaciones Cientificas, Madrid, Spain. He has very relevant work in image processing, namely in
the aspects of image enhancement, adaptive filtering, adaptive multiscale representations, texture modeling, image segmentation and demosaicing.
Thesis
''Blind Separation and Blind Deblurring of Natural Images''
Mariana Almeida
This thesis addresses two important nonlinear inverse problems in image processing: the separation of show-through and bleed-trough mixtures and the blind deblurring of images. New solutions to cope with their high levels of indetermination are proposed.
Two separation methods are developed for the first problem. In a first approach, the indeterminacy of nonlinear Independent Component Analysis (ICA) is reduced through the use of a physical model with only four parameters. Based on other properties, a wavelet-based method is also developed. This non-iterative approach performs space-variant non pixel-wise separation. Both techniques reach separation results competitive with those of other methods.
Regarding blind deblurring, the technique that is developed does not impose strong restrictions on the blurring filter, overcoming the ill-posedness of Blind Image Deconvolution (BID) by initially considering the main image edges and, progressively, handling fainter and smaller ones.
The BID technique is extended for deblurring shift-variant degradations in which the blurred image consists of two layers that were subjected to different degradations. The approach is successfully tested on several images, with a variety of synthetic and real-life blurs, both in shift-invariant and two-layer problems. The deblurring results are visually and quantitatively better than those obtained with other state-of-the-art methods.
URL: -
Future 4G Mobile Networks (01-10-2010)
The Workshop entitled “Future 4G Mobile Networks” organised by IT/ISCTE-IUL will focus on the inter-disciplinary research challenges associated with several aspects of the next generation of mobile networks. The full day workshop in the Grand Auditorium (01st October) aims to bring together industrial, operator, regulator and academic perspectives and thinking to highlight the key technologies and solutions behind the future 4G networks and systems.
URL: http://future4g.dcti.iscte.pt/
SKA SYMPOSIUM - JENAM 2010 (09-09-2010)
The Square Kilometer Array: Paving the way for the new 21st century radio astronomy paradigm
9th-10th September 2010 www.jenam2010.org
Lisbon, Portugal
Deadline : 07/07/2010 End of early registration; 31/08/2010 End of late registration
The Square Kilometer Array will provide more than one order of magnitude improvement in sensitivity compared with any existing radio telescope over a wavelength range of several hundred to one, from decametric to microwave wavelengths. It will revolutionize the study of the most abundant element in the Universe, hydrogen, from the epoch of reionisation to the present-day, probing the onset formation period of the very first stars, look in depth to proto-planets and, through the precision timing of pulsars, detect the distortions of space-time due to gravitational radiation. SKA is a sensor machine spawning 3000km in extension and a collecting area of more than 1 square kilometre, using technologies of XXIst century. SKA will allow the study at radio wavelengths of a wide range of phenomena initially studied at other wavelengths as well as opening a new discovery window on new phenomena at radio wavelengths. The JENAM Symposium is aimed at bringing these diverse opportunities to the attention of both theoretical and observational astronomers working at all wavelengths, including the potential for synergies with other facilities. We intend:
i. To bring to the attention of the broader astronomical community the scientific potential of the SKA
ii. To discuss scientific priorities and their impact on the design of the SKA
iii. To explore the synergies between the SKA and other next generation astronomical facilities in different wavelength domains such as the ALMA ,ELTs, LSST, JWST, GRE, IXO, Gaia and Euclid and high energy facilities (Auger).
iv. To explore the ciberinfrastructure” that may become available for the distribution and distributed analysis of SKA data.
Confirmed Speakers :
-------------------------------------------
- Richard Schilizzi (SPDO, UK): The Status of the SKA (Plenary Session)
- Rashid Sunyaev (MPA, Germany and IKI, Russia): The Early Universe (TBC)
- Simon Garrington (JBCfA, UK): Societal Impacts of SKA
- Mike Garrett (ASTRON, NL): Science from the Pathfinders
- Joe Lazio (NRL, USA): Transient Phenomena: Opportunities for New Discoveries (TBC)
- Paulo Freire (MPIfR, Germany) : Pulsars and the Detection of Gravity Waves
- Steve Rawlings (Oxford U, UK): The Square Kilometre Array: Tracing the Universe from the EoR to the Present
- Raffaella Morganti (ASTRON, NL): Using HI to trace outflows from galaxies and feeding of AGN
- Paolo Padovani (ESO): AGN, Star Formation, and the nanoJy Sky
- Yuri Kovalev (ASC, Russia): Quasars and AGN
- Irwin DeBlok (U Cape Town, South Africa): Understanding Gravity
- Marijke Haverkorn (ASTRON, NL): Cosmic Magnetism
- Andrei Lobanov (MPIfR, Germany) : The SKA long baselines
- Arnold van Ardenne (ASTRON, NL): The SKA new Instrumentation Aperture Arrays
- Dave DeBoer (CASS/CSIRO, Australia): The SKA challenge
- Leonid Gurvits (JIVE): SKA in the context of space science and planetary exploration
- Giovanni Bignami (U Milan, Italy): High energy astrophysics: the view at SKA
- Heino Falcke (U Nijmegen, NL): SKA, Auger and fast time RadioAstronomy
- Patrick Charlot (Lab. For Astrophysics Bordeaux, France): Precision Astrometry from GAIA to SKA and talks on ELTs / SKA synergies (TBC)
- Dark energy and Dark matter: the Euclid’s look at SKA (TBC)
SOC
---------
- Prof. K. I. Kellermann, NRAO, USA (chair)
- Prof. R. Bachiller, IGN, Spain
- Prof. D. de Boer, CSIRO, Australia
- Prof. J. Cordes, Cornell, USA
- Prof. P. J. Diamond, U. of Manchester, UK
- Dr. L. Feretti, INAF - IRA, Bologna, Italy
- Prof. M. A. Garrett, ASTRON, The Netherlands
- Prof. L. I. Gurvits, JIVE, The Netherlands
- Prof. J. M. van der Hulst, U. of Groningen, The Netherlands
- Prof. J. Jonas, South Africa
- Prof. S. R. Rawlings, U. of Oxford, UK
- Prof. R. T. Schilizzi, SPDO
- Dr. S. Torchinsky, Observatoire de Paris, France
- Prof. Russ Taylor, U. Calgary, Canada
- Prof. J. A. Zensus, MPIfR, Germany
- LOC
- ----------
> Dr. Domingos Barbosa , IT- Aveiro, Portugal, (chair)
- Dr. Sónia Anton, CICGE-UP, Portugal
- Dr. Luis Cupido, IPFN, Portugal
- Dr. Mercedes Filho, CAUP, Portugal
- Dr. Dalmiro Maia, CICGE-UP, Portugal
- Dr. António Magalhães, CICGE-UP, Portugal
- Dr. Mário Santos, CENTRA-IST, Portugal
URL: www.jenam2010.org
6th International Mobile Multimedia Communications Conference - MOBIMEDIA 2010 (06-09-2010)
Mobimedia2010 would like to welcome you to the eccentric and vibrant city of Lisbon. Peaceful by day, full of life by night, a visit to this city would surely be an unforgettable experience to become part of its soul and take a giant leap into the past. Lisbon is a legendary city with over 20 centuries of History, a potpourri of unusual character and charm, where 800 years of cultural influences mingle with modern trends and life styles creating spectacular contrasts.
The focus of Mobimedia this year will be on Future Internet for Green and Pervasive Media. This is a challenging issue for consumers, manufacturers and service providers in a bid to provide a seamless transition from legacy internet towards the future where services are pervasive and tailor-made based on quality of experience. Whilst there are contentious discussions towards the internet of the future taking an evolutionary or disruptive stance, it is unanimous that this must be achieved in a green pervasive manner.
Mobimedia will bring scientists, engineers, manufacturers and service providers to exchange and share their experiences, new ideas, and research results surrounding all aspects on power saving and the solutions adopted to envisage a environmentally friendly internet of the future.
Looking forward to welcoming you in Lisbon on 6-8 September, 2010!
URL: http://www.mobimedia.org
4th RadioNet Engineering Forum Workshop (02-09-2010)
RATIONALE: Photonics in the heart of radio astronomy receivers and networks is a natural path for development for the next advanced generation of radio astronomy experiments: It allows reduction on receiver size, allowing the IF complex receiver circuitry to be hosted at distant locations; it promises
efficient beam forming for Phase Arrays. Also, optical fibre high efficiency to accurately transport
massive quantities data, with potentially dozens of THz available for transmission became critical to
performance of today's and future radio telescope networks, as is already demonstrated by e-EVN, e-
Merlin, ALMA, the soon starting LOFAR and e-VLA and it will be even more so for the large
Terabits/sec expected from the SKA. We intend to review current trends in photonics and its use in
radio astronomy applications, in receivers and signal transport. Some real world cutting-edge examples
will be provided by some industries.
URL: http://www.radionet-eu.org/fp7wiki/doku.php?id=na:engineering:ew:4thew
The value of the two values (23-07-2010)
The value of the two values. (23-07-2010)
João Marcos (LoLITA - DIMAp - UFRN - Brazil / TUWien - Austria).
July 23, 2010, Friday, 16h15m.
Abstract: Bilattices have proven again and again to be extremely rich structures from a logical point of view. As a matter of fact, even if we fix the canonical notion of many-valued entailment and consider the smallest non-trivial bilattice, distinct logics may be defined according to the chosen ontological or epistemological reading of the underlying truth-values. This note will explore the consequence relations of two variants of Belnap's well-known 4-valued logic, and delve into their interrelationship. The strategy will be that of reformulating those logics using only two `logical values', by way of uniform classic-like semantical and proof-theoretical frameworks, with the help of which such logics can be more easily compared to each other. For a different reading of Belnap's logic, it will also be proposed a combination mechanism from which it would result in a very natural way.
Location: Room P3.10, Mathematics Building.
URL: http://www.it.pt
CiE 2010 - ''Programs, Proofs, Processes'' (30-06-2010)
Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research.
CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - ''Programs, Proofs, Processes'' - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe.
CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.
URL: http://www.cie2010.uac.pt/
Secrecy-Oriented, Computationally Sound First-Order Logical Analysis of Cryptographic Protocols (28-06-2010)
Gergei Bana (LSV and ENS-Cachan).
June 28, 2010, Monday, 16h15m.
Abstract: We present a computationally sound first-order system for security-analysis of protocols that places secrecy of nonces and keys in its center. Even trace properties such as agreement and authentication are proven via proving a non-trace property, namely, secrecy first with an inductive method. These security properties are derived directly from a set of computationally sound axioms, without the need to formalize adversarial
capabilities explicitly. This results a very powerful system, the working of which we illustrate on the agreement and authentication proofs for the
Needham-Schroeder-Lowe public-key and the amended Needham-Schroeder shared-key protocols in case of unlimited sessions. Unlike other available
formal verification techniques, computational soundness of our approach does not require any idealizations about parsing of bitstrings or unnecessary tagging. In particular, we have control over detecting and eliminating the possibility of type-flaw attacks.
Location: Room P3.10, Mathematics Building.
URL: http://www.math.upenn.edu/~bana/Site/Home.html
Workshop Next Generation Networks (28-06-2010)
Aveiro, 28th June 2010, 10h30 - 18h00
This Workshop, in the Framework of a cycle of 3 Workshops organized by the Instituto de Telecomunicações in 2010, has the objective of discussing current activities in the area of Next Generation Networks, joining and increasing the interaction between the worlds of research, industry and national bodies. From the research side, it will be presented a general view of the several sub-areas in the Framework of the Next Generation Networks. From the Operators side, it will be presented their view on the future of networks. Finally, we will have the view of the national bodies.
The Workshop is open to everyone with interests in the area, from academia, industry and national bodies. The participation in the Workshop is free, but it will be required a registration. To perform the registration, there is a form in http://confman.av.it.pt/rng/registration, that should be filled until the 24th of June.
URL: http://www.av.it.pt/events/rng_en.html
Formal Specification and Verification of Security Services (17-06-2010)
A framework for specification and verification of security properties in service-oriented architectures is proposed. The framework encompasses communication level events and policy level decisions, and allows to reason about the interface between the two. A decision procedure is given for the reachability problem in a fragment of service-oriented architectures, where the Dolev-Yao attacker is in control of the communication level, and the policies of services belong to a certain subset
of Horn theories. This subset is in particular sufficient for expressing typical RBAC systems with role hierarchy, as well as trust delegation and
trust application.
URL: http://sem.math.ist.utl.pt/infosec/
Central Security Requirements of E-Voting Systems: Verifiability, Accountability, and Coercion-Resistance (08-06-2010)
Ralf Kuesters (University of Trier)
Note exceptional week day and room.
June 8, 2010, Tuesday, 16h15m.
Systems for electronic voting (e-voting systems), including systems for voting over the Internet and systems for voting in a voting booth, are supposed to simplify the process of carrying out elections and
potentially make the voting process more secure and reliable. These systems are among the most challenging and complex security-critical systems, with a rich set of intricate security requirements they have to fulfill. For example, besides keeping the votes of individual voters private (privacy of
votes), they should allow voters to check that their votes were counted correctly (verifiability), since voting machines might have programming errors or might have been tampered with. By providing voters with receipts of how they voted, this problem on its own is easy to solve. However, at the same time vote buying and voter coercion should be prevented
(coercion-resistance). Moreover, in case a problem occurs, it should be possible to hold election officials accountable for their misbehavior (accountability). In recent work, we have formalized important security
requirements for e-voting systems, including coercion-resistance, verifiability, and accountability. In this talk, I will discuss these requirements informally and sketch our formal definitions. I will also present several state-of-the-art voting systems and discuss their security with respect to our security definitions. The talk is intended for a broad audience and does not require any background on e-voting systems or cryptography.
This talk is based on joint work with Tomasz Truderung and Andreas Vogt.
Location: Room P4.35, Post-Graduation Building.
URL: http://www.infsec.uni-trier.de/people/kuesters.html
Workshop on Quantum Private Telecommunications 22 April 2010, Instituto de Telecomunicações - Aveiro (22-04-2010)
http://www.quantprivtel.org/workshop-aveiro-2010.html
This one-day workshop is organized by the Security and Quantum Information Group (SQIG) and the Optical Communications group (OC-Av) of Instituto de Telecomunicações (IT) within the context of the FCT project QuantPrivTel – Quantum Private Telecommunications. The objective is to present and discuss the achievements obtained so far, both in terms of the theoretical quantum protocols for private telecommunications and of the preparation of their experimental implementation with single photons in optical fibers.
Time and place
The workshop will take place on Thursday 22nd April 2010,
in Anfiteatro, at the Instituto de Telecomunicações site in Aveiro (Campus Universitário de Santiago).
Registration
The workshop is open to anyone interested. Participation is free, but an e-mail registration is necessary to attend the meeting.
Please contact Sandra Corujo by 20 April indicating your intention to participate: sandra (at) av.it.pt
Further information
For further information about the workshop, contact Yasser Omar (yasser.omar (at) lx.it.pt) or Armando Nolasco Pinto.
Program
10h30 - Carlos Salema (IT & UTL), Welcome address
10h40 - Yasser Omar (IT & UTL), Introduction to quantum information
11h10 - Keynote speaker: Andreas Poppe (Austrian Research Center), The SECOQC quantum key distribution network in Vienna
11h55 - Armando Nolasco Pinto (IT & UAveiro), Physical Layer Security Through Quantum Communications
12h25 - Lunch break
14h00 - Keynote speaker: Vicente Martin (Universidad Politécnica de Madrid), Quantum key distribution in optical switched networks
14h45 - Coffee break
15h00 - Paulo Mateus (IT & UTL), Quantum authentication protocols
15h30 - Nikola Paunkovic (IT), Quantum contract signing protocol
16h00 - Final discussion and quantum optics laboratory tour
16h30 - End
Further information
For further information about the workshop, see: http://www.quantprivtel.org/workshop-aveiro-2010.html
or contact Yasser Omar (yasser.omar (at) lx.it.pt) or Armando Nolasco Pinto.
URL: http://www.quantprivtel.org/workshop-aveiro-2010.html
UniLog'2010 - World Congress and School on Universal Logic, 3rd (18-04-2010)
In the same way that universal algebra is a general theory of
algebraic structures, universal logic is a general theory of logical
structures. During the 20th century, numerous logics have been
created: intuitionistic logic, deontic logic, many-valued logic,
relevant logic, linear logic, non monotonic logic, etc. Universal
logic is not a new logic, it is a way of unifying this multiplicity of
logics by developing general tools and concepts that can be applied to
all logics.
This is the third edition of a world event dedicated to universal
logic. This event is a combination of a school and a congress. The
school offers 21 tutorials on a wide range of subjects. The congress
will follow with invited and contributed talks organized in many
sessions, including 10 special thematic sessions, and a contest.
Location
The event will take place in Monte Estoril at Hotel Estoril Eden.
Registration
The event is open to anyone interested, subject to a registration fee.
URL: http://www.uni-log.org/enter-lisbon.html166
Macroscopic superposition in quantum information processing - Tomoyuki Morimae (U Lille) (05-03-2010)
March 5, 2010, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
Abstract: Quantum properties of many-body states such as macroscopic superposition and large multipartite entanglement are essential resources for quantum information processing. In this talk, we study when and how macroscopic superposition appears in quantum many-body systems, such as a magnon system, quantum computers, and a quantum memory, and show that the emergence of such macroscopic superposition also causes large multipartite entanglement and low gate fidelity in the one-way quantum computation.
Quantum Computation and Information Seminar
http://sem.math.ist.utl.pt/qci/index.xml
Support: CAMGSD, CFIF, CFP and SQIG/IT with support from FCT and FEDER, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel and PTDC/EIA/67661/2006 QSec.
URL: http://sem.math.ist.utl.pt/qci/index.xml
Regular representations of uniform TC 0 (03-03-2010)
Juha Kontine (U Helsinki, Finland).
Note exceptional week day and time.
March 3, 2010, Wednesday, 16h00m.
Abstract: The complexity class DLOGTIME-uniform AC0 is known to be a modest subclass of DLOGTIME-uniform TC0. The weakness of AC0 is due, put in logical terms, to the fact that the logics corresponding to AC0 do not have the relativization property and hence they are not regular. This weakness of AC0 has been elaborated in the line of research on the Crane Beach Conjecture. In this talk we show that DLOGTIME-uniform TC0 can be logically characterized in terms of quantifier logics with cardinality quantifiers FO{<}(C_S), where S is the range of some polynomial of degree at least two. Then we adapt the key properties of abstract logics to accomodate built-in relations and define the regular interior R-int(L) and regular closure R-cl(L), of a logic L. Finally we show that the Crane Beach Conjecture can be interpreted as a statement concerning the regular interior of a logic and that the regular closure of AC0 is TC0. Joint work with Lauri Hella and Kerkko Luosto.
URL: -
International Workshop on Antenna Technologies - iWAT 2010 (01-03-2010)
The International Workshop on Antenna Technology – iWAT – is an annual event aiming at bringing together academia and industrial communities in a forum for fruitful exchange of information on the progress of research and development in innovative antenna technologies and in advanced artificial materials for antennas.
iWAT 2010 is organized by Instituto de Telecomunicações, Instituto Superior Técnico – Technical University of Lisbon, co-sponsored by IEEE Portugal Section, and technically co- sponsored by IEEE AP-S, IET and the University of Liverpool.
It will be held in Lisbon, Portugal, 1-3 March, at IST Congress Centre.
URL: http://www.iwat2010.it.pt/
Modeling and Analyzing Security in the Presence of Compromising Adversaries (26-02-2010)
Cas Cremers (ETH Zurich).
February 26, 2010, Friday, 16h15m.
Abstract: We present a framework for modeling adversaries in security protocol analysis, in which we define a hierarchy of adversary models. These
models range from a Dolev-Yao style adversary to more powerful adversaries who can reveal different parts of principals' states during protocol
execution. Our adversary models unify and generalize many existing security notions from both the computational and symbolic settings and lead to new, previously unexplored security notions. We extend an existing symbolic protocol-verification tool with our adversary models. This is the first tool
that systematically supports notions such as weak perfect forward secrecy, key compromise impersonation, and adversaries capable of state-reveal queries. In extensive case studies, we automatically find new attacks and rediscover known attacks that previously required detailed manual analysis.
Joint work with David Basin.
Location: Room P3.10, Mathematics Building.
http://people.inf.ethz.ch/cremersc/index.html
URL: http://people.inf.ethz.ch/cremersc/index.html
Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic. (25-02-2010)
Frank Pfenning (Carnegie Mellon University, USA).
Note excepcional week day, time and location. Joint session with the Information Security Seminar.
February 25, 2010, Thursday, 18h.
Abstract: Authorization policies are not stand-alone objects: they are used to selectively permit actions that change the state of a system. Thus, it is desirable to have a framework for reasoning about the semantic consequences of policies. To this end, we extend a rewriting interpretation of linear logic with connectives for modeling affirmation, knowledge, and possession. To cleanly confine semantic effects to the rewrite sequence, we introduce a monad. The result is a richly expressive logic that elegantly integrates policies and their effects. After presenting this logic and its metatheory, we demonstrate its utility by proving properties that relate a simple file system's policies to their semantic consequences. [This talk represents joint work with Henry DeYoung]
URL: -
Workshop Introduction to LaTeX (24-02-2010)
IEEE VTS Portugal Chapter, the Instituto de Telecomunicações and the University of Beira Interior invite the entire academic community and all interested that wish to attend the Workshop ''Introduction to LaTeX'' on the 24th of February, Wednesday, at 14 hours, in the Amphitheater 8.1 on the Engineering Building 1, University of Beira Interior.
Latex is a high quality text printing tool in wide use by mathematicians, physicists, engineers and scientists in general, but not only. Professor Miguel Oliveira e Silva, from the University of Aveiro, will give a theoretical practice training for about 1 hour and 30 minutes on how to produce documents, highlighting the common features.
For more information, please consult the following address:
http://www.e-projects.ubi.pt/latex/
The workshop will be broadcast via internet at the same address.
URL: http://www.e-projects.ubi.pt/latex/
IMWS2010 - IEEE International Microwave Workshop Series on RF Front-ends for Software Defined and Cognitive Radio Solutions (22-02-2010)
Software Defined Radio has already start its way to conquer traditional radio configurations, by moving base band (de)modulators completely to the digital world and thus implementing it by software. Nevertheless, it is expected that Cognitive Radio, CR, will be the next frontier in terms of radio architecture design, in fact the new paradigm that CR can bring to traditional ways to think on radio architectures, is so huge, as it was the transition from Analog to Digital systems.
The agility of the transceiver architectures, combined with an optimization of radio front ends, is the main objective of this workshop, and will be discussed intensively throughout the several technical sessions and invited speakers during the two day period.
This conference/workshop is a two day conference where the first day is composed of invited speakers, and the second day is composed of regular submitted papers.
The workshop will be held in Aveiro/Portugal from 22 to 23 of February 2010,
and it already has two distinguished invited speakers that have confirmed
its presence, they are:
Prof. Fadhel Ghannouchi from University of Calgary, Canada, with
a talk devoted to “SDR Based Power amplifiers /Transmitters for Advanced
Wireless and Satellite Communications”,
Dr. Linus Maurer, from DICE, Linz, Austria, with a talk
devoted to “Highly Flexible Digital Front-End Enhanced CMOS-Based RF
Transceivers”
Prof. Joe Mitola III, from Stevens Institute, USA, with a talk
devoted to “The front end needs for real SDR/CR implementations”
URL: http://IMWS2010.AV.IT.PT
Extended week on Microwaves and Antennas, 2010 (22-02-2010)
An exciting sequence of international workshops and meetings on Microwaves and Antennas will take place in Portugal from Feb 22nd to Mar 3rd, 2010, organized by Instituto de Telecomunicações:
- 22-23rd February, - IEEE IMWS 2010, Aveiro
- 24-25th February, - Meeting COST IC0803, Aveiro
- 24-25th February, - Meeting COST IC0603, Lisbon
- 26th February, - Joint Workshop COST IC0603 / COST IC0803, Leiria
- (Weekend)
- 1-3rd March, - iWAT'10, Lisbon
URL: http://www.it.pt/auto_temp_web_page_preview.asp?id=639
Quantum Contract Signing (19-02-2010)
Nikola Paunkovic (SQIG-IT)
February 19, 2010, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
Abstract: We present a probabilistic quantum contract signing protocol between two clients that requires no communication with the third trusted party during the commitment (i.e. signature exchange) phase. We discuss its fairness and show that it is possible to design such a protocol for which the probability of a dishonest client to cheat becomes negligible, and scales as N^{-1/2}, where N is the size of the signature, in bits. This way, our protocol over performs the classical probabilistic protocol by Ben-Or et. al., for which the probability to cheat can be as high as 1/4. We discuss the real-life scenario when the measurement errors and qubit state corruption due to noisy channels occur and argue that for real, good enough measurement apparatus and transmission channels, our protocol would still be fair. Our protocol could be implemented by today's technology, as it requires in essence the same type of apparatus as the one needed for BB84 cryptography protocol. Finally, we show that it is possible to generalize our protocol to an arbitrary number of clients.
Quantum Computation and Information Seminar
http://sem.math.ist.utl.pt/qci/index.xml
Support: CAMGSD, CFIF, CFP and SQIG/IT with support from FCT and FEDER, namely via projects PTDC/EEA-TEL/103402/2008 QuantPrivTel and PTDC/EIA/67661/2006 QSec.
URL: http://sem.math.ist.utl.pt/qci/index.xml
WORKSHOP How to Build Artificial Life system in Computer Games (18-02-2010)
Thursday, February 18th, 2010 at 14h30
Faculdade de Ciências da Universidade do Porto
Departamento de Ciência de Computadores
Rua do Campo Alegre, 1021/1055
4169 - 007 Porto
Portugal
Speakers: Veronica Orvalho (IT/FCUP-DCC)
Vitor Santos (Microsoft)
The registration is free, we have limited availability (max 80 students).
The registration is on a first come, first served basis.
Please register at the following site:
http://www.dcc.fc.up.pt/~veronica.orvalho/workshop_register/
if you have any questions you can contact me directly:
veronica.orvalho@dcc.fc.up.pt
Agenda:
1- Welcome & Overture - Veronica (5m)
2- Artificial Life and Games -Veronica (45m)
Games theory. Artificial Life and Games: Using Artificial Life in
computer games and Artificial Life Games overview.
3 - Bringing ALife to Computer Games- Vitor (60m)
Brief introduction to "Artificial Life". Sketch of an artificial
ecosystem: strategies, population, predator-prey relationships, the
construction of "intelligent beings", the "brain" -> use of
deterministic finite automata (DFAs) with internal state and use of
artificial neural networks (ANNs). Conservation and evolution of the
population. Relation phenotype/genotype -> DFAs and ANNs encoding.
Genetic algorithms to support the development of "human". Adaptability
and diversity. Construction of an artificial ecosystem: Architecture
and Code.
4 - Discussion and close - Veronica & Vitor (15m)
URL: http://www.dcc.fc.up.pt/~veronica.orvalho/workshop_register/
Pure alethic modal logics (12-02-2010)
Jean-Yves Béziau (UFC/CNPq/FUNCAP, U Fortaleza, Brazil).
February 12, 2010, Friday, 16h15m.
Abstract: In this talk I will present systems of pure modal logics, i.e. with modalities as only connectives. I will focus on alethic modalities: necessity and possibility. The basic framework is structural conesquence relation in the sense of Los and Susko. I will study the main options and present bivalent and multi-valued semantics for these systems as well as sequent-calculi.
URL: -
A HIstory of Until (10-02-2010)
Luca Viganò (U Verona, Italy).
February 10, 2010, Wednesday, 15h30m.
Abstract: Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A∪B holds at the current time instant w iff either B holds at w or there exists a time instant w’ in the future at which B holds and such that A holds in all the time instants between the current one and w’. This "ambivalent"t; nature poses a significant challenge when attempting to give deduction rules for until. In this paper, in contrast, we make explicit this duality of until by introducing a new temporal operator that allows us to formalize the “history†of until, i.e., the “internal†universal quantification over the time instants between the current one and w′. This approach provides the basis for formalizing deduction systems for temporal logics endowed with the until operator. For concreteness, we give here a labeled natural deduction system for a linear-time logic endowed with the new history operator and show that, via a proper translation, such a system is also sound and complete with respect to the linear temporal logic LTL with until. Reporting on joint work with Andrea Masini and Marco Volpe.
URL: -
Seminar Zero-Error Capacity of a Quantum Channel (05-02-2010)
Francisco Marcos de Assis (U Federal de Campina Grande).
February 5, 2010, Friday, 15h.
Location: Room P4.35, Post-Graduation Building, IST.
Abstract:
Quantum channels have a number of capacities that depends fundamentally on the kind of information to be carried, the employed resources and the communication protocol. In this work, we generalize the definition of zero-error capacity of a classical channel to the zero-error capacity of a quantum channel. We propose a new kind of capacity for transmitting classical information through a quantum channel.
The quantum zero-error capacity is defined by the maximum amount of classical information per channel use that can be sent over a noisy quantum channel, with the restriction that the probability of error must be equal to zero. The communication protocol used in the definition assumes codewords are built as tensor products of input quantum states, whereas entangled measurements can be performed between several channel outputs. Hence, our communication protocol is similar to the Holevo-Schumacher-Westmoreland protocol. Additionally we introduce some connection between concepts related to quantum channel capacity with concepts found in graph theory.
URL: http://sem.math.ist.utl.pt/qci/index.xml
DAYS IN LOGIC 2010 (28-01-2010)
The Days in Logic 2010 conference runs from January 28 to 30 and aims
at bringing together mathematicians, computer scientists and other
scientists from Portugal (but also elsewhere) with interest in Logic.
It is specially directed to graduate students. The three previous
editions were held in:
* Lisboa (20088)
* Coimbra (20069)
* Braga (200410).
This event is organized by Luís Antunes (Dept. Computer Science, U.
Porto, Portugal & SQIG- Instituto de Telecomunicações), Mário Jorge
Edmundo (DCeT, U. Aberta, Portugal & CMAF - U. de Lisboa), and João
Rasga (Dep. Mathematics, Instituto Superior Técnico & SQIG- Instituto
de Telecomunicações), and sponsored by: Faculdade de Ciências da U.
Porto; CMAF - U. de Lisboa; SQIG - Instituto de Telecomunicações
URL: http://mat.fc.ul.pt/investigacao/conferencias-workshops/days-in-logic-2010
CFIF seminar: Evolution of squeezed states under the Fock-Darwin Hamiltonian (26-01-2010)
Jaime Santos (Universidade do Minho)
Evolution of squeezed states under the Fock-Darwin Hamiltonian
Abstract: We develop a complete analytical description of the time evolution of squeezed states of a charged particle subjected to an harmonic force, a constant magnetic field and an arbitrary time-dependent electric field. We relate the evolution of a state-vector subjected to squeezing to that of state which is not subjected to squeezing and for which the time-evolution under the simple harmonic oscillator dynamics is known (e.g. an eigenstate of the Hamiltonian). A corresponding relation is also established for the Wigner functions of the states, in view of their utility in the analysis of cold-ion experiments
URL: http://listas.math.ist.utl.pt/mailman/listinfo/quantum
XIX IMEKO World Congress (07-09-2009)
Durante o XIX IMEKO World Congress, terão lugar, na sala Fernão de Magalhães no Centro de Reuniões da FIL, na EXPO, a partir das 18.30 h
os seguintes seminários com acesso aberto a todos os interessados:
1 - Metrology Laboratory Management, Jorge C. Torres
2 - ADC Testing, Jan Saliga and Linus Michaeli
3 - Transducers Elastic Elements, Dan Stefanescu
URL: http://www.imeko2009.it.pt
Workshop on Quantum Effects in Biological Systems QuEBS 2009 (07-07-2009)
The identification and study of quantum mechanical phenomena in biological systems is an emerging area of interdisciplinary research spanning physics, chemistry, biology, and quantum information science. In this workshop, we intend to explore the interplay between quantum coherence and environmental effects in both driven and undriven biomolecular systems. In particular, the role of quantum dynamical coherence and decoherence in excitonic energy transfer within chromophoric systems, such as photosynthetic complexes, will be addressed.
Moreover, the existence of quantum entanglement in the dynamics of such systems will also be discussed. Furthermore, this workshop could provide new insight for engineering artificial photosystems, such as quantum dots and dendrimers, to achieve optimal energy transport by exploiting their environmental effects, with potential applications for the development of more efficient solar cells or photosensors.
The workshop will be constituted by both invited and contributed talks, and will include plenty of time for brainstorming and discussions on this novel area.
QuEBS 2009 is the second edition of the Lisbon Quantum Computation, Information and Logic biennial meetings, an initiative of the Security and Quantum Information Group, Instituto de Telecomunicações. The workshop will take place in Lisbon, Portugal.
URL: http://sqig.math.ist.utl.pt/lqcil/quebs09/home/
Unsupervised Learning: From Single Clustering to Ensemble Methods (09-04-2009)
Tutorial: Unsupervised Learning: From Single Clustering to Ensemble Methods
Presenter: Prof. Ana Fred
Date: April 9 2009, 13h-16h
Location: Room 11.26, 11th floor, North Tower, Instituto Superior Técnico
Topics addressed:
1. Basic Concepts of data clustering
1.1 Problem formulation
1.2 Taxonomies of Clustering Techniques
1.3. Difficulties and open problems
2. Clustering Algorithms
2.1 Hierarchical Methods (Single-link; Complete link; Dissimilarity Increments)
2.2 Partitional Methods (K-means; Spectral Clustering; EM Gaussian Mixture Decomposition)
3. Validation of Custering Solutions
3.1. Cluster Validity Measures
4. Clustering Ensemble Methods
4.1. Basic Formulation
4.2. Evidence Accumulation Clustering (EAC)
4.3. Multi-Criteria EAC
URL: http://www.it.pt/auto_temp_web_page_preview.asp?id=591
Free MEMS Training (16-03-2009)
This 4-day course will be given by a combination of academic experts, industrial designers and software developers. It provides an overview of MEMS processing technologies and how to approach the design of MEMS devices, including concepts of micro-mechanics (accelerometer and gyroscope) microfluidics, etc. The emphasis throughout is to provide participants with hands-on experience. The course is primarily aimed at postgraduate students and researchers from European universities and research institutes who may participate free of charge (includes lunch, coffee breaks and documentation). Booking is made online at the website: http://www.stimesi.rl.ac.uk/booking_form.cfm
URL: http://www.stimesi.rl.ac.uk/booking_form.cfm
Talks in "Some Paradoxes in ADC Testing" and "Bandpass D S ADC Testing" (13-11-2008)
Professor Jan Saliga and Professor Linus Michaeli, from the Technical University of Kosice, Slovak Republic, Department of Electronics an Multimedia Telecomunications, will give a talk at Instituto de Telecomunicações (IT) on:
*"Some Paradoxes in ADC Testing"*
and
*"Bandpass **D**S** ADC for sensoric"*
next Thursday, November 13, at 15h00 in room 11.26 (IST North, 11st floor).
You are all invited to attend these talks. The attached file contains the abstract and the biography of the presenters) See you on Thursday at 15h00
URL: www.it.pt
IEEE (and IEEE Portugal Section) Instituto de Telecomunicações and Instituto Superior Técnico - Let Darwin and the Bees Help Improve your Designs:Nature Inspired Optimization Techniques in Antenna Engineering (22-09-2008)
Sponsor the IEEE Distinguished Lecture
(Room 11.26, Torre Norte, IST, 22 September 2008, 14h30)
Let Darwin and the Bees Help Improve your Designs:
Nature Inspired Optimization Techniques in Antenna Engineering
Prof. Yahya Rahmat-Samii
Department of Electrical Engineering
University of California, Los Angeles, USA
Email: rahmat@ee.ucla.edu, http://www.antlab.ee.ucla.edu
Engineers are constantly challenged with the temptation to search for optimum solutions for complex engineering system designs. The ever increasing advances in computational power have fueled this temptation. The well-known brute force design methodologies are systematically being replaced by the state-of-the-art Evolutionary Optimization (EO) techniques. In recent years, EO techniques are finding growing applications to the design of all kind of systems with increasing complexity. Among various EO’s, nature inspired techniques such as Genetic Algorithms (GA) and Particle Swarm Optimization (PSO) have attracted considerable attention. GA utilizes an optimization methodology which allows a global search of the cost surface via the mechanism of the statistical random processes dictated by the Darwinian evolutionary concept (adaptation, selection, survivability and mutation). PSO is a robust stochastic evolutionary computation technique based on the movement and intelligence of swarms of bees looking for the most fertile feeding location applying their cognitive and social knowledge. This presentation will focus on: (a) an engineering introduction to GA and PSO by describing in a novel fashion the underlying concepts and recent advances for those who have used these techniques and for those who have not had any experiences in these areas, (b) demonstration of the potential applications of GA’s and PSO’s to a variety of designs including miniaturization of multi-band, wideband, fractal and UWB antennas in personal communications, textile, wearable and ingestible medical applications, antennas for remote sensing and satellite communication applications, arrays for radio astronomy imaging, design of electromagnetic and photonic bandgap (EBG & PBG) structures, etc, and (c) assessment of the advantages and the limitations of these techniques.
Yahya Rahmat-Samii is a Distinguished Professor, holder of the Northrop-Grumman Chair in electromagnetics and the past chairman of the Electrical Engineering Department at the University of California, Los Angeles (UCLA). Before joining UCLA in 1989, he was a Senior Research Scientist at NASA's Jet Propulsion Laboratory. Dr. Rahmat-Samii was the 1995 President of IEEE Antennas and Propagation Society and was appointed an IEEE Distinguished Lecturer presenting lectures internationally. Dr. Rahmat-Samii was elected as a Fellow of IEEE in 1985 and a Fellow of IAE in 1986 and also served as the Vice President of AMTA. Dr. Rahmat-Samii has authored and co-authored over 720 technical journal articles and conference papers and has written 25 book chapters and three books entitled, Electromagnetic Optimization by Genetic Algorithms, and Impedance Boundary Conditions in Electromagnetics and Implanted Antennas in Medical Wireless Communications. He is also the holder of several patents. His research contributions cover a diverse area of electromagnetics and antennas. Dr. Rahmat-Samii has received numerous awards, including the 1992 and 1995 Wheeler Best Application Prize Paper Award for his papers published in the IEEE Antennas and Propagation Transactions, 1999 University of Illinois ECE Distinguished Alumni Award, IEEE Third Millennium Medal, and AMTA’2000 Distinguished Achievement Award. In 2001, Rahmat-Samii was the recipient of an Honorary Doctorate in Physics from the University of Santiago de Compostela, Spain. In 2001, he was elected as a Foreign Member of the Royal Flemish Academy of Belgium for Science and the Arts. In 2002, he received the Technical Excellence Award from JPL and in 2005 he was the recipient of the URSI Booker Gold Medal. He is the recipient of the 2007 Chen-To Tai Distinguished Educator Award of the IEEE Antennas and Propagation Society. In 2008, he was elected to the membership of the US National Academy of Engineering (NAE). Prof. Rahmat-Samii is the designer of the IEEE AP-S logo which is displayed on all IEEE AP-S publications.
URL: http://www.antlab.ee.ucla.edu
SEMINAR SERIES on ICTs POLICY RESEARCH (01-07-2008)
Speaker: Andr¨¦ T. Martins
Nonextensive entropic kernels
Abstract:
Positive definite kernels on probability measures have been recently applied in structured data classification problems. Some of these kernels are related to classic information theoretic quantities, such as mutual information and the Jensen©\Shannon divergence. Meanwhile, driven by recent advances in Tsallis statistics, nonextensive generalizations of Shannon's information theory have been proposed. This paper bridges these two trends. We introduce the Jensen©\Tsallis q©\difference, a generalization of the Jensen©\Shannon divergence. We then
define a new family of nonextensive mutual information kernels, which allow weights to be assigned to their arguments, and which includes the Boolean, Jensen©\Shannon, and linear kernels as particular cases. We illustrate the performance of these kernels on text categorization tasks.
Bio:
Andr¨¦ Martins is a PhD student at IST/UTL and SCS/CMU. He is enrolled in the dual CMU©\Portugal PhD program in Language Technologies, under supervision of Mario Figueiredo, Pedro Aguiar (from IST/UTL), Noah Smith and Eric Xing (from CS/CMU). His area of research is "Kernel methods for Natural Language Processing".
Tuesday, July 1st 2008, 14:00 pm
Torre Norte, EA3, Instituto Superior T¨¦cnico
URL: www.it.pt
SEMINAR SERIES on ICTs POLICY RESEARCH (01-07-2008)
Speaker: Noah A. Smith
Recent Developments with Weighted Grammars in Statistical Natural Language Processing
Abstract:
This talk introduces statistical natural language processing (NLP), an exciting field that marries machine learning to computational linguistics. After a basic introduction to NLP and some of the challenging problems, I will discuss some recent work by my research group on weighted grammars: learning weighted grammars efficiently from
annotated corpora, applying them to problems like question answering and translation, and ©\ perhaps surprisingly ©\ learning them from unannotated corpora using unsupervised methods.
Bio:
Noah Smith is an assistant professor at Carnegie Mellon University. His research has spanned statistical machine translation, parallel corpus discovery, unsupervised statistical grammar induction, efficient morphological and syntactic processing algorithms, weighted logic programming, and the formal study of weighted grammars. He is a Hertz Fellow (2001©\6), the recipient of an IBM Faculty Award (2007), and a member of the DARPA Computer Science Study Panel (2007).
Tuesday, July 1st 2008, 10:00 am
Torre Norte, EA3, Instituto Superior T¨¦cnico
URL: www.it.pt
SEMINAR SERIES on ICTs POLICY RESEARCH (30-06-2008)
Speaker: Eric P. Xing
Statistical Network Analysis and Inference: Methods
and Applications
Abstract:
Exploring the statistical properties and hidden characteristics of network entities, and the stochastic processes behind temporal evolution of network topologies, are essential for computational knowledge discovery and prediction based on
network data from biology, social sciences and various other fields. In this talk, I first discuss a hierarchical Bayesian framework that combines the mixed membership model and the stochastic blockmodel for inferring latent multi©\facet roles
of nodes in networks, and for estimating stochastic relationships (i.e., cooperativeness or antagonisms) between roles. Then I discuss a new formalism for modeling network evolution over time based on temporal exponential random graphs, and a
MCMC algorithm for posterior inference of the latent time©\specific networks. The proposed methodology makes it possible to reverse©\engineer the latent sequence of temporally rewiring networks given longitudinal measurements of node attributes, such as intensities of gene expressions or social metrics of actors, even when a single snapshot of such
measurement resulted from each (time©\specific) network is available.
Bio:
Eric Xing is an assistant professor in the Machine Learning Department, the Language Technology Institute, and the Computer Science Department within the School of Computer Science at Carnegie Mellon University. His principal research interests lie
in the development of machine learning and statistical methodology; especially for building quantitative models and predictive understandings of the evolutionary mechanism, regulatory circuitry, and developmental processes of biological systems; and for building computational intelligence systems involving automated learning, reasoning, and decision©\making in open, evolving possible worlds. Professor Xing received his B.S. in Physics from Tsinghua University, his first Ph.D. in Molecular
Biology and Biochemistry from Rutgers University, and then his second Ph.D. in Computer Science from UC Berkeley. He has been a member of the faculty at CMU since 2004, and his current work involves,
1) graphical models, Bayesian methodologies,
inference algorithms, and optimization techniques for analyzing and mining high©\dimensional, longitudinal, and relational data; 2) computational and comparative genomic analysis of biological sequences, systems biology investigation of gene regulation, and statistical analysis of genetic variation, demography and disease linkage; and 3) application of statistical learning in social networks, text/image mining, vision, and machine translation. He is a recipient of the NSF Career Award, and
the Sloan Research Fellowship in Computer Science.
Monday, June 30th 2008, 14:00 pm
Torre Norte, EA3, Instituto Superior T¨¦cnico
URL: www.it.pt
CICLO DE P A L E S T RA S - FISICA QUÂNTICA AO FIM DA TARDE (24-06-2008)
Doutor Yasser Omar - PALESTRA 2
“APLICAÇÕES DA FÍSICA QUÂNTICA ÀS CIÊNCIAS DA INFORMAÇÃO”
Na segunda Palestra mostrar-se-á como, na última década, se descobriu uma forma
de tirar partido destas propriedades para codificar informação de uma nova maneira e
desenvolver aplicações revolucionárias, como teletransportar estados quânticos,
estabelecer comunicações à prova de escutas e obter computadores muito mais
rápidos que os actuais (mas para já limitados a meia dúzia de bits quânticos!),
descobertas que estão na origem de uma nova área da ciência: a Teoria da
Informação Quântica.
2 4 DE JUNHO – 1 8H3 0 (SA L A SAND E L EMOS )
ORDEM DOS ENGENHEIROS / ACADEMIA DE ENGENHARIA
Av. Sidónio Pais, 4–E – Lisboa
Tel. 21 313 26 13 - Fax: 21 313 26 15 – E-mail: tafonseca@ordemdosengenheiros.pt
URL: www.it.pt
CICLO DE P A L E S T RA S - FISICA QUÂNTICA AO FIM DA TARDE (17-06-2008)
Doutor Yasser Omar - PALESTRA 1
“A FÍSICA QUÂNTICA E O DESASSOSSEGO DE EINSTEIN”
Nesta primeira Palestra serão apresentadas as propriedades fundamentais da Física
Quântica, incluindo a propriedade da não localidade, que muito desassossego causou
a Einstein há mais de 70 anos atrás.
1 7 DE JUNHO – 1 8H3 0 (AUD I TÓR IO ARMAN DO L EN C A S TR E )
ORDEM DOS ENGENHEIROS / ACADEMIA DE ENGENHARIA
Av. Sidónio Pais, 4–E – Lisboa
Tel. 21 313 26 13 - Fax: 21 313 26 15 – E-mail: tafonseca@ordemdosengenheiros.pt
URL: www.it.pt
2nd international workshop on game design and development (14-06-2008)
Make your move|...come play with us!
The second edition of CDVJ will take place in Porto on May 14th-16th, 2008 at Departamento de Ciências de Computadores, Faculdade De Ciências da Universidade do Porto. For three great days, CDVJ08 will extend the limits of game design and development. This year we introduce the most innovative game development techniques using XNA.
The workshop will be divided into Game Design (6h), Game Technology-XNA (9h) and 3h of talks by invited speakers from the entertainment industry.
URL: http://www.dcc.fc.up.pt/cdvj08/index.html
26th Picture Coding Symposium (PCS2007) (07-11-2007)
7-9 November 2007, Lisbon, Portugal
Picture Coding Symposium (PCS) is an international forum devoted specifically to advancements in visual data coding. Since 1969, PCS has provided the meeting place for the visual coding community: industry, research, academia and users.
The day before, 6 November, a Workshop on ''Recent Advances in Distributed Video Coding'' will be organized (free registration at
http://www.discoverdvc.org/Workshop.html). In this workshop, recent developments on distributed video coding will be presented by the most prominent experts in the field.
** Important Dates:
- June 1, 2007 Submission of special sessions
- June 10, 2007 Submission of extended summaries
- September 3, 2007 Notification of acceptance
- September 21, 2007 Submission of camera-ready papers
** Invited speakers
- H.264/AVC and its Extensions: How Close is this Family?
by Anthony Vetro, Mitsubishi Electric Research Labs, USA
- DCT, Wavelets and X-lets: The Quest for Image Representation, Approximation and Compression
by Martin Vetterli, EPFL, Switzerland and UC Berkeley, USA
- Efficient Representation of Sound Images: Recent Developments in Parametric Coding of Spatial Audio
by Jürgen Herre, Fraunhofer Institute for Integrated Circuits (IIS), Erlangen, Germany
- From Picture Coding to Image Understanding: Finding the Object of Interest
by Tsuhan Chen, Carnegie Mellon University, USA
** Panels
- Distributed Video Coding: Trends and Challenges
Chaired by Touradj Ebrahimi, EPFL - Swiss Federal Institute of Technology, Switzerland
- Multimedia: a World of Possibilities or just a Buzzword ? Chaired by Alan Hanjalic, Delft University of Technology, The Netherlands
- Video Content Protection: Does it Really Matter?
Chaired by Edward J. Delp, Purdue University, USA
URL: http://www.pcs2007.org
IV Seminar in Multi-Gigabit Optical Networks - July 18, 2007 (18-07-2007)
Scope:
With a strong commitment to create and disseminate scientific knowledge in the field of telecommunications, the Instituto de Telecomunicações presents the IV Seminar in Multi-Gigabit Optical Networks. In this edition the seminar will be devoted to polarization and quantum effects in optical communication systems. With distinguished speakers, this seminar offers cutting-edge information for researchers and graduate students.
Registration
The seminar is free, however, because space is limited, registration is required. Registrations will be accepted following the order of arrival. To register, please, contact Sandra Corujo.
E-Mail: sandra@av.it.pt - Phone: 234 377 900
URL: http://www.av.it.pt/anp/seminar_4.pdf
V Symposium On Enabling Optical Networks (29-06-2007)
Topics
The scope of the Symposium is concentrated on the applications of optical technologies in brodband telecommunication networks, systems, and components, including (but not limited to):
Digital All-Optical Networks deployment
Dense Wavelength-Division Multiplexing
Optical Time Domain Multiplexing
Chromatic Dispersion monitoring and compensation
Polarization Mode Dispersion monitoring and compensation
Wavelength conversion
Optical amplifiers
Nonlinear transmission
Light sources
Optical switching and routing
Network reliability & availability
Radio-over-fiber transmission
Broadband metro and access networks
Modelling of optical systems and components
Network planning and design tools
Standardisation issues
Also, it will be focused on reporting recent developments in optical fibre/guided-wave sensors, photonic sensing devices and related technologies.
URL: http://seon2007.av.it.pt/
ConfTele2007 - 6th Conference on Telecommunications (09-05-2007)
The 6th Conference on Telecommunications, Conftele 2007, organised by Instituto de Telecomunicações, will be held at Hotel Atlântico Golfe, in Peniche , Portugal , on May 9, 10 and 11, 2007. The Conference constitutes an international forum for the exchange of information among universities, research units, service providers, operators and manufacturers, on recent technical issues in telecommunications.
Conference Secretariat:
Conftele 2007
Instituto deTelecomunicações
DEEC - Universidade de Coimbra, Pólo II
P - 3030 - 290 Coimbra
PORTUGAL
E-mail: conftele2007@co.it.pt
Telephone: +351239 796236 / +351 239 796248
Fax: +351 239 796 293
URL: http://www.co.it.pt/conftele2007/
IT Live Seminars (30-03-2007)
Information-theoretic security in wireless networks: from theory to practice.
João Barros (FCUP).
March 30, 2007, Friday, 16h30m.
Abstract: Recent theoretical and practical work has shown that novel physical layer security techniques have the potential to significantly strengthen the security of wireless networks. In the first part of this talk we will briefly review the fundamentals in information-theoretic security and discuss our most recent results. Formulating the problem as one in which two legitimate partners communicate over a quasistatic fading channel and an eavesdropper observes their transmissions through another independent quasistatic fading channel, we define the secrecy capacity in terms of outage probability and provide a complete characterization of the maximum transmission rate at which the eavesdropper is unable to decode any information. In sharp contrast with known results for Gaussian wiretap channels (without feedback), our results show that in the presence of fading information-theoretic security is achievable even when the eavesdropper has a better average signal-to-noise ratio (SNR) than the legitimate receiver. In the second part of the talk, we will propose a practical security scheme by which two terminals (say Alice and Bob) are able to exploit the randomness of wireless fading channels to exchange data in an information-theoretically secure way. To ensure that a potential eavesdropper (say Eve) is unable to decode any useful information, Alice sends useful symbols to Bob only when the instantaneous secrecy capacity is strictly positive. In the remaining time, a specially designed class of LDPC codes is used for reconciliation, thus allowing the extraction of a secret key, which can be distilled using privacy amplification. We believe this opportunistic approach can be used effectively as a physical layer complement to existing cryptographic protocols. Joint work with Miguel Rodrigues (Princeton/DCC-FCUP), Matthieu Bloch and Steve McLaughlin (Georgia Tech).
URL: http://www.it.pt/auto_temp_web_page_preview.asp?id=174
Seminário em Soluções para TV Digital Móvel (24-01-2007)
A televisão da actualidade envolve muito mais que apenas transmitir um sinal de vídeo e de áudio
para receptores fixos. A televisão digital é uma plataforma de telecomunicações que permite servir
uma vasta gama de conteúdos multimédia.
À medida que os mais modernos métodos de compressão e comunicação vão evoluindo, novas
normas vão surgindo, aumentando assim as exigências em termos de conformidade que
asseguram a interoperabilidade entre diversos equipamentos da complicada cadeia de
comunicação. Um dos factores a considerar é a versatilidade ou modularidade dos equipamentos
de transmissão e teste. O cumprimento destes requisitos leva-nos directamente à gama de
equipamentos da Rohde & Schwarz (R&S).
Este seminário versará, de uma forma prática diversas questões técnicas relacionadas com as
normas T-DMB e DVB-H. Os equipamentos R&S de TV Digital a serem utilizados neste seminário
incluem:
Geradores
Insersores de IP
Emissores T-DMB e DVB-T/H
Codificadores e Multiplexers Estatísticos
Analisadores
A ROHDE & SCHWARZ e o INSTITUTO DE TELECOMUNICAÇÕES convidam-no a participar neste
seminário de 1 (um) dia onde se vão abordar os aspectos teóricos e práticos das soluções de
Transmissão e de Teste para Televisão Digital, bem como dar a conhecer o futuro da TV terrestre
em Portugal e na Europa. Este seminário é vocacionado para todos aqueles que requerem mais
informação sobre as últimas tecnologias e sobre as perspectivas de mercado neste campo.
O número de participantes é limitado, inscreva-se assim que possível. As inscrições serão
processadas por ordem de chegada. A participação é gratuita, salvo deslocações e acomodação.
URL: http://www.av.it.pt/Agenda_TVdigital_final.pdf
Developing Real-Time, Embedded Products (22-01-2007)
Tutoriais 22, 24 e 25 de Janeiro de 2007
A convite do Instituto de Telecomunicações e do seu Grupo de Instrumentação e Medidas, estará em Lisboa na semana de 21 de Janeiro o colega Kim Fowler. Durante a sua estadia entre nós, Kim Fowler disponibilizou-se a transmitir a sua enorme experiência no projecto nomeadamente de sistemas embebidos através de 3 tutoriais que terão lugar nos dias 22, 24 e 25 de Janeiro de acordo com programa que se segue. A participação é aberta a todos aqueles que assim o desejarem, sendo a presença do colega desde logo bem-vinda e seguramente enriquecedora para todos os participantes.
Developing Real-Time, Embedded Products
SUMMARY
These four lectures are for software engineers, hardware engineers, systems engineers, and managers who want to become more familiar with the "big picture" and a systems’ perspective for developing real-time, embedded products. Case studies and real-world examples illustrate each topic. The focus is on smaller projects of limited production run, such as medical devices, military equipment or spacecraft instruments. The lectures emphasize thorough and careful processes in measurement instrumentation.
INSTRUCTOR
Mr. Kim Fowler is a systems architect for Cool Stream LLC, a consulting firm. He co-founded Stimsoft, a medical products company. Kim has spent 25 years in the design and development of medical, military, and satellite equipment. He wrote the textbook, “Electronic Instrument Design: Architecting for the Life Cycle,” published by Oxford University Press in 1996 and is preparing the second edition. He just completed another textbook for CRC Press titled, “What Every Engineer Should Know About Developing Real-Time, Embedded Products.” He is Editor-In-Chief of the IEEE Instrumentation & Measurement magazine and writes the “Tried and True” column. He is an IEEE Distinguished Lecturer in Instrumentation and Measurement and lectures on the international circuit. He has published widely in engineering journals and has three patents, two pending, one filed, and 13 invention disclosures.
WHAT YOU WILL LEARN
What are some of the basic components of an instrumentation system?
What are the general steps to engineering an effective device or product?
What are the basic tradeoffs that you need to make in designing?
How do processes aid in developing better electronic products?
This course will reinforce your knowledge and insight to make basic judgments in systems architecture, to identify tradeoffs, and to evaluate systems. Examples and case studies will be sprinkled throughout the lecture to illustrate specific points.
Monday, 22 January 2007, 14.30-17.00 h, EA1 (Torre Norte)
TUTORIAL 1a. Architecting Embedded Systems
1. Architecting and Architectures. Basic elements of system engineering: process, design, and development. The “big picture” perspective. Examine how to use and integrate system components and subsystems: interfaces, hardware, software, and tradeoffs. Consider the basics of real-time systems. Review good processes to develop medical devices, military devices, and avionics.
2. Documentation. Appropriate ways to communicate a job well done.
3. The Human Interface. User-centered design, elements of successful user interfaces on equipment and products: cognition, ergonomics, utility, image, and ownership.
4. Packaging. Environmental issues – temperature, vibration, shock. Design for assembly and disassembly. Component packaging. Wiring and cabling.
5. Hardware. Select and make design tradeoffs for components and subsystems.
6. Power. Consider the different types of power converters and their advantages and disadvantages. Power distribution and it affects design decisions.
7. Cooling. Mechanisms, types of heat transfer, and tradeoffs.
8. Software. Good programming practices, real-time issues, and limitations of software.
9. Review and Testing. Debugging, inspections, integration, validation, verification.
10. Integration, Logistics, Maintenance, and Disposal. Review what happens once a product leaves design and development.
11. Introduce tradeoffs. Design decisions. Build versus Buy. Scheduling and Estimation.
TUTORIAL 1b. Noise and Shielding
12. Noise, Shielding, and Grounding. Principles of electromagnetic compatibility, interference, and susceptibility. Four basic noise coupling mechanisms: conductive, inductive, capacitive, and electromagnetic. Grounding configurations. ESD.
Wednesday, 24 January 2007, 14.30-17.00 h, EA3 (Torre Norte)
TUTORIAL 2. Medical Instrumentation
13. Instrumentation Fundamentals. Look at embedded systems from an instrumentation viewpoint. Learn the parameters for selecting sensors. Consider basic component tradeoffs, such as ADCs.
14. Case Studies of Medical Instruments. Regulations, standards, requirements and testing and certification. Design decisions. Build versus Buy. Scheduling and Estimation.
Thursday, 25 January 2007, 14.30-17.00 h, EA1 (Torre Norte)
TUTORIAL 3. Satellite Systems Design
15. Case Studies of Spacecraft Instruments. Standards, requirements and testing. Design decisions. Build versus Buy. Scheduling and Estimation.
URL: www.it.pt
IT Workshop on Quantum Communications and Quantum Security (26-10-2006)
This one-day workshop aims at offering an introducion to the fields of quantum communications and quantum security, as well as presenting the research developed by Instituto de Telecomunicações and its partners in these key areas for the future of telecommunications.
Programme:
10h45 - Registration
11h00 - Opening, C. Salema (IT & IST) and A. Sernadas (SQIG-IT & IST)
11h05 - Introduction to Quantum Mechanics (tutorial), Y. Omar (SQIG-IT & ISEG)
12h00 - Introduction to the Security of Information (tutorial), J. M. Valença (U Minho)
13h00 - Buffet lunch
14h00 - Quantum Effects in Optical Communication (project overview), P. André (IT & U Aveiro) and H. Silva (IT & U Coimbra)
15h00 - Quantum Cryptography (project overview), P. Mateus (SQIG-IT & IST)
16h00 - Coffee break
16h15 - Security from the Point of View of Descriptive Complexity (project overview), L. Antunes (LIACC, U Porto)
17h15 - Closing discussion
17h30 - End
Registration:
There is no registration fee. To participate, please write an e-mail by 23 October to D. Tereza Traquinas: tereza.traquinas@lx.it.pt
The number of participants is limited, so early registration is advised.
Location:
Instituto de Telecomunicações, Aveiro site, Campus Universitário de Santiago, 3810-193 Aveiro, Portugal.
URL: www.it.pt
ICT 2006 - 13th International Conference on Telecommunications (09-05-2006)
The 13th ICT will be held in Madeira Island, Portugal. ICT 2006 will offer tutorials and workshops, plenary sessions, poster sessions, panel sessions and exhibition opportunities.
URL: www.ict2006.org
Cyber-Rally b-on (02-05-2006)
Esta é uma iniciativa muito semelhante a um rally paper, mas tem a particularidade de decorrer na internet, mais especificamente no site da b-on.
O Cyber-Rally terá início no dia 2 de Maio e terminará no dia 30 do mesmo mês. Terá a duração de quatro semanas e será constituído por oito etapas (duas por semana). As etapas serão lançadas às terças e quintas feiras, sendo cada uma delas composta por quatro questões, duas verdadeiro/falso e duas de resposta múltipla. Em cada etapa haverá uma questão sobre o projecto b-on, uma sobre as instituições b-on e duas sobre o portal (pesquisas e funcionalidades).
As inscrições serão feitas online através de um micro site criado para o efeito e ao qual se poderá aceder através do site da b-on. As inscrições poderão ser feitas a partir do próximo dia 26 de Abril no endereço www.cyber-rally.b-on.pt.
Poderão concorrer estudantes, professores, investigadores, médicos, bibliotecários, etc. desde que associados a instituições b-on. As inscrições poderão ser individuais ou de equipas até cinco pessoas.
Cada etapa será pontuada, sendo os pontos acumuláveis de etapa para etapa, ganhando o jogador/equipa que tenha obtido maior pontuação no final das etapas. Serão premiados os três jogadores/equipas mais pontuados. O 1.º prémio é um computador portátil, o 2.º um PDA e o 3.º um iPod nano.
URL: http://www.cyber-rally.b-on.pt
Workshop IP Móvel e Redes WiMax Aplicações da Teoria de Informação (04-10-2005)
10h:30 MobileMAN
Eng. Dany Santos, Eng. Rui Marcos - Planeamento de uma Rede sem Fios IEEE 802.16e no Concelho da Covilhã
Eng. Vitor Carvalho - Concepção e Planeamento de uma Rede Móvel WiMax para o apoio à Emergência Médica na Beira Interior
Dr. Ricardo Tomé - Uma Ferramenta de Planeamento para Wireless LANs
11h:30 CHCB
Dr. Tiago Lages - Comunicações sem fios WiFi no CHCB
11h:50 PT Inovação
Eng. Álvaro Gomes - A experiência da PT Inovação em WiMax
14h:00 PT Comunicações
Eng. Jorge Rodrigues - WiMax: Miragem ou Realidade?
15h:00 Instituto de Telecomunicações
Prof. Carlos Salema - Teoria da Informação: O Legado da Shannon
Universidade da Beira Interior, Dep. Eng. Electromecânica
Anfiteatro 8.1
4 de Outubro de 2005
Contactos: 275 329 919/53 email: it@e-projects.ubi.pt
Organização: MobileMAN, Um projecto do IT/LA
URL: www.it.pt
Palestras sobre Redes Ópticas (12-09-2005)
Convidam-se todos os interessados a participar em duas palestras proferidas pelo Prof. Hélio Waldman
nos dias 12 e 14 de Setembro, às 15 horas e 30 minutos no anfiteatro EA1,
realizadas no âmbito do projecto de cooperação Brasil – Portugal
em Redes Ópticas.
Palestra de 12/9: RWA e ''Grooming''
Resumo: Serão discutidos os algoritmos de alocação de rotas e comprimentos de onda (RWA) em redes ópticas. Modelos de tráfego: estático, incremental, dinâmico. Alocação de rotas: encaminhamento fixo, fixo-alternado, adaptativo. Alocação de comprimento de onda: algoritmos aleatório, ''first-fit'', mais usado, carga mínima, MAXSUM. Alocação conjunta. Integração com plano de controlo: roteamento distribuído por agentes (p. ex. formigas artificiais). Multi-granularidade (''grooming''): encaminhamento com QoS, banda efetiva. Encerrando a palestra, serão discutidas contribuições recentes sobre aplicações em topologias lineares, e tópicos de investigação em progresso relacionados com diferenciação de serviços em RWA e grooming.
Palestra de 14/9: Sobrevivência em Redes Ópticas
Resumo: Importância da Sobrevivência na Camada Física e na Camada Virtual. Camada física: sobrevivência contra falha simples. Proteção dedicada (1+1 e 1:1). Eficiência de recursos, eficiência computacional, velocidade de restauração. Anéis SDH com proteção: UPSR, BLSR. Proteção compartilhada em malhas: restrição SRLG. Novos esquemas: roteamento por sub-grafos. Cálculo de disponibilidade de caminho óptico. Alocação de disponibilidade: dimensionamento de grupos de compartilhamento. Disponibilidade em intervalo e risco de descumprimento em SLA's. Questões abertas: métricas de resiliência, minimização da vulnerabilidade, falhas de nó, falhas de SRLG. Sobrevivência de camada virtual. ________________________________________________________________________________________________________________________
CV breve do Prof. Helio Waldman: Nasceu em 1944 no Brasil. Graduou-se Engenheiro de Eletrónica pelo Instituto Tecnológico de Aeronáutica (ITA) de São José dos Campos, SP, em 1966, e recebeu os títulos de M. Sc. e Ph. D. da Universidade de Stanford na California, USA, em 1968 e 1972 respectivamente. Em 1973, juntou-se à Universidade Estadual de Campinas (UNICAMP), onde é Professor Titular. De 1982 a 1986, foi Diretor da Faculdade de Engenharia de Campinas. De 1986 a 1990, foi Pró-Reitor de Pesquisa da UNICAMP. É ''Senior Member'' do IEEE desde 1990, e Membro Sénior da Sociedade Brasileira de Telecomunicações (SBrT), onde serviu como Presidente entre 1988 e 1990. Publicou três livros em português, 71 trabalhos completos publicados em anais de eventos, e 21 artigos completos em periódicos. Orientou 29 Teses de Mestrado e 8 de Doutoramento.
URL: www.it.pt
Webcast of seminars held at IT_Coimbra (21-07-2005)
IT_Coimbra has organized a program of regular seminars covering a diverse range of topics in Telecommunications. A webcast of these seminars is permanently available on-line in the link bellow, along with the PDF version of the presentation.
URL: http://www.co.it.pt/seminarios/
ConfTele2005 (04-06-2005)
The conference presents a broad view of research and development in telecommunications. It is organized around the morning plenary sessions, where two key-note speakers will present the state of the art in leading-edge subjects, and the afternoon parallel thematic sessions, for oral presentations. The parallel sessions are arranged in streams, such as to enable maximum involvement and participation. Ample space is provided for posters sessions which will be allotted their own time slot. A panel discussion will close the conference.
The Conference, organised by IT, will be held at Hotel dos Templários - Tomar from April 6 to April 8
URL: http://www.lx.it.pt/conftele2005/
Palestra - Location determination in 802.11 networks (22-11-2004)
A.S. Krishnakumar, Director de Investigação de Sistemas em Rede, Avaya Labs, USA
Abstract: With the increasing use of wireless networking, especially
802.11-based wireless systems in enterprise networks, the
thrust now is to develop services that provide more than
untethered network access. An important class comprises those
services that use end-user location information. Such services
include location-aware content delivery, emergency location,
services based on the notion of closest resource, and location-based
access control. Techniques that can estimate location in
indoor environments, preferably without client changes, are
important to enable such services in enterprises. Traditional
GPS methods cannot be used for this since they have problems
working indoors. Further, the use of techniques such as
angle of arrival, Time difference of arrival etc. require client
modifications or substantial changes to the infrastructure. Therefore, we focus our discussion on methods based on received
signal strength measurements.
We will discuss the basic ideas and some recent work in this area.
Implications for deployment and maintenance of such systems will
also be considered. We will present experimental results from
deployed systems and compare the results from the literature.
This leads us to the question of fundamental limits to location
estimation accuracy and we will outline a theoretical analysis
that addresses this.
Local: Instituto Superior Técnico - Av. Rovisco Pais - Lisboa
Anfiteatro Complexo Interdisciplinar - 14:30H
URL:
ECUMN'2004 - 3rd European Conference on Universal Multiservice Networks (25-10-2004)
General Co-Chairs
Prosper Chemouil (France) - France Telecom R&D
Annie Gravey (France) - Groupement des Ecoles des Télécommunications
Pascal Lorenz (France) - University of Haute Alsace
Mário Freire (Portugal)- University of Beira Interior/Instituto de Telecomunicações
The European Conference on Universal Multiservice Networks (ECUMN) was born in Colmar, France under the sponsorship of SEE (Société de l'Electricité, de l'Electronique, et des Technologies de l'Information). After the first two successful venues in Colmar in 2000 and in 2002, the 3rd European Conference on Universal Multiservice Networks (ECUMN’2004) is moving to Portugal and will take place at Hotel D. Henrique, in Porto (Oporto) from Monday 25 to Wednesday 27 October, 2004. The conference is jointly organized by Instituto de Telecomunicações (IT) and OE (Ordem dos Engenheiros), with the technical co-sponsorship of IEEE Communications Society, IEEE Portugal Section, EUREL and SEE. The goal of the ECUMN conference is to bring together researchers from the academia and practitioners from the industry in order to address network and service convergence issues. The conference will provide a forum where the academia shall be able to present up-to-date research results and the industry describe emerging technologies and new research problems related to them.
URL: http://www.co.it.pt/ecumn04.html
SSSPR’2004 Joint IAPR International Workshops on Structural and Syntactical Pattern Recognition (SSPR 2004) and Statistical Pattern Recognition (SPR 2004) (18-08-2004)
Co-Chairs: Ana Fred, Terry Caelli, Aurélio Campilho, Bob Duin
The workshops aim at promoting interaction and collaboration not only
among researchers working directly in the areas covered by the
Association for Pattern Recognition (IAPR) technical committees on
Statistical PR (TC1) and Structural and Syntactical PR (TC2), but also
among those specialized in other fields who use statistical, syntactic
or structural techniques.
The present event will take place in Lisbon, Portugal, on August 18-20,
2004. The workshops will comprise of invited talks, oral and poster
presentations. During the workshop a plenary session, including
presentations and an open discussion, will be devoted to an
investigation of the relations between structural and statistical
pattern recognition. As with the previous editions (this is the 10th
SSPR and the 5th SPR), the proceedings will be published by Springer
Verlag.
URL: http://www.ph.tn.tudelft.nl/Organisation/ssspr2004/
Seminário - "REDES ÓPTICAS MULTI-GIGABIT III" (30-06-2004)
Objectivo
O Seminário insere-se no âmbito da formação avançada e difusão de conhecimentos que o Instituto de Telecomunicações vem promovendo regularmente. O seminário este ano tem como orador principal o Prof. Dr. Govind Agrawal da Universidade de Rochester (EUA), um reconhecido especialista mundial na transmissão de informação sobre fibras ópticas. O evento será uma oportunidade única para tomar conhecimento com alguns dos mais recentes avanços da investigação no domínio das comunicações ópticas.
O Seminário é aberto a todos os interessados sendo as inscrições aceites por ordem de chegada. Local
Anfiteatro do INSTITUTO de TELECOMUNICAÇÕES – Pólo de Aveiro.
Campus Universitário de Santiago
3810-193 – AVEIRO
Para se inscrever
Contacte o Secretariado do IT - Pólo de Aveiro através do telefone 234 - 377 914 (Sandra Corujo) ou 234 377 900.
Email: sandra@av.it.pt
PROGRAMA
14.00 Welcome Prof. Dr. João Lemos Pinto
Dep. Física – UA / IT
14.10 Chromatic Dispersion Fluctuation in Optical Fibers Due to Temperature Prof. Dr. Armando Nolasco Pinto - Dept. Elect. Telecom. – UA / IT
14.30 Broadband Tunable Wavelength Converters Dr. Rogério Nogueira - Dept. Física - UA / IT
14.50 Research in Optoelectronics at Siemens S.A. Prof. Dr. Paulo Monteiro - Dept. Elect. Telecom. – UA / IT / Siemens S.A.
15.10 Protection in WDM Networks Prof. Dr. Carmo Medeiros - Dept. Elect. Informática – Univ. Algarve
15.30 Optical Labeling in IP-over-WDM Networks Based on Combined FSK/ASK Modulation Format Dr. Xin Xiangjun - IT
15.50 Coffee-Break
16.05 Nonlinear PMD Prof. Govind Agrawal
Institute of Optics - University of Rochester
16.55 Stable Soliton Bound States in Optical Transmission Lines and Fiber Lasers Prof. Dr. Mário Ferreira - Dep. Física – UA / IT
17.15 Impact of SPM on XPM-induced Performance Degradation in Dispersion Compensated IM-DD WDM Systems Prof. Dr. Adolfo Cartaxo - Dept. Eng. Electrot. e de Comp. – IST / IT
17.35 Electromagnetic Waves in Complex Media Prof. Dr. Carlos Paiva - Dept. Eng. Electrot. e de Comp. – IST / IT
17.55 Closing Prof. Dr. João Lemos Pinto - Dep. Física – UA / IT
URL: www.it.pt
5th International Workshop on Image Analysis for Multimedia Interactive Services (21-04-2004)
Chairman: Prof. Fernando Pereira, Instituto Superior Técnico, Portugal
Co-Chairman: Prof. Paulo Lobato Correia, Instituto Superior Técnico, Portugal
The International Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS) is one of the main international fora for the presentation and discussion of the latest technological advances in interactive multimedia services. The objective of the workshop is to bring together researchers and developers from academia and industry working in all areas of image, video and audio applications, with a special focus on analysis. After Louvain'97, Berlin'99, Tampere'01 and London'03, WIAMIS, from now on held annually, will be organized in 2004 by Instituto de Telecomunicaçõe - Instituto Superior Técnico, in the city of Lisbon, Portugal.
URL: http://www.img.lx.it.pt/WIAMIS2004/
MTPT - ADVANCED SCHOOL AND WORKSHOP on Mathematical Techniques and Problems in Telecommunications (12-09-2003)
This event comes in the follow-up of a rather successful, even if less ambitious event, ''Matemática em Telecomunicações: Que Problemas ?'', organized by IT in 1997.
The present event will take place in Tomar, Portugal, on September 8-12th. Each of the five days of this event is dedicated to one mathematical theme: besides the course, each day program also includes a session dedicated to problem/solution pairs submitted by telecommunications engineers, and solved by interested mathematicians.
URL: http://www.lx.it.pt/mtpt/
HSNMC'03 - 6th IEEE International Conference on High Speed Networks and Multimedia Communications (25-07-2003)
HSNMC’03 is the 6th conference of a successful series started under the name of International Conference on ATM (ICATM), in Colmar (1998), and subsequently held in Colmar (1999), Heidelberg (2000), Seoul (2001) and Jeju (2002).
This edition of the conference is organized by Instituto de Telecomunicações and will be held in Estoril, Portugal, on July 23-25, 2003
URL: http://www.co.it.pt/hsnmc03.html
Summer School at IST-TUL on Wireless IP (21-07-2003)
A Summer School on ''Wireless Internet: network architectures, quality of service, services and applications'', targeted to (but not exclusive) Ph.D. students, will take place at the North Tower of the IST-TUL campus, Lisbon on 2003/07/21-25
The Summer Course is organized by Instituto Superior Técnico, and comprises one full week lectures by some of the key experts in the area,
and a final panel with discussion. Registrations until 2003/07/04.
URL: http://www.lx.it.pt/anwire
EMMCVPR'2003 - Energy Minimization Methods in Computer Vision and Pattern Recognition (09-07-2003)
Co-chairs: Mario Figueiredo, Anand Rangarajan, Josiane Zerubia
The aim of this workshop, which is the fourth in a series, is to bring together researchers with interests in optimization aspects of computer vision and pattern recognition. This workshop provides a forum wherein researchers can report their recent work
and engage in discussions. As with the previous editions (1997, 1999, and 2001), the proceedings will be published by Springer Verlag.
URL: http://www.emmcvpr.org
ConfTele - 4th Conference on Telecommunications (20-06-2003)
In the wake of the previous editions, Instituto de Telecomunicações organizes the 4th Conference on Telecommnunications, ConfTele2003, to be held in Aveiro, on 18-20 June 2003.
Aware of the important and pervasive role of telecommunications in society, driven by a relentless demand for new services and by market deregulation, ConfTele2003 aims to foster cooperation between the main players in the area of telecommunications: universities, research units, operators, service providers and manufacturers.
URL: http://www.conftele2003.it.pt/
IST Mobile & Wireless Communications Summit 2003 (18-06-2003)
The 12th Summit on Mobile and Wireless Communications is intended to reflect the goal of pushing the development of a global wireless information society, aiming consequently to be a forum where innovative and alternative solutions and respective results will be presented and discussed.
Following the recent realizations of 2001 in Barcelona and 2002 in Thessaloniki, the event will take place in Aveiro, Portugal, on June 15-18, 2003.
URL: http://www.mobilesummit2003.org/
I SYMPOSIUM ON ENABLING OPTICAL NETWORKS (17-06-2003)
Symposium to be held at the Aveiro Site of IT.
Topics:
Modulation Formats, Lasers, Optical transmission, Optical Receivers, Optical Filtering, Optical Subsystems, New Technologies.
URL: http://site-on.av.it.pt
PIMRC - The 13th IEEE International Symposium on Personal, Indoor Mobile Radio Communications (16-09-2002)
The conference was held in Lisbon, at the ''Pavilhão Atlântico'' from 15th to 18th September 2002, and gathered more than 600 world specialists on Wireless Communications, in a profitable blend between industry and academia. There was a record of 500 oral and poster presentations.
URL: http://www.lx.it.pt/pimrc2002/
