Skip to main content

Research Repository

Advanced Search

Outputs (2845)

First-Order Definable Retraction Problems for Posets and Reflexive Graphs
Presentation / Conference Contribution
Dalmau, V., Krokhin, A., & Larose, B. (2023, July). First-Order Definable Retraction Problems for Posets and Reflexive Graphs. Presented at 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), Turku, Finland

A retraction from a structure P to its substructure Q is a homomorphism from P onto Q that is the identity on Q. We present an algebraic condition which completely characterises all posets and all reflexive graphs Q with the following property: the c... Read More about First-Order Definable Retraction Problems for Posets and Reflexive Graphs.

Matrix and graph orders derived from locally constrained graph homomorphisms
Presentation / Conference Contribution
Fiala, J., Paulusma, D., & Telle, J. A. (2023, August). Matrix and graph orders derived from locally constrained graph homomorphisms. Presented at 30th International Symposium on Mathematical Foundations of Computer Science : MFCS 2005, Gdansk, Poland

We consider three types of locally constrained graph homomorphisms: bijective, injective and surjective. We show that the three orders imposed on graphs by existence of these three types of homomorphisms are partial orders. We extend the well-known c... Read More about Matrix and graph orders derived from locally constrained graph homomorphisms.

Binary adaptive optics: a status report
Presentation / Conference Contribution
Love, G. D., Doel, A. P., Myers, R. M., Purvis, A., & Sharples, R. M. (1994, December). Binary adaptive optics: a status report

Sky-projected Shack-Hartmann laser guide star
Presentation / Conference Contribution
Butterley, T., Buscher, D. F., Love, G. D., Morris, T. J., Myers, R. M., & Wilson, R. W. (2004, December). Sky-projected Shack-Hartmann laser guide star

Generating Regression Tests via Model Checking
Presentation / Conference Contribution
Xu, L., Dias, M., & Richardson, D. J. (2004, September). Generating Regression Tests via Model Checking. Presented at 28th Annual International Computer Software and Applications Conference, Hong Kong

During software maintenance, regression testing is an expensive but critical activity to ensure that modified versions of the system do not "regress". As software evolves, chances are that not only the implementation changes, but that the specificati... Read More about Generating Regression Tests via Model Checking.

Object languages in a type-theoretic meta-framework
Presentation / Conference Contribution
Callaghan, P., Luo, Z., & Pang, J. (2001, June). Object languages in a type-theoretic meta-framework. Presented at Proof Transformation and Presentation and Proof Complexities Workshop : PTP'01., Siena, Italy

This paper concerns techniques for providing a convenient syntax for object languages implemented via a type-theoretic Logical Framework, and reports on work in progress. We first motivate the need for a type-theoretic logical framework. Firstly, we... Read More about Object languages in a type-theoretic meta-framework.

Chromatic Chords in Theory and Practice
Presentation / Conference Contribution
Gotham, M. (2023, November). Chromatic Chords in Theory and Practice. Presented at 24th International Society for Music Information Retrieval Conference, Milan, Italy

"Chromatic harmony" is seen as a fundamental part of (extended) tonal music in the Western classical tradition (c.1700–1900). It routinely features in core curricula. Yet even in this globalised and data-driven age, 1) there are significant gaps betw... Read More about Chromatic Chords in Theory and Practice.

Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems
Presentation / Conference Contribution
Camara, J., Hahner, S., Perez-Palacin, D., Vallecillo, A., Acosta, M., Bencomo, N., Calinescu, R., & Gerasimou, S. (2024, April). Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. Presented at 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Lisbon, Portugal

Sources of uncertainty in adaptive systems are rarely independent, and their interaction can affect the attainment of system goals in unpredictable ways. Despite ample work on “taming” uncertainty, the research community has devoted little attention... Read More about Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems.

Finding matching cuts in H-free graphs
Presentation / Conference Contribution
Lucke, F., Paulusma, D., & Ries, B. (2021, December). Finding matching cuts in H-free graphs. Presented at 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Seoul, South Korea

The well-known NP-complete problem Matching Cut is to decide if a graph has a matching that is also an edge cut of the graph. We prove new complexity results for Matching Cut restricted to H-free graphs, that is, graphs that do not contain some fixed... Read More about Finding matching cuts in H-free graphs.