Thursday, March 31, 2016

Thursday, March 31, 2016 — 9:00 AM EDT

Candidate

Jia Hui Liang

Topic

Combining Machine Learning with Deduction for SAT Solvers

Supervisors

Krzysztof Czarnecki and Vijay Ganesh

Background subjects

SAT Solving Constraint Solving Branching Heuristic Machine Learning
Thursday, March 31, 2016 — 11:00 to 11:00 AM EDT

Candidate

Armin Sadeghi Yengejeh

Title

Distributed Task Allocation and Task Sequencing for Robots with Motion Constraints

Supervisor

Stephen L. Smith

Abstract

Thursday, March 31, 2016 — 11:00 to 12:00 AM to 12:00 PM EDT

ECE SEMINAR    

          Ian A. Kash, Microsoft Research Canada, United Kingdom

Invited by Professor Krzysztof Czarnecki

ALL ARE WELCOME!

Abstract:

S M T W T F S
28
29
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
  1. 2020 (154)
    1. September (1)
    2. August (4)
    3. July (20)
    4. June (29)
    5. May (32)
    6. April (27)
    7. March (13)
    8. February (20)
    9. January (16)
  2. 2019 (282)
    1. December (16)
    2. November (32)
    3. October (19)
    4. September (26)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  3. 2018 (150)
  4. 2017 (212)
  5. 2016 (242)
    1. December (11)
    2. November (17)
    3. October (11)
    4. September (21)
    5. August (27)
    6. July (54)
    7. June (13)
    8. May (20)
    9. April (22)
    10. March (18)
    11. February (6)
    12. January (22)
  6. 2015 (242)
  7. 2014 (268)
  8. 2013 (192)
  9. 2012 (31)