Brazilian matters

Aspectos do folclore brasileiro reafirma o interesse fecundo de Mário de Andrade (1893-1945) pelas manifestações do povo. No livro inédito, conteúdo e expressão se afinam para reconhecer o folclore como um “processo de conhecimento” e postular uma ética do trabalho intelectual.Aspects of Brazilian folklore reaffirms the fruitful interest of Mário de Andrade (1893-1945) in popular manifestations. Content and expression come together in this unpublished book to regard folklore as a “process of knowledge” and postulate an ethics for the intellectual work

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip

International audienceSystemC is becoming a de-facto standard for the early simulation of Systems-on-a-chip (SoCs). It is a parallel language with a scheduler. Testing a SoC written in SystemC implies that we execute it, for some well chosen data. We are bound to use a particular deterministic implementation of the scheduler, whose specification is non-deterministic. Consequently, we may fail to discover bugs that would have appeared using another valid implementation of the scheduler. Current methods for testings SoCs concentrate on the generation of the inputs, and do not address this problem at all. We assume that the selection of relevant data is already done, and we generate several schedulings allowed by the scheduler specification. We use dynamic partial-order reduction techniques to avoid the generation of two schedulings that have the same effect on the system's behavior. Exploring alternative schedulings during testing is a way of guaranteeing that the SoC description, and in particular the embedded software, is scheduler-independent, hence more robust. The technique extends to the exploration of other non-fully specified aspects of SoC descriptions, like timing

Aspectos da marginália de Mário de Andrade na poesia do romantismo brasileiro

A marginália de Mário de Andrade nos títulos de poesia do romantismo brasileiro traça a encruzilhada de projetos: o Dicionário musical, Zoofonia, Na pancada do ganzá, Gramatiquinha da fala brasileira, O sequestro da dona ausente. O propósito aqui é articular a notícia que a marginália traz daqueles projetos à concepção psicológica de poesia que autoriza o autor de Macunaíma a assumir o lirismo romântico como expressão autêntica, mesmo que problemática, da matéria brasileira.Mário de Andrade’s marginalia on Brazilian Romantic poetry represent some of his key projects: Dicionário musical, Zoofonia, Na pancada do ganzá, Gramatiquinha da fala brasileira, O sequestro da dona ausente. The purpose here is to articulate his marginal notes, informative as they are about such projects, with his psychological conception of poetry, which allows him to embrace Romantic lyricism as an authentic expression, even if problematic, of the Brazilian matter

Viagem à América

COSTA, Hipólito José da. Diário da minha viagem para Filadélfia. Edição crítica: Tânia Dias. Rio de Janeiro: Fundação Casa de Rui Barbosa; Belo Horizonte: Editora UFMG, 2016.COSTA, Hipólito José da. Diário da minha viagem para Filadélfia. Edição crítica: Tânia Dias. Rio de Janeiro: Fundação Casa de Rui Barbosa; Belo Horizonte: Editora UFMG, 2016.COSTA, Hipólito José da. Diário da minha viagem para Filadélfia. Edição crítica: Tânia Dias. Rio de Janeiro: Fundação Casa de Rui Barbosa; Belo Horizonte: Editora UFMG, 2016

Crítica genética e criação compartilhada

Resenha do número 41 da revista Genesis – “Créer à plusieurs mains”, organizada por Daniel Ferrer e Nicolas Doni

AreaCast: une communication par zone dans les réseaux de capteurs sans fil

International audienceAreaCast est un mécanisme d'adressage logique dans un voisinage visant à améliorer la robustesse à tout type de protocole unicast. AreaCast se base sur la notion de relai implicite tandis que le relayage unicast se base sur le choix explicite du relais. Tout en étant indépendant du protocole de routage choisi, AreaCast utilise des informations topologiques et de routage pour permettre une communication par zone : un nœud relai explicite choisi comme prochain saut par la couche routage et k nœuds relais implicites qui s'auto-sélectionnent en fonction de leur proximité au nœud relai explicite. Ce mécanisme utilise la "sur-écoute" pour exploiter la communication de type "broadcast" inhérente aux transmissions sans fil. Sans changer le protocole de routage ni échange de paquets supplémentaires, AreaCast permet de contourner dynamiquement un nœud défectueux ou un lien instable. Les résultats de simulation, modélisant finement la consommation énergétique, montrent qu'AreaCast améliore significativement le taux de livraison tout en étant un bon compromis entre efficacité et consommation énergétique

Automatic State Reaching for Debugging Reactive Programs

In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027AADEBUG 2003 Ghent - September 8 - 10th, 2003Reactive systems are made of programs that permanently interact with their environment. Debuggers generally provide support for data and state inspection, given a sequence of inputs. But, because the reactive programs and their environments are interdependent, a very useful feature is to be able to go the other way around; namely, given a state, obtain a sequence of inputs that leads to that state. This problem is equivalent to the general verification of safety properties, which is notoriously undecidable in presence of numeric variables. However, a lot of progress has been done in recent years through the development of model checking and abstract-interpretation-based techniques.In this article, we take advantage of those recent advances to implement a fully automatic state reaching capability inside a debugger of reactive programs. To achieve that, we connect a debugger, a verification tool, and a testing tool. One of the key contributions of our proposal is the proper handling of numeric variables

Obesity-associated gut microbiota is enriched in Lactobacillus reuteri and depleted in Bifidobacterium animalis and Methanobrevibacter smithii

Background: Obesity is associated with increased health risk and has been associated with alterations in bacterial gut microbiota, with mainly a reduction in Bacteroidetes, but few data exist at the genus and species level. It has been reported that the Lactobacillus and Bifidobacterium genus representatives may have a critical role in weight regulation as an anti-obesity effect in experimental models and humans, or as a growth-promoter effect in agriculture depending on the strains. Objectives and methods: To confirm reported gut alterations and test whether Lactobacillus or Bifidobacterium species found in the human gut are associated with obesity or lean status, we analyzed the stools of 68 obese and 47 controls targeting Firmicutes, Bacteroidetes, Methanobrevibacter smithii, Lactococcus lactis, Bifidobacterium animalis and seven species of Lactobacillus by quantitative PCR (qPCR) and culture on a Lactobacillus-selective medium. Findings: In qPCR, B. animalis (odds ratio (OR) 0.63; 95% confidence interval (CI) 0.39-1.01; P = 0.056) and M. smithii (OR = 0.76; 95% CI 0.59-0.97; P = 0.03) were associated with normal weight whereas Lactobacillus reuteri (OR = 1.79; 95% CI 1.03-3.10; P = 0.04) was associated with obesity. Conclusion: The gut microbiota associated with human obesity is depleted in M. smithii. Some Bifidobacterium or Lactobacillus species were associated with normal weight (B. animalis) while others (L. reuteri) were associated with obesity. Therefore, gut microbiota composition at the species level is related to body weight and obesity, which might be of relevance for further studies and the management of obesity. These results must be considered cautiously because it is the first study to date that links specific species of Lactobacillus with obesity in humans. International Journal of Obesity (2012) 36, 817-825; doi:10.1038/ijo.2011.153; published online 9 August 201

Growth hormone level at admission and its evolution during refeeding are predictive of short-term outcome in restrictive anorexia nervosa

International audienceThe growth hormone (GH)– insulin-like growth factor-1 (IGF-1) axis is dramatically altered in patients with anorexia nervosa (AN). The aim of the present study was to investigate whether GH and IGF-1 could be predictors of outcome in patients with a restrictive form of AN. Blood levels of GH, IGF-1, adipocytokines, ghrelin, insulin, glucose, and sex and thyroid hormones were measured in eleven women inpa-tients with AN and in ten healthy women controls. Three stages were compared during refeeding: admission (T0), when BMI reached 16 kg/m 2 (T1) and at discharge when BMI reached 17·5 kg/m 2 (T2). Clinical status was assessed 6 months after discharge from hospital (T3), and remission was defined by the maintenance of a BMI $ 17·5 kg/