341 – 350 of 17099
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
The MARRYS helmet : A new device for researching and training “jaw dancing”
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Collecting Mandible Movement in Brazilian Portuguese
(
- 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
A Generalized Methodology for Health Index Calculation for PMSM Drive System
2024) 12th International Conference on Smart Grid, icSmartGrid 2024 In 12th International Conference on Smart Grid, icSmartGrid 2024 p.777-781(
- 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
-
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 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Estimation of Impulse Responses for a Moving Source Using Optimal Transport Regularization
2024) 49th IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2024 In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings p.921-925(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding