1.
|
Eliciting preferences sequentially using partially observable Markov decision processes Zawaideh, Zaid
|
2.
|
Proof theoretical foundations for constructive Description Logic Clément, Ian
|
3.
|
Epistemic strategies and games on concurrent processes Knight, Sophia
|
4.
|
Optimization techniques for distributed Verilog simulation Li, Lijun
|
5.
|
Classifying and recommending knowledge in reference documentation to improve API usability Chhetri, Yam
|
6.
|
Kinetic analysis and inter-subject registration of brain PET images Bieth, Marie
|
7.
|
On the detection and prevention of consistency anomalies in multi-tier and cloud platforms Zellag, Kamal
|