752 research outputs found
Endometriosis: A Rare Cause of Large Bowel Obstruction.
Large bowel obstruction can result in significant morbidity and mortality, especially in cases of acute complete obstruction. There are many possible causes, the most common in adults being colorectal cancer. Endometriosis is a benign disease, and the most affected extragenital location is the bowel, especially the rectosigmoid junction. However, transmural involvement and acute occlusion are very rare events. We report an exceptional case of acute large bowel obstruction as the initial presentation of endometriosis. The differential diagnosis of colorectal carcinoma may be challenging, and this case emphasizes the need to consider intestinal endometriosis in females at a fertile age presenting with gastrointestinal symptoms and an intestinal mass causing complete large bowel obstruction.info:eu-repo/semantics/publishedVersio
Nominal C-Unification
Nominal unification is an extension of first-order unification that takes
into account the \alpha-equivalence relation generated by binding operators,
following the nominal approach. We propose a sound and complete procedure for
nominal unification with commutative operators, or nominal C-unification for
short, which has been formalised in Coq. The procedure transforms nominal
C-unification problems into simpler (finite families) of fixpoint problems,
whose solutions can be generated by algebraic techniques on combinatorics of
permutations.Comment: Pre-proceedings paper presented at the 27th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur,
Belgium, 10-12 October 2017 (arXiv:1708.07854
A categoria lugar na construção dos conhecimentos geográficos : análise a partir da prática pedagógica do professor de geografia em Formosa-Goiás
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Geografia, Programa de Pós-Graduação em Geografia, 2016.O lugar, categoria de análise do espaço geográfico, é um recurso fundamental da Geografia porque se apresenta como possibilidade de explorar os significados construídos pelos seres humanos, num dado local, e relacioná-los com a totalidade. No contexto educativo, ele constitui-se via de mediação pedagógica orientado à internalização de conhecimentos geográficos. Nesse sentido, esta investigação científica teve como objetivo examinar o processo de construção de conhecimentos geográficos por meio da categoria lugar na prática pedagógica do professor de Geografia. Considerando-se a cidade como espaço privilegiado, não único, da vida social e o lugar como uma construção humana, conjugam-se dois aspectos relevantes - cidade e lugar - a serem relacionados, tendo em vista a construção da aprendizagem do aluno, no campo disciplinar da Geografia. Assim, o município de Formosa/GO, limítrofe ao Distrito Federal, com seus festejos, manifestações culturais e religiosas, belezas naturais exuberantes, questões políticas, econômicas e o espaço social em geral, constitui-se um lugar ímpar ao contexto da escolarização, por ser o ambiente de vivência para os alunos dessa cidade. Com mais de 100.000 habitantes e 173 anos de história, apresenta problemas e situações típicas de uma cidade em desenvolvimento, logo, lugar que pode constituir como um alicerce para o entendimento dos conhecimentos geográficos trabalhados em sala de aula. A metodologia utilizada foi de base qualitativa, a partir dos seguintes procedimentos: pesquisa bibliográfica com o intuito de aprofundar o tema em questão; análise documental, mediante os documentos que regem o fazer pedagógico na escola, a saber: Projeto Político Pedagógico, Plano de Ensino e Livro Didático e entrevistas semiestrutradas com o intuito de conhecer o desenrolar das ações docentes. Percebeu-se, por meio das análises dos documentos e das entrevistas, que há muitos obstáculos a ser superados para que o ensino dessa disciplina se torne significativo, pois os resultados atestaram que o processo de aprender/ensinar Geografia, nas escolas pesquisadas, negligenciam a categoria lugar como instância mediadora na construção dos conhecimentos geográficos, o que interfere na formação para a cidadania. O Lugar/Formosa, mesmo constituindo-se como um espaço de vivências e experiências com os fenômenos geográficos, por ser o espaço vivido dos alunos dessa cidade, não é considerado nessa perspectiva. Portanto, espera-se que esta pesquisa possa contribuir para o desenvolvimento de outras, com a finalidade de reforçar a relevância do ensino de Geografia vinculado à realidade vivida pelo aluno. Trata-se de uma ação potencializadora, uma vez que, se o aluno compreende a sua Geografia, as demais Geografias serão construídas por um melhor entendimento do mundo, mais expressivo à formação do cidadão.The place, a category of analysis of geographical space, is a Geographic's fundamental resource because it presents itself as a possibility to explore the meanings constructed by human beings, in a given place, and to relate them to the totality. In the educational context, it constitutes a means of pedagogical mediation oriented by the internalization of geographical knowledge. In this sense, this scientific investigation aimed to examine the construction process of geographical knowledge by the place category in the pedagogical practice of the Geography teacher. Considering the city as a privileged, but not unique, space of social life and place as a human construction, two relevant aspects - city and place - needs to be related, with a view to the construction of student's learning in the Geographic's Subject. Thus, the city Formosa/GO, bordering the Federal District, with its festivities, cultural and religious manifestations, exuberant natural beauties, political and economical issues and the social space in general, it's a unique place to the schooling's context, being the living environment for the students of this city. With more than 100,000 inhabitants and 173 years of history, has problems and typical situations of a developing city, therefore, a place that can constitute as a foundation for the understanding of the geographic knowledge taught in the classroom. The methodology used was qualitative, based on the following procedures: a bibliographical research with the intention of development the subject in question; Documentary analysis, from the documents that conducts the pedagogical practice in the school: the Political Pedagogical Project, the Teaching's Plan and the Didactic Book and structured interviews intentioned to know the evolution of the teaching actions. Through the analysis of the documents and the interviews, it was noticed that there are many obstacles to be overcome in order to make the teaching of this subject meaningful, since the results attest that the process of learning/teaching Geography in the schools surveyed neglects the Place category as mediator in the construction of geographical knowledge, which interferes with the citizenship's formation. The place/Formosa, even constituting itself as a space of experiences with the geographic phenomena, being the lived space of that city students, it's not considered in this perspective. Therefore, it's expected that this research may contribute to the development of others, to the relevance of Geographic teaching linked to the reality lived by the student. This is a potential action. If the student understands his Geography, the other Geographies will be constructed by a better world's understanding, more expressive to the citizen formation.Le lieu, catégorie d'analyse de l'espace géographique, est un recours fondamental de la Géographie, parce qu'il se présente comme possibilité d'analyse des sens construits par les êtres humains dans un lieu déterminé, et de les met en relation avec la totalité. Dans le contexte éducatif, il se constitue par le biais d'une médiation pédagogique destinée à l'internalisation des savoirs géographiques. Dans cette optique, cette investigation scientifique a eu pour objectif d'analyser le processus de construction des savoirs géographiques au travers de la catégorie lieu dans la pratique pédagogique du professeur de Géographie. Considérant la ville comme espace privilégié non unique de la vie sociale, et le lieu comme une construction humaine, deux aspects importants qui se confondent, ville et lieu, doivent être mis en relation, ayant en vue la construction de l'apprentissage de l'élève dans le champ disciplinaire de la Géographie. Ainsi, la commune de Formosa/GO, limitrophe au District Fédéral, avec ses festivités, manifestations culturelles et religieuses, merveilles naturelles exubérantes, questions politiques et économiques et l'espace social en général, constitue un lieu propice au contexte de scolarisation, étant un environnement de vécu quotidien pour les élèves de cette ville. Avec plus de 100.000 habitants et 173 années d'histoire, la ville présente des problèmes et des situations typiques d'une ville en développement. De ce fait, le lieu peut représenter le fondement essentiel à la compréhension des savoirs géographiques vus en salle de cours. La méthodologie utilisée s'est faite qualitativement, suivant les procédures suivantes : recherche bibliographique dans l'intention d'approfondir le thème en question ; l'analyse documentaire à partir des documents qui régissent le faire pédagogique à l'école, à savoir : Projet Politique Pédagogique, Plan d'Enseignement et Livre Didactique et interviews semi-structurées, dans l'intention de connaître et dérouler les actions de l'enseignant. Il a été perçu par le biais des analyses des documents et des interviews qu'il y avait beaucoup d'obstacles à surmonter pour que l'enseignement de la discipline devienne significatif, car les résultats attestent que le processus de l'apprendre/enseigner la Géographie dans les écoles étudiées, négligeait la catégorie lieu comme instance médiatrice dans la construction des savoirs géographiques, ce qui interfère dans la formation de la citoyenneté. Le Lieu/Formosa, même en étant un espace de vécu et d'expérience des phénomènes géographiques, le cadre de vie des élèves de cette ville, n'est pas considéré dans cette perspective. Il est alors attendu que cette recherche puisse contribuer au développement d'autres, visant une accentuation de l'importance de l'enseignement d'une Géographie liée à la réalité de l'élève. On parle d'une action potentialisatrice. Une fois que l'élève comprend sa Géographie, les autres Géographies seront construites pour une meilleure compréhension d'un monde plus expressif à formation du citoyen
Predição de recursos para workflows científicos de bioinformática em nuvens federadas com aprendizado de máquina
Dissertação (Mestrado em Informática) — Universidade de Brasília, Brasília, 2021.A federação em nuvem surgiu para estender os recursos disponíveis entre diferentes prove dores de nuvem, interconectados para aumentar a disponibilidade de maneira transparente e ilimitada para o usuário final. As plataformas de orquestração em nuvem se tornaram uma forma de gerenciar as demandas por alto poder computacional em diferentes prove dores, que executam aplicativos que demandam alto consumo de memória e/ou proces samento, tais como os workflows de Bioinformática. A grande quantidade de recursos disponíveis entre vários provedores em uma federação torna difícil escolher qual é o mais adequado para determinados workflows. Este trabalho propõe um Serviço de Predição de Recursos por Aprendizado de Máquina, denominado sPCRAM. O sPCRAM utiliza um modelo de aprendizado de máquina combinado com uma meta-heurística GRASP para dimensionar os recursos de forma transparente e adequada, determinando o custo mon etário e o tempo de execução antes da execução do workflows. O sPCRAM permite que o usuário defina de forma interativa o tipo de execução, calibre o tempo e o custo. Os re sultados demonstram que o sPCRAM pode estimar adequadamente o tempo de execução e o custo dos recursos de federação em nuvem, em média, 97,70% mais rápido do que a técnica de força bruta para seleção de recursos.Cloud federation emerged to extend the resources available across different cloud providers, interconnected to increase availability in a transparent and unlimited way for the end user. As cloud orchestration platforms if needed a way to manage how demands for high computational power in different providers that run applications that demand high con sumption of memory and/or processing, such as the workflows of Bioinformatics. A large amount of resources available across multiple providers in a federation makes it difficult to choose which one is best suited for certain workflows. This work offers a Machine Learning Resource Prediction Service, called sPCRAM. sPCRAM uses a machine learning model combined with a GRASP metaheuristic to transparently and appropriately size resources, determining the monetary cost and execution time before executing the workflows. The sPCRAM allows the user to interactively adjust run type, gauge or time, and cost. The results demonstrate that sPCRAM can estimate the runtime and cost of cloud federation resources on average 97.70% faster than the brute force technique for resource selection
Um método para o desenvolvimento e certificação de software de sistemas embarcados baseado em redes de petri coloridas e casos de garantia.
Sistemas embarcados estão presentes em atividades diárias da população em geral, de ambientes domésticos até industriais e governamentais. O uso de sistemas embarcados tem aumentado como resultado, por exemplo, da disseminação da comunicação sem fio, de dispositivos eletrônicos com custos e tamanhos reduzidos, e de software embarcado em equipamentos eletrônicos. Software embarcado pode ser projetado como parte, desde sistemas embarcados simples para o controle de equipamentos domésticos, até sistemas críticos de segurança. Quanto mais complexo um sistema embarcado, maior a probabilidade de ocorrer situações adversas que ofereçam riscos financeiros, físicos, entre outros. Em sistemas embarcados críticos de segurança (e.g., médicos, aviônicos e aeroespaciais), falhas podem resultar em desastres naturais e danos à integridade física da população. Diante deste cenário, sistemas devem ser desenvolvidos de modo que sejam seguros e eficazes, e que estejam em conformidade com requisitos regulatórios. Portanto, um desafio importante que emerge dessa situação é o desenvolvimento de sistemas de acordo com sua especificação de requisitos, e ao mesmo tempo confiáveis e certificáveis. É no contexto de sistemas embarcados críticos de segurança que se insere esse trabalho. Propõe-se um método para o desenvolvimento e certificação de software desses sistemas. O método é baseado em redes de Petri coloridas (Coloured Petri Nets - CPN) e casos de garantia (assurance cases) representados com a notação estruturada por metas (Goal Structuring Notation - GSN). Conceitos associados com os processos de certificação prescritivo (padrões de processo) e baseado em metas (características de produto) são integrados durante o processo de desenvolvimento. Além disso, a definição e rastreabilidade de requisitos regulatórios e específicos do produto, juntamente com a verificação de conformidade com requisitos regulatórios, é realizada por meio de casos de garantia. Por fim, neste trabalho também é apresentado um estudo de caso sobre um sistema de Eletrocardiografia (ECG) configurado como um monitor cardíaco. Esse estudo de caso serve como cenário de implementação e avaliação experimental do método.Embedded systems are part of the general population’s everyday life, from domestic, to industrial and governmental environments. The use of embedded systems has grown as a result, for example, of the dissemination of wireless communication, low power and portable electronic devices, and software embedded into electronic equipments. Embedded software can be designed to compose from simple embedded systems used to control domestic equipments, to safety-critical systems. The most complex an embedded system is, the more adverse situations are likely to occur, leading to financial risks, safety risks, among other. In safety-critical embedded systems (e.g., medical, avionics, and aerospace), failures may result in natural disasters and injuries to the population. Given this scenario, systemsmust be developedinorder tobesafeand effective, andto conform to regulatory requirements. Therefore, an important challenge that raises from this situation is to develop systems according to their requirements specification, and at the same time, being reliable and certifiable. This work is applied in the context of safety-critical embedded systems. A method to develop and certify software embedded in these systems is proposed. The method is based on Coloured Petri Nets (CPN) and assurance cases represented with the Goal Structuring Notation (GSN). Concepts related to prescriptive (process standards) and goal based (product features) certification processes are integrated during the development process. Moreover, the requirements specification and regulatory andproduct- specificrequirementstraceability,alongwiththeverificationofconformanceto regulatory requirements, is carried out through assurance cases. Finally, a case study on an Electrocardiography (ECG) system configured as a cardiac monitor is presented. The case study is useful as an implementation scenario and experimental evaluation of the method
Ensino de ciencias e formação de professores : na escola normal e no curso de magisterio
Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro de Ciencias da EducaçãoA relação entre o ensino de ciências naturais e a formação de professores para as séries iniciais do ensino fiundamental, no Curso de Magistério - 2° grau, é apresentada como resultado de uma pesquisa docu-mental. Localizo o "Projeto Diretrizes Gerais para o Ensino de 2° Grau: Núcleo Comum e Habilitação Magistério", que foi desenvolvido pelo MEC/PUC-SP e que culminou com a publicação de subsídios destinados a esta habilitação. Dentre os livros, tem-se o de Metodologia do Ensino de Ciências METEC, que veicula uma proposta de ensino pautada na Abordagem Temática e na formação contínua de professores, norteada pela ação-reflexão-ação. Após a caracterização das diferentes compreensões da formação de professores em serviço, apresenta-se uma síntese de como ocorre a formação contínua do docente reflexivo e, em especial, na perspectiva da Abordagem Temática. Analisam-se as concepções de Ciência e de ensino de Ciências, as categorias momentos pedagógicos e conceitos unificadores e a forma de atuação do grupo da Abordagem Temática. Uma descrição e uma análise das concepções veiculadas pelo METEC evidenciam uma concepção educacional progressista, que contempla a dialogicidade e a problematização do conhecimento - construído pela ação humana. Os resultados de uma pesquisa empí-rica desenvolvida com professores que se referenciam no METEC indicou que o emprego de livro, como instrumento para veicular a proposta de ensino nele contida, necessita estar articulado organicamente com a participação dos professores em atividades de formação continuada
Reformas Curriculares Atuais e As Implicações das Prescrições Curriculares Para o/No Ensino de Geografia
O presente artigo constitui-se de uma análise teórico-conceitual com relação às reformas curriculares recentes, evidenciadas principalmente pela aprovação do documento que compõe a Base Nacional Comum Curricular (BNCC, 2018) e do contexto destacado pela Reforma do Ensino Médio (2017). Considera-se, também, as implicações das prescrições curriculares observadas na Base Nacional Comum Curricular (BNCC) para o componente curricular Geografia. A proposta objetiva, ainda, pensar em movimentos que contribuam para a atuação docente de forma crítica e provocativa diante dos retrocessos notados, em resposta aos processos percebidos de padronização dos currículos, avaliação por resultados e adequação dos professores a um formato que pouco dialoga com as realidades em que atuam
MultCare: A mobile assistant as a tool to aid early detection of Chronic Kidney Disease
AbstractEarly diagnosis and slowing the progression of chronic diseases are very important factors for improving the quality of life of the world population. Chronic Kidney Disease (CKD) is one of these diseases, however with aggravating factors, being a cause and consequence of other chronic diseases of high incidence, such as Diabetes Mellitus and Arterial Hypertension. The use of Information and Communication Technologies may be a way to help the doctor provides a diagnosis in less advanced stages of CKD. In this context, a mobile assistant to aid the early diagnosis of CKD through a wireless communication and Colored Petri Nets models is proposed
- …