Thursday, August 1, 2019

Thursday, August 1, 2019 — 9:30 AM EDT

Candidate: Philip James McCarthy

Title: Sampled-Data Control of Kinematic Systems on Exponential Lie Groups

Date: August 1, 2019

Time: 9:30 AM

Place: EIT 3142

Supervisor(s): Nielsen, Christopher

 

Abstract:

Thursday, August 1, 2019 — 2:30 PM EDT

Candidate: Junwen Jiang

Title: MIT/PCM-based RF Switches for Tunable Filter Application

Date: August 1, 2019

Time: 2:30 PM

Place: EIT 3145

Supervisor(s): Mansour, Raafat R.

 

Abstract:

Thursday, August 1, 2019 — 3:00 PM EDT

Candidate: Chunxiao Li

Title: Towards a Theoretic Understanding of the Power of Restart in SAT solvers

 

 

Date: August 1, 2019

Time: 3:00pm

Place: EIT 3142

Supervisor(s): Ganesh, Vijay

 

Abstract:

Restarts are a widely used class of techniques integral to the efficiency of Conflict-Driven Clause Learning (CDCL) SAT solvers.

S M T W T F S
28
29
30
31
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. 2019 (217)
    1. December (1)
    2. November (1)
    3. October (4)
    4. September (21)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  2. 2018 (150)
    1. December (13)
    2. November (25)
    3. October (12)
    4. September (13)
    5. August (7)
    6. July (23)
    7. June (9)
    8. May (6)
    9. April (9)
    10. March (16)
    11. February (10)
    12. January (7)
  3. 2017 (212)
  4. 2016 (242)
  5. 2015 (242)
  6. 2014 (268)
  7. 2013 (192)
  8. 2012 (31)