948 resultados para Almost always algebra


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dentro dos vários processos de Intervenção Precoce, elegemos o brincar, enquanto ato sempre presente na criança. Na revisão de literatura verifica-se uma quase inexistência de estudos de Intervenções centradas no jogo em crianças institucionalizadas desde os 0 anos. Assim, partimos de duas questões fulcrais: quais os riscos associados à institucionalização prolongada e precoce, e de que modo o jogo e o brincar potenciam o desenvolvimento e a aprendizagem da criança em risco biológico e sociocultural. O presente estudo tem como objetivo promover, através de um estudo de caso, a relação do lúdico com o desenvolvimento e a aprendizagem, imprescindíveis numa criança em situação de institucionalização. Partimos da problemática da institucionalização infantil, expondo os diversos trabalhos apresentados pela revisão bibliográfica relativamente aos riscos associados à condição de institucionalização. Os diversos estudos sublinham que, efetivamente, não será a única solução para as crianças em risco, apontando para a legislação atual que prevê o acolhimento familiar como solução viável e mais ajustada às necessidades das crianças. Apresentamos ainda a teoria do desenvolvimento de Vygotsky como fundamento teórico-prático deste trabalho de intervenção centrada no brincar.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article studies the intercultural trajectory of a Portuguese female aristocrat of the eighteenth to nineteenth centuries. Her trajectory of intercultural transition from a Portuguese provincial lady into an independent owner of a sugar mill in tropical Bahia is documented through family letters, which provide a polyphonic representation of a movement of personal, family, and social transculturation over almost two decades. Maria Bárbara began her journey between cultures as a simple spectator-reader, progressively becoming a commentator-actor-protagonist-author in society, in politics, and in history. These letters function as a translation that is sometimes consecutive, other times simultaneous, of the events lived and witnessed. This concept of intercultural translation is based on the theories of Boaventura de Sousa Santos (2006, 2008), who argues that cultural differences imply that any comparison has to be made using procedures of proportion and correspondence which, taken as a whole, constitute the work of translation itself. These procedures construct approximations of the known to the unknown, of the strange to the familiar, of the ‘other’ to the ‘self’, categories which are always unstable. Likewise, this essay explores the unstable contexts of its object of study, with the purpose of understanding different rationalities and worldviews.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

As instalações de ar comprimido são uma constante em quase todo o tipo de indústria, já que o ar comprimido assume cada vez mais importância como fonte de energia para a movimentação de dispositivos com cargas moderadas ou médias. O uso cada vez mais frequente da pneumática por via da automação de sistemas e processos de fabrico, é outro fator que tem incrementado fortemente o uso de instalações de ar comprimido. A utilização de ar comprimido tem subjacente um ou mais compressores, responsáveis por captar o ar e criar as condições necessárias de pressão na rede que vai abastecer uma qualquer instalação industrial, ou mesmo comercial, como no caso dos serviços de reparação automóvel, entre outras. Desta forma, cria-se uma forte dependência em torno desta fonte de energia, sendo a avaria do compressor um fator extremamente limitativo do processo produtivo ou dos serviços a prestar. As empresas fabricantes de compressores, cientes deste facto, têm primado pela fiabilidade. No entanto, os utilizadores nem sempre criam as condições ideais para o funcionamento desses compressores, conduzindo a problemas de funcionamento. Neste trabalho pretendeu-se elaborar um estudo que permitisse identificar quais as causas que estão por detrás das avarias mais frequentes de alguns dos modelos mais vendidos pela Ingersoll-Rand no nosso país, através da Comingersoll, analisando as mesmas e tentando encontrar soluções que evitassem essas avarias. O estudo permitiu dissecar as avarias registadas em cinco diferentes modelos nos últimos anos, identificar possíveis causas, perceber a frequência com que ocorrem e sugerir melhorias que pudessem minimizar a ocorrência dessas mesmas avarias.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Standarização de um posto de trabalho não é mais que definir o melhor método de trabalho que vai ser seguido por todos os operadores que trabalham no mesmo. Uma vez definido esse método, é importante para uma empresa ter noção da produtividade que podem alcançar, dado que pode ser retirado a partir deste método, e é no seguimento disto que surge o estudo dos métodos e tempos, mais concretamente o estudo dos tempos por cronometragem. A aplicação deste estudo foi despoletada pela necessidade do IKEA Industry de Paços de Ferreira, em dar o próximo passo na standarização dos seus postos de trabalho, área a área, e da necessidade de terem uma pessoa em cada área que analisa-se o trabalho que estava a ser feito e calcula-se o tempo de cada rotina. Neste documento, é realizada uma interligação entre os conceitos teóricos que o método exige, como todo o conjunto de fórmulas, restrições, análises e ponderações, com o contexto laboral onde o mesmo foi aplicado e a estratégia desenvolvida pelo IKEA na realização do estudo. O estudo dos métodos e tempos por cronometragem, de todos os métodos existentes, pode ser considerado o mais completo e complexo, uma vez que é mais que observar, registar e retirar uma média ponderada das observações. Este método baseia-se num modelo matemático, que interliga uma série de conceitos e que tem sempre o operador em consideração, seja na avaliação e análise das tarefas que requerem mais esforço dos mesmos, físico ou psicológico, seja em termos de tempos de pausas pessoais que a lei obriga a que as empresas deem. Este detalhe, neste método, é de grande importância, uma vez que a standarização é sempre vista pelos operadores como uma punição. As desvantagens deste método estão no grau de conhecimento e capacidade de observação exigidas ao analista para o executar. Melhor dizendo, um analista que vá executar este trabalho necessita observar muito bem a rotina de trabalho e conhecer onde começa, acaba e tudo o que a ela não pertence, antes de começar a registar seja que tempos forem. Para além disso, é exigido ao analista que perceba o ritmo de trabalho dos operadores através da observação dos mesmos, de modo a que ninguém seja prejudicado. E por fim, é necessária uma grande disponibilidade da parte do analista para retirar o máximo de observações possíveis. Com o intuito de facilitar esta análise, o IKEA Industry criou um ficheiro que compila toda a informação relacionada com o método, e uma explicação de todos os parâmetros que o analista necessita ter em atenção. Esta folha de trabalho foi validada à luz do método, como é possível verificar no decorrer do documento. Um detalhe importante a referir, é que por muito fidedigno que seja este método, tal como qualquer método de standarização, a mínima alteração da rotina de trabalho invalida de imediato o tempo total da rotina, tornando necessário realizar o estudo novamente. Uma vantagem do documento criado pelo IKEA, está na rápida adaptação a estas alterações, uma vez que, caso seja acrescentado ou removido um elemento à rotina, basta alterar o documento, observar e cronometrar os operadores a executar esse novo elemento, e quase automaticamente é definido um novo tempo total padronizado na rotina. Este documento foi criado para fins académicos e de conclusão de um grau académico, mas o estudo quando aplicado na empresa deu origem a contratações, o que só por si mostra as vantagens e impacto que o mesmo pode ter em contexto laboral. Em termos de produtividade, uma vez que a sua aplicação não foi executada a tempo de ser estudada neste documento, não foi possível avaliar a mesma.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Relevância:

20.00% 20.00%

Publicador:

Resumo:

RESUMO - As organizações de saúde, em geral, e os hospitais, em particular, são frequentemente reconhecidos por terem particularidades e especificidades que conferem uma especial complexidade ao seu processo produtivo e à sua gestão (Jacobs, 1974; Butler, 1995). Neste sentido, na literatura hospitalar emergem alguns temas como prioritários tanto na investigação como na avaliação do seu funcionamento, nomeadamente os relacionados com a produção, com o financiamento, com a qualidade, com a eficiência e com a avaliação do seu desempenho. O estado da arte da avaliação do desempenho das organizações de saúde parece seguir a trilogia definida por Donabedian (1985) — Estrutura, Processo e Resultados. Existem diversas perspectivas para a avaliação do desempenho na óptica dos Resultados — efectividade, eficiência ou desempenho financeiro. No entanto, qualquer que seja a utilizada, o ajustamento pelo risco é necessário para se avaliar a actividade das organizações de saúde, como forma de medir as características dos doentes que podem influenciar os resultados de saúde. Como possíveis indicadores de resultados, existem a mortalidade (resultados finais), as complicações e as readmissões (resultados intermédios). Com excepção dos estudos realizados por Thomas (1996) e Thomas e Hofer (1998 e 1999), praticamente ninguém contesta a relação entre estes indicadores e a efectividade dos cuidados. Chamando, no entanto, a atenção para a necessidade de se definirem modelos de ajustamento pelo risco e ainda para algumas dificuldades conceptuais e operacionais para se atingir este objectivo. Em relação à eficiência técnica dos hospitais, os indicadores tradicionalmente mais utilizados para a sua avaliação são os custos médios e a demora média. Também neste domínio, a grande maioria dos estudos aponta para que a gravidade aumenta o poder justificativo do consumo de recursos e que o ajustamento pelo risco é útil para avaliar a eficiência dos hospitais. Em relação aos sistemas usados para medir a severidade e, consequentemente, ajustar pelo risco, o seu desenvolvimento apresenta, na generalidade, dois tipos de preocupações: a definição dos suportes de recolha da informação e a definição dos momentos de medição. Em última instância, o dilema que se coloca reside na definição de prioridades e daquilo que se pretende sacrificar. Quando se entende que os aspectos financeiros são determinantes, então será natural que se privilegie o recurso quase exclusivo a elementos dos resumos de alta como suporte de recolha da informação. Quando se defende que a validade de construção e de conteúdo é um aspecto a preservar, então o recurso aos elementos dos processos clínicos é inevitável. A definição dos momentos de medição dos dados tem repercussões em dois níveis de análise: na neutralidade económica do sistema e na prospectividade do sistema. O impacto destas questões na avaliação da efectividade e da eficiência dos hospitais não é uma questão pacífica, visto que existem autores que defendem a utilização de modelos baseados nos resumos de alta, enquanto outros defendem a supremacia dos modelos baseados nos dados dos processos clínicos, para finalmente outros argumentarem que a utilização de uns ou outros é indiferente, pelo que o processo de escolha deve obedecer a critérios mais pragmáticos, como a sua exequibilidade e os respectivos custos de implementação e de exploração. Em relação às possibilidades que neste momento se colocam em Portugal para a utilização e aplicação de sistemas de ajustamento pelo risco, verifica-se que é praticamente impossível a curto prazo aplicar modelos com base em dados clínicos. Esta opção não deve impedir que a médio prazo se altere o sistema de informação dos hospitais, de forma a considerar a eventualidade de se utilizarem estes modelos. Existem diversos problemas quando se pretendem aplicar sistemas de ajustamento de risco a populações diferentes ou a subgrupos distintos das populações donde o sistema foi originalmente construído, existindo a necessidade de verificar o ajustamento do modelo à população em questão, em função da sua calibração e discriminação.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação de mestrado em Construção e Reabilitação Sustentáveis

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An increasing number of m-Health applications are being developed benefiting health service delivery. In this paper, a new methodology based on the principle of calm computing applied to diagnostic and therapeutic procedure reporting is proposed. A mobile application was designed for the physicians of one of the Portuguese major hospitals, which takes advantage of a multi-agent interoperability platform, the Agency for the Integration, Diffusion and Archive (AIDA). This application allows the visualization of inpatients and outpatients medical reports in a quicker and safer manner, in addition to offer a remote access to information. This project shows the advantages in the use of mobile software in a medical environment but the first step is always to build or use an interoperability platform, flexible, adaptable and pervasive. The platform offers a comprehensive set of services that restricts the development of mobile software almost exclusively to the mobile user interface design. The technology was tested and assessed in a real context by intensivists.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Musical).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The theory of orthogonal polynomials of one real or complex variable is well established as well as its generalization for the multidimensional case. Hypercomplex function theory (or Clifford analysis) provides an alternative approach to deal with higher dimensions. In this context, we study systems of orthogonal polynomials of a hypercomplex variable with values in a Clifford algebra and prove some of their properties.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The present paper is a pioneering study on the Brachyura bycatch associated with the artisan prawn fisheries at the mouth of the Amazon River. The study was conducted at four collection sites distributed along the mouth of the Amazon River between the months of January/2009 and January/2010. The animals were caught using handcrafted traps called "matapi", which are used by prawn fisherman in the region. Twenty matapis were used at each collection site. A total of 145 specimens were captured and six species were identified, all belonging to the Trichodactylidae family - Sylviocarcinus maldonadoensis, S. pictus, S. devillei, Valdivia serrata, Dilocarcinus septemdentatus and D. pagei. The most representative species, S. maldonadoensis, S. pictus and S. devillei were classified as regular. Regarding the composition of the capture, there were three specimens of D. pagei , only one male specimen of D. septemdentatus, forty-eight specimens of S. maldonadoensis, sixty-eight specimens of S. pictus, twenty-two specimens of S. devillei and three specimens of V. serrata. In all months, the brachyuran fauna showed a considerably lower biomass when compared to the prawns, representing only 5% of the catch, in a ratio of 1:0.06. For most species, the number of males was always higher than the number of females in almost all collection months.