Formal Semantics for Java-like Languages and Research Opportunities

The objective of this paper is twofold: first, we discuss the state of art on Java-like semantics, focusing on those that provide formal specification using operational semantics (big-step or small-step), studying in detail the most cited projects and presenting some derivative works that extend the originals aggregating useful features. Also, we filter our research for those that provide some insights in type-safety proofs. Furthermore, we provide a comparison between the most used projects in order to show which functionalities are covered in such projects. Second, our effort is focused towards the research opportunities in this area, showing some important works that can be applied to the previously presented projects to study features of object-oriented languages, and pointing for some possibilities to explore in future researches

POLÍTICAS PÚBLICAS E AS TENDÊNCIAS PEDAGÓGICAS PRESENTES NA EDUCAÇÃO INFANTIL BRASILEIRA

Este artigo descreve um breve histórico de como se constituiu a Educação Infantil no mundo e de que maneira seu método influenciou a prática pedagógica do primeiro jardim de infância no Brasil. Buscou-se descrever o percurso que as Políticas Públicas desta etapa da Educação Básica se constitui até os dias atuais, assim como, as tendências pedagógicas que influenciaram este percurso e permeiam até hoje na prática pedagógica de muitos professores da Educação Infantil. Utilizou-se como metodologia um estudo bibliográfico, dentre os quais serviram como referência livros, artigos científicos publicados eletronicamente, teses e dissertações. Com este estudo foi possível perceber a influência de políticas internacionais na construção das Políticas Públicas brasileiras e da Educação Infantil e que mesmo com esta influência, o modo de conceber a criança e o modo de organizar o ensino teve grandes avanços para o meio educacional. As tendências pedagógicas manifestam-se na prática do professor, isso pode ter reflexo da formação e do modo que estes professores foram preparados para lecionar nesta etapa da Educação Básica.10.18616/rsp.v3i1.380

POLÍTICAS PÚBLICAS E AS TENDÊNCIAS PEDAGÓGICAS PRESENTES NA EDUCAÇÃO INFANTIL BRASILEIRA

Este artigo descreve um breve histórico de como se constituiu a Educação Infantil no mundo e de que maneira seu método influenciou a prática pedagógica do primeiro jardim de infância no Brasil. Buscou-se descrever o percurso que as Políticas Públicas desta etapa da Educação Básica se constitui até os dias atuais, assim como, as tendências pedagógicas que influenciaram este percurso e permeiam até hoje na prática pedagógica de muitos professores da Educação Infantil. Utilizou-se como metodologia um estudo bibliográfico, dentre os quais serviram como referência livros, artigos científicos publicados eletronicamente, teses e dissertações. Com este estudo foi possível perceber a influência de políticas internacionais na construção das Políticas Públicas brasileiras e da Educação Infantil e que mesmo com esta influência, o modo de conceber a criança e o modo de organizar o ensino teve grandes avanços para o meio educacional. As tendências pedagógicas manifestam-se na prática do professor, isso pode ter reflexo da formação e do modo que estes professores foram preparados para lecionar nesta etapa da Educação Básica.10.18616/rsp.v3i1.380

Growth and yield models for eucalyptus stands obtained by differential equations

The main purpose of this study was to assess nonlinear models generated by integrating the basal area growth rate to estimate the growth and yield of forest stands. The database was collected from permanent sample units, in Paraopeba county, in the state of Minas Gerais, Brazil. The stands were represented by Eucalyptus camaldulensis × Eucalyptus urophylla hybrid trees, with 3 × 3 meters of spacing. The data were divided into two groups: fitting and validating databases. Two nonlinear models (Strategy A and Strategy B) were developed using differential equations to estimate the basal area growth and yield of the sample units. The logistic model was fitted to estimate the volumetric yield as a function of age, site index and basal area. The efficiency of the systems generated by logistic model and models obtained by differential equations (Strategy A and Strategy B) was also compared to the efficiency of the system estimated by the Clutter model (Strategy C). The projection models used to estimate basal area obtained by differential equations were compatible with forest growth and yield, and the logistic model with covariates was compatible with volumetric growth and yield. Strategy A and Strategy B generated different thinning and harvesting options for different site indices, which is biologically consistent

Formal semantics for java-like languages and research opportunities.

Currently, Java is one of the most used programming languages, being adopted in many large projects, where applications reach a level of complexity for which manual testing and human inspection are not enough to guarantee quality in software development. Because of that, there is a growing research field that concerns the formalization of small subsets of Java-like languages aimed to conduct studies that were impossible to achieve through informal approaches. In this context, the objective of this paper is twofold: the discussion of the state-of-the-art on Java-like semantics and the presentation of research opportunities in this area. For the first goal, we present a research about Java-like formal semantics, filtering those that provide some insights in type-safety proofs, choosing the four most cited projects to be presented in details. We also briefly present some related studies that extended the originals aggregating useful features. Additionally, we provide a comparison between the most cited projects in order to show which functionalities are covered by each one of them. As for the second goal, we discuss possible future studies that can be performed by using the presented formal semantics.Atualmente Java ?e uma das linguagens de programac? ?ao mais utilizadas, sendo adotada em muitos projetos de grande escala, onde aplicac? ?oes alcanc?am um n??vel de complexidade no qual testes e inspec? ?oes manuais n?ao s?ao suficientes para garantir qualidade no desenvolvimento de software. Por conta disso, existe um crescente campo de pesquisa que diz respeito a formalizac? ?ao de pequenos fragmentos de linguagens similares ao Java, almejando a conduc? ?ao de estudos os quais eram imposs??veis de realizar atrav?es de abordagens informais. Neste contexto, este artigo tem dois objetivos: a discuss?ao do estado da arte sobre sem?anticas similares ao Java e a apresentac? ?ao de oportunidades de pequisa nesta ?area. Para o primeiro objetivo, ?e proposta uma pequisa sobre sem?anticas formais da linguagem Java, filtrando aquelas que prov?eem provas de seguranc?a de tipos, escolhendo os quatro projetos mais citados para serem apresentados em detalhes. Tamb?em s?ao apresentados brevemente alguns estudos derivados que estendem os originais agregando funcionalidades. Adicionalmente, ?e apresentada uma comparac? ?ao entre os projetos mais citados como forma de demonstrar quais funcionalidades s?ao cobertas por cada um deles. Como segundo objetivo s?ao discutidos poss??veis trabalhos futuros que podem ser realizados atrav?es do uso das sem? anticas formais apresentadas

Music Laboratory: sing to learn

No âmbito da preparação de um projeto de investigação inserido na Unidade Curricular de Pedagogia da Música do Mestrado de Ensino de Educação Musical no Ensino Básico, da Escola Superior de Educação – IPB, percebemos que preparar canções para crianças pequenas compreendia diferentes etapas de aprendizagens e que as mesmas podiam contribuir para distintas aptidões motoras, linguísticas e musicais. A literatura reforça que aprender música através de canções potencia o desenvolvimento e aprendizagem, quer da língua materna, quer dos sinais referentes à música, ou mesmo da memória e outras aptidões cognitivas e sensoriais. Deste modo, propomos apresentar um estudo de caso, com a aplicação de uma canção destinada a crianças e exemplificar as etapas da sua aprendizagem, enquanto processos para reforçar a língua materna, a géstica, o fraseado e a coordenação motora para comunicar musicalmente. Os resultados do estudo permitiram concluir que as crianças perceberam frases musicais, criaram referências linguísticas e motoras.In the preparation of a research project included in the course of Music Pedagogy of the Master in Teaching Music in Basic Education, at the School of Education – IPB, we realized that preparing songs for young children comprise different stages of learning and the same could contribute to different motor, language and musical skills. Literature reinforces that learning music through songs encourages the development and learning of both the mother tongue, the signals for the song, or even memory and other cognitive and sensory skills. Thus, we propose a case study through the application of a song to children by illustrating the stages of their learning as processes to strengthen the mother tongue, the gestures, phrasing and coordination to communicate musically. The results show that the children understood musical phrases, created language and motor references.info:eu-repo/semantics/publishedVersio

OCORRÊNCIA DE COMPLICAÇÕES NO PERÍODO GESTACIONAL EM MULHERES COM IDADE MATERNA AVANÇADA

Objetivo: analisar a associação entre complicações e idade materna avançada durante a gestação. Método: estudo retrospectivo baseado na análise de prontuários de mulheres em idade avançada que tiveram parto em um hospital-escola do Sul do Brasil. A coleta ocorreu de 2015 a 2018. Realizaram-se análises recorrendo aos testes Qui-Quadrado de Pearson e/ou exato de Fisher, U de Mann-Whitney e razão de prevalência. Resultados: avaliaram-se 1336 prontuários. As complicações HAS pré-gestacional, pré-eclâmpsia e DMG apresentaram maiores médias de idade materna. Mulheres acima de 40 anos apresentaram 1,06 vezes maior probabilidade de desenvolver pré-eclâmpsia e 1,33 vezes de desenvolver crescimento intrauterino restrito. Conclusão: O aumento da idade mostrou relação com complicações, principalmente em gestantes acima de 40 anos. É necessário, portanto, atenção da enfermagem a mulheres nessa faixa etária, considerando a tendência crescente de gestações em idade avançada

Keratinocyte growth factor, tumor necrosis factor-alpha and interleukin-1 beta gene expression in cultured fibroblasts and keratinocytes from burned patients

PURPOSE: To evaluate the gene expression of KGF, TNF-alpha and IL-1 beta in skin fibroblasts and keratinocytes cultured from burned patients. METHODS: Three patients with large burns and three patients with small burns, as well as two controls, were included. The cell culture was initiated by the enzymatic method. After extraction and purification of mRNA, qPCR was used to assess the gene expression of KGF, TNF-alpha and IL-1 beta. RESULTS: The expression of KGF was increased on average 220-fold in large burns and 33.33-fold in small burns in fibroblasts, and 11.2-fold in large burns and 3.45-fold in small burns in keratinocytes compared to healthy patients (p<0.05). Expression of TNF-alpha was not observed. IL-1 beta is down-regulated in fibroblasts of burned patients, and much more repressed in small burns (687-fold, p<0.05). In keratinocytes, the repression of IL-1 beta expression occurs in patients with small burns (28-fold), while patients with large burns express this gene intensively (15-fold). CONCLUSIONS: The study showed a quantitative pattern in the expression of KGF gene, which is more expressed according to the size of the burn. TNF-alpha was not expressed. A qualitative pattern in the expression of IL-1 beta gene was demonstrated.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)UNIFESP-EPM Department of SurgeryUNIFESP-EPMUNIFESP-EPM Department of GynecologyUNIFESP, EPM, Department of SurgeryUNIFESP-EPMUNIFESP, EPM Department of GynecologySciEL

Parada cardiorrespiratória obstétrica: construção e validação de instrumento para avaliar o conhecimento da enfermagem

Objetivo: Construir e validar instrumento para avaliar o conhecimento da enfermagem sobre parada cardiorrespiratória obstétrica.Métodos: Estudo metodológico composto pela construção do instrumento, validação de conteúdo por 23 especialistas e validação da consistência interna com 74 profissionais da enfermagem e 99 estudantes de enfermagem. Foram considerados válidos os itens comconcordância mínima de 90%, verificada a partir do Índice de Validação de Conteúdo, Razão de Validade de Conteúdo e teste binomial. O alpha de Cronbach foi utilizado para verificar a consistência interna e o valor superior a 0,6 classificado como aceitável.Resultados: O instrumento foi composto por16 questões de múltipla escolha, dos 16 itens avaliados, oito possuíram concordância de 100% e seis 95%. A menor razão de validade de conteúdo foi de 0,82 e o alpha de Cronbach foi de 0,694.Conclusões: O instrumento foi construído e validado, recomendando-se sua utilização para avaliação do conhecimento em parada cardiorrespiratória obstétrica. Palavras-chave: Ensino. Avaliação educacional. Educação em enfermagem. Reanimação cardiopulmonar. Obstetrícia

DEVELOPMENT AND VALIDATION OF A HIGH PERFORMANCE LIQUID CHROMATOGRAPHIC METHOD DETERMINATION OF ZIDOVUDINE ENCAPSULATED IN PCL NANOPARTICLES

A reversed-phase high-performance liquid chromatographic (HPLC) method was developed and validated for the determination of encapsulation efficiency of zidovudine in nanoparticules. The method was carried out in isocratic mode using 0.040M sodium acetate: methanol: acetonitrile: glacial acetic acid (880:100:20:2) as mobile phase, a C8 column at 25ºC and UV detection at 240 nm. The method was linear (r2 ˃ 0.99) over the range of 25.0-150.0 μg/mL, precise (RSD ˂ 5%), accurate (recovery = 100.5%), robust and selective. The validated HPLC-UV method can be successfully applied to determine the rate of zidovudine in nanoparticules.A reversed-phase high-performance liquid chromatographic (HPLC) method was developed and validated for the determination of encapsulation efficiency of zidovudine in nanoparticules. The method was carried out in isocratic mode using 0.040M sodium acetate: methanol: acetonitrile: glacial acetic acid (880:100:20:2) as mobile phase, a C8 column at 25ºC and UV detection at 240 nm. The method was linear (r2 ˃ 0.99) over the range of 25.0-150.0 μg/mL, precise (RSD ˂ 5%), accurate (recovery = 100.5%), robust and selective. The validated HPLC-UV method can be successfully applied to determine the rate of zidovudine in nanoparticules