Summary Maximum simulated likelihood estimation of mixed multinomial logit models requires evaluation a multidimensional integral. Quasi-Monte Carlo (QMC) methods such as Halton sequences and modified Latin hypercube sampling are workhorse for integral approximation. Earlier studies explored the potential sparse grid quadrature (SGQ), but SGQ suffers from negative weights. As an alternative to ...

The top-k skyline groups query (k-SGQ) returns k skyline groups that dominate the maximum number of points in a given data set. It combines the advantages of skyline groups and top-k queries. The k-SGQ is an important tool for queries that need to analyze not only individual points but also groups of points, and can be widely used in areas such as decision support applications, market analysis ...

A produtividade da indústria brasileira auferiu novo fôlego com o movimento qualidade e as empresas que investiram em seus SGQs ganharam competitividade. Após, outro se iniciou, abraçando governo, ICTs: pela inovação. proposta do presente artigo é apresentar a importância Sistema de Gestão Qualidade (SGQ), considerando pauta pró-inovação emblematiza agenda brasileira. Identificar, dentre os atr...

O sistema de garantia da qualidade (SGQ) tem importante papel às usinas nucleares. Neste sentido, o objetivo deste estudo foi detectar conexões entre os aspectos (GQ) aos requisitos licenciamento e segurança nuclear, utilizando-se como referência informações instituições pessoas reconhecidas no setor nuclear. Após a análise eventos já ocorridos, identificou-se ligações as causas acidentes nucle...

Let S= (P, B, I) be a generalized quadrangle of order (s, t). For X, y E P, X+ y. let X(x, y) be the group of all collineations of S fixing x and y linewise. If ZE (4 YJL> then the set of all points incident with the line xz (resp. y;) is denoted by z(resp. 3. The generalized quadrangle S = (P, B, I) is said to be (x, y)-transitive, x+ y, if X(x, y) is transitive on each set Z{x, z} and jZ’-{ y...

Unfortunately first-order logic has certain limitations which are felt in many applications such as in hardware verification. The use of proof assistants like the HOL sys tem ([Gord88]) is therefore resorted to. However many theorems of higher order logic can also be proven by methods of first order logic as well. Being aware of this situation, we have implemented a prover based on Sequent Calc...

Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...

O presente artigo tem por objetivo verificar a influência do engajamento de pessoas na percepção sistemas gestão organizacionais, acordo com o modelo Job-Demands Resources em empresas segmento óleo e gás que optaram obter certificações dos seus pelo API (American Petroleum Institute), bem como quais os benefícios tal são as barreiras enfrentadas. A pesquisa possui caráter qualitativo, utilizou-...

let $r$ be a ring and $m$ a right $r$-module with $s=end_r(m)$. a module $m$ is called semi-projective if for any epimorphism $f:mrightarrow n$, where $n$ is a submodule of $m$, and for any homomorphism $g: mrightarrow n$, there exists $h:mrightarrow m$ such that $fh=g$. in this paper, we study sgq-projective and$pi$-semi-projective modules as two generalizations of semi-projective modules. a m...

The objective of this study is twofold: to analyze the role different task situations in activation goals and goal orientations and, make it possible achieve such an support theoretically, develop, previously validate Situated Goals Questionnaire for secondary high school students (SGQ-SHS). A total 1,010 Secondary High School Students from Madrid (Spain) participated study. Data analysis using...