Buscar
Mostrando ítems 1-10 de 112
Interaction Models and Automated Control under Partial Observable Environments
(IEEE Computer Society, 2017-01)
The problem of automatically constructing a software component such that when executed in a given environment satisfies a goal, is recurrent in software engineering. Controller synthesis is a field which fits into this ...
Aprendendo currículos para humanos com busca em árvore guiada por rede neuralLearning curricula for humans with neural-guided tree search
(Universidade Federal de ViçosaCiência da Computação, 2023)
Galerkin descontínuo no domínio do tempo aplicado a problemas com múltiplas escalas em nanofotônica
(Universidade Federal de Minas GeraisBrasilENG - DEPARTAMENTO DE ENGENHARIA ELÉTRICAPrograma de Pós-Graduação em Engenharia ElétricaUFMG, 2019-07-10)
The constant increase in the need for technological resources that bring higher rates of
transmission, processing, and storage of data, drives the study of the properties of electromagnetic
propagation in nanoscale ...
Lean Thinking Simulation Model to Improve the Service Performance in Fast Food
(2021-01-01)
The fast food industry, specifically the service department, has experienced sustainable economic growth and has evolved in the application of substantial methods, however, it has presented a slowdown due to deficient ...
Modelling and Integrating Formal Models: from Test Cases and Requirements Models
(Universidade Federal de Pernambuco, 2014)
Mineralização da matéria orgânica de lodo aplicado no solo e produtividade do capim-tifton 85
(Universidade Federal de Minas GeraisBrasilENG - DEPARTAMENTO DE ENGENHARIA SANITÁRIA E AMBIENTALPrograma de Pós-Graduação em Saneamento, Meio Ambiente e Recursos HídricosUFMG, 2017-03-29)
The objective of this work was to evaluate and quantify the organic matter mineralization of
organic waste from septic tank (LTS), anaerobic digester (LDA), UASB reactor (LRU) and
material withdrawn at different depths ...
Using contexts to extract models from code
(Springer Heidelberg, 2017-05)
Behaviour models facilitate the understanding and analysis of software systems by providing an abstract view of their behaviours and also by enabling the use of validation and verification techniques to detect errors. ...
O papel dos metabólitos da via 5-lipoxigenase na remodelação óssea induzida por força mecânica
(Universidade Federal de Minas GeraisUFMG, 2013-12-02)
Bone remodeling, induced by mechanical force, results in bone resorption and bone deposition in specific sites and is regulated by the release of inflammatory mediators, among those, arachidonic acid (AA). AA, can be ...