Cracs Latest News

CRACS Seminar: On the Structure of Natural Deduction Derivations for "Generally"

17 February 2017

Come and learn about the logic of "generally" with Leonardo!

CRACS Seminar: Computing on a budget, a system's engineers prospective

15 March 2017
Who: Christopher Harrison
When: Wed March 15th
Where: DCC - Room: Amphitheater 2
Time: From 2 to 3pm

Seminar by Prof. Kay Barthel on "Visually Browsing Millions of Images using Image Graphs"

03 March 2017

Where: Amphitheatre 2 (FC6), CS Department, FCUP, Rua do Campo Alegre 1021, Porto

When: 3rd of March 2017 / 11:30am

Abstract: We present a new approach to visually browse very large sets of untagged images. High quality image descriptors are generated using transformed activations of a convolutional neural network. These features are used to model image similarities, from which a hierarchical image graph is build. We show how such a graph can be constructed efficiently. Best user experience for navigating this graph is achieved by projecting sub-graphs onto a regular 2D-image map. This allows users to explore the image graph similar to navigation services.

Ricardo Queirós publica novo livro: "ANDROID - BASES DE DADOS E GEOLOCALIZAÇÃO"

28 November 2016

As necessidades diárias dos consumidores continuam fortemente ligadas aos dispositivos móveis, que se tornaram objetos essenciais na vida de qualquer um. Para responder a estas exigências do dia a dia, o desenvolvimento de aplicações para dispositivos Android continua a apresentar um forte crescimento.

Neste livro, que dá continuidade a outras obras do mesmo autor, apresentam-se dois tópicos essenciais no desenvolvimento de aplicações em qualquer plataforma de software: as bases de dados e a geolocalização.

VECPAR 2016 co-organized by members of CRACS

28 June 2016

VECPAR 2016, the 12th Meeting on High Performance Computing for Computational Science, was organized by members of CRACS, during June 28th ro June 30th, with workshops on the 30th and on July 1st. For more information and presented material, check the conference web page: http://vecpar.fe.up.pt/2016.

FSCD'2016 organized by members of CRACS

22 June 2016

Sandra Alves from CRACS/INESC TEC was the Conference Chair of the 1st International Conference on Formal Structures for Computation and Deduction,  FSCD'2016, held at the Computer Science Department, Faculty of Science, University of Porto (Portugal), June 22­ to 26, 2016.

Researchers from CRACS/INESC TEC win Best Poster award at WEBIST'2016 Conference

16 May 2016

 

The researchers of CRACS/INESC TEC,  Álvaro Figueira and Luciana Oliveira, were distinguished with the “Best Poster Award”  at the conference WEBIST'16, in Rome.

 

 

Ricardo Queirós publica novo livro: "Desenvolvimento de Aplicações com Android Studio"

25 February 2016

O investigador do CRACS e docente da ESEIG/IPP Ricardo Queirós escreveu novo livro dedicado ao Sistema Operativo Android.
Estará disponível em Portugal a partir do dia 25 de Fevereiro.

Dia da Internet mais Segura

04 February 2016

O Investigador do CRACS, Luís Filipe Antunes, foi um dos oradores convidados do Seminário Dia da Internet mais Segura, um evento organizado pelo Consórcio Centro Internet Segura em colaboração com a Fundação PT, que teve lugar no Fórum Picoas, em Lisboa.

Podem ver aqui a notícia divulgada pela FCT.

CRACS organizes "Porto Winter School on Graph Analytics and Applications"

14 December 2015

Dates: 14-16 December, 2015 (http://graph15.dcc.fc.up.pt/)

The school will deliver a mix of lectures, case study presentations and hands-on sessions in the domain of large scale data analytics with emphasis on the analysis of graphs/networks.l

Syndicate content