Efficient Runtime Detection and Toleration of Asymmetric Races

We introduce ToleRace, a runtime system that allows programs to detect and even tolerate asymmetric data races. Asymmetric races are race conditions where one thread correctly acquires and releases a lock for a shared variable while another thread improperly accesses the same variable. ToleRace provides approximate isolation in the critical sections of lock-based parallel programs by creating a local copy of each shared variable when entering a critical section, operating on the local copies, and propagating the appropriate copies upon leaving the critical section. We start by characterizing all possible interleavings that can cause races and precisely describe the effect of ToleRace in each case. Then, we study the theoretical aspects of an oracle that knows exactly what type of interleaving has occurred. Finally, we present software implementations of ToleRace and evaluate them on multithreaded applications from the SPLASH2 and PARSEC suites.

Promiscuous restriction is a cellular defense strategy that confers fitness advantage to bacteria

Most bacterial genomes harbor restriction-modification systems, encoding a REase and its cognate MTase. On attack by a foreign DNA, the REase recognizes it as nonself and subjects it to restriction. Should REases be highly specific for targeting the invading foreign DNA? It is often considered to be the case. However, when bacteria harboring a promiscuous or high-fidelity variant of the REase were challenged with bacteriophages, fitness was maximal under conditions of catalytic promiscuity. We also delineate possible mechanisms by which the REase recognizes the chromosome as self at the noncanonical sites, thereby preventing lethal dsDNA breaks. This study provides a fundamental understanding of how bacteria exploit an existing defense system to gain fitness advantage during a host-parasite coevolutionary ``arms race.''

Features in visual search combine linearly

Single features such as line orientation and length are known to guide visual search, but relatively little is known about how multiple features combine in search. To address this question, we investigated how search for targets differing in multiple features ( intensity, length, orientation) from the distracters is related to searches for targets differing in each of the individual features. We tested race models (based on reaction times) and coactivation models ( based on reciprocal of reaction times) for their ability to predict multiple feature searches. Multiple feature searches were best accounted for by a co-activation model in which feature information combined linearly (r = 0.95). This result agrees with the classic finding that these features are separable i.e., subjective dissimilarity ratings sum linearly. We then replicated the classical finding that the length and width of a rectangle are integral features-in other words, they combine nonlinearly in visual search. However, to our surprise, upon including aspect ratio as an additional feature, length and width combined linearly and this model outperformed all other models. Thus, length and width of a rectangle became separable when considered together with aspect ratio. This finding predicts that searches involving shapes with identical aspect ratio should be more difficult than searches where shapes differ in aspect ratio. We confirmed this prediction on a variety of shapes. We conclude that features in visual search co-activate linearly and demonstrate for the first time that aspect ratio is a novel feature that guides visual search.

Synthesizing Racy Tests

Subtle concurrency errors in multithreaded libraries that arise because of incorrect or inadequate synchronization are often difficult to pinpoint precisely using only static techniques. On the other hand, the effectiveness of dynamic race detectors is critically dependent on multithreaded test suites whose execution can be used to identify and trigger races. Usually, such multithreaded tests need to invoke a specific combination of methods with objects involved in the invocations being shared appropriately to expose a race. Without a priori knowledge of the race, construction of such tests can be challenging. In this paper, we present a lightweight and scalable technique for synthesizing precisely these kinds of tests. Given a multithreaded library and a sequential test suite, we describe a fully automated analysis that examines sequential execution traces, and produces as its output a concurrent client program that drives shared objects via library method calls to states conducive for triggering a race. Experimental results on a variety of well-tested Java libraries yield 101 synthesized multithreaded tests in less than four minutes. Analyzing the execution of these tests using an off-the-shelf race detector reveals 187 harmful races, including several previously unreported ones.

Eye-hand coordination during a double-step task: evidence for a common stochastic accumulator

Many studies of reaching and pointing have shown significant spatial and temporal correlations between eye and hand movements. Nevertheless, it remains unclear whether these correlations are incidental, arising from common inputs (independent model); whether these correlations represent an interaction between otherwise independent eye and hand systems (interactive model); or whether these correlations arise from a single dedicated eye-hand system (common command model). Subjects were instructed to redirect gaze and pointing movements in a double-step task in an attempt to decouple eye-hand movements and causally distinguish between the three architectures. We used a drift-diffusion framework in the context of a race model, which has been previously used to explain redirect behavior for eye and hand movements separately, to predict the pattern of eye-hand decoupling. We found that the common command architecture could best explain the observed frequency of different eye and hand response patterns to the target step. A common stochastic accumulator for eye-hand coordination also predicts comparable variances, despite significant difference in the means of the eye and hand reaction time (RT) distributions, which we tested. Consistent with this prediction, we observed that the variances of the eye and hand RTs were similar, despite much larger hand RTs (similar to 90 ms). Moreover, changes in mean eye RTs, which also increased eye RT variance, produced a similar increase in mean and variance of the associated hand RT. Taken together, these data suggest that a dedicated circuit underlies coordinated eye-hand planning.

Humildad, respeto y servicio ante la dignidad personal del embrión humano

Resumen: Ciertamente, ningún dato biológico es por sí mismo suficiente para describir el milagro de la vida. Sin embargo, cuando la ciencia es entendida como un servicio a la humanidad, los científicos son capaces de brindarnos los conocimientos necesarios y suficientes para percibir una presencia personal desde el primer instante de la vida de cada embrión humano.

La relación competitiva entre Fernando I de Aragón y el Conde de Urgel : el fracaso de la negociación y el enfrentamiento armado (1410- 1413)

Resumen: En la carrera por obtener la corona de Aragón, que ha quedado vacante, el Infante don Fernando de Castilla se enfrenta a cinco contrincantes con las mismas expectativas. Luego de un lapso de dos años de Interregno y de confrontación en todos los frentes, el parlamentario, el militar, el económico y hasta el religioso, el Infante es elegido como nuevo monarca en el Compromiso de Caspe. Si durante el proceso electivo las relaciones habían sido de pura competencia, luego del mismo los conflictos continúan, en especial con uno de los candidatos, el Conde de Urgel. Este artículo tiene como objetivo describir este conflicto, como un proceso vivo que se transforma, adquiere nuevas dimensiones, involucra a otras partes, con intervenciones de terceros conciliadores e infructuosas negociaciones para dar una solución a esta disputa, que finalmente se define a través de la lucha armada.

La redefinición de la agenda socialdemócrata entre la crisis del petróleo y el fin del socialismo real (1973-1992)

Resumen: El objetivo de este artículo es mostrar las estrategias de las organizaciones socialdemócratas frente a los nuevos desafíos que surgieron con la crisis del petróleo y la aparición de los llamados “valores posmateriales”. Se profundizará en una de las principales: el aumento de la actividad política trasnacional y la creación de comisiones que trabajaron aspectos relacionados con el desarrollo, la seguridad, el armamentismo nuclear y el medio ambiente. Estas comisiones no solo constituyeron un importante cambio frente a las tradiciones precedentes, también influyeron significativamente los desarrollos posteriores en dichas materias

Phenotypic correlations of fatty acid composition among intramuscular, subcutaneous and intermuscular fat tissues in concentrate-fed beef cattle of differing genotypes

[EN]In an attempt to predict intramuscular fatty acid composition using easily accessible fat depots, between-tissue correlations were studied in 75 Asturiana de los Valles bulls with different levels of muscular hypertrophy, and 25 Asturiana de la Montan˜ a bulls. Trans-18:1 in intramuscular fat was highly and positively correlated with levels in subcutaneous and intermuscular fats, while levels of total n-3 were not correlated. Predicting intramuscular fatty acid composition using easily accessible depots is thus possible for some fatty acids exhibiting high between-tissue correlations (e.g., trans-18:1) but breed and tissue specific deposition may limit this for others (e.g., n-3 fatty acids).

El clasicismo en el País Vasco: Ramón de Basterra

[ES] Este trabajo analiza la obra del poeta y ensayista Ramón de Basterra (1888-1928), tratando de establecer las peculiaridades de su dimensión clasicista, en comparación con las líneas generales del clasicismo de la época. El clasicismo es visto como un componente fundamental de las ideologías conservadoras y del fascismo en el siglo XX. Se destacan las relaciones del autor con la intelectualidad vasca, especialmente bilbaína , y española. El conjunto de su obra, en particular La obra de Trajano (1921) y Las ubres luminosas (1923), representan una singular aportación a la historia del clasicismo, poco estudiado todavía en nuestro país. Para Basterra. La romanidad, la latinidad y la cristiandad como ejes de la misión civilizatoria de Occidente y su concepción esencialista y ahistórica de la raza y la nacionalidad españolas son elementos centrales de la obra basterriana. En la perspectiva de un análisis del fascismo que destaca el papel nuclear del culto a la romanidad, este autor podría ser definido como "protofascista".

Running Pace Decrease during a Marathon Is Positively Related to Blood Markers of Muscle Damage

Background: Completing a marathon is one of the most challenging sports activities, yet the source of running fatigue during this event is not completely understood. The aim of this investigation was to determine the cause(s) of running fatigue during a marathon in warm weather. Methodology/Principal Findings: We recruited 40 amateur runners (34 men and 6 women) for the study. Before the race, body core temperature, body mass, leg muscle power output during a countermovement jump, and blood samples were obtained. During the marathon (27 uC; 27% relative humidity) running fatigue was measured as the pace reduction from the first 5-km to the end of the race. Within 3 min after the marathon, the same pre-exercise variables were obtained. Results: Marathoners reduced their running pace from 3.5 6 0.4 m/s after 5-km to 2.9 6 0.6 m/s at the end of the race (P,0.05), although the running fatigue experienced by the marathoners was uneven. Marathoners with greater running fatigue (. 15% pace reduction) had elevated post-race myoglobin (1318 6 1411 v 623 6 391 mg L21; P,0.05), lactate dehydrogenase (687 6 151 v 583 6 117 U L21; P,0.05), and creatine kinase (564 6 469 v 363 6 158 U L21; P = 0.07) in comparison with marathoners that preserved their running pace reasonably well throughout the race. However, they did not differ in their body mass change (23.1 6 1.0 v 23.0 6 1.0%; P = 0.60) or post-race body temperature (38.7 6 0.7 v 38.9 6 0.9 uC; P = 0.35). Conclusions/Significance: Running pace decline during a marathon was positively related with muscle breakdown blood markers. To elucidate if muscle damage during a marathon is related to mechanistic or metabolic factors requires further investigation.

O Caso Simone A. Diniz: a falta de acesso à justiça para as vítimas dos crimes raciais

Em 2006, a Comissão Interamericana dos Direitos Humanos da OEA (CIDH) condenou o Estado brasileiro pela prática habitual de não assegurar às vítimas dos crimes raciais e do racismo o acesso às garantias jurídicas do Pacto de São José da Costa Rica, o que constitui uma violação dos direitos humanos internacionais. No presente trabalho, desenvolvo uma análise dessa decisão da CIDH e do fato interno que lhe deu origem: uma denúncia de prática de crime racial que foi indevidamente arquivada pela justiça brasileira. O meu objetivo é analisar a decisão da CIDH, a fim de buscar explicações e sugerir possíveis soluções para uma contradição histórica: porque o Brasil tem leis vigentes e válidas contra os crimes raciais e o racismo que não têm efetividade (?). Essa decisão da CIDH é uma importante fonte de informações sobre as nossas práticas racializadoras que geram a (1) falta de acesso à justiça e a (2) falta de justiça para as negras e os negros que são vitimados pela discriminação racial. Acredito que esse tipo de análise fomentará a produção de diagnósticos que auxiliarão na criação, execução, avaliação e monitoramento das políticas públicas focadas na promoção e na garantia da igualdade entre os direitos dos nossos cidadãos e cidadãs, independentemente da cor, raça, gênero ou origem.

The Voting Rights Act, Shelby County, and Redistricting: Improving Estimates of Racially Polarized Voting in a Multiple-Election Context

The Supreme Court’s decision in Shelby County has severely limited the power of the Voting Rights Act. I argue that Congressional attempts to pass a new coverage formula are unlikely to gain the necessary Republican support. Instead, I propose a new strategy that takes a “carrot and stick” approach. As the stick, I suggest amending Section 3 to eliminate the need to prove that discrimination was intentional. For the carrot, I envision a competitive grant program similar to the highly successful Race to the Top education grants. I argue that this plan could pass the currently divided Congress.

Without Congressional action, Section 2 is more important than ever before. A successful Section 2 suit requires evidence that voting in the jurisdiction is racially polarized. Accurately and objectively assessing the level of polarization has been and continues to be a challenge for experts. Existing ecological inference methods require estimating polarization levels in individual elections. This is a problem because the Courts want to see a history of polarization across elections.

I propose a new 2-step method to estimate racially polarized voting in a multi-election context. The procedure builds upon the Rosen, Jiang, King, and Tanner (2001) multinomial-Dirichlet model. After obtaining election-specific estimates, I suggest regressing those results on election-specific variables, namely candidate quality, incumbency, and ethnicity of the minority candidate of choice. This allows researchers to estimate the baseline level of support for candidates of choice and test whether the ethnicity of the candidates affected how voters cast their ballots.

Classificação étnico-racial e ações afirmativas no contexto do vestibular

Os conceitos de raça e etnia são basilares para a antropologia desde o seu surgimento como área do conhecimento humano e, ainda hoje, são fundamentais para diversos debates nas esferas política, social e das ciências humanas em geral. No pensamento social brasileiro muitos foram os autores de diversas áreas a se debruçarem sobre a questão racial. A instituição do sistema de cotas para o ingresso em universidades acalorou e expandiu o debate tanto no senso comum como na academia e nos meios de comunicação em geral. Essa pesquisa partiu da intenção de investigar a relação entre as ações afirmativas e as identidades de cor/raça. Como metodologia, utilizamos os recursos tanto dos instrumentos quantitativos como qualitativos. Nosso foco foram estudantes do cursinho pré-vestibular Grupo Perspectiva Integral (GPI). Buscamos acessar o ponto de vista dos vestibulandos, seus significados e associações acerca de suas identidades étnico-raciais, opiniões e sentimentos sobre a questão racial no Brasil e, em especial referente às ações afirmativas no contexto da educação e investigar a relação entre quem sou eu e qual é a minha cor/raça no universo proposto. Para tanto, foram aplicados cento e vinte e um questionários e realizadas doze entrevistas. A intenção não era estabelecer uma relação direta e causal entre as ações afirmativas e as identidades de cor/raça e, sim, traçar um perfil geral e racial da população estudada, perceber e analisar diversos elementos referentes às classificações de cor/raça e opiniões e sentimentos acerca das ações afirmativas, do racismo e das expectativas profissionais dos vestibulandos.

Crenças e conhecimento de pais e profissionais de saúde sobre desenvolvimento de crianças com síndrome de Down até dois anos de idade

Este estudo apoia-se na abordagem sociocultural, em uma perspectiva interacionista da relação biologia cultura, beneficiando-se também do olhar da psicologia evolucionista para os fenômenos humanos. Estas abordagens, a partir de uma visão do homem como biologicamente cultural fazem-se relevantes para o estudo de crenças e conhecimento sobre o desenvolvimento de crianças com síndrome de Down (SD). Esta síndrome tem prevalência de um a cada 700 nascimentos, não importando classe social, racial ou local de nascimento dos pais, ou seja, é universal. A revisão da literatura revelou uma carência de estudos psicológicos sobre o contexto de desenvolvimento dessas crianças, inclusive as crenças de seus cuidadores e de profissionais de saúde. Sendo assim, o objetivo desse trabalho foi investigar crenças e conhecimento de dois grupos (pais e profissionais de saúde) sobre o desenvolvimento de crianças com síndrome de Down até dois anos de idade no Estado do Rio de Janeiro. Participaram da pesquisa 101 pessoas sendo 60 pais com filhos de até oito anos com síndrome de Down e 41 profissionais de saúde, médicos ou residentes do Instituto Fernandes Figueira, IFF/Fiocruz. Foram utilizados os seguintes instrumentos: Questionário com duas perguntas abertas sobre crenças sobre síndrome de Down que foram respondidas livremente pelos participantes; inventário sobre concepção de desenvolvimento infantil (ICDI); inventário sobre conhecimento de desenvolvimento infantil (KIDI) modificado, adaptado para crianças com síndrome de Down. Os dados foram analisados em aspectos qualitativos e quantitativos. A aplicação dos instrumentos foi realizada individualmente, em local conveniente para o participante ou no IFF/Fiocruz e após a assinatura do termo de consentimento. Os dados dos três instrumentos foram tratados e reduzidos. As respostas ao instrumento de crenças foram organizadas em categorias e comparadas. Escores nas diferentes subescalas do ICDI foram calculados e, em cada grupo (pais e profissionais) analisaram-se as concepções sobre desenvolvimento predominantes, estabelecendo-se comparações entre eles. Escores nas diferentes partes do KIDI foram ainda calculados (porcentagem de acertos). Foram feitas comparações intra e entre grupos. Os resultados foram tratados em cada um dos aspectos: crenças sobre SD, concepções e conhecimento sobre desenvolvimento. Os resultados obtidos mostram que as crenças dos pais estão distribuídas em oito categorias com três focos distintos (na criança, nos pais ou nos dois) e a dos profissionais em nove categorias, também, com três focos distintos (na SD, no médico e na criança e família). O resultado obtido no ICDI indica que os participantes valorizam mais as concepções de aprendizagem e interacionismo do que de maturação e que não há diferença significativa entre os grupos. Para o KIDI observou-se diferença significativa entre os grupos tanto no resultado geral de percentual de acertos como nos resultados em cada subescala. Espera-se que os resultados obtidos possam contribuir para a literatura sobre psicologia do desenvolvimento e síndrome de Down.