×

Found 26 Documents (Results 1–26)

Sharper and simpler nonlinear interpolants for program verification. (English) Zbl 1503.68184

Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 491-513 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Using a distributed SDP approach to solve simulated protein molecular conformation problems. (English) Zbl 1271.68233

Mucherino, Antonio (ed.) et al., Distance geometry. Theory, methods, and applications. New York, NY: Springer (ISBN 978-1-4614-5127-3/hbk; 978-1-4614-5128-0/ebook). 351-376 (2013).
MSC:  68U05 92D20 90C22
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field