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
Outputs (2812)
The hybrid model for adaptive educational hypermedia (2002)
Presentation / Conference Contribution
Zakaria, M. R., Moore, A., Ashman, H., Stewart, C., & Brailsford, T. (2002). The hybrid model for adaptive educational hypermedia.
Emulating MultiConjugate Turbulence (2002)
Presentation / Conference Contribution
Love, G. D., Clark, P., Dunlop, C. N., Kelly, T., Langloids, M., Myers, R. M., & Sharples, R. M. (2002). Emulating MultiConjugate Turbulence.
Extending the Point Algebra into the Qualitative Algebra (2002)
Presentation / Conference Contribution
Krokhin, A., & Jonsson, P. (2002). Extending the Point Algebra into the Qualitative Algebra. In M. Fisher (Ed.),
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.
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
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)
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.
Pre-fetching web pages through data mining based prediction (2002)
Journal Article
Zhang, W., Xu, B., Song, W., & Yang, H. (2002). Pre-fetching web pages through data mining based prediction. Journal of applied systems studies, 3(2), 384-398The speed of fetching web pages to users is getting lower because the rapid expansion of Internet use, the inherited character of delay in the network and the Request/Response working mode of WWW, and this is becoming a serious concern for web surfer... Read More about Pre-fetching web pages through data mining based prediction.