שרון קנטור ומומחים לומדים ומלמדים דברים חדשים
…
continue reading
Content provided by Tamir Nave & Uri Goren, Tamir Nave, and Uri Goren. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Tamir Nave & Uri Goren, Tamir Nave, and Uri Goren or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Similar to ExplAInable
כתבות מוקלטות של מכון דוידסון לחינוך מדעי
…
continue reading
חוקרים וחוקרות שואלים שאלות מרתקות ומתגלגלים מהן אל שאלות רבות אחרות, תחומי ידע נפגשים עם תחומים אחרים, ולעתים גם נמצאת תשובה. בכל תכנית רונה גרשון תלמי תצלול עם החוקרים לעומקם של התהליכים המורכבים שמשפיעים על חיינו
…
continue reading
פודקאסט על מדע, טכנולוגיה והיסטוריה
…
continue reading
הפודקאסט של תינק אנד דרינק, פודקאסט למי שאוהב לחשוב. כל שבוע ד"ר ג'רמי פוגל משוחח עם מיטב המרצים של ליין ההרצאות והספרים של תינק אנד דרינק על השאלות הגדולות של החיים: מה זאת אהבה? מהי משמעות החיים? איך ייראה שוק העבודה בעתיד והאם העולם שלנו הופך לשוויוני פחות או יותר? מהי תפיסת העולם ע"פ איינשטיין או ע"פ פרידריך ניטשה? על כל אלה ועוד הרבה, תוכלו לשמוע מפיו של ד"ר ג'רמי פוגל בסגנונו המיוחד, יחד עם האורחים המרתקים שלנו.
…
continue reading
פודקאסט על כל מה שקשור ברפואה וגוף האדם, מבית רשת עושים היסטוריה. מגישים: ד"ר יובל בלוך ועמליה נוימן
…
continue reading
דורון פישלר נותן תשובות לשאלות הקטנות והגדולות, הטפשיות והמחוכמות, המוזרות והמרתקות של החיים
…
continue reading
ברוכים הבאים לחושבים טוב! כאן יהודית כץ. חושבים טוב נולד כדי שנוכל לחשוב טוב על איך אנחנו מעבירים את ימינו, עם מי אנחנו מסתובבים ובמה אנחנו מזינים את המוח שלנו. כדי שלא ניתן לחיים האלה לחלוף לפני שנשים לב. המטרה שלי היא להנגיש את הכלים והמסקנות הכי חזקות מעולם הפסיכולוגיה והמחקר. בשביל זה, אני פוגשת בכל פרק דמות מרתקת מעולם המחקר או השטח. בשיחה פתוחה, נתעמק כל פעם בנושא שהופך את החיים למשמעותיים: איך עושים שינוי? איך לטפח חוסן נפשי? מאיפה מוצאים אומץ ואיך מקבלים החלטות בעולם מבלבל? ומי אני? ...
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
))
אימות פורמלי של רשתות נוירונים עם איתי בוחניק וד״ר גיא אמיר
Manage episode 406048741 series 2995782
Content provided by Tamir Nave & Uri Goren, Tamir Nave, and Uri Goren. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Tamir Nave & Uri Goren, Tamir Nave, and Uri Goren or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
נדירים המקרים בהם שני תחומים כ״כ רחוקים במדעי המחשב נפגשים, ועוד זוכים להגיע לפרודקשן.
אימות פורמלי הוא תחום העוסק בוידוא מתמטי שתוכנית אמורה לרוץ בלי תקלות, והוכחה שהתוכנית מקיימת תכונות מסוימות.
בדרך כלל רואים אימות פורמלי בתחומים כמו קומפילציה או לוגיקה, ולכן היה מרתק לשמוע איך שיטות תאורטיות כאלו מצאו את עצמן בישום אצל חברת אלביט המפתחת רשתות נוירונים.
בפרק זה איתי (מאלישרא) וגיא (אוניברסיטה העברית) יספרו על שיתוף הפעולה, והישום בשטח.
…
continue reading
אימות פורמלי הוא תחום העוסק בוידוא מתמטי שתוכנית אמורה לרוץ בלי תקלות, והוכחה שהתוכנית מקיימת תכונות מסוימות.
בדרך כלל רואים אימות פורמלי בתחומים כמו קומפילציה או לוגיקה, ולכן היה מרתק לשמוע איך שיטות תאורטיות כאלו מצאו את עצמן בישום אצל חברת אלביט המפתחת רשתות נוירונים.
בפרק זה איתי (מאלישרא) וגיא (אוניברסיטה העברית) יספרו על שיתוף הפעולה, והישום בשטח.
64 episodes
Share
Manage episode 406048741 series 2995782
Content provided by Tamir Nave & Uri Goren, Tamir Nave, and Uri Goren. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Tamir Nave & Uri Goren, Tamir Nave, and Uri Goren or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
נדירים המקרים בהם שני תחומים כ״כ רחוקים במדעי המחשב נפגשים, ועוד זוכים להגיע לפרודקשן.
אימות פורמלי הוא תחום העוסק בוידוא מתמטי שתוכנית אמורה לרוץ בלי תקלות, והוכחה שהתוכנית מקיימת תכונות מסוימות.
בדרך כלל רואים אימות פורמלי בתחומים כמו קומפילציה או לוגיקה, ולכן היה מרתק לשמוע איך שיטות תאורטיות כאלו מצאו את עצמן בישום אצל חברת אלביט המפתחת רשתות נוירונים.
בפרק זה איתי (מאלישרא) וגיא (אוניברסיטה העברית) יספרו על שיתוף הפעולה, והישום בשטח.
…
continue reading
אימות פורמלי הוא תחום העוסק בוידוא מתמטי שתוכנית אמורה לרוץ בלי תקלות, והוכחה שהתוכנית מקיימת תכונות מסוימות.
בדרך כלל רואים אימות פורמלי בתחומים כמו קומפילציה או לוגיקה, ולכן היה מרתק לשמוע איך שיטות תאורטיות כאלו מצאו את עצמן בישום אצל חברת אלביט המפתחת רשתות נוירונים.
בפרק זה איתי (מאלישרא) וגיא (אוניברסיטה העברית) יספרו על שיתוף הפעולה, והישום בשטח.
64 episodes
All episodes
×
Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.
Similar to ExplAInable
שרון קנטור ומומחים לומדים ומלמדים דברים חדשים
…
continue reading
כתבות מוקלטות של מכון דוידסון לחינוך מדעי
…
continue reading
חוקרים וחוקרות שואלים שאלות מרתקות ומתגלגלים מהן אל שאלות רבות אחרות, תחומי ידע נפגשים עם תחומים אחרים, ולעתים גם נמצאת תשובה. בכל תכנית רונה גרשון תלמי תצלול עם החוקרים לעומקם של התהליכים המורכבים שמשפיעים על חיינו
…
continue reading
פודקאסט על מדע, טכנולוגיה והיסטוריה
…
continue reading
הפודקאסט של תינק אנד דרינק, פודקאסט למי שאוהב לחשוב. כל שבוע ד"ר ג'רמי פוגל משוחח עם מיטב המרצים של ליין ההרצאות והספרים של תינק אנד דרינק על השאלות הגדולות של החיים: מה זאת אהבה? מהי משמעות החיים? איך ייראה שוק העבודה בעתיד והאם העולם שלנו הופך לשוויוני פחות או יותר? מהי תפיסת העולם ע"פ איינשטיין או ע"פ פרידריך ניטשה? על כל אלה ועוד הרבה, תוכלו לשמוע מפיו של ד"ר ג'רמי פוגל בסגנונו המיוחד, יחד עם האורחים המרתקים שלנו.
…
continue reading
פודקאסט על כל מה שקשור ברפואה וגוף האדם, מבית רשת עושים היסטוריה. מגישים: ד"ר יובל בלוך ועמליה נוימן
…
continue reading
דורון פישלר נותן תשובות לשאלות הקטנות והגדולות, הטפשיות והמחוכמות, המוזרות והמרתקות של החיים
…
continue reading
ברוכים הבאים לחושבים טוב! כאן יהודית כץ. חושבים טוב נולד כדי שנוכל לחשוב טוב על איך אנחנו מעבירים את ימינו, עם מי אנחנו מסתובבים ובמה אנחנו מזינים את המוח שלנו. כדי שלא ניתן לחיים האלה לחלוף לפני שנשים לב. המטרה שלי היא להנגיש את הכלים והמסקנות הכי חזקות מעולם הפסיכולוגיה והמחקר. בשביל זה, אני פוגשת בכל פרק דמות מרתקת מעולם המחקר או השטח. בשיחה פתוחה, נתעמק כל פעם בנושא שהופך את החיים למשמעותיים: איך עושים שינוי? איך לטפח חוסן נפשי? מאיפה מוצאים אומץ ואיך מקבלים החלטות בעולם מבלבל? ומי אני? ...
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
