Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2013

Compaction Management: Results of a Demonstration Project

Authors
Parente, M; Correia, AG;

Publication
MATERIALS, TRANSPORTATION AND ENVIRONMENTAL ENGINEERING, PTS 1 AND 2

Abstract
Compaction management, also referred to as intelligent compaction (IC), is a real time automatic operation adjustment and continuous compaction control technology of soils or asphalt layers. It is essentially a technology for optimization and evaluation of the compaction process, being capable of adjusting the compaction energy applied to the material, increasing or decreasing compaction efficiency in the necessary areas according to an acceptance target value, thus attaining maximum stiffness, while preventing overcompaction and minimizing the total number of passes. This study seeks to assess in a case study the IC performance, in comparison with conventional compaction methods in terms of efficiency in compaction of a sandy soil. For this purpose, a specific experimental section was carried out in which the performance of an IC compactor was compared with a conventional heavier class compactor. Data was obtained and analysed by the IC continuous information, as well as by the application of several different conventional compaction control tests and methods. Results show that the IC technology presents a superior performance, as well as various advantages when compared to conventional compactors.

2013

Progress in Artificial Intelligence

Authors
Correia, L; Reis, LP; Cascalho, J;

Publication
Lecture Notes in Computer Science

Abstract

2013

WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES

Authors
Oliveira, JN;

Publication
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE

Abstract
The evolution from non-deterministic to weighted automata represents a shift from qualitative to quantitative methods in computer science. The trend calls for a language able to reconcile quantitative reasoning with formal logic and set theory, which have for so many years supported qualitative reasoning. Such a lingua franca should be typed, polymorphic, diagrammatic, calculational and easy to blend with conventional notation. This paper puts forward typed linear algebra as a candidate notation for such a unifying role. This notation, which emerges from regarding matrices as morphisms of suitable categories, is put at work in describing weighted automata as coalgebras in such categories. Some attention is paid to the interface between the index-free (categorial) language of matrix algebra and the corresponding index-wise, set-theoretic notation.

2013

Vision system for tracking handball players using fuzzy color processing

Authors
Santiago, CB; Sousa, A; Reis, LP;

Publication
MACHINE VISION AND APPLICATIONS

Abstract
The sports community needs technological aid to extract accurate statistics and performance data from both practice sessions and games. To obtain such information, players must be tracked over time and their movements processed so that individual actions and team plays are simultaneously analyzed. In order to perform this analysis in an automated, formal and accurate way, the authors developed a cost conscientious processing system fed by two overhead cameras (roughly one video stream for each half-field). Players are detected by vest colors, and Fuzzy Logic is used to allow for a given color to be shared by different teams. Color models for the background and the teams are dynamic over time to make up for changes in natural lighting conditions and consequent color changes. Player tracking is further enhanced using Kalman Filtering. Some examples of the analysis, made possible by the proposed system, are shown. Results are based on videos collected during the Portuguese Handball SuperCup competition for the year 2011.

2013

Método automático para a medição da espessura camada de plasma em microcanais com bifurcações

Authors
Bento, David; Cidre, Diana; Lima, José; Dias, Ricardo P.; Lima, Rui A.;

Publication
Congress on Numerical Methods in Engineering 2013

Abstract
Ao longo dos anos, a espessura da camada de plasma tem sido determinada com o auxílio de métodos manuais. Apesar destes métodos serem bastante fiáveis, estes são morosos e podem introduzir erros do utilizador nos dados. No presente trabalho, foi desenvolvido um método automático de processamento de imagem para a determinação da espessura camada de plasma de uma forma automática.

2013

Implementation of CRM systems in Portuguese Municipalities

Authors
Duque, J; Varajao, J; Vitor, F; Dominguez, C;

Publication
LOCAL GOVERNMENT STUDIES

Abstract
Customer relationship management is a business strategy which dynamically integrates a set of services with the purpose of creating value for the organisation and for their customers. In Portugal, the 2009/2010 edition of Simplex for Municipalities', the action plan carried by the Portuguese government through the Secretary's Office of State for Administrative Modernisation, makes a commitment to promote a set of initiatives in order to help citizens using the public services. This process intends to reduce costs of context which burden the economic activities, making way for the modernisation of administration. Customer relationship management assumes a central role in this context. This paper presents the main results of a survey that was carried out with Portuguese municipalities, aiming a general characterisation of the adoption of customer relationship management systems, covering several aspects, from the motivations for CRM adoption to the obtained results. The improvement of the relationship with citizens and a higher information quality are some of the most important results obtained by municipalities.

  • 3068
  • 4377