Shows
La minute poésieLe chocolat Poème - Gérard Cazé, lu par Xavier SalomonDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-04-2501 min
C'est quoi le programme au cinéma ?"Aimons-nous vivants", une comédie dramatique touchante avec Valérie Lemercier et Gérard DarmonValérie Lemercier est de retour au cinéma ! Celle qu’on avait adorée dans le film Aline sur Céline Dion est cette fois aux côtés de Gérard Darmon dans le film « Aimons-nous vivants ». Lui, joue Antoine toussaint... un célèbre chanteur qui s’est retiré de la vie publique après avoir fait un AVC. Et dans le train pour la Suisse, il va rencontrer une fan ...absolue. Elle s’appelle Victoire et c’est une petite tornade d’émotions. « Aimons-nous vivants » c’est le titre de cette savoureuse comédie sur la v...2025-04-1603 min
La minute poésieGriffures - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-04-0901 min
La minute poésieBébé tendresse - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-03-2501 min
DeepTechsUn voyage dans le tempsAncien professeur au Collège de France et membre de l'Académie des sciences, Gérard Berry est une figure majeure de l'informatique française. Polytechnicien de formation, il bifurque rapidement vers l'informatique théorique, à une époque où la discipline est encore balbutiante en France. Il intègre l'INRIA (Institut national de recherche en sciences et technologies du numérique), en 1977, où il développe des travaux pionniers sur les langages de programmation et le parallélisme.Sa grande œuvre ? La création d'Esterel, un langage révolutionnaire pour les systèmes réactifs. Loin d'être confiné aux laborat...2025-03-2435 min
La minute poésieRêve - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-03-2001 min
La minute poésieSous le regard d'un mannequin nu - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-03-1701 min
La minute poésieUn voyage à deux - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-03-1201 min
Autour de la question, le magazine de toutes les sciencesCombien de temps dure l’espace d’un instant?Dans notre monde ultra-minuté, la maîtrise du temps est essentielle : jusqu’où le mesurons-nous ? Peut-on manipuler le temps ? Interrogations partagées par le chercheur en informatique Gerard Berry qui est aussi pataphysicien... Combien de temps dure l’espace d’un instant ? Interrogeons sur le temps, le temps qui passe et que nous mesurons aujourd’hui avec une précision atomique fantastique. Dans notre monde ultra-minuté, la maîtrise du temps est essentielle dans tous les domaines, mais savons-nous vraiment de quoi est fait le temps ? Comment prendre la mesure du temps et de ses enjeux stratégiques par les temps...2025-03-1148 min
La minute poésieAmi - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-03-0401 min
La minute poésieElle - Gerard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-02-2601 min
La minute poésieLa maison muette - Gerard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-02-2401 min
The Galactosemia PodcastThe Road to a Cure ft. Dr. Gerard Berrythegalactosemiapodcast.com - support the show; ad-free and early access episodesLinks & Resources Mentioned:Galactosemia Foundation: galactosemia.orgDr. Berry’s Paper “Is prenatal myo-inositol deficiency a mechanism of CNS injury in galactosemia?” Link: https://drive.google.com/file/d/1nfWpURDtYK619CZbMHL0FrsHpTlyodW7/view?usp=sharingGrant Abstract “Optimal Window of Opportunity for Granulosa Cell Gene Therapy in Galactosemia”: https://reporter.nih.gov/search/-xJ3CNT65k68090tWRqEwQ/project-details/10787066#similar-ProjectsTo participate in Dr. Berry’s long-term study on galactosemia outcomes, email: gerard.berry@childrens.harvard.eduIn this epis...2025-02-051h 50
Explant Breast Surgery & RecoveryEpisode 102: The Healing Power of Organ Meats with Chef James BerryIn this episode, Dr. Robert Whitfield speaks with Chef James Berry, founder of Pluck, a company dedicated to making organ meats more accessible and appealing. They delve into topics such as breast implant illness, nutrition, and food quality. Dr. Whitfield provides valuable insights into the effects of breast implant illness, and available treatment options, and shares personal stories from women who have undergone explant surgery. Chef Berry underscores the importance of nutrition and aims to make organ meats more accessible to the public. Together, they examine the evolution of food quality, the importance of mindful eating, and the impact...2025-01-3036 min
La minute poésieC'est la belle nuit de noël - Jean-Pierre Mercier, lu par Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-12-2001 min
La minute poésieSt Nicolas et les trois petits enfants - Légende lue par Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-12-0602 min
La minute poésieUn homme viendra de la mer - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-11-1901 min
La minute poésieLe beau voyage - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-11-0400 min
La minute poésieDisque - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-10-2101 min
JIMD PodcastsAdult outcomes in classic galactosemiaOlivia Garrett, Jared Druss, Estela Rubio-Gozalbo, Gerard Berry, and Judith Fridovich-Keil discuss outcomes in classic galactosemia drawn from patient surveys of 92 adults.
Health and well-being of maturing adults with classic galactosemia
Olivia S. Garrett, Jared J. Druss, E. Naomi Vos, Yu-Ting Debbie Fu, Stephanie Lucia, Patricia E. Greenstein, Anna Bauer, Jolanta Sykut-Cegielska, Karolina M. Stepien, Cameron Arbuckle, Olga Grafakou, Uta Meyer, Nele Vanhoutvin, Adriana Pané, Annet M. Bosch, Estela Rubio-Gozalbo, Gerard T. Berry, Judith L. Fridovich-Keil
https://doi.org/10.1002/jimd.127862024-10-1135 min
Redefining Energy148. Batteries: the Great Consolidation“Summer has come and passed / The innocent can never last / Wake me up when September ends”. Like John Wick, Laurent thinks he is back.So we have a very energetic Minutes to start September. With Gerard, the co-hosts focus on one of the key trends of 2024 which they call “Batteries, the Great Consolidation”. A lot of great experts are helping shape our view.To name a few Aaron Wade, Tom Tsogt, Cormac O’Laoire, Christopher Chico, Chris Berry, Benchmark Minerals Intelligence/Rho Motion (Iola Hughe and all Simon Moores’ team). We are thankful for their relentless drive to show us the f...2024-09-0212 min
Short For A Stormtrooper: A 15 minute Star Wars podcastS01E18: Glossing up Galaxy's Edge, Part TwoGalaxy's Edge is great and all, but... is it everything we hoped it would be? Join Bob and game designer Joe Mares as they take in Ghost Town Alive at Knott's Berry Farm, and then think about how Disney could incorporate some of those ideas to make Batuu the place we all want to be!2024-08-0615 minShort For A Stormtrooper: A 15 minute Star Wars podcastS01E17: Glossing up Galaxy's Edge, Part OneLet's continue the "Star Wars at the Parks" series as we visit with game designer Joe Mares, who helped design some of the early prototypes that led to the interactive "gameplay" at Star Wars Galaxy's Edge. What do you need to keep in mind when you're creating something like this? It's more complicated than you think! Recorded live on location at Knott's Berry Farm (for reasons which will become clear...)2024-07-3015 min
La minute poésieLa petite fille et la fourmi - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-05-3001 minLa minute poésiePhoto Instantanée - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-05-2701 minLa minute poésieUn homme viendra de la mer - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-05-2401 minLa minute poésieLe beau voyage - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-05-2200 minLa minute poésieUn soir avec Arthur - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-05-1701 minLa minute poésieCarole - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-05-1501 minLa minute poésieMa demoiselle de coeur - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-05-1301 minLa minute poésieL'histoire du petit bonheur - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-05-0601 minLa minute poésieDisque - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-04-2601 min
Petites histoires de scienceL’erreur humaine en informatiqueAu micro d’Étienne Ghys, Gérard Berry aborde la question des erreurs en informatique, c’est-à-dire des bugs qui ne sont pas des erreurs du programme ou de la machine, mais des erreurs humaines. Il y en a beaucoup, beaucoup trop, en raison de l’immense distance entre nous les hommes, intelligents, inventifs, lents et qui nous trompons souvent, et l’ordinateur physique qui est exactement à l’opposé : totalement stupide, absolument idiot mais hyper-rapide. C’est précisément pour lutter contre cette difficulté fondamentale qu’a été créée et développée une des grandes branches de la science informatique...2024-04-0422 min
Couleurs folkA votre menu folk: des sonorités irlandaises pour la Saint PatrickCette semaine dans ' Couleurs Folk!'spécial Saint Patrick: Clannad - Mark Knopfler - Gérard Kramer - Scoops - Doolin' - Carré Manchot - Sharon Shannon.Distribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-03-1630 min
L'instant cultureLe festival "Vive la Magie" sera de retour à Bourges en octobreCela faisait 10 ans qu'il n'était pas passé dans le Cher. Le festival "Vive la Magie" sera au Palais d'Auron pour présenter son spectacle "Golden Magic" le 4 octobre prochain.Quel est le truc ? On en parle avec le magicien et directeur du festival, Gérard Souchet.Distribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2024-02-1609 min
Colloques du Collège de France - Collège de FranceColloque de rentrée 2023 - Apprendre et enseigner, de la préhistoire à demain : Enseigner les algorithmes en mode « débranché » pour mieux les comprendreColloque de rentrée 2023 - Apprendre et enseigner, de la préhistoire à demainColloque de rentrée 2023 - Apprendre et enseigner, de la préhistoire à demain : Enseigner les algorithmes en mode « débranché » pour mieux les comprendreIntervenant(s)Gérard Berry, Professeur du Collège de FranceRésuméL'informatique n'est entrée officiellement dans l'enseignement français que vers 2015, mais sans formation adaptée des professeurs. Beaucoup se sont concentrés sur la programmation des ordinateurs, pertinente bien sûr mais où l...2023-10-2031 min
De Lichtspodcast#18 - SRAPMBerry is echt overal geweest, Jeroen kondigt een vers ideetje aan. We gaan bloemschikken in Limburg, feliciteren weer een heel regiment lichtmensen met een nieuwe baan én de wallwasher met haar verjaardag. Vinden een uitgeputte postduif en hebben een heuse primeur!
Lights in Alingsås https://www.lightsinalingsas.se/en/
Nacht van de nacht: https://www.nachtvandenacht.nl/
Docu Gerard Philips: https://www.philips.nl/a-w/about/news/archive/standard/about/news/articles/2023/20230525-ontmoet-gerard-philips-grondlegger-van-brainport-eindhoven.html
Lichtshow Geberit Alba wc pot: https://youtu.be/Fa9-Od_Ao34?si=X0_SKf...2023-10-1842 min
What's Eating CaleA Movie with Hugh Jackman, Kate Winslet, Chris Pratt, Emma Stone, Richard Gere, Seth MacFarlane, Jason Sudeikis, Uma Thurman, Halle Berry and More // Documentaries That Protect You and Help You Live Your Best LifeA movie you probably never heard of stars more A-List celebrities than any other movie. You must watch it and you must brace yourself. CAST: Dennis Quaid, Greg Kinnear, Common, Seth MacFarlane, Hugh Jackman, Kate Winslet, Liev Schreiber, Naomi Watts, Anna Faris, Chris Pratt, J.B. Smoove, Kieran Culkin, Emma Stone, Richard Gere, Kate Bosworth, Justin Long, Jason Sudeikis, Uma Thurman, Kristen Bell, Patrick Warburton, Gerard Butler, Seann William Scott, Johnny Knoxville, Halle Berry, Terrence Howard, Elizabeth Banks, Josh DuhamelMy list of documentaries to help protect you and live your best life.2023-08-1828 minLa minute poésieL'histoire du petit bonheur - Gérard Emery, lu par Claudine Genest (Perlette)Distribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2023-07-1401 min
Florida's Fresh MixHow Popular 90s Cartoons Inspired Graphic Designer Carly Berry of TallahasseeIt's okay to be weird. It's totally cool ... seriously though! Think of all the strange cartoons from back in the day. "Ren & Stimpy" was WEIRD. "Spongebob Squarepants" was WEIRD. "Rugrats," "CatDog," and "The Angry Beavers" were all super WEIRD. And, let's face it, the creators of those incredibly iconic and innovative shows must have been pretty odd, but we love them for that. Today's guest has been a fan of all those cartoons since she was a kid, and those weirdo (genius) creators have since inspired her to pursue her artistry. Carly Berry is a talented artist...2023-07-0747 min
Florida Podcast Network's All Shows FeedHow Popular 90s Cartoons Inspired Graphic Designer Carly Berry of TallahasseeIt's okay to be weird. It's totally cool ... seriously though! Think of all the strange cartoons from back in the day. "Ren & Stimpy" was WEIRD. "Spongebob Squarepants" was WEIRD. "Rugrats," "CatDog," and "The Angry Beavers" were all super WEIRD. And, let's face it, the creators of those incredibly iconic and innovative shows must have been pretty odd, but we love them for that. Today's guest has been a fan of all those cartoons since she was a kid, and those weirdo (genius) creators have since inspired her to pursue her artistry. Carly Berry is a talented artist...2023-07-0747 min
3 questions à (Berry)Châtillon-sur-Indre a un passé écossaisLes communes de Cruden Bay en Ecosse et Châtillon-sur-Indre sont désormais jumelées. Il faut dire que la commune indrienne a un passé écossais d'après le Maire Gérard Nicaud.2023-06-0803 min
NSI Lycée Emile DUCLAUX AURILLACPourquoi et comment le monde devient numérique (3) - Gérard Berry (2007-2008)Enseignement 2007-2008 : Pourquoi et comment le monde devient numérique
Cours du vendredi 1 février 2008 : Des circuits aux systèmes sur puces
Intervenant(s) : Gérard Berry, Collège de France
Chaire Algorithmes, machines et langages (2007-2019)
Professeur : Gérard Berry
Retrouvez tous ses enseignements :
https://www.college-de-france.fr/site/gerard-berry
Mots-clés :Calcul informatique, Programmation informatique, Langages de programmation, Esterel
Le Collège de France est une institution de recherche fondamentale dans tous les domaines de la connaissance et un lieu de diffusion du « savoir en train d...2023-05-2300 minLa minute poésieLes soirs calmes - Gérard Emery, lu par Sylvain CholetDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2023-05-0501 min
3 questions à (Berry)Des travaux pour le château de Châtillon-sur-IndreDébut de travaux en cette année 2023 pour le château de Châtillon-sur-Indre. Présentation du calendrier avec le maire Gérard Nicaud.2023-01-2003 min
L'Indre à vos côtésUn nouveau foyer de vie à Saint-GaultierDepuis quelques semaines Saint-Gaultier compte un nouveau foyer de vie. Présentation de ce lieu avec Gérard Mayaud, vice-Président délégué à l'Action Sociale et aux Solidarités Humaines pour le Département de l'Indre.Distribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2022-10-1814 min
Bruno LorenziRencontre avec Gérard Berry, Président du Conseil scientifique d'Orange - Rencontre avec...Pour inventer un futur où la technologie est au service de l’humain, les chercheurs d’Orange explorent chaque jour des ruptures technologiques, de nouveaux usages et des modèles économiques innovants. Dans cette mission, ils peuvent compter sur le soutien du Conseil scientifique d’Orange. Nous sommes allés à la rencontre de Gérard Berry, président du Conseil scientifique d’Orange pour en savoir plus sur les missions de ce Conseil, et son regard sur nos prospectives et sur la création de valeur apportée par la Recherche d’Orange ?2022-03-2409 min
Rare Disease DiscussionsGalactosemia Roundtable Discussion OverviewA group of leading experts in metabolic disorders, advocates, and family representatives attended a virtual conference to discuss Type 1 galactosemia.This roundtable discussion features perspectives from advocates, experts, and families living with Type 1 galactosemia. Galactosemia is a rare genetic disease that can be life-threatening for newborns and cause severe lifelong complications starting as early as the first year of life. Galactosemia affects the body’s ability to make the enzyme that breaks down galactose, a simple sugar produced endogenously by the body that is also found in dairy and other foods, including breast milk. The genetic mutations driving ga...2022-03-1951 min
We Speak Your LanguageEpisode 3 - Gérard BerryGerard Berry is a pioneer of compiler technology for safety-critical systems. He began his studies in computer science all the way back in 1968. Gerard has watched software technology grow into what it is today - he has seen it all, and then some. In this episode he will discuss the history, infancy, and development of his very own language, ESTEREL.2022-02-2435 min
Since You Can't Smell It, I'll Tell ItMOISTURIZER - ICHI BAN (HALLEY BERRY)Since you can't smell it, I'll tell it. This is where you will learn who can wear it, what type, how well does it smell, as well as when to wear it.
---
Send in a voice message: https://anchor.fm/thesheabutterman/message
Support this podcast: https://anchor.fm/thesheabutterman/support2021-12-0901 min
#LeplusimportantPour un web des lumières 7/8 : Éduquer les enfants et les jeunes à l’usage constructif du numériqueDécouvrez notre quatrième table ronde du colloque international "Pour un web des lumières" co-organisé avec l'UNESCO intitulée "Éduquer les enfants et les jeunes à l’usage constructif du numérique pour favoriser leur autonomie et le développement de leurs capacités"
Merci à :
- Stefania Giannini, Sous-Directrice générale pour l’éducation, Unesco
- Andrew Wyckoff, DirecteurDirection de la science, de la technologie et de l'innovation, OCDE
- Divina Frau-Meigs, Professeure, UniversitéSorbonne Nouvelle
- Agita Pasaribu, Fondatrice et directrice exécutive Bullyid App, Indonésie
- Jean-Marc...2021-11-031h 20
Vu d'iciUn peu d'HistoireEn première partie d'émission, on évoquera la vie d'Étienne Bouges, domestique au service de la famille Bertrrand, qui était à Sainte Hélène avec Napoléon. Ensuite, nous recevons Gérard Guillaume, auteur cette année d'un guide des pélerinages et chemins de Compostelle en Berry. Tout ça sous la houlette de Gilles Boizeau.2021-11-0326 minLa minute poésieFlûte traversière - Gérard EmeryDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2021-09-1601 min
Thank God It's KitchenLove's Kitchen (2011): Triflin' Bunk Gerard ButlerAnother day in the kitchen, another awesome recipe to share! This week we talk about a new movie, Loves Kitchen. It drives Adriane so crazy she branches out to her old baking skills and re-creates a main dish from the movie! Join us while we talk about different passions, a helpful plant by the name of yarrow, and bring back our sweet tooth!
Sponge Cake:
2 lbs 4 oz Egg
1 lbs 8 oz White Sugar
1 lbs 8 oz Flour, sifted
8 oz Butter, melted
.5 oz Vanilla
This is the Sponge Method of cake baking so follow carefully: Scale all ingredients and keep at room temperature...2021-08-0553 minLa minute poésieComme un feu au bout de la main - Gérard Emery, lu par Xavier SalomonDistribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2021-04-2000 min
Blacker the BerryTurning Cole into Diamonds X Blacker the BerryWe going going back to Cali with the one and only Gerard Cole! Gerard is a comedian as well as a podcaster. He hosts the Turning Cole Into Diamonds, and he came by to kick with the BTB. They get into his start into comedy, life in Cali, politics, being black and authentic and his dealings with the Hollywood World. We also get into how the boys were introduced to Gerard through Martinssss! This is one hell of a podcast ! Buckle up yah bastards you are in for a fun ride.2020-12-2450 min
Salut les vinylesJohnny HALLYDAY, Edith PIAF, ...Programme éclectique…Par ordre d’apparition sur la platine :Johnny HALLYDAY – Noir c’est noir (1966)Edith PIAF – Mon Manège à moi c’est toi (1958)Fernand RAYNAUD – La 2CV de ma Sœur (1960)Elvis PRESLEY – Blue Berry Hill (1957)Georgette PLANA – Les Nuits à Séville (1968)André VERCHUREN – Rose-Marie Polka (1951)ADAMO – Inch’Allah (1967)Distribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2020-10-0529 min
Les InitiantsTête chercheuse - Michel BerryLa première fois que j’ai rencontré Michel, j’ai senti qu’il y avait une connexion entre nous. Ce podcast Les Initiants se rapproche du jardin des entreprenants qu’il cultive pour donner la parole à ces personnes qui osent, tentent, innovent et cherchent des solutions pour améliorer le monde et leur monde.C’était donc tout naturel d’inviter cet explorateur de l’humain. Celui qui à travers son parcours par l’école des Mines, le CNRS et ou l’école de Paris du management qu’il a fondée, a préféré parfois sacrifier son confort matériel a...2020-05-0700 min
Metropolis Mix SeriesMetropolis 071 [PROTON RADIO]If you like what you listen, please do not hesitate to follow me through my Facebook page here :
www.facebook.com/DJGerardBozyk/
TRACKLIST :
Paul Kardos - Chustnut (Original Mix) [Armadillo Records]
Hermanez - Flame Keeper (Original Mix) [Shanti Radio Moscow]
Weird Sounding Dude - Hugel (Original Mix) [Onedotsixtwo]
DAVI - Lie Machine (Orginal Mix) [Crosstown Rebels]
Vapour - Nzambe Yimbu (Shai T & Dj Zombi Remix) [Beat Boutique]
Chris Cargo - Sacred (Original Mix) [Soundgarden]
Nishan Lee - Dusty Bees (Matias Chilano Remix) [Onedotsixtwo]
Nishan Lee - Dusty Bees (Anton Make) [Onedotsixtwo]
Simon Berry & Luke Brancaccio Ft. Kiki Cave - Here...2020-01-081h 00
Probablement?Open science avec Célya Gruson-Daniel (HackYourPhD & DRISS) | Probablement?J'accueille Célya Gruson-Daniel, docteur en sciences de l'information et de la communication, co-fondatrice de HackYourPhD et co-fondatrice récente de DRISS (Digital Research in Science & Society). #openscience
Retrouvez Célya sur Internet !
Site web : https://celyagd.github.io/
Twitter : https://twitter.com/celyagd
Tumblr : https://yogeekons.tumblr.com/
Thèse en libre accès (CC-BY-SA) : https://zenodo.org/record/1491292#.XTBwbFDgrOQ
Hack Your PhD
Site web : hackyourphd.org
Facebook : https://www.facebook.com/groups/499463776745202/
Twitter : https://twitter.com/HackYourPhd
DRISS : https://driss.org/
—————————————————
Quelques liens partagés par Célya :
- un blog en français qui discute d’Elsevier et des frais de publications : https://scoms...2019-08-032h 20
Algorithmes, machines et langages - Gérard BerryOù va l'informatique ? - VIDEOGérard Berry
Algorithmes, machines et langages
Collège de France
LEÇON DE CLÔTURE
Où va l'informatique ?
26 février 20192019-02-261h 00Algorithmes, machines et langages - Gérard BerryOù va l'informatique ? - PDFGérard Berry
Algorithmes, machines et langages
Collège de France
LEÇON DE CLÔTURE
Où va l'informatique ?
26 février 20192019-02-261h 00Algorithmes, machines et langages - Gérard BerryOù va l'informatique ?Gérard Berry
Algorithmes, machines et langages
Collège de France
LEÇON DE CLÔTURE
Où va l'informatique ?
26 février 20192019-02-261h 00
Collège de France - SélectionLeçon de clôture - Gérard Berry : Où va l'informatique ? - Plaidoyer pour les trajectoires non linéairesGérard BerryAlgorithmes, machines et langagesCollège de FranceLEÇON DE CLÔTUREOù va l'informatique ? - Plaidoyer pour les trajectoires non linéaires26 février 20192019-02-261h 00
Metropolis Mix SeriesMetropolis 060 (5 Year Anniversary) [PROTON RADIO]If you like what you listen, please do not hesitate to follow me trough my Facebook page here :
www.facebook.com/DJGerardBozyk/
or check out my new website here :
http://gerardbmusic.com/
TRACK LIST :
Highjacks - Athenian (Original Mix) [Tarnished Tracks]
Rod-V - Understated (Pranav Mayekar Remix) [Soundteller Records]
Simon Berry, Luke Brancaccio - I Hear This (Original Mix) [Bedrock Records]
Jonnas B - Fear (Yudi Watanabe Remix) [Massive Harmony Records]
Paul Kardos - Ameba (Original Mix) [Soundteller Records]
Khen - Closing Doors (Original Mix) [Anjunadeep]
Andrey Plavinskiy - 5th Avenue (Zan Prevee Remix) [Lincor]
Forty Cats - Fluency Rate...2019-01-2259 min
Collège BelgiqueComment rendre l'informatique plus sûre13.09.2018
Gérard Berry2018-09-211h 23
ItinéraireGérard CapazzaUne vie dédiée à l'art contemporain. C'est la vocation de Gérard Capazza. Arrivé du Bordelais il décide il y a plus de 40 ans de s'installer à Nançay, au coeur de la Sologne pour y créer plus qu'une Galerie d'Art, un lieu unique dédié à l'art contemporain qui accueille les plus grands noms. Jacques Feuillet l'a rencontré dans Itinéraires. La Galerie Capazza est situé dans un superbe Château à Nançay au coeur de la Sologne, elle est ouverte tous les weekends, le cadre est magique. Plus d'infos sur galerie-capazza.comDistribué par Audi...2017-07-3023 min
- Radio AlterNantes FMGérard Berry, professeur au Collège de FranceVu sur Gérard Berry, professeur au Collège de France
Gérard Berry, professeur au Collège de France, est intervenu dans le cadre des conférences de l’Institut d’études avancées de Nantes au Lieu unique sur le thème : « L’informatique change le monde et voici pourquoi ».. Une émission de Michel Sourget.
Cet article provient de Radio AlterNantes FM2017-03-0720 min
Science : conférences audioPIF 15 – Informatique et science de la nature15e rencontres Physique et Interrogations Fondatmentales. Conférence du 19 novembre 2016 avec Gérard Berry. En tant que discipline de la recherche fondamentale, la physique participe à part entière à la culture. Elle tente d'apporter un éclairage scientifique à certaines des grandes interrogations qui hantent l'humanité. Le but de ces rencontres est de permettre aux physiciens de réfléchir à haute voix à ces questions, d'en débattre entre eux et avec tous ceux -enseignants, chercheurs d'autres disciplines - qui peuvent s'y intéresser. En partenariat avec la Société Française de Physique2017-02-1600 min
Science : conférences vidéoPIF 15 – Informatique et science de la nature15e rencontres Physique et Interrogations Fondatmentales. Conférence du 19 novembre 2016 avec Gérard Berry. En tant que discipline de la recherche fondamentale, la physique participe à part entière à la culture. Elle tente d'apporter un éclairage scientifique à certaines des grandes interrogations qui hantent l'humanité. Le but de ces rencontres est de permettre aux physiciens de réfléchir à haute voix à ces questions, d'en débattre entre eux et avec tous ceux -enseignants, chercheurs d'autres disciplines - qui peuvent s'y intéresser. En partenariat avec la Société Française de Physique2017-02-1600 min- Radio AlterNantes FMRien à Voir : Rencontre avec Antonio LoprienoVu sur Rien à Voir : Rencontre avec Antonio Loprieno
Antonio Loprieno, égyptologue, recteur de l’Université de Bâle de 2006 à 2015, est intervenu dans le cadre des conférences de l’Institut d’études avancées de Nantes sur le thème : « L’université européenne : une culture du désenchantement ? ». Le prochain invité de l’IEA sera Gérard Berry le mardi 7 février à 18h00 au Lieu […]
Cet article provient de Radio AlterNantes FM2017-02-1420 minAlgorithmes, machines et langages - Gérard Berry06 - Prouver les programmes : pourquoi, quand, comment ? - PDFGérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Sixième leçon : Vérification et optimisation booléennes d'automates et circuits
Ce dernier cours de 2014-2015 introduit les méthodes implicites de manipulation de systèmes de transitions, à travers les méthodes de calcul booléen utilisées à la fois pour la vérification formelles et pour l’optimisation de circuits électroniques et de programmes qui peuvent se réduire au calcul booléen.
Ces méthodes ont révolutionné le domaine en permettant des vérifications formelles de systèmes dont le calcul explicite des...2015-04-011h 09Algorithmes, machines et langages - Gérard Berry06 - Prouver les programmes : pourquoi, quand, comment ?Gérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Sixième leçon : Vérification et optimisation booléennes d'automates et circuits
Ce dernier cours de 2014-2015 introduit les méthodes implicites de manipulation de systèmes de transitions, à travers les méthodes de calcul booléen utilisées à la fois pour la vérification formelles et pour l’optimisation de circuits électroniques et de programmes qui peuvent se réduire au calcul booléen.
Ces méthodes ont révolutionné le domaine en permettant des vérifications formelles de systèmes dont le calcul explicite des...2015-04-011h 09Algorithmes, machines et langages - Gérard Berry05 - Prouver les programmes : pourquoi, quand, comment ? - PDFGérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Sixième leçon : La vérification de modèles (model-checking)
Ce cours termine la présentation générale des méthodes de vérification formelle par la vérification de modèles, plus connue sous son nom anglais original de model-checking. Cette méthode est bien différente des précédentes car elle s’intéresse essentiellement aux programmes d’états finis, ceux dont on peut au moins conceptuellement dérouler complètement toutes les exécutions possibles en temps et espace fini. De plus, cont...2015-03-251h 03Algorithmes, machines et langages - Gérard Berry05 - Prouver les programmes : pourquoi, quand, comment ?Gérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Cinquième leçon : La vérification de modèles (model-checking)
Ce cours termine la présentation générale des méthodes de vérification formelle par la vérification de modèles, plus connue sous son nom anglais original de model-checking. Cette méthode est bien différente des précédentes car elle s’intéresse essentiellement aux programmes d’états finis, ceux dont on peut au moins conceptuellement dérouler complètement toutes les exécutions possibles en temps et espace fini. De plus, cont...2015-03-251h 03Algorithmes, machines et langages - Gérard Berry04 - Prouver les programmes : pourquoi, quand, comment ? - PDFGérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Quatrième leçon : Des logiques d'ordre supérieur à la programmation vérifiée en Coq
Ce cours complète le précédent en terminant la présentation des méthodes générales de preuve de programmes par celle fondée sur les logiques d’ordre supérieur (celles où l’on peut aussi quantifier sur les prédicats) et sur le lambda-calcul déjà présenté en détail dans le cours 2009-2010. Nous montrons d’abord pourquoi l’ordre supérieur est plus expressif que l’or...2015-03-181h 12Algorithmes, machines et langages - Gérard Berry04 - Prouver les programmes : pourquoi, quand, comment ?Gérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Quatrième leçon : Des logiques d'ordre supérieur à la programmation vérifiée en Coq
Ce cours complète le précédent en terminant la présentation des méthodes générales de preuve de programmes par celle fondée sur les logiques d’ordre supérieur (celles où l’on peut aussi quantifier sur les prédicats) et sur le lambda-calcul déjà présenté en détail dans le cours 2009-2010. Nous montrons d’abord pourquoi l’ordre supérieur est plus expressif que l’or...2015-03-181h 12Algorithmes, machines et langages - Gérard Berry03 - Prouver les programmes : pourquoi, quand, comment ? - PDFGérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Troisième leçon : Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve
Il y a deux principaux types de méthodes formelles pour la preuve de programme : les méthodes générales, qui s’adressent à tous les types de programmes et seront présentées dans ce cours, et celles de la vérification de modèles (model-checking), qui s’intéressent principalement aux programmes à espaces d’états finis et aux circuits électroniques et seront traitées dans le cours...2015-03-111h 11Algorithmes, machines et langages - Gérard Berry03 - Prouver les programmes : pourquoi, quand, comment ?Gérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Troisième leçon : Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve
Il y a deux principaux types de méthodes formelles pour la preuve de programme : les méthodes générales, qui s’adressent à tous les types de programmes et seront présentées dans ce cours, et celles de la vérification de modèles (model-checking), qui s’intéressent principalement aux programmes à espaces d’états finis et aux circuits électroniques et seront traitées dans le cours...2015-03-111h 11Algorithmes, machines et langages - Gérard Berry02 - Prouver les programmes : pourquoi, quand, comment ? - PDFGérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Deuxième leçon : De la spécification à la réalisation, au test et à la preuve : les approches formelles
Ce premier cours du cycle « Prouver les programmes : pourquoi, quand, comment » a pour but d’introduire les méthodes formelles de développement et vérification de programmes, en les reliant aux méthodes de programmation, test et validation classiques.
Dès les débuts de l’informatique, la difficulté de faire des programmes justes est apparue comme un problème majeur. Deux approches bien différentes ont été dé...2015-03-041h 10Algorithmes, machines et langages - Gérard Berry02 - Prouver les programmes : pourquoi, quand, comment ?Gérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Deuxième leçon : De la spécification à la réalisation, au test et à la preuve : les approches formelles
Ce premier cours du cycle « Prouver les programmes : pourquoi, quand, comment » a pour but d’introduire les méthodes formelles de développement et vérification de programmes, en les reliant aux méthodes de programmation, test et validation classiques.
Dès les débuts de l’informatique, la difficulté de faire des programmes justes est apparue comme un problème majeur. Deux approches bien différentes ont été dé...2015-03-041h 10Algorithmes, machines et langages - Gérard Berry01 - Prouver les programmes : pourquoi, quand, comment ? - PDFGérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Première leçon : La révolution informatique dans les sciences
L’informatique sert depuis longtemps de moyen de calcul dans les autres sciences, que ce soit en sciences de la nature ou en mathématiques. Mais un changement profond de vison de son rôle dans les sciences naturelles est en cours : la pensée algorithmique et ses réalisations informatiques apportent désormais un regard nouveau sur la façon d’étudier les phénomènes, et cela en particulier dans les sciences de la vie...2015-01-281h 20Algorithmes, machines et langages - Gérard Berry01 - Prouver les programmes : pourquoi, quand, comment ?Gérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Première leçon : La révolution informatique dans les sciences
L’informatique sert depuis longtemps de moyen de calcul dans les autres sciences, que ce soit en sciences de la nature ou en mathématiques. Mais un changement profond de vison de son rôle dans les sciences naturelles est en cours : la pensée algorithmique et ses réalisations informatiques apportent désormais un regard nouveau sur la façon d’étudier les phénomènes, et cela en particulier dans les sciences de la vie...2015-01-281h 20
EntretiensGérard Berry - L'informatique du temps et des événementsGérard Berry
Collège de France
Algorithmes, machines et langages
L'informatique du temps et des événements2014-05-2808 minEntretiensGérard Berry - L'informatique, une science fondamentaleGérard Berry
Collège de France
Algorithmes, machines et langages
L'informatique, une science fondamentale2014-05-2804 minCollège de France - SélectionLeçon inaugurale - Gérard Berry : L'informatique du temps et des événementsGérard BerryCollège de FranceChaire Algorithmes, machines et langages (2012-2019)Leçon inaugurale : L'informatique du temps et des événementsDate : 28 mars 2013RésuméGérer le temps et les événements est central dans des domaines variés de l'informatique, des circuits et logiciels embarqués dans des objets de toutes sortes à la création musicale, en passant par la simulation de phénomènes physiques. Ce sujet est pourtant peu traité par l'informatique classique. Cette leçon présente des mo...2013-03-281h 00
Colloques interdisciplinaires03 - La révolution numérique dans les sciencesColloque de rentrée 2010 du Collège de France
La mondialisation de la recherche. Compétition, coopérations, restructurations
Gérard Berry : La révolution numérique dans les sciences
14 et 15 octobre 2010
Comité scientifique :
Gérard Fussman
Antoine Compagnon
Philippe Descola
Philippe Kourilsky
Professeurs au Collège de France
Colloque financé par la Fondation Hugot du Collège de France2010-11-0229 minCollège de France - SélectionLeçon inaugurale - Gérard Berry : Penser, modéliser et maîtriser le calcul informatiqueGérard Berry Collège de France Chaire annuelle Informatique et sciences numériques (2009-2010) LEÇON INAUGURALE : Penser, modéliser et maîtriser le calcul informatique Date : 19 novembre 2009 RésuméNotre vie quotidienne est sans cesse bouleversée par les innovations technologiques du monde numérique. Mais les fondements de celui-ci restent largement ignorés du public, qui semble en permanence surpris par des évolutions pourtant prévisibles : c'est le signe d'un schéma mental mal adapté. L'ambition de cette leçon inaugural...2009-11-1959 min
Informatique et sciences numériques08 - Les grands challenges du numérique, conclusionGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Huitième cours
Les grands challenges du numérique, conclusion
28 mars 20082008-04-241h 01Informatique et sciences numériques07 - Les grands challenges du numériqueGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Septième cours
Les grands challenges du numérique
21 mars 20082008-04-2402 minInformatique et sciences numériquesÀ la chasse aux bugsLe Collège de France présente :
Gérard Berry
Chaire d'Innovation technologique Liliane Bettencourt
À la chasse aux bugs : La vérification des programmes et circuits2008-04-1659 minInformatique et sciences numériques06 - Les réseaux, un espace d'innovation exceptionnelGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Sixième cours
Les réseaux, un espace d'innovation exceptionnel
14 mars 20082008-03-2856 minInformatique et sciences numériques05 - A la chasse aux bugs : la vérification des programmes et circuitsGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Cinquième cours
A la chasse aux bugs : la vérification des programmes et circuits
22 février 20082008-03-2859 minInformatique et sciences numériques04 - Les systèmes embarqués et l'informatisation des objetsGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Quatrième cours
Les systèmes embarqués et l'informatisation des objets
15 février 20082008-03-2857 minInformatique et sciences numériques03 - Les langages de programmation, vecteurs de la pensée informatiqueGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Troisième cours
Les langages de programmation, vecteurs de la pensée informatique
1er février 20082008-03-2859 minInformatique et sciences numériques02 - Des circuits aux systèmes sur pucesGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Deuxième cours
Des circuits aux systèmes sur puces
1er février 20082008-03-281h 00Informatique et sciences numériques01 - Les algorithmes, coeur de l'informatiqueGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Premier cours
Les algorithmes, coeur de l'informatique
25 janvier 20082008-03-2852 minInformatique et sciences numériquesPourquoi et comment le monde devient numériqueGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
LEÇON INAUGURALE
Pourquoi et comment le monde devient numérique
17 janvier 20082008-01-2357 minInformatique et sciences numériquesPourquoi et comment le monde devient numérique PDFGérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
LEÇON INAUGURALE
Pourquoi et comment le monde devient numérique
17 janvier 20082008-01-2300 minCollège de France - SélectionLeçon inaugurale - Gérard Berry : Pourquoi et comment le monde devient numériqueGérard Berry Collège de France Chaire annuelle Innovation technologique - Liliane Bettencourt (2007-2008) LEÇON INAUGURALE : Pourquoi et comment le monde devient numérique Date : 17 janvier 2008 RésuméNotre vie quotidienne est sans cesse bouleversée par les innovations technologiques du monde numérique. Mais les fondements de celui-ci restent largement ignorés du public, qui semble en permanence surpris par des évolutions pourtant prévisibles : c'est le signe d'un schéma mental mal adapté. L'ambition de cette leçon inaugurale...2008-01-1756 min