Search results for "ARCHITECTURE"

Improving protein secondary structure predictions by prediction fusion

2009

Protein secondary structure prediction is still a challenging problem at today. Even if a number of prediction methods have been presented in the literature, the various prediction tools that are available on-line produce results whose quality is not always fully satisfactory. Therefore, a user has to know which predictor to use for a given protein to be analyzed. In this paper, we propose a server implementing a method to improve the accuracy in protein secondary structure prediction. The method is based on integrating the prediction results computed by some available on-line prediction tools to obtain a combined prediction of higher quality. Given an input protein p whose secondary struct…

A system for sign language sentence recognition based on common sense context

2005

The paper proposes a complete framework for sign language recognition that integrates common sense in order to deal with sentences. The proposed system is based on a cognitive architecture allows modeling and managing the knowledge of the recognition process in a simple and robust way. The final abstraction level of this architecture introduces the semantic context and the analysis of the correctness of a sentence given a sequence of recognized signs. Experimentations are presented using the Italian sign language (LIS), and shows that the system maintains the recognition rate high when set of sign grows, correcting erroneous recognized single sign using the context

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

2018

This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…

Lambda+, the renewal of the Lambda Architecture: Category Theory to the rescue

2021

Designing software architectures for Big Data is a complex task that has to take into consideration multiple parameters, such as the expected functionalities, the properties that are untradeable, or the suitable technologies. Patterns are abstractions that guide the design of architectures to reach the requirements. One of the famous patterns is the Lambda Architecture, which proposes real-time computations with correctness and fault-tolerance guarantees. But the Lambda has also been highly criticized, mostly because of its complexity and because the real-time and correctness properties are each effective in a different layer but not in the overall architecture. Furthermore, its use cases a…

High performance hardware correlation coefficient assessment using programmable logic for ECG signals

2003

Abstract Correlation coefficient is frequently used to obtain cardiac rhythm by peak estimation and appreciate differences in the signal compared to a pattern. This work focuses on the description of a real-time correlation assessment procedure. Applied to electrocardiogram (ECG) signals, a new correlation value is obtained every new sample and pulse detection information is provided. The ECG pattern is internally stored and can be changed when desired. This procedure is useful in Systems on Chip implementation and can be applied to design compact ECG monitoring systems consisting on a system on chip where programmable logic offloads the main processor. A Xilinx FPGA device has been used fo…

Information and hierarchical structure in financial markets

1999

I investigate the information content present in the time series of stock prices of a portfolio of stocks traded in a financial market. By investigating the correlation coefficient between pairs of stocks I provide a working definition of a generalized distance between the stocks of the portfolio. This generalized distance is used to obtain an ultrametric distance matrix between the stocks. The ultrametric structure of the portfolio investigated has associated a taxonomy which is meaningful from an economic point of view.

Une été 1928

2023

Corruption in banks: A bibliometric review and agenda

2020

Abstract This paper is a bibliometric review of 819 articles, between 1969 and 2019, on corruption in banks. We identified six research streams: (1) the determinants of banks’ lending corruption; (2) the impact of corruption on banks’ lending and operational risk; (3) the impact of bank corruption on firms; (4) the impact of political connections on bank corruption; (5) the impact of corporate governance and regulations on bank corruption; and (6) the manipulation of the inter-bank offered rate. We recommend an anti-corruption architecture system and an extension in theoretical frameworks related to corruption in banks. We propose 20 future research questions.

PArthENoPE reloaded

2018

We describe the main features of a new and updated version of the program PArthENoPE, which computes the abundances of light elements produced during Big Bang Nucleosynthesis. As the previous first release in 2008, the new one, PArthENoPE 2.0, will be soon publicly available and distributed from the code site, http://parthenope.na.infn.it. Apart from minor changes, which will be also detailed, the main improvements are as follows. The powerful, but not freely accessible, NAG routines have been substituted by ODEPACK libraries, without any significant loss in precision. Moreover, we have developed a Graphical User Interface (GUI) which allows a friendly use of the code and a simpler implemen…

Il patrimonio "cavo". Architetture ipogee e spazio idraulico nella piana di Palermo

2018

The valorisation policies and protection of “visible” architectural heritage are often promoted by the public opinion, that immediately perceives in the artefacts or landscape degradation the risk of an irreparable loss. Conversely, the safeguard of the underground built heritage is ever more difficult to achieve. It is the case of the "hollow architecture" functional to ensuring water provisioning in the Plain one of Palermo, the so-called “horizontal wells”. The most interesting aspect is the complex dense network of canals for the abstraction of groundwater resources. These artefacts date back to the sixteenth century – though an older dating is not to be excluded – and they outline the …