חוג: מדעי המחשב
חוקרים: פרופ' גד לנדאו
מימון: ISF 2023-2027 (משותף עם Amihood Amir)
מחקר בתחום Stringology ו-Pattern Matching. המחקר מציע מודל חדש לטיפול בקלט מקורב או פגום, במקום הגישה המסורתית של parsimony. המטרה היא להבין את המורכבות והיישומיות של המודל החדש.
חוג: מדעי המחשב
חוקרים: פרופ' סימון קורמן, דינה קוגן, דין עמאר
פיתוח טכניקות מבוססות NeRF ו-Gaussian Splatting ליישור גיאומטרי צפוף בין פריימים רצופים בווידאו. המחקר מיועד לשיפור יכולות מרחביות ביישומים של רובוטיקה, כלי רכב אוטונומיים, רחפנים ו-AR.
חוג: מדעי המחשב
חוקרים: פרופ' מיכל דורי
פיתוח אלגוריתמים מהירים לבעיות גרפים בסיסיות בגרפים עצומים, עם דגש על אלגוריתמים מבוזרים ומקבילים מאסיביים. המחקר מתמקד בבעיות הקשורות למרחקים, חתכים וזרימות ברשתות תקשורת בקנה מידה גדול.
חוג: מדעי המחשב
חוקרים: פרופ' נוגה רון-צבי
מימון: ERC
קודים מתקני שגיאות הם שיטה לייצוג עודף (redundant) של נתונים, המאפשרת לשחזר את הנתונים המקוריים אפילו בנוכחות רעש או השחתה מסוימת. המחקר שואף לתכנן קודים מתקני שגיאות יעילים ביותר שמשיגים את הביצועים האינפורמציה-תיאורטיים הטובים ביותר האפשריים יחד עם אלגוריתמים לתיקון שגיאות במהירות-על, בתרחישי תקשורת שונים, ולחקור יישומים פוטנציאליים של קודים כאלה בתוך תורת החישוב.
חוג: מדעי המחשב
חוקרים: פרופ' עמוס קורמן, Matteo Stromieri
מימון: ISF 2024-2028
בהשראת ההבנה שמערכות ביולוגיות מבצעות "חישובים", הפרויקט מציע מבט אלגוריתמי על שיחור מזון בבעלי-חיים---חיפוש טרף, תפיסה וחלוקה. מטרתנו להראות כיצד חשיבה אלגוריתמית יכולה לעצב ניסויים ולהוליד חיזויים ברי-בדיקה, במעבדה ובשטח. הפרויקט מתקדם בשיתוף הדוק עם ניסיונאים במכון ויצמן ובאוניברסיטת תל-אביב. התכלית היא ליצור שדה מחקר חדש---ביולוגיה אלגוריתמית---שבו המחקר הביולוגי נסמך מראש על תובנות אלגוריתמיות ומשתלב עם עבודה אמפירית לכל אורכו.
חוג: מדעי המחשב
חוקרים: פרופ' אור דונקלמן
מימון: ISF
מטרת המענק היא לפתח טכניקות חדשות להצפנת זכרון. הצפנת זכרון היא אחד הרכיבים המרכזיים של אבטחת מידע, והיא מאפשרת להחזיק מידע רגיש בזכרון מבלי לחשוש מזליגתו לגורם זר, או במקרים מסוימים לתהליכים אחרים שרצים על המעבד. המענק יאפשר לאור להמשיך את עבודתו על בדיקת החוזק של צפנים המתאימים להצפנת זכרון, לפתח צפנים חדשים להגנה על זכרון, וכן טכניקות הצפנת זיכרון חדשות שיכולות לשמש במערכות כגון סביבות ענן.
חוג: מדעי המחשב
חוקרים: פרופ' אורן וינמן, יאסין עבדלחאלים
מימון: ISF
רשת היא קבוצה של נקודות (הנקראות קודקודים) כאשר חלק מזוגות הקודקודים מחוברים באמצעות קו (הנקרא צלע). רשת מישורית היא רשת שניתן לשרטט בצורה כזו שהצלעות שלה לא חוצות זו את זו. ברשתות מישוריות, בעיות האופטימיזציה הבסיסיות ביותר כמו מסלולים קצרים ביותר, זרימה מקסימלית, והתאמה מקסימלית, כולן קשורות זו לזו באמצעות קשרים מרתקים הכוללים מרחקים. עם המענק שלנו מ-ISF, אנו חוקרים ומנצלים את הקשרים הללו, וכן מוצאים קשרים חדשים. לדוגמה, בהינתן רשת מישורית בגודל n, הראינו לאחרונה שקיים מבנה נתונים בגודל רק מעט יותר גדול מ-n שיכול לדווח את המרחק בין כל שני קודקודים בזמן קבוע.
חוג: מדעי המחשב
חוקרים: פרופ' רונן שאלתיאל
מימון: ISF
תורת מדעי המחשב עוסקת בהנחת היסודות המתמטיים לחקר בעיות שונות במדעי המחשב. במחקר זה אנו שואפים לקדם את ההבנה שלנו בתורת "מחוללי פסאודו-אקראיות" (pseudorandom generators), "קודים מתקני שגיאות" (error-correcting codes) ו"מחלצי אקראיות" (randomness extractors).
חוג: מדעי המחשב
חוקרים: פרופ' גיא אבני, Suman Sadhukhan (postdoc)
מימון: ISF
משחקים על גרפים בין שני שחקנים הוא מודל עם שימושים נרחבים בגמיפיקציה, מערכות מרובות סוכנים ולוגיקה. הפרויקט חוקר משחקים על גרפים בהם לכל אחד מהשחקנים יש תקציב, ובכל תור, השחקנים משתתפים במכרז הקובע מי מבינהם זז בתור. הפרויקט חוקר הרחבות למודל הבסיסי, למשל, משחקים בהם השחקנים אינם יודעים מה התקציב המדויק של היריב שלהם, ומשחקים בהם התקציבים נתונים כמטבעות, מה שכופה גרנולריות על המשחק, שהכרחית לשימושים פרקטיים של המודל.
חוג: מערכות מידע
חוקרים: פרופ' פנינה סופר, פרופ' עירית הדר, יליזבטה סורוקינה מורזון, ליטל שלו
מימון: ISF 2025-2028
המחקר עוסק בתהליכים הקוגניטיביים של מנתחי נתונים העוסקים בכריית תהליכים, עם מיקוד ביצירה ובדיקה של היפותיזות ביחס לנתונים. ע"י איסוף וניתוח נתונים מולטי מודאליים (אינטראקציה עם כלי ניתוח, הבעות פנים, תנועות עיניים) מאנליסטים העוסקים במשימות כריית תהליכים, בהתבסס על תיאוריות של פסיכולוגיה קוגניטיבית, ועם שימוש בכלי AI, המחקר (1) יעמיק את ההבנה התיאורטית של תהליכים אלה, (2) יפתח ויבחן ויזואליזציות של נתונים לתמיכה ביצירה ובדיקה של היפותיזות, (3) יפתח מנגנון ניטור, אשר יפעל בצמוד לכלי כריית תהליכים ויוכל לחזות בזמן אמת את סיכויי ההצלחה של האנליסט במשימה בה הוא עוסק, (4) יפתח מנגנון התערבות מבוסס AI, אשר ברגע זיהוי צורך ינהל דיאלוג עם האנליסט ויציע ויזואליזציות חלופיות של הנתונים כדי לתמוך ביצירת היפותיזות.
חוג: מערכות מידע
חוקרים: פרופ' אנה זמנסקי, ד"ר מרסלו פיגלשטיין
מימון: ISF-SNSF (פרויקט דו-לאומי עם Prof. Claudia Spadavecchia, University of Bern)
פארא-מודולציה של כאב (pain paramodulation) היא תופעה חשובה עם יישומים לטיפול מותאם אישית בכאב. בפרויקט זה אנו חוקרים תופעה זו בסוסים ערים, תוך שימוש בכלי בינה מלאכותית לכימות אינדיקטורים התנהגותיים של כאב משפת גוף והבעות פנים.
חוג: מערכות מידע
חוקרים: פרופ' יואל לניר, רומן שיכרי
מימון: ISF
המחקר בוחן את סוגיות השמישות, הניווט והמיפוי המרחבי בסיורים וירטואליים ב-°360 - סיורים אינטראקטיביים המאפשרים למשתמשים לחקור מקומות מרוחקים באופן דיגיטלי. אף שהסיורים הווירטואליים הפכו פופולריים ונגישים יותר בשנים האחרונות, משתמשים רבים מתקשים בניווט וחווים בלבול מרחבי. מתוך גישת אינטראקציית אדם-מחשב, המחקר מבקש להבין כיצד משתמשים נעים ופועלים במרחבים אלה, ולבחון את ההיבטים התיאורטיים של האינטראקציה. באמצעות סדרת מחקרי משתמשים יבחנו דפוסי השימוש הקיימים וההשפעה של עיצובי ממשק שונים על התנהגות המשתמשים ועל תפיסת המרחב. המטרה היא לגבש מסגרת תיאורטית ומעשית שתאפשר פיתוח הנחיות עיצוב לפיתוח של סיורים וירטואליים יעילים ושמישים יותר.
חוג: מערכות מידע
חוקרים: פרופ' צבי קופליק, ד"ר נועה תובל, ד"ר אלן ווקר, מאיה דינס
מימון: ISF
המחקר מציע שימוש בייצוג גרף ספציפי – היפר-קוביה (hypercube), למידול העדפות המשתמשים ביחס למאפייני התחום. הוא מספק ייצוג קומפקטי שיכול להישמר במכשירים של המשתמשים ולשפר את הפרטיות שלהם. כמו כן הוכח שהוא מספק פתרון טוב לבעיית ההתחלה הקרה (cold-start problem), טוב יותר או דומה לשיטות המתקדמות ביותר כיום, והוא מספק גישה מדידה להכנסת גיוון/סרנדיפיות (diversity/serendipity) לתהליך ההמלצות. הכל במודל אחד.
