EE Seminar: Parameterization Driven 3D Surface Modeling from a Single Image

~~
Speaker: Michael Litvin,
M.Sc. student under the supervision of Prof. Ariel Shamir and Prof. Alex Bronstein

Wednesday, January 6th, 2016 at 15:30
Room 011, Kitot Bldg., Faculty of Engineering

Parameterization Driven 3D Surface Modeling from a Single Image

Abstract

We consider the task of retexturing, which is the process of realistically replacing the texture of an object in an image. The user provides a regular 2D image along with an alternative texture, and uses our system to coarsely model the object’s visible 3D geometry. A parameterization implicitly maintained throughout the modeling process induces a warp that fits the texture on the desired object.
In order to lessen required user interaction and skill, we limit the geometry to extrusion surfaces. Most user input is performed by marking simple geometrical features over the 2D image, and entering optional real-world measurements. The process begins with defining an extrusion spine in form of a line segment, and then defining the shape of key cross-sectional profiles along this spine. The profiles are then automatically scaled to fit the object’s silhouette, sampled and connected to form a 3D triangle mesh. This construction induces a natural parameterization with axes based on the spine direction and the profiles’ arc-length parameter.

06 בינואר 2016, 15:30 
חדר 011, בניין כיתות-חשמל  

EE Seminar: Coding For Interactive Communication

~~(The talk will be given in English)

Speaker:  Dr. Ran Gelles
                      Princeton University

Monday, December 21st, 2015
15:00 - 16:00
Room 011, Kitot Bldg., Faculty of Engineering
Coding For Interactive Communication

Abstract:

In his seminal 1948 paper, Shannon conceived the field of coding theory, allowing a sender to deliver a single message to a receiver, despite noise introduced by the communication links. Unfortunately, coding techniques developed since then are insufficient for modern communication systems, where instead of a sender communicating a message to a receiver, two or more parties are involved in an interaction -- a conversation.

The field of coding for interactive communication aims at solving exactly the above question by obtaining coding schemes that allow two or more parties to complete their conversation despite possible noise in the communication channels. In order to be useful, such coding schemes are required to feature desirable properties such as having an efficient computation time, or adding only a small amount of redundancy (i.e. having a good rate).

In this talk I will describe the realm of interactive coding, and a few of the exciting coding techniques developed in recent years, as well as several of the applications derived from these coding techniques. In particular, I will discuss efficient coding schemes for two parties in the presence of stochastic noise, and upper and lower bounds on the communication (i.e., on the rate) of coding scheme in the multiparty case in the presence of stochastic noise.

Short Bio:

Ran Gelles is a postdoctorate researcher in the department of Computer Science, Princeton University.
He received his PhD in 2014 from UCLA, and he holds a Master degree and a Bachelor degree in computer engineering, from the Technion.
Ran's main interest is in communication systems, and in particular, interactive communication systems.
Other than that, his research involves questions in data-streams, cryptography, and quantum cryptography.

21 בדצמבר 2015, 15:00 
חדר 011, בניין כיתות-חשמל  

הליכי המינוי הקליטה וההעלאה בדרגה של הסגל האקדמי הבכיר בפקולטה להנדסה :

 

מסמך זה מתאר את הליכי המנוי וההעלאה בדרגה בפקולטה להנדסה. הליכים אלה כפופים להוראות האוניברסיטה  והנוהל האוניברסיטאי. בכל מקרה של סתירה אפשרית בין המתואר כאן ובין הנוהל האוניברסיטאי, הנוהל האוניברסיטאי הוא המחייב.

התיאור המובא להלן מאורגן לפי הנושאים הבאים:

א.      הגשת תיק מועמד לוועדת המינויים היחידתית

ב.       עבודת ועדת המינויים היחידתית

ג.        אופן הליך המינוי והקידום

ד.       עבודת הוועדה המקצועית

ה.      עבודת מזכירות וועדת המינויים

ו.        קליטת מועמד חדש

ז.        הוראות שעה ועדכון הוראות האוניברסיטה

א. הגשת תיק מועמד לוועדת המינויים היחידתית:

המונחים הבאים משמשים בהמשך:

מועמד: חבר סגל המועמד לקליטה, להעלאה בדרגה, לקבלת קביעות באוניברסיטה, לחידוש או    אי חידוש מינוי  או מדען חוקר שהוחלט לטפל בו  כמפורט בהמשך.הממליץ: ראש ביה"ס או המחלקה של המועמד. מועמדותו של כל מועמד עומדת תחילה לדיון הפורום המחלקתי או הבית ספרי אליו הוא משויך.

ועדת המינויים היחידתית: ועדת המינויים היחידתית בפקולטה להנדסה מונה חמישה חברי סגל.  הוועדה אחראית לבדיקת התאמתם של מועמדים לקידום או למינוי,  ולפעולות האקדמיות והמנהליות הכרוכות בכך.

ועדה מקצועית:  ועדת אד-הוק בת ארבעה חברים שהתמנתה ע"י הוועדה היחידתית לבדיקת  התאמתו של המועמד המוצע למנוי, לקידום או להענקת קביעות .

הגשת תיק מועמד:

אופן הגשת מועמד למינוי או לקידום בדרגה לוועדת המינויים היחידתית של הפקולטה:

מועמד המוגש למינוי או לקידום הינו מועמד אשר מועמדותו אושרה בדיון בפורום המקובל בבית הספר או במחלקה אליה שייך המועמד.

תיק המוגש לבדיקתה של ועדת מינויים יכלול את המסמכים הבאים:

  1. מכתב המלצה מאת ראש המחלקה/ביה"ס אליו משתייך המועמד או מאת ממלא מקומו.
  2. CV  ורשימת פרסומים נפרדת מעודכנים עפ"י ההנחיות המקובלות באוניברסיטה.
  3. סיכום הישגי המחקר של המועמד, מאז הקידום האחרון (למועמד חדש: בשנתיים האחרונות או לפי הרלוונטיות) ותכניות להמשך,  כשהכל מסוכם  בכשני עמודים.

מצ"ב קובץ הוראות האוניברסיטה לכתיבתCV  ועריכת פרסומים:

הערות לעריכת ה- CV

1.   מאמרי כנס יסווגו בשתי רשימות נפרדות

    • Extended Papers in Conference Proceedings
    • Conference Abstracts

מאמרי כנס מוזמנים יסומנו. מאמרי מליאה (plenary sessions) יסומנו בנפרד.

  1. קרנות מחקר שהעניקו מענקים למועמד תסווגנה בשתי רשימות: קרנות פנימיות וקרנות חיצוניות ויצוין  אם  המועמד חוקר ראשי.
  2. רשימות התלמידים לתואר שני ולתואר שלישי תוצגנה בנפרד, ותכלולנה את שמות התלמידים, נושאי העבודה, ושנת סיום התואר (שם מנחה נוסף אם יש).

4.     לכל מאמר ברשימת המאמרים יצורפו הנתונים הבאים:

4.1   שמות הסטודנטים של המועמד יסומנו בכוכבית.

Impact factor   4.2       של העיתון בו פורסם המאמר.

4.3   מספר הציטוטים למאמר (ניתן לכלול ציטוטים במאמרי כנס) ללא ציטוטים עצמיים.

  1. למעוניינים בכך, ניתן גם להוסיף רשימת ציטוטים למאמרי כנס שצוטטו בספרות (או בכנסים)

ב. העלאת תיק לדיון במסגרת וועדת המינויים היחידתית:

ועדת המינויים היחידתית דנה מידי שנה בכל חברי הסגל האקדמי שטרם קבלו קביעות או הגיעו לדרגת פרופסור מן המניין ומזמינה, במסגרת זו, את ראשי המחלקות ובתי הספר  לדיונים המתאימים.

למועמד אשר לדעת המחלקה או בית הספר הרלוונטי עומד בקריטריונים להעלאה בדרגה או מנוי, יבנה תיק על ידי המחלקה בשיתוף פעולה עם המועמד, אשר יכיל את כל המסמכים עפ"י הכללים המצוינים לעיל, ויוגש לדקאן.  תיק זה יועלה לדיון באחת הישיבות הקרובות של ועדת המינויים היחידתית.

ב.1 ראש מחלקה ו/או ביה"ס יוזמן להציג מועמד לקידום, הענקת קביעות  או מינוי בפני וועדת המינויים  היחידתית.

ב.2 ועדת המינויים היחידתית תסקור את הישגי המועמד בתחומי המחקר וההוראה.

ב.3 ועדת המינויים תחליט אם לפתוח בהליך מינוי או העלאה בדרגה או מתן קביעות. במקרה של מנוי חדש תחליט הוועדה על המסלול הרלוונטי והדרגה המתאימה, ותורה על פתיחה בהליך או על דחיית התיק.

ג. אופן הליך המינוי והקידום

 

ג.1. בעקבות החלטת ועדת המינויים על פתיחה בהליכים

ייפתח הליך משאל מוקדם:

ג.1.1. במסגרת המשאל המוקדם נשלחים מכתבים לחברי סגל בכירים בארץ או בחו"ל  לפי החלטת ועדת המינויים  היחידתית .

ג.1.2  מכתבי המשאל המוקדם הינם בחתימת דקאן הפקולטה.

ג.1.3  לכל הליך מינוי, הענקת קביעות או העלאה בדרגה תתבקשנה חוות דעת משופטים, בין בארץ ובין בחו"ל שדרגתם מרצה בכיר ומעלה (או דרגה מקבילה בחו"ל),  בעלי קביעות במוסדם, ואשר דרגתם במוסד האקדמי אליו הם משתייכים אינה נמוכה מזו המומלצת עבור המועמד. השופטים צריכים להיות  בעלי מעמד מוכר בתחום המקצועי של המועמד ובתחום פעילותו המחקרית.

ג.1.4  התקבלו מכתבי המשאל המוקדם, הם יועלו לדיון במסגרת הוועדה היחידתית. בהתבסס על המלצות אלה והערכת התיק במלואו תחליט ועדת המינויים היחידתית באם לכונן ועדה מקצועית ותאשר את הרכבה.

ג.1.5  היה  והוחלט על הקמת ועדה מקצועית:

ועדה מקצועית תימנה ארבעה חברי סגל, כולם בדרגה שווה או גבוהה מזו שמומלצת עבור המועמד ובעלי קביעות במוסד האקדמי אליו הם משתייכים. לפחות אחד מחברי הוועדה יהא חבר סגל מחוץ לאוניברסיטת תל-אביב. מנחה תזה של המועמד אינו יכול להיות חבר הוועדה המקצועית.

ג. 2  במקרים  חריגים ועפ"י שיקול ועדת המינויים והחלטתה תוקם ועדה מקצועית ללא קיום משאל מוקדם או יקוים משאל מוקדם במקביל להקמתה של הוועדה מקצועית.

ג.3   בתום עבודתה של הוועדה המקצועית יועברו עיקרי עבודתה והמלצותיה במסגרת דו"ח הוועדה (כפי שיפורט בהמשך) לדיון בוועדה היחידתית.

ג.4   תיק המועמד במלואו על כל מסמכיו יועלה לדיון במסגרת ועדת המינויים היחידתית. על סמך כל החומר העומד בפניה תחליט ועדת המינויים היחידתית על אחת מהאפשרויות הבאות:

ג.4.1 העלאת התיק להערכת ועדת המינויים האוניברסיטאית.

ג.4.2 בקשה להבהרות והשלמות מהוועדה המקצועית.

ג.4.3 בקשה לחוות דעת נוספות והחזרת התיק לידי הוועדה המקצועית.

ג.5  כל מינוי או העלאה בדרגה תקפים אך ורק לאחר אישור ועדת המינויים האוניברסיטאית.

ולאחר שהסנאט אישר (בדרך כלל , באופן חיובי) את ההחלטה.

ג.5.1     החלטה חיובית של הוועדה האוניברסיטאית תדווח למועמד ע"י הרקטור. רק מכתב מינוי  חתום ע"י הרקטור  מהווה אישור למינוי או להעלאה בדרגה.

ג.5.2     החלטת ועדת המינויים האוניברסיטאית תובא ע"י הדקאן לידיעת המועמד, ראש ביה"ס/ ראש המחלקה.

ג.5.3     גם החלטה שלילית תובא לידיעת המועמד.

ד. עבודת הוועדה המקצועית

 

ד.1 כתב המינוי לוועדה המקצועית יהיה חתום ע"י יו"ר וועדת המינויים היחידתית.

ד.2 תיק המועמד יועבר לוועדה המקצועית כפי שהוגש לוועדת המינויים היחידתית בצירוף כלחוות הדעת שנאספו בהליך המשאל המוקדם (אם התקיים).

ד.3 מקובל שתוך 4 שבועות מתאריך מינויה של הוועדה המקצועית עליה לסיים את בחינת התיק         וקבלת מכתבי ההמלצה (באים התקבלו  כאלה) ולבחור למי לשלוח מכתבים נוספים, אם יש צורך בכך. הוועדה המקצועית יכולה להשתהות אם אין בידיה כל ההמלצות הדרושות. במקרה זה עליה לידע את ועדת המינויים הפקולטטית ולהיוועץ עמה.

ד.4  הוועדה המקצועית תעביר למזכירות ועדת המינויים רשימת ממליצים פוטנציאליים הכוללת אנשי אקדמיה בעלי מעמד מוכר בתחומו המקצועי של המועמד ובתחום פעילותו המחקרית ועונים על הקריטריונים כפי שהם מצוינים  בסעיף ג.1.3 .

ד.5 הרשימה תכלול בין היתר נשאלים שהם אנשי אקדמיה שלא עבדו עם המועמד.

ד.6 במידה והרשימה כוללת ממליץ שאינו בעל מינוי במוסד אקדמי מוכר אולם הוא בעל מעמד בתחומו המקצועי של המועמד ובתחום פעילותו המחקרית כמפורט בסעיף ג.1.3 יש לפרט את הרקע של הממליץ ולנמק את הבחירה בו.  מכתב שכזה אינו מחליף מכתב מחבר סגל בכיר אלא מהווה תוספת מחזקת לתיק הנדון. אין לבקש המלצות מהמנחה לדוקטורט החל בדרגת מרצה בכיר.

ד.7 מכתבי הבקשה להמלצה יהיו חתומים ע"י יו"ר הוועדה המקצועית.

ד.8 חובה שבהרכב מכתבי המשאל, שני מכתבים  יהיו ממליצים פנימיים דהיינו מאוניברסיטת תל אביב. על מכתב המלצה פנימי להיכתב בשפה העברית.

ד.9 הוועדה המקצועית תגיש לוועדת המינויים היחידתית דו"ח מסכם המתייחס לכל החומר שנאסף בתיק. ראה הנחיות לכתיבת דו"ח הוועדה המקצועית.

ד.10 לוח הזמנים לעבודת הוועדה המקצועית עפ"י הוראות האוניברסיטה הוא ארבעה חודשים מתאריך מינוי הוועדה. היה והוועדה איננה עומדת בלוח הזמנים המצוין, יש לפנות לדקאן לשם קבלת הארכת תקופת העבודה.

הנחיות לכתיבת דו"ח וועדה מקצועית

 

להלן  מבנה דו"ח הוועדה המקצועית  וההנחיות לכתיבתו

 

דו"ח הוועדה המקצועית ממוען

ליו"ר וועדת המינויים היחידתית

פרטי הוועדה המקצועית

הצגת חברי הוועדה המקצועית:

- תאריך הקמה

- שמות חברי הוועדה

-  המוסדות האקדמיים אליו הם משתייכים

- דרגותיהם האקדמיות

-תאריכי הפגישות האישיות וההתייעצויות הטלפוניות

גוף הדו"ח

הקריירה המדעית

 

-            תאור ההיסטוריה המקצועית של המועמד וציוני הדרך החשובים.

-            תאור של תחום המחקר בו עוסק המועמד וחשיבותו.

-          דיון  מפורט בתרומותיו הסגוליות לתחום המחקר בו עוסק המועמד    ואיכות מחקריו.

-            בדיון לעליה לדרגות נמוכות  מפמ"ה  יש לדון בפוטנציאל המדעי של המועמד

-            דיון במעמדו הבינלאומי של המועמד ותרומתו לקהילה המדעית  תוך ציון מספרי פרסומים, השתתפות בכנסים, ארגון כנסים, תפקידים בעיתונות מדעית מובילה, זכייה בפרסים יוקרתיים, השגת מימון למחקרים וציטוטים.

-            ציון העיתונות המדעית בה מפרסם המועמד ואומדן איכותה.

-            ציטוטים חשובים חריגים ומיוחדים מתוך מכתבי ההערכה.

-            ציטוטים לחיזוק טענות הוועדה אפשריים אך במשורה.

טיפול בביקורת במכתבי ההערכה

חשוב ביותר, על הוועדה המקצועית לתת מענה לכל "נקודה חלשה" בתיק, ולהשיב לכל בקורת במכתבי ההמלצה בין אם היא מפורשת ובין אם נרמזת.

גוף הדו"ח

מילוי תפקידים הוראה והנחיית סטודנטים

-          הקורסים אותם מלמד המועמד לתואר ראשון ותארים מתקדמים.

-          התייחסות למשוב ההוראה.

-          פיתוח קורסים ותכניות לימוד חדשות באם המועמד היה שותף לכך.

-          מספר הסטודנטים אשר הונחו או עדין מונחים ע"י המועמד, תוך ציון דוקטורנטים ומסטרנטים בנפרד והדגשת העבודות המצטיינות.

-          מילוי תפקידים וחברויות בוועדות אקדמיות ו"אזרחות טובה".

סיכום

החלק המסכם יכלול פירוט עמדת הוועדה והמלצתה בתיק. גם אם ההמלצות חיוביות מאוד על הוועדה להביע את דעתה על המועמד לפחות בפסקה אחת.

נספח

נספח לדו"ח הוועדה כולל את רשימת הממליצים בתיק המועמדות והצגתם:

-          שם הממליץ

-          המוסד אליו הוא משתייך

-          דרגתו האקדמית

-          תחום המחקר בו עוסק הרפרנט

-          מעמדו הבינלאומי

העלאת תיק לוועדת המינויים האוניברסיטאית

תיק המועלה להערכת וועדת המינויים האוניברסיטאית יכלול את המסמכים הבאים מאת המועמד:

-          CV  ורשימת פרסומים מעודכנים עפ"י ההוראות המפורטות לעיל, ראה הנחיות לעריכת CV   ורשימת פרסומים.

-          תכנית מחקר בעברית באורך 1-2 עמודים, הכוללת סיכום מחקר ותכניות להמשך.

-          רשימת עשרת המאמרים הטובים ביותר מאז הקידום האחרון.

-           העתקים ממאמרים וספרים שפרסם המועמד מאז הקידום האחרון. אם מספר המאמרים האלה עולה על עשרה די להגיש העתקים של עשרה מאמרים לפי בירת המועמד.

מועמד חדש:

 

-          יעביר העתקים מודפסים של כל המאמרים והספרים ששמו נמצא בין מחבריהם. מועמד חדש לדרגה מעל מרצה בכיר  רשאי לגיש מאמרים מהשנתיים האחרונות.

-          צילום תעודות המעידות על השכלה.

-       כמו כן בכדי להיקלט במערכת משאבי אנוש:

-          צילום ת.ז.

-          שאלון אישי

ה. עבודת מזכירות וועדת מינויים

ה.1  מזכירות ועדת המינויים שולחת לממליצים את הבקשות להערכה והחומרים הנלווים

במסגרת המשאל  המוקדם ופעילות הוועדה  המקצועית.

ה.2. מזכירות ועדת המינויים מבצעת את המעקב אחר קבלת חוות הדעת ומדווחת לדקאן וליו"ר

הוועדות המקצועיות על כל עיכוב או סירוב בקבלת חוות דעת.

ה.3. מזכירות ועדת המינויים דואגת לעדכון המסמכים הרלוונטיים לכל אורך ההליך.

ה.4. מזכירות ועדת המינויים עוקבת אחר לוח הזמנים והעלאת התיקים לדיון בשלבים השונים לאורך ההליך.

ה.5  לאחר אישור התיק במלואו בוועדת המינויים היחידתית, מכינה מזכירות ועדת המינויים את התיק  לדיון בוועדת המינויים האוניברסיטאית.

ה.6  מזכירות וועדת המינויים היחידתית מיידעת את חברי הוועדה על הכרעת וועדת המינויים האוניברסיטאית.

ו.  קליטת חבר סגל חדש

 

ו.1 מועמד חדש אשר קליטתו אושרה ע"י הרקטור, יקבל מאת ראש מנהל הפקולטה מכתב   קליטה המפרט את יחידות המנהל בפקולטה והעומדים בראשן ואת פרטי איש הקשר של היחידה אליה הוא שייך.

ו.2  חבר סגל חדש, במעמד תושב חוזר, זכאי להחזר כרטיסי טיסה ומטען עפ"י הוראות האוניברסיטה.

מצ"ב הוראות האוניברסיטה בעניין זה:pdf15

ו.3 תושב חוזר הינו מי ששהה מחוץ לארץ ארבע שנים. החוק בעניין זה עשוי להשתנות מדי פעם. להלן קישור לאתר משרד הקליטה בעניין  קליטתם של מדענים חוזרים:

http://www.moia.gov.il/Moia_en/ReturningCitizens/Assistance.htm?DisplayMode=Print

ז. הוראות שעה ועדכון הוראות האוניברסיטה

 

כל הוראה חדשה של שלטונות האוניברסיטה, בין אם במכתב מהרקטור או בשנוי תקנוני, תגרור שינוי מתאים בהליכים המתוארים כאן.

סמינר מחלקתי Avishai Beck and Roi Peretz

02 במאי 2016, 15:00 
וולפסון 206  
0
סמינר מחלקתי   Avishai Beck and Roi Peretz

 

 

 

 

 

School of Mechanical Engineering Seminar
Monday, May 2, 2016 at 15:00
Wolfson Building of Mechanical Engineering, Room 206

 

A Jumper Glider robot
inspired by the locust

 

Avishai Beck

MSc Student of Dr. Gábor Kósa

In recent decades, researchers began to look for new solutions for mobility of robots by imitating the biological mechanisms found in nature, especially insects’ locomotion ability. Our research group engaged in developing a miniature jumping and gliding robot that mimics the locust’s locomotion. The target of the robot is to be able to maneuver and navigate in rough terrain by producing continues controlled jumps.

The goal of this study was to develop the gliding mechanism and then integrate it with the TAUB jumping mechanism in order to build a jumping gliding robot capable of multiple jumps and changing its orientation in air.

The robot jumps and commences a ballistic trajectory with closed wings and tail to reduce its drag. When the robot reaches the apex of the jump it spreads open the wing and tail and then glides down in a controlled descent. The gliding phase has three main objectives: To enhance the achieved distance, reduce the velocity of the landing impact from the ground and to determine the yaw angle of the body at landing.

In order to characterize the robot, a dynamic model with six degrees of freedom was developed. A model is solved numerically using the Matlab platform. The model aided in the analysis of the robots stability during in the airborne phase of its jump and the assessment of the gliding and yaw control abilities.

Sebveral prototypes were designed and evaluated experimentally to examine the separate phases of the robot’s jump. We tested the wings opening mechanism, stability of the ascent, gliding performance and yaw controlling. After developing the final gliding mechanism it was combined with the TAUB jumping mechanism and experiments were taken out on the fully integrated robot.

The latest prototype of the Jumper-Glider robot weighs 28 [gr]. It is capable of jumping to a height of 1.7 [m] and a distance of 4 [m]. The raobot controls its yaw angle in the air and it is capable of continuous jumps.

 

 

 

 

 

 

School of Mechanical Engineering Seminar
Monday, May 2, 2016 at 15:00
Wolfson Building of Mechanical Engineering, Room 206

 

 

Ozonation of lignocellulosic biomass as a pre-treatment step

 for bioethanol production

Roi Peretz

MSc Student of Assoc. Prof. Hadas Mamane and Dr. Yoram Gerchman (Haifa University)

 

Geo-political concerns, environmental and health issues, and the growing need for energy have increased the demand for developing a new sustainable and clean source of energy for transportation, heating and industrial processes. There is a great need for “drop-in” fuels which will directly replace the petroleum based fuels used today. Unlike other energy products (like heat and power) which can be replaced by most of the alternative solutions, for the transportation sector there seems to be no alternative solution other than biomass conversion to energy. The goal of this research was to examine the use of ozone based Advanced Oxidation Processes (AOP’s) as a pre-treatment method of lignocellulosic biomass (such as agricultural waste) prior to cellulase treatment used for conversion of cellulose to sugars. The research aimed to use ozonation on highly concentrated samples, as part of a vision for promoting a new, economic and competitive process. The ozonation experiments were first conducted on phenol (lignin) models such Gallic Acid and Tannic Acid with concentration up to 60 gr/L. Triple phase kinetics with two transition points have been obtained. Enzymatic activity demonstrated the highest potential at these two transition points. These results interestingly suggest that full mineralization of the phenols is not necessary for an optimal cellulase enzymatic activity. On later stages ozonation was conducted on biomass material such as olive mill solid wastes (OMSW) and paper wastes. It was found that post-ozonation samples of paper have lost their orderly fiber-type structure, due to the diminishing of the lignin part of the mass. In both cases, full decomposition of total phenols was achieved in a relative short periods of times. The combination of the above could make lignocellulosic biomass saccharification and fermentation processes more feasible, thereby rendering the conversion of agricultural waste more realistic. Moreover, creation of a new and ubiquitous source of biofuels is unequivocally a major goal of the biofuels research community.

 

של משרד המדע

03 דצמבר 2015

אנו שמחים לבשר לכם על מספר גדול של זוכים מהפקולטה בקרן משרד המדע החדשה יחסית שנקראת "מחקר מדעי יישומי והנדסי"

 

 

1) תמיר טולר (ביחד עם יפתח יעקובי ממדעי החיים)

2) גבור קושה (יחד עם עם תמר ברוש ורפאל פילו מרפואה)

3) גיל רוזנמן, אמיר נתן וטל אלנבוגן

4) ירון טולדו ופרופ' לב שמר

5) מיכל צור טל רביב וערן טוך.

 

ברכות לכולם ותודה לכל מי שהגיש

EE Seminar: Improving parallel programs with architectural insights

~~(The talk will be given in English)

Speaker:   Dr. Adam Morrison
                  CS, Technion

Wednesday, December 23rd, 2015
15:00 - 16:00
Room 011, Kitot Bldg., Faculty of Engineering
Improving parallel programs with architectural insights
Parallel programs and concurrent algorithms are developed using models---formal and mental---that abstract away details of the underlying hardware. In practice, however, these hidden details can have a dominating impact on performance. In this talk, I will show
how understanding hardware/software interactions can lead to more efficient programs and algorithms, through improvements of both models and hardware:
(1) I will show how understanding the implementation of the TSO memory model by x86 processors enables designing a fence-free work stealing algorithm, which was thought to be impossible.
(2) I will describe how insights on the way software uses atomic memory operations inspire a novel hardware architecture design that can break the serialization of certain contending synchronizing atomic instructions, and execute them in parallel.

23 בדצמבר 2015, 15:00 
חדר 011, בניין כיתות-חשמל  

EE Seminar: From representation to inference: respecting and exploiting mathematical structures in computer vision and machine learning

~~(The talk will be given in English)

Speaker:   Dr. Oren Freifeld
                 CS and Artificial Intelligence Lab, MIT

Monday, January 11th, 2016
15:00 - 16:00
Room 011, Kitot Bldg., Faculty of Engineering
From representation to inference: respecting and exploiting mathematical structures in computer vision and machine learning

Abstract
Stochastic analysis of real-world signals consists of 3 main parts: mathematical representation; probabilistic modeling; statistical inference. For it to be effective, we need mathematically-principled and practical computational tools that take into consideration not only each of these components by itself but also their interplay. This is especially true for a large class of computer-vision and machine-learning problems that involve certain mathematical structures; the latter may be a property of the data or encoded in the representation/model to ensure mathematically-desired properties and computational tractability. For concreteness, this talk will center on structures that are geometric, hierarchical, or topological.

Structures present challenges. For example, on nonlinear spaces, most statistical tools are not directly applicable, and, moreover, computations can be expensive. As another example, in mixture models, topological constraints break statistical independence. Once we overcome the difficulties, however, structures offer many benefits. For example, respecting and exploiting the structure of Riemannian manifolds and/or Lie groups yield better probabilistic models that also support consistent synthesis. The latter is crucial for the employment of analysis-by-synthesis inference methods used within, e.g., a generative Bayesian framework. Likewise, imposing a certain structure on velocity fields yields highly-expressive diffeomorphisms that are also simple and computationally tractable; particularly, this facilitates MCMC inference, traditionally viewed as too expensive in this context.

Time permitting, throughout the talk I will also briefly touch upon related applications such as statistical shape models, transfer learning on manifolds, image warping/registration, time warping, superpixels, 3D-scene analysis, nonparametric Bayesian clustering of spherical data, multi-metric learning, and new machine-learning applications of diffeomorphisms. Lastly, we also applied the (largely model-based) ideas above to propose the first learned data augmentation scheme; as it turns out, when compared with the state-of-the-art schemes, this improves the performance of classifiers of the deep-net variety.

Speaker's bio:
Oren Freifeld is a postdoc at John Fisher's Sensing, Learning and Inference group at MIT CSAIL. His main research areas are computer vision, probabilistic modeling, statistical inference, and machine learning. He is also interested in stochastic processes, image processing, statistical signal processing, and large-scale data analysis. He earned his PhD (advisor: Michael Black) and ScM in Applied Mathematics from Brown University. During parts of his PhD he was a Visiting Scholar at Stanford University Electrical Engineering department (host: Krishna Shenoy). Earlier, he graduated from Tel-Aviv University with MSc (advisors: Hayit Greenspan and Jacob Goldberger) and BSc in Biomedical Engineering.

 

11 בינואר 2016, 15:00 
חדר 011, בניין כיתות-חשמל  

סמינר מחלקתי Dr. Steve Levine

16 בדצמבר 2015, 15:00 
וולפסון 206  
0
סמינר מחלקתי Dr. Steve Levine

 

 

 

 

 

School of Mechanical Engineering Seminar
Wednesday, December 16, 2015 at 15:00
Wolfson Building of Mechanical Engineering, Room 206

 

 

Breaking the Barriers to Realistic Simulation of the Human Body

 

Dr. Steve Levine

Living Heart Project at Dassault Systems, SIMULIA

It would be difficult to overestimate the impact on engineering, industry and society if we can accurately and cost effectively perform realistic simulations of the human body and its systems.  In fact, understanding and replicating the physics of the human body seems poised to be the next major horizon for a growing range of simulation tools that have now become irreplaceable for developing products from microchips to jetliners.  However, despite being the focus of countless studies over decades, it is not until recently has instrumentation been available to reveal its detailed dynamic behavior with sufficient accuracy to allow modeling and simulation to finally cross the threshold onto this frontier.

This presentation will highlight several areas of significant progress in virtual human simulation including the global translational cardiovascular initiative, the Living Heart Project. Through this project, a quantitatively accurate, fully coupled electromechanical simulation of a four chamber human heart was developed and made generally available in a robust commercial package. This computational model can provide critical insight to improve and develop new devices and procedures for treating heart conditions, the leading cause of death worldwide.  Progress on musculoskeletal hybrid multiscale models will also be presented that consist of realistic 3D structures for deformable joints, ligaments and soft tissues using novel non-linear finite element workflows to isolate the force balance under true load conditions. 

Applications examples will demonstrate the state-of-the art in replicating anatomically correct behavior at both the organ and musculoskeletal level using standard technology, representing a scalable translational environment for understanding human behavior in a real world context.

Bio:

Dr. Steve Levine is Sr. Director of Product Strategy and the Executive Director of the Living Heart Project at Dassault Systems SIMULIA. Since 2006, Steve has been responsible for driving the SIMULIA strategy towards its vision of enabling simulation to help harmonize Product, Nature and Life. Steve began his career at Engelhard Corporation, where he founded and led an applied simulation group in corporate R&D for over five years. In that time, his work featured in a number of discoveries, new product patents and he received several technical awards, including the highest research achievement award possible. Steve subsequently joined Biosym Technologies, a biomolecular simulation startup, which grew to become the leading modeling provider for the Pharmaceutical, Chemical, Materials industries, going public as Accelrys Inc. in 2003. Acclerys is now part of Dassault Systems creating the foundation for the brand BIOVIA.  During his 15 years at Accelrys, he held a number of positions including Director of Product Development, GM of Materials Informatics, and Sr. Director of Corporate Development. Steve holds a Ph.D. in Materials Science and Engineering from Rutgers University and has been elected into the American Institute for Medical and Biological Engineering (AIMBE)'s College of Fellows.

 

 

 

 

סמינר מחלקתי - יאיר זיק

Towards the Deployment of Cooperative Game-Theoretic Solutions

22 בדצמבר 2015, 14:00 
 

Abstract :

Cooperative game theory spans the formation of coalitions among collaborative agents, as well as 

proposing reasonable payoff divisions among them. This branch of game theory is rooted in Von-

Neumann & Morgenstern’s foundational work, with many beautiful theoretical ideas; however, it has seen 

relatively sparse application. In this talk, I will discuss several research thrusts which aim at making the 

theory of cooperative games more applicable; I will discuss how the introduction of overlapping coalition 

structures – i.e. allowing agents to divide their resources among more than one coalition – allows one to 

model complex agent interaction. 

 

Moreover, I will show how one can overcome the computational challenges traditionally associated with 

finding cooperative solution concepts by relaxing our requirements. By looking for a probably 

approximately correct (PAC) solution, and applying ideas from computational learning theory, one can 

find good solutions to cooperative games while eliminating computational overhead.

 

Finally, I will discuss exciting directions for the study of cooperative games, both in the application of the 

theory to causality and classification, and in empirical human trials

Short Bio:

Yair Zick is a postdoctoral research fellow in the computer science department at Carnegie Mellon 

University. He has completed his PhD at Nanyang Technological University, SPMS (funded by the 

Singapore A*STAR SINGA award). He received his B.Sc (Mathematics and the "Amirim" honors program) 

from the Hebrew University of Jerusalem. His research interests include game theory, fair division and 

their applications to domains such as machine learning, security, and privacy. 

He is the recipient of the 2014 IFAAMAS Victor Lesser Distinguished Dissertation Award, and the 2011 

Pragnesh Jay Modi Best Student Paper Award.

EE Seminar: Field Classification, Modeling and Anomaly Detection in Unknown CAN Bus Networks

~~Speaker: Moti Markovitz, 
M.Sc. student under the supervision of Prof. Avishai Wool

Wednesday, December 16, 2015 at 15:00
Room 011, Kitot Bldg., Faculty of Engineering

Field Classification, Modeling and Anomaly Detection in Unknown CAN Bus Networks

Abstract

A controller area network (CAN bus) is commonly used for in-vehicle communication. During the last years, several security research groups have shown that CAN bus networks are vulnerable to attacks. In particular, it was demonstrated that an attacker can broadcast fake messages on the CAN bus network and disrupt the normal operation of the vehicle’s critical systems, like shutting down the engine during trip, spinning the steering wheel, etc.

In this thesis we deal with these attacks.
First, we describe the architecture of the vehicle communication system and the security issues. Then we explain how we acquired the data for our research, the initial analysis of the data, and what we have learned from it.
A serious challenge in in-vehicle communication research is that the CAN bus message formats are proprietary and not publicly documented. We describe the field classification algorithm that we have developed, that automatically parse the messages and find their semantics.

In order to evaluate our methods we needed traces of messages whose field structure is known. We present a simulator of CAN bus communication, that we have developed for this purpose.

Finally, we use the message field structures from our field classification algorithm, for building an enforcement model, based on TCAM. This enforcement model can be used for anomaly detection system.

 

16 בדצמבר 2015, 15:00 
חדר 011, בניין כיתות-חשמל  

עמודים

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש שנעשה בתכנים אלה לדעתך מפר זכויות
שנעשה בתכנים אלה לדעתך מפר זכויות נא לפנות בהקדם לכתובת שכאן >>