The CapnoBase TBME RR benchmark dataset contains 42 cases of 8-min recordings. In addition to the CO2 waveforms (capnograms), these cases have also the Photoplethysmogram (PPG) from pulse oximetry ava
This dataset contains 10,000 Boolean satisfiability (SAT) instances whose clause–variable incidence graphs are connected bipartite trees. The instances are provided in DIMACS CNF format and are inten