קולוקוויום וסמינרים

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

קולוקוויום וסמינרים בקרוב

  • אירוע יאהו! ישראל לסטודנטים מצטיינים ולתארים מתקדמים

    אירוע יאהו! ישראל לסטודנטים מצטיינים ולתארים מתקדמים

    תאריך:
    יום ראשון, 29.3.2015, 14:30
    מקום:
    CS טאוב Auditorium 2

    הנכם מוזמנים לאירוע מעבדות יאהו! ישראל לסטודנטים מצטיינים ולתארים מתקדמים בטכניון, ביום ראשון, 29 במרס 2015, בבניין טאוב למדעי המחשב. בתוכנית:

    14:30-15:00, אודיטוריום 2, בניין טאוב למדעי המחשב
    ברכות מפי פרופ' עירד יבנה, דיקן הפקולטה למדעי המחשב
    ברכות מפי דר' יואל מארק, סמנכ"לית מעבדות יאהו!: "למה צריך תואר מתקדם בחברות אינטרנט מובילות"

    15:00-15:30, אודיטוריום 2, בניין טאוב למדעי המחשב
    הרצאה מפי פרופ' Eugene Agichtein (חוקר ומדען ראשי  במעבדות יאהו!, ופרופ' בשבתון באוניברסיטת אמורי).
    Answering the Searcher's Questions: Research on Social Content Organization, Retrieval, and Presentation

    15:30-16:30, חדר 337 (קומה 3), בניין טאוב למדעי המחשב
    שולחנות עגולים עם חוקרים, מדענים ומהנדסי מחקר בנושאים:
     

    • Ad Ranking Research

    • Answering Research

    • Mail Search and Mining Research

    • Scalable Search Systems Research

    • Career Mentoring

    • Summer Internship Opportunities at Yahoo! Labs
       

    נא לאשר הגעה עד יום ד', 25 במרס, 2015.

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

  • CGGC Seminar: Provably Good Planar Mappings

    דובר:
    רועי פורן (מכון ויצמן למדע)
    תאריך:
    יום שני, 30.3.2015, 13:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    The problem of planar mapping and deformation is central in computer graphics, where applications range from image warping and character animation, to non-rigid registration and shape analysis. I will present a framework for adapting general, smooth, function bases for constructing provably good planar mappings. The term "good" in this context means the map has no fold-overs (injective), is smooth, and has low isometric or conformal distortion. Our approach bridges the gap between mesh and meshless methods, allowing us to construct meshless maps with bounded distortion. Further extensions will be discussed.

  • Pixel Club: RGBD-Fusion: Real-Time High Precision Depth Recovery

    דובר:
    רועי אור-אל (הנדסת חשמל, טכניון)
    תאריך:
    יום שלישי, 31.3.2015, 11:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    The popularity of low-cost RGB-D scanners is increasing on a daily basis. Nevertheless, existing scanners often cannot capture subtle details in the environment. We present a novel method to enhance the depth map by fusing the intensity and depth information to create more detailed range profiles. The lighting model we use can handle natural scene illumination. It is integrated in a shape from shading like technique to improve the visual fidelity of the reconstructed object. Unlike previous efforts in this domain, the detailed geometry is calculated directly, without the need to explicitly find and integrate surface normals. In addition, the proposed method operates four orders of magnitude faster than the state of the art. Qualitative and quantitative visual and statistical evidence support the improvement in the depth obtained by the suggested method. * This work will appear in CVPR2015

  • Internet security: Past, Present and Future

    דובר:
    Michael Waidner - RESCHEDULED - COLLOQUIUM LECTURE -
    תאריך:
    יום שלישי, 31.3.2015, 13:00
    מקום:
    חדר Class 5 טאוב.
    קישור:
    http://www.cs.technion.ac.il/~colloq/20150331_13_00_Waidner.html
  • ceClub: Introducing Intel Software Guard Extensions (Intel SGX)

    דובר:
    איתי ענתי (אינטל)
    תאריך:
    יום רביעי, 1.4.2015, 11:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    Intel Software Guard Extensions (Intel SGX) is an extension to Intel Architecture designed to increase the security of software. In this approach, rather than attempting to identify and isolate all the malware on the platform, legitimate software can be sealed inside an enclave and protected from attack by malware, irrespective of the its privilege level. In the talk I will touch on the building blocks of security, describe the basics of Intel SGX, and show how the components, combined, provide a holistic secure solution.

    Bio:
    Ittai Anati is a Senior Principal Engineer at Intel Corporation, focusing mainly on topics related to CPU and system security at Intel's Israel Design Center (IDC) in Haifa. Ittai has a B.Sc. in Electrical Engineering from the Technion, Israel Institute of Technology.

  • Efficient and Scalable Kernel IOMMU Management Designs

    דובר:
    עומר פלג, הרצאה סמינריונית למגיסטר
    תאריך:
    יום רביעי, 1.4.2015, 13:00
    מקום:
    טאוב 601
    מנחה:
    Prof. Dan Tsafrir

    IOMMUs provided by modern hardware allow the OS to enforce memory protection controls on the DMA operations of its I/O devices. An IOMMU translation management design must scalably handle frequent concurrent updates of IOMMU translations made by multiple cores, as occur in high throughput I/O workloads. Today, however, OSes experience performance meltdowns under these workloads. In this talk we will explore scalable IOMMU management designs, which would address the two main bottlenecks we find in current OSes: (1) assignment of IO virtual addresses (IOVAs), and (2) management of the IOMMU's TLB. We will describe and evaluate three approaches for scalable IOVA assignment: (1) dynamic identity mappings, which eschew IOVA allocation altogether, (2) allocating IOVAs using the kernel's kmalloc, and (3) per-core caching of IOVAs allocated by a globally-locked IOVA allocator. To complement them, we will also present a scalable IOMMU TLB management scheme that is compatible with all these approaches.

  • The nom Profit-Maximizing Operating System

    דובר:
    מולי בן-יהודה, הרצאה סמינריונית למגיסטר
    תאריך:
    יום רביעי, 1.4.2015, 14:30
    מקום:
    טאוב 601
    מנחה:
    Prof. D. Tsafrir

    In the near future, cloud providers will sell their users virtual machines with CPU, memory, network, and storage resources whose prices constantly change according to market-driven supply and demand conditions. Running traditional operating systems in these virtual machines is a poor fit: traditional operating systems are not aware of changing resource prices and their sole aim is to maximize performance with no consideration for costs. Consequently, they yield low profits. We present nom, a profit-maximizing operating system designed for cloud computing platforms with dynamic resource prices. Applications running on nom aim to maximize their profits from their resources by optimizing for both performance and costs. The nom kernel provides them with direct access to the underlying hardware and full control over their private software stacks. Since nom applications know there is no single ``best'' software stack, they adapt their stacks' behavior on the fly according to the current price of available resources and their private valuations of them. We show that in addition to achieving up to 3.9x better throughput and up to 9.1x better latency, nom applications yield up to 11.1x higher profits when compared with the same applications running on Linux and OSv.

  • Algorithms for Parameterized Graph Problems with Applications to Biological Network Queries

    דובר:
    מירב זהבי, הרצאה סמינריונית לדוקטורט
    תאריך:
    יום רביעי, 1.4.2015, 15:30
    מקום:
    טאוב 401
    מנחה:
    Prof. Ron Y. Pinter and Prof. Hadas Shachnai

    There is a growing, vital need for fast algorithms for problems that are unlikely to admit efficient solutions, based on classical computational complexity theory. Parameterized Complexity is an exciting paradigm for coping with computationally hard problems, which is amazingly doable mathematically on a routine basis. In a nutshell, this paradigm aims to reduce the running times of algorithms for NP-hard problems, by confining the combinatorial explosion to a parameter k. In the past two decades, several techniques, known as ``color coding-related techniques'', led to the design of breakthrough parameterized algorithms. These techniques are non-standard in the extent in which they connect such seemingly disparate branches of Computer Science and Mathematics as matroid theory, linear algebra, graph theory and combinatorial optimization. In this talk, I present general schemes for mixing and improving upon color coding-related techniques. In particular, I discuss specific algorithms for classical problems such as k-Path, k-Internal Out-Branching and 3-Set k-Packing, as well as problems motivated by real-world applications to biological network queries, which are of major importance to systems biology.

  • אירוע בוגרי תארים מתקדמים במדעי המחשב - נדחה למועד אחר!

    אירוע בוגרי תארים מתקדמים במדעי המחשב - נדחה למועד אחר!

    תאריך:
    יום חמישי, 2.4.2015, 14:30
    מקום:
    בניין טאוב למדעי המחשב

    בוגרים יקרים,

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

    הזמנה חדשה תישלח בהקדם ואתר ההרשמה ייפתח מחדש.

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

    חג שמח!



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

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

    מקווים לראותכם.

     





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

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

    תאריך:
    יום רביעי, 15.4.2015, 10:30
    מקום:
    חדר 337-8 טאוב. & EE Meyer Building 1003

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

    האירוע יתקיים ביום ד', 15 באפריל 2015, בין השעות 10:30-16:30, בבניין טאוב למדעי המחשב, חדר 337 (קומה 3), ובבניין מאייר להנדסת חשמל, אולם 1003 (קומה 10).

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

    מומלץ להביא את גיליון ציוני התואר הראשון.

    המעוניינים להגיע לאירוע מתבקשים להירשם מראש.

    פרטים נוספים ותוכנית מלאה.

  • תחרות אמדוקס לפרוייקט המצטיין - שלב הגמר

    תחרות אמדוקס לפרוייקט המצטיין - שלב הגמר

    תאריך:
    יום רביעי, 29.4.2015, 16:30
    מקום:
    אודיטוריום 2 בניין טאוב למדעי המחשב

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

    האירוע יתקיים ביום ה', 29 באפריל 2015, בין השעות 16:30-18:30, באודיטוריום טאוב 2, בניין טאוב למדעי המחשב

    כולם מוזמנים לעודד, לתמוך ולהיחשף לפרוייקטים מצטיינים.