à retenir : Pot-lyèdre en Salle Sein à 17h00 !

Transcription

à retenir : Pot-lyèdre en Salle Sein à 17h00 !
Contributions à la conception d’architectures matérielles dédiées
Soutenance HDR en Salle Michel Métivier à 10H45, mardi 13 décembre
Equipe
members : Person[]
CAIRN
spirit : CAIRN SPIRIT
Person
name : String
Steven Derrien
HDR : soutenance
PHD Student
workLeft : ℜ
timeLeft : ℑ
{[0,i,j] : (1 <= i <= 2 && j = 1) or (i = 1 && 1 <= j <= 3) or (1
<= i <= 2 && j = 3) or (i = 3 && 1 <= j <= 3) or (i = 4 && 1 <= j
<= 3) or (3 <= i <= 4 && j = 2) or (3 <= i <= 4 && j = 3) or (i =
5 && 1<= j <= 2) or (i = 5 && j = 3) or (i = 6 && 1 <= j <= 3)
or (i = 7 && 2 <= j <= 3) or (6 <= i <= 7 && j = 2) or (6 <= i <=
7 && j = 3) or (6 <= i <= 7 && j=8-i) or (i = 8 && 1 <= j <= 3)
or (i = 9 && 2 <= j <= 3) or (8 <= i <= 9 && j = -2i + 19);
[1,i,j] : (1 <= i <= 2 && j = 1) or (1 <= i < 2 && j = 2) or (1 <= i
< 2 && j = 3) or (i = 1 && 2 <= j <= 3) or (i = 2 && 1 <= j <=
2) or (i = 3 && 1 <= j <= 3) or (i = 4 && 2 <= j <= 3) or (3 <= i
<= 4 && j = 2) or (3 <= i <= 4 && j = 3) or (i = 5 && 1<= j <=
2) or (i = 5 && j = 3) or (i = 6 && 1 <= j <= 3) or (i = 7 && 2
<= j <= 3) or (6 <= i <= 7 && j = 2) or (6 <= i <= 7 && j = 3) or
(6 <= i <= 7 && j=8-i) or (i = 8 && 1<= j <= 2) or (i = 8 && j =
3) or (9 <= i <= 11 && j = 3) or (i = 10 && 1 <= j <= 3)}
à retenir :
Pot-lyèdre en Salle Sein à 17h00 !
Contributions à la conception d’architectures matérielles dédiées
Soutenance HDR en Salle Michel Métivier à 10H45, mardi 13 décembre
Equipe
members : Person[]
CAIRN
spirit : CAIRN SPIRIT
Person
name : String
Steven Derrien
HDR : soutenance
PHD Student
workLeft : ℜ
timeLeft : ℑ
{[0,i,j] : (1 <= i <= 2 && j = 1) or (i = 1 && 1 <= j <= 3) or (1
<= i <= 2 && j = 3) or (i = 3 && 1 <= j <= 3) or (i = 4 && 1 <= j
<= 3) or (3 <= i <= 4 && j = 2) or (3 <= i <= 4 && j = 3) or (i =
5 && 1<= j <= 2) or (i = 5 && j = 3) or (i = 6 && 1 <= j <= 3)
or (i = 7 && 2 <= j <= 3) or (6 <= i <= 7 && j = 2) or (6 <= i <=
7 && j = 3) or (6 <= i <= 7 && j=8-i) or (i = 8 && 1 <= j <= 3)
or (i = 9 && 2 <= j <= 3) or (8 <= i <= 9 && j = -2i + 19);
[1,i,j] : (1 <= i <= 2 && j = 1) or (1 <= i < 2 && j = 2) or (1 <= i
< 2 && j = 3) or (i = 1 && 2 <= j <= 3) or (i = 2 && 1 <= j <=
2) or (i = 3 && 1 <= j <= 3) or (i = 4 && 2 <= j <= 3) or (3 <= i
<= 4 && j = 2) or (3 <= i <= 4 && j = 3) or (i = 5 && 1<= j <=
2) or (i = 5 && j = 3) or (i = 6 && 1 <= j <= 3) or (i = 7 && 2
<= j <= 3) or (6 <= i <= 7 && j = 2) or (6 <= i <= 7 && j = 3) or
(6 <= i <= 7 && j=8-i) or (i = 8 && 1<= j <= 2) or (i = 8 && j =
3) or (9 <= i <= 11 && j = 3) or (i = 10 && 1 <= j <= 3)}
à retenir :
Pot-lyèdre en Salle Sein à 17h00 !

Documents pareils