Skip to main content

Research Repository

Advanced Search

All Outputs (27)

Bounded-degree Forbidden-Pattern Problems are Constraint Satisfaction Problems (2006)
Presentation / Conference Contribution
Dantchev, S., & Madelaine, F. (2006, December). Bounded-degree Forbidden-Pattern Problems are Constraint Satisfaction Problems. Presented at International Computer Science Symposium in Russia., St. Peterburg, Russia

Forbidden Pattern problem (FPP) is a proper generalisation of Constraint Satisfaction Problem (CSP). FPP is related to MMSNP, a logic introduced in relation with CSP by Feder and Vardi. We prove that Forbidden Pattern Problems are Constraint Satisfac... Read More about Bounded-degree Forbidden-Pattern Problems are Constraint Satisfaction Problems.

A Contextual Based Semantic Modeling Approach to Task-Service Formation in Virtual Organization (2006)
Presentation / Conference Contribution
Song, W., & Zhou, M. (2006, December). A Contextual Based Semantic Modeling Approach to Task-Service Formation in Virtual Organization. Presented at IEEE/WIC/ACM International conference on Web Intelligence, Hong Kong

Virtual organizations are considered to be an independent mechanism, which manages to bridge the users¿ goals and requirements to the grid/web resources and services. To form the workflow for a virtual organization we need to find a sequence of inte... Read More about A Contextual Based Semantic Modeling Approach to Task-Service Formation in Virtual Organization.

On-line coloring of H-free bipartite graphs. (2006)
Presentation / Conference Contribution
Broersma, H. J., Capponi, A., & Paulusma, D. (2006, May). On-line coloring of H-free bipartite graphs. Presented at 6th Italian Conference on Algorithms and Complexity (CIAC 2006)., Rome, Italy

We present a new on-line algorithm for coloring bipartite graphs. This yields a new upper bound on the on-line chromatic number of bipartite graphs, improving a bound due to Lovász, Saks and Trotter. The algorithm is on-line competitive on various cl... Read More about On-line coloring of H-free bipartite graphs..

Extreme adaptive optics system optimization with the high order test bench (2006)
Presentation / Conference Contribution
Vernet, E., Kasper, M., Vérinaud, C., Fedrigo, E., Tordo, S., Hubin, N., Esposito, S., Pinna, E., Puglisi, A., Tozzi, A., Basden, A. G., Goodsell, S. J., Love, G. D., & Myers, R. M. (2006, December). Extreme adaptive optics system optimization with the high order test bench. Presented at Advances in Adaptive Optics II

A new analytical method for parallel, diffusion-type load balancing (2006)
Presentation / Conference Contribution
Berenbrink, P., Friedetzky, T., & Hu, Z. (2006, December). A new analytical method for parallel, diffusion-type load balancing. Presented at Proceedings 20th IEEE International Parallel & Distributed Processing Symposium

Adapting for visual and verbal learning styles in AEH (2006)
Presentation / Conference Contribution
Brown, E., Stewart, C., & Brailsford, T. (2006, December). Adapting for visual and verbal learning styles in AEH. Presented at Sixth IEEE International Conference on Advanced Learning Technologies (ICALT'06) IEEE

Adaptivity, personalization, and the semantic web (2006)
Presentation / Conference Contribution
Cristea, A., Stewart, C., & Sirmakessis, S. (2006, December). Adaptivity, personalization, and the semantic web. Presented at Proceedings of the joint international workshop on Adaptivity, personalization \& the Semantic Web ACM

Interoperable adaptive educational hypermedia: a web service definition (2006)
Presentation / Conference Contribution
Meccawy, M., Celik, I., Cristea, A., Stewart, C., & Ashman, H. (2006, December). Interoperable adaptive educational hypermedia: a web service definition. Presented at Sixth IEEE International Conference on Advanced Learning Technologies (ICALT'06) IEEE

Interoperability between AEH user models (2006)
Presentation / Conference Contribution
Stewart, C., Cristea, A., Celik, I., & Ashman, H. (2006, December). Interoperability between AEH user models. Presented at Proceedings of the joint international workshop on Adaptivity, personalization \& the semantic web ACM

Investigating the applicability of the evidence-based paradigm to software engineering (2006)
Presentation / Conference Contribution
Budgen, D., Charters, S., Turner, M., Brereton, P., Kitchenham, B., & Linkman, S. (2006, February). Investigating the applicability of the evidence-based paradigm to software engineering. Presented at ICSE06: International Conference on Software Engineering, Shanghai, China

Context: The success of the evidence-based paradigm in other domains, especially medicine, has raised the question of how this might be employed in software engineering. Objectives: To report the research we are doing to evaluate problems associated... Read More about Investigating the applicability of the evidence-based paradigm to software engineering.

Properties of Codes with the Rank Metric (2006)
Presentation / Conference Contribution
Gadouleau, M., & Yan, Z. (2006, November). Properties of Codes with the Rank Metric. Presented at IEEE Globecom, San Francisco, CA

Decoder Error Probability of MRD Codes (2006)
Presentation / Conference Contribution
Gadouleau, M., & Yan, Z. (2006, October). Decoder Error Probability of MRD Codes. Presented at IEE ITW, Chengdu. China

Why should they believe us? Determinism, non-determinism and evidence (2006)
Presentation / Conference Contribution
Budgen, D. (2006, February). Why should they believe us? Determinism, non-determinism and evidence. Presented at Software Engineering Education Conference, Proceedings, Hawaii

In Software Engineering, as in Computing Science, the topics that we teach to our students can be considered as falling into two broad categories: the deterministic, and the non-deterministic. Deterministic topics are those where a specific scenario... Read More about Why should they believe us? Determinism, non-determinism and evidence.