Buscar recursos académicos

Due to aircraft accidents, in 2008, operational restrictions were imposed on Congonhas airport by IAC 121-1013. These restrictions sought to create a balance between flight safety and operational efficiency. The purpose ...

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

This article discusses the relationship between the mandates to achieve increased operational safety and the application of risk management strategies. That commercial airlines must operate at the highest level of safety...

Regional Control Areas (RCAs) have been implemented in Mexico as a strategy to delay the spread of Candidatus Liberibacter asiaticus, the causal bacterium of the disease known as Huanglongbing (HLB). The implementation o...

Abstract Background The COVID-19 pandemic has affected all sectors of the world economy and society. To understand the impact of the pandemic on firms in China and suggest public policies to deal with the negative effect...

"Usually, data in data warehouses (DWs) are stored using the notion of the multidimensional (MD) model. Often, DWs change in content and structure due to several reasons, like, for instance, changes in a business scenari...