A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Quand la manifestation tourne à l'émeute : les affrontements violents entre forces de l'ordre et manifestants en Côte d'Ivoire

Les manifestations de crise, en Côte d'Ivoire, ont été extrêmement violentes. Au cours des quinze dernières années, plus de 400 personnes sont mortes, tuées dans des affrontements avec les forces de sécurités ou des contre-manifestants. Malgré la gravité du problème, peu d’études scientifiques y sont consacrées et les rares analyses et enquêtes existantes portent, de façon unilatérale, sur l’identité et la responsabilité pénale des auteurs et commanditaires putatifs de cette violence. La présente étude s’élève contre le moralisme inhérent à ces approches pour aborder la question sous l’angle de l’interaction : cette thèse a pour objectif de comprendre les processus et logiques qui sous-tendent l’usage de la violence au cours des manifestations. Le cadre théorique utilisé dans cette étude qualitative est l’interactionnisme symbolique. Le matériel d’analyse est composé d’entrevues et de divers documents. Trente-trois (33) entrevues semi-dirigées ont été réalisées avec des policiers et des manifestants, cooptés selon la technique de la boule de neige, entre le 3 janvier et le 15 mai 2013, à Abidjan. Les rapports d’enquête, de l’ONG Human Rights Watch, sur les manifestations de crise, les manuels de formation de la police et divers autres matériaux périphériques ont également été consultés. Les données ont été analysées suivant les principes et techniques de la théorisation ancrée (Paillée, 1994). Trois principaux résultats ont été obtenus. Premièrement, le système ivoirien de maintien de l'ordre est conçu selon le modèle d’une « police du prince ». Les forces de sécurité dans leur ensemble y occupent une fonction subalterne d’exécutant. Elles sont placées sous autorité politique avec pour mandat la défense inconditionnelle des institutions. Le style standard de gestion des foules, qui en découle, est légaliste et répressif, correspondant au style d’escalade de la force (McPhail, Schweingruber, & Carthy, 1998). Cette « police du prince » dispose toutefois de marges de manœuvre sur le terrain, qui lui permettent de moduler son style en fonction de la conception qu’elle se fait de l’attitude des manifestants : paternaliste avec les foules dites calmes, elle devient répressive ou déviante avec les foules qu’elle définit comme étant hostiles. Deuxièmement, à rebours d’une conception victimaire de la foule, la violence est une transaction situationnelle dynamique entre forces de sécurité et manifestants. La violence suit un processus ascendant dont les séquences et les règles d’enchainement sont décrites. Ainsi, le premier niveau auquel s’arrête la majorité des manifestations est celui d’une force non létale bilatérale dans lequel les deux acteurs, protestataires et policiers, ont recours à des armes non incapacitantes, où les cailloux des premiers répondent au gaz lacrymogène des seconds. Le deuxième niveau correspond à la létalité unilatérale : la police ouvre le feu lorsque les manifestants se rapprochent de trop près. Le troisième et dernier niveau est atteint lorsque les manifestants utilisent à leur tour des armes à feu, la létalité est alors bilatérale. Troisièmement, enfin, le concept de « l’indignité républicaine » rend compte de la logique de la violence dans les manifestations. La violence se déclenche et s’intensifie lorsqu’une des parties, manifestants ou policiers, interprète l’acte posé par l’adversaire comme étant en rupture avec le rôle attendu du statut qu’il revendique dans la manifestation. Cet acte jugé indigne a pour conséquence de le priver de la déférence rattachée à son statut et de justifier à son encontre l’usage de la force. Ces actes d’indignités, du point de vue des policiers, sont symbolisés par la figure du manifestant hostile. Pour les manifestants, l’indignité des forces de sécurité se reconnait par des actes qui les assimilent à une milice privée. Le degré d’indignité perçu de l’acte explique le niveau d’allocation de la violence.

Unfavorable Outcomes During Treatment Of Multiple Sclerosis With High Doses Of Vitamin D.

346

Caracterização físico-química de filmes comestíveis de amido adicionado de acerola (Malphigia emarginata D.C.)

Edibles films are an alternative to synthetic materials used for packing food products. Barbados cherry is rich in vitamin C and carotenoids. The aim of this study was to characterize and develop films by casting from cassava starch, lyophilized Barbados cherry pulp and glycerol. The films were characterized with respect to thickness, water vapor permeability (WVP), water solubility, vitamin C, carotene and mechanical properties. The interaction of pulp and glycerol reduced film thickness. An increase in pulp concentration up to 60% increased WVP but beyond this concentration reduced both WVP and solubility leading to an increased level of vitamin C and β carotene in the films.

Estudo inicial da degradação in vivo de poli(L-co-D,L ácido lático), sintetizado em laboratório, aplicado como prótese tibial em coelhos

The copolymer poly (L-co-D,L lactic acid), PLDLA, has gained prominence in the field of temporary prostheses due to the fact that their time of degradation is quite compatible with the requirement in the case of osseous fracture. In this work the in vivo degradation of devices from copolymer, as a system of plates and screws, used in fixation of the tibia of rabbits was studied. The devices were implanted in 15 adult rabbits, albinos, New Zealand race, and they were used as control devices of alloys of titanium (Ti-6Al-4V/ V grade). The use of copolymers, synthesized in the laboratory, was tested in the repair of fracture in rabbits'tibias, being assessed in the following times: 2 weeks, 2 months and 3 months. Morphological analysis of tissue surrounding the plate and screw system, for 2 weeks of implantation, showed the presence of osteoblasts, indicating a pre bone formation. After 2 months there was new bone formation in the region in contact with the polymer. This bone growth occurred simultaneously with the process of PLDLA degradation, invading the region where there was polymer and after 3 months there was an intense degradation of the copolymer and hence greater tissue invasion compared to 2 months which characterized bone formation in a region where the polymer degraded. The in vivo degradation study of the devices for PLDLA by means of histological evaluations during the period of consolidation of the fracture showed the efficiency of plate and screw system, and it was possible to check formation of bone tissue at the implantation site, without the presence of inflammatory reaction

A midiação das praticas corporais : significados da musculação para frequentadores de um parque publico

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

Vitaminas D e C para poedeiras na fase inicial de produção de ovos

Um experimento foi conduzido com o objetivo de avaliar os efeitos de duas fontes de vitamina D e três níveis de vitamina C sobre as características de desempenho, a qualidade interna e externa dos ovos, os níveis de cálcio total e iônico séricos e a resistência óssea de poedeiras. Foram utilizadas 288 galinhas da linhagem ISA Babcock B300® com 23 semanas de idade, durante um período experimental de 12 semanas. Utilizou-se o delineamento inteiramente ao acaso em arranjo fatorial 2 × 3, com os fatores: fontes de vitamina D (colecalciferol e 25-hidroxicolecalciferol - 25(OH)D3) e de vitamina C (0, 100 e 200 ppm), totalizando seis tratamentos com oito repetições de seis aves. O nível basal de colecalciferol foi de 2.756 UI/kg, correspondendo a 5,51 g do produto comercial Hy.D®/t de ração, como fonte de 25(OH)D3. Os fatores estudados não influenciaram o consumo de ração, a produção, o peso e a massa de ovos. Observou-se efeito da interação de fontes de vitamina sobre a conversão alimentar, que foi melhor quando utilizado metabólito 25(OH)D3 na ausência de vitamina C. Interações foram observadas para porcentagem de albúmen e porcentagem de gema, que aumentaram na presença de 200 ppm de vitamina C. O peso específico dos ovos, as concentrações de cálcio sérico, cinzas ósseas e a resistência à quebra não foram influenciadas pelas fontes de vitamina D e C. Houve interação para porcentagem e espessura de casca, cujos maiores valores foram obtidos com a suplementação de vitamina C na presença de 25(OH)D3. Em poedeiras na fase inicial de produção, a conversão alimentar é melhor com a utilização do 25(OH)D3 e a espessura e porcentagem de casca também melhoram com a utilização de 25(OH)D3 e a suplementação de vitamina C nas dietas (100 ou 200 ppm, respectivamente).

Synthesis of novel O-acylated-D-ribono-1,5-lactones and structural assignment supported by conventional NOESY-NMR and x-ray analysis

A practical method for the structural assignment of 3,4-O-benzylidene-D-ribono-1,5-lactones and analogues using conventional NMR techniques and NOESY measurements in solution is described. 2-O-Acyl-3,4-O-benzylidene-D-ribono-1,5-lactones were prepared in good yields by acylation of Zinner’s lactone with acyl chlorides under mildly basic conditions. Structural determination of 2-O-(4-nitrobenzoyl)-3,4-O-benzylidene-D-ribono-1,5-lactone was achieved by single crystal x-ray diffraction, which supports the results based on spectroscopic data.

High resolution study of 104Pd(d,t)103Pd

Information collected in the present high resolution study of 104Pd(d,t)103Pd is interpreted within the systematics of the A ~ 100 region. The paper complements data previously presented by the S.Paulo Group, which were taken with the Pelletron-Enge-Spectrograph facility. A one-to-one correspondence to gamma ray results for 103Pd, collected by the Nuclear Data Sheets (NDS), was achieved and at least four open questions were settled. More reliable spectroscopic strengths were extracted in the present study.

Redescription of Hiatella meridionalis d'Orbigny, 1846 (Mollusca, Bivalvia, Hiatellidae) from Argentina

The redescription of Hiatella meridionalis (d’Orbigny, 1846) is provided as first attempt to improve the systematics of the genus in the regions of Atlantic and western Pacific. This reanalysis is based on specimens collected in the vicinity of the type localities and is based on detailed morphology of samples that some researches consider a single, wide ranging species. From the morphological characters, the more interesting are: a high quantity of papillae at incurrent siphon; the retractor muscles of siphon divided in two bundles; the small size of the palps; the muscular ring in the stomach; and the zigzag fashion of the short intestinal loops. These characters distinguish the species from the other hiatellids so far examined. Type material of the species was examined, by first time illustrated, and the lectotype is designated.

A new species of Dicrepidius Eschscholtz from Brazil and new records for D. ramicornis (Palisot de Beauvois) (Coleoptera, Elateridae, Elaterinae)

Dicrepidius brasilianus sp. nov., from Pará and Mato Grosso is described and illustrated. This is the second species of this genus recorded from Brazil. D. ramicornis (Palisot de Beauvois, 1805) is widely distributed from south of United States to south of Brazil. From Brazil, it was recorded from Minas Gerais, Rio de Janeiro, São Paulo and Santa Catarina states, but now other records are included. A comparison between the two Brazilian species and a discussion, including intraspecific variations, are presented.

The effects of the experimental infection from a focus of transmission of Schistosoma mansoni in a population of Biomphalaria tenagophila (D'Orbigny, 1835) in the region of "Vale do Ribeira de Iguape", Brazil

To observe the effects of the parasitic infection on the biology of B. tenagophila, field and laboratory populations of this mollusk from Itariri, in Vale do Ribeira, Brazil, were experimentally infected. Each mollusk received 10 miracidia of Schistosoma mansoni (SJ lineage) and was observed throughout the parasite's development. The biological variables were compared according to the criteria "group" and "infectious phase". The main damage caused by the parasitic infection manifested itself in reproduction, longevity and lesions on the shell of the mollusks in the patent phase. An infection rate of 58.8% was observed. Microanatomical study of the mollusk's digestive gland and ovotestis revealed the presence of evolving larval forms and cercariae. It was concluded that the effects of the parasitic infection on both populations were moderate, despite the low survival rate of the infected mollusks, the damage did not prevent either reproduction or the elimination of cercariae, which continued for a long time.

Vitamina D e doenças endocrinometabólicas

Atualmente, a insuficiência/deficiência de vitamina D tem sido considerada um problema de saúde pública no mundo todo, em razão de suas implicações no desenvolvimento de diversas doenças, entre elas, o diabetes melito tipo 2 (DMT2), a obesidade e a hipertensão arterial. A deficiência de vitamina D pode predispor à intolerância à glicose, a alterações na secreção de insulina e, assim, ao desenvolvimento do DMT2. Esse possível mecanismo ocorre em razão da presença do receptor de vitamina D em diversas células e tecidos, incluindo células-β do pâncreas, no adipócito e no tecido muscular. Em indivíduos obesos, as alterações do sistema endócrino da vitamina D, caracterizada por elevados níveis de PTH e da 1,25(OH)2D3 são responsáveis pelo feedback negativo da síntese hepática de 25-OHD3 e também pelo maior influxo de cálcio para o meio intracelular, que pode prejudicar a secreção e a sensibilidade à insulina. Na hipertensão, a vitamina D pode atuar via sistema renina-angiotensina e também na função vascular. Há evidências de que a 1,25(OH)2D3 inibe a expressão da renina e bloqueia a proliferação da célula vascular muscular lisa. Entretanto, estudos prospectivos e de intervenção em humanos que comprovem a efetividade da adequação do status da vitamina D sob o aspecto "prevenção e tratamento de doenças endocrinometabólicas" são ainda escassos. Mais pesquisas são necessárias para se garantir o benefício máximo da vitamina D nessas situações.

Metabólitos séricos da vitamina D não se correlacionam com pressão arterial em adolescentes

OBJETIVO: O objetivo deste estudo foi avaliar a associação entre o estado nutricional da vitamina D, a adiposidade e a pressão arterial (PA) em adolescentes. MÉTODOS: Foi realizada avaliação antropométrica, da composição corporal, da ingestão alimentar, de medidas bioquímicas e aferição da PA de 205 adolescentes, com média de idade de 18,2 anos. RESULTADOS: Destes, 12,19% apresentaram PA elevada. O nível sérico médio da 25OHD foi 29,2(0,8) ng/mL, e 62% dos adolescentes apresentaram insuficiência de vitamina D. Não foi encontrada correlação significativa entre a PAS e a PAD com a 25OHD e a 1,25(OH)2D. Houve correlação negativa entre a PAD com os níveis séricos de adiponectina, e tanto a PAS quanto a PAD apresentaram correlação positiva com a circunferência da cintura em ambos os sexos. CONCLUSÃO: Não houve relação entre os níveis séricos de vitamina D e a PA. Porém, a gordura visceral apresenta risco potencial para elevação da PA em adolescentes.

Juventude pobre, violência e cidadania

Este trabalho problematiza, a partir de uma perspectiva sócio-histórica, formas de enfrentamento à violência a que estão submetidos adolescentes e jovens de grupos populares urbanos no Brasil. Considera-se a violência como um fenômeno complexo de grande relevância para diversas instâncias sociais. A vulnerabilidade daqueles adolescentes e jovens, expressa por inúmeros índices relacionados à violência, tem alcançado patamares alarmantes no nosso país, num contexto de políticas públicas que são, em grande parte, insuficientes, fragmentadas e/ou inadequadas. Assim, apresenta-se o relato e a análise de uma intervenção social calcada na educação e na defesa dos direitos decorrentes da cidadania, para adolescentes e jovens vulneráveis socialmente, tomando-se como referência uma região composta por bairros pobres e carentes de infra-estrutura social numa cidade média do interior do estado de São Paulo. Trabalhou-se em diferentes projetos com ações pautadas na abordagem interdisciplinar, por meio de três eixos bases: Violência Escolar; Violência Urbana; e Violação de Direitos e Comunidade. Os resultados alcançados refletem elaborações coletivas acerca das ações destinadas aos jovens de grupos populares urbanos e suas alternativas, buscando produzir estratégias de enfrentamento dessas questões em espaços públicos, desde a instituição escolar historicamente constituída para essa população, assim como as instituições mais recentes que respondem à lógica contraditória e complexa da assistência ao direito. Cria-se, portanto, subsídios para políticas públicas cujo impacto se dê na direção de promover a diminuição da desigualdade, da discriminação e da violência a que está sujeita a maioria dos adolescentes e jovens no Brasil.