scispace - formally typeset
Search or ask a question
Institution

INESC-ID

NonprofitLisbon, Portugal
About: INESC-ID is a nonprofit organization based out in Lisbon, Portugal. It is known for research contribution in the topics: Field-programmable gate array & Control theory. The organization has 932 authors who have published 2618 publications receiving 37658 citations.


Papers
More filters
Proceedings ArticleDOI
12 Dec 2005
TL;DR: In this paper, an adaptive receding horizon control algorithm for a distributed collector solar field is presented, being described by a nonlinear hyperbolic partial differential equation (PDE) which models the temperature dynamics.
Abstract: This paper presents an adaptive receding horizon control algorithm for a distributed collector solar field which explicitly explores its distributed parameter character The plant considered is a distributed collector solar field, being described by a nonlinear hyperbolic partial differential equation (PDE) which models the temperature dynamics A lumped parameter model is obained by applying Orthogonal Collocation This model is then used as a basis for controller design Stability is ensured for the lumped parameter model by resorting to Control Lyapunov function methods Simulation results using a detailed physically based simulator of the solar field are provided

32 citations

Journal ArticleDOI
TL;DR: This paper significantly extends previous error taxonomies so that translation errors associated with Romance language specificities can be accommodated and carries out an extensive analysis of the errors generated by four different systems.
Abstract: A detailed error analysis is a fundamental step in every natural language processing task, as to be able to diagnose what went wrong will provide cues to decide which research directions are to be followed. In this paper we focus on error analysis in Machine Translation (MT). We significantly extend previous error taxonomies so that translation errors associated with Romance language specificities can be accommodated. Furthermore, based on the proposed taxonomy, we carry out an extensive analysis of the errors generated by four different systems: two mainstream online translation systems Google Translate (Statistical) and Systran (Hybrid Machine Translation), and two in-house MT systems, in three scenarios representing different challenges in the translation from English to European Portuguese. Additionally, we comment on how distinct error types differently impact translation quality.

32 citations

Journal ArticleDOI
TL;DR: In this article, a set of planar trapezoidal coils were used to detect sub-millimetre defects with any orientation on the inner surface of pipes, and five different probes were designed, produced and experimentally validated.
Abstract: Novel eddy current probes were developed to detect sub-millimetre defects with any orientation on the inner surface of pipes. Five different probes were designed, produced and experimentally validated. These probes include arrays of planar trapezoidal coils in a flexible substrate used alone or together with different winded drive coils. Numerical simulations with Finite Element Method were used to predict the probe response to defects with any orientation. Experimental results in austenitic steel jackets used in ITER revealed that the new probes have an improved reliability compared to conventional toroidal bobbin probes, allowing a higher sensitivity to circumferential defects.

32 citations

Pere Pujol, Susagna Pol, Climent Nadeu, Astrid Hagen1, Hervé Bourlard 
01 Jan 2003
TL;DR: In this article, the spectral parameters obtained by frequency filtering (FF) of the logarithmic filter-bank energies (logFBEs) have been compared with the MFCCs and the Rasta-PLP features using both a hybrid HMM/MLP and a usual HMM-GMM recognition system, for both clean and noisy speech.
Abstract: Recently, the advantages of the spectral parameters obtained by frequency filtering (FF) of the logarithmic filter-bank energies (logFBEs) have been reported. These parameters, which are frequency derivatives of the lofFBEs, lie in the frequency domain, and have shown good recognition performance with repect to the conventional MFCCs for HMM systems. In this paper, the FF features are first compared with the MFCCs and the Rasta-PLP features using both a hybrid HMM/MLP and a usual HMM/GMM recognition system, for both clean and noisy speech. Taking advantage of the ability of the hybrid system to deal with correlated features, the inclusion of both the frequency second-derivatives and the raw logFBes as additional features is proposed and tested. Moreover, the robustness of these features in noisy conditions is enhanced by combining the FF technique with the Rasta temporal filtering approach. Finally, a study of the FF features in the framework of multi-stram processing is presented. The best recognition results for both clean and noisy speech are obtained from the multi-stream combination of the J-Rasta-PLP features and the FF features.

32 citations

Proceedings ArticleDOI
26 Oct 2021
TL;DR: Kauri as discussed by the authors is a BFT communication abstraction that can sustain high throughput as the system size grows, leveraging a novel pipelining technique to perform scalable dissemination and aggregation on trees.
Abstract: With the growing commercial interest in blockchains, permissioned implementations have received increasing attention. Unfortunately, the BFT consensus algorithms that are the backbone of most of these blockchains scale poorly and offer limited throughput. Many state-of-the-art algorithms require a single leader process to receive and validate votes from a quorum of processes and then broadcast the result, which is inherently non-scalable. Recent approaches avoid this bottleneck by using dissemination/aggregation trees to propagate values and collect and validate votes. However, the use of trees increases the round latency, which ultimately limits the throughput for deeper trees. In this paper we propose Kauri, a BFT communication abstraction that can sustain high throughput as the system size grows, leveraging a novel pipelining technique to perform scalable dissemination and aggregation on trees. Our evaluation shows that Kauri outperforms the throughput of state-of-the-art permissioned blockchain protocols, such as HotStuff, by up to 28x. Interestingly, in many scenarios, the parallelization provided by Kauri can also decrease the latency.

32 citations


Authors

Showing all 967 results

NameH-indexPapersCitations
João Carvalho126127877017
Jaime G. Carbonell7249631267
Chris Dyer7124032739
Joao P. S. Catalao68103919348
Muhammad Bilal6372014720
Alan W. Black6141319215
João Paulo Teixeira6063619663
Bhiksha Raj5135913064
Joao Marques-Silva482899374
Paulo Flores483217617
Ana Paiva474729626
Miadreza Shafie-khah474508086
Susana Cardoso444007068
Mark J. Bentum422268347
Joaquim Jorge412906366
Network Information
Related Institutions (5)
Carnegie Mellon University
104.3K papers, 5.9M citations

88% related

Eindhoven University of Technology
52.9K papers, 1.5M citations

88% related

Microsoft
86.9K papers, 4.1M citations

88% related

Vienna University of Technology
49.3K papers, 1.3M citations

86% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
202311
202252
202196
2020131
2019133
2018126