Formalising progress properties of non-blocking programs

A non-blocking program is one that uses non-blocking primitives, such as load-linked/store-conditional and compare-and-swap, for synchronisation instead of locks so that no process is ever blocked. According to their progress properties, non-blocking programs may be classified as wait-free, lock-free or obstruction-free. However, a precise description of these properties does not exist and it is not unusual to find a definition that is ambiguous or even incorrect. We present a formal definition of the progress properties so that any confusion is removed. The formalisation also allows one to prove the widely believed presumption that wait-freedom is a special case of lock-freedom, which in turn is a special case of obstruction-freedom.

Spatial scaling in human peripheral vision

The observation that performance in many visual tasks can be made independent of eccentricity by increasing the size of peripheral stimuli according to the cortical magnification factor has dominated studies of peripheral vision for many years. However, it has become evident that the cortical magnification factor cannot be successfully applied to all tasks. To find out why, several tasks were studied using spatial scaling, a method which requires no pre-determined scaling factors (such as those predicted from cortical magnification) to magnify the stimulus at any eccentricity. Instead, thresholds are measured at the fovea and in the periphery using a series of stimuli, all of which are simply magnified versions of one another. Analysis of the data obtained in this way reveals the value of the parameter E2, the eccentricity at which foveal stimulus size must double in order to maintain performance equivalent to that at the fovea. The tasks investigated include hyperacuities (vernier acuity, bisection acuity, spatial interval discrimination, referenced displacement detection, and orientation discrimination), unreferenced instantaneous and gradual movement, flicker sensitivity, and face discrimination. In all cases tasks obeyed the principle of spatial scaling since performance in the periphery could be equated to that at the fovea by appropriate magnification. However, E2 values found for different spatial tasks varied over a 200-fold range. In spatial tasks (e.g. bisection acuity and spatial interval discrimination) E2 values were low, reaching about 0.075 deg, whereas in movement tasks the values could be as high as 16 deg. Using a method of spatial scaling it has been possible to equate foveal and peripheral perfonnance in many diverse visual tasks. The rate at which peripheral stimulus size had to be increased as a function of eccentricity was dependent upon the stimulus conditions and the task itself. Possible reasons for these findings are discussed.

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

An Investigation of Narration Rates for the Reading While Listening Strategy

This study investigated the effects of Reading While Listening narration rates on elementary students' comprehension. Slow, normal and sentence interval narration rates were used. Results showed higher comprehension scores with the slow narration rate for students with low reading levels, and normal rate for high and medium level readers

Evaluating the Effectiveness of Discrete Trial Procedures for Teaching Receptive Discrimination to Children with Autism Spectrum Disorders

Research has found that children with autism spectrum disorders (ASD) show significant deficits in receptive language skills (Wiesmer, Lord, & Esler, 2010). One of the primary goals of applied behavior analytic intervention is to improve the communication skills of children with autism by teaching receptive discriminations. Both receptive discriminations and receptive language entail matching spoken words with corresponding objects, symbols (e.g., pictures or words), actions, people, and so on (Green, 2001). In order to develop receptive language skills, children with autism often undergo discrimination training within the context of discrete trial training. This training entails teaching the learner how to respond differentially to different stimuli (Green, 2001). It is through discrimination training that individuals with autism learn and develop language (Lovaas, 2003). The present study compares three procedures for teaching receptive discriminations: (1) simple/conditional (Procedure A), (2) conditional only (Procedure B), and (3) conditional discrimination of two target cards (Procedure C). Six children, ranging in age from 2-years-old to 5-years-old, with an autism diagnosis were taught how to receptively discriminate nine sets of stimuli. Results suggest that the extra training steps included in the simple/conditional and conditional only procedures may not be necessary to teach children with autism how to receptively discriminate. For all participants, Procedure C appeared to be the most efficient and effective procedure for teaching young children with autism receptive discriminations. Response maintenance and generalization probes conducted one-month following the end of training indicate that even though Procedure C resulted in less training sessions overall, no one procedure resulted in better maintenance and generalization than the others. In other words, more training sessions, as evident with the simple/conditional and conditional only procedures, did not facilitate participants’ ability to accurately respond or generalize one-month following training. The present study contributes to the literature on what is the most efficient and effective way to teach receptive discrimination during discrete trial training to children with ASD. These findings are critical as research shows that receptive language skills are predictive of better outcomes and adaptive behaviors in the future.

Sobre o problema da mentira na filosofia prática de Kant

The research examines the problem lie in the thought of Immanuel Kant. This field of law, of the history of political morality, we seek to investigate the Kantian rejection of falsehood and unconditional obligation to be truthful. Defends the thesis of the exception to lie and not be objectionable in two cases, namely: the torture and before the murderer. Thus, it is demonstrated that it is possible the exception to lie under the law, politics and history, considering the perspective of harmony of external freedoms and the idea of moral progress. In this sense, it is argued that the source of law is established to guarantee the external freedoms. From the point of view of morality, reaffirmed the absoluteness is that for Kant the duty of veracity, but it points to the possibility of a practical rule that allows the lie based on human dignity, weighting values as political equality, respect for rational agents, as well as the principle of humanity which teaches always treat the other as an end in itself.

Avaliação do acesso aos serviços de reabilitação física para vítimas de acidentes de trânsito: caminhos para melhoria da qualidade do sistema de saúde

The Physical Rehabilitation services (PR) are of fundamental importance in combating the global epidemic of Traffic Accidents (TA). Considering the numerous physical and social consequences of the survivors, quality problems in access to PR are a hazard to recovery of victims. It is necessary to improve the management of quality of services, assessing priority dimensions and intervening in their causes, to ensure rehabilitation available in time and suitable conditions. This study aimed to identify barriers to access to rehabilitation considering the perception of TA victims and professionals. The aim is also to estimate the access to rehabilitation and their associated factors. This is a qualitative and quantitative study of exploratory nature developed in Natal / RN with semi-structured interviews with 19 health professionals and telephone survey to 155 victims of traffic accidents. To explore barriers to access the speeches were transcribed and analyzed using the Alceste software (version 4.9). During the interviews used the following guiding question: “What barriers hinder or prevent access to physical rehabilitation for victims of traffic accidents?”. The names of classes and axes resulting from Alceste was performed by ad hoc query to three external researchers with subsequent consensus of the most representative name of analysis. We conducted multivariate analysis of the influence of the variables of the accident, sociodemographic, clinical and assistance on access to rehabilitation. Associations with p <0.20 in the bivariate analysis were submitted to logistic regression, step by step, with p <0.05 and confidence interval (CI) of 95%. The main barriers identified were: “Bureaucratic regulation”, “Long time to start rehabilitation”, “No post-surgery referral” and “inefficiency of public services”. These barriers were divided into a theoretical model built from the cause-effect diagram, in which we observed that insufficient access to rehabilitation is the product of causes related to organizational structure, work processes, professional and patients. Was constructed two logistic regression models: “General access to rehabilitation” and “Access to rehabilitation to public service”. 51.6% of patients had access to rehabilitation, and 32.9% in public and 17.9% in the private sector. The regression model “General access to rehabilitation” included the variables Income (OR:3.7), Informal Employment (OR:0.11), Unemployment (OR:0.15), Perceived Need for PR (OR:10) and Referral (OR: 27.5). The model “Access to rehabilitation in the public service” was represented by the “Referral to Public Service” (OR: 23.0) and “Private Health Plan” (OR: 0.07). Despite the known influence of social determinants on access to health services, a situation difficult to control by the public administration, this study found that the organizational and bureaucratic procedures established in health care greatly determine access to rehabilitation. Access difficulties show the seriousness of the problem and the factors suggest the need for improvements in comprehensive care for TA survivors and avoid unnecessary prolongation of the suffering of the victims of this epidemic.

Sub-wavelength resonators as seismic Rayleigh waves shield

We explore the thesis that tall structures can be protected by means of seismic metamaterials. Seismic metamaterials can be built as some elements are created over soil layer with different shapes, dimensions, patterns and from different materials. Resonances in these elements are acting as locally resonant metamaterials for Rayleigh surface waves in the geophysics context. Analytically we proved that if we put infinite chain of SDOF resonator over the soil layer as an elastic, homogeneous and isotropic material, vertical component of Rayleigh wave, longitudinal resonance of oscillators will couple with each other, they would create a Rayleigh bandgap frequency, and wave will experience attenuation before it reaches the structure. As it is impossible to use infinite chain of resonators over soil layer, we considered finite number of resonators throughout our simulations. Analytical work is interpreted using finite element simulations that demonstrates the observed attenuation is due to bandgaps when oscillators are arranged at sub-wavelength scale with respect to the incident Rayleigh wave. For wavelength less than 5 meters, the resulting bandgaps are remarkably large and strongly attenuating when impedance of oscillators matches impedance of soil. Since longitudinal resonance of SDOF resonator are proportional to its length inversely, a formed array of resonators that attenuates Rayleigh waves at frequency ≤10 Hz could be designed starting from vertical pillars coupled to the ground. Optimum number of vertical pillars and their interval spacing called effective area of resonators are investigated. For 10 pillars with effective area of 1 meter and resonance frequency of 4.9 Hz, bandgap frequency causes attenuation and a sinusoidal impulsive force illustrate wave steering down phenomena. Simulation results proved analytical findings of this work.

(Appendix A) Abundance of calcareous dinoflagellates of sediment core GeoB2204-2

The environmental preferences of calcareous dinoflagellates have been investigated over the last 140 ka by comparing material from two sediment cores: one from the highly productive equatorial divergence of the eastern Atlantic Ocean and the other from the low productivity western tropical Atlantic Ocean. Pronounced differences in palaeoproductivity between the two sediment cores are indicated by high and variable organic carbon accumulation rates in the east, in contrast to relatively constant and low values in the west. Calcareous dinoflagellates show just the opposite pattern: high accumulation rates in the west and lower in the east. At the equatorial divergence, temporal variations of calcareous dinoflagellate and organic carbon accumulation rates show, for the most part, an inverse relationship. High calcareous dinoflagellate content coincides with low organic carbon accumulation rates and vice versa. In the investigated region and time interval, enhanced production of calcareous dinoflagellates can be correlated to periods of reduced palaeoproductivity probably related to relatively stratified conditions of the upper water column.

Analysis of testosterone pulsatility in women with ovulatory menstrual cycles

Objetivo: Avaliar o padrão pulsátil da secreção da testosterona em mulheres normais. Métodos: Oito mulheres saudáveis com ciclos ovulatórios foram selecionadas. Amostras sanguíneas foram coletadas a cada dez minutos durante seis horas, começando entre 7 e 8 h da manhã, após dez horas de jejum, nas três fases do ciclo menstrual: folicular média (Dia 7), folicular tardia (Dia 12) e lútea (Dia 21). Foram mensurados: testosterona, LH e, no basal, também SHBG. Resultados: A frequência dos pulsos de testosterona, média da amplitude do pulso, porcentagem do incremento da amplitude, duração e intervalos dos pulsos foram similares nas três fases (p > 0,05). A pulsatilidade do LH foi estatisticamente diferente entre as três fases (p < 0,001), caracterizando padrão característico do ciclo ovulatório normal. Conclusões: Esses dados aumentam o conhecimento sobre o padrão de secreção da testosterona no ciclo menstrual humano e representam uma contribuição para a investigação clínica, tanto no hiperandrogenismo como na síndrome de insuficiência androgênica __________________________________________________ ABSTRACT Objective: To evaluate the pattern of the pulsatile secretion of testosterone in normal menstrual cycle. Methods: Eight healthy women with ovulatory menstrual cycles were enrolled. Blood samples were collected at ten-minute intervals for six hours, starting between 7 and 8 am, after a ten-hour fasting, in three phases: mid-follicular (Day 7), late follicular (Day 12) and mid-luteal phase (Day 21). Samples were assayed for testosterone, LH and the baseline also for SHBG. Results: Testosterone pulse frequency, mean amplitude pulse, percentage of increment in pulse amplitude, mean duration of pulses and pulse interval were similar in the three phases. LH pulsatility was statistically different among the three phases (p < 0.001) representing normal ovulatory cycles. Conclusions: These data increase the knowledge about the testosterone secretion profile in the human menstrual cycle and can be used as a contribution to clinical investigation in both hyperandrogenism and androgen insufficiency syndrome

Pratiques parentales coercitives, anxiété et traitement de la peur chez les jeunes en bonne santé: corrélats neuronaux, biologiques, physiologiques et comportementaux

L’adversité tôt dans la vie est associée au développement de symptômes anxieux pouvant perdurer jusqu’à l’âge adulte (Casey et el, 2010, Pine 2003). Des études chez l’adulte suggèrent que ces liens pourraient être associés à des altérations du « circuit de la peur » qui inclut l’amygdale, l’hippocampe antérieur, l’insula et le cortex préfrontal (Marek, 2013, Etkin & Wager, 2007). Ceci a cependant peu été étudié chez les jeunes. L’objectif principal de cette thèse était de définir les corrélats comportementaux, physiologiques, biologiques et neuronaux du traitement de la peur chez les jeunes en bonne santé, en lien ou non avec un historique d’adversité -- sous la forme de pratiques parentales coercitives -- et d’anxiété. D’abord, puisque nous nous intéressions aux pratiques parentales coercitives chroniques, nous avons examiné leur évolution et facteurs de risque, en nous concentrant sur la période de 17 à 72 mois. Un total de 2045 dyades mère-enfant ont été incluses dans une analyse de courbe de croissance latente. Nous avons démontré que la coercition maternelle suit une évolution non linéaire durant cette période et atteint un sommet à 42 mois. Les facteurs de risque relatifs à l’enfant et à la mère, mesurés à 17 mois, permettent de prédire les niveaux de coercition à 42 mois. Finalement, les prédicteurs relatifs à l’enfant et l’efficacité maternelle prédisent l’évolution des pratiques parentales coercitives entre 17 et 72 mois. Ensuite, afin de définir une méthodologie solide pour étudier le traitement de la peur chez des jeunes, nous avons adapté une tâche développée par Lau et ses collaborateurs (2008), employant des visages féminins comme stimuli. Le sexe des participants et des visages employés comme stimuli pouvant potentiellement moduler le traitement de la peur (Kret & de Gelder, 2012; McClure, 2000), nous avons étudié leurs influences respectives sur les réponses électrodermales et subjectives de peur durant le conditionnement et l’extinction de la peur chez 117 jeunes. Nous avons démontré que les stimuli féminins suscitent des réponses davantage comparables entre les garçons et les filles que les stimuli masculins. De plus, nous avons observé un effet du « même sexe », caractérisé par un conditionnement différentiel uniquement face aux stimuli du même sexe que le participant. Finalement, nous avons exploré les différences individuelles et conjointes associées aux différents niveaux de pratiques parentales coercitives et d’anxiété en termes de réponses de peur et d’activité cérébrale, durant le conditionnement et l’extinction de la peur chez 84 jeunes. Nous avons démontré que la coercition est spécifiquement associée au fonctionnement du lobe temporal médian et aux interactions entre l’amygdale et l’insula, durant le conditionnement. Durant l’extinction, les niveaux d’anxiété étaient associés à des différences spécifiques d’activation du gyrus cingulaire antérieur (GCA) dorsal. Enfin, les pratiques parentales coercitives et l’anxiété interagissent et viennent moduler la connectivité fonctionnelle amygdale - GCA rostral, l’activation d’une sous-région du GCA dorsal et les réponses subjectives de peur. Ces résultats ajoutent une pièce au casse-tête des neurosciences développementales et fournissent des pistes intéressantes pour le développement d’interventions futures.

Analysis of testosterone pulsatility in women with ovulatory menstrual cycles

Objetivo: Avaliar o padrão pulsátil da secreção da testosterona em mulheres normais. Métodos: Oito mulheres saudáveis com ciclos ovulatórios foram selecionadas. Amostras sanguíneas foram coletadas a cada dez minutos durante seis horas, começando entre 7 e 8 h da manhã, após dez horas de jejum, nas três fases do ciclo menstrual: folicular média (Dia 7), folicular tardia (Dia 12) e lútea (Dia 21). Foram mensurados: testosterona, LH e, no basal, também SHBG. Resultados: A frequência dos pulsos de testosterona, média da amplitude do pulso, porcentagem do incremento da amplitude, duração e intervalos dos pulsos foram similares nas três fases (p > 0,05). A pulsatilidade do LH foi estatisticamente diferente entre as três fases (p < 0,001), caracterizando padrão característico do ciclo ovulatório normal. Conclusões: Esses dados aumentam o conhecimento sobre o padrão de secreção da testosterona no ciclo menstrual humano e representam uma contribuição para a investigação clínica, tanto no hiperandrogenismo como na síndrome de insuficiência androgênica __________________________________________________ ABSTRACT Objective: To evaluate the pattern of the pulsatile secretion of testosterone in normal menstrual cycle. Methods: Eight healthy women with ovulatory menstrual cycles were enrolled. Blood samples were collected at ten-minute intervals for six hours, starting between 7 and 8 am, after a ten-hour fasting, in three phases: mid-follicular (Day 7), late follicular (Day 12) and mid-luteal phase (Day 21). Samples were assayed for testosterone, LH and the baseline also for SHBG. Results: Testosterone pulse frequency, mean amplitude pulse, percentage of increment in pulse amplitude, mean duration of pulses and pulse interval were similar in the three phases. LH pulsatility was statistically different among the three phases (p < 0.001) representing normal ovulatory cycles. Conclusions: These data increase the knowledge about the testosterone secretion profile in the human menstrual cycle and can be used as a contribution to clinical investigation in both hyperandrogenism and androgen insufficiency syndrome

Pratiques parentales coercitives, anxiété et traitement de la peur chez les jeunes en bonne santé: corrélats neuronaux, biologiques, physiologiques et comportementaux

L’adversité tôt dans la vie est associée au développement de symptômes anxieux pouvant perdurer jusqu’à l’âge adulte (Casey et el, 2010, Pine 2003). Des études chez l’adulte suggèrent que ces liens pourraient être associés à des altérations du « circuit de la peur » qui inclut l’amygdale, l’hippocampe antérieur, l’insula et le cortex préfrontal (Marek, 2013, Etkin & Wager, 2007). Ceci a cependant peu été étudié chez les jeunes. L’objectif principal de cette thèse était de définir les corrélats comportementaux, physiologiques, biologiques et neuronaux du traitement de la peur chez les jeunes en bonne santé, en lien ou non avec un historique d’adversité -- sous la forme de pratiques parentales coercitives -- et d’anxiété. D’abord, puisque nous nous intéressions aux pratiques parentales coercitives chroniques, nous avons examiné leur évolution et facteurs de risque, en nous concentrant sur la période de 17 à 72 mois. Un total de 2045 dyades mère-enfant ont été incluses dans une analyse de courbe de croissance latente. Nous avons démontré que la coercition maternelle suit une évolution non linéaire durant cette période et atteint un sommet à 42 mois. Les facteurs de risque relatifs à l’enfant et à la mère, mesurés à 17 mois, permettent de prédire les niveaux de coercition à 42 mois. Finalement, les prédicteurs relatifs à l’enfant et l’efficacité maternelle prédisent l’évolution des pratiques parentales coercitives entre 17 et 72 mois. Ensuite, afin de définir une méthodologie solide pour étudier le traitement de la peur chez des jeunes, nous avons adapté une tâche développée par Lau et ses collaborateurs (2008), employant des visages féminins comme stimuli. Le sexe des participants et des visages employés comme stimuli pouvant potentiellement moduler le traitement de la peur (Kret & de Gelder, 2012; McClure, 2000), nous avons étudié leurs influences respectives sur les réponses électrodermales et subjectives de peur durant le conditionnement et l’extinction de la peur chez 117 jeunes. Nous avons démontré que les stimuli féminins suscitent des réponses davantage comparables entre les garçons et les filles que les stimuli masculins. De plus, nous avons observé un effet du « même sexe », caractérisé par un conditionnement différentiel uniquement face aux stimuli du même sexe que le participant. Finalement, nous avons exploré les différences individuelles et conjointes associées aux différents niveaux de pratiques parentales coercitives et d’anxiété en termes de réponses de peur et d’activité cérébrale, durant le conditionnement et l’extinction de la peur chez 84 jeunes. Nous avons démontré que la coercition est spécifiquement associée au fonctionnement du lobe temporal médian et aux interactions entre l’amygdale et l’insula, durant le conditionnement. Durant l’extinction, les niveaux d’anxiété étaient associés à des différences spécifiques d’activation du gyrus cingulaire antérieur (GCA) dorsal. Enfin, les pratiques parentales coercitives et l’anxiété interagissent et viennent moduler la connectivité fonctionnelle amygdale - GCA rostral, l’activation d’une sous-région du GCA dorsal et les réponses subjectives de peur. Ces résultats ajoutent une pièce au casse-tête des neurosciences développementales et fournissent des pistes intéressantes pour le développement d’interventions futures.

Spatial distribution of triatomines in domiciles of an urban area of the Brazilian Southeast Region

Reports of triatomine infestation in urban areas have increased. We analysed the spatial distribution of infestation by triatomines in the urban area of Diamantina, in the state of Minas Gerais, Brazil. Triatomines were obtained by community-based entomological surveillance. Spatial patterns of infestation were analysed by Ripley’s K function and Kernel density estimator. Normalised difference vegetation index (NDVI) and land cover derived from satellite imagery were compared between infested and uninfested areas. A total of 140 adults of four species were captured (100 Triatoma vitticeps, 25 Panstrongylus geniculatus, 8 Panstrongylus megistus, and 7 Triatoma arthurneivai specimens). In total, 87.9% were captured within domiciles. Infection by trypanosomes was observed in 19.6% of 107 examined insects. The spatial distributions of T. vitticeps, P. geniculatus, T. arthurneivai, and trypanosome-positive triatomines were clustered, occurring mainly in peripheral areas. NDVI values were statistically higher in areas infested by T. vitticeps and P. geniculatus. Buildings infested by these species were located closer to open fields, whereas infestations of P. megistus and T. arthurneivai were closer to bare soil. Human occupation and modification of natural areas may be involved in triatomine invasion, exposing the population to these vectors.

Utilização de murganhos no estudo de novos alvos da terapia oncológica anti-angiogénica

Tese de Doutoramento em Ciências Veterinárias na Especialidade de Ciências Biológicas e Biomédicas