Company-Coq: Taking Proof General one step closer to a real IDE by Pit-Claudel, Clement F., Courtieu, Pierre

Get full text
Get full text

Anti-Growth Factors Associated with Pleurotus ostreatus in a Submerged Liquid Fermentation by Juliet B. Akinyele, Soji Fakoya, Clement F. Adetuyi

Get full text

Trigger Selection Strategies to Stabilize Program Verifiers by Leino, K. Rustan M., Pit-Claudel, Clement F.

Get full text
Get full text

Seeing is believing: Early perceptual brain processes are modified by social feedback by Zanesco, J, Tipura, E, Posada, A, Clément, F, Pegna, A

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant by Delaware, Benjamin James, Pit-Claudel, Clement F., Gross, Jason S., Chlipala, Adam

Get full text
Get full text
Get full text
Get full text

The Drosophila foraging gene mediates adult plasticity and gene-environment interactions in behaviour, metabolites, and gene expression in response to food deprivation. by Clement F Kent, Tim Daskalchuk, Lisa Cook, Marla B Sokolowski, Ralph J Greenspan

Get full text

Pleiotropy constrains the evolution of protein but not regulatory sequences in a transcription regulatory network influencing complex social behaviours by Daria eMolodtsova, Brock A Harpur, Clement F Kent, Kajendra eSeevananthan, Amro eZayed

Get full text

A Phytogeographical Classification and Survey of the Indigenous Browse Flora of South Africa, Lesotho, and Eswatini by Marike Trytsman, Francuois L. Müller, M. Igshaan Samuels, Clement F. Cupido, Abraham E. van Wyk

Get full text

The influence of doping on the performance of organic bulk heterojunction solar cells by Glatthaar, M, Mingirulli, N, Zimmermann, B, Clement, F, Riede, M, Van Der Wiel, B, Niggemann, M, Gombert, A

Delving deeper: Questioning the decline of long-tongued bumble bees, long-tubed flowers and their mutualisms with climate change by Charlotte W de Keyzer, Sheila R Colla, Clement F Kent, Nicole E Rafferty, Leif L Richardson, James D Thomson

Get full text

Avidity of anti-circumsporozoite antibodies following vaccination with RTS,S/AS01E in young children by Olotu, A, Clement, F, Jongert, E, Vekemans, J, Njuguna, P, Ndungu, F, Marsh, K, Leroux-Roels, G, Bejon, P

Long-term dietary shifts in a generalist predator, the wolverine (Gulo gulo) by Clément F. Massé, Tamara A. Hiltunen, Gerhardus M. J. Lansink, Katja Holmala, Marja Isomursu, Ilpo Kojola, Jouni Aspi, Jeffery M. Welker, Jeffery M. Welker, Jeffery M. Welker

Get full text

Draft Genome Assembly and Population Genetics of an Agricultural Pollinator, the Solitary Alkali Bee (Halictidae: Nomia melanderi) by Karen M. Kapheim, Hailin Pan, Cai Li, Charles Blatti, Brock A. Harpur, Panagiotis Ioannidis, Beryl M. Jones, Clement F. Kent, Livio Ruzzante, Laura Sloofman, Eckart Stolle, Robert M. Waterhouse, Amro Zayed, Guojie Zhang, William T. Wcislo

Get full text

Conservation Genomics of the Declining North American Bumblebee Bombus terricola Reveals Inbreeding and Selection on Immune Genes by Clement F. Kent, Alivia Dey, Harshilkumar Patel, Nadejda Tsvetkov, Tanushree Tiwari, Victoria J. MacPhail, Victoria J. MacPhail, Yann Gobeil, Brock A. Harpur, Brock A. Harpur, Brock A. Harpur, James Gurtowski, Michael C. Schatz, Michael C. Schatz, Sheila R. Colla, Sheila R. Colla, Amro Zayed

Get full text

The rise of affectivism by Dukes, D, Abrams, K, Adolphs, R, Ahmed, M, Beatty, A, Berridge, K, Broomhall, S, Brosch, T, Campos, J, Clay, Z, Clement, F, Cunningham, W, Damasio, A, Damasio, H, d'Arms, J, Davidson, J, de Gelder, B, Deonna, J, de Sousa, R, Ekman, P, Ellsworth, P, Fehr, E, Fischer, A, Foolen, A, Frevert, U, Grandjean, D, Gratch, J, Greenberg, L, Greenspan, P, Gross, J, Halperin, E, Kappas, A, Keltner, D, Knutson, B, Konstan, D, Kret, M, LeDoux, J, Lerner, J, Levenson, R, Loewenstein, G, Manstead, A, Maroney, T, Moors, A, Niedenthal, P, Parkinson, B, Pavlidis, I, Pelachaud, C, Pollak, S, Pourtois, G, Roettger-Roesslerr, B