Skip to main content

Research Repository

Advanced Search

All Outputs (19)

WHURLE-an adaptive remote learning framework (2003)
Presentation / Conference Contribution
Moore, A., Stewart, C., Zakaria, M., & Brailsford, T. (2003, December). WHURLE-an adaptive remote learning framework. Presented at International conference on Engineering Education (ICEE-2003), July

" Pluggable" user models for adaptive hypermedia in education. (2003)
Presentation / Conference Contribution
Zakaria, M. R., Moore, A., Stewart, C. D., & Brailsford, T. J. (2003, December). " Pluggable" user models for adaptive hypermedia in education. Presented at Conference on Hypertext and Hypermedia: Proceedings of the fourteenth ACM conference on Hypertext and hypermedia

A proportionate fair scheduling rule with good worst-case performance (2003)
Presentation / Conference Contribution
Adler, M., Berenbrink, P., Friedetzky, T., Goldberg, L. A., Goldberg, P., & Paterson, M. (2003, December). A proportionate fair scheduling rule with good worst-case performance. Presented at Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures - SPAA '03

The complexity of graph contractions (2003)
Presentation / Conference Contribution
Levin, A., Paulusma, D., & Woeginger, G. (2003, June). The complexity of graph contractions. Presented at WG 2003: Graph-Theoretic Concepts in Computer Science, Elspeet, The Netherlands

The Computational Complexity of the Role Assignment Problem (2003)
Presentation / Conference Contribution
Fiala, J., & Paulusma, D. (2003, June). The Computational Complexity of the Role Assignment Problem. Presented at ICALP 2003: Automata, Languages and Programming, Eindhoven, The Netherlands

Authoring for adaptive presentation (2003)
Presentation / Conference Contribution
Moore, A., Brailsford, T., Campus, J., Nottingham, N., Stewart, C., & Davies, P. (2003, December). Authoring for adaptive presentation. Presented at Proceedings of International Conference on Engineering Education, Valencia, Spain

A tractable class of soft constraints. (2003)
Presentation / Conference Contribution
Cohen, D., Cooper, M., Jeavons, P., & Krokhin, A. (2003, December). A tractable class of soft constraints. Presented at 18th International Joint Conference on Artificial Intelligence {(IJCAI'03)

Advances in modal liquid crystals (2003)
Presentation / Conference Contribution
Kirby, A. K., Love, G. D., Naumov, A. F., & Kotova, S. (2003, December). Advances in modal liquid crystals

Soft constraints: complexity and multimorphisms (2003)
Presentation / Conference Contribution
Cohen, D., Cooper, M., Jeavons, P., & Krokhin, A. (2003, December). Soft constraints: complexity and multimorphisms. Presented at Proceedings of 9th International Conference on Principle and Practice of Constraint Programming {(CP'03)

Quantified constraints: Algorithms and complexity (2003)
Presentation / Conference Contribution
Boerner, F., Bulatov, A., Jeavons, P., & Krokhin, A. (2003, December). Quantified constraints: Algorithms and complexity. Presented at 17th International Workshop on Computer Science Logic

Information use in CBSE design (2003)
Presentation / Conference Contribution
Owen, S., Budgen, D., & Brereton, P. (2003, February). Information use in CBSE design. Presented at Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, Dallas, USA

The design process in component-based software engineering needs to implicitly incorporate ways of reusing existing components. Reuse in turn implies the need to acquire knowledge about any components that might be incorporated into a system. Our pap... Read More about Information use in CBSE design.

Software evolution in an interdisciplinary environment. (2003)
Presentation / Conference Contribution
Bennett, K., Bradley, S., Glover, G., & Barnes, D. (2003, September). Software evolution in an interdisciplinary environment. Presented at Software Technology and Engineering Practice, 11th. International Conference., Amsterdam

At Durham, an interdisciplinary team has implemented the UK?s first web-centred data base of adult mental health service provision (we regard interdisciplinary research to be taking place when two or more groups from different disciplines work togeth... Read More about Software evolution in an interdisciplinary environment..

On relativisation and complexity gap for resolution-based proof systems (2003)
Presentation / Conference Contribution
Dantchev, S., & Riis, S. (2003, August). On relativisation and complexity gap for resolution-based proof systems. Presented at 12th Annual Conference of the EACSL Computer Science Logic., Vienna, Austria

We study the proof complexity of Taut, the class of Second-Order Existential (SO∃) logical sentences which fail in all finite models. The Complexity-Gap theorem for Tree-like Resolution says that the shortest Tree-like Resolution refutation of any su... Read More about On relativisation and complexity gap for resolution-based proof systems.

Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey (2003)
Presentation / Conference Contribution
Krokhin, A., Bulatov, A., & Jeavons, P. (2003, May). Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey. Presented at 33rd International Symposium on Multiple-Valued Logic (ISMVL'03)

Many computational problems arising in artificial intelligence, computer science and elsewhere can be represented as constraint satisfaction and optimization problems. In this short survey we discuss an approach that is related to the algebraic compo... Read More about Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey.

Solving order constraints in logarithmic space (2003)
Presentation / Conference Contribution
Krokhin, A., & Larose, B. (2003, January). Solving order constraints in logarithmic space. Presented at Proceedings of the 20th International Symposium on Theoretical Aspects of Computer Science {(STACS'03) Berlin, Berlin

We combine methods of order theory, finite model theory, and universal algebra to study, within the constraint satisfaction framework, the complexity of some well-known combinatorial problems connected with a finite poset. We identify some conditions... Read More about Solving order constraints in logarithmic space.

Identifying Cause and Effect Relations between Events in Concurrent Event-Based Components (2003)
Presentation / Conference Contribution
Dias, M., & Richardson, D. J. (2002, September). Identifying Cause and Effect Relations between Events in Concurrent Event-Based Components. Presented at 17th IEE International Conference on Automated Software Engineering, Edinburgh, UK

Concurrent event-based components present characteristics that impose difficulties in understanding their dynamic behavior, mainly for interpreting the cause and effect relations between input and output events in component interactions. In this pape... Read More about Identifying Cause and Effect Relations between Events in Concurrent Event-Based Components.

A novel multipath dispersion reduction technique based on controlled-polarization optical wireless link set-up (2003)
Presentation / Conference Contribution
Giakos, G., Patnekar, N., Sumrain, S., Fraiwan, L., Kumar, V., & Mertzios, G. (2003, December). A novel multipath dispersion reduction technique based on controlled-polarization optical wireless link set-up. Presented at IEEE Instrumentation and Measurement Technology Conference (IMTC 2003), Vail, Co

The detection characteristics of an indoor-optical communication system, which utilizes infrared radiation as carrier has been explored and enhanced for telemedicine, and wireless local area network applications. The novelty of the presented techniqu... Read More about A novel multipath dispersion reduction technique based on controlled-polarization optical wireless link set-up.

Norm Gibbs and his contribution to software engineering education through the SEI curriculum modules (2003)
Presentation / Conference Contribution
Budgen, D., & Tomayko, J. E. (2002, February). Norm Gibbs and his contribution to software engineering education through the SEI curriculum modules. Presented at Software Engineering Education Conference, Proceedings, Madrid, Spain

The Software Engineering Institute (SEI) at Carnegie Mellon University started its first contract with a carte blanche opportunity and generous funding to improve the state of software engineering education. Norm Gibbs, the first Director of Educatio... Read More about Norm Gibbs and his contribution to software engineering education through the SEI curriculum modules.