Buscar
Mostrando ítems 1-10 de 883
Verificação de projetos de controle de veículos aéreos autônomos
(Universidade Federal de Minas GeraisBrasilICX - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃOPrograma de Pós-Graduação em Ciência da ComputaçãoUFMG, 2020-11-26)
Flight systems formal checking became necessary once automatic control systems became widely applied, as they are complex, interdisciplinary and have highly dependent
components. Failures are resposible from financial to ...
Verificação da performance de modelos APARCH assimétricos aplicados a dados financeiros
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Estatística - PPGEs, 2013-04-01)
The volatility of financial assets changes over time, indicating the specification of regime change in volatility models. Furthermore, the presence of asymmetry in the returns of the financial market has been recognized ...
Pesquisador da FGV/DAPP participa do principal encontro de estatística do Brasil
(2014-08-05)
O pesquisador da FGV/DAPP João Victor participou, durante o mês de Julho, do 21º SINAPE - Simpósio Nacional de Probabilidade e Estatística, em Natal, a principal reunião científica da comunidade estatística brasileira. ...
A formally founded framework for dynamic software architectures
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2016-06-10)
Software architectures play a significant role in the development of software-intensive
systems in order to allow satisfying both functional and non-functional requirements. In
particular, dynamic software architectures ...
Verificação da representatividade de amostragem da lecitina de soja por meio de análises físico-químicas
(Universidade Tecnológica Federal do ParanáPonta GrossaBrasilDepartamento Acadêmico de Engenharia QuímicaEngenharia QuímicaUTFPR, 2018-11-19)
The industry of soybean crushing which uses physical degumming process has the soybean gum which is used to produce soy lecithin. The obtaining process of soy lecithin is carried out by batch, and the union of approximately ...
A formação do usuário de estatística pelo desenvolvimento da literacia estatística, do raciocínio estatístico e do pensamento estatístico através de atividades exploratórias
(Universidade Federal de Juiz de ForaBrasilICE – Instituto de Ciências ExatasPrograma de Pós-graduação em Educação MatemáticaUFJF, 2016)
As metas do Milênio da ONU : uma aplicação da análise estatística multivariada
(Universidade Federal do Rio de JaneiroBrasilInstituto de EconomiaUFRJ, 2016)