61 – 80 of 16599
- show: 20
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
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
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Impact of final design on daylight provision
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Transformative Potential of the Craft Imaginary - A Study on Craft Brewing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analyzing Building Permit Processes Across Europe
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Drivers and Barriers for “Circular” Consumer Electronics in the European Union
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Swedish Parliament Corpus 1867-2022
2024) Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024 In 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings p.16100-16112(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Mapping the Past : Geographically Linking an Early 20th Century Swedish Encyclopedia with Wikidata
2024) Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024 In 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings p.11040-11048(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Cross-border and Multi-modal Cold Chain Risk Assessment: Applying FMECA on a new Thai-Laos route
2024) MSIE 2024: 2024 6th International Conference on Management Science and Industrial Engineering p.31-38(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Alignment of clinical breast tomosynthesis and mechanical images : The effect of the variation in shift and rotation
2024) 17th International Workshop on Breast Imaging, IWBI 2024 In Proceedings of SPIE - The International Society for Optical Engineering 13174.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluating an image restoration pipeline for digital mammography across varied radiation exposures and microcalcification sizes using model observer analysis
2024) 17th International Workshop on Breast Imaging, IWBI 2024 In Proceedings of SPIE - The International Society for Optical Engineering 13174.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Structural Health Monitoring of Civil Infrastructures Using Smart Sensor Networks
2024) Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems 2024 In Proceedings of SPIE - The International Society for Optical Engineering 12949.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
NNLO Positivity Bounds on χPT for a General Number of Flavours
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Short-distance constraints in hadronic-light-by-light for the muon g − 2
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Three-pion scattering in Chiral Perturbation Theory
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Agentic Relationship Dynamics in Human-AI Collaboration: A study of interactions with GPT-based agentic IS artifacts
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding