Statistical Identification of Uniformly Mutated Segments within Repeats
(2002)
Book Chapter
Ṣahinalp, S. C., Eichler, E., Goldberg, P., Berenbrink, P., Friedetzky, T., & Ergun, F. (2002). Statistical Identification of Uniformly Mutated Segments within Repeats. In Combinatorial Pattern Matching. https://doi.org/10.1007/3-540-45452-7_21
Outputs (18)
Generic composition (2002)
Journal Article
Chen, Y. (2002). Generic composition. Formal aspects of computing (Internet), 14(2), 108-122. https://doi.org/10.1007/s001650200031This paper presents a technique called {\em generic composition} to provide a uniform basis for modal operators, sequential composition, different kinds of parallel compositions and various healthiness conditions appearing in a variety of semantic th... Read More about Generic composition.
The refinability of the 4-point scheme. (2002)
Journal Article
Ivrissimtzis, I., Dodgson, N., Hassan, M., & Sabin, M. (2002). The refinability of the 4-point scheme. Computer Aided Geometric Design, 19(4), 235-238
The complexity of constraints on intervals and lengths (2002)
Presentation / Conference Contribution
Krokhin, A., Jeavons, P., & Jonsson, P. (2002, December). The complexity of constraints on intervals and lengths. Presented at Proceedings of the 19th International Symposium on Theoretical Aspects of Computer Science {(STACS'02)
Extending the Point Algebra into the Qualitative Algebra (2002)
Presentation / Conference Contribution
Krokhin, A., & Jonsson, P. (2002, December). Extending the Point Algebra into the Qualitative Algebra. Presented at Proceedings of 9th International Workshop on Temporal Representation and Reasoning ({TIME'02})
Emulating MultiConjugate Turbulence (2002)
Presentation / Conference Contribution
Love, G. D., Clark, P., Dunlop, C. N., Kelly, T.-L., Langloids, M., Myers, R. M., & Sharples, R. M. (2002, December). Emulating MultiConjugate Turbulence
The hybrid model for adaptive educational hypermedia (2002)
Presentation / Conference Contribution
Zakaria, M. R., Moore, A., Ashman, H., Stewart, C., & Brailsford, T. (2002, December). The hybrid model for adaptive educational hypermedia. Presented at International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems Springer, Berlin, Heidelberg
Types for proofs and programs : international workshop, TYPES 2000, Durham UK, December 8-12, 2000 (2002)
Book
Callaghan, P., Luo, Z., McKinna, J., & Pollack, R. (Eds.). (2002). Types for proofs and programs : international workshop, TYPES 2000, Durham UK, December 8-12, 2000. Springer Verlag. https://doi.org/10.1007/3-540-45842-5
Modal liquid crystal wavefront corrector (2002)
Journal Article
Kotova, S., Kvashnin, M., Rakhmatulin, M., Zayakin, O., Guralnik, I., Klimov, N., …Toporkova, L. (2002). Modal liquid crystal wavefront corrector. Optics Express, 10(22), 1258-1272. https://doi.org/10.1364/oe.10.001258Results are presented of the properties of a liquid crystal wavefront corrector for adaptive optics. The device is controlled using modal addressing in which case the device behaves more like a continuous facesheet deformable mirror than a segmented... Read More about Modal liquid crystal wavefront corrector.
Width-Size Trade-offs for the Pigeon-Hole Principle. (2002)
Presentation / Conference Contribution
Dantchev, S. (2002, May). Width-Size Trade-offs for the Pigeon-Hole Principle. Presented at The 17th Annual Conference on Computational Complexity, Montreal, Canada