Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

13870 Publications


2009 | Book Chapter | LibreCat-ID: 2920
S. Kakvi, “Reinforcement Learning for Blackjack,” in Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 300–301.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 2999
J. Blömer and S. Naewe, “Sampling methods for shortest vectors, closest vectors and successive minima,” Theoretical Computer Science, no. 18, pp. 1648–1665, 2009.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 3000
J. Schrieb, H. Wehrheim, and D. Wonisch, “Three-Valued Spotlight Abstractions,” in FM 2009: Formal Methods, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 106–122.
LibreCat | DOI
 

2009 | Conference Abstract | LibreCat-ID: 2785
D. Kundisch and C. Klein, “An Evaluation Framework for Tracker Certificates during the Financial Crisis and beyond,” in International Federation of Classification Societies 2009 Conference, Dresden, Germany, 2009.
LibreCat
 

2009 | Book (Editor) | LibreCat-ID: 2792
D. Kundisch, D. Veit, T. Weitzel, and C. Weinhardt, Eds., Proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry, vol. 23. Heidelberg: Springer, 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 4180
A. Grodecka, P. Machnikowski, and J. Förstner, “Indirect Dephasing Channel for Optically Controlled Spin in a Single Quantum Dot,” in Advances in Optical Sciences Congress, 2009.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 4192
M. Häberlen, J. W. Gerlach, B. Murphy, J. Lindner, and B. Stritzker, “Structural characterization of cubic and hexagonal GaN thin films grown by IBA–MBE on SiC/Si,” Journal of Crystal Growth, vol. 312, no. 6, pp. 762–769, 2009.
LibreCat | Files available | DOI
 

2009 | Conference Paper | LibreCat-ID: 3473
J. Becker et al., “Productivity management for customer solutions --- Towards a performance management system for efficient service value networks,” in 29th International RESER Conference, Budapest, Hungary, 2009.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 3199
H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 135--151, 2009.
LibreCat | DOI
 

2009 | Conference (Editor) | LibreCat-ID: 3202
M. Leuschel and H. Wehrheim, Eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. 2009.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed