Retirement Communities and Housing for the Elderly, Editorial to the Speical Issue

</jats:p

O planejamento urbano sustentável pode determinar a felicidade e o bem-estar das pessoas?

Purpose – This study was designed to present how urban planning is associated with, and explain psychological well-being, health, time use, education, cultural diversity and resilience, community vitality, good governance, ecological diversity, resilience, and living standards. We used Gross National Happiness Index (GNH) as theoretical background. Design/methodology/approach – Quantitative and explanatory research was conducted and operationalized through a survey of 212 citizens. We used data from a mid-sized city, inner Santa Catarina state, Brazil.  Findings – The linear regression showed that urban planning predicts happiness and well-being. More specifically, urban planning impacts more time use perception; community vitality; ecological diversity and resilience; and most important, living standards. Research implications – we found that urban planning impacts more on the variables that are directly related to the environment, explained by the pillars of sustainable socio-economic development and environmental conservation. The individual and psychological dimensions related to health, culture, and education don't show the same impact, as well as good governance. Originality/value: a potential study to be used by government agencies to act directly in the elaboration of public policies once it is understood that using the GNH can identify specific deficits.Objetivo – Este estudo está desenhado para compreender como o planejamento urbano pode determinar a percepção de saúde, governança, educação, padrão de vida, vitalidade da comunidade e da diversidade ecológica. Foi utilizado como teoria de base para a análise, a Felicidade Interna Bruta. Design/ metodologia – Foi realizada uma pesquisa quantitativa e explicativa, operacionalizada por meio de uma pesquisa com 212 cidadãos. Utilizamos dados de uma cidade de médio porte do interior de Santa Catarina, Brasil. Resultados – A regressão linear mostrou que o planejamento urbano prediz a felicidade e o bem-estar. Mais especificamente, o planejamento urbano impacta mais a percepção do uso do tempo; vitalidade da comunidade; diversidade ecológica e resiliência; e o mais importante, padrão de vida. Implicações da pesquisa – constatou-se que o planejamento urbano impacta mais as variáveis ​​que estão diretamente relacionadas ao meio ambiente, explicadas pelos pilares de desenvolvimento socioeconômico sustentável e a conservação ambiental. As dimensões individual e psicológica relacionadas à saúde, cultura e educação não sofrem o mesmo impacto, assim como a boa governança. Originalidade/valor: um estudo potencial a ser utilizado por órgãos governamentais para atuar diretamente na elaboração de políticas públicas, uma vez que se entende que com o uso do FIB é possível identificar déficits específicos

Privacy in Practice: Private COVID-19 Detection in X-Ray Images

Machine learning (ML) can help fight the COVID-19 pandemic by enabling rapid screening of large volumes of chest X-ray images. To perform such data analysis while maintaining patient privacy, we create ML models that satisfy Differential Privacy (DP). Previous works exploring private COVID-19 ML models are in part based on small or skewed datasets, are lacking in their privacy guarantees, and do not investigate practical privacy. In this work, we therefore suggest several improvements to address these open gaps. We account for inherent class imbalances in the data and evaluate the utility-privacy trade-off more extensively and over stricter privacy budgets than in previous work. Our evaluation is supported by empirically estimating practical privacy leakage through actual attacks. Based on theory, the introduced DP should help limit and mitigate information leakage threats posed by black-box Membership Inference Attacks (MIAs). Our practical privacy analysis is the first to test this hypothesis on the COVID-19 detection task. In addition, we also re-examine the evaluation on the MNIST database. Our results indicate that based on the task-dependent threat from MIAs, DP does not always improve practical privacy, which we show on the COVID-19 task. The results further suggest that with increasing DP guarantees, empirical privacy leakage reaches an early plateau and DP therefore appears to have a limited impact on MIA defense. Our findings identify possibilities for better utility-privacy trade-offs, and we thus believe that empirical attack-specific privacy estimation can play a vital role in tuning for practical privacy

Simultaneous Kummer congruences and E∞\mathbb{E}_\infty-orientations of KO and tmf

Building on results of M. Ando, M.J. Hopkins and C. Rezk, we show the existence of uncountably many $\mathbb{E}_\infty$-String orientations of real K-theory KO and of topological modular forms tmf, generalizing the $\hat{A}$- (resp. the Witten) genus. Furthermore, the obstruction to lifting an $\mathbb{E}_\infty$-String orientations from KO to tmf is identified with a classical Iwasawa-theoretic condition. The common key to all these results is a precise understanding of the classical Kummer congruences, imposed for all primes simultaneously. This result is of independent arithmetic interest.Comment: final versio

Magnetism and in-gap states of 3d transition metal atoms on superconducting Re

Magnetic atoms on heavy-element superconducting substrates are potential building blocks for realizing topological superconductivity in one- and two-dimensional atomic arrays. Their localized magnetic moments induce so-called Yu-Shiba-Rusinov (YSR) states inside the energy gap of the substrate. In the dilute limit, where the electronic states of the array atoms are only weakly coupled, proximity of the YSR states to the Fermi energy is essential for the formation of topological superconductivity in the band of YSR states. Here, we reveal via scanning tunnel spectroscopy and ab initio calculations of a series of 3d transition metal atoms (Mn, Fe, Co) adsorbed on the heavy-element superconductor Re that the increase of the Kondo coupling and sign change in magnetic anisotropy with d-state filling is accompanied by a shift of the YSR states through the energy gap of the substrate and a crossing of the Fermi level. The uncovered systematic trends enable the identification of the most promising candidates for the realization of topological superconductivity in arrays of similar systems

Argumentação em geometria : um olhar sobre a formação de conceitos no ensino fundamental

O presente trabalho tem como objetivo identificar, analisar e discutir como é realizada a demonstração matemática por alunos do nono ano do ensino fundamental. Para realizar a pesquisa foi construído e aplicado um questionário de quatro perguntas envolvendo o conteúdo de geometria, sendo tópicos desse conteúdo: soma dos ângulos internos de um polígono, transposição e soma de ângulos assim como definições de diferentes tipos de ângulo, soma e sobreposição de áreas, e o conceito de diagonal e triangulação de polígonos. Sendo todos esses conteúdos que segundo os Parâmetros Curriculares Nacionais (1988) deveriam ser abordados em sala de aula pelo professor. A análise da pesquisa foi feita a partir das teorias de Shlomo Vinner (2002) sobre Imagem do Conceito e Definição do Conceito e da teoria dos três mundos matemáticos de David Tall (2013). Foram analisados quatorze questionários e, a partir desses dois referenciais, discuti como os alunos realizam as demonstrações matemáticas. A conclusão acerca da análise dos questionários foi de que, apesar da demonstração matemática ser importante na construção de conhecimento do aluno, muito pouco é trabalhada em sala de aula. Com isso o aluno tem problemas na construção de imagens de muitos conceitos ou imagens muito limitadas sobre conceitos, além disso grande parte dos alunos utiliza apenas um tipo de pensamento matemático para suas demonstrações matemáticas.This paper aims to identify, analyze and discuss how the mathematical proof is performed by students from ninth grade of elementary school. In order to conduct the research a questionnaire was formulated and applied; it had four questions about geometry, being its topics: sum of the interior angles of a polygon, transposing and sum of angles — as well as definitions of diferente types of angle, sum and layering of areas, and the concept of diagonal and polygon triangulation. All of these contents, according to National Curriculum Parameters (1988) must be approached in the classroom by the teacher. This analysis was done based on the theories of Shlomo Vinner (2002) on Concept Image and Concept Definition and the theory of the three worlds of mathematics of David Tall (2013). Fourteen questionnaires were analyzed and, from these two references, I er tediscussed how students perform the mathematical proofs. We concluded from this analysis that, although the mathematical proof is important in the student construction of knowledge, it is slightly worked in the classroom. As a result, the student has difficulties in constructing images of many concepts or has extremely limited images about concepts. In addition, most students use only one type of mathematical thinking for their mathematical proofs

Estudo de caso – analise e desenvolvimento de um sistema de remuneração variável

Cada vez mais o mercado se torna mais globalizado e competitivo, onde a redução de custos e tempo para a produção de um projeto, e também a rapidez com que os processos das empresas são executados, mostram-se fundamentais para o seu crescimento. O objetivo deste trabalho é modelar o método de pagamento da remuneração variável comercial de uma empresa do Vale do Taquari, propondo e implantando um sistema de informação que irá automatizar este processo. Com a criação deste sistema foi possível realizar o cálculo de forma mais ágil, automatizando processos que antes eram realizados de forma manual. Este sistema foi desenvolvido baseado em métodos de Engenharia de Software, Gestão de Requisitos e utilizando a metodologia de Modelagem de Processos de Negócio para melhor o controle e rastreabilidade de mudanças. Tais metodologias visam agilizar o processo de desenvolvimento, permitindo que a organização se torne mais forte no mercado e também melhorando o atendimento aos seus clientes. Como resultado, entende-se que o processo ficou mais ágil, confiável e seguro, trazendo informações mais precisas para o setor de vendas e assim podendo aumentar o seu desempenho e da empresa.Increasingly, the market becomes more globalized and competitive, where the reduction of costs and time for the production of a project, as well as the speed with which the processes of companies are executed, are fundamental for their growth. The objective of this work is to model the commercial variable remuneration payment method of a Taquari Valley company, proposing and implementing an information system that will automate such process. With the creation of this system it was possible to perform a quicker calculation, automating processes that were previously manually performed. This system was developed based on Software Engineering, Requirements Management methods and using Business Process Modeling methodology for better control of changes and traceability. These methodologies aim to speed up the development process, allowing the organization to become stronger in the market and also improving the service to its customers. As a result, it is understood that the process has become more agile, reliable and safer, bringing more accurate information to the sales sector and thus increasing its performance and also of the company

Structure Determination of the Crystalline LiPON Model Structure Li5+xP2O6-xN1+x with x approximate to 0.9

Non-crystalline lithium oxonitridophosphate (LiPON) is used as solid electrolyte in all-solid-state batteries. Crystalline lithium oxonitridophosphates are important model structures to retrieve analytical information that can be used to understand amorphous phases better. The new crystalline lithium oxonitridophosphate Li5+xP2O6-xN1+x was synthesized as an off-white powder by ampoule synthesis at 750-800 degrees C under Ar atmosphere. It crystallizes in the monoclinic space group P2(1)/c with a=15.13087(11) angstrom, b=9.70682(9) angstrom, c=8.88681(7) angstrom, and beta=106.8653(8)degrees. Two P(O,N)(4) tetrahedra connected by an N atom form the structural motif [P2O6-xN1+x]((5+x)-). The structure was elucidated from X-ray diffraction data and the model corroborated by NMR and infrared spectroscopy, and elemental analyses. Measurements of ionic conductivity show a total ionic conductivity of 6.8x10(-7) S cm(-1) at 75 degrees C with an activation energy of 0.52 +/- 0.01 eV

Loops under Strategies ... Continued

While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically. Almost all of these techniques try to find loops, where the existence of a loop implies non-termination of the rewrite system. However, most programming languages use specific evaluation strategies, whereas loop detection techniques usually do not take strategies into account. So even if a rewrite system has a loop, it may still be terminating under certain strategies. Therefore, our goal is to develop decision procedures which can determine whether a given loop is also a loop under the respective evaluation strategy. In earlier work, such procedures were presented for the strategies of innermost, outermost, and context-sensitive evaluation. In the current paper, we build upon this work and develop such decision procedures for important strategies like leftmost-innermost, leftmost-outermost, (max-)parallel-innermost, (max-)parallel-outermost, and forbidden patterns (which generalize innermost, outermost, and context-sensitive strategies). In this way, we obtain the first approach to disprove termination under these strategies automatically.Comment: In Proceedings IWS 2010, arXiv:1012.533