Bootstrap performance profiles in stochastic algorithms assessment

Optimization with stochastic algorithms has become a relevant research field. Due to its stochastic nature, its assessment is not straightforward and involves integrating accuracy and precision. Performance profiles for the mean do not show the trade-off between accuracy and precision, and parametric stochastic profiles require strong distributional assumptions and are limited to the mean performance for a large number of runs. In this work, bootstrap performance profiles are used to compare stochastic algorithms for different statistics. This technique allows the estimation of the sampling distribution of almost any statistic even with small samples. Multiple comparison profiles are presented for more than two algorithms. The advantages and drawbacks of each assessment methodology are discussed.

MOEA/VAN: Multiobjective Evolutionary Algorithm based on Vector Angle Neighborhood

Natural selection favors the survival and reproduction of organisms that are best adapted to their environment. Selection mechanism in evolutionary algorithms mimics this process, aiming to create environmental conditions in which artificial organisms could evolve solving the problem at hand. This paper proposes a new selection scheme for evolutionary multiobjective optimization. The similarity measure that defines the concept of the neighborhood is a key feature of the proposed selection. Contrary to commonly used approaches, usually defined on the basis of distances between either individuals or weight vectors, it is suggested to consider the similarity and neighborhood based on the angle between individuals in the objective space. The smaller the angle, the more similar individuals. This notion is exploited during the mating and environmental selections. The convergence is ensured by minimizing distances from individuals to a reference point, whereas the diversity is preserved by maximizing angles between neighboring individuals. Experimental results reveal a highly competitive performance and useful characteristics of the proposed selection. Its strong diversity preserving ability allows to produce a significantly better performance on some problems when compared with stat-of-the-art algorithms.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Entrevista com Maria Manuela dos Reis Martins: reflexões sobre a Arqueologia Urbana, a paisagem e o território

"Entrevista concedida a Érica Cristhyane Morais da Silva"

Entre o público e o privado. Cenários do quotidiano na domus das Carvalheiras

A domus romana provincial constitui um contexto privilegiado para analisar a adoção dos modelos arquitetónicos e construtivos clássicos, a riqueza das elites urbanas e o quotidiano familiar, que se estruturava nas múltiplas relações de sociabilidade entre os membros da família, entre o paterfamilias e os seus clientes, ou entre a família e os serviçais. A casa era também o contexto onde se definiam e afirmavam diferentes identidades, bem como a estatuto social da família. Tendo por base a domus das Carvalheiras, o único exemplar de casa romana de elite totalmente escavado em Braga, procuraremos proceder a uma análise da sua arquitetura, tendo em vista compreender os seus custos de construção e caracterizar os diversos espaços onde se desenvolviam as relações de sociabilidade do agregado familiar.

A construção em Bracara Augusta. O processo construtivo no quotidiano de uma cidade: os agentes e os artesãos

Os construtores e artesãos de Bracara Augusta assumiram um papel importante na economia da cidade. Formam um grupo de indivíduos complexo e diversificado, frequentemente invisíveis nas fontes escritas, cuja atividade recuperamos através da Arqueologia. A cidade conheceu, desde muito cedo, e ao longo da sua história, um protagonismo crescente, caracterizado por importantes funções administrativas e religiosas. Este crescimento político gradual foi acompanhado de uma significativa e permanente actividade construtiva, cuja análise nos transporta ao universo da economia, do mundo social do trabalho, da inovação e das modas. Neste artigo, procuraremos identificar os vários ofícios que estão por de trás desse dinamismo, frequentemente denunciados pelas estruturas e materiais que produziram, apreciaram e/ou adquiriram.