Model Checking
Mostrando 1-12 de 87 artigos, teses e dissertações.
-
1. On the classification and treatment of outliers in a spatial context: A Bayesian Updating approach
Abstract Checking and treating extreme values is commonplace in modelling workflows. The main methods to manage outliers may be categorized into graphical, Kriging- and simulation-based approaches. While graphical methods usually classify outliers from a global perspective, geostatistical methods evaluate outliers in a local context. Ordinary-Kriging based a
REM, Int. Eng. J.. Publicado em: 2021-09
-
2. Measuring the Influence of the Commodity Market Performance over the Supply and Demand of Regional Air Travel
ABSTRACT: The existing relations between the supply of air transport services and economic development have been a relevant area of research in transport management. This study aims to analyze the influence of the productive performance of some Brazilian exported commodities over the demand for regional passenger air transportation on the regions where those
J. Aerosp. Technol. Manag.. Publicado em: 25/02/2019
-
3. Analysis of the brazilian federal bridge inventory
Resumo A gestão de pontes promove suporte na tomada de decisões gerenciais, otimizando as intervenções necessárias sob limitações orçamentárias. Nessa perspectiva, o Departamento Federal de Transportes (DNIT) desenvolveu o Sistema Brasileiro de Gerenciamento de Pontes (SGO) e promoveu o mais abrangente inventário de pontes rodoviárias sob sua admi
Rev. IBRACON Estrut. Mater.. Publicado em: 2019-02
-
4. Children's Literature Parallel Corpora: a Hybrid Experimental Model to Evaluate Transfers of Language Complexity Via Linguistic Transcoding
Abstract: This article aims at proposing a hybrid model to evaluate language complexity of source and target texts written both in English and Portuguese so that one can analyse what extent language complexity has been transferred from a text to its translation. Here,hybrid modelpoints to paralleled approaches to lexical repetition, lexical diversity and lex
Ilha Desterro. Publicado em: 2018-01
-
5. Optimization of Malaxation Process using Major Aroma Compounds in Virgin Olive Oil
ABSTRACT Optimization of major aroma compounds in olive oils produced from fruits at three maturity stages wasstudied. A central composite design was used for the optimization of malaxation conditions of temperature and times, each at five levels with 13 runs including five central points. The responses of interest were trans-2-hexenal and hexanal, which wer
Braz. arch. biol. technol.. Publicado em: 01/12/2016
-
6. O processo de gestão e controle dos fluxos de caixa em um banco brasileiro: uma análise à luz da abordagem do ciclo de vida organizacional / The process of management and control of cash flows in a Brazilian bank: an analysis according the organizational life cycle approach
This work aims to expand the knowledge about the activity of cash flow management and control in the banking sector, which is not much explored in research and literature, thus contributing to a better understanding of this activity, since for any company to optimize cash flows management is important, and this task is even more critical to a bank, because t
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/10/2012
-
7. Modelagem estatística de extremos espaciais com base em processos max-stable aplicados a dados meteorológicos no estado do Paraná / Statistical modelling of spatial extremes based on max-stable processes applied to environmental data in the Parana State
The most mathematical models developed for rare events are based on probabilistic models for extremes. Although the tools for statistical modeling of univariate and multivariate extremes are well-developed, the extension of these tools to model spatial extremes data is currently a very active area of research. Modeling of maximum values under the spatial dom
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2012
-
8. O comportamento dos custos de produção do café arábica em relação a venda de máquinas agrícolas no estado de Minas Gerais
Brazil stands out on the world stage with regard to the marketing of agricultural products, ranking third in the world rankings when it comes to exports, according to the World Trade Organization - WTO (2011). The agricultural sector is the second-level employment in the country, according to the Brazilian Institute publishes Economic Geography - IBGE (2011)
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/04/2012
-
9. Base de dados morfológicos de terminologias do português do Brasil : descrição e análise morfológica com vistas à disponibilização on-line
The researches in Linguistics and Language fields are extremely rich, consistent and efficient in Brazil, however, still aren‟t expressive in the Brazilian researches the issues involving morphology and terminology. In this context, this research aims to describe the structure of two terminological repertoire (Nanoscience / Nanotechnology and Biofuels)
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/04/2012
-
10. Métrica para avaliação da inconsistência hidrológica de terrenos representados por MDE / Metric for evaluate the hydrological inconsistency of terrains represented by DEM
This paper presents a method to evaluate the hydrologic inconsistencies in terrain represented by digital elevation model. This method becomes important because of the widespread use of GIS in the hydrology area and hydrological consistency of digital terrain models have received attention of many researchers. Currently checking the model hydrologic consiste
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/02/2012
-
11. Identificação de extratos etanólicos de madeiras utilizando seu espectro eletrônico de absorção e análise multivariada
The application of multivariate analysis to spectrophotometric (UV) data was explored for distinguishing extracts of cachaça woods commonly used in the manufacture of casks for aging cachaças (oak, cabreúva-parda, jatobá, amendoim and canela-sassafrás). Absorbances close to 280 nm were more strongly correlated with oak and jatobá woods, whereas absorba
Química Nova. Publicado em: 2012
-
12. Nova metodologia para análise de identificabilidade e estimação de parâmetros de modelos fenomenológicos
Model identification is the activity of constructing representative mathematical models of real systems. Several techniques are available for its completion, which depend on the level of information available about the studied system. In this work techniques for gray-box identification, which use both phenomenological models and experimental data, were studi
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012