Sensors and Machine Learning Models to Prevent Cooktop Ignition and Ignore Normal Cooking von Mensch, Amy E., Hamins, Anthony, Tam, Wai Cheong, Lu, Z. Q. John, Markell, Kathryn, You, Christina, Kupferschmid, Matthew

Volltext

Unicuspid Aortic Valve Repair Using Geometric Ring Annuloplasty von Si, Ming-Sing, Conte, John V., Romano, Jennifer C., Romano, Matthew A., Andersen, Nicholas D., Gerdisch, Marc W., Kupferschmid, John P., Fiore, Andrew C., Bakhos, Mamdouh, Bonilla, Juan J., Burke, J. Ryan, Rankin, J. Scott, Wei, Lawrence M., Badhwar, Vinay, Turek, Joseph W.

Volltext

Incremental preprocessing methods for use in BMC von Kupferschmid, Stefan, Lewis, Matthew, Schubert, Tobias, Becker, Bernd

Volltext

Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs von Miller, Christian, Kupferschmid, Stefan, Lewis, Matthew, Becker, Bernd

Volltext

The peak sidelobe distribution for binary codes von Ferrara, M., Kupferschmid, M., Coxson, G.

Volltext