Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2012

Conditional Renyi Entropies

Autores
Teixeira, A; Matos, A; Antunes, L;

Publicação
IEEE TRANSACTIONS ON INFORMATION THEORY

Abstract
There is no generally accepted definition of conditional Renyi entropy. The (unconditional) Renyi entropy depends on a parameter alpha, which for the case of min-entropy takes the value infinity. Even for this particular case, there are several proposals for the definition of conditional entropy. This paper describes three general definitions of conditional Renyi entropy that were found or suggested in the literature. Their properties are studied and their values, as a function of alpha, are compared. The particular case of min-entropy is widely used in cryptography as a security parameter; this case is studied in some detail.

2012

Ontologies for reusing data cleaning knowledge

Autores
Almeida, R; Oliveira, P; Braga, L; Barroso, J;

Publicação
Proceedings - IEEE 6th International Conference on Semantic Computing, ICSC 2012

Abstract
The emergence of new business models, namely, the establishment of partnerships between organizations, the chance that companies have of adding existing data on the web, especially in the semantic web, to their information, led to the emphasis on some problems existing in databases, particularly related to data quality. Poor data can result in loss of competitiveness of the organizations holding these data, and may even lead to their disappearance, since many of their decision-making processes are based on these data. For this reason, data cleaning is essential. Current approaches to solve these problems are closely linked to database schemas and specific domains. In order that data cleaning can be used in different repositories, it is necessary for computer systems to understand these data, i.e., an associated semantic is needed. The solution presented in this paper includes the use of ontologies: (i) for the specification of data cleaning operations and, (ii) as a way of solving the semantic heterogeneity problems of data stored in different sources. With data cleaning operations defined at a conceptual level and existing mappings between domain ontologies and an ontology that results from a database, they may be instantiated and proposed to the expert / specialist to be executed over that database, thus enabling their interoperability. © 2012 IEEE.

2012

Hardware/Software Specialization Through Aspects

Autores
Cardoso, JMP; Carvalho, T; Teixeira, J; Diniz, PC; Goncalves, F; Petrov, Z;

Publicação
2012 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS (SAMOS): ARCHITECTURES, MODELING AND SIMULATION

Abstract
LARA is a programming language being developed to complement application code in a host programming language with instrumentation code, for monitoring, logging, and debugging, user's knowledge about specific characteristics of the application, non-functional requirements, and compiler, mapping and synthesis strategies to guide/control design-flows, especially the ones used to map computations to FPGA-based systems. This paper shows how the aspect-oriented approach provided by LARA allows developers to specify complementary program information that can be used by LARA aware design-flows to promote customized FPGA-based software/hardware implementations. Program and compiler/mapping specialization take advantage of specific properties of applications to optimize and customize specific application modules and software/hardware implementations, e. g., according to usage contexts. We illustrate the concept using a hotspot function from a real-life, industrial, application. The results show the importance of program specialization in deriving hardware/software implementations with higher-performance.

2012

Multi-objective evolutionary particle swarm optimization in the assessment of the impact of distributed generation

Autores
Maciel, RS; Rosa, M; Miranda, V; Padilha Feltrin, A;

Publicação
ELECTRIC POWER SYSTEMS RESEARCH

Abstract
This paper proposes a multi-objective approach to a distribution network planning process that deals with the challenges derived from the integration of Distributed Generation (DG). The proposal consists of a multi-objective version of the well-known Evolutionary Particle Swarm Optimization method (MEPSO). A broad performance comparison is made between the MEPSO and other multi-objective optimization meta-heuristics, the Non-dominated Sorting Genetic Algorithm II (NSGA-II) and a Multi-objective Tabu Search (MOTS), using two distribution networks in a given DG penetration scenario. Although the three methods proved to be applicable in distribution system planning, the MEPSO algorithm has presented promising attributes and a constant and high level performance when compared to other methods.

2012

2 10 Gbit/s nonreturn-to-zero-ook to 10 Gbaud quasicontinuous phase modulation all-optical conversion using cascaded mach-zehnder interferometer-semiconductor optical amplifiers

Autores
Dionisio, RP; Parca, G; Reis, C; Nogueira, R; Teixeira, AL;

Publicação
MICROWAVE AND OPTICAL TECHNOLOGY LETTERS

Abstract
An optical format conversion from nonreturn-to-zero (NRZ) to quasicontinuous phase modulation (Qu-CPM) using two MachZehnder interferometer-semiconductor optical amplifiers in serial is presented, and its feasibility is demonstrated in a 2 x 10 Gb/s NRZ-OOK to one 10 Gbaud Qu-CPM conversion experiment. (C) 2012 Wiley Periodicals, Inc. Microwave Opt Technol Lett 54:12401242, 2012; View this article online at wileyonlinelibrary.com. DOI 10.1002/mop.26783

2012

Left-Handed Completeness

Autores
Kozen, D; Silva, A;

Publicação
Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Abstract

  • 3300
  • 4362