Outputs (3144)

Effective real-time anycast flow connection algorithm and delay analysis (2003)
Presentation / Conference Contribution
Jia, W., Zhang, C., Lin, L., Tu, W., & Jiao, J. (2003, August). Effective real-time anycast flow connection algorithm and delay analysis. Presented at Proceedings of the International Conference on Parallel Processing, Taiwan

Define anycast services as a group of replicated servers that may provide similar or identical services. Using anycast services can significantly simplify some applications such as to seek appropriate servers to provide quality of service and to achi... Read More about Effective real-time anycast flow connection algorithm and delay analysis.

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

Generic composition (2002)
Journal Article
Chen, Y. (2002). Generic composition. Formal aspects of computing (Internet), 14(2), 108-122. https://doi.org/10.1007/s001650200031

This 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 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

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

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})

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.001258

Results 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.