Formal Models
Mostrando 13-24 de 185 artigos, teses e dissertações.
-
13. Systematic Review of Health Economic Evaluations of Diagnostic Tests in Brazil: How accurate are the results?
The aim of this study is to identify and characterize the health economic evaluations (HEEs) of diagnostic tests conducted in Brazil, in terms of their adherence to international guidelines for reporting economic studies and specific questions in test accuracy reports. We systematically searched multiple databases, selecting partial and full HEEs of diagnost
Clinics. Publicado em: 2017-08
-
14. Development and Evaluation of Calibration Procedure for a Force-Moment Balance Using Design of Experiments
Abstract To measure the aerodynamic and hydrodynamic forces and moments acting on scaled models in water and wind tunnel tests, multi-component strain gauge force and moment balance are usually used. Their performance and accuracy largely depends on the rig and calibration method, including the load table (design matrix) and analysis of experimental data. In
Lat. Am. j. solids struct.. Publicado em: 2016-01
-
15. A DISTRIBUTION FOR THE SERVICE MODEL
ABSTRACT In this paper, we propose a distribution that describes a specific system. The system has a heavy traffic, a fast service and the service rate depends on state of the system. This distribution we call the Maximum-Conway-Maxwell-Poisson-exponential distribution, denoted by MAXCOMPE distribution. The MAXCOMPE distribution is obtained by compound distr
Pesqui. Oper.. Publicado em: 2015-12
-
16. Functional outcomes in patients with chronic obstructive pulmonary disease: a multivariate analysis
Background: Multiple factors can influence the severity of chronic obstructive pulmonary disease (COPD) and the functioning of patients with COPD, such as personal characteristics and systemic manifestations. Objective: To evaluate the different factors that can influence the activity and psychosocial impact domains of the Saint George's Respiratory Qu
Braz. J. Phys. Ther.. Publicado em: 2014-01
-
17. The influence of shared mental models between the CIO and the Top Management Team on the strategic alignment of Information Systems: a comparison between brazilian and US companies
The gap in the understanding between the chief information officer (CIO) and the management team (TMT) has been cited as a contributing factor to their often troubled relationship. The objective of this study is to examine the development of shared mental models (SMMs) between the CIO and TMT about the role of information systems in the organization. An SMM
JISTEM J.Inf.Syst. Technol. Manag.. Publicado em: 2013-12
-
18. Uma análise do emprego no setor da construção civil nos estados do nordeste brasileiro: qualidade do emprego formal e o retorno da educação
The Construction Industry has gained prominence on the national scene due to its ability to generate employment, and absorb much of the disqualified labor. On that perspective, this research aims to measure the quality of formal employment and quantify the impact of schooling on income of Construction Industry workers in the states of Northeast Brazil. In or
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/09/2012
-
19. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications
As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012
-
20. Os objetos nos museus de ciências: o papel dos modelos pedagógicos na aprendizagem / The objects in science museums: the role of pedagogical models in learning.
Esta pesquisa teve por objetivo caracterizar o papel pedagógico dos objetos/modelos nos museus de ciências. Assim, consideramos, neste estudo, os objetos no museu que foram construídos com a intenção de favorecer as relações de ensino e de aprendizagem. Buscamos apontar o papel pedagógico dos objetos em exposições de museus, bem como caracterizar o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/08/2012
-
21. Implementing strategies in complex systems: lessons from Brazilian hospitals
Hospitals, as social organizations, are seen as complex, surprising, ambiguous and paradoxical. The theoretical foundation finds its roots in organizational complexity, strategic management characterized by strategy implementation, and sensemaking especially in the context of complex adaptive systems. Managers frequently neglect elements of complexity when t
BAR - Brazilian Administration Review. Publicado em: 2012-05
-
22. FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z / FORMALISATION OF THE TRANSFORMATION OF MODEL USING THE LANGUAGE Z
In this thesis, an approach based on Set Theory and on the Z Formal Language Specification is presented to formalize the transformations between models in the context of Model Driven Engineering (MDE). The motivation for this research is justified due the ambiguities and inconsistencies present in the models of transformation used to abstract the model trans
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
23. Análise do processo de coaching na carreira de executivos do Vale do Paraíba paulista / Coaching process analysis on the Executive career in Paraíba paulista valley
Procedures for leadership skills developing pass through constant transformations of approaches and methodologies. Many companies, as a way to develop their leaders have implemented coaching programs for their executives, not only to them have ownership of new mental models, as well as consolidate and develop behavioral skills and techniques to current and f
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/04/2011
-
24. Fundamentos constitucionais do modelo processual cooperativo no direito brasileiro.
The main objective of this work lies in the statement of the constitutional fundaments that support the adoption of the cooperative model of civil procedure in the Brazilian legal system. To achieve this purpose, the research is developed starting from the study of the major legal traditions of the western world (common law and civil law), whose prime charac
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/03/2011