Formal group laws and hypergraph colorings

Thesis (Ph.D.)--University of Washington, 2016-06

Astrobiology in Brazil: early history and perspectives

This review reports the Brazilian history in astrobiology, as well as the first delineation of a vision of the future development of the field in the country, exploring its abundant biodiversity, highly capable human resources and state-of-the-art facilities, reflecting the last few years of stable governmental investments in science, technology and education, all conditions providing good perspectives on continued and steadily growing funding for astrobiology-related research. Brazil is growing steadily and fast in terms of its worldwide economic power, an effect being reflected in different areas of the Brazilian society, including industry, technology, education, social care and scientific production. In the field of astrobiology, the country has had some important landmarks, more intensely after the First Brazilian Workshop on Astrobiology in 2006. The history of astrobiology in Brazil, however, is not so recent and had its first occurrence in 1958. Since then, researchers carried out many individual initiatives across the country in astrobiology-related fields, resulting in an ever growing and expressive scientific production. The number of publications, including articles and theses, has particularly increased in the last decade, but still counting with the effort of researchers working individually. That scenario started to change in 2009, when a formal group of Brazilian researchers working with astrobiology was organized, aiming at congregating the scientific community interested in the subject and to promote the necessary interactions to achieve a multidisciplinary work, receiving facilities and funding from the University de Sao Paulo and other funding agencies. Received 29 February 2012, accepted 17 May 2012, first published online 18 July 2012

μ-Peroxo-μ-oxo-bis[bis(trimethylsilylmethyl)tin]: the first structurally characterised main-group metal η2-peroxide, a formal tin analogue of an ozonide

The title compound is the first µ-η2-peroxodimetallic species to be characterised for a main group metal, possessing a long peroxo O–O bond, and large C–Sn–C angles, and is an unexpected product from the oxidation of [SnR2][R = CH(SiMe3)2], with a structure analogous to an organic ozonide.

On the group-velocity property for wave-activity conservation laws

The density and the flux of wave-activity conservation laws are generally required to satisfy the group-velocity property: under the WKB approximation (i.e., for nearly monochromatic small-amplitude waves in a slowly varying medium), the flux divided by the density equals the group velocity. It is shown that this property is automatically satisfied if, under the WKB approximation, the only source of rapid variations in the density and the flux lies in the wave phase. A particular form of the density, based on a self-adjoint operator, is proposed as a systematic choice for a density verifying this condition.

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /

Bibliography: p. 48.

A critical approach to reading comprehension in english: teaching intervention with group of teenagers at a non-formal education institution [recurso electr?nico]

The following paper is an action research made with a group of 6 teenagers aged 11-13 from the city of Cali. The project was carried out at a non-formal education institution and basically describes the process of a teaching intervention in which the concepts of Critical Pedagogy and Task-Based Learning were the protagonists. The results show first, that students really need to feel motivated in order to accept a critical approach; second, that the role of the teacher in the achievement of the objectives is extremely relevant; it is necessary for them to have a critical perspective before working on this field besides the constant seeking of information in order to innovate in their classes; third, that the TBL (Task Based Learning) and the critical pedagogy are processes that need some time in order to bear fruits; and fourth, that a needs analysis is essential for the quality of the intervention.

Pedagogia do esporte : organização, sistematização, aplicação e avaliação de conteúdos esportivos na educação não formal = Sport pedagogy : organization, systematization and application of sports content in non-formal education

Universidade Estadual de Campinas . Faculdade de Educação Física

LAID - a smart decision room with ambient intelligence for group decision making and argumentation support considering emotional aspects

Decision Making is one of the most important activities of the human being. Nowadays decisions imply to consider many different points of view, so decisions are commonly taken by formal or informal groups of persons. Groups exchange ideas or engage in a process of argumentation and counter-argumentation, negotiate, cooperate, collaborate or even discuss techniques and/or methodologies for problem solving. Group Decision Making is a social activity in which the discussion and results consider a combination of rational and emotional aspects. In this paper we will present a Smart Decision Room, LAID (Laboratory of Ambient Intelligence for Decision Making). In LAID environment it is provided the support to meeting room participants in the argumentation and decision making processes, combining rational and emotional aspects.

Formal caregivers of older adults: reflection about their practice

OBJECTIVE To understand the job function of caregivers of older adults and contribute to the debate on the consolidation of this professional practice. METHODOLOGICAL PROCEDURES This is a descriptive, qualitative, and exploratory study. Four focal group sessions were performed in 2011 with 11 elderly companions, formal caregivers of older adults in the Programa Acompanhante de Idosos (Program for Caregivers of Older Adults), Sao Paulo, SP, Southeastern Brazil. These sessions, guided by a semi-structured script, were audio-recorded and fully transcribed. Data were analyzed using the Content Analysis technique, Thematic Modality. RESULTS In view of considering the caregivers of older adults as a new category of workers, it was difficult to define their duties. The elderly companions themselves as well as the care receivers, their families, and the professionals that comprised the team were unclear about their duties. The professional practice of these formal caregivers has been built on the basis of constant discussions and negotiations among them and other team members in Programa Acompanhante de Idosos during daily work. This was achieved via a recognition process of their job functions and by setting apart other workers’ exclusive responsibilities. CONCLUSIONS The delimitation of specific job functions for elderly companions is currently one of the greatest challenges faced by these workers to develop and consolidate their professional role as well as improve Programa Acompanhante de Idosos.

Encryption methods using formal power series rings

Recently there has been a great deal of work on noncommutative algebraic cryptography. This involves the use of noncommutative algebraic objects as the platforms for encryption systems. Most of this work, such as the Anshel-Anshel-Goldfeld scheme, the Ko-Lee scheme and the Baumslag-Fine-Xu Modular group scheme use nonabelian groups as the basic algebraic object. Some of these encryption methods have been successful and some have been broken. It has been suggested that at this point further pure group theoretic research, with an eye towards cryptographic applications, is necessary.In the present study we attempt to extend the class of noncommutative algebraic objects to be used in cryptography. In particular we explore several different methods to use a formal power series ring R && x1; :::; xn && in noncommuting variables x1; :::; xn as a base to develop cryptosystems. Although R can be any ring we have in mind formal power series rings over the rationals Q. We use in particular a result of Magnus that a finitely generated free group F has a faithful representation in a quotient of the formal power series ring in noncommuting variables.

International Society of Urological Pathology (ISUP) Consensus Conference on Handling and Staging of Radical Prostatectomy Specimens. Working group 2: T2 substaging and prostate cancer volume.

The 2009 International Society of Urological Pathology consensus conference in Boston made recommendations regarding the standardization of pathology reporting of radical prostatectomy specimens. Issues relating to the substaging of pT2 prostate cancers according to the TNM 2002/2010 system, reporting of tumor size/volume and zonal location of prostate cancers were coordinated by working group 2. A survey circulated before the consensus conference demonstrated that 74% of the 157 participants considered pT2 substaging of prostate cancer to be of clinical and/or academic relevance. The survey also revealed a considerable variation in the frequency of reporting of pT2b substage prostate cancer, which was likely a consequence of the variable methodologies used to distinguish pT2a from pT2b tumors. Overview of the literature indicates that current pT2 substaging criteria lack clinical relevance and the majority (65.5%) of conference attendees wished to discontinue pT2 substaging. Therefore, the consensus was that reporting of pT2 substages should, at present, be optional. Several studies have shown that prostate cancer volume is significantly correlated with other clinicopathological features, including Gleason score and extraprostatic extension of tumor; however, most studies fail to demonstrate this to have prognostic significance on multivariate analysis. Consensus was reached with regard to the reporting of some quantitative measure of the volume of tumor in a prostatectomy specimen, without prescribing a specific methodology. Incorporation of the zonal and/or anterior location of the dominant/index tumor in the pathology report was accepted by most participants, but a formal definition of the identifying features of the dominant/index tumor remained undecided.

Language acquisition during a stay abroad period following formal instruction: temporal effects on oral fluency development

This study investigates the development of fluency in 30 advanced L2 learners of English over a period of 15 months. In order to measure fluency, several temporal variables and hesitation phenomena are analyzed and compared. Oral competence is assessed by means of an oral interview carried out by the learners. Data collection takes place at three different times: before (T1) and after (T2) a six-month period of FI (80 hours) in the home university, and after a three-month SA term (T3). The data is analyzed quantitatively. Developmental gains in fluency are measured for the whole period, adopting a view of complementarity between the two learning contexts. From these results, a group of high fluency speakers is identified. Correlations between fluency gains and individual and contextual variables are executed and a more qualitative analysis is performed for high fluency speakers' performance and behavior. Results show an overall development of students' oral fluency during a period of 15 months favored by the combination of a period of FI at home followed by a 3-months SA.

Capturing diagnosis-timing in ICD-coded hospital data: recommendations from the WHO ICD-11 topic advisory group on quality and safety.

PURPOSE: To develop a consensus opinion regarding capturing diagnosis-timing in coded hospital data. METHODS: As part of the World Health Organization International Classification of Diseases-11th Revision initiative, the Quality and Safety Topic Advisory Group is charged with enhancing the capture of quality and patient safety information in morbidity data sets. One such feature is a diagnosis-timing flag. The Group has undertaken a narrative literature review, scanned national experiences focusing on countries currently using timing flags, and held a series of meetings to derive formal recommendations regarding diagnosis-timing reporting. RESULTS: The completeness of diagnosis-timing reporting continues to improve with experience and use; studies indicate that it enhances risk-adjustment and may have a substantial impact on hospital performance estimates, especially for conditions/procedures that involve acutely ill patients. However, studies suggest that its reliability varies, is better for surgical than medical patients (kappa in hip fracture patients of 0.7-1.0 versus kappa in pneumonia of 0.2-0.6) and is dependent on coder training and setting. It may allow simpler and more precise specification of quality indicators. CONCLUSIONS: As the evidence indicates that a diagnosis-timing flag improves the ability of routinely collected, coded hospital data to support outcomes research and the development of quality and safety indicators, the Group recommends that a classification of 'arising after admission' (yes/no), with permitted designations of 'unknown or clinically undetermined', will facilitate coding while providing flexibility when there is uncertainty. Clear coding standards and guidelines with ongoing coder education will be necessary to ensure reliability of the diagnosis-timing flag.