This paper presents a distributed implementation of the Structured Gamma programming language, a language based on the Gamma multiset rewriting paradigm. Structured Gamma offers, in addition to the advantages introduced by Gamma, implicit concurrent behavior and a type qstem where not onlv types themselves are defined but also the automatic venfication of user defined types at compilation time. Problems and mechanisms involved in a MPI-based implementation of Structured Gamma using a type checking engine based on MGU -Most General Unifier are investigated.
Text mining has become an integral part of all research in the medical field. Many text analysis software platforms support particular use cases and only those. We show an example of a bibliographic tool that can be used to support virtually any use case in an agile manner. Here we focus on a Pipeline Pilot web-based application that interactively analyzes and reports on PubMed search results. This will be of interest to any scientist to help identify the most relevant papers in a topical area more quickly and to evaluate the results of query refinement. Links with Entrez databases help both the biologist and the chemist alike. We illustrate this application with Leishmaniasis, a neglected tropical disease, as a case study.
O SARS-CoV-2 pertence a uma família de vírus que causam infecções respiratórias e tem se disseminado pelo mundo rapidamente. Uma das principais medidas preventivas contra a contaminação deste vírus é o isolamento social. Assim, as pessoas tem evitado sair de suas residências e algumas pessoas realizam suas atividades profissionais por meio do teletrabalho. No ensino superior, algumas universidades têm adotado atividades remotas em atividades letivas para minimizar o impacto no calendário acadêmico. No entanto, alguns cursos têm enfrentado desafios para garantir a qualidade do ensino e o princípio da isonomia. Este artigo relata alguns desafios enfrentados nas atividades remotas em um curso de graduação presencial na área de tecnologia devido à pandemia do SARS-CoV-2.
Com a pandemia do Coronavirus, diversas consequências surgiram para o ensino de maneira geral. Devido a ações de distanciamento social e de prevenção, o acesso presencial a salas de aula, laboratórios e secretarias ficou prejudicado, motivando a continuidade das atividades acadêmicas de maneira remota. Para isso, infraestrutura e atividades tiveram que ser adequadas. O objetivo deste trabalho é realizar uma análise qualitativa com Grounded Theory sobre a aplicação de atividades remotas em disciplinas no período de isolamento social. Para seu atendimento, um questionário foi aplicado a docentes que estavam lecionando disciplinas na modalidade remota. Como resultados, tem-se que infraestrutura adequada é essencial para que a comunicação possa fluir bem, e a inclusão digital dos alunos é uma preocupação.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.