Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volumecontains the papers selectedfor presentationat IPCOXII, the 12th ConferenceonIntegerProgrammingandCombinatorialOptimization,heldJune 25-27, 2007, in Ithaca, New York, USA. Since its inception in 1990, the IPCO conference series has become an important forum for researchers and prac- tioners working on various aspects of integer programming and combinatorial optimization. The aim of the conference is to present recent developments in theory, computation, and applications in these areas. IPCO is sponsoredby the MathematicalProgrammingSociety, and isheld in thoseyearsinwhichnoInternationalSymposiumonMathematicalProgramming takesplace. The previousSymposium washeld in 2006in Rio de Janeiro,Brazil, and the previous two IPCOs were held in 2004 and 2005 in New York, USA and Berlin, Germany, respectively. There were over 120 submissions to the conference. During its meeting in early January of 2007, the Program Committee carefully selected 36 papers for presentation in non-parallel sessions at the conference. Because of the limited number of time slots for presentations, many excellent submissions could not be accepted. During the selection process, the extended abstracts were refereed according to thestandardsofrefereedconferences.As a result,thisvolumecontainspapers describinghigh-quality researche?orts.The pagelimit for contributions to these proceedings was set to 15. We expect full versions of these papers to appear in scienti?c journals in the near future. We gratefully acknowledge IBM Research, ILOG, and the O?ce of Naval Research for their sponsorship of IPCO 2007. We are grateful for the use of EasyChair (www.easychair.org), which greatly simpli?ed the process of c- lecting submissions, reviewing papers, and assembling this proceedings volume.

Complex analysis --- Discrete mathematics --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- discrete wiskunde --- complexe analyse (wiskunde) --- grafische vormgeving --- informatica --- KI (kunstmatige intelligentie) --- numerieke analyse --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Bayesian inference networks, a synthesis of statistics and expert systems, have advanced reasoning under uncertainty in medicine, business, and social sciences. This innovative volume is the first comprehensive treatment exploring how they can be applied to design and analyze innovative educational assessments. Part I develops Bayes nets’ foundations in assessment, statistics, and graph theory, and works through the real-time updating algorithm. Part II addresses parametric forms for use with assessment, model-checking techniques, and estimation with the EM algorithm and Markov chain Monte Carlo (MCMC). A unique feature is the volume’s grounding in Evidence-Centered Design (ECD) framework for assessment design. This “design forward” approach enables designers to take full advantage of Bayes nets’ modularity and ability to model complex evidentiary relationships that arise from performance in interactive, technology-rich assessments such as simulations. Part III describes ECD, situates Bayes nets as an integral component of a principled design process, and illustrates the ideas with an in-depth look at the BioMass project: An interactive, standards-based, web-delivered demonstration assessment of science inquiry in genetics. This book is both a resource for professionals interested in assessment and advanced students. Its clear exposition, worked-through numerical examples, and demonstrations from real and didactic applications provide invaluable illustrations of how to use Bayes nets in educational assessment. Exercises follow each chapter, and the online companion site provides a glossary, data sets and problem setups, and links to computational resources.

Didactics of mathematics --- Mathematical statistics