Polarizing Double Negation Translations

Double-negation translations are used to encode and decode classical proofs in intuitionistic logic. We show that, in the cut-free fragment, we can simplify the translations and introduce fewer negations. To achieve this, we consider the polarization of the formul{\ae}{} and adapt those translation to the different connectives and quantifiers. We show that the embedding results still hold, using a customized version of the focused classical sequent calculus. We also prove the latter equivalent to more usual versions of the sequent calculus. This polarization process allows lighter embeddings, and sheds some light on the relationship between intuitionistic and classical connectives

Digestibility of extruded peas, extruded lupin, and rapeseed meal in rainbow trout (Oncorhynchus mykiss) and turbot (Psetta maxima)

Apparent digestibility coefficients (ADC) of nutrients and energy of extruded peas, extruded lupin and rapeseed meals were determined in juvenile rainbow trout and turbot. Extruded lupin was found to be a promising substitute for fish meal in the diets of trout and turbot, with an acceptable digestibility of its dry matter (70% in trout and 81% in turbot) and a high digestibility of its protein (96% in trout and 98% in turbot) and its energy (77% in trout and 85% in turbot). Extruded peas had a lower digestibility of its protein in trout (88%) than in turbot (92%), and the ADC of energy, mainly supplied as starch, was relatively low (69% in trout and 78% in turbot). The digestibility of rapeseed meal was improved by a thermal treatment. Without thermal treatment, rapeseed meal had a low digestibility of its dry matter (57%) and energy (69%) in turbot. The availability of phosphorus was higher for extruded lupin (62% in trout and 100% in turbot) compared to the other plant-ingredients. When compared to a solvent-extracted meal, the availability of phosphorus from rapeseed meal was improved by heat treatment in both species (42% vs. 26% in trout and 65% vs. 49% in turbot). (C) 2000 Elsevier Science B.V

Challenging the growing rabbit with a moderately pathogenic E. coli under ad libitum or limited feed intake conditions: impact on digestive physiology, bacterial communities, and on post-weaning growth

[EN] The impact of a challenge with moderately pathogenic Escherichia coli O128:C6 on the digestive physiology and gut bacterial community of growing rabbits under two feeding programmes was analysed. Upon weaning (28 d old), 180 rabbits were allocated to four groups (9 cages of 5 rabbits per group) for two weeks: group C100 was non-inoculated and fed ad libitum; C70 was non-inoculated and feed intake was limited to 70% of C100; I100 and I70 were inoculated and fed ad libitum or restricted to 70%, respectively. At the age of 31 d (D0), rabbits were orally inoculated with E. coli (2.2×108 colony forming units/rabbit). The effects of inoculation spiked on D4, with a 28% lower growth rate for I100 than for C100. Limited feed intake reinforced the inoculation’s effects on growth: I70 had a 66% lower growth rate than C70. The morbidity rate peaked at 42% between D4 and D7 for inoculated groups, without significant effect of the feed intake level. E. coli concentration peaked on D5/D6 in the caecum of the I100 and I70 groups. Inoculation reduced by 30% (P<0.05) the villus height/crypt depth and villus/crypt area ratios in the ileum, with no significant effect of the intake level. Inoculation was associated with a tenfold increase in serum haptoglobin (P<0.001) for both ad libitum and restricted rabbits. On D5, the inoculation modified the structure of the ileal bacterial community (P<0.05), but not that of the caecum. The feed intake level did not affect either the structure or diversity of the bacterial community, both in the ileum and caecum.The authors would like to thank Alain Milon and Stéphane Bertagnoli (ENV Toulouse) who provided the E. coli O128:C6 strain we used. We are also grateful to ANSES staff in the “Service d’Elevage et d’Expérimentation en Pathologie Aviaire” (M. Amelot, L. Le Moal, T. Le Coq, D. Courtois and M. Morvan) and for the technical help of F. Lalande (HQPAP, ANSES) and L. Gordon.Martignon, M.; Burel, C.; Licois, D.; Reperant, E.; Postollec, G.; Valat, C.; Gidenne, TN. (2021). Challenging the growing rabbit with a moderately pathogenic E. coli under ad libitum or limited feed intake conditions: impact on digestive physiology, bacterial communities, and on post-weaning growth. World Rabbit Science. 29(1):1-10. https://doi.org/10.4995/wrs.2021.14089OJS110291Agnoletti F. 2012. Update on rabbit enteric diseases: despite improved diagnostic capacity, where does disease control and prevention stand? In: Proc. 10th World Rabbit Congress, World Rabbit Science Association (WRSA) publ., Sharm El Sheik, Egypt, 1113-1127.Allison S.D., Martiny J.B.H. 2008. Resistance, resilience, and redundancy in microbial communities. Proc. Nat. Academy Sci., 105: 11512-11519. https://doi.org/10.1073/pnas.0801925105Antonopoulos D.A., Huse S.M., Morrison H.G., Schmidt T.M., Sogin M.L., Young V.B. 2009. Reproducible community dynamics of the gastrointestinal microbiota following antibiotic perturbation. Infect. Immunity 77: 2367-2375. https://doi.org/10.1128/IAI.01520-08Bennegadi N., Gidenne T., Licois D. 2001. Impact of fibre deficiency and sanitary status on non-specific enteropathy of the growing rabbit. Anim. Res., 50: 401-413. https://doi.org/10.1051/animres:2001135Boisot P., Licois D., Gidenne T. 2003. Une restriction alimentaire réduit l'impact sanitaire d'une reproduction expérimentale de l'entéropathie épizootique (EEL) chez le lapin en croissance. In: Proc. "10èmes Journées de la Recherche Cunicole", Paris, France, 267-370.Camguilhem R., Milon A., 1989. Biotypes and O serogroups of Escherichia coli involved in intestinal infections of weaned rabbits: clues to diagnosis of pathogenic strains. J. Clin. Microb., 27: 743-747. https://doi.org/10.1128/JCM.27.4.743-747.1989Cantey J.R., Inman L.R. 1981. Diarrhea due to Escherichia coli strain RDEC-1 in the rabbit. The Peyer's patch as the initial site of attachement and colonization. J. Infect. Diseases, 143: 440-446. https://doi.org/10.1093/infdis/143.3.440Combes S., Nice F., Licois D., Fortun-Lamothe L., Gidenne T. 2009. Response of digestive bacterial community of rabbits after experimental infection of epizootic enteropathy syndrome (ERE). In: Proc. 13èmes Journées de la Recherche Cunicole (Bolet G., Ed.), ITAVI publ., Paris., France, 227-230.Combes S., Massip K., Martin O., Furbeyre H., Cauquil L., Pascal G., Bouchez O., Le Floc'h N., Zemb O., Oswald I.P., Gidenne T., 2017. Impact of feed restriction and housing hygiene conditions on specific and inflammatory immune response, the cecal bacterial community and the survival of young rabbits. Animal, 11: 854-863. https://doi.org/10.1017/S1751731116002007Coussement W., Ducatelle R., Charlier G., Okerman L., Hoorens J. 1984. Pathology of experimental colibacillosis in rabbits. J. Vet. Med., 31: 64-72. https://doi.org/10.1111/j.1439-0450.1984.tb01282.xEuropean Union 2003. Protection of Animals used for Experimental Purposes. Directive 86/609/EEC of 24th novembre 1986, amended 16th septembre 2003. In: Official Journal of European Union.Fortun-Lamothe L., Boullier S. 2007. A review on the interactions between gut microflora and digestive mucosal immunity. Possible ways to improve the health of rabbits. Livest. Sci., 107: 1-18. https://doi.org/10.1016/j.livsci.2006.09.005Foubert C., Duperray J., Boisot P., Guyonvarch A. 2008. Effect of feed restriction with or without free access to drinking water on performance of growing rabbits in healthy or epizootic rabbit enteropathy conditions. In: Proc. 9th World Rabbit Congress (Xiccato G., Trocino A., Lukefahr S.D., Eds.). Fond. Ini. Zooprofilattiche E Zoot. Publ., Brescia Italy, 667-671.Georgieva T., Penchev Georgiev I., Tanev S., Vachkov A., Petrov V., Eckersall P. D., Sotirov L., Lazarov L., Christov T.S., Nikolov J. 2009. Variations of acute phase protein (haptoglobin, fibrinogen and ceruloplasmin) concentrations in weaning rabbits after experimental infection with E. coli. Rev. Médecine Vét. 160: 133-139.Gidenne T., Licois D. 2005. Effect of a high fibre intake on the resistance of the growing rabbit to an experimental inoculation with an enteropathogenic strain of Escherichia coli. Anim. Sci., 80: 281-288. https://doi.org/10.1079/ASC41570281Gidenne T., Combes S., Fortun-Lamothe L. 2012. Feed intake limitation strategies for the growing rabbit: effect on feeding behaviour, welfare, performance, digestive physiology and health: a review. Animal 6: 1407-1419. https://doi.org/10.1017/S1751731112000389Gidenne T., Lebas F., Savietto D., Dorchies P., Duperray J., Davoust C., Fortun-Lamothe L. 2015. Nutrition et alimentation. In: Le lapin. De la biologie à l'élevage (Gidenne T., Ed.). Quae Éditions Publ., Paris, France, 152-196.Goodlad R.A., Levi S., Lee C.Y., Mandir N., Hodgson H., Wright N.A. 1991. Morphometry and cell proliferation in endoscopic biopsies: evaluation of a technique. Gastroenterology, 101: 1235-1241. https://doi.org/10.1016/0016-5085(91)90072-SKimsé M., Combes S., Fortun-Lamothe L., Cauquil L., Monteils V., Bayourthe C., Gidenne T. 2011. Physiopathologic and microbiologic characterisation of Rabbit Epizootic Enteropathy in the growing rabbit - first results. In: Proc. 13èmes Journées de la Recherche Cunicole (Bolet G., Ed.). ITAVI Publ. Paris, 155-158.Le Bouquin S., Jobert J.L., Larour G., Balaine L., Eono F., Boucher S., Huneau A., Michel V. 2009. Risk factors for an acute expression of Epizootic Rabbit Enteropathy syndrome in rabbits after weaning in French kindling-to-finish farms. Livest. Sci., 125: 283-290. https://doi.org/10.1016/j.livsci.2009.05.010Le Floc'h N., Knudsen C., Gidenne T., Montagne L., Merlot E., Zemb O. 2014. Impact of feed restriction on health, digestion and faecal microbiota of growing pigs housed in good or poor hygiene conditions. Animal, 8: 1632-1642. https://doi.org/10.1017/S1751731114001608Licois D. 2004. Domestic rabbit enteropathies. In: Proc. 8th World Rabbit Congress (Becerril C., Pro A., Eds.). Colegio de Postgraduados for WRSA publ., Puebla, Mexico, 385-403. Available at http://www.world-rabbit-science.com/WRSAProceedings/Congress-2004-Puebla/Papers/Pathology/P0-Licois.pdf Accessed July 2020.Licois D., Reynaud A., Federighi M., Gaillard-Martinie B., Guillot, J.F. 1991. Scanning and transmission electron microscopic study of adherence of Escherichia coli O103 enteropathogenic and/or enterohemorrhagic strain GV in enteric infection in rabbits. Infect. Immunity, 59: 3796-3800. https://doi.org/10.1128/IAI.59.10.3796-3800.1991Licois D., Guillot J.F., Mouline C., Reynaud A. 1992. Susceptibility of the Rabbit to an Enteropathogenic Strain of Escherichia coli 0103 - Effect of Animals Age. Ann. Rech. Vét., 23: 225-232.Maertens L. 2011. Strategies to Reduce Antibiotic Use in Rabbit Production. J. Agric. Sci. Technol., 1: 783-792.Marlier D., Dewree R., Delleur V., Licois D., Lassence C., Poulipoulis A., Vindevogel H. 2003. A review of the major causes of digestive disorders in the European rabbit. Ann. Rech. Vét., 147: 385-392.Martignon M.H., Combes S., Gidenne T. 2010. Digestive physiology and hindgut bacterial community of the young rabbit (Oryctolagus cuniculus): Effects of age and short-term intake limitation. Comp. Biochem. Phys. Part A, 156: 156-162. https://doi.org/10.1016/j.cbpa.2010.01.017Michelland R.J., Dejean S., Combes S., Fortun-Lamothe L., Cauquil L. 2009. StatFingerprints: A friendly graphical interface program for processing and analysis of microbial fingerprint profiles. Molec. Ecol. Ress., 9: 1359-1363. https://doi.org/10.1111/j.1755-0998.2009.02609.xMichelland R.J, Monteils V., Combes S., Cauquil L., Gidenne T., Fortun-Lamothe L. 2011. Changes over time in the bacterial communities associated with fluid and food particles and the ruminal parameters in the bovine rumen before and after a dietary change. Canadian J. Microb., 57: 629-637. https://doi.org/10.1139/w11-053Milon A., Esslinger J., Camguilhem R. 1990. Adhesion of Escherichia coli strains isolated from diarrheic weaned rabbits to intestinal villi and hela-cells. Infect. Immunity, 58: 2690-2695. https://doi.org/10.1128/IAI.58.8.2690-2695.1990Milon A., Esslinger J., Camguilhem R., 1992. Oral vaccination of weaned rabbits against enteropathgenic Escherichia coli-like E. coli O103 infection: use of heterologous strains harboring lipopolysaccharide or adhesin of pathogenic strains. Infect. Immunity, 60: 2702-2709. https://doi.org/10.1128/IAI.60.7.2702-2709.1992Peeters J.E., Pohi P., Okerman L., Devriese, L. 1984. Pathogenic properties of Escherichia coli strains isolated from diarrheic commercial rabbits. J. clin. Microb., 84: 34-39. https://doi.org/10.1128/JCM.20.1.34-39.1984Peeters J.E., Charlier G., Raeymaekers R. 1985. Scanning and transmission electron microscopy of attaching effacing Escherichia coli in weanling rabbits. Vet. Pathol., 22: 54-59. https://doi.org/10.1177/030098588502200109Peeters J.E., Geeroms R., Orskov F., 1988. Biotype, serotype, and pathogenicity of attaching and effacing enteropathogenic Escherichia coli strains isolated from diarrheic commercial rabbits. Infect. Immunity, 56: 1442-1448. https://doi.org/10.1128/IAI.56.6.1442-1448.1988Ramette A. 2007. Multivariate analyses in microbial ecology. FEMS Microb. Ecol. 62: 142-160. https://doi.org/10.1111/j.1574-6941.2007.00375.xRantzer D., Svendsen J., Westrom B. 1996. Effects of a strategic feed restriction on pig performance and health during the post-weaning period. Acta Agric. Scand. A, 46: 219-226. https://doi.org/10.1080/09064709609415874Rosenzweig M.L. 1995. Species Diversity in Space and Time. Cambridge, UK: Cambridge University Press. https://doi.org/10.1017/CBO9780511623387Skrivanová E., Molatová Z., Skrivanová V., Marounek M. 2009. Inhibitory activity of frabbit milk and medium-chain fatty acids against enteropathogenic Escherichia coli O128. Vet. Microb., 135: 358-362. https://doi.org/10.1016/j.vetmic.2008.09.08

High dynamic range beam profile measurements

In future high intensity, high energy accelerators, beam loss has to be minimized to maximize performance and reduce activation of accelerator components. It is imperative to have a clear understanding of the mechanisms that can lead to halo formation and to have the possibility to test available theoretical models with an adequate experimental setup. Measurements based on optical transition radiation (OTR) provide an interesting opportunity for high resolution measurements of the transverse beam profile. In order to be applicable for measurements within the beam halo region, it is of utmost importance that a high dynamic range is covered by the image acquisition system. The existing camera system as it is installed in the CLIC Test Facility (CTF3) is compared to a step-by-step measurement with a photo multiplier tube (PMT) and measurements with a cooled charge injection device (CID) camera. The latter acquisition technique provides an innovative and highly flexible approach to high dynamic range measurements and is presented in some detail

C-terminal phosphorylation of NaV1.5 impairs FGF13-dependent regulation of channel inactivation

International audienceVoltage-gated Na(+) (NaV) channels are key regulators of myocardial excitability, and Ca(2+)/calmodulin-dependent protein kinase II (CaMKII)-dependent alterations in NaV1.5 channel inactivation are emerging as a critical determinant of arrhythmias in heart failure. However, the global native phosphorylation pattern of NaV1.5 subunits associated with these arrhythmogenic disorders and the associated channel regulatory defects remain unknown. Here, we undertook phosphoproteomic analyses to identify and quantify in situ the phosphorylation sites in the NaV1.5 proteins purified from adult WT and failing CaMKIIδc-overexpressing (CaMKIIδc-Tg) mouse ventricles. Of 19 native NaV1.5 phosphorylation sites identified, two C-terminal phosphoserines at positions 1938 and 1989 showed increased phosphorylation in the CaMKIIδc-Tg compared with the WT ventricles. We then tested the hypothesis that phosphorylation at these two sites impairs fibroblast growth factor 13 (FGF13)-dependent regulation of NaV1.5 channel inactivation. Whole-cell voltage-clamp analyses in HEK293 cells demonstrated that FGF13 increases NaV1.5 channel availability and decreases late Na(+) current, two effects that were abrogated with NaV1.5 mutants mimicking phosphorylation at both sites. Additional co-immunoprecipitation experiments revealed that FGF13 potentiates the binding of calmodulin to NaV1.5 and that phosphomimetic mutations at both sites decrease the interaction of FGF13 and, consequently, of calmodulin with NaV1.5. Together, we have identified two novel native phosphorylation sites in the C terminus of NaV1.5 that impair FGF13-dependent regulation of channel inactivation and may contribute to CaMKIIδc-dependent arrhythmogenic disorders in failing hearts

Classification neuronale des fonds marins par modélisation AutoRégressive bidimensionnelle

Cette étude présente une méthode simple et efficace de caractérisation de textures couplée à un modèle neuronal dans le but d'obtenir une classification des fonds marins en imagerie Sonar. Un modèle autorégressif (AR) linéaire est appliqué à l'image Sonar pour en extraire des attributs caractéristiques significatifs. Les performances de la méthode autorégressive sont évaluées à l'aide d'un classifieur neuronal, de type Perceptron MultiCouche (PMC), qui distingue quatre types de fonds : cailloux, dunes, rides de sable et sable. Les bons taux de classification rencontrés pour chaque type de fond sur une base distincte de la base d'apprentissage sont présentés. Une originalité de l'approche réside dans le couplage performant obtenu entre modélisation AR et module neuronal pour l'application concernée

Les compétences socioémotionnelles pour réussir à l’école (et ailleurs): ça s’apprend!

Joie, fierté, intérêt, surprise, frustration, ennui, dégout: agréables ou douloureuses, les émotions jalonnent le quotidien de la classe et impactent les apprentissages. Par exemple, des épisodes fréquents et intenses de tristesse ou de colère péjorent la mémorisation alors que la joie permet d’élargir le répertoire de pensées et d’actions favorisant notamment la créativité, l’attention et la résolution de problème. Enseigner les compétences socioémotionnelles à l’école prend tout son sens aujourd’hui et, bonne nouvelle, les recherches révèlent diverses démarches prometteuses

Effect of transportation duration of 1-day-old chicks on postplacement production performances and pododermatitis of broilers up to slaughter age

This experiment studied the effect of transportation duration of 1-d-old chicks on dehydration, mortality, production performance, and pododermatitis during the growout period. Eggs from the same breeder flock (Ross PM3) were collected at 35, 45, and 56 wk of age, for 3 successive identical experiments. In each experiment, newly hatched chicks received 1 of 3 transportation duration treatments from the hatchery before placement in the on-site rearing facility: no transportation corresponding to direct placement in less than 5 min (T00), or 4 (T04) or 10 h (T10) of transportation. The chicks were housed in 35-m2 pens (650 birds each) and reared until 35 d old. Hematocrit and chick BW were measured on sample chicks before and after transportation. During the growout period, bird weight, feed uptake, and feed conversion ratio were measured weekly until slaughter. Transportation duration affected BW; T00 groups had a significantly higher BW than T04 and T10 transported birds but this effect lasted only until d 21. No clear effect on hematocrit, feed uptake, feed conversion ratio, or mortality was observed for birds transported up to 10 h. The decrease in weight in T10 birds was associated with less severe pododermatitis. Increasing age of the breeder flock was correlated with reduced egg fertility and hatchability, and also with higher quality and BW of hatched chicks. Chicks from older breeders also exhibited reduced mortality during the growout period

Publishing and sharing multi-dimensional image data with OMERO

Imaging data are used in the life and biomedical sciences to measure the molecular and structural composition and dynamics of cells, tissues, and organisms. Datasets range in size from megabytes to terabytes and usually contain a combination of binary pixel data and metadata that describe the acquisition process and any derived results. The OMERO image data management platform allows users to securely share image datasets according to specific permissions levels: data can be held privately, shared with a set of colleagues, or made available via a public URL. Users control access by assigning data to specific Groups with defined membership and access rights. OMERO’s Permission system supports simple data sharing in a lab, collaborative data analysis, and even teaching environments. OMERO software is open source and released by the OME Consortium at www.openmicroscopy.org