31 – 40 of 1713
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Learning with Skill-based Robot Systems : Combining Planning & Knowledge Representation with Reinforcement Learning
2024)(
- Thesis › Doctoral thesis (compilation)
-
Mark
A theory of factors affecting continuous experimentation (FACE)
(
- Contribution to journal › Article
-
Mark
Perpetual maintenance of machines with different urgency requirements
(
- Contribution to journal › Article
-
Mark
Mutation testing optimisations using the Clang front-end
(
- Contribution to journal › Article
-
Mark
Navigating the upcoming European Union AI act
(
- Contribution to journal › Article
-
Mark
Increasing, not Diminishing : Investigating the Returns of Highly Maintainable Code
2024) 7th ACM/IEEE International Conference on Technical Debt, TechDebt 2024, co-located with the International Conference on Software Engineering, ICSE 2024 p.21-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proof Logging for the Circuit Constraint
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding