Semantic architecture for sensors

Based on the report for the unit “Sociology of New Information Technologies” of the Master on Computer Sciences at FCT/University Nova Lisbon in 2015-16. The responsible of this curricular unit is Prof. António Moniz

Implementação de um modelo de geometric semantic genetic programming para aplicação naval

Recaí sob a responsabilidade da Marinha Portuguesa a gestão da Zona Económica Exclusiva de Portugal, assegurando a sua segurança da mesma face a atividades criminosas. Para auxiliar a tarefa, é utilizado o sistema Oversee, utilizado para monitorizar a posição de todas as embarcações presentes na área afeta, permitindo a rápida intervenção da Marinha Portuguesa quando e onde necessário. No entanto, o sistema necessita de transmissões periódicas constantes originadas nas embarcações para operar corretamente – casos as transmissões sejam interrompidas, deliberada ou acidentalmente, o sistema deixa de conseguir localizar embarcações, dificultando a intervenção da Marinha. A fim de colmatar esta falha, é proposto adicionar ao sistema Oversee a capacidade de prever as posições futuras de uma embarcação com base no seu trajeto até à cessação das transmissões. Tendo em conta os grandes volumes de dados gerados pelo sistema (históricos de posições), a área de Inteligência Artificial apresenta uma possível solução para este problema. Atendendo às necessidades de resposta rápida do problema abordado, o algoritmo de Geometric Semantic Genetic Programming baseado em referências de Vanneschi et al. apresenta-se como uma possível solução, tendo já produzido bons resultados em problemas semelhantes. O presente trabalho de tese pretende integrar o algoritmo de Geometric Semantic Genetic Programming desenvolvido com o sistema Oversee, a fim de lhe conceder capacidades preditivas. Adicionalmente, será realizado um processo de análise de desempenho a fim de determinar qual a ideal parametrização do algoritmo. Pretende-se com esta tese fornecer à Marinha Portuguesa uma ferramenta capaz de auxiliar o controlo da Zona Económica Exclusiva Portuguesa, permitindo a correta intervenção da Marinha em casos onde o atual sistema não conseguiria determinar a correta posição da embarcação em questão.

Triagem universal de alunos em risco de apresentarem dificuldades de aprendizagem específicas na leitura: um estudo quantitativo no 3º ano do 1º Ciclo do Ensino Básico

Doutoramento em Estudos da Criança (área de especialização em Educação Especial).

K-invariantes en el algebra universal de un grupo de Lie semisimple

Tarea (A):(...) Trataremos de extender a Sp(n,1) los resultados conseguidos sobre la imagen del homomorfismo de Lepowsky cuando G es SO(n,1) ó SU(n,1). (...) Tarea (B): (...) Para todo grupo de Lie de rango uno, con rango (G) = rango (K), los elementos del álgebra B son W-invariantes y que este resultado ya ha sido establecido para los grupos SO(2n,1) y SU(n,1); durante el período correspondiente a este subsidio esperamos extender este resultado a todo grupo de Lie de rango uno con rango (G) = rango (K). Tarea (C): Durante este período esperamos también avanzar en la determinación del dual unitario del grupo Spin (2n,C).

Congress of arts and science, Universal exposition, St. Louis, 1904; ed. by Howard J. Rogers.

v. VI

Congress of arts and science, Universal exposition, St. Louis, 1904; ed. by Howard J. Rogers.

v. IV

Congress of arts and science, Universal exposition, St. Louis, 1904; ed. by Howard J. Rogers.

v.I

Congress of arts and science, Universal exposition, St. Louis, 1904; ed. by Howard J. Rogers.

v. VII

Congress of arts and science, Universal exposition, St. Louis, 1904; ed. by Howard J. Rogers.

v. VIII

Robust acoustic and semantic modeling in a telephone-based spoken dialog system

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2009

In search of mathematical primitives for deriving universal projective hash families

We provide some guidelines for deriving new projective hash families of cryptographic interest. Our main building blocks are so called group action systems; we explore what properties of this mathematical primitives may lead to the construction of cryptographically useful projective hash families. We point out different directions towards new constructions, deviating from known proposals arising from Cramer and Shoup's seminal work.

When does universal peace prevail? Secession and group formation in rent seeking contests and policy conflicts

This paper analyzes secession and group formation in a general model of contest inspired by Esteban and Ray (1999). This model encompasses as special cases rent seeking contests and policy conflicts, where agents lobby over the choice of a policy in a one-dimensional policy space. We show that in both models the grand coalition is the efficient coalition structure and agents are always better off in the grand coalition than in a symmetric coalition structure. Individual agents (in the rent seeking contest) and extremists (in the policy conflict) only have an incentive to secede when they anticipate that their secession will not be followed by additional secessions. Incentives to secede are lower when agents cooperate inside groups. The grand coalition emerges as the unique subgame perfect equilibrium outcome of a sequential game of coalition formation in rent seeking contests.

How universal is behavior? A four country comparison of spite, cooperation and errors in voluntary contribution mechanisms

This paper studies behavior in experiments with a linear voluntary contributions mechanism for public goods conducted in Japan, the Netherlands, Spain and the USA. The same experimental design was used in the four countries. Our 'contribution function' design allows us to obtain a view of subjects' behavior from two complementary points of view. If yields information about situations where, in purely pecuniary terms, it is a dominant strategy to contribute all the endowment and about situations where it is a dominant strategy to contribute nothing. Our results show, first, that differences in behavior across countries are minor. We find that when people play "the same game" they behave similarly. Second, for all four countries our data are inconsistent with the explanation that subjects contribute only out of confusion. A common cooperative motivation is needed to explain the date.