« Bousille et les justes »

C'est le 17 août 1959, soit plus de onze ans après la première de « Tit-Coq » et moins d'un mois avant la mort de Duplessis, qu'était créé le deuxième drame de Gratien Gélinas, « Bousille et les Justes ». La critique, quoique favorable, ne fut pas unanime. Elle reprocha à l'oeuvre de s'éterniser, de maltraiter gratuitement la religion et la famille, de sombrer parfois dans la grossièreté et la vulgarité. En dépit de ces réserves, la pièce obtint un succès considérable, plus retentissant encore que celui de « Tit-Coq ». [...]

Globalización, capitalismo financiero y responsabilidad social empresarial: tensiones estructurales

Los efectos nocivos que el capitalismo financiero y la globalización han tenido sobre los equilibrios sociales y económicos están estrechamente relacionados con los argumentos conceptuales que, como una llamada de atención, han llegado a las corporaciones y las empresas por la responsabilidad social corporativa. Sin embargo, el modelo construido en torno a la acumulación de capital y beneficios han planteado una relación simbiótica en la que ellos mismos son el recurso y el fin de su propia existencia, dando lugar a tensiones estructurales que anula las alternativas de ser sostenible y socialmente responsable al mismo tiempo. El camino que enfrentamos como sociedad, como empresas y como modelo económico sostenible se basa en el trabajo conjunto y los cambios en la manera de abordar el mercado.

Normes d'actuació, seguretat i tractament de residus en el laboratori de química. 'Normas de actuación, seguridad y tratamiento de residuos en el laboratorio de química'.

Resumen tomado de la publicación

ADCK3, an ancestral kinase, is mutated in a form of recessive ataxia associated with coenzyme Q(10) deficiency

Muscle coenzyme Q(10) (CoQ(10) or ubiquinone) deficiency has been identified in more than 20 patients with presumed autosomal-recessive ataxia. However, mutations in genes required for CoQ(10) biosynthetic pathway have been identified only in patients with infantile-onset multisystemic diseases or isolated nephropathy. Our SNP-based genome-wide scan in a large consanguineous family revealed a locus for autosomal-recessive ataxia at chromosome 1q41. The causative mutation is a homozygous splice-site mutation in the aarF-domain-containing kinase 3 gene (ADCK3). Five additional mutations in ADCK3 were found in three patients with sporadic ataxia, including one known to have CoQ(10) deficiency in muscle. All of the patients have childhood-onset cerebellar ataxia with slow progression, and three of six have mildly elevated lactate levels. ADCK3 is a mitochondrial protein homologous to the yeast COQ8 and the bacterial UbiB proteins, which are required for CoQ biosynthesis. Three out of four patients tested showed a low endogenous pool of CoQ(10) in their fibroblasts or lymphoblasts, and two out of three patients showed impaired ubiquinone synthesis, strongly suggesting that ADCK3 is also involved in CoQ(10) biosynthesis. The deleterious nature of the three identified missense changes was confirmed by the introduction of them at the corresponding positions of the yeast COQ8 gene. Finally, a phylogenetic analysis shows that ADCK3 belongs to the family of atypical kinases, which includes phosphomositide and choline kinases, suggesting that ADCK3 plays an indirect regulatory role in ubiquinone biosynthesis possibly as part of a feedback loop that regulates ATP production.

Over-expression of COQ10 in Saccharomyces cerevisiae inhibits mitochondrial respiration

COQ10 deletion in Saccharomyces cerevisiae elicits a defect in mitochondrial respiration correctable by addition of coenzyme Q(2). Rescue of respiration by Q(2) is a characteristic of mutants blocked in coenzyme Q(6) synthesis. Unlike Q(6) deficient mutants, mitochondria of the coq10 null mutant have wild-type concentrations Of Q(6). The physiological significance of earlier observations that purified Coq10p contains bound Q(6) was examined in the present study by testing the in vivo effect of over-expression of Coq10p on respiration. Mitochondria with elevated levels of Coq10p display reduced respiration in the bc1 span of the electron transport chain, which can be restored with exogenous Q(2). This suggests that in vivo binding of Q(6) by excess Coq10p reduces the pool of this redox carrier available for its normal function in providing electrons to the bc1 complex. This is confirmed by observing that extra Coq8p relieves the inhibitory effect of excess Coq10p. Coq8p is a putative kinase, and a high-copy suppressor of the coq10 null mutant. As shown here, when over-produced in coq mutants, Coq8p counteracts turnover of Coq3p and Coq4p subunits of the Q-biosynthetic complex. This can account for the observed rescue by COQ8 of the respiratory defect in strains over-producing Coq10p. (C) 2010 Elsevier Inc. All rights reserved.

Saccharomyces cerevisiae coq10 null mutants are responsive to antimycin A

Deletion of COQ10 in Saccharomyces cerevisiae elicits a respiratory defect characterized by the absence of cytochrome c reduction, which is correctable by the addition of exogenous diffusible coenzyme Q(2). Unlike other coq mutants with hampered coenzyme Q(6) (Q(6)) synthesis, coq10 mutants have near wild-type concentrations of Q(6). In the present study, we used Q-cycle inhibitors of the coenzyme QH(2)-cytochrome c reductase complex to assess the electron transfer properties of coq10 cells. Our results show that coq10 mutants respond to antimycin A, indicating an active Q-cycle in these mutants, even though they are unable to transport electrons through cytochrome c and are not responsive to myxothiazol. EPR spectroscopic analysis also suggests that wild-type and coq10 mitochondria accumulate similar amounts of Q(6) semiquinone, despite a lower steady-state level of coenzyme QH(2)-cytochrome c reductase complex in the coq10 cells. Confirming the reduced respiratory chain state in coq10 cells, we found that the expression of the Aspergillus fumigatus alternative oxidase in these cells leads to a decrease in antimycin-dependent H(2)O(2) release and improves their respiratory growth.

Coenzyme Q(10) and its effects in the treatment of neurodegenerative diseases

According to clinical and pre-clinical studies, oxidative stress and its consequences may be the cause or, at least, a contributing factor, to a large number of neurodegenerative diseases. These diseases include common and debilitating disorders, characterized by progressive and irreversible loss of neurons in specific regions of the brain. The most common neurodegenerative diseases are Parkinson's disease, Huntington's disease, Alzheimer's disease and amyotrophic lateral sclerosis. Coenzyme Q(10) (CoQ(10)) has been extensively studied since its discovery in 1957. It is a component of the electron transportation chain and participates in aerobic cellular respiration, generating energy in the form of adenosine triphosphate (ATP). The property of CoQ(10) to act as an antioxidant or a pro-oxidant, suggests that it also plays an important role in the modulation of redox cellular status under physiological and pathological conditions, also performing a role in the ageing process. In several animal models of neurodegenerative diseases, CoQ(10) has shown beneficial effects in reducing disease progression. However, further studies are needed to assess the outcome and effectiveness of CoQ(10) before exposing patients to unnecessary health risks at significant costs.

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

The Saccharomyces cerevisiae COQ10 gene encodes a START domain protein required for function of coenzyme Q in respiration

Deletion of the Saccharomyces cerevisiae gene YOL008W, here referred to as COQ10, elicits a respiratory defect as a result of the inability of the mutant to oxidize NADH and succinate. Both activities are restored by exogenous coenzyme Q(2). Respiration is also partially rescued by COQ2, COQ7, or COQ8/ABC1, when these genes are present in high copy. Unlike other coq mutants, all of which lack Q(6), the coq10 mutant has near normal amounts of Q(6) in mitochondria. Coq10p is widely distributed in bacteria and eukaryotes and is homologous to proteins of the aromatic-rich protein family Pfam03654 and to members of the START domain superfamily that have a hydrophobic tunnel implicated in binding lipophilic molecules such as cholesterol and polyketides. Analysis of coenzyme Q in polyhistidine-tagged Coq10p purified from mitochondria indicates the presence 0.032-0.034 mol of Q(6)/mol of protein. We propose that Coq10p is a Q(6)-binding protein and that in the coq10 mutant Q(6) it is not able to act as an electron carrier, possibly because of improper localization.

Laser locking to the Hg-199 S-1(0)-P-3(0) clock transition with 5.4x10(-15)/root tau fractional frequency instability

With Hg-199 atoms confined in an optical lattice trap in the Lamb-Dicke regime, we obtain a spectral line at 265.6 nm for which the FWHM is similar to 15 Hz. Here we lock an ultrastable laser to this ultranarrow S-1(0) - P-3(0) clock transition and achieve a fractional frequency instability of 5.4 x 10(-15) / root tau for tau <= 400 s. The highly stable laser light used for the atom probing is derived from a 1062.6 nm fiber laser locked to an ultrastable optical cavity that exhibits a mean drift rate of -6.0 x 10(-17) s-(1) (-16.9 mHzs(-1) at 282 THz) over a six month period. A comparison between two such lasers locked to independent optical cavities shows a flicker noise limited fractional frequency instability of 4 x 10(-16) per cavity. (c) 2012 Optical Society of America

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Caratterizzazione fisica di apparati per tomosintesi digitale della mammella

In questo lavoro di tesi sono state studiate le caratteristiche di una macchina per tomosintesi Fujifilm AMULET Innovality in uso presso l'Istituto Scientifico Romagnolo per lo Studio e la Cura dei Tumori (I.R.S.T.) di Meldola. Le valutazioni sono state fatte utilizzando diversi fantocci, uno dei quali costruito durante il lavoro di tesi. Per la valutazione delle immagini di mammografia digitale e di tomosintesi sono state seguite le linee guida della International Electrotechnical Commission (IEC) e della European Reference Organisation for Quality Assured Breast Screening and Diagnostic Services (EUREF). Per lo studio delle mammografie digitali sono stati valutati, utilizzando i software COQ e ImageJ, i parametri di NPS, MTF e DQE. Per lo studio delle immagini di tomosintesi sono stati appositamente sviluppati degli algoritmi in linguaggio Java, integrati poi all'interno del software COQ. Il programma sviluppato ha permesso di valutare ASF, MTF, NPS e omogeneità delle immagini ricostruite.