Towards a framework to effective web-based distributed learning
(2001)
Journal Article
Brailsford, T. J., Moore, A., Stewart, C. D., Zakaria, M. R., Choo, B. S., & Davies, P. (2001). Towards a framework to effective web-based distributed learning
All Outputs (11)
On clones preserving a reflexive binary relation (2001)
Journal Article
Krokhin, A., & Schweigert, D. (2001). On clones preserving a reflexive binary relation. Acta scientiarum mathematicarum, 67(3-4), 461-473
Congruences of clone lattices, II (2001)
Journal Article
Krokhin, A. (2001). Congruences of clone lattices, II. Order, 18(2), 151-159
On clones, transformation monoids and finite Boolean algebras (2001)
Journal Article
Krokhin, A. (2001). On clones, transformation monoids and finite Boolean algebras. Algebra Universalis, 46(1-2), 231-236
Generalized partition testing via Bayes linear methods (2001)
Journal Article
Coolen, F., Goldstein, M., & Munro, M. (2001). Generalized partition testing via Bayes linear methods. Information and Software Technology, 43(13), 783-793. https://doi.org/10.1016/s0950-5849%2801%2900185-9This paper explores the use of Bayes linear methods related to partition testing for software. If a partition of the input domain has been defined, the method works without the assumption of homogeneous (revealing) subdomains, and also includes the p... Read More about Generalized partition testing via Bayes linear methods.
An improved method of selecting regression tests for C++ programs (2001)
Journal Article
Jang, Y., Munro, M., & Kwon, Y. (2001). An improved method of selecting regression tests for C++ programs. Journal of software maintenance and evolution, 13(5), 331-350. https://doi.org/10.1002/smr.236
An implementation of LF with coercive subtyping & universes (2001)
Journal Article
Callaghan, P., & Luo, Z. (2001). An implementation of LF with coercive subtyping & universes. Journal of Automated Reasoning, 27(1), 3-27. https://doi.org/10.1023/a%3A1010648911114We present Plastic, an implementation of LF with Coercive Subtyping, and focus on its implementation of Universes. LF is a variant of Martin-Löf''s logical framework, with explicitly typed -abstractions. We outline the system of LF with its extension... Read More about An implementation of LF with coercive subtyping & universes.
Wavefront correction using a self-referencing phase conjugation system based on a Zernike cell (2001)
Journal Article
Dale, S., Love, G., Myers, R., & Naumov, A. (2001). Wavefront correction using a self-referencing phase conjugation system based on a Zernike cell. Optics Communications, 191(1-2), 31-38. https://doi.org/10.1016/s0030-4018%2801%2901116-6A wavefront correction system was produced using a phase conjugating method based on a point diffraction interferometer, or Zernike cell. This has the main advantage that no separate reference beam is required. The PDI was constructed using an optica... Read More about Wavefront correction using a self-referencing phase conjugation system based on a Zernike cell.
Two extensions of the Shapley value for cooperative games (2001)
Journal Article
Driessen, T., & Paulusma, D. (2001). Two extensions of the Shapley value for cooperative games. Mathematical Methods of Operations Research, 53(1), 35-49. https://doi.org/10.1007/s001860000099Two extensions of the Shapley value are given. First we consider a probabilistic framework in which certain consistent allocation rules such as the Shapley value are characterized. The second generalization of the Shapley value is an extension to the... Read More about Two extensions of the Shapley value for cooperative games.
The new FIFA rules are hard: complexity aspects of sports competitions (2001)
Journal Article
Kern, W., & Paulusma, D. (2001). The new FIFA rules are hard: complexity aspects of sports competitions. Discrete Applied Mathematics, 108(3), 317-323. https://doi.org/10.1016/s0166-218x%2800%2900241-9Consider a soccer competition among various teams playing against each other in pairs (matches) according to a previously determined schedule. At some stage of the competition one may ask whether a particular team still has a (theoretical) chance to... Read More about The new FIFA rules are hard: complexity aspects of sports competitions.
On a hierarchy involving transitive closure logic and existential second-order quantification (2001)
Journal Article
Gault, R., & Stewart, I. (2001). On a hierarchy involving transitive closure logic and existential second-order quantification. Logic Journal of the IGPL, 9(6), 769-780. https://doi.org/10.1093/jigpal/9.6.769We study a hierarchy of logics where each formula of each logic in the hierarchy consists of a formula of a certain fragment of transitive closure logic prefixed with an existentially quantified tuple of unary relation symbols. By playing an Ehrenfeu... Read More about On a hierarchy involving transitive closure logic and existential second-order quantification.