Automatic Test Generation for Space

The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these services to ESA and they need a tool to infer automatically tests from the existing C++ code, instead of writing manually scripts to perform tests. With this motivation in mind, this paper explores automatic testing approaches and tools in order to propose a system that satisfies VST needs

Os aspectos envolvidos na Síndrome de Burnout em profissionais da saúde: uma revisão narrativa

Introduction: Burnout Syndrome (BS) defines itself by the intense exhaustion it causes in individuals, and the work is at its core. This disease was first described by Herbert Freudenberger, a German psychologist, 46 years ago and currently it is based on three pillars: emotional exhaustion, depersonalization, and low job satisfaction. Methodology: The article was outlined in the narrative review structure and presents a qualitative character. The articles used did not have restrictions regarding the year of publication and come from the Scielo and PubMed databases. Results: As for the 9 studies used, all presented at least one of the following outcomes: diagnosis of BS or filling of at least one of the defining pillars of the disease by some percentage of the participants, recognition of potential stressors in the work environment that could trigger the syndrome and signs that it has affected the health care (absence, verbal aggresion). Discussion: In this context, with the growing demand, exhaustive working hours, and situations of constant stress, doctors, nurses, and another health-care system workers are more liable to the development of this syndrome, which negatively affects the relationship between the professionals with their work colleagues and patients. Conclusion: Thus, the relation of work and physical, psychological and emotional stress stands clear, showing that the romanticization around career-oriented life and curriculum building at the expense of quality of life is harmful to the individual, and therefore, to the society.Introdução: A Síndrome de Burnout (SB) é caracterizada pela intensa extenuação que causa nos indivíduos e tem como cerne o trabalho. Essa doença foi descrita pela primeira vez por Herbert Freudenberger, um psicólogo alemão, há 46 anos e hoje é baseada em três pilares: exaustão emocional, despersonalização e baixa satisfação profissional. Metodologia: O trabalho foi delineado na estrutura de revisão narrativa e tem natureza qualitativa. Os artigos utilizados não apresentaram restrição quanto ao ano de publicação e são provenientes das bases Scielo e PubMed. Resultados: Dos 9 estudos utilizados, todos apresentaram ao menos um dos seguintes desfechos: diagnóstico da SB ou preenchimento de ao menos um dos pilares definidores da SB por alguma porcentagem dos participantes, identificação de potenciais fatores estressantes no ambiente de trabalho que poderiam desencadear a doença e sinais de que a síndrome afetou o atendimento (abstência, agressividade verbal). Discussão: Nesse âmbito, com a cobrança crescente, jornadas exaustivas e situações de estresse constante, médicos, enfermeiros e afins são mais passíveis ao desenvolvimento da SB, o que afeta negativamente a relação entre esses profissionais com seus colegas de profissão e pacientes. Conclusão: Dessa forma, a relação entre estresse físico, psíquico e emocional e o trabalho fica clara, evidenciando que a romantização em torno da vida voltada à carreira e construção de currículo em detrimento da qualidade de vida é prejudicial ao indivíduo, e, por conseguinte, à sociedade.&nbsp

Photography-based taxonomy is inadequate, unnecessary, and potentially harmful for biological sciences

The question whether taxonomic descriptions naming new animal species without type specimen(s) deposited in collections should be accepted for publication by scientific journals and allowed by the Code has already been discussed in Zootaxa (Dubois & Nemésio 2007; Donegan 2008, 2009; Nemésio 2009a–b; Dubois 2009; Gentile & Snell 2009; Minelli 2009; Cianferoni & Bartolozzi 2016; Amorim et al. 2016). This question was again raised in a letter supported by 35 signatories published in the journal Nature (Pape et al. 2016) on 15 September 2016. On 25 September 2016, the following rebuttal (strictly limited to 300 words as per the editorial rules of Nature) was submitted to Nature, which on 18 October 2016 refused to publish it. As we think this problem is a very important one for zoological taxonomy, this text is published here exactly as submitted to Nature, followed by the list of the 493 taxonomists and collection-based researchers who signed it in the short time span from 20 September to 6 October 2016

Catálogo Taxonômico da Fauna do Brasil: setting the baseline knowledge on the animal diversity in Brazil

The limited temporal completeness and taxonomic accuracy of species lists, made available in a traditional manner in scientific publications, has always represented a problem. These lists are invariably limited to a few taxonomic groups and do not represent up-to-date knowledge of all species and classifications. In this context, the Brazilian megadiverse fauna is no exception, and the Catálogo Taxonômico da Fauna do Brasil (CTFB) (http://fauna.jbrj.gov.br/), made public in 2015, represents a database on biodiversity anchored on a list of valid and expertly recognized scientific names of animals in Brazil. The CTFB is updated in near real time by a team of more than 800 specialists. By January 1, 2024, the CTFB compiled 133,691 nominal species, with 125,138 that were considered valid. Most of the valid species were arthropods (82.3%, with more than 102,000 species) and chordates (7.69%, with over 11,000 species). These taxa were followed by a cluster composed of Mollusca (3,567 species), Platyhelminthes (2,292 species), Annelida (1,833 species), and Nematoda (1,447 species). All remaining groups had less than 1,000 species reported in Brazil, with Cnidaria (831 species), Porifera (628 species), Rotifera (606 species), and Bryozoa (520 species) representing those with more than 500 species. Analysis of the CTFB database can facilitate and direct efforts towards the discovery of new species in Brazil, but it is also fundamental in providing the best available list of valid nominal species to users, including those in science, health, conservation efforts, and any initiative involving animals. The importance of the CTFB is evidenced by the elevated number of citations in the scientific literature in diverse areas of biology, law, anthropology, education, forensic science, and veterinary science, among others

aspectos envolvidos na Síndrome de Burnout em profissionais da saúde

Introdução: A Síndrome de Burnout (SB) é caracterizada pela intensa extenuação que causa nos indivíduos e tem como cerne o trabalho. Essa doença foi descrita pela primeira vez por Herbert Freudenberger, um psicólogo alemão, há 46 anos e hoje é baseada em três pilares: exaustão emocional, despersonalização e baixa satisfação profissional. Metodologia: O trabalho foi delineado na estrutura de revisão narrativa e tem natureza qualitativa. Os artigos utilizados não apresentaram restrição quanto ao ano de publicação e são provenientes das bases Scielo e PubMed. Resultados: Dos 9 estudos utilizados, todos apresentaram ao menos um dos seguintes desfechos: diagnóstico da SB ou preenchimento de ao menos um dos pilares definidores da SB por alguma porcentagem dos participantes, identificação de potenciais fatores estressantes no ambiente de trabalho que poderiam desencadear a doença e sinais de que a síndrome afetou o atendimento (abstência, agressividade verbal). Discussão: Nesse âmbito, com a cobrança crescente, jornadas exaustivas e situações de estresse constante, médicos, enfermeiros e afins são mais passíveis ao desenvolvimento da SB, o que afeta negativamente a relação entre esses profissionais com seus colegas de profissão e pacientes. Conclusão: Dessa forma, a relação entre estresse físico, psíquico e emocional e o trabalho fica clara, evidenciando que a romantização em torno da vida voltada à carreira e construção de currículo em detrimento da qualidade de vida é prejudicial ao indivíduo, e, por conseguinte, à sociedade. </jats:p

Peritonite pós-cobertura em cadela Boxer apresentando síndrome de ovário remanescente (SOR)

The ovarian remnant syndrome (ORS) is defined as the persistence of ovarian activity in surgically spayed females, in which part or the entire ovary remains after the surgical procedure. ORS is characterized as a neo-vascular formation that promotes the organ's functions again, and may occur in cats and dogs. This condition causes the return of all undesirable signs of estrus, like male attraction, vaginal secretion (proestral bleeding), anxiety, pseudocyesis, among other symptoms. The recommended treatment is the surgical removal of the remaining ovary tissue. However, this procedure should be performed at the estrogenic stage of the cycle, when the remaining ovary tissue is enlarged due to the presence of follicles, which facilitates its location. Apparently there are no papers on the consequences of an undesirable breeding. Thus, the objective of this article was to report a case of peritonitis in a bitch with ORS after natural breeding, referred to the Hospital Veterinario da Faculdade de Medicina Veterinaria e Zootecnia da UNESP, campus Botucatu, São Paulo, Brazil

FATORES ASSOCIADOS AO DESMAME PRECOCE DO ALEITAMENTO MATERNO: REVISÃO INTEGRATIVA

Introdução: A Organização Mundial de Saúde e o Ministério da Saúde recomendam o Aleitamento Materno (AM) até os dois anos ou mais e o exclusivo nos primeiros seis meses de vida do bebê. Objetivo: verificar na literatura quais são os fatores associados ao desmame precoce do aleitamento materno. Métodos: trata-se de uma revisão integrativa, realizada em março de 2022. Com a seguinte questão norteadora: “Quais são os fatores associados ao desmame precoce do aleitamento materno?”. Para esse estudo foram utilizados os descritores: “Aleitamento materno”, “Desmame” e “Fatores de risco”. A busca dos estudos primários ocorreu nas bases de dados: National Library of Medicine National Institutes of Health (PubMed), Literatura Latino-Americana e do Caribe em Ciências da Saúde (LILACS) e Base de Dados de Enfermería (BDENF). Os critérios de inclusão foram: estudos publicados entre 2017 e 2021, disponíveis em português, inglês e espanhol, na íntegra e de modo gratuito, com temática abrangendo os fatores de risco associados ao desmame precoce do aleitamento materno. Os estudos excluídos foram: teses, dissertações, resumos de conferências, capítulos de livros, trabalhos de conclusão de curso e relatos de caso. Os dados coletados foram: autor(es), ano de publicação, tipo de estudos e principais resultados encontrados. Resultados e Discussão: Foram encontrados 122 artigos, após a aplicação dos critérios foram excluídos 113, pois não correspondiam ao objetivo da pesquisa. Após a leitura dos títulos e resumos, 8 artigos foram selecionados para leitura na íntegra, posteriormente a leitura, 3 artigos foram excluídos, o que possibilitou ao final, inclusão de 5 artigos para subsidiarem a revisão de literatura. Conclusão: Verificou-se nos estudos analisados os principais fatores associados ao desmame precoce do aleitamento materno, tais como: “leite insuficiente ou fraco”, uso de chupetas e mamadeiras, entre outros.</jats:p

Post breeding peritonitis in a Boxer bitch with ovarian remnant syndrome (ORS)

The ovarian remnant syndrome (ORS) is defined as the persistence of ovarian activity in surgically spayed females, in which part or the entire ovary remains after the surgical procedure. ORS is characterized as a neo-vascular formation that promotes the organ's functions again, and may occur in cats and dogs. This condition causes the return of all undesirable signs of estrus, like male attraction, vaginal secretion (proestral bleeding), anxiety, pseudocyesis, among other symptoms. The recommended treatment is the surgical removal of the remaining ovary tissue. However, this procedure should be performed at the estrogenic stage of the cycle, when the remaining ovary tissue is enlarged due to the presence of follicles, which facilitates its location. Apparently there are no papers on the consequences of an undesirable breeding. Thus, the objective of this article was to report a case of peritonitis in a bitch with ORS after natural breeding, referred to the Hospital Veterinario da Faculdade de Medicina Veterinaria e Zootecnia da UNESP, campus Botucatu, Sao Paulo, Brazil.Univ Paulista Julio de Mesquita Filho UNESP, FMVZ, Dept Reprod Anim & Radiol Vet, BR-18618000 Botucatu, SP, BrazilUniv Paulista Julio de Mesquita Filho UNESP, FMVZ, Dept Clin Vet, BR-18618000 Botucatu, SP, BrazilUniv Paulista Julio de Mesquita Filho UNESP, FMVZ, Dept Reprod Anim & Radiol Vet, BR-18618000 Botucatu, SP, BrazilUniv Paulista Julio de Mesquita Filho UNESP, FMVZ, Dept Clin Vet, BR-18618000 Botucatu, SP, Brazi

Post breeding peritonitis in a Boxer bitch with ovarian remnant syndrome (ORS)

The ovarian remnant syndrome (ORS) is defined as the persistence of ovarian activity in surgically spayed females, in which part or the entire ovary remains after the surgical procedure. ORS is characterized as a neo-vascular formation that promotes the organ's functions again, and may occur in cats and dogs. This condition causes the return of all undesirable signs of estrus, like male attraction, vaginal secretion (proestral bleeding), anxiety, pseudocyesis, among other symptoms. The recommended treatment is the surgical removal of the remaining ovary tissue. However, this procedure should be performed at the estrogenic stage of the cycle, when the remaining ovary tissue is enlarged due to the presence of follicles, which facilitates its location. Apparently there are no papers on the consequences of an undesirable breeding. Thus, the objective of this article was to report a case of peritonitis in a bitch with ORS after natural breeding, referred to the Hospital Veterinario da Faculdade de Medicina Veterinaria e Zootecnia da UNESP, campus Botucatu, São Paulo, Brazil.Univ Paulista Julio de Mesquita Filho, UNESP, Dept Reprod Anim & Radiol Vet, BR-18618000 Botucatu, SP, BrazilUniv Paulista Julio de Mesquita Filho, UNESP, Dept Clin Vet, FMVZ, BR-18618000 Botucatu, SP, BrazilUniv Paulista Julio de Mesquita Filho, UNESP, Dept Reprod Anim & Radiol Vet, BR-18618000 Botucatu, SP, BrazilUniv Paulista Julio de Mesquita Filho, UNESP, Dept Clin Vet, FMVZ, BR-18618000 Botucatu, SP, Brazi