‫הפקולטה למדעי המחשב‬ ‫הטכניון ‪ -‬מכון טכנולוגי לישראל‪ ,‬חיפה‬ ‫קטלוג תארים מתקדמים‪ ,‬תשע"ה ‪2014-2015‬‬ ‫‪www.cs.technion.ac.il‬‬ 2 ‫קטלוג תארים מתקדמים‬ ‫תשע"ה‪2014-2015 ,‬‬ ‫הפקולטה למדעי המחשב‬ ‫הטכניון ‪ -‬מכון טכנולוגי לישראל‬ ‫‪www.cs.technion.ac.il‬‬ ‫‪3‬‬ 4 ‫תוכן העניינים‬ ‫עמוד‬ ‫‪ .1‬מבוא כללי‬ ‫‪7‬‬ ‫‪ .2‬תוכניות ההשתלמות ושטחי המחקר‬ ‫‪7‬‬ ‫‪ .3‬מידע על הרשמה‬ ‫‪8‬‬ ‫‪ .4‬לימודים לתואר מגיסטר )‪(M.Sc.‬‬ ‫‪9‬‬ ‫‪ 4.1‬תנאי קבלה‬ ‫‪9‬‬ ‫‪ 4.2‬דרישות הלימוד )בכל המסלולים למגיסטר(‬ ‫‪12‬‬ ‫‪ .5‬לימודים לתואר דוקטור )‪(Ph.D.‬‬ ‫‪16‬‬ ‫‪ 5.1‬תנאי קבלה‬ ‫‪16‬‬ ‫‪ 5.2‬מחקר‬ ‫‪16‬‬ ‫‪ 5.3‬לימודים‬ ‫‪17‬‬ ‫‪ .6‬חברי הסגל ותחומי מחקרם‬ ‫‪18‬‬ ‫‪ .7‬תחומי המחקר בפקולטה למדעי המחשב וחברי הסגל העוסקים בהם‬ ‫‪23‬‬ ‫‪ .8‬בוגרי תארים מתקדמים ונושאי מחקרם בפקולטה‪2000-2014 :‬‬ ‫‪26‬‬ ‫מגיסטר‬ ‫‪26‬‬ ‫דוקטור‬ ‫‪36‬‬ ‫‪5‬‬ 6 ‫‪ .1‬מבוא כללי‬ ‫מטרת חוברת זו להדריך את המשתלמים בפקולטה למדעי המחשב לתארים מגיסטר ודוקטור לקראת השלבים השונים‬ ‫בהשתלמותם‪ .‬כל התקנות המופיעות בחוברת זו כפופות לתקנות בית הספר לתארים מתקדמים‪ ,‬המופיעות בקטלוג‬ ‫הטכניון‪.‬‬ ‫החוברת מכילה את דרישות הקבלה ותוכניות הלימודים למסלולי מגיסטר ודוקטור‪ ,‬רשימת חברי הסגל ותחומי מחקרם‪,‬‬ ‫חלוקה של חברי הסגל לקבוצות מחקר‪ ,‬ורשימת הסטודנטים שסיימו את לימודיהם בפקולטה ב‪ 13-‬השנים האחרונות‪.‬‬ ‫קטלוג תארים מתקדמים של הפקולטה למדעי המחשב נמצא גם באתר האינטרנט של הפקולטה‪:‬‬ ‫‪ www.cs.technion.ac.il/he‬באתר ניתן למצוא גם מידע מפורט יותר ועדכני על חברי הסגל‪ ,‬הקורסים הניתנים בכל‬ ‫סמסטר והסילבוס שלהם‪ ,‬תיזות שהוגשו בשנים האחרונות‪ ,‬וכן מידע רלוונטי נוסף‪ .‬כמו כן ניתן לפנות אל מזכירות‬ ‫תארים מתקדמים בפקולטה‪ :‬ירדנה קולט‪ ,‬חדר ‪ ,035‬טל' ‪ 04-8294342‬או בדואר אלקטרוני‪:‬‬ ‫‪[email protected]‬‬ ‫‪ .2‬תוכניות ההשתלמות ושטחי המחקר‬ ‫הפקולטה למדעי המחשב מציעה תוכניות השתלמות לתארים‪" :‬מגיסטר למדעים במדעי המחשב"‪" ,‬מגיסטר למדעים"‬ ‫ו"דוקטור לפילוסופיה"‪ ,‬וכן מסלול ישיר לדוקטורט‪.‬‬ ‫שטחי ההתמחות והמחקר בפקולטה הם‪:‬‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫תורת האלגוריתמים )סדרתיים ומבוזרים‪ ,‬דטרמיניסטיים והסתברותיים(‬ ‫תורת הצפינה )הצפנת מקורות‪ ,‬הצפנת ערוצים וקודים לתיקון שגיאות(‬ ‫קריפטוגרפיה‬ ‫עיבוד אינפורמציה קוונטית‬ ‫תורת הסיבוכיות של חישובים‬ ‫לוגיקה במדעי המחשב‬ ‫מבני נתונים‬ ‫מסדי נתונים‬ ‫מודלים של מערכות מחשבים והערכת ביצועיהם‬ ‫למידה חישובית‬ ‫אנליזה נומרית‬ ‫תכנות מקבילי ומבוזר‬ ‫רשתות מיון וניתוב‬ ‫תכנון גאומטרי‬ ‫מפרטים פורמליים למערכות‬ ‫אימות פורמלי של מערכות תוכנה וחומרה‬ ‫שפות תכנות‬ ‫הנדסת תוכנה‬ ‫סימולציה‬ ‫תכנון ובדיקת מעגלי ‪VLSI‬‬ ‫רשתות תקשורת מחשבים‬ ‫בלשנות חישובית‬ ‫בינה מלאכותית‬ ‫רשתות עצביות‬ ‫מערכות מומחה‬ ‫גאומטריה חישובית‬ ‫גרפיקה ממוחשבת‬ ‫עיבוד תמונות דיגיטלי‬ ‫‪7‬‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫ראיה ממוחשבת‬ ‫רובוטיקה‬ ‫מערכות אירועים בדידים‬ ‫ביואינפורמטיקה‬ ‫בנוסף לאפשרויות המחקר התיאורטי בתחומים הנ"ל‪ ,‬יש בפקולטה מעבדות מחקר בנושאים‪:‬‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫‬ ‫רובוטיקה‬ ‫ראיה ממוחשבת‬ ‫בינה מלאכותית‬ ‫עיבודים גיאומטריים‬ ‫גרפיקה ממוחשבת וחישוב גיאומטרי‬ ‫רשתות תקשורת מחשבים‬ ‫תכנון מעגלי ‪VLSI‬‬ ‫מערכות תוכנה‬ ‫מערכות מחשבים‬ ‫עיבוד שפות טבעיות‬ ‫ביואינפורמטיקה‬ ‫עיבוד אינפורמציה קוונטית‬ ‫‪ .3‬מידע על הרשמה‬ ‫‪(Ph.D‬‬ ‫ההרשמה לכל תארי מגיסטר מתקיימת פעמיים בשנה‪ :‬ההרשמה לסמסטר חורף )אוקטובר( מתקיימת בחודש אפריל‬ ‫הקודם לו‪ ,‬וההרשמה לסמסטר אביב )מרס( מתקיימת בנובמבר הקודם לו‪ .‬לקראת מועדי ההרשמה מקיימת הפקולטה‬ ‫ימים פתוחים‪ .‬מידע נוסף לגבי הימים הפתוחים ניתן לקבל במזכירות ובאתר הפקולטה‪:‬‬ ‫‪.www.cs.technion.ac.il/he/gradaute‬‬ ‫ההרשמה לתוארי הדוקטור מתבצעת מספר פעמים בשנה – פירוט התאריכים מופיע באתר הפקולטה‪ .‬ניתן לקבל פרטים‬ ‫במזכירות‪.‬‬ ‫‪8‬‬ ‫‪ .4‬לימודים לתואר‬ ‫מגיסטר )‪(M.Sc.‬‬ ‫הפקולטה למדעי המחשב מציעה תוכנית השתלמות לתואר "מגיסטר למדעים במדעי המחשב"‪ .‬ההשתלמות פתוחה‬ ‫לבוגרי תואר ראשון במדעי המחשב או תואר ראשון אחר‪ .‬כמו כן מציעה הפקולטה השתלמות לתואר "מגיסטר למדעים"‬ ‫לבעלי תואר ראשון שאיננו במדעי המחשב )כגון מתמטיקה‪ ,‬פיסיקה‪ ,‬והנדסת חשמל(‪.‬‬ ‫‪4.1‬‬ ‫‪4.1.1‬‬ ‫תנאי קבלה‬ ‫תנאי הקבלה למסלול לתואר "מגיסטר למדעים במדעי המחשב"‬ ‫למסלול זה יתקבלו סטודנטים בוגרי תואר ראשון במדעי המחשב או באחד המסלולים המשותפים למדעי המחשב‬ ‫ופקולטות אחרות )כגון‪ ,‬הנדסת מערכות מידע והנדסת מחשבים( אשר סיימו את לימודי התואר הראשון בהצטיינות‪.‬‬ ‫מועמדים למסלול זה שסיימו תואר ראשון במסגרות אחרות יחוייבו‪ ,‬במידת הצורך‪ ,‬בקורסי השלמה‪ .‬הישגים מקצועיים‬ ‫של בעלי ניסיון מעשי‪ ,‬ניסיון במחקר‪ ,‬ומכתבי המלצה‪ ,‬יילקחו בחשבון בעת הדיון על הקבלה‪ .‬מועמד שלא עומד בתנאי‬ ‫הקבלה רשאי לנסות לשפר את הישגיו במסגרת לימודים מתקדמים‪ .‬לצורך זה עליו לתאם עם מרכז תארים מתקדמים‬ ‫את רשימת המקצועות שייקח‪ ,‬ואת רמת הציונים שעליו להשיג במקצועות אלה‪ ,‬בכדי להתקבל ללימודי תארים מתקדמים‬ ‫בפקולטה‪ .‬ככלל‪ ,‬יתקבלו רק סטודנטים פנימיים )סטודנטים שמקבלים מלגה ומתרגלים(‪ .‬במקרים יוצאים מן הכלל‬ ‫תאושר השתלמות של סטודנטים חיצוניים )סטודנטים שאינם מקבלים מלגה(‪.‬‬ ‫סטודנט מצטיין שסיים תואר ראשון בחוג ראשי מדעי המחשב בכל מוסד מוכר בארץ )פרט למכללות(‪ ,‬לא יחוייב‬ ‫במקצועות השלמה‪ .‬תוכנית הלימודים של בוגר מכללה אשר יתקבל תיקבע בהתאם לרקע שלו‪ ,‬ויתכן ויידרש לנקודות‬ ‫לימוד‪/‬השלמה נוספות‪.‬‬ ‫‪4.1.2‬‬ ‫תנאי הקבלה למסלול לתואר "מגיסטר למדעים"‬ ‫למסלול זה יתקבלו סטודנטים בוגרי תואר ראשון במגמות מדעיות ומגמות הנדסיות שסיימו את לימודי התואר הראשון‬ ‫בהצטיינות‪ .‬כדי להתקבל למסלול זה‪ ,‬על הסטודנט ליצור קשר עם חבר סגל בפקולטה‪ ,‬אשר ישמש מנחה מיועד‪ .‬אין‬ ‫חובה להגיש הצעת מחקר עם הקבלה‪ .‬תוכנית הלימודים לכל סטודנט תיקבע בתיאום בין המנחה המיועד ומרכז הוועדה‬ ‫לתארים מתקדמים‪ ,‬ותאושר על‪-‬ידי הוועדה לתארים מתקדמים באמצעות ועדת הקבלה‪ .‬התוכנית תכלול‪:‬‬ ‫א‪ .‬נקודות מוסמכים‪ 18 :‬נקודות עבור בוגרי תוכנית ארבע‪-‬שנתית‪ 36 ,‬נקודות עבור בוגרי תוכנית תלת‪-‬שנתית‪.‬‬ ‫ב‪ .‬תוכנית השלמה על‪-‬פי הצורך‪.‬‬ ‫‪4.1.3‬‬ ‫קבלה ללימודים לתואר שני כסטודנט חיצוני‬ ‫סטודנט חיצוני הוא סטודנט המתקבל ללימודים כסטודנט מן המניין‪ ,‬אך ללא מלגה‪ .‬משתלם חיצוני לתואר שני חייב‬ ‫בנוכחות של לפחות יומיים בשבוע בפקולטה למשך שנה‪ .‬סטודנט יכול להתקבל כחיצוני בתנאים )א( או )ב( הבאים‪:‬‬ ‫א‪ .‬בקשת הקבלה של הסטודנט תוגש יחד עם הצעת מחקר‪ .‬במקרה זה הקבלה ללימודים תהיה מותנית באישור הצעת‬ ‫המחקר על‪-‬ידי הוועדה לתארים מתקדמים‪.‬‬ ‫ב‪ .‬סטודנט מצטיין שממוצע הציונים שלו הוא באופן משמעותי מעל סף הקבלה‪ ,‬או סטודנט בעל הצטיינות מקצועית‬ ‫מוכחת שתיבדק על‪-‬ידי ועדת קבלה מתאימה‪.‬‬ ‫סטודנט חיצוני יתחייב לעבוד מחוץ לפקולטה‪ ,‬לכל היותר שלושה ימים בשבוע )באישור המעביד(‪ ,‬ולעמוד לרשות‬ ‫הפקולטה כמתרגל )בהיקף מלא( במידת הצורך‪ .‬במקרה של סטודנט מצטיין במיוחד‪ ,‬אשר אינו יכול לקיים את התנאים‬ ‫הנ"ל‪ ,‬תוכל הוועדה לתארים מתקדמים‪ ,‬למרות האמור לעיל‪ ,‬לשקול את קבלתו ללימודים‪.‬‬ ‫התרשימים בעמודים הבאים מפרטים את דרישות הקבלה לתואר שני‪.‬‬ ‫‪9‬‬ ‫תנאי קבלה לתואר מגיסטר‬ ‫התחל‬ ‫חשב את ציונך המשוקלל* )ראה מסגרת למטה(‬ ‫למדת במוסד מוכר בארץ וציונך המשוקלל הינו מעל לסף הקבלה*?‬ ‫לא‬ ‫פנה למרכז תארים מתקדמים‬ ‫כן‬ ‫הינך בעל תואר ראשון במדעי המחשב‪ ,‬או באחד המסלולים המשותפים‬ ‫למדעי המחשב ופקולטות אחרות‬ ‫לא‬ ‫עבור לעמוד הבא‬ ‫כן‬ ‫תהיה נוכח בפקולטה לפחות יומיים בשבוע למשך שנה?‬ ‫כן‬ ‫לא‬ ‫תהייה נוכח לפחות ‪ 5‬ימים בשבוע‬ ‫בפקולטה?‬ ‫כן‬ ‫לא‬ ‫אפשרות זו פתוחה רק בפני סטודנטים‬ ‫מצטיינים במיוחד אשר בשום אופן אינם‬ ‫יכולים להיות נוכחים יומיים בשבוע למשך‬ ‫שנה )למשל‪ ,‬סטודנטים המשרתים‬ ‫בצה"ל(‪ .‬האם הינך מצטיין א'‪?1‬‬ ‫לא‬ ‫נשקול את קבלתך‬ ‫כסטודנט פנימי**‪.‬‬ ‫תתרגל בהיקף מלא‪.‬‬ ‫אם אין לך עדיין הצעת‬ ‫מחקר‪ ,‬צור קשר עם‬ ‫חבר‪-‬סגל והכן הצעת‬ ‫מחקר‪ .‬אחרת‪ ,‬לא‬ ‫תתקבל‪.‬‬ ‫כן‬ ‫נשקול את קבלתך כסטודנט חיצוני**‪ .‬צרף את כל המסמכים שיידרשו על‪-‬ידי מרכז‬ ‫תארים מתקדמים‪.‬‬ ‫* הציון המשוקלל מחושב כדלקמן‪:‬‬ ‫ציון תואר ראשון ‪ 2 + -‬עד ‪ 4‬נקודות אם יש לך מנחה‬ ‫והצעת מחקר מאושרת על‪-‬ידי ועדת‬ ‫הקבלה‪ .‬מאמר מדעי שהתפרסם עשוי‬ ‫להוסיף נקודה‪.‬‬ ‫ ציון משוקלל ‪) 86‬בקירוב(‬‫סף הקבלה‬ ‫ ציון משוקלל ‪) 91‬בקירוב(‬‫‪ 1‬מצטיין א'‬ ‫ ציון משוקלל ‪) 92‬בקירוב(‬‫‪ 2‬מצטיין ב'‬ ‫** סטודנט חיצוני ‪ -‬סטודנט ללא מלגה‬ ‫סטודנט פנימי ‪ -‬סטודנט עם מלגה מלאה‪ ,‬מתרגל‬ ‫הערה‪ :‬ועדת הקבלה רשאית להחליט לא לקבל סטודנט‬ ‫למרות שהישגיו עומדים בתנאי הקבלה‪.‬‬ ‫‪10‬‬ ‫מצטיין ב'‪?2‬‬ ‫לא‬ ‫כן‬ ‫אם אין לך עדיין‬ ‫הצעת מחקר‪,‬‬ ‫צור קשר עם‬ ‫חבר‪-‬סגל והכן‬ ‫הצעת מחקר‪.‬‬ ‫אחרת‪ ,‬לא‬ ‫תתקבל‪.‬‬ ‫נשקול את‬ ‫קבלתך סטודנט‬ ‫חיצוני**‪ .‬תחוייב‬ ‫בתרגול בהיקף‬ ‫מלא במידת‬ ‫הצורך‪.‬‬ ‫אפשרויות קבלה עבור סטודנט בעל תואר ראשון שאיננו במדעי המחשב‬ ‫או באחד המסלולים המשותפים‬ ‫מעוניין בקבלה למסלול מגיסטר למדעים‬ ‫במדעי המחשב‬ ‫מעוניין בקבלה למסלול מגיסטר למדעים‬ ‫תחוייב בקורסי השלמה לפי הטבלה שלהלן‪ .‬ניתן‬ ‫לקבל פטור ממקצוע השלמה אם נלמד מקצוע דומה‬ ‫או מתקדם באותו שטח‪.‬‬ ‫עליך למצוא מנחה‪ .‬תוכנית קורסי השלמה תיקבע‬ ‫על‪-‬ידי מרכז תארים מתקדמים והמנחה המיועד‪.‬‬ ‫קורסי השלמה ‪ -‬הפקולטה למדעי המחשב‬ ‫עד ‪ 25‬נקודות מתוך הרשימה הבאה‪:‬‬ ‫מס' הקורס‬ ‫‪234107‬‬ ‫‪094412‬‬ ‫‪234122‬‬ ‫‪234218‬‬ ‫‪234247‬‬ ‫‪234293‬‬ ‫‪234267‬‬ ‫‪234123‬‬ ‫‪*236343‬‬ ‫‪*236360‬‬ ‫שם הקורס‬ ‫אנליזה נומרית ‪1‬‬ ‫הסתברות מ'‬ ‫מבוא לתכנות מערכות )מת"מ(‬ ‫מבני נתונים ‪1‬‬ ‫אלגוריתמים ‪1‬‬ ‫לוגיקה ותורת הקבוצות‬ ‫למדעי המחשב‬ ‫מבנה מחשבים ספרתיים‬ ‫מערכות הפעלה‬ ‫תורת החישוביות‬ ‫תורת הקומפילציה‬ ‫לסטודנטים ללא קדם מתאים‬ ‫קורסי קדם ‪ -‬מתמטיקה‬ ‫נקודות‬ ‫‪4‬‬ ‫‪4‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫מס' הקורס‬ ‫‪114031‬‬ ‫‪114032‬‬ ‫‪104167‬‬ ‫או‬ ‫‪104134‬‬ ‫‪4‬‬ ‫‪3‬‬ ‫‪4.5‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪ .1‬ניתן לקבל פטור ממקצוע השלמה אם נלמד מקצוע דומה או‬ ‫מתקדם ממנו באותו שטח )גם במסגרת מוסד אקדמי אחר(‪.‬‬ ‫הפטור יינתן על‪-‬ידי המרכז‪ ,‬תוך התייעצות עם מורה‬ ‫המקצוע‪.‬‬ ‫‪ .2‬יש לעבור את מקצועות ההשלמה בממוצע ‪,88‬‬ ‫וכל מקצוע בציון של לפחות ‪ .80‬סטודנטים יזוכו בנקודות‬ ‫מוסמכים עבור מקצועות ההשלמה המסומנים ב‪.*-‬‬ ‫‪11‬‬ ‫שם הקורס‬ ‫חשבון אינפיניטסימלי ‪1‬מ'‬ ‫חשבון אינפיניטסימלי ‪2‬מ'‬ ‫אלגברה א'‬ ‫אלגברה מודרנית ח'‬ ‫נקודות‬ ‫‪5.5‬‬ ‫‪5.0‬‬ ‫‪5‬‬ ‫‪2.5‬‬ ‫‪4.2‬‬ ‫דרישות הלימוד )בכל המסלולים למגיסטר(‬ ‫במסגרת הלימודים לתוארי המגיסטר השונים על הסטודנט לסיים מספר קורסים כמפורט לעיל‪ ,‬ולבצע עבודת‬ ‫מחקר או עבודת גמר בהנחיית מנחה מבין חברי הסגל של הפקולטה‪ .‬סטודנטים שנקבעה להם תוכנית השלמה‬ ‫חייבים להשלים גם את תוכנית ההשלמה‪.‬‬ ‫לצורך הנחיית התיזה‪ ,‬יהיה על הסטודנט ליצור קשר עם חבר סגל בפקולטה‪ ,‬המתמקד בשטחי התעניינותו‪.‬‬ ‫במקרים מיוחדים‪ ,‬בתיאום עם ועדת תארים מתקדמים ובאישורה מראש‪ ,‬יכול המנחה להיות מורה נלווה או‬ ‫חבר סגל מפקולטה אחרת בטכניון‪ .‬משתלם חיצוני אינו יכול לבחור כמנחה מורה נלווה או חבר סגל מפקולטה‬ ‫אחרת‪ .‬המחקר יכול להיות תיאורטי או פרוייקט הנדסי מתקדם‪ .‬במקרים מסויימים ניתן להחליף את התיזה‬ ‫בעבודת גמר‪ .‬במקרה כזה יש צורך לצבור שמונה נקודות לימוד נוספות‪.‬‬ ‫‪4.2.1‬‬ ‫תוכנית הלימודים לבוגרי תואר תלת‪-‬שנתי‬ ‫בוגרי תוכניות תלת‪-‬שנתיות חייבים לצבור ‪ 36‬נקודות של תארים מתקדמים‪ .‬במסגרת ‪ 18‬הנקודות הראשונות‬ ‫על המשתלם לבחור לפחות ששה מקצועות של הפקולטה למדעי המחשב‪ ,‬מתוך לפחות ארבע קבוצות שונות‬ ‫מבין ‪ 12‬הקבוצות של מקצועות הבחירה במסלול הארבע‪-‬שנתי )שאינם פרוייקטים‪ ,‬נושאים מתקדמים או‬ ‫סמינרים(‪ .‬מותר למשתלם לבחור מקצועות הסמכה של מדעי המחשב הנמצאים ברשימות‪ ,‬כל עוד יעמוד‬ ‫במגבלת מקצועות ההסמכה המותרים לו‪ .‬הקבוצות הן‪:‬‬ ‫‪ .1‬סיבוכיות של חישובים‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבוא לתורת הצפינה‬ ‫‪236309‬‬ ‫תורת הסיבוכיות‬ ‫‪236313‬‬ ‫שיטות אלגבריות במדעי המחשב‬ ‫‪236315‬‬ ‫אלגוריתמים ‪2‬‬ ‫‪236359‬‬ ‫שיטות הסתברותיות ואלגוריתמים‬ ‫‪236374‬‬ ‫קריפטוגרפיה וסיבוכיות‬ ‫‪236508‬‬ ‫סיבוכיות תקשורת‬ ‫‪236518‬‬ ‫אלגוריתמי קירוב‬ ‫‪236521‬‬ ‫למידה חישובית‬ ‫‪236760‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬ ‫‪ .2‬תורת האלגוריתמים‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבני נתונים ‪2‬‬ ‫‪236312‬‬ ‫שיטות אלגבריות במדעי המחשב‬ ‫‪236315‬‬ ‫אלגוריתמים מבוזרים א'‬ ‫‪236357‬‬ ‫אלגוריתמים ‪2‬‬ ‫‪236359‬‬ ‫אלגוריתמי קירוב‬ ‫‪236521‬‬ ‫שיטות בניתוח של אלגוריתמים‬ ‫‪236715‬‬ ‫גאומטריה חישובית‬ ‫‪236719‬‬ ‫אלגוריתמים מבוזרים ב'‬ ‫‪236755‬‬ ‫למידה חישובית‬ ‫‪236760‬‬ ‫גיאומטריה אלגוריתמית דיסקרטית‬ ‫‪238739‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬ ‫‪ .3‬לוגיקה ויישומיה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫לוגיקה למדעי המחשב ‪2‬‬ ‫‪236304‬‬ ‫גדירות וחישוביות‬ ‫‪236331‬‬ ‫מבוא לאימות תוכנה‬ ‫‪236342‬‬ ‫אימות אוטומטי של מערכות תוכנה וחומרה‬ ‫‪236345‬‬ ‫תיאוריה של מערכות מסד נתונים‬ ‫‪236356‬‬ ‫מפרטים פורמליים למערכות מורכבות‬ ‫‪236368‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪12‬‬ ‫‪ .4‬קריפטולוגיה‪ ,‬צפינה ואינפורמציה‬ ‫מס' מקצוע‬ ‫‪236309‬‬ ‫‪236350‬‬ ‫‪236500‬‬ ‫‪236506‬‬ ‫‪236508‬‬ ‫‪236514‬‬ ‫‪236520‬‬ ‫‪236990‬‬ ‫שם המקצוע‬ ‫מבוא לתורת הצפינה‬ ‫הגנה במערכות מתוכנתות‬ ‫קריפטאנליזה‬ ‫קריפטולוגיה מודרנית‬ ‫קריפטוגרפיה וסיבוכיות‬ ‫סדרות ספרתיות בתקשורת ומערכות מחשב‬ ‫קידוד במערכות אחסון מידע‬ ‫מבוא לעיבוד אינפורמציה קוונטית‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪ .5‬פיתוח מערכות תוכנה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫שפות תכנות‬ ‫‪234319‬‬ ‫שיטות בהנדסת תוכנה‬ ‫‪236321‬‬ ‫מבוא לאימות תוכנה‬ ‫‪236342‬‬ ‫ניתוח וסינתזה של תוכנה‬ ‫‪236347‬‬ ‫מערכות מסד נתונים‬ ‫‪236363‬‬ ‫מפרטים פורמליים למערכות מורכבות‬ ‫‪236368‬‬ ‫ניהול מידע ברשת האינטרנט‬ ‫‪236369‬‬ ‫הנדסת מערכות הפעלה‬ ‫‪236376‬‬ ‫תיכון תוכנה‬ ‫‪236700‬‬ ‫תכנות מונחה עצמים‬ ‫‪236703‬‬ ‫הנדסת תוכנה אג'יילית‬ ‫‪236712‬‬ ‫אלגוריתמים לניהול זכרון דינמי‬ ‫‪236780‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪4.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬ ‫‪ .6‬תקשורת ומערכות מבוזרות‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבוא לרשתות מחשבים‬ ‫‪236334‬‬ ‫תקשורת באינטרנט‬ ‫‪236341‬‬ ‫הגנה במערכות מתוכנתות‬ ‫‪236350‬‬ ‫מערכות מבוזרות‬ ‫‪236351‬‬ ‫אלגוריתמים מבוזרים א'‬ ‫‪236357‬‬ ‫ניהול מידע ברשת האינטרנט‬ ‫‪236369‬‬ ‫תכנות מקבילי ומבוזר‬ ‫‪236370‬‬ ‫מימוש מערכות מסדי נתונים‬ ‫‪236510‬‬ ‫אלגוריתמים מבוזרים ב'‬ ‫‪236755‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪ .7‬מערכות מיחשוב‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מערכות קבצים‬ ‫‪234322‬‬ ‫מבוא לרשתות מחשבים‬ ‫‪236334‬‬ ‫ניתוח וסינתזה של תוכנה‬ ‫‪236347‬‬ ‫הגנה במערכות מתוכנתות‬ ‫‪236350‬‬ ‫תכנון מעגלי ‪VLSI‬‬ ‫‪236354‬‬ ‫מערכות מסד נתונים‬ ‫‪236363‬‬ ‫ניהול מידע ברשת האינטרנט‬ ‫‪236369‬‬ ‫הנדסת מערכות הפעלה‬ ‫‪236376‬‬ ‫מימוש מערכות מסדי נתונים‬ ‫‪236510‬‬ ‫אלגוריתמים מקבילים לרשתות קבועות‪-‬קשר‬ ‫‪236699‬‬ ‫אלגוריתמים לניהול זיכרון דינמי‬ ‫‪236780‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪4.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪4.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪ .8‬ראייה ורובוטיקה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫שיטות מתמטיות לישומי מחשב‬ ‫‪234299‬‬ ‫עיבוד תמונות ואותות במחשב‬ ‫‪236327‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪13‬‬ ‫‪236330‬‬ ‫‪236327‬‬ ‫‪236860‬‬ ‫‪236861‬‬ ‫‪236862‬‬ ‫‪236873‬‬ ‫‪236875‬‬ ‫‪236927‬‬ ‫מבוא לאופטימיזציה‬ ‫רשתות בייסיניות‬ ‫עיבוד תמונות דיגיטלי‬ ‫ראייה חישובית גיאומטרית‬ ‫ייצוגים דלילים ויתירים ויישומיהם בעיבוד אותות ותמונות‬ ‫ראיה ממוחשבת‬ ‫זיהוי ראייתי‬ ‫מבוא לרובוטיקה‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪ .9‬גיאומטריה וגרפיקה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫שיטות מתמטיות לישומי מחשב‬ ‫‪234299‬‬ ‫גרפיקה ממוחשבת ‪1‬‬ ‫‪234325‬‬ ‫גרפיקה ממוחשבת ‪2‬‬ ‫‪236324‬‬ ‫עיבוד ספרתי של גיאומטריה‬ ‫‪236329‬‬ ‫סינטזה של תמונות‬ ‫‪236373‬‬ ‫מודלים גיאומטריים במערכות תיב"ם‬ ‫‪236716‬‬ ‫גאומטריה חישובית‬ ‫‪236719‬‬ ‫גיאומטריה אלגוריתמית דיסקרטית‬ ‫‪238739‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪ .10‬למידה ובינה מלאכותית‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבוא לעיבוד שפות טבעיות‬ ‫‪236299‬‬ ‫רשתות בייסיאניות‬ ‫‪236372‬‬ ‫מבוא לבינה מלאכותית‬ ‫‪236501‬‬ ‫מבוא למערכות לומדות‬ ‫‪236756‬‬ ‫למידה חישובית‬ ‫‪236760‬‬ ‫מבוא לרשתות עצביות‬ ‫‪236941‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪3.0‬‬ ‫‪ .11‬פיסיקה חישובית וחישוב מדעי‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫שיטות מתמטיות לישומי מחשב‬ ‫‪234299‬‬ ‫אלגברה לינארית נומרית‬ ‫‪236320‬‬ ‫מבוא לאופטימיזציה‬ ‫‪236330‬‬ ‫פתרון נומרי של משוואות דיפרנציאליות חלקיות‬ ‫‪236336‬‬ ‫החשת התכנסות של תהליכים איטרטיבים‬ ‫‪236339‬‬ ‫שיטות רב‪-‬סריג‬ ‫‪236790‬‬ ‫נקודות‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪2.0‬‬ ‫‪2.0‬‬ ‫‪ .12‬ביואינפורמטיקה‬ ‫שם המקצוע‬ ‫מס' מקצוע‬ ‫מבוא לביואינפורמטיקה‬ ‫‪234525‬‬ ‫אלגוריתמים בביולוגיה חישובית‬ ‫‪236522‬‬ ‫נקודות‬ ‫‪2.5‬‬ ‫‪3.0‬‬ ‫את יתרת ‪ 18‬הנקודות יהוו קורסי התמחות בנושא המחקר המוצע‪ ,‬בהתאם לתוכנית שהתקבלה על דעת‬ ‫הסטודנט והמנחה‪ .‬ניתן לקחת עד ‪ 3‬סמינרים ונושאים מתקדמים לפני אישור נושא המחקר‪.‬‬ ‫שני המקצועות הבאים הם מקצועות חובה‪ .‬סטודנטים אשר לא למדו במסגרת התואר הראשון את הקורסים‪:‬‬ ‫‪ 234267‬מבנה מחשבים ספרתיים‬ ‫‪ 236343‬תורת החישוביות‬ ‫חייבים ללמוד אותם במסגרת תארים מתקדמים )נקודות הזיכוי תחשבנה לתואר(‪.‬‬ ‫יש ללמוד לפחות ‪ 6‬נקודות לאחר שאושר נושא המחקר‪ .‬מקצועות הלימוד יאושרו על‪-‬ידי המנחה או על‪-‬ידי‬ ‫המנחה הזמני‪ .‬במקרים מיוחדים ‪ -‬בהמלצת המנחה והמרכז ‪ -‬ניתן ללמוד עד ‪ 6‬נקודות מקצועות הסמכה‪.‬‬ ‫סטודנטים שאופי התמחותם בינתחומי‪ ,‬יוכלו‪ ,‬באישור מיוחד של המרכז‪ ,‬ללמוד עד ‪ 10‬נק' ממקצועות הסמכה‪.‬‬ ‫‪14‬‬ ‫‪4.2.2‬‬ ‫תוכנית הלימודים לבוגרי תואר ארבע‪-‬שנתי‬ ‫הסטודנט חייב לצבור ‪ 18‬נקודות במקצועות של תארים מתקדמים‪ .‬ככלל‪ ,‬מרבית הנקודות שייצברו יהיו בקורסי‬ ‫מוסמכים של מדעי המחשב‪ .‬בחירת המקצועות הללו תיעשה בתיאום עם המנחה הקבוע )או המנחה הזמני(‪.‬‬ ‫הסטודנט חייב ללמוד לפחות ‪ 6‬נקודות לאחר קביעת נושא המחקר‪.‬‬ ‫המקצועות הבאים הם מקצועות חובה‪ .‬סטודנטים שלא למדו במסגרת התואר הראשון את הקורסים‪:‬‬ ‫‪ 234267‬מבנה מחשבים ספרתיים‬ ‫‪ 236343‬תורת החישוביות‬ ‫חייבים ללמוד אותם במסגרת תארים מתקדמים )נקודות הזיכוי של הקורס "מבנה מחשבים ספרתיים" לא‬ ‫תחשבנה במסגרת ‪ 18‬נקודות המוסמכים הנדרשות לתואר‪ ,‬כלומר‪ ,‬סטודנט שלא למד "מבנה מחשבים‬ ‫ספרתיים" בתואר ראשון יידרש ל‪ 21-‬נק' במסגרת התואר השני‪ .‬מומלץ לסטודנטים הלומדים לתארים ארבע‪-‬‬ ‫שנתיים והמתכוונים להירשם לתואר שני‪ ,‬ללמוד קורס זה עוד במהלך התואר הראשון(‪.‬‬ ‫‪4.2.3‬‬ ‫תוכנית הלימוד לסטודנטים משלימים‬ ‫סטודנט יזוכה בנקודות מוסמכים עבור מקצועות השלמה ברמה של תארים מתקדמים )קידומת ‪ 236‬ומעלה(‪,‬‬ ‫במידה ויעבור אותם בציון סביר‪ .‬סטודנט יוכל לקבל פטור ממקצוע השלמה אם‪:‬‬ ‫א‪ .‬למד מקצוע דומה או מתקדם באותו שטח )גם במסגרת מוסד אקדמי אחר(‪.‬‬ ‫ב‪ .‬קיבל פטור ממורה המקצוע‪.‬‬ ‫מקצועות ההשלמה ייקבעו לכל סטודנט עם קבלתו ללימודים מתוך הרשימה הבאה‪:‬‬ ‫מקצוע‬ ‫מתמטיקה‬ ‫מדעי המחשב‬ ‫מס' הקורס‬ ‫‪114031‬‬ ‫‪114032‬‬ ‫‪104167‬‬ ‫‪104134‬‬ ‫‪234107‬‬ ‫‪094412‬‬ ‫‪234122‬‬ ‫‪234218‬‬ ‫‪234247‬‬ ‫‪234293‬‬ ‫‪234123‬‬ ‫‪234267‬‬ ‫‪*236343‬‬ ‫‪*236360‬‬ ‫שם הקורס‬ ‫חשבון אינפיניטסימלי ‪1‬מ'‬ ‫חשבון אינפיניטסימלי ‪2‬מ'‬ ‫אלגברה א'‬ ‫או‬ ‫אלגברה מודרנית ח'‬ ‫אנליזה נומרית ‪1‬‬ ‫הסתברות מ'‬ ‫מבוא לתכנות מערכות )מת"מ(‬ ‫מבנה נתונים ‪1‬‬ ‫אלגוריתמים ‪1‬‬ ‫לוגיקה ותורת הקבוצות למ"מ‬ ‫מערכות הפעלה‬ ‫מבנה מחשבים ספרתיים )ממ"ס(‬ ‫תורת החישוביות‬ ‫תורת הקומפילציה‬ ‫נקודות‬ ‫‪5.5‬‬ ‫‪5.0‬‬ ‫‪5.0‬‬ ‫‪2.5‬‬ ‫‪4.0‬‬ ‫‪4.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪4.0‬‬ ‫‪4.5‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫‪3.0‬‬ ‫הסטודנטים יוכלו לקחת קורסים אלה ללא דרישה לעמידה בדרישות הקדם שלהם‪ .‬יש לעבור את מקצועות‬ ‫ההשלמה בממוצע של ‪ ,88‬וכל מקצוע בציון של לפחות ‪ .80‬סטודנט יזוכה בנקודות מוסמכים עבור מקצועות‬ ‫ההשלמה המסומנים בכוכב‪.‬‬ ‫בספּים הנדרשים‪ ,‬יאשר המרכז את מעבר הסטודנט לתוכנית‬ ‫עם סיום מקצועות ההשלמה‪ ,‬תוך עמידה ֱ‬ ‫הלימודים הרגילה לתואר מגיסטר )התוכנית לבוגרי תואר תלת‪-‬שנתי או התוכנית לבוגרי תואר ארבע‪-‬שנתי(‪.‬‬ ‫‪15‬‬ ‫‪ .5‬לימודים לתואר דוקטור‬ ‫‪5.1‬‬ ‫)‪(Ph.D.‬‬ ‫תנאי הקבלה‬ ‫כללי‬ ‫‪5.1.1‬‬ ‫המטרה העיקרית של הלימודים לתואר דוקטור היא ביצוע עבודת מחקר מקורית‪ .‬הסטודנט יכין חיבור מדעי‬ ‫מקיף‪ ,‬המבוסס על המחקר שהוא ביצע‪ .‬המחקר אמור לקדם את הידע בשטח ההשתלמות‪ ,‬ולהיות ראוי‬ ‫לפרסום בעיתונות המקצועית‪.‬‬ ‫הגדרת סוגי הסטודנטים‬ ‫‪5.1.2‬‬ ‫מועמד העומד בדרישות הפורמליות של בית הספר לתארים מתקדמים לקבלה ללימודי תואר שלישי או‬ ‫העומד לסיים את לימודיו לתואר שני ומעוניין להתקבל ללימודי תואר שלישי‪ ,‬יפנה בעניין זה לוועדה לתארים‬ ‫מתקדמים לצורך הרישום‪.‬‬ ‫סטודנט יכול להתקבל כסטודנט משלים או כסטודנט מן המניין‪ .‬הסטטוס של סטודנט משלים נותן למועמד‬ ‫זמן של סמסטר אחד כדי להשלים את התנאים לקבלה כסטודנט מן המניין‪ ,‬כמתואר בסעיף ‪ 31.02‬בתקנות‬ ‫ביה"ס לתארים מתקדמים‪ .‬באותה עת הוא יכול להיות מלגאי בפקולטה‪ .‬ככלל‪ ,‬על הסטודנט להיות משתלם‬ ‫פנימי בפקולטה בהיקף מלא במשך שנה אחת לפחות במהלך תקופת השתלמותו‪.‬‬ ‫בקשת קבלה‬ ‫‪5.1.3‬‬ ‫סטודנט המבקש להתקבל ללימודי דוקטורט יגיש לפחות שלושה מכתבי המלצה על טפסים סטנדרטיים‬ ‫שיסופקו על‪-‬ידי הפקולטה‪ .‬רצוי מאוד שלסטודנט יהיה מנחה‪ ,‬ושיגיש הצעה לנושא מחקר‪ .‬עליו לציין באיזה‬ ‫שטח בכוונתו לערוך את מחקרו‪.‬‬ ‫ועדת קבלה‬ ‫‪5.1.4‬‬ ‫במידה ולסטודנט אין מנחה והצעת נושא מחקר‪ ,‬תשקול ועדת תארים מתקדמים את העברת הדיון בקבלתו‬ ‫לוועדת קבלה‪ .‬ועדת הקבלה תהיה מורכבת משלושה חברי סגל‪ ,‬מהם לפחות אחד מחברי הוועדה לתארים‬ ‫מתקדמים‪ ,‬ותגיש המלצתה לוועדת תארים מתקדמים‪ .‬ועדת הקבלה רשאית לזמן אליה את הסטודנט‬ ‫לראיון ו‪/‬או לבחון את כישוריו בדרך אחרת‪.‬‬ ‫תנאי קבלה‬ ‫‪5.1.5‬‬ ‫מועמד יתקבל כסטודנט מן המניין לתואר דוקטור‪ ,‬אם ימלא אחר התנאים הבאים‪:‬‬ ‫א(‬ ‫ב(‬ ‫ג(‬ ‫ד(‬ ‫יעמוד בכל הדרישות הפורמליות של בית‪-‬הספר לתארים מתקדמים‪.‬‬ ‫יתקבל על‪-‬סמך המלצה של ועדת קבלה‪ ,‬ויעמוד בהצלחה בדרישות ועדת הקבלה‪.‬‬ ‫יעמוד בדרישות אחרות )כגון במקרים של שינוי שטח(‪ ,‬עליהן תחליט הוועדה ללימודי‬ ‫מוסמכים של הפקולטה בעת הדיון בבקשתו של הסטודנט‪.‬‬ ‫יקבל אישור דיקן בית‪-‬הספר לתארים מתקדמים‪.‬‬ ‫מועמד שלא עומד בסעיף א( יכול להתקבל כסטודנט משלים למשך סמסטר אחד‪.‬‬ ‫במשך סמסטר זה‪ ,‬עליו לעמוד בכל הדרישות שיאפשרו שינוי מעמדו לסטודנט מן המניין‪.‬‬ ‫מסלול ישיר לדוקטורט‬ ‫‪5.1.6‬‬ ‫סטודנטים מצטיינים‪ ,‬הלומדים לקראת תואר מגיסטר‪ ,‬יכולים לעבור למסלול לימודים ישיר לקראת תואר‬ ‫דוקטור‪ .‬אם התקיימו התנאים למעבר כזה )על‪-‬פי סעיף ‪ 24.07‬בתקנות בית הספר לתארים מתקדמים(‪,‬‬ ‫יפנה הסטודנט‪ ,‬בהמלצת המנחה ובצירוף המלצה נוספת‪ ,‬לוועדה לתארים מתקדמים‪.‬‬ ‫‪5.2‬‬ ‫מחקר‬ ‫כללי‬ ‫‪5.2.1‬‬ ‫המטרה העיקרית של הלימודים לתואר דוקטור היא ביצוע עבודת מחקר מקורית‪ .‬הסטודנט יכין חיבור מדעי‬ ‫מקיף‪ ,‬המבוסס על המחקר שהוא ביצע‪ .‬המחקר אמור לקדם את הידע בשטח ההשתלמות‪ ,‬ולהיות ראוי‬ ‫לפרסום בעיתונות המקצועית‪.‬‬ ‫מנחה ונושא המחקר‬ ‫‪5.2.2‬‬ ‫על כל סטודנט למצוא מנחה‪ ,‬ולהגדיר נושא מחקר בתוך סמסטר אחד ממועד קבלתו‪ .‬משתלם חיצוני אינו‬ ‫יכול לבחור מנחה שהוא מורה נלווה‪.‬‬ ‫‪16‬‬ ‫בחינת מועמדות‬ ‫‪5.2.3‬‬ ‫לקראת סיום שנת ההשתלמות הראשונה‪ ,‬על הסטודנט להגיש תוכנית מחקר המתארת את הישגיו עד זמן‬ ‫ההגשה‪ ,‬ואת תוכניותיו להמשך המחקר‪ .‬תוכנית זו אמורה להיות מאושרת על‪-‬ידי המנחה והוועדה‪,‬‬ ‫ומשמשת בסיס ל"בחינת המועמדות"‪.‬‬ ‫‪5.3‬‬ ‫לימודים‬ ‫נקודות‬ ‫‪5.3.1‬‬ ‫החל מסמסטר א' תשע"א דוקטורנטים נדרשים ללמוד‪:‬‬ ‫ קורסים למוסמכים )או משותפים הסמכה‪/‬מוסמכים( בהיקף של ‪ 12‬נקודות לפחות‪.‬‬‫ סטודנטים במסלול הישיר לדוקטורט יידרשו ל‪ 6-‬נקודות יותר מדרישת הנקודות שלהם למגיסטר‪.‬‬‫מקצועות השלמה‬ ‫‪5.3.2‬‬ ‫על מועמד ללימודי תואר דוקטור‪ ,‬שאין לו רקע במדעי המחשב‪ ,‬יוטלו מקצועות השלמה מתוך מקצועות‬ ‫החובה של התוכנית התלת‪-‬שנתית בתואר ראשון‪.‬‬ ‫מועמד יוכל להיות פטור מהמקצועות הנ"ל במקרים הבאים‪:‬‬ ‫‪ .1‬למד מקצועות שקולים או מכילים‬ ‫‪ .2‬המקצועות מהתוכנית הנ"ל מהווים קדם למקצועות שלמד‬ ‫הוועדה לתארים מתקדמים תקבע‪ ,‬לגבי כל מועמד‪ ,‬את רשימת מקצועות ההשלמה שעליו ללמוד‪ ,‬ובנוסף‬ ‫לכך‪ ,‬את מספר הנקודות )‪ ,(24-4‬שעליו להשלים במסגרת לימודי המוסמכים‪ .‬בחירת המקצועות תיעשה‬ ‫בתיאום עם המנחה‪.‬‬ ‫‪17‬‬ ‫‪ .6‬חברי הסגל ותחומי מחקרם‬ ‫מידע נוסף על חברי הסגל ופרסומיהם ניתן לקבל בדפי הסגל‪ ,‬באתר הפקולטה‪:‬‬ ‫‪www.cs.technion.ac.il/he/people/faculty‬‬ ‫אונגריש מריוס‪ ,‬פרופסור‬ ‫סימולציות וחישובים בדינמיקה של זורמים; אלגוריתמים נומריים מקביליים עבור "מחשבי על"‪ ,‬התיאוריה‬ ‫של זרימות דו‪-‬פאזיות וסובבות; אנליזה נומרית‪.‬‬ ‫אורנן עוזי‪ ,‬פרופסור‪/‬אורח‬ ‫עיבוד שפות טבעיות; בלשנות עברית ממוחשבת בתחומי פונולוגיה; מורפולוגיה; תחביר וסמנטיקה‪.‬‬ ‫תרגום מכני‪ ,‬מנועי חיפוש‪ ,‬זיהוי דיבור‪.‬‬ ‫אילון ניר‪ ,‬פרופסור חבר‬ ‫למידה ממוחשבת וסטטיסטיקה‪ ,‬אלגוריתמי אופטימיזציה קומבינטורית וקרוב‪ ,‬הורדת ממד אלגוריתמית‬ ‫ויישומים‪ ,‬סיבוכיות ‪.‬‬ ‫איתי אלון‪ ,‬פרופסור‬ ‫מבני נתונים אלגוריתמים דטרמיניסטים ורנדומיאליים; אלגוריתמים לזיכרון היררכי; שיטות סטטיסטיות‬ ‫לעיבוד שפות טבעיות‪.‬‬ ‫אל‪-‬יניב רן‪ ,‬פרופסור חבר‬ ‫למידה סטטיסטית ולמידת מכונה‪ ,‬דחיסה ומיצבור מידע‪ .‬שימושים לאיחזור‪ ,‬סיווג וכריית מידע‬ ‫טקסטואלי‪ ,‬ביולוגי‪ ,‬מוזיקלי ותמונות‪ .‬תיאוריה ושימושים של אלגורתמים מקוונים‪ .‬חישוביות בתחום‬ ‫המימון ובפרט‪ ,‬אלגוריתמים לבחירת תיקי השקעות‪.‬‬ ‫אלבר גרשון‪ ,‬פרופסור‬ ‫תיכון גיאומטרי בעזרת מחשב; מידול גופים; גרפיקה ממוחשבת‪.‬‬ ‫אלעד מיכאל‪ ,‬פרופסור‬ ‫עיבוד אותות‪ ,‬תמונות‪ ,‬וראייה ממוחשבת‪ .‬שיטות מתמטיות לייצוג תמונות‪ ,‬ושיטות נומריות לפתרון בעיות‬ ‫בעיבוד תמונות‪.‬‬ ‫ביהם אלי‪ ,‬פרופסור‬ ‫קריפטולוגיה וקריפטאנליזה‪ ,‬קריפטוגרפיה סימטרית‪ ,‬חישוב וקריפטוגרפיה קוונטיים‪.‬‬ ‫בן‪-‬חן מירלה‪ ,‬פרופסור משנה‬ ‫גרפיקה ממוחשבת‪ ,‬עיבוד גיאומטריה‪ ,‬גיאומטריה דיפרנציאלית דיסקרטית‪ ,‬ניתוח והבנת צורות‪.‬‬ ‫בן‪-‬ששון אלי‪ ,‬פרופסור חבר‬ ‫מורכבות חישובים; מורכבות הוכחות; אנליזה של אלגוריתמים להכרעת ספיקות מעגלים; אלגוריתמים‬ ‫תת‪-‬לינאריים לבדיקת הוכחות וצפנים לתיקון שגיאות‪.‬‬ ‫בר‪-‬יהודה ראובן‪ ,‬פרופסור חבר‬ ‫אופטימיזציה קומבינטורית‪ :‬אלגוריתמי שיבוץ‪ ,‬גיאומטריה חישובית‪ ,‬אלגוריתמים בתורת הגרפים‪,‬‬ ‫אלגוריתמים מבוזרים‪.‬‬ ‫‪18‬‬ ‫ברוקשטיין אלפרד‪ ,‬פרופסור‬ ‫עיבוד אותות ותמונות‪ ,‬ראייה ממוחשבת וניתוח תמונות‪ ,‬זיהוי צורות‪ ,‬גיאומטריה שימושית‪ ,‬רובוטיקה‪,‬‬ ‫במיוחד רובוטיקה מבוזרת‪ ,‬תורת השערוך‪ ,‬קידוד עצבי‪.‬‬ ‫ברעם יורם‪ ,‬פרופסור‬ ‫תורת הלמידה הסטטיסטית; זיהוי צורות‪ ,‬סיווג רגרסיה‪ .‬זיכרון אסוציאטיבי‪ :‬קיבולת הזיכרון והדינמיקה‬ ‫של רשתות לא‪-‬לינאריות; מציאות וירטואלית ובקרת משוב לתיקון הפרעות תנועה‪.‬‬ ‫ברקת גיל‪ ,‬פרופסור חבר‬ ‫גיאומטריה דיסקרטית וחישובית; חישובים גיאומטריים; קומבינטוריקה; תכנון גיאומטרי בעזרת מחשב;‬ ‫גרפיקה ותצוגה‪.‬‬ ‫בשותי נאדר‪ ,‬פרופסור‬ ‫למידה חישובית‪.‬‬ ‫גוטסמן חיים‪ ,‬פרופ'‬ ‫גרפיקה ממוחשבת; אנימציה; גיאומטריה חישובית‪.‬‬ ‫גייגר דן‪ ,‬פרופסור‬ ‫תיאוריה ויישום של רשתות הסקה הסתברותית; בינה מלאכותית; סטטיסטיקה בייסיאנית‪.‬‬ ‫גיל יוסף‪ ,‬פרופסור חבר‬ ‫הנדסת תוכנה‪ ,‬תכנות מונחה עצמים; שפות תכנות; מנשק אדם‪-‬מכונה; שפות תכנות ויזואליות; תורת‬ ‫ההידור‪.‬‬ ‫גרימברג אורנה‪ ,‬פרופסור‬ ‫אימות בעזרת מחשב של חומרה ותוכנה; מודולריות ואבסטרקציה; לוגיקה טמפורלית; בדיקת מודל מקבילית‪,‬‬ ‫שקילויות ויחסי סדר בין מבנים‪ ,‬אימות מונחה‪ ,SAT-‬משחקים‪.‬‬ ‫היימן מיכאל‪ ,‬פרופסור אמריטוס‬ ‫רובוטיקה; בקרה סימבולית; מערכות אירועים בדידים‪.‬‬ ‫זקס שמואל‪ ,‬פרופסור‬ ‫אלגוריתמים מבוזרים; רשתות ‪ ATM‬ורשתות אופטיות; אלגוריתמים בתורת הגרפים; קומבינטוריקה‬ ‫ותורת הגרפים; מתמטיקה דיסקרטית‪.‬‬ ‫יבנה עירד‪ ,‬פרופסור‬ ‫שיטות רב‪-‬סריג; חישוב מדעי; פיסיקה חישובית; דינמיקת זורמים גיאופיסיים; עיבוד וניתוח תמונה;‬ ‫אנליזה נומרית‪.‬‬ ‫יהב ערן‪ ,‬פרופסור חבר‬ ‫ניתוח תכניות‪ ,‬אינטרפרטציה אבסטרקטית‪ ,‬אימות תוכנה‪ ,‬סינתזה של תוכנה‪ ,‬מערכות מקביליות‬ ‫ומבוזרות‪ ,‬שפות תכנות‪ ,‬הנדסת תוכנה‪.‬‬ ‫יעקובי איתן‪ ,‬פרופסור משנה‬ ‫תורת האינפורמציה ותורת הצפינה עם אפליקציות עבור זכרונות מחשב‪ ,‬זכרונות אסוציאטיביים‪,‬‬ ‫אחסון ואחזור מידע; תורת ההצבעות‪.‬‬ ‫‪19‬‬ ‫ישי יובל‪ ,‬פרופסור‬ ‫קריפטוגרפיה‪ ,‬תורת הסיבוכיות‪.‬‬ ‫כהן ראובן‪ ,‬פרופסור‬ ‫ארכיטקטורה ופרוטוקולים של רשתות מחשבים‪ :‬רשת האינטרנט‪ ,‬רשתות אלחוטיות‪ ,‬רשתות סלולאריות‪,‬‬ ‫רשתות גישה רחבות סרט‪ ,‬רשתות סנסורים‪ ,‬פרוטוקולי ניתוב‪ ,‬פרוטוקולי ‪ MAC‬ופרוטוקולי תובלה‪.‬‬ ‫כוכבי צבי‪ ,‬פרופסור אמריטוס‬ ‫מודלים חישוביים; מיתוג ואוטומטים; אמינות ושיטת בדיקה של מערכות ספרתיות‪.‬‬ ‫כ"ץ שמואל‪ ,‬פרופסור‬ ‫אימות תוכניות; תיאורי דרישות פורמליים; פיתוח תוכנה מונחה אספקטים; מערכות מבוזרות; לוגיקה‬ ‫טמפורלית; שפות תכנות; הנדסת תוכנה‪.‬‬ ‫ליטמן עמי‪ ,‬פרופסור חבר בגימלאות‬ ‫אלגוריתמים מקביליים; רשתות קבועות‪-‬קשר; רשתות ניתוב; מערכות סיסטוליות; ‪.VLSI‬‬ ‫לינדנבאום מיכאל‪ ,‬פרופסור‬ ‫ראיית מכונה ועיבוד תמונות; למידה; כימות וחיזוי ביצועים עבור מערכות לזיהוי עצמים ולקיבוץ‬ ‫)‪.(grouping‬‬ ‫למפל אברהם‪ ,‬פרופסור אמריטוס‬ ‫שימושים של מתמטיקה דיסקרטית למדעי המחשב ולתורת האינפורמציה‪.‬‬ ‫מור טל‪ ,‬פרופסור חבר‬ ‫עיבוד אינפורמציה קוואנטית )תיאוריה(‪ :‬קריפטולוגיה‪ ,‬חישוב‪ ,‬אינפורמציה‪ ,‬תקשורת‪ .‬מימוש עיבוד‬ ‫אינפורמציה קוונטית‪.‬‬ ‫מורן שלמה‪ ,‬פרופסור‬ ‫היבטים אלגוריתמיים בביולוגיה חישובית )עם דגש על עצים פילוגנטיים(‪ ,‬קומבינטוריקה ותורת הגרפים‪.‬‬ ‫מנדלסון אבי‪ ,‬פרופסור אורח‬ ‫ארכיטקטורות מחשבים – מערכות הטרוגניות‪ ,System-on-Chip ,‬ניהול אנרגטי‪ ,‬מערכות חסינות נפילות‬ ‫ו‪ ;GPGPU-‬מערכות הפעלה – עבור ‪ System-on-Chip‬ומערכות הטרוגניות; מערכות זמן אמת – ‪WCET‬‬ ‫עבור מערכות בדידות ומערכות מרובות מעבדים; מערכות הפעלה למערכות זמן אמת‪,mix-criticality ,‬‬ ‫וניהול אנרגטי של מערכות זמן אמת‪.‬‬ ‫מקובסקי יוהן‪ ,‬פרופסור‬ ‫לוגיקה וסיבוכיות‪ ,‬סיבוכיות מעל הממשים‪ ,‬קומבינטוריקה אלגברית‪.‬‬ ‫מרקוביץ' שאול‪ ,‬פרופסור‬ ‫מערכות לומדות; בינה מלאכותית; חיפוש יוריסטי; חיפוש בעצי משחק; למידה בסביבה מרובת סוכנים‪.‬‬ ‫נאור ספי )יוסף(‪ ,‬פרופסור‬ ‫אלגוריתמים דיסקרטיים עם דגש על אלגוריתמי קירוב; אלגוריתמים מקוונים ואלגוריתמים הסתברותיים;‬ ‫אלגוריתמים ברשתות תקשורת‪.‬‬ ‫‪20‬‬ ‫סידי אברהם‪ ,‬פרופסור‬ ‫קרובי ‪ ;Padé‬היפוך מקורב של טרנספורמי לפלס; האצת התכנסות ושיטות אכסטרפולציה לסדרות‬ ‫סקלריות ווקטוריות; אינטגרציה נומרית; פתרון נומרי למשוואות אינטגרליות סינגולריות ובעלות‬ ‫סינגולריות חלשה; קירובים אכספוננציאליים‪ ,‬שיטות אסימפטוטיות; אלגברה ליניארית נומרית‪.‬‬ ‫עטיה חגית‪ ,‬פרופסור‬ ‫תיאוריה של מערכות מבוזרות‪ :‬אלגוריתמים‪ ,‬חסמים תחתונים ומודלים‪ ,‬אמינות; אלגוריתמים לרשתות‬ ‫תקשורת; מערכות מרובות‪-‬מעבדים‪.‬‬ ‫עציון טובי‪ ,‬פרופסור‬ ‫תורת הצפינה; סדרות ספרתיות בתקשורת וצפינה; אלגוריתמים ובניות קומבינטוריות‪.‬‬ ‫עציון יואב‪ ,‬פרופסור משנה‬ ‫ארכיטקטורה של מעבדים‪ ,‬מערכות מחשב ועיבוד מקבילי‪ ,‬ממשק חומרה‪/‬תוכנה‪ ,‬מערכות הפעלה‪ ,‬מודלי‬ ‫חישוב מקביליים‪ ,‬חישוב עתיר ביצועים‪.‬‬ ‫פז עזריה‪ ,‬פרופסור אמריטוס‬ ‫תורת האלגוריתמים )אלגבריים‪ ,‬הסתברותיים(‪ ,‬אנליזה שלהם וקירובים; מתמטיקה חישובית דיסקרטית;‬ ‫אלגוריתמים בשלמים; תורת האוטומטים; שפות פורמליות )דטרמנסטיות והסתברותיות(; גרפואידים‪:‬‬ ‫איפיון אי‪-‬תלות במערכות ידע‪.‬‬ ‫פטרנק ארז‪ ,‬פרופסור חבר‬ ‫ניהול זיכרון‪ ,‬מערכות‪ ,‬מערכות מקביליות‪ ,‬קריפטוגרפיה‪ ,‬סיבוכיות‪ ,‬אלגוריתמי קירוב‪.‬‬ ‫פינטר רון‪ ,‬פרופסור‬ ‫ביואינפורמטיקה; מיחשוב על; שפות תכנות; קומפילציה; תכנון אוטומטי של מעגלים משולבים; איחזור‪,‬‬ ‫ארגון ומיזוג מידע‪.‬‬ ‫פישר אלדר‪ ,‬פרופסור חבר‬ ‫יעילות של חישובים‪ ,‬בעיקר בדיקה הסתברותית של תכונות‪ ,‬היסקים סטטיסטיים‪ ,‬ואימות הסתברותי של‬ ‫הוכחות; קומבינטוריקה‪ :‬בעיקר תורת הגרפים‪ ,‬רגולריות במבנים קומבינטוריים‪ ,‬ויישומיהן ליעילות של‬ ‫חישובים; לוגיקה במדעי המחשב‪ :‬איפיון לוגי של תכונות שיש עבורן אלגוריתמים יעילים או שמתקיימים‬ ‫עבורן תנאים קומבינטוריים חזקים‬ ‫פרידמן רועי‪ ,‬פרופסור חבר‬ ‫מערכות מבוזרות; תקשורת קבוצתית; מערכות תווכה ‪ .NET‬ו‪ ;CORBA-‬אשכולות מחשבים; אפליקציות‬ ‫מולטימדיה מבוזרות‪ ,‬חישוב נייד‪.‬‬ ‫פרנסיז נסים‪ ,‬פרופסור‬ ‫ראשי‪ :‬בלשנות חישובית‪ ,‬דקדוקי קטגוריות‪ ,‬סמנטיקה פורמלית של שפות טבעיות‪ ,‬דקדוקי יוניפיקציה‬ ‫)האחדה( תחשיב ‪ λ -‬וטיפוסים‪ ,‬ותורת ההוכחה‪ .‬משני‪ :‬סמנטיקה של שפות תכנות‪ ,‬אימות תוכניות‪,‬‬ ‫תכנות מקבילי ומבוזר‪ ,‬תכנות לוגי פרולוג‪.‬‬ ‫צנזור‪-‬הלל קרן‪ ,‬פרופסור משנה‬ ‫חישוב מבוזר‪ ,‬במיוחד אלגוריתמים הסתברותיים וחסמים תחתונים‪ ,‬ותיאוריה של מדעי המחשב בכלל‪.‬‬ ‫צפריר דן‪ ,‬פרופסור משנה‬ ‫מערכות הפעלה‪ ,‬מערכות מקביליות‪ ,‬בטיחות‪ ,‬הערכת ביצועים‪.‬‬ ‫קושלביץ איל‪ ,‬פרופסור‬ ‫פרוטוקולים קריפטוגרפיים ופרטיות במערכות מבוזרות; תורת הלמידה; אקראיות במערכות מבוזרות;‬ ‫סיבוכיות וסיבוכיות‪-‬תקשורת‪.‬‬ ‫‪21‬‬ ‫קימל רון‪ ,‬פרופסור‬ ‫עיבוד תמונות‪ ,‬ראייה ממוחשבת‪ ,‬ניתוח תמונות רפואיות‪ ,‬ניווט רובוטים‪ ,‬גרפיקה ממוחשבת‪ ,‬גיאומטריה‬ ‫דיפרנציאלית‪ ,‬חישוב מדעי‪.‬‬ ‫קימלפלד בני‪ ,‬פרופסור חבר‬ ‫מערכות ותיאוריה של מסדי נתונים‪ ,‬אחזור‪ ,‬חילוץ וכריית מידע‪ ,‬מסדי נתונים הסתברותיים‪ ,‬ניהול מידע‬ ‫חסר עקביות‪.‬‬ ‫קמינסקי מיכאל‪ ,‬פרופסור‬ ‫לוגיקה במדעי המחשב; אוטומטים סופיים; סיבוכיות של חישובים אלגבריים‪.‬‬ ‫קנזה ירון‪ ,‬פרופסור משנה‬ ‫מערכות מסדי נתונים ותיאוריה של מסדי נתונים‪ :‬אינטגרציה של מידע‪ ,‬העברת מידע סמנטי בין‬ ‫אפליקציות‪ ,‬טיפול במידע חסר ובמידע הסתברותי‪ ,‬פרטיות ובקרת גישה לנתונים; ניהול מידע באינטרנט‪:‬‬ ‫שאילתות ושאילתות חיפוש מעל ‪ ;XML‬ניהול מידע מרחבי וגיאוגרפי‪.‬‬ ‫קנטרוביץ' אליעזר‪ ,‬פרופסור חבר בגימלאות‬ ‫הנדסת תוכנה‪ ,‬מנשקי משתמש‪ ,‬תכנות מוטה רכיבים‪ ,‬תכנות באינטרנט ‪,‬רכיבי תוכנה עם‬ ‫מנשקים סמנטיים‪ ,‬אמידה סטטיסטית של מספר הפגמים בתוכנה‪.‬‬ ‫רוט רוני‪ ,‬פרופסור‬ ‫צפינת ערוץ; תורת האינפורמציה; אלגברה ושימושיה בצפינה ובסיבוכיות‪.‬‬ ‫רז דני‪ ,‬פרופסור‬ ‫תיאוריה ויישום של בעיות הקשורות לניהול רשתות תקשורת מחשבים בעיקר בתחום ה‪ .IP-‬במיוחד‪:‬‬ ‫רשתות אקטיביות )‪ ;(Active Networks‬בעיות מיקום שרתים; תיאוריה של ניהול רשתות תקשורת‪,‬‬ ‫תקשורת אלחוטית ובעיות אופטימיזציה שונות‪.‬‬ ‫ריבלין אהוד‪ ,‬פרופסור‬ ‫ראייה ממוחשבת; עיבוד תמונה; רובוטיקה; בינה מלאכותית; בסיסי נתונים עם תמונות; גרפיקה וראייה‬ ‫ממוחשבת‪.‬‬ ‫שוסטר אסף‪ ,‬פרופסור‬ ‫חישוב מקבילי ומבוזר‪.‬‬ ‫שכנאי הדס‪ ,‬פרופסור‬ ‫אלגוריתמים לבעיות באופטימיזציה קומבינטורית‪ ,‬בפרט לבעיות אריזה‪ ,‬תזמון והקצאת משאבים עם‬ ‫יישומים במערכות מידע ותקשורת‪ .‬אלגוריתמים אקראיים; אלגוריתמים פרמטריים ושימושיהם במציאת‬ ‫פתרונות מקורבים; חישוב מקבילי‪.‬‬ ‫שלומי תומר‪ ,‬פרופסור חבר‬ ‫ביואינפורמטיקה; אנליזה של רשתות ביולוגיות‪ :‬מידול מבוסס אילוצים של רשתות מטבוליות; אנליזה של‬ ‫רשתות אינטרקציה בין חלבונים‪.‬‬ ‫שמואלי עודד‪ ,‬פרופסור‬ ‫מערכות מסדי נתונים‪ :‬אספקטים תיאורטיים של ביצוע שאילתות במסדי נתונים יחסיים‪ ,‬במסדים מבוססי‬ ‫‪ XML‬ובמסדי נתונים מבוססי לוגיקה )‪ ;(Datalog‬אספקטים מערכתיים‪ :‬אחסון פיזי‪ ,‬בקרת מקביליות‪,‬‬ ‫התאוששות מנפילות‪ ,‬שכפול וביזור; שאילתות על ה‪ ;WWW-‬מסחר אלקטרוני; משא ומתן אוטומטי‪.‬‬ ‫‪22‬‬ ‫‪ .7‬תחומי המחקר בפקולטה למדעי המחשב‬ ‫מידע נוסף על תחומי המחקר בפקולטה ניתן לקבל באתר הפקולטה‪:‬‬ ‫‪www.cs.technion.ac.il/he/research-areas‬‬ ‫קבוצות מחקר‬ ‫של‬ ‫תיאוריה של‬ ‫תיאוריה‬ ‫מחשב‬ ‫מדעי‬ ‫מדעי ההמחשב‬ ‫בינה‬ ‫בינה‬ ‫מלאכותית‬ ‫מלאכותית‬ ‫מערכות‬ ‫מערכות‬ ‫נבונות‬ ‫מערכות נבונות‬ ‫מערכות‬ ‫מדעי‬ ‫וחישוב‬ ‫וחישוב מדעי‬ ‫‪23‬‬ ‫מחקר‬ ‫מחקר‬ ‫תחומי‬ ‫בין‬ ‫בין‪--‬תחומי‬ ‫המחשב‬ ‫מדעי המחשב‬ ‫של מדעי‬ ‫תיאוריה של‬ ‫תיאוריה‬ ‫חישובית‪:‬‬ ‫ריה חישובית‬ ‫גיאומטריה‬ ‫גיאומט‬ ‫צפינה‪::‬‬ ‫צפינה‬ ‫סיבוכיות‪::‬‬ ‫סיבוכיות‬ ‫א‪ .‬בן‪-‬ששון‬ ‫א‪ .‬יעקובי‬ ‫א‪ .‬למפל‬ ‫ט‪ .‬עציון‬ ‫ר‪ .‬רוט‬ ‫א‪ .‬בן‪-‬ששון‬ ‫ר‪ .‬בר‪-‬יהודה‬ ‫נ‪ .‬בשותי‬ ‫י‪ .‬ישי‬ ‫י‪ .‬מקובסקי‬ ‫ס‪ .‬נאור‬ ‫א‪ .‬פישר‬ ‫א‪ .‬קושלביץ‬ ‫מ‪ .‬קמינסקי‬ ‫קריפטולוגיה‪::‬‬ ‫קריפטולוגיה‬ ‫מבוזרת‪::‬‬ ‫חישוביות מבוזרת‬ ‫חישוביות‬ ‫וסמנטיקה‪::‬‬ ‫לוגיקה וסמנטיקה‬ ‫לוגיקה‬ ‫א‪ .‬ביהם‬ ‫י‪ .‬ישי‬ ‫א‪ .‬פטרנק‬ ‫א‪ .‬קושלביץ‬ ‫ש‪ .‬זקס‬ ‫ר‪ .‬פרידמן‬ ‫ח‪ .‬עטיה‬ ‫ק‪ .‬צנזור‪-‬הלל‬ ‫ושפות‬ ‫אוטומטים ושפות‬ ‫אוטומטים‬ ‫פורמליות‪::‬‬ ‫פורמליות‬ ‫ע‪ .‬פז‬ ‫נ‪ .‬פרנסיז‬ ‫ב‪ .‬קימלפלד‬ ‫מ‪ .‬קמינסקי‬ ‫ג‪ .‬ברקת‬ ‫ר‪ .‬בר‪-‬יהודה‬ ‫האלגוריתמים‪:‬‬ ‫תורת האלגוריתמים‬ ‫תורת‬ ‫א‪ .‬גרימברג‬ ‫ע‪ .‬יהב‬ ‫ש‪ .‬כ"ץ‬ ‫י‪ .‬מקובסקי‬ ‫נ‪ .‬פרנסיז‬ ‫ב‪ .‬קימלפלד‬ ‫מ‪ .‬קמינסקי‬ ‫נ‪ .‬אילון‬ ‫א‪ .‬איתי‬ ‫א‪ .‬בן‪-‬ששון‬ ‫ר‪ .‬בר‪-‬יהודה‬ ‫ג‪ .‬ברקת‬ ‫ש‪ .‬זקס‬ ‫ש‪ .‬מורן‬ ‫ס‪ .‬נאור‬ ‫ע‪ .‬פז‬ ‫א‪ .‬פישר‬ ‫ק‪ .‬צנזור‪-‬הלל‬ ‫ה‪ .‬שכנאי‬ ‫מערכות‬ ‫מערכות‬ ‫נתונים‬ ‫מסדי נתונים‬ ‫מסדי‬ ‫נתונים‪::‬‬ ‫ועיבוד‬ ‫ועיבוד נתונים‬ ‫י‪ .‬גיל‬ ‫י‪ .‬מקובסקי‬ ‫ב‪ .‬קימלפלד‬ ‫י‪ .‬קנזה‬ ‫א‪ .‬שוסטר‬ ‫ע‪ .‬שמואלי‬ ‫מבוזרות‬ ‫מערכות מבוזרות‬ ‫מערכות‬ ‫ומקבילות‪::‬‬ ‫ומקבילות‬ ‫ע‪ .‬יהב‬ ‫ח‪ .‬עטיה‬ ‫י‪ .‬עציון‬ ‫א‪ .‬פטרנק‬ ‫ר‪ .‬פרידמן‬ ‫ד‪ .‬צפריר‬ ‫א‪ .‬שוסטר‬ ‫הפעלה‬ ‫מערכות הפעלה‬ ‫מערכות‬ ‫ווירטואליזציה‪::‬‬ ‫ווירטואליזציה‬ ‫ד‪ .‬צפריר‬ ‫י‪ .‬עציון‬ ‫א‪ .‬שוסטר‬ ‫חומרה‬ ‫חומרה‬ ‫וארכיטקטורת‬ ‫וארכיטקטורת‬ ‫מחשבים‪::‬‬ ‫מחשבים‬ ‫צ‪ .‬כוכבי‬ ‫ע‪ .‬ליטמן‬ ‫ט‪ .‬מור‬ ‫י‪ .‬עציון‬ ‫תכנות‪::‬‬ ‫שפות תכנות‬ ‫שפות‬ ‫י‪ .‬גיל‬ ‫א‪ .‬פטרנק‬ ‫ע‪ .‬יהב‬ ‫תקשורת‬ ‫רשתות‪ ,,‬תקשורת‬ ‫רשתות‬ ‫ומערכות‪::‬‬ ‫ומערכות‬ ‫ש‪ .‬זקס‬ ‫ע‪ .‬ליטמן‬ ‫ר‪ .‬כהן‬ ‫ר‪ .‬רוט‬ ‫ד‪ .‬רז‬ ‫תוכנה‬ ‫אימות תוכנה‬ ‫אימות‬ ‫וחומרה‪::‬‬ ‫וחומרה‬ ‫א‪ .‬גרימברג‬ ‫מ‪ .‬היימן‬ ‫ע‪ .‬יהב‬ ‫ש‪ .‬כ"ץ‬ ‫תוכנה‪::‬‬ ‫סת תוכנה‬ ‫הנדסת‬ ‫הנד‬ ‫איחסון‪::‬‬ ‫איחסון‬ ‫רכות‪::‬‬ ‫מערכות‬ ‫אבטחת מע‬ ‫אבטחת‬ ‫י‪ .‬גיל‬ ‫ע‪ .‬יהב‬ ‫ש‪ .‬כ"ץ‬ ‫ר‪ .‬פינטר‬ ‫ר‪ .‬פרידמן‬ ‫א‪ .‬קנטרוביץ'‬ ‫ע‪ .‬יהב‬ ‫א‪ .‬יעקובי‬ ‫א‪ .‬פטרנק‬ ‫ד‪ .‬צפריר‬ ‫י‪ .‬קנזה ‪24‬‬ ‫א‪ .‬שוסטר‬ ‫א‪ .‬ביהם‬ ‫ע‪ .‬יהב‬ ‫ד‪ .‬צפריר‬ ‫מלאכותית‬ ‫בינה מלאכותית‬ ‫בינה‬ ‫חשיבה‪::‬‬ ‫חשיבה‬ ‫למידה‪::‬‬ ‫למידה‬ ‫ד‪ .‬גייגר‬ ‫מ‪ .‬קמינסקי‬ ‫ע‪ .‬פז‬ ‫א‪ .‬איתי‬ ‫י‪ .‬ברעם‬ ‫נ‪ .‬בשותי‬ ‫ד‪ .‬גייגר‬ ‫ר‪ .‬אל‪-‬יניב‬ ‫מ‪ .‬אלעד‬ ‫ש‪ .‬מרקוביץ‬ ‫ע‪ .‬אורנן‬ ‫מדעי‬ ‫וחישוב מדעי‬ ‫נבונות וחישוב‬ ‫מערכות נבונות‬ ‫מערכות‬ ‫גיאומטרי‪::‬‬ ‫מידול גיאומטרי‬ ‫מידול‬ ‫גרפיקה‬ ‫גרפיקה‬ ‫ג‪ .‬אלבר‬ ‫ג‪ .‬ברקת‬ ‫ג‪ .‬אלבר‬ ‫מ‪ .‬בן‪-‬חן‬ ‫ח‪ .‬גוטסמן‬ ‫ר‪ .‬קימל‬ ‫תמונות‬ ‫עיבוד תמונות‬ ‫עיבוד‬ ‫וראייה‬ ‫ממוחשבת‪::‬‬ ‫וראייה ממוחשבת‬ ‫מ‪ .‬אלעד‬ ‫א‪ .‬ברוקשטיין‬ ‫ע‪ .‬יבנה‬ ‫מ‪ .‬לינדנבאום‬ ‫ר‪ .‬קימל‬ ‫א‪ .‬ריבלין‬ ‫מדעי‬ ‫חישוב מדעי‬ ‫חישוב‬ ‫נומרית‪::‬‬ ‫ואנליזה‬ ‫ואנליזה נומרית‬ ‫ומערכות‬ ‫רובוטיקה ומערכות‬ ‫רובוטיקה‬ ‫מורכבות‪::‬‬ ‫מורכבות‬ ‫מ‪ .‬אונגריש‬ ‫מ‪ .‬אלעד‬ ‫ע‪ .‬יבנה‬ ‫א‪ .‬סידי‬ ‫ר‪ .‬קימל‬ ‫א‪ .‬ברוקשטיין‬ ‫י‪ .‬ברעם‬ ‫מ‪ .‬היימן‬ ‫א‪ .‬ריבלין‬ ‫תחומי‬ ‫מחקר בין‬ ‫מחקר‬ ‫בין‪--‬תחומי‬ ‫ביואינפורמטיקה‬ ‫ביואינפורמטיקה‬ ‫המחשב‬ ‫מדעי המחשב‬ ‫))מדעי‬ ‫וביולוגיה((‪:(::‬‬ ‫וביולוגיה‬ ‫ד‪ .‬גייגר‬ ‫ש‪ .‬מורן‬ ‫ר‪ .‬פינטר‬ ‫ת‪ .‬שלומי‬ ‫חישובית‬ ‫בלשנות חישובית‬ ‫בלשנות‬ ‫שפות‬ ‫ועיבוד שפות‬ ‫ועיבוד‬ ‫טבעיות‪::‬‬ ‫טבעיות‬ ‫אינפורמציה‬ ‫עיבוד אינפורמציה‬ ‫עיבוד‬ ‫קוונטית‬ ‫)‬ ‫מדעי‬ ‫קוונטית )מדעי‬ ‫הנדסת‬ ‫המחשב‬ ‫המחשב‪ ,,‬הנדסת‬ ‫פיסיקה‬ ‫חשמל‬ ‫חשמל‪ ,,‬פיסיקה‬ ‫וכימיה((‪::‬‬ ‫וכימיה‬ ‫ע‪ .‬אורנן‬ ‫א‪ .‬איתי‬ ‫נ‪ .‬פרנסיז‬ ‫ב‪ .‬קימלפלד‬ ‫א‪ .‬ביהם‬ ‫ט‪ .‬מור‬ ‫‪25‬‬ ‫מסחר‬ ‫אינטרנט‬ ‫אינטרנט‪ ,,‬מסחר‬ ‫אלקטרוני‬ ‫וכלכלה‪::‬‬ ‫אלקטרוני וכלכלה‬ ‫ר‪ .‬אל‪-‬יניב‬ ‫ש‪ .‬מרקוביץ'‬ ‫ס‪ .‬נאור‬ ‫י‪ .‬קנזה‬ ‫ע‪ .‬שמואלי‬ ‫‪ .8‬בוגרי תארים מתקדמים בפקולטה למדעי המחשב‬ ‫‪2000-2014‬‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫אבידור צבי‬ ‫ינואר ‪2004‬‬ ‫הסכמת קבוצה‪ N-‬כאשר הקלטים מוגבלים‬ ‫אבן קרין‬ ‫אוקטובר ‪2013‬‬ ‫ציאת שגיאות יציבות מספריות נדירות בחישובים מקבילים‬ ‫חגית עטיה‬ ‫ערן יהב‪,‬‬ ‫חנה צ'וקלר‬ ‫אבני אופיר‬ ‫נובמבר ‪2006‬‬ ‫מידול וחיקוי עם מוטיבציה ביולוגית של מערכת הראייה של‬ ‫הזיקית‬ ‫אהוד ריבלין‬ ‫אברהם אורי‬ ‫אוגוסט ‪2012‬‬ ‫תבנית חדשה לצפני בלוקים סימטריים‬ ‫אלי ביהם‪,‬‬ ‫אור דונקלמן‬ ‫אגבריה סביח‬ ‫אוקטובר ‪2013‬‬ ‫אגוזי עופר‬ ‫מרס ‪2010‬‬ ‫אדדי רועי‬ ‫אוקטובר ‪2011‬‬ ‫אדלר עמיר‬ ‫ספטמבר ‪2005‬‬ ‫הפחתת דרישות הזיכרון לאיחסון בסיסי נתונים תבניתיים‬ ‫אדן ערן‬ ‫אפריל ‪2007‬‬ ‫זיהוי מוטיבים ברשימות מדורגות של רצפי דנ"א‬ ‫אהרן מיכל‬ ‫ינואר ‪2004‬‬ ‫ייצוג אנליזה וסינתיזה של תמונות באמצעות הורדת ממד‬ ‫אוחיון שי‬ ‫יולי ‪2007‬‬ ‫אופשנקו אברהם‬ ‫אורלובסקי אריה‬ ‫אושרוביץ אליהו‬ ‫אושמן רותם‬ ‫יוני ‪2003‬‬ ‫ינואר ‪2008‬‬ ‫יוני ‪2007‬‬ ‫ספטמבר ‪2008‬‬ ‫אזאצ'י חזי‬ ‫אוגוסט ‪2003‬‬ ‫אייזנברג ודים‬ ‫אוקטובר ‪2012‬‬ ‫איפרגן נילי‬ ‫אפריל ‪2005‬‬ ‫איתמר עינב‬ ‫מרס ‪2008‬‬ ‫אלבוחר דני‬ ‫מרס ‪2010‬‬ ‫סימולטור תחושתי בזמן אמת עבור פרוצדורות כירורגיות‬ ‫אלטמן אלון‬ ‫דצמבר ‪2003‬‬ ‫אלמוג אלי‬ ‫מרס ‪2001‬‬ ‫אלנבוגן דימה‬ ‫אלסטר קונסטנטין‬ ‫אלפרין יבגניה‬ ‫יוני ‪2914‬‬ ‫אוקטובר ‪2004‬‬ ‫דצמבר ‪2010‬‬ ‫אלעד אסי‬ ‫נובמבר ‪2002‬‬ ‫אסתרין יעקב‬ ‫אוקטובר ‪2005‬‬ ‫אפלמן בוריס‬ ‫אוגוסט ‪2001‬‬ ‫אקל נטליה‬ ‫ינואר‪2001‬‬ ‫אקשטיין איליה‬ ‫אוגוסט ‪2001‬‬ ‫ארצי שי‬ ‫אוגוסט ‪2000‬‬ ‫בגלייטר רון‬ ‫בדר מיכאל‬ ‫נובמבר ‪2005‬‬ ‫פברואר ‪2013‬‬ ‫איפיון וחישוב של גרירות טווח‬ ‫תזמון גישות לזיכרון משותף על‪-‬ידי בורר ערוץ בודד‪ :‬עיון נוסף‬ ‫בבעיית ‪-k‬הלקוחות‬ ‫הוכחת סיום הדדי של תוכניות‬ ‫ניטור יעיל של פרמטרי איכות השירות ברשתות תקשורת‬ ‫ניתוח תכונות וזיהוי אוטומטי לסוגי אספקטים‬ ‫נושאים מתקדמים בשיטוח משטחים בעזרת ‪FMMTD‬‬ ‫ו‪MDS-‬‬ ‫מערכת מומחה בתרגומים בין כלים פורמליים לבדיקת מערכות‬ ‫ב‪VeriTech-‬‬ ‫מידול גיאומטרי מרחוק‬ ‫מחקר אמפירי של אסטרטגיות פרישת אובייקט ושיטות‬ ‫אופטימיזציה‬ ‫מיפוי טקסטורה תוך שימוש בפרמטריזציה עם אילוצים‬ ‫חסמים תחתונים על הסיבוכיות של מכפלת פולינומים מעל‬ ‫שדות סופיים‬ ‫מחקר בנושאים עיוניים ומעשיים של חיזוי סדרות‬ ‫אלגוריתמי קירוב עבור בעיות תזמון והקצאת משאבים‬ ‫על תיקונים חלקיים של באגים והאינטואיציה של מפתחים‬ ‫לגביהם‬ ‫אחזור מידע מבוסס‪-‬מושגים תוך שימוש בניתוח סמנטי מפורש‬ ‫חיזוי קצבי גידול במיקרואורגניזמים בעזרת רשת מטבולית‬ ‫בשילוב פרמטרים קינטיים אינזימטיים‬ ‫אנליזה חישובית של התנהגות ביולוגית‪ :‬אינטראקציה בין‬ ‫שליטה על מבט וקשב חזותי‬ ‫למידת אוטומטים סופיים‪ ,‬בעזרת שאילתות שיוך לא מושלמות‬ ‫אכיפה מבוזרת של מדיניות אבטחה במערכות מבוזרות‬ ‫כיסוי מרחבים רציפים על ידי מערכות רב סוכניות‬ ‫בדיקת מודל חסומה ללוגיקת זמן מסתעף‬ ‫שילוב דורות באלגוריתמים מוני התייחסות לניהול זיכרון‬ ‫אוטומטי‬ ‫תכנות יישומים מעל רשת האינטרנט הסמנטית‬ ‫שיפור מהירות במערכות מרובות‪-‬מעבדים עבור חישוב ישיגות‬ ‫מקבילית‬ ‫שימוש בכתוביות סרטים ליצירת מודלים ליישור סטטיסטי‬ ‫‪26‬‬ ‫יוסי גיל‬ ‫שאול מרקוביץ'‬ ‫תומר שלומי‬ ‫שאול מרקוביץ'‪,‬‬ ‫אריאל פלנר‬ ‫זהר יכיני‬ ‫מיכאל אלעד‪,‬‬ ‫רון קימל‬ ‫אהוד ריבלין‬ ‫נאדר בשותי‬ ‫דני רז‬ ‫אלפרד ברוקשטיין‬ ‫אורנה גרימברג‬ ‫ארז פטרנק‬ ‫ירון קנזה‬ ‫אורנה גרימברג‬ ‫אלון איתי‬ ‫גרשון אלבר‪,‬‬ ‫ירון הר‪-‬שי‬ ‫יועד וינטר‬ ‫הדס שכנאי‬ ‫עופר שטריכמן‬ ‫דני רז‬ ‫שמואל כ"ץ‬ ‫רון קימל‬ ‫שמואל כ"ץ‬ ‫גרשון אלבר‬ ‫יוסי גיל‬ ‫חיים גוטסמן‬ ‫מיכאל קמינסקי‬ ‫רן אל‪-‬יניב‬ ‫ראובן בר‪-‬יהודה‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫בוגומיאקוב אלכסנדר‬ ‫ספטמבר ‪2001‬‬ ‫בוכבינדר ניב‬ ‫בורטניקוב ויטה‬ ‫בלטקסה מיכאל‬ ‫בלטר דורית‬ ‫נובמבר ‪2003‬‬ ‫ינואר ‪2001‬‬ ‫פברואר ‪2014‬‬ ‫נובמבר ‪2003‬‬ ‫בליאק לאוניד‬ ‫פברואר ‪2003‬‬ ‫בן‪-‬אבי גלעד‬ ‫בן‪-‬אלעזר שי‬ ‫מרס ‪2002‬‬ ‫פברואר ‪2013‬‬ ‫בן‪-‬דוד דוד‬ ‫יולי ‪2012‬‬ ‫התאוששות מחריגות במערכות שטפי מידע מבוזרות‬ ‫בן‪-‬חן מירלה‬ ‫אוגוסט ‪2003‬‬ ‫בן‪-‬ישראל שיר‬ ‫מרס ‪2010‬‬ ‫בן משה שגיא‬ ‫ספטמבר ‪2010‬‬ ‫בנדל קרן‬ ‫בנדרסקי אנה‬ ‫בנט רותם‬ ‫בקרמן אנה‬ ‫יוני ‪2002‬‬ ‫מאי ‪2011‬‬ ‫יולי ‪2005‬‬ ‫נובמבר ‪2004‬‬ ‫על האופטימליות של דחיסה ספקטרלית של רשתות‬ ‫שבירת סימטריה יכולה לקצר באופן משמעותי את אורך‬ ‫ההוכחה‬ ‫שימוש בבדיקת תכונות לזיהוי יעיל של רלציות אשר קרובות‬ ‫להיות ממוינות‬ ‫יישומים של טכניקת היחס המקומי‪ :‬סקירה‬ ‫המגבלות של דחיסה חלקית‬ ‫למידה משופרת עם אורקל מושחת‬ ‫פתרון התנגשויות ועדיפות אופרטורים ב‪ BNF-‬המורחב‬ ‫בקרמן רון‬ ‫אפריל ‪2003‬‬ ‫חלוקה התפלגותית לצברי מילים ושימושיה לסיווג טקטסטים‬ ‫בר‪-‬אביב עזר‬ ‫מרס ‪2009‬‬ ‫בר‪-‬אור אמיר‬ ‫ספטמבר ‪2004‬‬ ‫בר‪-‬חיים רועי‬ ‫ינואר ‪2005‬‬ ‫בר‪-‬לב עדי‬ ‫אוגוסט ‪2008‬‬ ‫ברבש קטרינה‬ ‫ברג מירית‬ ‫ברום יעקב‬ ‫מרס ‪2011‬‬ ‫פברואר ‪2003‬‬ ‫אוקטובר ‪2003‬‬ ‫סיווג עצמים פונקציונאלי מבוסס סימולציה על‪-‬ידי סוכן‬ ‫למידת עצי החלטה ברשתות מבוזרות עבור מסדי נתונים רב‬ ‫ממדיים‬ ‫תיוג חלקי דיבר בעברית ובשפות שמיות אחרות‬ ‫מריונטות וירטואליות‪ :‬מערכת ממוחשבת לאנימציית זמן‪-‬אמת‬ ‫בתלת‪-‬ממד‬ ‫מיקבול איסוף זיכרון אוטומטי למספר רב של מעבדים‬ ‫המרות של תכונות בשביל תרגומים‬ ‫סיווג ואישכול בייסיאניים בעזרת הירארכיית גוף חסר מעגלים‬ ‫ברונשטיין דניאל‬ ‫אוגוסט ‪2003‬‬ ‫הנפשת מצלמה לסריקת מצולע מישורי‬ ‫ברונשטיין מיכאל‬ ‫בריוזקין גנאדי‬ ‫פברואר ‪2005‬‬ ‫אפריל ‪2005‬‬ ‫זיהוי פנים תלת‪-‬ממדי‬ ‫בריסקין גיל‬ ‫ינואר ‪2015‬‬ ‫שערוך מיקום ותנועה בעזרת אלגוריתם לשערוך תנועה עם‬ ‫אילוצים על מפת גבהים‬ ‫בריקנר ארז‬ ‫מאי ‪2005‬‬ ‫בעיית האיכלוס מחקר בננו‪-‬רובוטיקה רב‪-‬סוכנית‬ ‫בריקנר בועז‬ ‫אוקטובר ‪2011‬‬ ‫ברמנו עמית‬ ‫ברסקי רומן‬ ‫מאי ‪2011‬‬ ‫ינואר ‪2005‬‬ ‫מנחה‬ ‫נושא העבודה‬ ‫מעבר אופטימלי על פוליגונים של רשתות פוליגונליות‬ ‫פרגרסיביות תוך שימוש במטמון של קודקודים‬ ‫חסמים תחתונים ועליונים על סיבוכיות מבני נתונים חסרי זיכרון‬ ‫אלגוריתמים אדפטיביים למניעה הדדית‬ ‫סגמנטציה בעזרת הערכה סטטיסטית של שינוי מקומי‬ ‫בעיית חשאיות ברשימות רפואיות‬ ‫פתרון נומרי של משוואות דיפרנציאליות לינאריות עם מקדמים‬ ‫לא קבועים בעזרת גלונים‬ ‫תכונות מונוטוניות של כמתים בצורת ריבוי בשפה טבעית‬ ‫שיטות חישוביות לניתוח ביטוי גנים באורגניזמי מודל‬ ‫סמנטיקת ריבוי למשפטי בקרה בממשק ‪L..F.G.‬‬ ‫ברקול עומר‬ ‫אפריל ‪2000‬‬ ‫בשת לורנס‬ ‫גבינסקי דמיטרי‬ ‫גביש יעל‬ ‫גביש מורן‬ ‫מאי ‪2007‬‬ ‫אוגוסט ‪2002‬‬ ‫ספטמבר ‪2003‬‬ ‫יוני ‪2004‬‬ ‫שיטות לזיהוי בעזרת סגנון גרפי וסינתוז סגנון תוך שימוש‬ ‫בניתוח מקומי‬ ‫שחזור מקוון של עצמים תלת‪-‬ממדיים מחתכים שרירותיים‬ ‫הערכת תפוקה פרמטרית תלוית‪-‬אלקטרומיגרציה‬ ‫חסמים תחתונים הדוקים יותר לבעיות השכן הקרוב ולבעיות‬ ‫קשורות במודל שליפה מתאים‬ ‫על למידה אופטימאלית של אוטומט ריבוי‬ ‫בוסטינג עם התפלגויות חסומות פולינומיאלית‬ ‫ניהול זיכרון עם התנהגות מטמון טובה עבור שרתים‬ ‫אלגוריתם סדרתי לזיהוי פנים‬ ‫גבל משה‬ ‫ספטמבר ‪2013‬‬ ‫זיהוי אנומליות ללא פיקוח במרכזי מידע גדולים‬ ‫גבע אמיר‬ ‫ספטמבר ‪2013‬‬ ‫גדרון אלעד‬ ‫אוקטובר ‪2012‬‬ ‫גודלין בנימין‬ ‫אפריל ‪2008‬‬ ‫סיווג מטרות רחוקות בסרטי אבטחה‬ ‫ניצול לוקליות ומערכות עם גישה לא אחידה לזכרון בספריות‬ ‫סקלביליות מקביליות‬ ‫אימות נסיגתי‪:‬היבטים תיאורטיים ויישומיים‬ ‫‪27‬‬ ‫חיים גוטסמן‬ ‫ארז פטרנק‬ ‫חגית עטיה‬ ‫מיכאל לינדנבאום‬ ‫שלמה מורן‬ ‫משה ישראלי‬ ‫יועד וינטר‬ ‫זהר יכיני‬ ‫אסף שוסטר‪,‬‬ ‫דני קרן‬ ‫חיים גוטסמן‬ ‫אלי בן‪-‬ששון‬ ‫אלדר פישר‬ ‫ראובן בר‪-‬יהודה‬ ‫ארז פטרנק‬ ‫נאדר בשותי‬ ‫יוסי גיל‬ ‫יועד וינטר‪,‬‬ ‫רן אל‪-‬יניב‬ ‫אהוד ריבלין‬ ‫אסף שוסטר‬ ‫יועד וינטר‬ ‫גרשון אלבר‪,‬‬ ‫אלפרד ברוקשטיין‬ ‫ארז פטרנק‬ ‫שמואל כ"ץ‬ ‫דן גייגר‬ ‫גיל ברקת‪,‬‬ ‫חיים גוטסמן‬ ‫רון קימל‬ ‫נסים פרנסיז‬ ‫אהוד ריבלין‪,‬‬ ‫הקטור רוטשטיין‬ ‫אלפרד ברוקשטיין‪,‬‬ ‫ישראל וגנר‬ ‫אסף שוסטר‪,‬‬ ‫דני קרן‬ ‫חיים גוטסמן‬ ‫ישראל וגנר‬ ‫יובל רבני‬ ‫נאדר בשותי‬ ‫נאדר בשותי‬ ‫ארז פטרנק‬ ‫מיכאל לינדנבאום‬ ‫אסף שוטר‪,‬‬ ‫גלעד‪-‬בכרך רן‬ ‫מיכאל היימן‬ ‫עידית קידר‬ ‫עפר שטרייכמן‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫גוטסמן רנית‬ ‫גוטר ישראל‬ ‫מרס ‪2013‬‬ ‫יולי ‪2003‬‬ ‫יצירת מסלולים מבוססי‪-‬מפה מרצפי ‪ gps‬וייצוגם הקומפקטי‬ ‫ניתוח משפט בעברית באמצעות תכונות סמנטיות‬ ‫ירון קנזה‬ ‫עוזי אורנן‬ ‫גוטרמן צבי‬ ‫מרץ ‪2004‬‬ ‫חישוב סימבולי מקדמי לאפליקציות נומריות‬ ‫גולבנדי נדב‬ ‫אפריל ‪2003‬‬ ‫גולדין אלכסנדר‬ ‫אוגוסט ‪2003‬‬ ‫גולדמן יהונתן‬ ‫דצמבר ‪2014‬‬ ‫גולדמן מקס‬ ‫גולובצ'יק רומן‬ ‫גולדין ישי‬ ‫אוגוסט ‪2006‬‬ ‫מרס ‪2006‬‬ ‫דצמבר ‪2008‬‬ ‫גולן שמעון‬ ‫נובמבר ‪2005‬‬ ‫גורביץ' נלה‬ ‫מאי ‪2006‬‬ ‫גורדון איל‬ ‫יולי ‪2005‬‬ ‫גורובוי אלכסנדר‬ ‫גוריאצ'ב אלכסנדר‬ ‫גורביץ' פבל‬ ‫ינואר ‪2001‬‬ ‫נובמבר ‪2006‬‬ ‫נובמבר ‪2012‬‬ ‫גורן ירון‬ ‫אוגוסט ‪2006‬‬ ‫גז דן‬ ‫דצמבר ‪2004‬‬ ‫גטניו גיל‬ ‫יולי ‪2008‬‬ ‫גיא עדו‬ ‫מרס ‪2007‬‬ ‫איפיון וסיווג רשתות דמויות פרפר‬ ‫פרוטוקולים גיאומטריים לסינון הודעות עבור מערכות מבוזרות‬ ‫מרובות סוכנים‬ ‫שערוך חסון של גיאומטריה אפיפולרית באמצעות שימוש במידע‬ ‫מוקדם אך רועש על מיקום המצלמות‬ ‫אימות מודולרי של אספקטים‬ ‫שיפור אלגוריתם ההתבלטות על‪-‬ידי אופטימיזצית סימני הקבצה‬ ‫על אמבות ווסיקולות‪ :‬שינויי צורה תחת אילוצים גלובאליים‬ ‫אלגוריתמים יעילים לחישוב מידע לגבי זמינות משאבים ביישומי‬ ‫תקשורת מרחבית‬ ‫יצור אוטומטי של דוגמאות המהוות החטאה קרובה ללמידה‬ ‫אקטיבית של מושגים חזותיים‬ ‫ניתוח תפוקה תחרותי של פרוטוקולים חמדניים ברשתות‬ ‫מכוונות חסרות מעגלים‬ ‫שימושים באלגוריתמי דחיסה נתונים להנדסת תוכנה‬ ‫בעיות מיקום של טבעת היסט פוליגונלית‬ ‫ניהול משאבים בסביבת סריג חישובי‬ ‫בניית קריפטוגרפיה של מפתח פומבי על סמך פונקציות חד‪-‬‬ ‫כיווניות‬ ‫תזמון תקשורת עם אילוצי זמן במתגים מבוססי תורי קלט‬ ‫זיהוי עצמים בעזרת הרחבות לאלגוריתם העירבול הגיאומטרי‬ ‫גיאומטרית‬ ‫דירוג אשכולות ויישומו בכריית רשתות דואר אלקטרוני‬ ‫ג'יריס רג'א‬ ‫דצמבר ‪2009‬‬ ‫כיוונון פרמטרים אוטומאטי לבעיות היפוך‬ ‫גייסינסקי אלכסנדר‬ ‫ינואר ‪2001‬‬ ‫גילברוד ברוך‬ ‫ספטמבר ‪2005‬‬ ‫גינזבורג מרק‬ ‫יולי ‪2008‬‬ ‫גלייזר ודים‬ ‫אוגוסט ‪2002‬‬ ‫גליקסון אלכסנדר‬ ‫ינואר ‪2004‬‬ ‫גלס רן‬ ‫מרס ‪2009‬‬ ‫גלפרין ודים‬ ‫ינואר ‪2005‬‬ ‫גנאים עלא‬ ‫גנקין דניאל‬ ‫אוגוסט ‪2014‬‬ ‫ינואר ‪2011‬‬ ‫גצלביץ' ולדימיר‬ ‫דצמבר ‪2003‬‬ ‫שילוב החלפה עם הבאה מצונרת בניהול זיכרון מטמון‬ ‫מודל אבטחה ואלגוריתמים שומרי פרטיות לכריית נתונים‬ ‫בסביבות מבוזרות ממימד גדול‬ ‫הטמעת "סימני מים" הולוגרפיים במרחב ‪ DFT-d3‬של סצנות‬ ‫וידאו‬ ‫אופטימיזצית תבניות משותפות ומקומיות באמצעות הגירת‬ ‫חוטים‬ ‫אימות של תכונות גרפים קשות בגרפים הנוצרים על ידי דקדוקי‬ ‫גרפים‬ ‫בטיחות פרוטוקולי הפצת מפתחות קוואנטים תיאורטיים‬ ‫ומעשיים‬ ‫רגרסיה מקוונת באמצעות וקטורי תמיכה עם שימוש בחיזוי‬ ‫תנועות ראש מתוך אותות ‪EMG‬‬ ‫אלגוריתם הפניה נשנית לניתוח נתוני ריצוף גנטי‬ ‫לקסיקליזציה רדיקלית של שפות עדינות הקשר‬ ‫יצירת שירותים יעילים לאורך המסלול המהיר של חבילות‬ ‫ברשתות אקטיביות‬ ‫ג'קובס קיילה‬ ‫דצמבר ‪2014‬‬ ‫ראשי תיבות בעברית‪ :‬זיהוי‪ ,‬פיענוח והתרת רב משמעות‬ ‫גרבר דן‬ ‫אוגוסט ‪2012‬‬ ‫גרוס רון‬ ‫ספטמבר ‪2008‬‬ ‫גרימברג בנימין‬ ‫מאי ‪2007‬‬ ‫גרינברג מאור‬ ‫גרץ אבישי‬ ‫יוני ‪2014‬‬ ‫יולי ‪2013‬‬ ‫קירוב תוכניות מוגדרות אי‪-‬שלילית בזמן תת לינארי‬ ‫תכונות משומרות תחת חזרות בלוגיקה טמפורלית של זמן‬ ‫מתפצל‬ ‫סמנטיקה של מודלים מינימאליים עבור לוגיקה מודלית לא‪-‬‬ ‫מונוטונית מקובעת מסדר‪-‬ראשון‬ ‫ממשק משתמש תלת מימדי למערכות תיב"ם‬ ‫ניתוח תחבירי של קורפוס ‪ childes‬בעברית‬ ‫‪28‬‬ ‫עירד יבנה‪,‬‬ ‫יוסי גיל‬ ‫עמי ליטמן‬ ‫חיים גוטסמן‬ ‫אהוד ריבלין‪,‬‬ ‫אילן שמשוני‬ ‫שמואל כ"ץ‬ ‫מיכאל לינדנבאום‬ ‫אלפרד ברוקשטיין‬ ‫אביגדור גל‪,‬‬ ‫רון פינטר‬ ‫שאול מרקוביץ'‪,‬‬ ‫אהוד ריבלין‬ ‫עדי רוזן‬ ‫אלון איתי‪ ,‬יוסי גיל‬ ‫גיל ברקת‬ ‫אסף שוטסר‬ ‫יובל ישי‬ ‫עדי רוזן‬ ‫אילן שמשוני‪,‬‬ ‫מיכאל לינדנבאום‬ ‫זיו בר‪-‬יוסף‬ ‫מיכאל אלעד‪,‬‬ ‫יונינה אלדר‬ ‫הדס שכנאי‬ ‫אסף שוסטר‬ ‫אלפרד ברוקשטיין‬ ‫אסף שוסטר‬ ‫יוהן מקובסקי‬ ‫טל מור‬ ‫יורם ברעם‬ ‫דן גייגר‬ ‫מיכאל קמינסקי‬ ‫דני רז‬ ‫איתי אלון‪,‬‬ ‫שלום וינטנר‬ ‫אלעד חזן‬ ‫מיכאל קמינסקי‬ ‫מיכאל קמינסקי‬ ‫גרשון אלבר‬ ‫אלון איתי‪,‬‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫גרשמן רומן‬ ‫גרושקו כרמי‬ ‫יוני ‪2007‬‬ ‫דצמבר ‪2012‬‬ ‫שיפורים לשיטות פתירה של בעיות ‪SAT‬‬ ‫שלום וינטנר‬ ‫עפר שטרייכמן‬ ‫רון קימל‬ ‫דבורקין אלכסנדר‬ ‫ספטמבר ‪2004‬‬ ‫דביר צבי‬ ‫אפריל ‪2008‬‬ ‫דביר יוחאי‬ ‫יולי ‪2009‬‬ ‫דובוב יוליה‬ ‫מרס ‪2008‬‬ ‫דוברוב בלה‬ ‫פברואר ‪2006‬‬ ‫דוזורץ איגור‬ ‫אוקטובר ‪2000‬‬ ‫מודל ממוחשב לזיהוי דובר על‪-‬ידי מאזין אנושי‬ ‫דוידוב דמיטרי‬ ‫מאי ‪2003‬‬ ‫דותן דולב‬ ‫דצמבר ‪2005‬‬ ‫דצנקו דמיטרי‬ ‫דקל אורי‬ ‫דצמבר ‪2006‬‬ ‫אפריל ‪2003‬‬ ‫דרבקו פיליפ‬ ‫אפריל ‪2004‬‬ ‫דרוק ארז‬ ‫דרדיק גריגורי‬ ‫אוקטובר ‪2013‬‬ ‫מאי ‪2005‬‬ ‫האוזר ניר‬ ‫יוני ‪2014‬‬ ‫הורוביץ דניאל‬ ‫אוקטובר ‪2012‬‬ ‫אלגוריתמי חיפוש יוריסטיים רבי מטרות‬ ‫‪ :Hyperflow‬שפה ויזואלית מבוססת אונטולוגיה המשלבת‬ ‫שאילתות וזרימת‪-‬נתונים לצורך עיבוד מידע על‪-‬ידי משתמש‬ ‫קצה‬ ‫רגולריזציה מבוססת דוגמאות בבעיות היפוך‬ ‫חשיפת מבנה מחלקות ג'אווה בעזרת סריגי מושגים‬ ‫עקומי למידה מפורשים עבור למידה טרנסדוקטיבית ושימושים‬ ‫ללמידה עם דחיסה ואלגוריתמי מצבור‬ ‫קודים בעלי זמן קידוד לינארי וקריפטוגרפיה‬ ‫שיטות רב‪-‬שרגי אי‪-‬לינאריות אמינות‬ ‫העברת קוד בזמן ריצה תוך שימוש בג'אווה‪ ,‬אנדרואיד‬ ‫ואספקטים‬ ‫פירוק הרכיבים המורפולוגיים והלקסיקליים כבסיס לזיהוי ביטויים‬ ‫הימן אמנון‬ ‫ספטמבר ‪2003‬‬ ‫זיהוי חלבונים באמצעות ספקטרומטריית מסות‬ ‫הלוי שירלי‬ ‫אוגוסט ‪2001‬‬ ‫המאירי איל‬ ‫אפריל ‪2002‬‬ ‫הניג אסף‬ ‫ינואר ‪2006‬‬ ‫הס גרין רזיאל דוד‬ ‫ינואר ‪2015‬‬ ‫הראל אסף‬ ‫פברואר ‪2005‬‬ ‫הרטשטיין איתמר‬ ‫יולי ‪2012‬‬ ‫השביט ענת‬ ‫נובמבר ‪2011‬‬ ‫וולושין אריאלה‬ ‫מרס ‪2000‬‬ ‫וולק בן לי‬ ‫יוני ‪2014‬‬ ‫וורנוביצקי קולמן‬ ‫פברואר ‪2012‬‬ ‫וותד איהאב‬ ‫יוני ‪2006‬‬ ‫צפינה דו‪-‬ממדית לערוצי הקלטה‬ ‫שיערוך עקמומיות ראשיות וכיוונים ראשיים מתוך תמונות טווח‬ ‫אמיתיות ויישומו בשחזור גופים גיאומטריים פרימיטיביים‬ ‫בעיית מיקום ממירי התצורה ברשתות מרובות משתמשים‬ ‫כשהנתב מספר סיפורים שונים לשכנים שונים‪ :‬התקפה חדשה‬ ‫על פרוטוקלי‪state-link‬‬ ‫הערכת כמות השגיאות שנותרו בתוכנה לאחר סריקה בשיטת‬ ‫‪Review Code Iterative‬‬ ‫סיבוכיות של בעיית מיקום רגנרטורים ברשתות אופטיות ‪ -‬רוחב‬ ‫עץ ופרמטרים נוספים‬ ‫פרוצדורה לביצוע החלטות רציונלית ובלתי מוטות בסביבה‬ ‫מרובת יריבים‬ ‫גישה אחידה לחישוב קבוצות שולטות וקבוצות בלתי תלויות‬ ‫עבור אינטרוולים על ישר‬ ‫המבנה של פונקציות בוליאניות עם נורמה ספקטרלית קטנה‬ ‫שיטות הפשטה ליצירת בקרים קומפקטיים לתהליכי החלטה‬ ‫מרקוביים‬ ‫על למידת חצאי מרחב באמצעות אורקל המחזיר היפותזה‬ ‫קונסיסטנטית רנדומלית‬ ‫וייץ דוד‬ ‫יוני ‪2014‬‬ ‫פרמטריזציה של בעיות פולינמיות‪ :‬קירבה לתתי בעיות קלות‬ ‫וייצל בוריס‬ ‫אפריל ‪2003‬‬ ‫יצירה מונחית מודל של מערכות עזרה‬ ‫ויטקין אדוארד‬ ‫אוקטובר ‪2011‬‬ ‫ויסברוד עומר‬ ‫וקסלר טטיאנה‬ ‫נובמבר ‪2011‬‬ ‫נובמבר ‪2003‬‬ ‫סימטריות רציפות בגופים לא קשיחים‬ ‫תרגום דרישות קצה למדיניות תורים מקומית במודל‬ ‫ה‪Diffserve-‬‬ ‫דגימה מוכללת עיוורת של תמונות‬ ‫רגולריזציה עצמותית של בעיות היפוך הכוללות גופים לא‬ ‫קשיחים‬ ‫אוטומטי מחסנית מעל אלפבתים אינסופיים‪ :‬גישות שונות‬ ‫והשוואת תוצאותיהן‬ ‫על סיבוכיות האקראיות של דגימה יעילה‬ ‫שיטה לבניה של רשתות מטבוליות גדולות המבוססת על מידע‬ ‫פונקציונאלי וגנומי‬ ‫אנליזת תאחיזה גנטית בנוכחות פסיפס בתאי נבט ראשוניים‬ ‫אוטומטים ודקדוקי קטגוריה‬ ‫‪29‬‬ ‫דני רז‬ ‫מיכאל לינדנבאום‬ ‫יובל רבני‬ ‫מיכאל קמינסקי‬ ‫יובל ישי‬ ‫יצחק גת‪,‬‬ ‫הדס שכנאי‬ ‫שאול מרקוביץ'‬ ‫רון פינטר‬ ‫מיכאל אלעד‬ ‫יוסי גיל‬ ‫רן אל‪-‬יניב‬ ‫יובל ישי‬ ‫עירד יבנה‬ ‫רועי פרידמן‬ ‫אלון איתי‬ ‫דן גייגר‪,‬‬ ‫אריה אדמון‬ ‫רוני רוט‬ ‫אילן שמשוני‪,‬‬ ‫מיכאל לינדנבאום‬ ‫דני רז‬ ‫ראובן כהן‬ ‫אליעזר קנטרוביץ'‬ ‫שמואל זקס‪,‬‬ ‫מרדכי שלום‬ ‫שאול מרקוביץ'‬ ‫מיכאל קמינסקי‬ ‫אמיר שפילקה‬ ‫כרמל דומשלק‬ ‫נאדר בשותי‬ ‫ניר אילון‪,‬‬ ‫ספי נאור‪,‬‬ ‫הדס שכנאי‬ ‫אליעזר קנטרוביץ'‪,‬‬ ‫רועי פרידמן‬ ‫תומר שלומי‬ ‫דן גייגר‬ ‫נסים פרנסיז‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫וקסלר עדו‬ ‫וקסמן אמיר‬ ‫ורדי גל‬ ‫ספטמבר ‪2003‬‬ ‫דצמבר ‪2006‬‬ ‫ינואר ‪2000‬‬ ‫זאב בן‪-‬מרדכי אורן‬ ‫אוגוסט ‪2001‬‬ ‫זבר יעל‬ ‫זיגלמן גיל‬ ‫זיידה רומן‬ ‫זיננקו דמיטרי‬ ‫זך עידן‬ ‫זלוטניק אלכסנדר‬ ‫אוגוסט ‪2000‬‬ ‫נובמבר ‪2000‬‬ ‫יוני ‪2013‬‬ ‫יולי ‪2011‬‬ ‫נובמבר ‪2004‬‬ ‫מאי ‪2014‬‬ ‫מציאת חזרות עוקבות מקורבות ברצפים גנומיים‬ ‫אינטרפולציה לא ליניארית בין חתכים‬ ‫ניתוח ויצירה של שמות עבריים על‪-‬ידי צורני גזירה‬ ‫בדיקה יעילה של תנאי תחרות בזיכרון משותף מבוזר‬ ‫וברב‪-‬מעבד סימטרי‬ ‫תורות מחדל פתוחות‬ ‫מיפוי מרקם על‪-‬ידי שיטוח בעזרת סילום רב ממדי‬ ‫אלקטרוקינטיקה חישובית‬ ‫ייצוב עצמי עם תקשורת יעילה‬ ‫אלגוריתמים אדפטיביים לחלוטין במודל של זיכרון משותף‬ ‫שימוש יעיל במשאבי ענן מרוחקים גאוגרפית‬ ‫דן גייגר‬ ‫גיל ברקת‬ ‫עוזי אורנן‬ ‫זמיר טל‬ ‫ספטמבר ‪2008‬‬ ‫נעילה ספקולטיבית עבור מערכות מבוזרות עמידות בפני נפילות‬ ‫זמנסקי אלכס‬ ‫זמנסקי אנה‬ ‫חורי לורנס‬ ‫יוני ‪2007‬‬ ‫ינואר ‪2004‬‬ ‫מאי ‪2005‬‬ ‫מסגרת לשחזור משטח של אובייקטים דגומים בדלילות‬ ‫חיימוביץ יואב‬ ‫פברואר ‪2013‬‬ ‫חמו יניב‬ ‫חרמש ברק‬ ‫טולידנו חגי‬ ‫טולצ'ינסקי ילנה‬ ‫טל אבישי‬ ‫טל אסנת‬ ‫ינואר ‪2002‬‬ ‫ספטמבר ‪2001‬‬ ‫מרס ‪2013‬‬ ‫יוני ‪2002‬‬ ‫פברואר ‪2012‬‬ ‫מאי ‪2009‬‬ ‫טל דינה‬ ‫יוני ‪2001‬‬ ‫טל עדו‬ ‫אוגוסט ‪2003‬‬ ‫טלמור יורם‬ ‫מאי ‪2004‬‬ ‫יגר אפרת‬ ‫פברואר ‪2003‬‬ ‫תנאים לקיום אלגוריתם לניתוח תחבירי לדקדוקי יוניפיקציה‬ ‫ידגר אברהם‬ ‫מרץ ‪2004‬‬ ‫פתרון מקבילים של בעיית ‪ SAT-ALL‬עבור בדיקת מודל‬ ‫ידידיה חגי‬ ‫אוגוסט ‪2005‬‬ ‫מערכת היסקים של 'לוגיקה טבעית' המבוססת על תחשיב לאמבק‬ ‫לימוד עם טעויות בשאילתות השייכות‬ ‫ניתוח הלך רוח בקנה מידה גדול באמצעות למידה עצמאית‪-‬‬ ‫למחצה‬ ‫זריקת חבילות מאוזנת לשיפור ביצוע ‪ TCP‬ברשתות ‪ATM‬‬ ‫סימנים לשיערוך מיקום בדיוק גבוה‬ ‫זיקוק מונחה‪-‬כיסוי של ייצוגים מושגיים‬ ‫סמנטיקה חיובית של היטלים בדיאגרמות ון‪-‬אוילר‬ ‫על מעלת פורייר המינימלית של פונקציות בוליאניות סימטריות‬ ‫אלגוריתמים לבעית המשולש של היילברון‬ ‫ניתוח ושימוש בדרישות השלמה של פעלים לבדיקת תקינות‬ ‫משפטים בשפה העברית‬ ‫פענוח‪-‬רשימה עבור קודי מטריקת ‪Lee‬‬ ‫שיפור ביצועי מערכת זיכרון שיתופי ומבוזר על‪-‬ידי מיקסום‬ ‫ניצולת הרשת‬ ‫יוגב סיון‬ ‫ינואר ‪2006‬‬ ‫יוסביץ' ודים‬ ‫נובמבר ‪2003‬‬ ‫הערכת ביצועים למבנים של מטמון הנתונים בעבור מעבדים‬ ‫מסוג ‪SMT‬‬ ‫הערכת פונקציות ציון עבור התאמה מרובה של רצפי חלבונים‬ ‫באמצעות התאמות מבניות‬ ‫בחירת מודל התנהגות לזיכרון מבוזר משותף‬ ‫יושפה בנימין‬ ‫ספטמבר ‪2008‬‬ ‫היבטים כלכליים באיכות השרות בשריג חישובי‬ ‫יזמרלי אולג‬ ‫יחזקאלי עומר‬ ‫ינאי דוד‬ ‫ינובסקי ולדימיר‬ ‫יולי ‪2004‬‬ ‫פברואר ‪2007‬‬ ‫נובמבר ‪2011‬‬ ‫אפריל ‪2001‬‬ ‫יניב יונתן‬ ‫אוקטובר ‪2011‬‬ ‫יעקובי איתן‬ ‫ינואר ‪2008‬‬ ‫יעקרסברג יבגני‬ ‫מאי ‪2004‬‬ ‫ירושינסקי רן‬ ‫ישראל אסף‬ ‫כהן אוריאל‬ ‫כהן אמיל‬ ‫ינואר ‪2002‬‬ ‫אוקטובר ‪2013‬‬ ‫אפריל ‪2003‬‬ ‫אוגוסט ‪2002‬‬ ‫כהן טל‬ ‫ינואר ‪2002‬‬ ‫כהן צפריר‬ ‫מרץ ‪2003‬‬ ‫קריפטולוגיה מודרנית בעולם קוונטי‬ ‫סכימות קירוב לבעיות אריזה עם פיצולים‬ ‫למידה מדוגמאות של קרבה סמנטית‬ ‫סוכנים פשוטים בשביל מטלות מורכבות‬ ‫מנגנונים מתואמי‪-‬תמריצים לתזמון מבוסס ערך של משימות‬ ‫במחשוב ענן‬ ‫צפנים לתיקון שגיאות דו‪-‬ממדיות‬ ‫‪ Morphing‬בין צורות גיאומטריות על‪-‬ידי אינטרפולציה מבוססת‬ ‫שלד ליניארי‬ ‫למידה מקוונת חלקה של עצות מומחים‬ ‫התאוששות מיודעת מחיר בענן‬ ‫יחסי אובייקטים ומכניזמים תחביריים בתבניות תיכון‬ ‫מערכת ‪ DSM‬שקופה‬ ‫כיול‪-‬עצמי של מדידות של שיטות ב‪ :JAVA-‬לקראת גילויו של‬ ‫אופן תכנות מקובל‬ ‫סיבוכיות זמן סיבובים ואפס מידע אסינכרוני‬ ‫‪30‬‬ ‫אסף שוסטר‬ ‫מיכאל קמינסקי‬ ‫רון קימל‬ ‫עירד יבנה‬ ‫שי קוטין‬ ‫חגית עטיה‬ ‫דני רז‬ ‫אסף שוסטר‪,‬‬ ‫מיכאל פקטור‬ ‫גיל ברקת‬ ‫נסים פרנסיז‬ ‫נאדר בשותי‬ ‫יעקב קרמר‪,‬‬ ‫שי מנור‬ ‫ראובן כהן‬ ‫אלפרד ברוקשטיין‬ ‫שאול מרקוביץ‬ ‫יוסי גיל‬ ‫אמיר שפילקה‬ ‫גיל ברקת‬ ‫עוזי אורנן‬ ‫רוני רוט‬ ‫אסף שוסטר‬ ‫נסים פרנסיז‪,‬‬ ‫שלום וינטנר‬ ‫אורנה גרימברג‪,‬‬ ‫אסף שוסטר‬ ‫רון פינטר‬ ‫שלמה מורן‬ ‫אסף שוסטר‬ ‫אריאל אורדע‪ ,‬אסף‬ ‫שוסטר‬ ‫טל מור‬ ‫הדס שכנאי‬ ‫רן אל‪-‬יניב‬ ‫אלפרד ברוקשטיין‬ ‫ספי נאור‬ ‫טובי עציון‬ ‫גיל ברקת‬ ‫רן אל‪-‬יניב‬ ‫דני רז‬ ‫יוסי גיל‬ ‫אסף שוסטר‬ ‫יוסי גיל‬ ‫ארז פטרנק‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫כהן רמי‬ ‫כץ אמיליה‬ ‫כץ יואב‬ ‫כץ שגיא‬ ‫פברואר ‪2004‬‬ ‫מרס ‪2006‬‬ ‫אוקטובר‪2001‬‬ ‫ינואר ‪2001‬‬ ‫כצמן איגור‬ ‫אפריל ‪2001‬‬ ‫תיזמון שידורים תלויי‪-‬זמן בערוץ הפצה‬ ‫אימות של מפרטי אספקטים המבוססים על תרחישים‬ ‫תזמון משימות לפי משפחות באצווה‬ ‫טכניקות להגברת כיסוי של אימות פורמלי‬ ‫סימולציה ומידול עם מוטיבציה ביולוגית של פעילויות ראייה של‬ ‫בעלי חיים‬ ‫דני רז‬ ‫שמואל כ"ץ‬ ‫הדס שכנאי‬ ‫אורנה גרימברג‬ ‫כרם ניר‬ ‫כתריאל עירית‬ ‫ספטמבר ‪2010‬‬ ‫יוני ‪2002‬‬ ‫השפעות הפירוש הטיפוסי על הניתוח של ביטויים הדדיים‬ ‫מבני נתונים מרומזים המבוססים על סידורים מקומיים‬ ‫אלון איתי‬ ‫אלון איתי‬ ‫לאור דור‬ ‫מרס ‪2002‬‬ ‫תקשורת קבוצתית שכבתית בזמן אמת רך‬ ‫לבנה שלמה‬ ‫אוגוסט ‪2001‬‬ ‫לימוד עבור סידור יעיל של משתני ‪ BDD‬באימות‬ ‫לבנון גיא‬ ‫לבנוני יוסף‬ ‫לואידור ארז‬ ‫אוקטובר ‪2000‬‬ ‫יוני ‪2001‬‬ ‫ינואר ‪2004‬‬ ‫סינתיזה של תבניות מוארה‬ ‫איסוף זבל תוך‪-‬כדי‪-‬מעוף באמצעות מבטים מחליקים‬ ‫קודי ‪ MDS‬דלילים מעל אלפבתים גדולים‬ ‫לוז קובי‬ ‫נובמבר ‪2003‬‬ ‫לבחירה מקוונת של אלגוריתמים ללמידה פעילה‬ ‫לוי עומר‬ ‫לוינסון דמיטרי‬ ‫לויתן צח‬ ‫לזרסון יונתן‬ ‫ליאקס אלכסנדר‬ ‫יולי ‪2012‬‬ ‫אוגוסט ‪2000‬‬ ‫מרס‪2001‬‬ ‫אפריל ‪2005‬‬ ‫מרס ‪2006‬‬ ‫כיצד ללמד מחשב ללמוד באמצעות משל‬ ‫שיטות מבוססות‪-‬קורפוס להתרת רב משמעות של מילים‬ ‫חיפוש בר‪-‬פסיקה על‪-‬ידי שיפור קטעים מבטיחים בפתרון‬ ‫אלגוריתמי קירוב למיון בעזרת חוצצים‬ ‫ייצור מונחה איפיון של מערכות מידע לאינטרנט‬ ‫ליבנה אבישי‬ ‫ספטמבר ‪2010‬‬ ‫ניטור זרמי מידע מבוזרים‬ ‫ליברמן סוניה‬ ‫מרס ‪2010‬‬ ‫ליבשיץ דמיטרי‬ ‫יולי ‪2003‬‬ ‫לייבה ליאור‬ ‫ספטמבר‪2001‬‬ ‫ליפסון דורון‬ ‫יוני ‪2006‬‬ ‫ליפשיץ מיכאל‬ ‫לנדה שמעון‬ ‫נובמבר ‪2004‬‬ ‫פברואר ‪2005‬‬ ‫ייצוג סמנטי היררכי מבוסס מושגי ויקיפדיה‬ ‫מיקום עצמי של רובוט בעזרת אובייקטים ממקמים )‪(Fiducials‬‬ ‫ומצלמות אומני כווניות )‪(Omnidirectional‬‬ ‫לקראת מסחר אלקטרוני אוטומטי‪ :‬מפרט מערכת‬ ‫ה‪ Econtracts-‬ומימוש חלקי‬ ‫בעיות אופטימיזציה בתכנון אוליגונוקלאוטידים לשיטות מבוססות‬ ‫היברידיזציה‬ ‫ניווט ראייתי על גבי תמונות מיקרוסקופיות‬ ‫אלגוריתמי קירוב קומבינטוריים לבעיית כיסוי‪-‬קבוצות שבור‬ ‫רועי פרידמן‬ ‫שאול מרקוביץ'‪,‬‬ ‫אורנה גרימברג‬ ‫אלפרד ברוקשטיין‬ ‫ארז פטרנק‬ ‫רוני רוט‬ ‫רן אל‪-‬יניב‪,‬‬ ‫יורם ברעם‬ ‫שאול מרקוביץ'‬ ‫אלון איתי‬ ‫שאול מרקוביץ'‬ ‫ראובן בר‪-‬יהודה‬ ‫אליעזר קנטרוביץ'‬ ‫אסף שוסטר‪,‬‬ ‫דני קרן‬ ‫שאול מרקוביץ'‬ ‫לרנר טל‬ ‫יוני ‪2006‬‬ ‫תיקון תנועה ב‪FMRI -‬‬ ‫לרנר רונן‬ ‫מאיר אביחי‬ ‫מאיר אורלי‬ ‫מגאדלה מוחמד‬ ‫מגיד יונית‬ ‫מדור‪-‬חיים סלע‬ ‫ספטמבר ‪2008‬‬ ‫פברואר ‪2012‬‬ ‫ספטמבר ‪2005‬‬ ‫יוני ‪2012‬‬ ‫מרס ‪2007‬‬ ‫יוני ‪2007‬‬ ‫הערכה מאולצת של תנועה ומיקום‬ ‫הערכת ביטחון בחיזוי של תיוג עצמים בעלי מבנה‬ ‫פרוצדורות הכרעה ללוגיקת שיוויונים‬ ‫האצה של פרוטוקול ‪ cifs‬מעל רשתות לוויניות‬ ‫חישוביות מעל הממשיים במודל ‪ BSS‬עם אפרטור בחירה‬ ‫ממשק בשפה טבעית למערכות מידע גאוגרפי‬ ‫מוגילניצקי מקסים‬ ‫אפריל ‪2004‬‬ ‫מיפוי קונפורמי משמר צורה ויעיל של רשתות גדולות‬ ‫מוסין יוליה‬ ‫מופי מיכה‬ ‫ספטמבר ‪2001‬‬ ‫דצמבר ‪2003‬‬ ‫מורן שירי‬ ‫ספטמבר‪2001‬‬ ‫מזאווי חנא‬ ‫מלר יעל‬ ‫מאי ‪2007‬‬ ‫ינואר ‪2010‬‬ ‫תלות בבסיס של הרחבות ללוגיקות ברירת‪-‬מחדל פתוחות‬ ‫ספירת ‪ Polyominoes‬בשניים ושלושה מימדים‬ ‫אלגוריתמים מהירים‪ ,‬מינימליים‪ ,‬ומתעלמים לניתוב על השריג‬ ‫עם חורים חסומים‬ ‫למידת מחלקות מורכבות עם מעט טעויות‬ ‫אבסטרקציה רב ערכית ובדיקת מודל מודולרית‬ ‫מלול אליאור‬ ‫מרס ‪2014‬‬ ‫מחאמיד עז‪-‬אלדין‬ ‫מרס ‪2009‬‬ ‫מטוסביץ מרק‬ ‫מיאסקובסקי ארטיום‬ ‫יולי ‪2005‬‬ ‫אהוד ריבלין‬ ‫אלפרד ברוקשטיין‬ ‫עודד שמואלי‬ ‫זהר יכיני‪,‬‬ ‫אורי סיון‬ ‫אהוד ריבלין‬ ‫ספי נאור‬ ‫משה גור‪,‬‬ ‫אהוד ריבלין‬ ‫אהוד ריבלין‬ ‫יעקב קרמר‬ ‫עפר שטרייכמן‬ ‫רועי פרידמן‬ ‫יוהן מקובסקי‬ ‫יועד וינטר‬ ‫משה ישראלי‪,‬‬ ‫אלה שפר‬ ‫מיכאל קמינסקי‬ ‫גיל ברקת‬ ‫עמי ליטמן‬ ‫נאדר בשותי‬ ‫אורנה גרימברג‬ ‫יוסי גיל‪,‬‬ ‫לקראת נכונות במערכות לעיבוד מאורעות‬ ‫עופר עציון‬ ‫הפצת תכנים מבוססי זרימה לאובייקטים ניידים‪ :‬הפצה גלובלית דני רז‪,‬‬ ‫ראובן כהן‬ ‫לעומת הפצה מקומית‬ ‫דן גייגר‬ ‫שיפור עקיבת קבוצות על‪-‬ידי הסתכלות גלובלית לאורך זמן‬ ‫מיכאל לינדנבאום‬ ‫שימוש בשיטת ‪ contrario a‬לזיהוי עצמים‬ ‫‪31‬‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫מנו עדי‬ ‫מנור שירי‬ ‫ספטמבר ‪2008‬‬ ‫ינואר ‪2000‬‬ ‫מנסור סעאב‬ ‫יולי ‪2008‬‬ ‫מצארווה פאדי‬ ‫מרעי ענאן‬ ‫מרקסמר יעל‬ ‫ינואר ‪2008‬‬ ‫נובמבר ‪2008‬‬ ‫מרס ‪2004‬‬ ‫משיח לי‪-‬טל‬ ‫יולי ‪2007‬‬ ‫משנה אלון‬ ‫נאור יונתן‬ ‫נבו זיו‬ ‫נודלמן איליה‬ ‫נובמבר ‪2013‬‬ ‫ינואר ‪2006‬‬ ‫יוני ‪2002‬‬ ‫יוני ‪2011‬‬ ‫ניב ניצן‬ ‫יוני ‪2000‬‬ ‫ניסנזון מרדכי‬ ‫ניקולסקי מאשה‬ ‫נעאמנה ראידה‬ ‫ספטמבר ‪2010‬‬ ‫מרס ‪2010‬‬ ‫דצמבר ‪18‬‬ ‫בניית עצים פילוגנטיים על סמך מסלולים ביוכימיים‬ ‫תקשורת קבוצתית רחבת היקף בהיפר קובייה לוגית‬ ‫תיוג חלקי דיבר בשפות שמיות באמצעות שילוב מערכות‬ ‫מבוססות תווים ומורפמות‬ ‫פריסה של גופים פוליגונליים תלת‪-‬ממדיים כללים מנייר‬ ‫מתאמי סכמות מסדר שני‬ ‫קודים לתיקון שגיאות רצף במערכים דו‪-‬ממדיים‬ ‫אלגוריתמי קירוב מקומי לדירוג דפים)‪ (Pagerank‬ודירוג דפים‬ ‫הפוך‬ ‫תכנות עם מליוני דוגמאות ‪ -‬כרייה סקליבילית של ספציפיקציות‬ ‫גרסאות ‪ d‬מימדיות של בעית המשולש של היילברון‬ ‫למידה מקוונת של רשימות החלטה‬ ‫ניתוב של ‪ flows‬בעלי תועלת מותנית ברשתות טקטיות‬ ‫התאמה דינמית של דרגת השיתוף במערכות זיכרון מבוזר‪-‬‬ ‫משותף‬ ‫על יסודות הסיווג החד מחלקתי בסביבה עוינת‬ ‫תכנון רישומי עבור גיאומטריה דו ותלת‪-‬מימדית חופשית‬ ‫שחזור רב‪-‬תוויות הוגן מחתכים‬ ‫רון פינטר‬ ‫רועי פרידמן‬ ‫אלון איתי‪,‬‬ ‫יועד וינטר‬ ‫חיים גוטסמן‬ ‫כרמל דומשלק‬ ‫טובי עציון‬ ‫סאבא שאדי‬ ‫ינואר ‪2005‬‬ ‫פרמטריזציה בריצנטרית כדורית ‪ -‬אלגוריתמים ותאוריה‬ ‫סבתו סיוון‬ ‫סגל אראל דוד‬ ‫מרס ‪2006‬‬ ‫נובמבר ‪2000‬‬ ‫סובג יעקב‬ ‫יולי ‪2006‬‬ ‫סורוז'ון אורן‬ ‫ינואר ‪2004‬‬ ‫סורקין יאן‬ ‫אפריל ‪2001‬‬ ‫הסמנטיקה של ביטויים הדדיים בשפה הטבעית‬ ‫מנתח מורפולוגי הסתברותי לטקסטים עבריים לא‪-‬מנוקדים‬ ‫קירוב בחלקים בעזרת משטחים פריסים למשטחי‬ ‫‪ ,NURBS‬עם חסם שגיאה גלובאלי‬ ‫אשכול כפול איטרטיבי‪ :‬אלגוריתם מבוסס תורת האינפורמציה‬ ‫עבור אשכול של נתונים טקסטואלים‬ ‫‪ - CD-EDIT‬עורך ויזואלי לדיאגרמות אילוצים‬ ‫סידלסקי אבישי‬ ‫יוני ‪2006‬‬ ‫שיחזור פוליגן מחתכים קוויים‬ ‫סלבקין מיכאל‬ ‫יוני ‪2005‬‬ ‫זיהוי מבני נתונים מתוך רשמים‬ ‫סלמאן תאמר‬ ‫יוני ‪2004‬‬ ‫למידת חוקי יצירה פולינומיים בעזרת מכונות וקטורי תמיכה‬ ‫סלע גיא‬ ‫סנדלר רומן‬ ‫יולי ‪2006‬‬ ‫יולי ‪2005‬‬ ‫שימוש בפונקצית העיוות החופשי ככלי מידול גיאומטרי‬ ‫ניתוח מסנני ‪ Gabor‬להבחנת טקסטורה‬ ‫ספיר טלי‬ ‫נובמבר ‪2003‬‬ ‫מקבול מעקב קרניים בעזרת סכמת ה‪XMT-‬‬ ‫ספרי אורן‬ ‫אוגוסט ‪2008‬‬ ‫רישות משטחים באמצעות מרחקים גאודטיים‬ ‫סקובליקוב ויקטוריה‬ ‫אוקטובר ‪2000‬‬ ‫לקסיקון חישובי מבוסס‪-‬תכוניות של מערכת הפעלים העבריים‬ ‫סקולוזוב אלכסנדרה‬ ‫יולי ‪2009‬‬ ‫מיזוג מותנה של מסלולים ביולוגיים‬ ‫סקלוסוב גבריאל‬ ‫אוקטובר ‪2003‬‬ ‫סקרבובסקי אלינה‬ ‫נובמבר ‪2004‬‬ ‫עבאסי חסן‬ ‫פברואר ‪2014‬‬ ‫עבוד אמג'ד‬ ‫יולי ‪2008‬‬ ‫עדי ליאב‬ ‫מרס ‪2002‬‬ ‫קירוב דו‪-‬קריטריוני לבעיית תקציב בגרף ממושקל‪-‬צמתים‬ ‫הערכת ביצועים ומידול של פרוטוקול ‪ tcp‬מעל ערוצי תקשורת‬ ‫סלולריים‬ ‫על מסלולים כמעט פשוטים בגרף‬ ‫בעיית סיווג בגרפים עם משקולות ובעיית שינוי סידור בעזרת‬ ‫חוצץ‬ ‫יישומים גרפיים המבוססים על חישוב מהיר של מרחקים‬ ‫גיאודנטים‬ ‫עדן )כהן( אורית‬ ‫ינואר ‪2005‬‬ ‫סימולציה וויזואליזציה של זרמי כובד‪/‬צפיפות‬ ‫עטיה יוסי‬ ‫עמית אסף‬ ‫נובמבר ‪2013‬‬ ‫נובמבר ‪2004‬‬ ‫עצמון הילה‬ ‫אפריל ‪2002‬‬ ‫קירור אלגוריתמי של ספינים על ידי בקרה מיטבית‬ ‫לימוד שיתוף פעולה ויישום להכרזות בברידג'‬ ‫מדיניות החלפה עבור מטמון של אובייקטים מבוזרים ברחבי‬ ‫האינטרנט‬ ‫‪32‬‬ ‫זיו בר‪-‬יוסף‬ ‫ערן יהב‬ ‫גיל ברקת‬ ‫רן אל‪-‬יניב‬ ‫ראובן כהן‬ ‫אסף שוסטר‬ ‫רן אל‪-‬יניב‬ ‫גרשון אלבר‬ ‫גיל ברקת‬ ‫עירד יבנה‪,‬‬ ‫אלה שפר‪,‬‬ ‫חיים גוסטמן‬ ‫יועד וינטר‬ ‫אלון איתי‬ ‫גרשון אלבר‬ ‫רן אל‪-‬יניב‬ ‫יוסי גיל‬ ‫גיל ברקת‪,‬‬ ‫חיים גוטסמן‬ ‫אלון איתי‬ ‫יורם ברעם‪,‬‬ ‫אלפרד ברוקשטיין‬ ‫גרשון אלבר‬ ‫מיכאל לינדנבאום‬ ‫חיים גוטסמן‪,‬‬ ‫עוזי וישקין‬ ‫אלה שפר‪,‬‬ ‫חיים גוטסמן‬ ‫נסים פרנסיז‬ ‫רון פינטר‪,‬‬ ‫אריאל מילר‬ ‫יובל רבני‬ ‫דני רז‬ ‫נאדר בשותי‬ ‫יובל רבני‬ ‫רון קימל‬ ‫מריוס אונגריש‪,‬‬ ‫גרשון אלבר‬ ‫טל מור‬ ‫שאול מרקוביץ'‬ ‫רועי פרידמן‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫ערן חגי‬ ‫יולי ‪2012‬‬ ‫פדידה חנה‬ ‫נובמבר ‪2013‬‬ ‫פדורוב יארוסלב‬ ‫פז עמי‬ ‫פוזניאנסקי אליהו‬ ‫פוזנר איל‬ ‫פולבוי גלב‬ ‫אוגוסט ‪2002‬‬ ‫יוני ‪2013‬‬ ‫יוני ‪2003‬‬ ‫יולי ‪2013‬‬ ‫יוני ‪2011‬‬ ‫פולונסקי אולג‬ ‫ינואר ‪2006‬‬ ‫פולק סמיון‬ ‫אוקטובר ‪2004‬‬ ‫פוקס רועי‬ ‫פורטנוי עמית‬ ‫פורמן ולדימיר‬ ‫פורת מוטי‬ ‫פידן דמיטרי‬ ‫יולי ‪2008‬‬ ‫אוקטובר ‪2012‬‬ ‫ספטמבר ‪2001‬‬ ‫נובמבר ‪2013‬‬ ‫מרס ‪2013‬‬ ‫פיינבורד אלכסנדרה‬ ‫פברואר ‪2012‬‬ ‫פיירמן ליזה‬ ‫פילוסוף סער‬ ‫פיצ'וק מיכאל‬ ‫יוני ‪2006‬‬ ‫אוגוסט ‪2005‬‬ ‫מאי ‪2007‬‬ ‫פירסטנברג יוסף‬ ‫אפריל ‪2002‬‬ ‫פלדמן ויטלי‬ ‫יוני ‪2002‬‬ ‫פלדמן מורן‬ ‫יולי ‪2013‬‬ ‫פלדמן עידו‬ ‫נובמבר ‪2006‬‬ ‫פלדמן רומן‬ ‫פלור שקד‬ ‫פליישר אלון‬ ‫פליישר גיא‬ ‫פנמן יבגני‬ ‫מאי ‪2006‬‬ ‫יוני ‪2013‬‬ ‫יוני ‪2006‬‬ ‫פברואר ‪2008‬‬ ‫יוני ‪2066‬‬ ‫פקלני יורי‬ ‫יולי ‪2008‬‬ ‫פרהם רוברט‬ ‫אוגוסט ‪2002‬‬ ‫פרוטר מתן‬ ‫אפריל ‪2011‬‬ ‫פרוימוביץ' גיא‬ ‫אוגוסט ‪2000‬‬ ‫פרנק ארי‬ ‫אוגוסט ‪2002‬‬ ‫פרנק רועי‬ ‫אפריל ‪2005‬‬ ‫צ'ארניי גלינה‬ ‫צוגלין יורי‬ ‫צ'וז'וי יוליה‬ ‫נובמבר ‪2003‬‬ ‫אפריל ‪2001‬‬ ‫ינואר ‪2001‬‬ ‫צורף רחל‬ ‫יוני ‪2006‬‬ ‫ציטרין יאן‬ ‫צייטלין דניאל‬ ‫מרס ‪2006‬‬ ‫יוני ‪2006‬‬ ‫ארז פטרנק‬ ‫חקר מבני נתונים היוצרים ערימה עמוקה‬ ‫אלון איתי‪,‬‬ ‫זיהוי אוטומטי של מסגרות ההצרכה של הפועל בעברית‬ ‫שלום וינטנר‬ ‫יועד וינטר‬ ‫מימוש והרחבה של לוגיקה טבעית‬ ‫הוכחות אי‪-‬אפשרות מבוססות מניה למשימות החלטה מבוזרות חגית עטיה‬ ‫אסף שוסטר‬ ‫גילוי יעיל של מרוצי מידע בתוכניות ‪ c++‬מרובות חוטים‬ ‫הקצאה דינמית של זכרון במחשבי ענן באמצעות מכרז מכיר שני אסף שוסטר‬ ‫ראובן בר‪-‬יהודה‬ ‫הקצאת רוחב‪-‬פס ברשתות סלולריות עם הפרעות מרובות‬ ‫מה בתמונה? לקראת חישוב מבטים טובים לעצמים תלת‪-‬‬ ‫חיים גוטסמן‬ ‫ממדיים‬ ‫חיזוי תנועות ראש לאפליקציות סביבה מדומה בעזרת קינמטיקה‬ ‫יורם ברעם‬ ‫ואנרגיית ‪EMG‬‬ ‫משה טננהולץ‬ ‫למידת חיזוקים בתהליכי החלטה נצפים חלקית‬ ‫רועי פרידמן‬ ‫טרסטפק )‪ :(trustpack‬מערכת מבוזרת לניהול אמון‬ ‫אלי ביהם‬ ‫קריפטאנליזה של כמה צפני בלוקים מודרניים‬ ‫אליעזר קנטרוביץ‬ ‫גישה סמנטית לעיצוב ממשקי משתמש‬ ‫רן אל‪-‬יניב‬ ‫חיזוי סלקטיבי באמצעות מודלים מרקובים סמויים‬ ‫חיזוי אוטורגרסיבי קצר מועד של נקודות תפנית באמצעות‬ ‫רן אל‪-‬יניב‬ ‫מכונת ווקטורי התמיכה‬ ‫ארז פטרנק‬ ‫הסיבוכיות של יישור עבור מחשבים וקטוריים‬ ‫דני רז‬ ‫הוגנות בתקשורת ‪ TCP‬ברשתות מקומיות אלחוטיות‬ ‫אהוד ריבלין‬ ‫זיהוי עצמים מבוסס פונקציונאליות‬ ‫הטמנה סלקטיבית למטרות האצה של תוצאות ביניים בתוכניות שמואל כ"ץ‪,‬‬ ‫עודד שמואלי‬ ‫מונחות עצמים‬ ‫על שימוש בשאילתות סטטיסטיות מורחבות על מנת להימנע‬ ‫נאדר בשותי‬ ‫משאילתות שייכות‬ ‫ספי נאור‬ ‫בעיות מקסימיזציה עם פונקציית מטרה תת‪-‬מודולרית‬ ‫אלגוריתם קרוב ‪ EPSILON+ 2‬עבור רה‪-‬צביעה קמורה‬ ‫ראובן בר‪-‬יהודה‬ ‫מינימלית של עצים‬ ‫דב דורי‬ ‫תכן מחסני נתונים במתודולוגיית עצמים‪-‬תהליכים‬ ‫אורנה גרימברג‬ ‫אוטומטי אומגה חלשים‬ ‫אורנה גרימברג‬ ‫בדיקת ריקנות בלוגיקה טמפורלית לינארית‬ ‫ראובן בר‪-‬יהודה‬ ‫אלגוריתמי קירוב לבעיות כיסוי חלקיות עם קיבולים‬ ‫דני רז‬ ‫אלגוריתם לאיסוף יעיל של מידע‬ ‫בניית מודל ושחזור תנועה של גופים מבוססי שלד מוידאו‬ ‫חיים גוטסמן‬ ‫מצלמת עומק‬ ‫פתרון הקונפליקט הדינמי בין ‪ N‬גופים נעים תוך שימוש ברשתות‬ ‫יורם ברעם‬ ‫עצביות‬ ‫מיכאל אלעד‬ ‫עיבוד רצפים של תמונות ללא שערוך תנועה‬ ‫אהוד ריבלין‪,‬‬ ‫קלסיפיקציה של עציים מתוך תמונות טווח‬ ‫אילן שמשוני‬ ‫דן גייגר‪ ,‬זהר יכיני‬ ‫אלגוריתם "סעף וחסום" חדש לבחירת תכוניות‬ ‫הקצאות ממקסמות הכנסה במכרזים מרובי‪-‬עצמים עם אילוצים‬ ‫מיכל פן‬ ‫ומכרזים קומבינטוריים‬ ‫רועי פרידמן‬ ‫תקשורת קבוצתית ברשתות אד הוק הניידות‬ ‫יוסי גיל‬ ‫‪ - JAMOOS‬שפת תכנות מונחית עצמים לדקדוקים‬ ‫יובל רבני‬ ‫קושי של קירוב ומחלקות קירוב חדשות‬ ‫תהליך עידון אוטומטי ובדיקת ריקנות עבור בדיקת מודל‬ ‫אורנה גרימברג‬ ‫סימבולית מכוונת מסלול‬ ‫עוזי אורנן‬ ‫מודל תלויות אדון‪-‬עבד וישומו להבנת השפה העברית‬ ‫מיכאל קמינסקי‬ ‫אוטומטים סופיים מעל אלפבתים אינסופיים‬ ‫מנחה‬ ‫‪33‬‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫צירקין מיכאל‬ ‫יוני ‪2004‬‬ ‫צמח אנה‬ ‫מרס ‪2009‬‬ ‫צמח רן‬ ‫צנזור קרן‬ ‫דצמבר ‪2012‬‬ ‫יוני ‪2006‬‬ ‫זמני מסירה ברשתות ניתוב חבילות תחת עומס מלא‬ ‫הכנת מידע על וריאנטים בנוקלאוטיד בודד לבדיקות תאחיזה‬ ‫גנטית‬ ‫פותר רב‪-‬שריג אלגברי מבוסס הגסה בשיטת הקולוקציה‬ ‫צפנים עם אילוצים לערוצים דו ממדיים‬ ‫עדי רוזן‬ ‫צ'רבאצקי בוריס‬ ‫יוני ‪2014‬‬ ‫חישוב גיאומטריה אפיפולרית עבור רובוטים ניידים‬ ‫צ'רנוי ויאצ'סלב‬ ‫ינואר ‪2011‬‬ ‫קאדרי ויסאם‬ ‫פברואר ‪2004‬‬ ‫על ביצועי האלגוריתם השלישי של דייקסטרה לייצוב עצמי עבור‬ ‫מניעה הדדית ואלגוריתמים בנושא‬ ‫סימולציה של מסלולים מטבוליים‬ ‫קביאטקובסקי איגור‬ ‫פברואר ‪2012‬‬ ‫אינווריאנטים בצבע לזיהוי חוזר של אנשים‬ ‫צירקין מיכאל‬ ‫יוני ‪2004‬‬ ‫צמח אנה‬ ‫מרס ‪2009‬‬ ‫צמח רן‬ ‫צנזור קרן‬ ‫דצמבר ‪2012‬‬ ‫יוני ‪2006‬‬ ‫זמני מסירה ברשתות ניתוב חבילות תחת עומס מלא‬ ‫הכנת מידע על וריאנטים בנוקלאוטיד בודד לבדיקות תאחיזה‬ ‫גנטית‬ ‫פותר רב‪-‬שריג אלגברי מבוסס הגסה בשיטת הקולוקציה‬ ‫צפנים עם אילוצים לערוצים דו ממדיים‬ ‫צ'רבאצקי בוריס‬ ‫יוני ‪2014‬‬ ‫חישוב גיאומטריה אפיפולרית עבור רובוטים ניידים‬ ‫צ'רנוי ויאצ'סלב‬ ‫ינואר ‪2011‬‬ ‫קאדרי ויסאם‬ ‫פברואר ‪2004‬‬ ‫על ביצועי האלגוריתם השלישי של דייקסטרה לייצוב עצמי עבור‬ ‫מניעה הדדית ואלגוריתמים בנושא‬ ‫סימולציה של מסלולים מטבוליים‬ ‫קביאטקובסקי איגור‬ ‫פברואר ‪2012‬‬ ‫אינווריאנטים בצבע לזיהוי חוזר של אנשים‬ ‫קהת זהבית‬ ‫קוגן אלכס‬ ‫מרס ‪2001‬‬ ‫יולי ‪2008‬‬ ‫קוגן דמיטרי‬ ‫מרס ‪2000‬‬ ‫קויפמן שלומית‬ ‫ינואר ‪2002‬‬ ‫קוליק אריאל‬ ‫יולי ‪2011‬‬ ‫קולן תום‬ ‫דצמבר ‪2011‬‬ ‫קירוב בעיית הכיסוי ‪ -‬בקבוצות הצפופה‬ ‫מניעה הדדית לוקלית יעילה וחסינה ברשתות אד הוק ניידות‬ ‫מניית מצביעים מרוחקת‪ :‬איסוף אשפה מבוזר עם תקורת‬ ‫תקשורת וחישוב נמוכה‬ ‫שימור סמנטי של אלגוריתמים להתרת אנאפורים שמניים‬ ‫מכסימיזציה של פונקציות תת‪-‬מודולריות ולינאריות בכפוף‬ ‫לאילוצי קיבולת‬ ‫שיטות צפינה לשגיאות פרץ‬ ‫קופרשטיין מיכאל‬ ‫אוגוסט ‪2012‬‬ ‫שימור נכונות תחת מודלי זיכרון חלשים‬ ‫קורלנד גיא‬ ‫קורן תומר‬ ‫דצמבר ‪2005‬‬ ‫אוגוסט ‪2012‬‬ ‫מודעות למיקום ברשתות אד‪-‬הוק‬ ‫למידת מכונות וקטורים תומכים בזמן תת‪-‬לינארי‬ ‫קותיאל גלעד‬ ‫אוקטובר ‪2011‬‬ ‫נדידה חיה מונחית מחיר של שירותים בענן‬ ‫קיבר איל‬ ‫יוני ‪2014‬‬ ‫קידר שרון‬ ‫פברואר ‪2003‬‬ ‫זאב‪-‬א‪ :‬רשת חברתית מבוזרת במרשתת‬ ‫שילוב רדוקציה המסתמכת על סימטריה עם שערוך מלמטה‬ ‫עבור בדיקת מודל סימבולית‬ ‫קלופר דמיטרי‬ ‫דצמבר ‪2005‬‬ ‫קשר בין גיאומטריה וקישוריות של שילושים במישור‬ ‫קליאוט גבריאל‬ ‫מרס ‪2009‬‬ ‫שירותי תווכה הסתברותיים ברשתות אד‪-‬הוק אלחוטיות‬ ‫קלינובסקי ולדיסלב‬ ‫אוגוסט ‪2002‬‬ ‫סימפוניה‪ :‬ניהול שרתים וירטואליים‬ ‫קלינגר אנדרי‬ ‫קמה אלון‬ ‫ספטמבר ‪2008‬‬ ‫פברואר ‪2003‬‬ ‫קנטור יואב‬ ‫אוגוסט ‪2014‬‬ ‫יציבות כנגד סטיות קבוצתיות בחישוב אי‪-‬שיתופי‬ ‫מכונה וירטואלית שקופה ועמידה בפני נפילות לג'אווה‬ ‫שילוב של שיטות ליצירת יתירות‪ ,‬קודי מחיקה ורפליקציה‪,‬‬ ‫לשיפור יעילות איחסון ותעבורה במערכות איחסון עמית לעמית‬ ‫קניגסברג אברהם‬ ‫אפריל ‪2003‬‬ ‫גישת רב‪-‬שריג עבור פתרון מהיר לעקום פעיל גיאודטי‬ ‫קניגסברג דן‬ ‫ינואר ‪2002‬‬ ‫אלגוריתם החיפוש הקוונטי של גרובר ומצבים מעורבים‬ ‫‪34‬‬ ‫דן גייגר‬ ‫עירד יבנה‬ ‫טובי עציון‬ ‫אילן שמשוני‪,‬‬ ‫אהוד ריבלין‬ ‫שמואל זקס‪,‬‬ ‫שלום מרדכי‬ ‫רון פינטר‬ ‫אהוד ריבלין‪,‬‬ ‫היימן מיכאל‬ ‫עדי רוזן‬ ‫דן גייגר‬ ‫עירד יבנה‬ ‫טובי עציון‬ ‫אילן שמשוני‪,‬‬ ‫אהוד ריבלין‬ ‫שמואל זקס‪,‬‬ ‫שלום מרדכי‬ ‫רון פינטר‬ ‫אהוד ריבלין‪,‬‬ ‫היימן מיכאל‬ ‫ראובן בר‪-‬יהודה‬ ‫חגית עטיה‬ ‫אסף שוסטר‬ ‫נסים פרנסיז‬ ‫הדס שכנאי‬ ‫טובי עציון‬ ‫ערן יהב‪,‬‬ ‫מרטין וצ'ב‬ ‫רועי פרידמן‬ ‫אלעד חזן‬ ‫דני רז‪,‬‬ ‫דויד בריטגנד‬ ‫רועי פרידמן‬ ‫אורנה גרימברג‬ ‫גיל ברקת‪,‬‬ ‫חיים גוטסמן‬ ‫רועי פרידמן‬ ‫אסף שוסטר‪,‬‬ ‫רועי פרידמן‬ ‫משה טננהולץ‬ ‫רועי פרידמן‬ ‫רועי פרידמן‬ ‫רון קימל‪,‬‬ ‫עירד יבנה‬ ‫אלי ביהם‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫קפלון אנה‬ ‫אוקטובר ‪2011‬‬ ‫קפלן אלכסנדר‬ ‫אוגוסט ‪2002‬‬ ‫קפלן יניב‬ ‫נובמבר ‪2004‬‬ ‫רועי פרידמן‬ ‫שרות פירסום‪/‬מנוי מוכוון צפיפות ברשתות אד‪-‬הוק ניידות‬ ‫אילן שמשוני‪,‬‬ ‫מציאת קווים אפיפולרים משתי תמונות צבעוניות‬ ‫אהוד ריבלין‬ ‫חסמים תחתונים לבעיית איסוף מידע אדפטיבי ולבעיות קשורות חגית עטיה‬ ‫קצנגולד אורן‬ ‫ספטמבר ‪2006‬‬ ‫שימוש אפקטיבי במטמונים שומרי נתיבי ביצוע‬ ‫קצנגולד אורן‬ ‫ספטמבר ‪2006‬‬ ‫שימוש אפקטיבי במטמונים שומרי נתיבי ביצוע‬ ‫קראוס נעמה‬ ‫יולי ‪2012‬‬ ‫המלצת שאילתות תלוית הקשר‬ ‫קרונרוד בוריס‬ ‫קרונרוד סבטלנה‬ ‫קריביצקי דניס‬ ‫ינואר ‪2001‬‬ ‫אפריל ‪2001‬‬ ‫יוני ‪2006‬‬ ‫נושאים בדחיסה של מודלים תלת‪-‬מימדיים‬ ‫מיקום משימה הסתברותי במערכת מבוזרת רחבת היקף‬ ‫אלגוריתם לוקלי למיקום תחנות שירות למערכות גדולות היקף‬ ‫קרייבוי ולדיסלב‬ ‫ספטמבר ‪2003‬‬ ‫שדכן‪ :‬יצירת מיפוי טקסטורה עם אילוצים‬ ‫קרישר שרון‬ ‫קרמני חיים‬ ‫אוגוסט ‪2006‬‬ ‫מרס ‪2008‬‬ ‫אילוצי זהות בסכמות ‪XML‬‬ ‫המדחס‪ :‬דחיסה המתבצעת בו‪-‬זמנית‪ ,‬ובאופן תוספתי ומקבילי‬ ‫רב רוני‬ ‫ספטמבר ‪2003‬‬ ‫יצירת צעצועי עץ וירטואליים ממודלים גיאומטריים‬ ‫רביב אריאל‬ ‫רביב דן‬ ‫רביב נתנאל‬ ‫יוני ‪2012‬‬ ‫ינואר ‪2008‬‬ ‫יוני ‪2013‬‬ ‫גישה מבוססת מושגים להתרת רב‪-‬משמעות של מילים‬ ‫סימטריות של משטחים גמישים‬ ‫מינימיזצייה של טבלת אמת של מודלים חישוביים‬ ‫רגב אייל‬ ‫יולי ‪2021‬‬ ‫מערכות מרובות סוכנים בסביבה דינמית סטוכסטית‬ ‫רגר רונית‬ ‫אפריל ‪2002‬‬ ‫למידת חולשות יחסיות אצל הסוכן היריב וניצולם‬ ‫רובינשטיין אמיר‬ ‫נובמבר ‪2006‬‬ ‫מידול מהימן של ביטוי ארעי במערכות התפתחותיות‬ ‫רוגל ניר‬ ‫רוזנפלד אולגה‬ ‫רוטשטיין כרמן‬ ‫רוכלנקו אולג‬ ‫רון ליאור‬ ‫רוסמן גיא‬ ‫יוני ‪2011‬‬ ‫מאי ‪2007‬‬ ‫מרס ‪2004‬‬ ‫פברואר ‪2004‬‬ ‫מרס ‪2002‬‬ ‫נובמבר ‪2008‬‬ ‫ניתוב אנונימי ברשתות אד‪-‬הוק ניידות‬ ‫שיווי משקל חזק במשחקי עומס‬ ‫מערכת סמנטית לתארים טוטליים וחלקיים‬ ‫השוואה בין מסלולים מטבוליים באמצעות התאמת עצים‬ ‫מערכת משוב ויזואלי‬ ‫השטחות יעילות בלימוד יריעות ועיבוד תמונה‬ ‫רוסקוב דמיטרי‬ ‫ינואר ‪2000‬‬ ‫דגימה סלקטיבית ללמידת מסווגי השכן הקרוב‬ ‫ריאבצב מיכאל‬ ‫ספטמבר ‪2009‬‬ ‫ריבניקוב דני‬ ‫ינואר ‪2014‬‬ ‫אימות תרגום‪ :‬מ‪ simulink-‬ל‪c-‬‬ ‫מערכת חצי‪-‬אוטומטית להתאמה בלתי קשיחה והצללה‬ ‫קוהרנטית של רצף האנימציה‬ ‫ריבניקוב סילבינה‬ ‫מרס ‪2010‬‬ ‫בניית מפת דרכים לא אוקלידית מקבוצה קטנה של תמונות‬ ‫ריי גיא‬ ‫רינצקי נעם‬ ‫רם רוני‬ ‫ינואר ‪2000‬‬ ‫מרס ‪2001‬‬ ‫נובמבר ‪2002‬‬ ‫רפפורט אסף‬ ‫מאי ‪2013‬‬ ‫רצבי גיל‬ ‫יולי ‪2006‬‬ ‫שוהם )בוכבינדר( שרון‬ ‫נובמבר ‪2003‬‬ ‫שוחט אמנון‬ ‫שוטלנד ארי‬ ‫שורץ רועי‬ ‫שורקי פטריק‬ ‫מרס ‪2005‬‬ ‫נובמבר ‪2008‬‬ ‫ינואר ‪2004‬‬ ‫ינואר ‪2000‬‬ ‫לוגיקות לא‪-‬מונוטוניות מסדר ראשון‬ ‫אנליזה צורנית אינטרפרוצדורלית‬ ‫הפצה יעילה של הודעות אלקטרוניות‬ ‫אלגוריתמי קירוב לבעיות מיקום מתקנים מחוברים עם חסם רך‬ ‫על תכולה‬ ‫יתרון קוונטי‪ ,‬גם ללא שזירות‬ ‫סכמה מבוססת משחקים לדוגמאות נגדיות ולאלגוריתמי‬ ‫אבסטרקציה‪ -‬עידון עבור ‪CTL‬‬ ‫הרחבת ‪ BGP‬לתמיכה ב‪As Global-‬‬ ‫גילוי מסלולים יעיל ברשתות משולבות‬ ‫שיכונים מעגליים של גרפים‬ ‫שיחזור משטחים עם משולשים ביזייר על‪-‬ידי מדידות לייזר‬ ‫שחנרוביץ' גרגורי‬ ‫אוגוסט ‪2001‬‬ ‫שיבוט נתונים סטטיסטי עבור מערכות למידה ממוחשבות‬ ‫שטראוס ראובן‬ ‫יוני ‪2014‬‬ ‫רב‪-‬כיסוים גיאומטריים‬ ‫מנחה‬ ‫‪35‬‬ ‫אבי מנדלסון‪,‬‬ ‫אסף שוסטר‬ ‫אבי מנדלסון‪,‬‬ ‫אסף שוסטר‬ ‫זיו בר‪-‬יוסף‪,‬‬ ‫שאול מרקוביץ‬ ‫גוטסמן חיים‬ ‫רועי פרידמן‬ ‫אסף שוסטר‬ ‫אלה שפר‪,‬‬ ‫חיים גוטסמן‬ ‫עודד שמואלי‬ ‫ארז פטרנק‬ ‫אלה שפר‪,‬‬ ‫חיים גוטסמן‬ ‫שאול מרקוביץ'‬ ‫רון קימל‬ ‫איל קושלביץ‬ ‫פרדי ברוקשטיין‪,‬‬ ‫יניב אלטשולר‬ ‫שאול מרקוביץ'‬ ‫רון פינטר‪,‬‬ ‫יונה קסיר‬ ‫רועי פרידמן‬ ‫משה טננהולץ‬ ‫יועד וינטר‬ ‫רון פינטר‬ ‫יורם ברעם‬ ‫רון קימל‬ ‫שאול מרקוביץ'‪,‬‬ ‫מיכאל לינדנבאום‬ ‫עופר שטריכמן‬ ‫גיל ברקת‪,‬‬ ‫חיים גוטסמן‬ ‫אילן שמשוני‪,‬‬ ‫אהוד ריבלין‬ ‫מיכאל קמינסקי‬ ‫מולי שגיב‬ ‫דני רז‬ ‫דני רז‬ ‫טל מור‬ ‫אורנה גרימברג‬ ‫ראובן כהן‬ ‫רועי פרידמן‬ ‫ספי נאור‬ ‫גרשון אלבר‬ ‫רן אל‪-‬יניב‪,‬‬ ‫יורם ברעם‬ ‫גרשון אלבר‬ ‫מגיסטר‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫שייחט אלינה‬ ‫שמרון יובל‬ ‫שלום ישראל‬ ‫שלם עדית‬ ‫שם טוב שחר‬ ‫שמי ניר‬ ‫שניידרמן לילה‬ ‫שניצר אורן‬ ‫ספטמבר ‪2007‬‬ ‫יוני ‪2012‬‬ ‫יולי ‪2011‬‬ ‫פברואר ‪2007‬‬ ‫דצמבר ‪2011‬‬ ‫מרס ‪2009‬‬ ‫ינואר ‪2009‬‬ ‫מאי ‪2005‬‬ ‫שפיר יבגני‬ ‫יולי ‪2009‬‬ ‫שפירא אירינה‬ ‫מרס ‪2001‬‬ ‫שפירא ניצן‬ ‫דצמבר ‪2014‬‬ ‫שפירו קונסטנטין‬ ‫דצמבר ‪2003‬‬ ‫שקלובר גריגורי‬ ‫ספטמבר ‪2007‬‬ ‫שרגאי טלי‬ ‫מאי ‪2009‬‬ ‫שרגאי נדב‬ ‫מאי ‪2013‬‬ ‫בעיית המשולש המקוונת של היילברון ב‪ d-‬מימדים‬ ‫הקטנת חתימת הזכרון עבור אוספים בשפת ג'אווה‬ ‫השמת משאבים מקוונת מבוססת מרחק ועומס‬ ‫שיחזור רב‪-‬שכבתי של פאזה בדו מימד‬ ‫פרקים בשיטות ואריאציוניות מבוססות פרמטריזציית יתר‬ ‫אכיפת איכות עבור שירותי רשת ברשתות דינמיות‬ ‫סידור אינקרמנטלי של עצי ‪ xml‬מורחבים בזיכרון משני‬ ‫סיווג עקבי מרוכז‬ ‫המרה מונחת‪-‬חיבוריות מבוססת‪-‬תאים של מסיכות של מעגלים‬ ‫משולבים‬ ‫תזמון אינטרוולים מתפצלים‬ ‫מציאת מיפוי בין אוספים של צורות באמצעות שיטות להורדת‬ ‫מימדים‬ ‫מימוש מונחה עצמים רקונסיליאציות‬ ‫שיטות בקומפילציה של קוד ממוקבל בארכיטקטורה עם הקשר‬ ‫משותף‬ ‫הערכה אמפירית של מידת השימושיות של פונקציות וירטואליות‬ ‫הנקראות מתוך פונקציות בנייה‬ ‫כיסויים גאומטריים‬ ‫גיל ברקת‬ ‫יוסי גיל‬ ‫ספי נאור‬ ‫עירד יבנה‬ ‫אלפרד ברוקשטיין‬ ‫רועי פרידמן‬ ‫עודד שמואלי‬ ‫שאול מרקוביץ'‬ ‫רון פינטר‪,‬‬ ‫שמואל וימר‬ ‫הדס שכנאי‬ ‫שרון איתי‬ ‫ינואר ‪2006‬‬ ‫זיהוי דמיון בין חלבונים רחוקים ובעלי מורכבות נמוכה‬ ‫שרייר אלכסנדר‬ ‫שרף יובל‬ ‫שרפמן דפנה‬ ‫מאי ‪2006‬‬ ‫נובמבר ‪2004‬‬ ‫פברואר ‪2003‬‬ ‫ששון אמיר‬ ‫אפריל ‪2004‬‬ ‫ששון גיל‬ ‫אפריל ‪2004‬‬ ‫שתיל אסף‬ ‫יוני ‪2002‬‬ ‫תדמור סאלי‬ ‫אפריל ‪2002‬‬ ‫תייר רפי‬ ‫אפריל ‪2001‬‬ ‫הנחות תקשורת‪ ,‬גלאי נפילות וביצועי קונצנזוס‬ ‫כיסוי נקודות בעזרת פוליגון‬ ‫שיפור התנהגות המטמון תוך כדי איסוף זבל‬ ‫הבנה והתמודדות עם ההשפעות של התקפות מניעת שירות על‬ ‫עדית קידר‬ ‫פרוטוקולי הפצה מבוססי רכילות‬ ‫ישראל בן‪-‬שאול‬ ‫ארכיטקטורה מבוזרת מונחית אירועים ורב‪-‬שלבית‬ ‫למידה להאצת שיטות מבוססות שיפור חוזר על ידי זיהוי צעדי‬ ‫שאול מרקוביץ'‬ ‫חיפוש מיותרים‬ ‫אליעזר קנטרוביץ'‪,‬‬ ‫חבילת תוכנה לפיתוח מערכות מידע אינטראקטיביות‬ ‫רועי פרידמן‬ ‫סריקת מבוכים אוילרים מכוונים באמצעות רובוט בעל מספר‬ ‫שמעון אבן‬ ‫מצבים סופי‬ ‫דוקטור‬ ‫שם‬ ‫מירי בן‪-‬חן‬ ‫שמואל כ"ץ‬ ‫אסף שוסטר‬ ‫יוסי גיל‬ ‫גרשון אלבר‬ ‫גולן יונה‪,‬‬ ‫רן אל‪-‬יניב‬ ‫עידית קידר‬ ‫גיל ברקת‬ ‫ארז פטרנק‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫אביגדור‪-‬אלגרבלי‬ ‫נועה‬ ‫יוני ‪2014‬‬ ‫אלגוריתמים חדשים לבעיית ניהול חוצץ ממיין‬ ‫יובל רבני‪,‬‬ ‫אמיר שפילקה‬ ‫אברבוך איליה‬ ‫אפריל ‪2011‬‬ ‫אברהם תמר‬ ‫דצמבר ‪2007‬‬ ‫נובמבר ‪2002‬‬ ‫אגבריה עדנאן‬ ‫אגמון בן‪-‬יהודה אורנה ספטמבר ‪2013‬‬ ‫תכונות שלמות ואוניברסליות של שמורות‪-‬גרפים‬ ‫ופולינומי‪-‬גרפים‬ ‫תהליכי קשב ויזואלי המבוססים על מודלים הסתברותיים‪:‬‬ ‫אלגוריתמים וחסמים‬ ‫אמינות במערכות מבוזרות לחישוב מהיר‬ ‫חלוקת משאבי מיחשוב יעילה לא שיתופית‬ ‫ישומיהם של ייצוגים דלילים ויתירים לאשכול תתי‪-‬‬ ‫מרחבים ומידול אותות‬ ‫מילונים יתירים לייצוג דליל של אותות‬ ‫אוטומטי מחסנית מתחלפים מסונכרנים‬ ‫ניתוח מתמאטי של התנהגות גלובלית מתהווה במערכות‬ ‫מרובות סוכנים‬ ‫אדלר אמיר‬ ‫ספטמבר ‪2014‬‬ ‫אהרון מיכל‬ ‫אייזיקוביץ תמר‬ ‫נובמבר ‪2006‬‬ ‫דצמבר ‪2010‬‬ ‫אלאור יותם‬ ‫ספטמבר ‪2013‬‬ ‫אלטשולר יניב‬ ‫מרס ‪2010‬‬ ‫מערכות רובוטיות רב סוכניות בסביבות דינאמיות‬ ‫אלכסנדרוביץ גדי‬ ‫אוקטובר ‪2011‬‬ ‫אמזלג דוד‬ ‫פברואר ‪2008‬‬ ‫ספירה של חיות סריג‬ ‫אלגוריתמי קירוב לבעיות אופטימיזציה ברשתות‬ ‫סלולריות עתידיות‬ ‫‪36‬‬ ‫יוהן מקובסקי‬ ‫מיכאל לינדנבאום‬ ‫רועי פרידמן‬ ‫אסף שוסטר‬ ‫מיכאל אלעד‪,‬‬ ‫יעקב הל‪-‬אור‬ ‫מיכאל אלעד‬ ‫מיכאל קמינסקי‬ ‫אלפרד ברוקשטיין‬ ‫אלפרד ברוק שטיין‪,‬‬ ‫ישראל וגנר‬ ‫גיל ברקת‬ ‫ספי נאור‪,‬‬ ‫דני רז‬ ‫דוקטור‬ ‫שם‬ ‫סיום לימודים‬ ‫אנגלברג רועי‬ ‫מרס ‪2009‬‬ ‫אסמיר סאהר‬ ‫נובמבר ‪2008‬‬ ‫אפלבאום בני‬ ‫יולי ‪2007‬‬ ‫קריפטוגרפיה בזמן מקבילי קבוע‬ ‫אקרמן איל‬ ‫ספטמבר ‪2006‬‬ ‫בעיות ספירה במבנים גיאומטריים‪ :‬מילבונים‪ ,‬מפות‪-‬תכנון‬ ‫למעגלים מוכללים וגרפים מעין‪-‬מישוריים‬ ‫אושרוביץ אליהו‬ ‫פברואר ‪2012‬‬ ‫שיטות נומריות לשיחזור פאזה‬ ‫בגלייטר רון‬ ‫אפריל ‪2013‬‬ ‫מחקר בנושאים עיוניים ומעשיים של למידה פעילה‬ ‫בגלמן גריגורי‬ ‫יולי ‪2009‬‬ ‫עיבוד והבנה של תמונות מיקרוסקופיות ביולוגיות‬ ‫בוגומיאקוב אלכסנדר‬ ‫פברואר ‪2008‬‬ ‫בוזגלי שרית‬ ‫נובמבר ‪2014‬‬ ‫בוכבינדר ניב‬ ‫בוסתן דורון‬ ‫נובמבר ‪2008‬‬ ‫אוגוסט ‪2002‬‬ ‫בלייבס איליה‬ ‫דצמבר ‪2009‬‬ ‫נושא העבודה‬ ‫מנחה‬ ‫יציבות בסביבות מרובות סוכנים ואלגוריתמי קירוב‬ ‫לבעיות ‪ np‬קשות בגרפים‬ ‫אלגוריתמי כל‪-‬עת ללמידת מסווגי כל‪-‬עת‬ ‫ספי נאור‪,‬‬ ‫דני רז‬ ‫שאול מרקוביץ'‬ ‫יובל ישי‪,‬‬ ‫איל קושלביץ‬ ‫גיל ברקת‪,‬‬ ‫רון פינטר‬ ‫אהוד ריבלין‪,‬‬ ‫מיכאל ציבולבסקי‬ ‫ניר אילון‪,‬‬ ‫רן אל‪-‬יניב‬ ‫אהוד ריבלין‪,‬‬ ‫מיכאל ציבולבסקי‬ ‫ברונשטיין מיכאל‬ ‫מרס ‪2007‬‬ ‫ברנגולץ אלכסנדר‬ ‫ברקול עומר‬ ‫ברקן אלעד‬ ‫גברילוביץ יבגני‬ ‫יוני ‪2004‬‬ ‫ספטמבר ‪2008‬‬ ‫מרס ‪2006‬‬ ‫דצמבר ‪2006‬‬ ‫עיבוד גיאומטרי בעזרת מעבד גרפי לשם יצירת מבטים‬ ‫חדשים מוידאו של עומק‬ ‫בעיות אלגבריות וגאומטריות עם יישומים עבור זיכרון‬ ‫בלתי נדיף‬ ‫תכנון אלגוריתמים מקוונים בשיטה פרימאלית‪-‬דואלית‬ ‫צמצומים מבוססי‪ -‬שקילות ובדיקת יחסי סדר‬ ‫על הדיוק של סורקים אופטיים תלת מימדים‪ ,‬אלגוריתמים‬ ‫בינריזציה ולמידה חישובית‬ ‫טיפוסים ומשמעויות באינטנציונליות‪ ,‬בחירה וטווח כמתים‬ ‫איתור אתרי בקרה באמצעות מערכי ביטוי‬ ‫אלגוריתמי הסקה ויישומם באנליזה גנטית‬ ‫אלגוריתמים גיאומטריים בדידים לעיבוד רשתות‬ ‫סיבתיות‪ ,‬ידע ותאום במערכות מבוזרות‬ ‫גיאומטריה חישובית של משטחים גמישים‪ :‬בעיות שיכון‬ ‫זיהוי משטחים אינווריאנטי לאיזומטריות‪ :‬אלגוריתמים‬ ‫חישוביים ואפליקציות‬ ‫שיטות כמותיות לאיפיון קושי של בעיות ראייה‬ ‫קודים הניתנים לפיענוח מקומי ושימושיהם‬ ‫קריפטאנליזה של צפנים ופרוטוקולים‬ ‫בניית תכוניות לאיחזור מידע טקסטואלי בעזרת ידע עולם‬ ‫גולדנברג רומן‬ ‫פברואר ‪2003‬‬ ‫זיהוי מבוסס תנועה‬ ‫גונטמכר אלכס‬ ‫אוקטובר ‪2007‬‬ ‫ארכיטקטורה ומודל תכנות למקבול בגרעיניות נמוכה‬ ‫מאוד‬ ‫גורביץ פבל‬ ‫ספטמבר ‪2013‬‬ ‫הצפנה קוונטית ניסויית שבה השולחת היא קלאסית‬ ‫ג'יריס רג'א‬ ‫גלבוע ניב‬ ‫גלוסמן מרסלו‬ ‫פברואר ‪2014‬‬ ‫יוני ‪2001‬‬ ‫אפריל ‪2003‬‬ ‫מודלי דלילות עבור אותות‪ :‬תיאוריה ויישומים‬ ‫נושאים באיחזור מידע באופן פרטי‬ ‫מיכון להוכחות של שקילות בין חישובים‬ ‫גלזר אסף‬ ‫מאי ‪2014‬‬ ‫אפיון פילוגים מממד גבוה באמצעות שיטות למידה‬ ‫גרבלה גיא‬ ‫גרונאו אילן‬ ‫מאי ‪2013‬‬ ‫ספטמבר ‪2009‬‬ ‫גרינספן גדעון‬ ‫אוקטובר ‪2005‬‬ ‫דונקלמן אור‬ ‫דרבקין ואדים‬ ‫הולצמן‪-‬גזית מיכל‬ ‫ינואר ‪2006‬‬ ‫ספטמבר ‪2008‬‬ ‫אוקטובר ‪2010‬‬ ‫אלגוריתמי תיזמון לרשתות ‪ ofdma‬אלחוטיות‬ ‫שחזור עצים פילוגנטיים ממטריקות רועשות‬ ‫מודל רשת בייסיאנית לוריאציות בגושי גושי הפלוטיפים‪:‬‬ ‫הסקה ורישום‬ ‫שיטות קריפטאנליזה של צפני בלוקים‬ ‫פרוטוקולי תקשורת אמינים ברשתות אד‪-‬הוק‬ ‫שיטות אדפטיביות רב‪-‬סרגיות‬ ‫היימן תמיר‬ ‫מרס ‪2004‬‬ ‫בדיקת מודל סימבולית בעזרת מערכת מבוזרת‬ ‫הלוי שירלי‬ ‫הלל אשכר‬ ‫הרמתי אלעד‬ ‫ינואר ‪2006‬‬ ‫יולי ‪2011‬‬ ‫נובמבר ‪2014‬‬ ‫נושאים בבדיקת תכונות‬ ‫מבני נתונים מקביליים‪ :‬מתודולוגיות ומגבלות אינהרנטיות‬ ‫בחינת פולינומים ובעיות קשורות נוספות‬ ‫בן‪-‬אבי גלעד‬ ‫בן‪-‬זקן זילברשטיין חיה‬ ‫בקר אנה‬ ‫בן‪-‬חן מירי‬ ‫בן‪-‬צבי עידו‬ ‫ברונשטיין אלכסנדר‬ ‫ינואר ‪2008‬‬ ‫מאי ‪2006‬‬ ‫ינואר ‪2002‬‬ ‫ספטמבר ‪2009‬‬ ‫יולי ‪2011‬‬ ‫מאי ‪2007‬‬ ‫‪37‬‬ ‫חיים גוטסמן‬ ‫טובי עציון‪,‬‬ ‫איתן יעקובי‬ ‫ספי נאור‬ ‫אורנה גרימברג‬ ‫רון קימל‪,‬‬ ‫אלפרד ברוקשטיין‬ ‫יועד וינטר‬ ‫זהר יכיני‬ ‫דן גייגר‬ ‫חיים גוטסמן‬ ‫יורם מוזס‬ ‫רון קימל‬ ‫רון קימל‬ ‫מיכאל לינדנבאום‬ ‫רוני רוט‬ ‫אלי ביהם‬ ‫שאול מרקוביץ'‬ ‫אהוד ריבלין‪,‬‬ ‫רון קימל‬ ‫אסף שוסטר‬ ‫מאיר בורנשטיין‪,‬‬ ‫טל מור‬ ‫מיכאל אלעד‬ ‫בני שור‬ ‫שמואל כ"ץ‬ ‫שאול מרקוביץ‪,‬‬ ‫מיכאל לינדנבאום‬ ‫ראובן כהן‬ ‫שלמה מורן‬ ‫דן גייגר‬ ‫אלי ביהם‬ ‫רועי פרידמן‬ ‫עירד יבנה‬ ‫אורנה גרימברג‬ ‫אסף שוסטר‬ ‫איל קושלביץ‬ ‫חגית עטיה‬ ‫אמיר שפילקה‬ ‫דוקטור‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫וולף רן‬ ‫אוקטובר ‪2004‬‬ ‫וולקוביץ איליה‬ ‫מרס ‪2012‬‬ ‫וידרמן מיכאל‬ ‫פברואר ‪2012‬‬ ‫ויזל יקיר‬ ‫ספטמבר ‪2014‬‬ ‫ויטנברג רומן‬ ‫וינר יאיר‬ ‫נובמבר ‪2002‬‬ ‫אוקטובר ‪2013‬‬ ‫וקסמן אמיר‬ ‫יוני ‪2011‬‬ ‫וקסלר עידו‬ ‫זהר רון‬ ‫זילברשטיין נטליה‬ ‫זלוצ'ין מרק‬ ‫דצמבר ‪2007‬‬ ‫פברואר ‪2007‬‬ ‫נובמבר ‪2011‬‬ ‫יוני ‪2003‬‬ ‫כריית מידע במערכות מבוזרות גדולות‬ ‫בעיית בדיקת זהות פולינומים וקשריה למספר בעיות‬ ‫אלגבריות‬ ‫לקראת חסמים תחתונים על קודים הניתנים לבדיקה‬ ‫לוקלית‬ ‫בדיקת מודל מבוססת ספיקות על ידי שימוש‬ ‫באינטרפולציה ובנייה אינקרמנטלית של פסוקיות‬ ‫אינדוקטיביות לנכונות ודאית‬ ‫מטמון של עצמים מבוזרים בסביבות האינטרנט‬ ‫סודות עיוניים של חיזוי בררני‬ ‫שיטות כלליות באינטרפולציה‪ ,‬שחזור ושינוי צורה של‬ ‫משטחים פוליהדרליים‬ ‫קירובים עבור מודלים גרפיים הסתברותיים‬ ‫היתוך מדידות מבוזרות בעקיבת קבוצה‬ ‫תורת הצפינה ומרחבים פרויקטיביים‬ ‫שיטות מונטה קרלו אדפטיביות עבור למידה בייסיאנית‬ ‫אסף שוסטר‬ ‫אמיר שפילקה‬ ‫ספי נאור‬ ‫זפולוצקי מריה‬ ‫יולי ‪2008‬‬ ‫זריבץ' אבלינה‬ ‫ספטמבר ‪2008‬‬ ‫חדד ארז‬ ‫חי דוד‬ ‫חן רפי‬ ‫מאי ‪2006‬‬ ‫אפריל ‪2007‬‬ ‫יולי ‪2011‬‬ ‫חניאל עדו‬ ‫מרס ‪2008‬‬ ‫טאן טוני‬ ‫יולי ‪2009‬‬ ‫טל עדו‬ ‫ינואר ‪2009‬‬ ‫טרייסטר ערן‬ ‫נובמבר ‪2014‬‬ ‫יגר‪-‬לוטם אסתי‬ ‫ינואר ‪2005‬‬ ‫ידגר אברהם‬ ‫אפריל ‪2010‬‬ ‫ידגר גלה‬ ‫יולי ‪2012‬‬ ‫ניהול מטמון רב‪-‬שכבתי בעזרת רמזים מהאפליקציה‬ ‫יהלום אורלי‬ ‫יורב קרן‬ ‫נובמבר ‪2008‬‬ ‫יולי ‪2000‬‬ ‫נושאים בבדיקת תכונות במודלים עם פרמטר מאסיבי‬ ‫ניצול מבניות באימות אוטומטי‬ ‫ישי יובל‬ ‫ינואר ‪2000‬‬ ‫אקראיות מתואמת וחישובים פרטיים‬ ‫כהן טל‬ ‫פברואר ‪2007‬‬ ‫כהן רמי‬ ‫ינואר ‪2008‬‬ ‫כץ אמיליה‬ ‫לביא גל‬ ‫אפריל ‪2011‬‬ ‫מרס ‪2013‬‬ ‫לוי זהר‬ ‫יולי ‪2013‬‬ ‫לוי תמיר‬ ‫אוקטובר ‪2011‬‬ ‫לוין אניה‬ ‫פברואר ‪2012‬‬ ‫לוין רועי‬ ‫ספטמבר ‪2013‬‬ ‫לייבוביץ לימור‬ ‫יוני ‪2014‬‬ ‫פרישות קומפקטיות של רשתות חיבורים מסויימות‬ ‫שיערוך תוכניות ‪ datalog‬מעל מסדי נתונים אינסופיים‬ ‫ומבוססים‬ ‫ארכיטקטורות לשירותי תווכה חסיני נפילות‬ ‫ניתוח תחרותי של ארכיטקטורות מתגים‬ ‫שיטות חדשות לקריפטאנליזה של פונקציות תמצות‬ ‫חישוב יציב של מערכים גיאומטריים ודיאגרמות וורונוי של‬ ‫עקומים ומשטחים חופשיים‬ ‫אוטומטים עם חלוקים עבור שפות נתונים‪ :‬הפרדה‪,‬‬ ‫כריעות ואי‪-‬כריעות‬ ‫צפינה וחסמים לאילוצים דו‪-‬ממדיים‬ ‫שיטות רב‪-‬סריג אלגבריות אדפטיביות מבוססות אגרגציה‬ ‫לפתרון מערכות לינאריות דלילות‬ ‫אנליזה חישובית של רשתות המשלבות בקרת שעתוק‬ ‫ואינטראקציות בין חלבונים‬ ‫גישות חדשות לבדיקת מודל ולהפשטה ועידון תלת‬ ‫ערכיים‬ ‫שימוש בפיתוח תוכנה מונחה‪-‬אספקטים במערכות‬ ‫שכבת‪-‬ביניים‬ ‫המבנה הטופולוגי של האינטרנט‪ :‬מתהליך הגילוי ועד‬ ‫לתמונה האמתית‬ ‫ניתוח וזיהוי אינטראקציות בין אספקטים‬ ‫הבנת מאורעות בוידאו‬ ‫שיטות לעיבוד בסיסי נתונים תלת‪-‬ממדיים נפחיים‬ ‫ופוליהדרליים‬ ‫על רשתות המיזוג‬ ‫סכימות לניהול נדידת משתמשים לצורך שיפור ביצועי‬ ‫‪ tcp‬ברשתות אלחוטיות‬ ‫חיפושי מסלולים גיאוגרפיים‬ ‫הערכה סטטיסטית של העשרה ברשימות מדורגות ‪-‬‬ ‫אלגוריתמים ויישומים בחיפוש מוטיבים‬ ‫‪38‬‬ ‫אלדר פישר‬ ‫ארנה גרימברג‬ ‫רועי פרידמן‬ ‫רן אל‪-‬יניב‬ ‫ברקת גיל‬ ‫גוטסמן חיים‬ ‫דן גייגר‬ ‫דן גייגר‬ ‫טובי עציון‬ ‫יורם ברעם‬ ‫יפים דיניץ‪,‬‬ ‫שמעון אבן‪,‬‬ ‫עמי ליטמן‬ ‫יוסי גיל‬ ‫רועי פרידמן‬ ‫חגית עטיה‬ ‫אלי ביהם‬ ‫גרשון אלבר‬ ‫מיכאל קמינסקי‬ ‫רוני רוט‬ ‫טובי עציון‬ ‫עירד יבנה‬ ‫רון פינטר‪,‬‬ ‫חנה מרגלית‬ ‫אסף שוסטר‪,‬‬ ‫אורנה גרימברג‬ ‫אסף שוסטר‪,‬‬ ‫מיכאל פקטור‬ ‫אלדר פישר‬ ‫אורנה גרימברג‬ ‫איל קושלביץ‪,‬‬ ‫הוגו קרבצ'יק‪,‬‬ ‫יוסי גיל‬ ‫דני רז‬ ‫שמואל כ"ץ‬ ‫אהוד ריבלין‬ ‫חיים גוטסמן‪,‬‬ ‫גיל ברקת‬ ‫עמי ליטמן‬ ‫ראובן כהן‬ ‫ירון קנזה‬ ‫זהר יכיני‬ ‫דוקטור‬ ‫שם‬ ‫סיום לימודים‬ ‫לייכטר עדו‬ ‫ספטמבר ‪2008‬‬ ‫ליפסון דורון‬ ‫אפריל ‪2007‬‬ ‫למפל רוני‬ ‫פברואר ‪2003‬‬ ‫לנדאו אלכסנדר‬ ‫דצמבר ‪2009‬‬ ‫לנץ קרן‬ ‫אפריל ‪2013‬‬ ‫מוס אנה‬ ‫אוגוסט ‪2001‬‬ ‫מורי נעם‬ ‫מורן שירי‬ ‫מזאווי חנא‬ ‫יולי ‪2009‬‬ ‫נובמבר ‪2006‬‬ ‫נובמבר ‪2011‬‬ ‫מלמד רועי‬ ‫יולי ‪2006‬‬ ‫ממן איתי‬ ‫מצליח אריה‬ ‫מרעי ענאן‬ ‫נוסנסון רונית‬ ‫מרס ‪2012‬‬ ‫ספטמבר ‪2008‬‬ ‫אוגוסט ‪2008‬‬ ‫מאי ‪2005‬‬ ‫נהיר אמיר‬ ‫ספטמבר ‪2014‬‬ ‫ניר טל‬ ‫נלקן רן‬ ‫נקיבלי גבי‬ ‫מאי ‪2007‬‬ ‫ספטמבר‪2001‬‬ ‫ינואר ‪2008‬‬ ‫סוידאן פיראס‬ ‫פברואר ‪2006‬‬ ‫סורז'סקי ויטלי‬ ‫יוני ‪2003‬‬ ‫סזבון דידי‬ ‫יולי ‪2005‬‬ ‫סטרולוביץ עומר‬ ‫מרס ‪2013‬‬ ‫שרשראות איבוד מידע ושיתוף סוד שברי‬ ‫סנדלר רומן‬ ‫אוקטובר ‪2010‬‬ ‫ספירה אלון‬ ‫ספטמבר ‪2006‬‬ ‫ניתוח מסנני ‪ gabor‬להפרדת טקסטורות‬ ‫התפתחות גיאומטרית של תמונות על משטחים‬ ‫פרמטריים‬ ‫סקלוסוב גבריאל‬ ‫דצמבר ‪2007‬‬ ‫בעיות ניתוב ותזמון ברשתות תקשורת‬ ‫סקצ'ק ויטלי‬ ‫דצמבר ‪2006‬‬ ‫עבוד אמיר‬ ‫דצמבר ‪2012‬‬ ‫צפנים בעל ייצוג דליל‪ :‬בניות וחסמים‬ ‫ניטור פונקציות כלליות במערכות מבוזרות עם תקשורת‬ ‫מינימלית‬ ‫עילם תמר‬ ‫אוקטובר ‪2000‬‬ ‫יחסי גומלין בין עלות לאיכות ברשתות תקשורת‬ ‫עירון נדב‬ ‫ינואר ‪2001‬‬ ‫למידה חישובית במודלים לסביבה רועשת‬ ‫עמית נדב‬ ‫ספטמבר ‪2014‬‬ ‫הורדת התקורה של וירטואליזציה‬ ‫פורן אריה‬ ‫נובמבר‪2001‬‬ ‫אלגוריתמים אופרטיביים חסרי המתנה למערכות‬ ‫אסינכרוניות עם זיכרון משותף‬ ‫פורן רועי‬ ‫ינואר ‪2014‬‬ ‫נושאים באופטימיזציה וחקירה של צורות‬ ‫פז הראל‬ ‫יולי ‪2006‬‬ ‫ניהול זיכרון יעיל לשרתים‬ ‫נושא העבודה‬ ‫עקיבה ויזואלית בהקשר רחב באמצעות שילוב עוקבים‬ ‫ושימוש ברמזים ברמה נמוכה‬ ‫סוגיות חישוביות במדידת מספר עותקי דנ"א‬ ‫ניתוח מבנה הקשרים וניהול מטמון תוצאות החיפושים‬ ‫במנועי חיפוש ברשת האינטרנט‬ ‫שיטות יעילות להערכת מספר הצמתים המושפעים‬ ‫מאירוע ברשתות גדולות מאד‬ ‫מנגנונים פנימיים וחיצוניים להרחבת שפות תכנות‬ ‫רווח גבוה תמורת מחיר נמוך‪ :‬אלגוריתמי קירוב בגרפים‬ ‫עם משקלים בצמתים‬ ‫שירות חיפוש תוכן מוכוון צפיפות ברשתות אד‪-‬הוק ניידות‬ ‫בעיות תיזמון וסדרות חלקות‬ ‫למידת גרפים משאילתות אשר סופרות קשתות‬ ‫שירותים הניתנים להרחבה לרשתות תקשורת רחבה‬ ‫דינאמיות‬ ‫תבניות פורמליות בתבניות ג'אווה‬ ‫בדיקת תכונות וקירובים קומבינאטורים‬ ‫מתאמי סכמות מסדר שני‬ ‫מודלים סטוכסטיים לשרתי אינטרנט‬ ‫תכן וניהול מערכות מבוזרות מורכבות‪ :‬היבטי‬ ‫אופטימיזציה ותורת המשחקים‬ ‫נושאים בניתוח של תנועה‬ ‫שאלות‪ ,‬זמן וממשקי שפה טבעית לבסיסי נתונים עתיים‬ ‫הנדסת תעבורה ברשתות מבוססות ‪ IP‬ו‪MPLS-‬‬ ‫גנומיקה השוואתית‪ :‬ממיפוי מדויק למיון על‪-‬ידי היפוכים‬ ‫ממושקלים ולפילוגנזות מסומנות על‪-‬ידי חזרות‬ ‫מורפוזה של צורות לינאריות למקוטעין בעזרת ייצוגים‬ ‫קמורים‬ ‫ניווט מבוסס חיישנים המונע על‪-‬ידי מערכות ביולוגיות‬ ‫‪39‬‬ ‫מנחה‬ ‫מיכאל לינדנבאום‬ ‫זהר יכיני‬ ‫שלמה מורן‬ ‫ראובן כהן‬ ‫יוסי גיל‬ ‫ספי נאור‪,‬‬ ‫יובל רבני‬ ‫רועי פרידמן‬ ‫עמי ליטמן‬ ‫נאדר בשותי‬ ‫עידית קידר‬ ‫יוסי גיל‬ ‫אלדר פישר‬ ‫אביגדור גל‬ ‫חגית עטיה‬ ‫דני רז‪,‬‬ ‫אריאל אורדע‬ ‫אלפרד ברוקשטיין‬ ‫נסים פרנסיז‬ ‫ראובן כהן‬ ‫רון פינטר‬ ‫חיים גוטסמן‬ ‫אהוד ריבלין‬ ‫ישי יובל‪,‬‬ ‫קושלביץ איל‬ ‫מיכאל לינדנבאום‬ ‫רון קימל‬ ‫ספי נאור‪,‬‬ ‫דני רז‪,‬‬ ‫עדי רוזן‬ ‫רוני רוט‬ ‫אסף שוסטר‪,‬‬ ‫דני קרן‬ ‫שלמה מורן‪,‬‬ ‫שמואל זקס‬ ‫שי בן‪-‬דוד‬ ‫אסף שוסטר‪,‬‬ ‫דן צפריר‬ ‫חגית עטיה‬ ‫חיים גוטסמן‪,‬‬ ‫גרשון אלבר‬ ‫ארז פטרנק‪,‬‬ ‫הלל קולודנר‬ ‫דוקטור‬ ‫שם‬ ‫סיום לימודים‬ ‫נושא העבודה‬ ‫מנחה‬ ‫פינקלשטיין לב‬ ‫יוני ‪2005‬‬ ‫תזמון לא מקוון של אלגוריתמים ברי פסיקה‬ ‫שאול מרקוביץ'‪,‬‬ ‫אהוד ריבלין‬ ‫פישלזון מעין‬ ‫דצמבר ‪2004‬‬ ‫פלשטיין איל‬ ‫אוגוסט ‪2002‬‬ ‫פסקין ענת‬ ‫דצמבר ‪2012‬‬ ‫חישוב בטוח במינימום אינטראקציה‬ ‫פצ'יוני דמיטרי‬ ‫מרס ‪2009‬‬ ‫פרוינד ארי‬ ‫פברואר ‪2003‬‬ ‫פרוטר מתן‬ ‫אפריל ‪2011‬‬ ‫תיאוריה ומעשה בלמידה טרנסדוקטיבית‬ ‫אלגוריתמי קירוב מקוונים ובלתי מקוונים לבעיות שונות‬ ‫של הקצאת משאבים ותזמונם ולבעיית החתך הרב‪-‬כיווני‬ ‫עיבוד רצפים של תמונות ללא שערוך תנועה‬ ‫פרידמן אריק‬ ‫פרישמן יניב‬ ‫צבי נגה‬ ‫צ'וזוי יוליה‬ ‫מרס‪2011‬‬ ‫ינואר ‪2009‬‬ ‫ספטמבר ‪2014‬‬ ‫יולי ‪2004‬‬ ‫ציבין יואב‬ ‫אפריל ‪2004‬‬ ‫צמח תמר‬ ‫ינואר ‪2008‬‬ ‫צנזור קרן‬ ‫קוגן אלכס‬ ‫קוטק תומר‬ ‫ספטמבר ‪2010‬‬ ‫אוקטובר ‪2012‬‬ ‫יולי ‪2012‬‬ ‫קונופניקי דוד‬ ‫נובמבר ‪2001‬‬ ‫קופרשטוק אהרן‬ ‫קורן יאיר‬ ‫קליאוט גבי‬ ‫קניגסברג דן‬ ‫אוקטובר ‪2000‬‬ ‫יולי ‪2007‬‬ ‫מרס ‪2009‬‬ ‫יולי ‪2007‬‬ ‫כריית מידע משמרת פרטיות‬ ‫שיטות שיכון גרפים לויזואליזציה של מידע‬ ‫ישומי קומבינטוריקה אדיטיבית בתורת הסיבוכיות‬ ‫קושי של קירוב ומחלקות קירוב חדשות‬ ‫אלגוריתמים יעילים לסביבת זמן הריצה של תוכניות‬ ‫מונחות עצמים‬ ‫חקירה של זרימות לא הומוגניות המושפעות מכוחות‬ ‫סיבוב וכובד‬ ‫שיטות הסתברותיות בחישוב מבוזר‬ ‫שימוש יעיל במספר ממשקי רדיו ברשתות אלחוטיות‬ ‫גדירות של פונקציות קומבינטוריות‬ ‫אילוף ה‪ :WEB-‬שאילתות‪ ,‬אינטגרציה‪ ,‬ואפליקציות‬ ‫מתקדמות למסחר אלקטרוני‬ ‫שיכונים משופרים של רשתות חיבורים‬ ‫שיטות מרובות סקלה לעיבוד תמונות‬ ‫שירותי תווכה הסתברותיים ברשתות אד‪-‬הוק אלחוטיות‬ ‫קלסיות וקוונטיות בעיבוד אינפורמציה קוונטית‬ ‫קניזו יוסף חי‬ ‫פברואר ‪2014‬‬ ‫החלטות מהירות בהתקני רשת‬ ‫קרני צחי‬ ‫ספטמבר ‪2004‬‬ ‫קרנין זהר‬ ‫פברואר ‪2012‬‬ ‫רביב דן‬ ‫דצמבר ‪2012‬‬ ‫רביץ דרור‬ ‫נובמבר ‪2003‬‬ ‫רדינסקי קירה‬ ‫מרס ‪2013‬‬ ‫רובינשטיין רן‬ ‫פברואר ‪2012‬‬ ‫רוכלנקו אולג‬ ‫ינואר ‪2008‬‬ ‫רוזנברג איל‬ ‫יוני ‪2012‬‬ ‫רונן רועי‬ ‫נובמבר ‪2012‬‬ ‫רוסמן גיא‬ ‫רוסקוב דמיטרי‬ ‫רוקנשטיין גיתית ז"ל‬ ‫ינואר ‪2014‬‬ ‫יוני ‪2004‬‬ ‫ינואר ‪2002‬‬ ‫רסמריצה שטפן‬ ‫יוני ‪2003‬‬ ‫גישת רב סוכן לבקרת מערכות מרובות רובוטים‬ ‫רסקין ליאוניד‬ ‫אוקטובר ‪2010‬‬ ‫הורדת ממד לצורך עקיבה וניתוח אינטראקציות בין בני‬ ‫אדם במרחב תלת ממדי‬ ‫שגיא גיא‬ ‫יולי ‪2012‬‬ ‫שיטות גיאומטריות לעיבוד וניטור של מידע גדול ומבוזר‬ ‫חישוב יעיל של הקשרים גנטיים עבור עצי משפחה‬ ‫כלליים‬ ‫ניתוב בר הרחבה ברשתות ‪ ATM‬היררכיות‬ ‫עיבודים גיאומטריים של גופים תלת‪-‬ממדיים באמצעות‬ ‫שיטות ספקטראליות‬ ‫דה‪-‬רנדומיזציה של בעיות אלגבריות וגיאומטריות‬ ‫בתיאוריית מדעי המחשב‬ ‫שמורות מטריות של משטחים גמישים‬ ‫שיטות קומבינטוריות ושיטות מבוססות תכנון לינארי‬ ‫לפיתוח אלגוריתי קירוב‬ ‫ללמוד לחזות את העתיד בעזרת הדינמיקה והידע ברשת‬ ‫האינטרנט‬ ‫מודלים דלילים של אנליזה וסינתזה בעיבוד תמונה‬ ‫אלגוריתמים להתאמת גרפים מתויגים עם יישומים‬ ‫לביולוגיה מערכתית‬ ‫חסמים תחתונים ותוצאות מבניות בבדיקת תכונות של‬ ‫מבנים קומבינטוריים צפופים‬ ‫מודלים ושיטות לאפליקציות אינטרנט מתקדמות‬ ‫ולאוטומציה ברשתות חברתיות‬ ‫על פרמטריזציות טבעיות של מרחבי תנועה ומבנה‬ ‫רשתות בייסיאניות‪ :‬בחירת מודלים ושימושים‬ ‫אסטרטגיות בפענוח קודים אלגבריים לתיקון שגיאות‬ ‫‪40‬‬ ‫דן גייגר‬ ‫ראובן כהן‬ ‫יובל ישי‪,‬‬ ‫איל קושלביץ‬ ‫רן אל‪-‬יניב‬ ‫ספי נאור‬ ‫מיכאל אלעד‬ ‫אסף שוסטר‬ ‫איילת טל‬ ‫אלי בן‪-‬ששון‬ ‫ספי נאור‬ ‫יוסי גיל‬ ‫מריוס אונגריש‬ ‫הדס שכנאי‬ ‫רועי פרידמן‬ ‫יוהן מקובסקי‬ ‫עודד שמואלי‬ ‫שמעון אבן‬ ‫עירד יבנה‬ ‫רועי פרידמן‬ ‫טל מור‬ ‫יצחק קסלסי‬ ‫דוד חי‬ ‫חיים גוסטמן‬ ‫אמיר שפילקה‬ ‫רון קימל‬ ‫ראובן בר‪-‬יהודה‬ ‫שאול מרקוביץ‬ ‫מיכאל אלעד‬ ‫רון פינטר‬ ‫אלדר פישר‬ ‫עודד שמואלי‬ ‫רון קימל‬ ‫דן גייגר‬ ‫רוני רוט‬ ‫מיכאל היימן‪,‬‬ ‫אהוד ריבלין‬ ‫מיכאל לינדנבאום‪,‬‬ ‫מיכאל רודז'סקי‬ ‫אסף שוסטר‪,‬‬ ‫דני קרן‬ ‫דוקטור‬ ‫שם‬ ‫סיום לימודים‬ ‫שגין קונסטנטין‬ ‫ספטמבר ‪2009‬‬ ‫שוהם בוכבינדר שרון‬ ‫ינואר ‪2009‬‬ ‫שולדאה אוקטביאן‬ ‫יולי ‪2006‬‬ ‫הסק פונקציונלי בניתוח תמונות‬ ‫שוורץ משה‬ ‫שוורץ רועי‬ ‫אפריל ‪2004‬‬ ‫ינואר ‪2004‬‬ ‫ריצופים‪ ,‬אנטיקודים‪ ,‬וקידוד רב‪-‬ממדי‬ ‫שטוק יוסי‬ ‫דצמבר ‪2012‬‬ ‫שטיינפלד ישראל‬ ‫דצמבר ‪2013‬‬ ‫שיין שגיא‬ ‫אפריל ‪2006‬‬ ‫שיכמן מרסלו‬ ‫שלום מרדכי‬ ‫יוני ‪2003‬‬ ‫מרס ‪2006‬‬ ‫שלם מירית‬ ‫אפריל ‪2013‬‬ ‫שניר שגיא‬ ‫ספטמבר ‪2004‬‬ ‫שרפמן יצחק צחי‬ ‫ינואר ‪2009‬‬ ‫תמיר תמר‬ ‫ספטמבר ‪2001‬‬ ‫נושא העבודה‬ ‫ביצוע של תוכניות ג'אווה על מספר רב של תחנות עבודה‬ ‫לא ייעודיות‬ ‫אבסטרקציה‪-‬עידון ומודולריות בבדיקת מודל של תחשי‬ ‫ב‪-‬מיו‬ ‫שיכונים מעגליים של גרפים‬ ‫אלגוריתמים אדפטיביים לשחזור תמונה בטומוגרפיה‬ ‫ממוחשבת‬ ‫ניתוח נתונים ממחקרים המשלבים סוגים שונים של‬ ‫מדידות כלל גנומיות‬ ‫פונקציות בשלושה משתנים בגרפיקה ממוחשבת‪ ,‬מידול‬ ‫גיאומטרי ודימות רפואי‬ ‫תמיכה בשפה ובהוכחות להלבשות ואספקטים‬ ‫בעיות תכנון אופטימלי ברשתות אופטיות‬ ‫שאילתות חיפוש מורכבות במאגרי מידע הטרוגניים‬ ‫נושאים חישוביים בשחזור עצים פילוגנטיים – פתרונות‬ ‫אנליטיים לנראות מרבית וצביעה קמורה‬ ‫גישה גיאומטרית לזיהוי תכונות גלובליות מעל מידע‬ ‫מבוזר‬ ‫בעיות הקצאת משאבים עם אילוצי סוגים‬ ‫‪41‬‬ ‫מנחה‬ ‫אסף שוסטר‬ ‫אורנה גרימברג‬ ‫גרשון אלבר‪,‬‬ ‫אהוד ריבלין‬ ‫טובי עציון‬ ‫ספי נאור‬ ‫אלעד מיכאל‪,‬‬ ‫ציבולבסקי מיכאל‬ ‫זוהר יכיני‬ ‫גרשון אלבר‬ ‫שמואל כ"ץ‬ ‫שמואל זקס‬ ‫אסף שוסטר‪,‬‬ ‫זיו בר‪-‬יוסף‬ ‫בני שור‬ ‫אסף שוסטר‬ ‫הדס שכנאי‬