- Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE 2021: 291-308 - Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic:
Superposition for Full Higher-order Logic. CADE 2021: 396-412 - Gabriel Ebner, Jasmin Blanchette, Sophie Tourret:
A Unifying Splitting Framework. CADE 2021: 344-360 - Fajar Haifani, Sophie Tourret, Christoph Weidenbach:
Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. CADE 2021: 327-343 - Markus N. Rabe, Christian Szegedy:
Towards the Automatic Mathematician. CADE 2021: 25-37 - Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret:
Making Higher-Order Superposition Work. CADE 2021: 415-432 - Christoph Wernhard, Wolfgang Bibel:
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures. CADE 2021: 58-75 - Konstantin F. Willeke, Paul G. Fahey, Mohammad Bashiri, Laura Hansel, Christoph Blessing, Konstantin-Klemens Lurz, Max F. Burg, Santiago A. Cadena, Zhiwei Ding, Kayla Ponder, Taliah Muhammad, Saumil S. Patel, Kaiwen Deng, Yuanfang Guan, Yiqin Zhu, Kaiwen Xiao, Xiao Han, Simone Azeglio, Ulisse Ferrari, Peter Neri, Olivier Marre, Adrian Hoffmann, Kirill Fedyanin, Kirill Vishniakov, Maxim Panov, Subash Prakash, Kishan Naik, Kantharaju Narayanappa, Alexander S. Ecker, Andreas S. Tolias, Fabian H. Sinz:
Retrospective on the SENSORIUM 2022 competition. NeurIPS (Competition and Demos) 2021: 314-333 - Chris Cade, Farrokh Labib, Ido Niesen:
Quantum Motif Clustering. CoRR abs/2111.13222 (2021) - 2020
- Chris Cade:
Quantum algorithms and complexity in non-standard models. University of Bristol, UK, 2020 - Victor H. Duenas, Christian A. Cousin, Vahideh Ghanbari, Emily J. Fox, Warren E. Dixon:
Torque and cadence tracking in functional electrical stimulation induced cycling using passivity-based spatial repetitive learning control. Autom. 115: 108852 (2020) - Christian A. Cousin, Victor H. Duenas, Courtney A. Rouse, Matthew J. Bellman, Paul Freeborn, Emily J. Fox, Warren E. Dixon:
Closed-Loop Cadence and Instantaneous Power Control on a Motorized Functional Electrical Stimulation Cycle. IEEE Trans. Control. Syst. Technol. 28(6): 2276-2291 (2020) - Victor H. Duenas, Christian A. Cousin, Courtney A. Rouse, Emily J. Fox, Warren E. Dixon:
Distributed Repetitive Learning Control for Cooperative Cadence Tracking in Functional Electrical Stimulation Cycling. IEEE Trans. Cybern. 50(3): 1084-1095 (2020) - Casper Gyurik, Chris Cade, Vedran Dunjko:
Towards quantum advantage for topological data analysis. CoRR abs/2005.02607 (2020) - Alexander Millane, Helen Oleynikova, Christian Lanegger, Jeffrey A. Delmerico, Juan I. Nieto, Roland Siegwart, Marc Pollefeys, Cesar Cadena:
Freetures: Localization in Signed Distance Function Maps. CoRR abs/2010.09378 (2020) - 2019
- F. I. Esquivel Estay, Courtney A. Rouse, M. H. Cohen, Christian A. Cousin, Warren E. Dixon:
Cadence and Position Tracking for Decoupled Legs during Switched Split-Crank Motorized FES-Cycling. ACC 2019: 854-859 - Courtney A. Rouse, Christian A. Cousin, Brendon C. Allen, Warren E. Dixon:
Split-Crank Cadence Tracking for Switched Motorized FES-Cycling with Volitional Pedaling. ACC 2019: 4393-4398 - Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann:
Superposition with Lambdas. CADE 2019: 55-73 - Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach:
SPASS-SATT - A CDCL(LA) Solver. CADE 2019: 111-122 - Alberto Fiori, Christoph Weidenbach:
SCL Clause Learning from Simple Models. CADE 2019: 233-249 - Christina Kohl, Aart Middeldorp:
Composing Proof Terms. CADE 2019: 337-353 - Christian Sternagel, Sarah Winkler:
Certified Equational Reasoning via Ordered Completion. CADE 2019: 508-525 - Brendon C. Allen, Christian A. Cousin, Courtney A. Rouse, Warren E. Dixon:
Cadence Tracking for Switched FES Cycling with Unknown Input Delay. CDC 2019: 60-65 - Christoph Weidenbach:
The Challenge of Unifying Semantic and Syntactic Inference Restrictions. ARCADE@CADE 2019: 5-10 - 2018
- Gerardo Gonzalez, Christopher Richards, Alexandra M. Newman:
Optimal Course Scheduling for United States Air Force Academy Cadets. Interfaces 48(3): 217-234 (2018) - Francislon S. Oliveira, John Brestelli, Shon Cade, Jie Zheng, John Iodice, Steve Fischer, Cristina Aurrecoechea, Jessica C. Kissinger, Brian P. Brunk, Christian J. Stoeckert Jr., Gabriel R. Fernandes, David S. Roos, Daniel P. Beiting:
MicrobiomeDB: a systems biology platform for integrating, mining and analyzing microbiome experiments. Nucleic Acids Res. 46(Database-Issue): D684-D691 (2018) - Chris Cade, Ashley Montanaro, Aleksandrs Belovs:
Time and space efficient quantum algorithms for detecting cycles and testing bipartiteness. Quantum Inf. Comput. 18(1&2): 18-50 (2018) - Victor H. Duenas, Christian A. Cousin, Vahideh Ghanbari, Warren E. Dixon:
Passivity-Based Learning Control for Torque and Cadence Tracking in Functional Electrical Stimulation (FES) Induced Cycling. ACC 2018: 3726-3731 - Courtney A. Rouse, Christian A. Cousin, Victor H. Duenas, Warren E. Dixon:
Cadence Tracking for Switched FES Cycling Combined with Voluntary Pedaling and Motor Resistance. ACC 2018: 4558-4563 - Christian A. Cousin, Victor H. Duenas, Courtney A. Rouse, Warren E. Dixon:
Cadence and Admittance Control of a Motorized Functional Electrical Stimulation Cycle. CDC 2018: 6470-6475