Abstract
An effective scheduler for parallel jobs on a robotic protein analysis system was created with Python, Tailor, and the Minion constraint solver. Tailor’s implementation of the expressive Essence’ constraint modeling language allowed the use of the powerful Minion solver by non experts. Constructing the model in Python allowed its use in several parts of the software, including generation of the Essence’ model used by Minion, visualization of the schedule, and verification of the correct execution of the system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cell Biosciences web site, http://www.cellbiosciences.com/
Frisch, A.M., Harvey, W., Jefferson, C., Hernandez, B.M., Miguel, I.: ESSENCE: A Constraint Language for Specifying Combinatorial Problems. To appear in Constraints 13(3) (July 2008)
Gent, I.P., Miguel, I., Rendl, A.: Tailoring Solver-independent Constraint Models: A Case Study with Essence and Minion. In: Proceedings of SARA 2007 (2007)
Gent, I.P., Jefferson, C., Miguel, I.: MINION: A Fast, Scalable, Constraint Solver. In: The European Conference on Artificial Intelligence 2006, ECAI 2006 (2006)
O’Neill, R.A., Bhamidipati, A., Bi, X., Deb-Basu, D., Cahill, L., Ferrante, J., Gentalen, E., Glazer, M., Gossett, J., Hacker, K., Kirby, C., Knittle, J., Loder, R., Mastroieni, C., MacLaren, M., Mills, T., Nguyen, U., Parker, N., Rice, A., Roach, D., Suich, D., Voehringer, D., Voss, K., Yang, J., Yang, T., Vander Horn, P.B.: Isoelectric focusing technology quantifies protein signaling in 25 cells. PNAS 103(44), 16153 (2006)
Neal Burnette, W.: ‘Western blotting’: electrophoretic transfer of proteins from sodium dodecyl sulfate / polyacrylamide gels to unmodified nitrocellulose and radiographic detection with antibody and radioiodinated protein A. Analytical Biochemistry 112(2), 195–203 (1981)
Matplotlib web site, http://matplotlib.sourceforge.net/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Loewenstern, A. (2009). Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion. In: Gent, I.P. (eds) Principles and Practice of Constraint Programming - CP 2009. CP 2009. Lecture Notes in Computer Science, vol 5732. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04244-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-04244-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04243-0
Online ISBN: 978-3-642-04244-7
eBook Packages: Computer ScienceComputer Science (R0)