CMAF-CIO

A computational logic approach for finding maximum-size cliques in large-scale networks

Por Bogdan Dicher (Centro de Filosofia, Universidade de Lisboa).

Abstract: Graph optimization problems find important applications in the analysis of large-scale networks. One representative example is the computation of maximum-size complete subgraphs.

This talk details a computational logic approach for computing maximum-size complete subgraphs, which is not only efficient in practice, but also scales for large-scale networks.

Applications of a fundamental exterior differential system

Por Rui Albuquerque (Universidade de Évora).

Abstract: We present a fundamental exterior differential system associated to any given oriented Riemannian manifold of any given dimension. New equations of Riemannian geometry are found. The differential system coincides with the Cartan structural equations in the 2-dimensional case and had recent developments in 3-dimensions. We show several applications in some particular fields of study, such as weak holonomies, Einstein manifolds and hypersurface theory.

Páginas