|
ISAIM 2010 Schedule: Wednesday, January 6, 2010 |
|
|
|
|
Track 1 - Causeway 1 & 2 |
Track 2 - Causeway 3 |
|
|
|
9:00 AM |
Opening Session |
|
|
Session Chair: Hoffman |
|
|
Greetings from FAU
Welcome and remarks by general chair (Golumbic),
conference chair (Hoffman), and program co-chairs (Franco and Bhatnagar) |
9:30 AM |
Keynote Speaker:
Larry Manevitz
introduced by Martin Golumbic
|
|
Windows on the Mind: Some recent aspects of modeling and pattern
recognition of cognition |
|
|
|
10:30 AM |
---------------------------------------------------------------------Coffee---------------------------------------------------------------------- |
|
|
|
10:50 AM
|
Special Session:
Boolean and Pseudo-Boolean Functions
Dedicated to the memory of Peter L. Hammer |
Contributed Session 1: |
|
Session Chair: Boros |
Session Chair: |
|
10:50 Exploiting regularity in learning
- Martin Anthony
11:20 Coverable functions: definitions and properties
- Ondrej Cepek
11:50 Coverable functions: hardness results
- Petr Kucera
|
10:50 An analysis of breadth-first beam search using uniform
cost trees
- Sandip Aine, P.P. Chakrabarti
11:20 Multi-armed bandits with episode context
- Christopher D. Rosin
11:50 On the convergence of the convex relaxation method and
distributed optimization of Bethe Free Energy
- Ming Su
|
|
|
|
12:20 PM |
------------------------------------------------------------Lunch On Your Own------------------------------------------------------------- |
|
|
|
2:00 PM
|
Special Session:
Boolean and Pseudo-Boolean Functions
Dedicated to the memory of Peter L. Hammer |
Contributed Session 2 |
|
Session Chair: Boros |
Session Chair: |
|
2:00 Ubiquitous monotone and almost-monotone Boolean functions
in systems biology
- Utz-Uwe Haus
2:30 Solving scheduling problems with Binary Decision Diagrams
- John N. Hooker
3:00 Complexity results of linear XSAT problems
- Stefan Porschen
|
2:00 On the locality of action domination in sequential
decision making
- Emmanuel Rachelson, Michael G. Lagoudakis
2:30 On aggregating binary relations using integer linear
programming
- Julien Ah-Pine
3:00 --
- --
|
|
|
|
3:30 PM |
---------------------------------------------------------------------Coffee---------------------------------------------------------------------- |
|
|
|
4:00 PM
|
Special Session:
Boolean and Pseudo-Boolean Functions
Dedicated to the memory of Peter L. Hammer |
|
|
Session Chair: Boros |
|
|
4:00 Cones of non-negative quadratic pseudo-Boolean functions
- Endre Boros
4:30 Black-box methods for constrained quadratic 0-1
optimization
- F. Liers
5:00 A geometric bridge from convex polytopes to threshold
logic
- M. Reza Emamy-K. |
|
|
|
|
5:30 PM |
---------------------------------------------------------------------Adjourn------------------------------------------------------------------- |
|
|
|
6:15 PM |
-------------------------------------------------Walk departs to 6:30 water-taxi tour------------------------------------------------- |
|
|
|
|
|
ISAIM 2010 Schedule: Thursday, January 7rd, 2010 |
|
|
|
|
Track 1 - Causeway 1 & 2 |
Track 2 - Causeway 3 |
9:00 AM |
Keynote Speaker:
Georg Gottlob
introduced by Fred Hoffman
|
|
Datalog±: A Unified Approach to Ontologies and Integrity Constraints |
|
|
|
10:00 AM |
---------------------------------------------------------------------Coffee---------------------------------------------------------------------- |
|
|
|
10:20 AM
|
Special Session:
Boolean and Pseudo-Boolean Functions
Dedicated to the memory of Peter L. Hammer |
Contributed Session 3: |
|
Session Chair: Boros |
Session Chair: |
|
10:20 Learning random DNF over the uniform distribution
- Linda Sellie
10:50 A combinatorial algorithm for the threshold recognition
problem
- Jan-Georg Smaus
11:20 On evolvability: the swapping algorithm, product
distributions, and covariance
- Dimitris Diochnos
|
10:20 Computational complexity and approximation methods of most
relevant explanation
- Heejin Lim and Changhe Yuan
10:50 On the analysis of the unity of Jeffrey's rule of
conditioning in a probabilistic framework
- Salem Benferhat, Karim Tabia, Karima Sedki
11:20 Sparse Markov net learning with priors on regularization
parameters
- Katya Scheinberg, Irina Rish, Narges Bani Asadi |
|
|
|
12:20 PM |
-----------------------------------Lunch On Your Own. (AMAI Editorial Board: lunch meeting)------------------------------- |
|
|
|
1:50 PM
|
Special Session:
Constraint Programming and Hybrid Methods |
Contributed Session 4: |
|
Session Chair: Hooker |
Session Chair: |
|
2:00 Checking Up on Branch-and-Check
- J. Christopher Beck
2:30 Linearization of Global Constraints
- Meinolf Sellmann
2:30 A Polyhedral Study of the Alldifferent System
- Dimitris Magos
|
2:00 Design of parallel portfolios for SAT-based solving of
Hamiltonian cycle problems
- Miroslav N. Velev, Ping Gao
2:30 Evaluating partition strategies for mini-bucket
elimination
- Emma Rollon, Rina Dechter
3:00 Towards parallel search for optimization in graphical
models
- Lars Otten, Rina Dechter
|
|
|
|
3:30 PM |
---------------------------------------------------------------------Coffee---------------------------------------------------------------------- |
|
|
|
4:00 PM
|
Special Sessions:
Constraint Programming and Hybrid Methods (cont)
Data Clustering for Bio-Informatics |
|
|
Session Chair: Bhatnagar |
|
|
4:00 A Polyhedral Study of the Cumulative Constraint
- Tallys Yunes
4:30 Similarity measures in formal concept analysis
- Faris Alqadah, Raj Bhatnagar
5:00 Prior Information Based Bayesian Infinite Mixture Model
- Zhen Hu, Siva Sivaganesan, Mario Medvedovic
|
|
|
|
|
5:30 PM |
---------------------------------------------------------------------Adjourn------------------------------------------------------------------- |
|
|
|
7:00 PM |
----------------------------------------Banquet dinner in hotel, room Terra ----------------------------------------------- |
|
|
|
|
|
ISAIM 2010 Schedule: Friday, January 8th, 2010 |
|
|
|
|
Track 1 - Causeway 1 & 2 |
Track 2 - Causeway 3 |
|
|
|
8:50 AM |
Greetings from Dean Gary Perry of Charles E. Schmidt College of Science of Florida Atlantic University |
|
|
|
|
9:00 AM |
Keynote Speaker:
Warren Hunt
introduced by John Franco
|
|
Using Mathematics on and Industrial Scale |
|
|
|
10:00 AM |
---------------------------------------------------------------------Coffee---------------------------------------------------------------------- |
|
|
|
10:20 AM
|
Special Session:
Data Clustering for Bio-informatics (cont) |
Contributed Session 5: |
|
Session Chair: Bhatnagar |
Session Chair: |
|
10:20 Simultaneous Search in Multiple Lattices for Knowledge Discovery
- Mrunal Deshmukh, Raj Bhatnagar, and Anil Jegga
10:50 Identifying Transcriptional Modules using Subspace Clustering
- Amit Sinha
11:20 Model Quality Assessment in Membrane Proteins Using predicted
Lipid Accessibility Profiles
- Mukta Phatak and Jaroslaw Meller |
10:20 Valid parameters for predictive state representations
- Britton Wolfe
10.50 Solving influence diagrams using heuristic search
- Changhe Yuan, Xiaojian Wu
11.20 Approximate solutions of interactive dynamic influence
diagrams
- Muthukumaran C. Prashant Doshi, Yifeng Zeng |
|
|
|
12:20 PM |
------------------------------------------------------------Lunch On Your Own------------------------------------------------------------- |
|
|
|
2:00 PM |
Panel and Discussion: |
|
|
Session Chair: |
|
|
2:00 Computation, complexity, and Artificial Intelligence
- four panelists to be named
|
|
|
|
|
4:00 PM |
--------------------------------------------------------------End of Symposium------------------------------------------------------------- |
|
|
|