Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Um estudo da contratransferência em um grupo de psicoterapeutas de orientação psicanalítica frente a relatos de situações traumáticas

O estudo da contratransferência (CT) tem servido aos psicanalistas e psicoterapeutas como um instrumento útil na pesquisa do inconsciente do paciente. No caso de terapeutas que tratam pacientes severamente traumatizados, como as vítimas de violência sexual, as reações contratransferenciais se manifestam de forma intensa e diversa, incluindo resistência de conluio, identificação com a vítima ou com o agressor, entre outras. As emoções despertadas no tratamento destes pacientes, não sendo bem compreendidas e elaboradas, podem originar psicopatologias no terapeuta, como o transtorno de stress traumático secundário, a traumatização vicária e o burnout. Objetivo: O objetivo do presente estudo foi investigar os estados mentais dos psicoterapeutas estando frente a uma vinheta de caso de estupro e frente a uma de luto por morte súbita de pessoa significativa. Além disto, foram comparadas as diferenças entre gêneros e níveis de experiência dos psicoterapeutas. Para avaliação do constructo contratransferência, foram selecionadas na literatura e traduzidas para o português brasileiro, duas escalas de avaliação de CT: o Mental States Rating System (MSRS) e o Inventory of Countertransference Behavior (ICB). O MSRS trata-se de uma escala de análise de conteúdo do discurso, seja ele falado, descrito ou filmado, que abrange de modo amplo os tipos CT, que estão previa e detalhadamente descritas na escala O ICB constitui-se de uma escala de 21 itens, que buscam avaliar o comportamento contratransferencial, a ser preenchida pelo supervisor, após uma sessão de supervisão. A escala avalia a CT classificando-a em duas dimensões: positiva e negativa. Métodos: Para cada um dos 2 instrumentos foram realizadas duas traduções para o português, por tradutores independentes, bilíngües e profissionais. As duas traduções foram unificadas. Depois os instrumentos foram apresentados a 5 psicoterapeutas, sendo avaliada a sua compreensão das escalas e realizados os ajustes finais. Após foi realizada a retro-tradução por tradutor profissional comparadas as versões originais com as versões em português falado no Brasil e as versões retro-traduzidas através de processo de análise de equivalência semântica. Os autores das escalas participaram do processo de adaptação transcultural e o uso da versão final foi aprovado pelos mesmos. Foi então, realizado treinamento de juízes para utilização das duas escalas e a escala ICB foi adaptada para ser aplicada por juízes em material escrito. Posteriormente, a pesquisa da contratransferência foi realizada frente a duas vinhetas clínicas de trauma com uma amostra de 92 psicoterapeutas. Resultados: Os achados com o MSRS mostraram que houve um uso significativamente maior da atividade mental reflexiva dos terapeutas em relação à vinheta de luto, do que em relação à vinheta de trauma por estupro As mulheres mostraram uma atividade mental significativamente mais reflexiva, e os homens o uso de defesas mais primitivas. Os terapeutas mais experientes e menos experientes não diferiram entre si. Os achados com o ICB demonstraram que a vinheta de estupro provocou significativamente mais reações contratransferenciais negativas no total dos terapeutas e que a vinheta de luto provocou reações positivas de modo significativo; que os homens apresentaram, em relação às duas vinhetas, significativamente mais reações contratransferenciais negativas do que as mulheres, e que, em relação ao luto, os mais experientes apresentaram mais reações contratransferenciais negativas do que os menos experientes. Conclusões: Os achados deste estudo sugerem que o impacto sobre o terapeuta, ao tratar pacientes traumatizados, desperta um espectro variado de sentimentos. O conhecimento destes afetos pode trazer informações cruciais para o desenvolvimento da melhor forma de tratar e aliviar o sofrimento destes pacientes. Novas pesquisas devem ser realizadas para aprofundar o entendimento deste processo complexo.

A avaliação da efetividade da política de ressarcimento ao Sistema Único de Saúde

A necessidade de coibir o descontrole do mercado dos planos de saúde tornou-se uma questão importante no cenário nacional, na década de 90. Desta forma, 10 anos após a criação do Sistema Único de Saúde (SUS), em um contexto de pressões e de baixa regulação dos planos de saúde, instituiu-se a Lei no 9.656/1998, uma legislação inédita no Brasil, pois regulou as atividades das operadoras de planos de saúde (OPSs) em nível nacional. Dentre outras questões, a Lei estabeleceu a política de ressarcimento ao SUS, impondo no Artigo no 32 o ressarcimento pelas OPSs das despesas geradas ao SUS quando um beneficiário usa a rede pública para um procedimento coberto pelo seu plano. No entanto, esta política é parte dos conflitos que se situa no limite dos interesses entre o setor privado e público: as OPSs já em 1998 moveram uma ação direta de inconstitucionalidade contra a mesma e têm recorrido frequentemente ao judiciário para não pagarem os valores cobrados pela Agência Nacional de Saúde Suplementar (ANS). Após 12 anos da Lei, ainda não se conhece o seu real impacto. Portanto, o presente trabalho teve como objetivo avaliar a efetividade da política de ressarcimento ao SUS. A metodologia utilizada baseou-se na avaliação de dados produzidos pela ANS e pelo Ministério da Saúde/DATASUS, e das entrevistas realizadas com gerentes da rede pública e privada. Apesar das ações da ANS, os resultados apontaram a reduzida efetividade da política em termos financeiros, jurídicos e sobre o seu público-alvo. Apenas 22% do cobrado às OPSs foi restituído ao Sistema Único de 1999 a 2006, a política é vista como inconstitucional pelo mercado e tem reduzido impacto sobre as OPSs, o SUS e os beneficiários. Questões como os valores da tabela única nacional de equivalência de procedimentos (TUNEP), a inconstitucionalidade do ressarcimento e a opção do beneficiário pelo uso do SUS foram explicitadas pelos gestores de planos de saúde como fatores geradores de resistência das OPSs frente à política. Os dirigentes públicos afirmaram a importância da mesma para tutela de beneficiários e do SUS, como de ter viabilizado a construção do Cadastro de Beneficiários da ANS, porém, reconhecem os seus baixos resultados. Recomenda-se a manutenção do ressarcimento ao Sistema Único como um instrumento para coibir empresas que procuram contornar as exigências legais da Agência Reguladora, a qual atua promovendo a defesa do interesse público na assistência suplementar à saúde. No entanto, a mesma deve sofrer as devidas reformulações e devem ser estabelecidos consensos entre o SUS e o setor suplementar.

Contribuição para a analise do tratamento dos resultados não realizados em vendas da investidora para a investida: um estudo de caso

Esta pesquisa objetivou analisar os efeitos dos resultados não realizados em vendas da investidora para a investida nos relatórios de uma entidade situada no Rio de Janeiro. Enfatizaram-se as técnicas de cansolidação das demonstrações contábeis e avaliação do investimento pelo patrimônio líquido (equivalência patrimonial). Na revisão da literatura foram aborda dos os principais conceitos relacionados com o estudo e caracterizados os três tratamentos considerados nesta pesquisa (cap.2). Para a realização da pesquisa, adotou-se o metodo do estudo de caso, devido à necessidade de uma identificação aprofundada dos efeitos causados pelo problema enfocado (cap.3 ) . Posterionnente, apresentou-se o caso onde foram identificadas as características da transação, das empresas e os procedimentos adotados(cap .4). A seguir, aplicaram-se os demais tratamentos ao caso e elaboraram-se alguns comentários cabiveis (caps. 5 e 6). Os resultados obtidos possibilitaram analisar os tratamentos aplicados e os respectivos efeitos nos relatórios contábeis (cap . l). Isso feito, chegou-se a algumas conclusões e recomendações para novos estudos relacionados com o tema abordado (cap.8).

Os bancos comerciais sob o efeito da inflação: reflexo nas suas demonstrações contábeis: um estudo de caso

Este trabalho teve por objetivo mensurar os efeitos da variação do poder aquisitivo da moeda nas demonstrações contábeis das instituições bancárias. Através do estudo de caso, a pesquisa foi desenvolvida em um banco comercial público estadual, subdividida em duas fases distintas. Na primeira fase, os objetivos específicos da pesquisa foram analisar as distorções resultantes do cumprimento da disposição legal que veda a correção monetária dos resultados intermediários. Adotou-se o método em vigor incluindo a correção monetária do resultado intermediário, ajustando-o pela variação nominal da ORTN, no segundo semestre de cada ano. Na segunda fase, com a aplicação do método da Correção Integral, através de ajustamento mensal dos elementos patrimoniais, pela variação nominal do Índice Geral de Preços, obteve-se a análise dos resultados comparativamente, com os apresentados pelo Banco em suas demonstrações publicadas. Esta pesquisa se diferencia das demais existentes pela ênfase atribuída à correção monetária dos resultados intermediários, com reflexo na distribuição de dividendos, participações estatutárias, equivalência patrimonial e desempenho semestral de atividade. Outro ponto divergente é no aspecto da evidenciação apresentada pela Demonstração do Resultado Enfoque Gerencial , apurada pelo método da Correção Integral.

Assistência técnica e rendimento escolar

Em 1974, realizou-se uma pesquisa no Estado do Maranhão, entre os alunos da 4ª série do ensino de 1º grau da rede pública estadual do Município de Imperatriz e os alunos da 4ª série do ensino de 1º grau das escolas da rede pública estadual do Município de Carolina. O objetivo dessa pesquisa foi verificar o rendimento alcançado pelos alunos de Imperatriz, onde a rede de ensino pública estadual sofrera um processo de assistência técnica e compará-lo com o dos alunos de Carolina, o que foi feito através de provas de Comunicação e Expressão, Estudos Sociais, Ciências e Matemática. A população estudada apresentou o total de 132 alunos; 98 do Município de Imperatriz e 44 do Município de Carolina. Para verificar a equivalência da população quanto a algumas variáveis reputadas de importância, foram aplicados testes de inteligência e questionários de caracterização socioeconômica e aspectos da vida escolar dos informantes. Uma vez comprovada essa equivalência, quanto às variáveis consideradas, tornou-se possível a comparação do rendimento escolar, observando-se então, diferença estatística entre os dois grupos.

Nexo causal em matéria penal: análise da jurisprudência dos tribunais de justiça

Este artigo discute uma pesquisa empírica apresentada em 2009 como trabalho de conclusão de curso na DIREITO GV sobre a definição da causalidade para responsabilização criminal nos tribunais de justiça. Foram analisadas 84 apelações criminais julgadas entre 2007 e 2008 e extraídos resultados quantitativos e qualitativos relacionados aos dados do processo, ao resultado da decisão e à argumentação. A análise desses resultados levou a cinco principais constatações: (1) a discussão sobre nexo causal ocorre quase exclusivamente em casos de crimes culposos; (2) muitas vezes, apesar de discutido pelas partes, a existência de nexo causal não é afirmada no acórdão; (3) o nexo causal é frequentemente afirmado com pouca fundamentação e, em geral, com menos argumentos do que a afirmação de culpa; (4) a teoria mais utilizada pelos tribunais é a da equivalência das condições; e (5) o nexo causal é frequentemente afirmado como decorrência da culpa.

Uma análise dos leilões de partilha de produção do pré-sal através de simulação computacional

O presente trabalho consiste na aplicação da simulação computacional como método de aprofundamento do estudo de mecanismos de leilões aplicados na alocação do direito de exploração das reservas de petróleo da camada do pré-sal. A camada do pré-sal está localizada na costa brasileira e apresenta um grande potencial em termos de reserva de óleo e gás. A função lance aplicada para os participantes criados computacionalmente foi estimada com base em dados experimentais e segue uma função exponencial. A simulação possibilita reproduzir o modelo de leilão considerando todas as características e parâmetros dos experimentos sem incorrer no custo da realização de novas sessões de leilão com participantes reais. Os leilões estudados foram o leilão de valores privados de 1° preço e o leilão de valores privados de 2° preço. Através dos resultados obtidos identificou-se que o leilão de valores privados de 1° preço é menos arriscado que o leilão de valores privados de 2° preço; no leilão com simetria, o Princípio de Equivalência de Receita é válido; a eficiência observada é menor em leilões assimétricos; o leilão de 2° preço comparado com o de 1° preço apresenta um tradeoff entre a eficiência e a receita do governo; e que considerando o aprendizado dos participantes, não se observam alterações significativas nas estatísticas analisadas à medida que os participantes se tornam mais experientes.

Amortização de dívidas e juros simples: o caso de prestações em progressão aritmética

Entendendo-se como anatocismo, no contexto de financiamentos, a cobrança de juros sobre juros, buscou-se em trabalho anterior, de Faro (2013-a), evidenciar que tal fenômeno não se apresenta em qualquer sistema de amortização de dívidas em que não haja a ocorrência do que se denomina de amortização negativa. Isso, representando um aparente paradoxo, muito embora esteja subjacente o chamado regime de juros compostos (no sentido de haver equivalência financeira entre o valor financiado e a sequência de prestações periódicas).

Um estudo da relação entre o padrão transferencial e a aliança terapêutica de pacientes em psicoterapia psicanalítica

Introdução: A discussão sobre a relação entre transferência e aliança terapêutica iniciou na primeira metade do século passado. Um de seus marcos foi a polêmica entre Anna Freud (1927) e Melanie Klein (1926). A primeira ressaltava o papel do ego, salientando a importância da aliança terapêutica. A segunda não considerava o conceito de aliança terapêutica. Acreditava que a relação pacienteterapeuta teria origem nas relações primitivas de objeto, na relação da criança com o seio. A controvérsia sobre a questão prosseguiu, sendo a Escola Psicologia do Ego a que mais defendia o papel da aliança como autônoma, não influenciada pelos impulsos inconscientes. Após o Congresso de Genebra, em 1955, o posicionamento de muitos autores foi se modificando. Até mesmo integrantes da Psicologia do Ego passaram a não distinguir completamente estes dois conceitos e, de maneira geral, a literatura mostra uma tendência neste sentido. Porém, este assunto ainda apresenta contradições e existem poucos estudos empíricos exploratórios publicados. Objetivo: Esta dissertação tem como objetivo geral investigar a relação entre padrão transferencial e aliança terapêutica através do uso dos instrumentos Relationship Patterns Questionnaire – RPQ (KURTH et al., 2002; KURTH et al., 2004) – e The Revised Helping Alliance questionnaire – HAq-II (LUBORSKY et al., 1996), respectivamente. Método: Primeiramente, procedeu-se a adaptação transcultural do RPQ para o Português do Brasil, que envolveu a obtenção de licença dos autores, tradução, retrotradução, obtenção da equivalência semântica, consenso com profissionais da área da Psiquiatria e Psicologia e interlocução com a população alvo. Numa segunda fase de trabalhos, procedeu-se à investigação empírica a partir de estudo transversal com 63 pacientes do ambulatório de Psicoterapia Psicanalítica do Hospital de Clínicas de Porto Alegre e seus 27 terapeutas. Foram aplicados, então, os instrumentos para avaliação da transferência e aliança terapêutica. A coleta dos dados foi feita com duração média de uma hora, individualmente, para cada paciente. Os terapeutas preencheram a versão correspondente do HAq-II. Resultados: Observou-se relação significativa entre algumas variáveis do padrão transferencial e a qualidade da aliança terapêutica, como escores mais altos na variável submissão à mãe e ao pai e aliança terapêutica forte percebida pelo paciente; escores mais altos na escala de ataque à mãe e ao pai e aliança terapêutica fraca percebida pelo paciente. Muitas variáveis do RPQ não apresentaram relação significativa com a qualidade da aliança terapêutica. Discussão: Os achados sugeriram que, muitas vezes, a aliança terapêutica pode estar relacionada com estereótipos de conduta dirigidos, no passado, às figuras primárias, o que a colocaria como manifestação da transferência. Outras variáveis de transferência não se mostraram relacionadas com a aliança, o que pode ser um fato ou reflexo de limitação metodológica, como número de sujeitos insuficiente ou limitações nos instrumentos usados neste estudo. Conclusão: A aliança terapêutica nem sempre se apresenta como entidade autônoma, livre de conflitos. É importante que a mesma seja entendida e não somente julgada como a parte estável e positiva da relação. Isto pode ser verdade em muitos casos, mas, em outros, a aliança terapêutica pode estar vinculada a fantasias inconscientes que desencadeiam o processo da transferência.

O ágio e a Lei 12.793: a independência entre as partes e o valor justo dos ativos

Esta monografia analisa três das principais alterações ao instituto do ágio trazidas pela Lei nº 12.973, de 2014. Estudou-se neste trabalho, especialmente: (i) a alteração na contabilização do ágio; (ii) a obrigatoriedade de elaboração de laudo de avaliação para validade do ágio por perspectiva de rentabilidade futura; e (iii) a necessidade de “não dependência” entre as partes envolvidas na operação. Para elaboração deste estudo foi realizada uma resumida análise histórica do instituto do ágio no Brasil, atentando para os conceitos, critérios e requisitos para o surgimento deste instituto no plano do direito tributário e das ciências contábeis. Concluiu-se que as modificações na contabilização do ágio implementadas pela Lei nº 12.973, de 2014, tendem a diminuir o valor do ágio gerado nas operações de fusões e aquisições e de reorganização societária, reduzindo os incentivos tributários para realização destas operações. Além disso, no tocante à elaboração de laudo de avaliação concluiu-se que a medida garante aos contribuintes maior segurança jurídica, apesar de tornar a operação mais custosa. Por fim, em relação à obrigatoriedade de “não dependência” entre as partes envolvidas na operação, entendeu-se que esta regra extingue a ágio decorrente de operações entre sociedades pertencentes ao mesmo grupo econômico ou entre partes relacionadas. Diante da importância das alterações trazidas com a Lei nº 12.973, de 2014, recomenda-se que a doutrina e a jurisprudência aprofundem os estudos sobre o tema.

Asymptotic efficiency in an instrumental variable model

Esta dissertação se propõe ao estudo de inferência usando estimação por método generalizado dos momentos (GMM) baseado no uso de instrumentos. A motivação para o estudo está no fato de que sob identificação fraca dos parâmetros, a inferência tradicional pode levar a resultados enganosos. Dessa forma, é feita uma revisão dos mais usuais testes para superar tal problema e uma apresentação dos arcabouços propostos por Moreira (2002) e Moreira & Moreira (2013), e Kleibergen (2005). Com isso, o trabalho concilia as estatísticas utilizadas por eles para realizar inferência e reescreve o teste score proposto em Kleibergen (2005) utilizando as estatísticas de Moreira & Moreira (2013), e é obtido usando a teoria assintótica em Newey & McFadden (1984) a estatística do teste score ótimo. Além disso, mostra-se a equivalência entre a abordagem por GMM e a que usa sistema de equações e verossimilhança para abordar o problema de identificação fraca.

The dimensions of trust in interorganizational relationships: how buyer and supplier perspectives differ?

Apesar da pesquisa em confiança interorganizacional e sua relação com performance ter sido conduzida sob as perspectivas da Teoria de Custos de Transação, Teoria das Trocas Sociais e Canais de Marketing, três importantes lacunas na literatura requerem investigação. Primeiro, está em andamento um debate conceitual sobre a multi-dimensionalidade da confiança, e como ela deve ser operacionalizada e medida, e que se divide em três correntes de pensamento - um construto multidimensional definido por dimensões não dominantes, um construto baseado em duas dimensões dominantes (afetiva e calculativa), ou um construto unidimensional. Segundo, existe ambiguidade em como as dimensões da confiança são definidas, levando a artefatos de equivalência nas escalas e resultados contraditórios. Terceiro, as diferentes percepções que compradores e fornecedores podem ter em cada dimensão da confiança e seu impacto na performance logística ainda não estão claros. Esta pesquisa empírica examina a confiança nas relações entre compradores e fornecedores no setor de logística no Brasil, através de duas amostras e estudos independentes: um examina a percepção dos compradores e o outro examina a dos fornecedores. Em seguida, os dois estudos são comparados para determinar as diferentes perspectivas da confiança e as implicações na performance logística. A análise multivariada mostrou que a confiança parece estar presente nas relações interorganizacionais, e é a percepção do comprador que possui maior relação com a performance logística. Ao mesmo tempo, compradores percebem fornecedores de forma mais negativa nas dimensões mensuráveis (competência e performance), enquanto não foram encontradas diferenças nos aspectos sociais (honestidade e benevolência), o que pode ser resultado do ambiente e cultura pesquisados. As análises mostraram que, apesar da confiança poder ser definida como um construto multidimensional, ela deve ser operacionalizada como um construto unidimensional direcionado pela competência e credibilidade. Este estudo contribui para a prática sugerindo formas de aumentar a confiança interorganizacional para aumento da performance.

Equações de primeiro grau

Trata-se da revisão de tópicos de matemática elementar do ensino fundamental com visão do ensino superior. Na subunidade 3 são abordados conceitos de cálculo algébrico, conjunto universo e conjunto solução de uma equação, equações do primeiro grau e inequações do primeiro grau com resolução de problemas. A subunidade 4 engloba a definição dos conceitos de monômios ou termos algébricos e polinômios e suas propriedades. Como complemento a teoria abordada apresenta exemplos de cálculo do mmc de polinômios e de equações fracionárias de primeiro grau com uma incógnita.