Jamila Sam

EPFL IC SIN-GE
BC 141 (Bâtiment BC)
Station 14
1015 Lausanne

EPFL P-SG CCE
CH C2 397 (Bâtiment CH)
Station 6
CH-1015 Lausanne

Jamila Sam is currently senior researcher and lecturer at the Ecole Polytechnique Fédérale de Lausanne (Switzerland).

Education

PhD

| Artificial Intelligence

1995 – 1995 EPFL
Directed by Thesis director: Boi Faltings

Infoscience

Interval Analysis, Constraint Propagation and Applications

C. JermannY. LebbahD. Sam-Haroud

Trends in Constraint Programming; London, UK: ISTE, 2007. p. 223-259.

Global Optimization and Constraint Satisfaction

C. JermannA. NeumaierD. Sam-Haroud

2005. Second International Workshop, COCOS'03, Selected revised papers.

Dynamic Distributed BackJumping

V. NguyenD. Sam-HaroudB. Faltings

2005. Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004. p. 71-85. DOI : 10.1007/11402763_6.

Branch-and-Prune Search Strategies for Numerical Constraint Solving

-H. VuM. SilaghiD. Sam-HaroudB. Faltings

2005

Using Directed Acyclic Graphs to Coordinate Propagation and Search for Numerical Constraint Satisfaction Problems

X.-H. VuH. SchichlD. Sam-Haroud

2004. p. 72-81. DOI : 10.1109/ICTAI.2004.118.

Combining Multiple Inclusion Representations in Numerical Constraint Propagation

X.-H. VuD. Sam-HaroudB. Faltings

2004. p. 458-467. DOI : 10.1109/ICTAI.2004.40.

Clustering for Disconnected Solution Sets of Numerical CSPs

X.-H. VuD. Sam-HaroudB. Faltings

2004. Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. p. 25-43. DOI : 10.1007/978-3-540-24662-6_2.

Dynamic Distributed backjumping

V. NguyenD. Sam-HaroudB. Faltings

2004. DCR2004, Toronto, Canada.

Using Directed Acyclic Graphs to Coordinate Propagation and Search for Numerical Constraint Satisfaction Problems

X.-H. VuH. SchichlD. Sam-Haroud

2004

A Generic Scheme for Combining Multiple Inclusion Representations in Numerical Constraint Propagation

X.-H. VuD. Sam-HaroudB. V. Faltings

2004

Numerical Constraint Satisfaction Problems with Non-isolated Solutions

X.-H. VuD. Sam-HaroudS. Marius-Calin

2003. First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002. p. 194-210. DOI : 10.1007/978-3-540-39901-8_15.

Clustering the Search Tree for Numerical Constraints

X.-H. VuD. Sam-HaroudB. Faltings

2003.

Benchmarking Global Optimization and Constraint Satisfaction Codes

O. ShcherbinaA. NeumaierD. Sam-HaroudX.-H. VuT.-V. Nguyen

2003. First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002. p. 211-222. DOI : 10.1007/978-3-540-39901-8_16.

Résolution de problèmes non-linéaires avec continuum de solutions

X.-H. VuD. Sam-HaroudM.-C. Silaghi

2002. p. 27-41.

Approximation Techniques for Non-linear Problems with Continuum of Solutions

X.-H. VuD. Sam-HaroudS. Marius-CalinS. KoenigR. C. Holte

2002. 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2–4, 2002. p. 224-241. DOI : 10.1007/3-540-45622-8_17.

Search Techniques for Non-Linear Constraints with Inequalities

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001.

Asynchronous Search for Numeric DisCSPs

M. C. SilaghiS. SabauD. Sam-HaroudB. Faltings

2001. p. 785-785. DOI : 10.1007/3-540-45578-7_83.

e1e2phi-Consistency

M.-C. SilaghiD. Sam-HaroudR. WeigelX.-H. VuB. V. Faltings

2001

Negotiation by Relaxation in Dynamic DisCSPs with Private Constraints

M.-C. SilaghiD. Sam-HaroudM. CalistiB. Faltings

2001

Generalized English Auctions by Relaxation in Dynamic Distributed CSPs with Private Constraints

M.-C. SilaghiD. Sam-HaroudM. CalistiB. Faltings

2001. p. 45-54.

Hybridizing ABT and AWC into a polynomial space, complete protocol with reordering

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001

Asynchronous Consistency Maintenance with Reordering

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001

Polynomial Space and Complete Multiply Asynchronous Search with Abstractions

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001. p. 17-32.

Maintaining Consistency for ABT

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001.

Secure Asynchronous Search

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001. 2nd Asia-Pacific Conference on Intelligent Agent Technology (IAT'2001). p. 400-404. DOI : 10.1142/9789812811042_0054.

Asynchronous Consistency Maintenance

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001. 2nd Asia-Pacific Conference on Intelligent Agent Technology (IAT'2001). p. 98–102. DOI : 10.1142/9789812811042_0014.

ABT with Asynchronous Reordering

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001. 2nd Asia-Pacific Conference on Intelligent Agent Technology (IAT'2001). p. 54-63. DOI : 10.1142/9789812811042_0007.

Algorithms for Solving Non-Linear Constrained and Optimization Problems: The State of The Art

C. BliekP. SpellucciL. VincenteA. NeumaierL. Granvilliers  et al.

2001

Asynchronous Search with Aggregations

M.-C. SilaghiD. Sam-HaroudB. Faltings

2000.

Distributed Asynchronous Search with Private Constraints

M.-C. SilaghiD. Sam-HaroudB. Faltings

2000. p. 177-178.

Maintaining Hierachical Distributed Consistency

M.-C. SilaghiD. Sam-HaroudB. V. Faltings

2000.

Fractionnement Intelligent de domaine pour CSPs avec domaines ordonnes

-C. SilaghiD. Sam-HaroudB. Faltings

2000. p. 439-448.

Search Techniques for CSPs with Ordered Domains

-C. SilaghiD. Sam-HaroudB. Faltings

1999

Intelligent Domain Splitting for CSPs with Ordered Domains

-C. SilaghiD. Sam-HaroudB. Faltings

1999. p. 488-489. DOI : 10.1007/978-3-540-48085-3_40.

Ways of Maintaining Arc Consistency in Search using the Cartesian Representation

-C. SilaghiD. Sam-HaroudB. Faltings

1999. Joint ERCIM/Compulog NetWorkshop, Paphos, Cyprus, October 25–27, 1999. p. 173-187. DOI : 10.1007/3-540-44654-0_9.

Path Consistency for Triangulated Constraint Graphs

C. BliekD. Sam-Haroud

1999.

Constraint Techniques for Collaborative Design

C. LottazD. Sam-HaroudB. FaltingsI. Smith

1998. p. 34-41. DOI : 10.1109/TAI.1998.744754.

Consistency Techniques for Continuous Constraints

D. Sam-HaroudB. Faltings

Constraints. 1996. DOI : 10.1007/BF00143879.

Solving Non-Binary Convex CSPs in Continuous Domains

D. Sam-HaroudB. FaltingsE. Freuder

1996. p. 410-424. DOI : 10.1007/3-540-61551-2_90.

Constraint Consistency Techniques for Continuous Domains

D. Sam-HaroudB. Faltings

1995

Enhancing numerical constraint propagation using multiple inclusion representations

X.-H. VuD. Sam-HaroudB. Faltings

Annals Of Mathematics And Artificial Intelligence. 2009. DOI : 10.1007/s10472-009-9129-6.

Interval propagation and search on directed acyclic graphs for numerical constraint solving

X.-H. VuH. SchichlD. Sam-Haroud

Journal Of Global Optimization. 2009. DOI : 10.1007/s10898-008-9386-7.

Interval Analysis, Constraint Propagation and Applications

C. JermannY. LebbahD. Sam-Haroud

Trends in Constraint Programming; London, UK: ISTE, 2007. p. 223-259.

Global Optimization and Constraint Satisfaction

C. JermannA. NeumaierD. Sam-Haroud

2005. Second International Workshop, COCOS'03, Selected revised papers.

Branch-and-Prune Search Strategies for Numerical Constraint Solving

-H. VuM. SilaghiD. Sam-HaroudB. Faltings

2005

Using Directed Acyclic Graphs to Coordinate Propagation and Search for Numerical Constraint Satisfaction Problems

X.-H. VuH. SchichlD. Sam-Haroud

2004. p. 72-81. DOI : 10.1109/ICTAI.2004.118.

Combining Multiple Inclusion Representations in Numerical Constraint Propagation

X.-H. VuD. Sam-HaroudB. Faltings

2004. p. 458-467. DOI : 10.1109/ICTAI.2004.40.

Clustering for Disconnected Solution Sets of Numerical CSPs

X.-H. VuD. Sam-HaroudB. Faltings

2004. Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. p. 25-43. DOI : 10.1007/978-3-540-24662-6_2.

Dynamic Distributed backjumping

V. NguyenD. Sam-HaroudB. Faltings

2004. DCR2004, Toronto, Canada.

Using Directed Acyclic Graphs to Coordinate Propagation and Search for Numerical Constraint Satisfaction Problems

X.-H. VuH. SchichlD. Sam-Haroud

2004

A Generic Scheme for Combining Multiple Inclusion Representations in Numerical Constraint Propagation

X.-H. VuD. Sam-HaroudB. V. Faltings

2004

Numerical Constraint Satisfaction Problems with Non-isolated Solutions

X.-H. VuD. Sam-HaroudS. Marius-Calin

2003. First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002. p. 194-210. DOI : 10.1007/978-3-540-39901-8_15.

Clustering the Search Tree for Numerical Constraints

X.-H. VuD. Sam-HaroudB. Faltings

2003.

Benchmarking Global Optimization and Constraint Satisfaction Codes

O. ShcherbinaA. NeumaierD. Sam-HaroudX.-H. VuT.-V. Nguyen

2003. First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002. p. 211-222. DOI : 10.1007/978-3-540-39901-8_16.

Résolution de problèmes non-linéaires avec continuum de solutions

X.-H. VuD. Sam-HaroudM.-C. Silaghi

2002. p. 27-41.

Approximation Techniques for Non-linear Problems with Continuum of Solutions

X.-H. VuD. Sam-HaroudS. Marius-CalinS. KoenigR. C. Holte

2002. 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2–4, 2002. p. 224-241. DOI : 10.1007/3-540-45622-8_17.

Search Techniques for Non-Linear Constraints with Inequalities

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001.

Asynchronous Search for Numeric DisCSPs

M. C. SilaghiS. SabauD. Sam-HaroudB. Faltings

2001. p. 785-785. DOI : 10.1007/3-540-45578-7_83.

e1e2phi-Consistency

M.-C. SilaghiD. Sam-HaroudR. WeigelX.-H. VuB. V. Faltings

2001

Negotiation by Relaxation in Dynamic DisCSPs with Private Constraints

M.-C. SilaghiD. Sam-HaroudM. CalistiB. Faltings

2001

Generalized English Auctions by Relaxation in Dynamic Distributed CSPs with Private Constraints

M.-C. SilaghiD. Sam-HaroudM. CalistiB. Faltings

2001. p. 45-54.

Hybridizing ABT and AWC into a polynomial space, complete protocol with reordering

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001

Asynchronous Consistency Maintenance with Reordering

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001

Polynomial Space and Complete Multiply Asynchronous Search with Abstractions

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001. p. 17-32.

Maintaining Consistency for ABT

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001.

Secure Asynchronous Search

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001. 2nd Asia-Pacific Conference on Intelligent Agent Technology (IAT'2001). p. 400-404. DOI : 10.1142/9789812811042_0054.

Asynchronous Consistency Maintenance

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001. 2nd Asia-Pacific Conference on Intelligent Agent Technology (IAT'2001). p. 98–102. DOI : 10.1142/9789812811042_0014.

ABT with Asynchronous Reordering

M.-C. SilaghiD. Sam-HaroudB. Faltings

2001. 2nd Asia-Pacific Conference on Intelligent Agent Technology (IAT'2001). p. 54-63. DOI : 10.1142/9789812811042_0007.

Algorithms for Solving Non-Linear Constrained and Optimization Problems: The State of The Art

C. BliekP. SpellucciL. VincenteA. NeumaierL. Granvilliers  et al.

2001

Asynchronous Search with Aggregations

M.-C. SilaghiD. Sam-HaroudB. Faltings

2000.

Distributed Asynchronous Search with Private Constraints

M.-C. SilaghiD. Sam-HaroudB. Faltings

2000. p. 177-178.

Maintaining Hierachical Distributed Consistency

M.-C. SilaghiD. Sam-HaroudB. V. Faltings

2000.

Fractionnement Intelligent de domaine pour CSPs avec domaines ordonnes

-C. SilaghiD. Sam-HaroudB. Faltings

2000. p. 439-448.

Search Techniques for CSPs with Ordered Domains

-C. SilaghiD. Sam-HaroudB. Faltings

1999

Intelligent Domain Splitting for CSPs with Ordered Domains

-C. SilaghiD. Sam-HaroudB. Faltings

1999. p. 488-489. DOI : 10.1007/978-3-540-48085-3_40.

Ways of Maintaining Arc Consistency in Search using the Cartesian Representation

-C. SilaghiD. Sam-HaroudB. Faltings

1999. Joint ERCIM/Compulog NetWorkshop, Paphos, Cyprus, October 25–27, 1999. p. 173-187. DOI : 10.1007/3-540-44654-0_9.

Path Consistency for Triangulated Constraint Graphs

C. BliekD. Sam-Haroud

1999.

Constraint Techniques for Collaborative Design

C. LottazD. Sam-HaroudB. FaltingsI. Smith

1998. p. 34-41. DOI : 10.1109/TAI.1998.744754.

Consistency Techniques for Continuous Constraints

D. Sam-HaroudB. Faltings

Constraints. 1996. DOI : 10.1007/BF00143879.

Solving Non-Binary Convex CSPs in Continuous Domains

D. Sam-HaroudB. FaltingsE. Freuder

1996. p. 410-424. DOI : 10.1007/3-540-61551-2_90.

Constraint Consistency Techniques for Continuous Domains

D. Sam-HaroudB. Faltings

1995

Teaching & PhD

Past EPFL PhD Students

Xuan-Ha Vu

Courses

Information, Computation, Communication

CS-119(g)

The objective of this course is to introduce students to algorithmic thinking, to familiarize them with the fundamentals of computer and communications sciences and to develop their first programming skills (in C++).

Introduction to programming

CS-107

This course presents the fundamentals of programming and object-oriented programming (using the Java language). It also gives an introduction to a computer development environment (by default on Linux).

Object oriented programming

CS-112(i)

The fundamentals of procedural programming will be complemented with more advanced features. Emphasis will be put on object-oriented concepts, for a better reliability and reusability of programs. This course will also present some algorithmic fundamental concept.