MPG.eBooks - Search Results - (swash OR sat)-place*

181

Toward a Unified View of the Speed-Accuracy Trade-Off: Behaviour, Neurophysiology and Modelling

by Richard P. Heitz
Published 2016

Frontiers Media SA

“...Everyone is familiar with the speed-accuracy trade-off (SAT). To make good choices, we need...”

Read Now

182

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... -- Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination -- Monotone AC-Tree...”

Read Now

183

Der Herr erhöre deine Klag

by Lasso, Orlando di
Published 1927

Breitkopf and Härtel

Read Now

184

Hilff, lieber Herr

by Lasso, Orlando di
Published 1927

Breitkopf and Härtel

Read Now

185

Ich wil auz gantzem hertzen

by Lasso, Orlando di
Published 1927

Breitkopf and Härtel

Read Now

186

Ich will dich Herr gebürlich loben

by Lasso, Orlando di
Published 1927

Breitkopf and Härtel

Read Now

187

Herr, der du meine sterche bist

by Lasso, Orlando di
Published 1927

Breitkopf and Härtel

Read Now

188

Principles and Practice of Constraint Programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Published 2019

Springer International Publishing

Table of Contents: “... GPU-based SAT Model Counter -- Reducing Bias in Preference Aggregation for Multiagent Soft Constraint...”

Read Now

189

Da così dotta man

by Palestrina, Giovanni Pierluigi da
Published 1601

Breitkopf and Härtel

Read Now

190

Ahi che quest' occhi miei

by Palestrina, Giovanni Pierluigi da
Published 1907

Breitkopf and Härtel

Read Now

191

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Published 2017

Springer International Publishing

Table of Contents: “... -- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems -- Solving SAT and MaxSAT with a Quantum...”

Read Now

192

Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... with Sharing -- Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking -- Dynamite 2.0...”

Read Now

193

Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Published 2018

Springer International Publishing

Table of Contents: “...Artificial Intelligence, Theorem Proving and SAT Solving -- Symbolic and Numerical Computation...”

Read Now

194

Dependable Software Engineering. Theories, Tools, and Applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Published 2022

Springer Nature Switzerland

Table of Contents: “... and concurrent systems -- Theorem Proving and SAT....”

Read Now

195

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Constraints by Failure Analysis -- Deciding Separation Formulas with SAT -- Probabilistic Verification...”

Read Now

196

Principles and Practice of Constraint Programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Hardness Models for SAT -- SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT...”

Read Now

197

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Published 2018

Springer International Publishing

Table of Contents: “... -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic...”

Read Now

198

Stabat Mater : per soprano, contratenore (alto), tenore, violino, viola e violoncello (1985) :Vokalpartitur

by Pärt, Arvo
Published 1985

Universal Edition

Read Now

199

Modern amusement

Published 1785

printed by John Fowler

Read Now

200

Bacchus and Venus : A very favourite anacreontic song

Published 1785

Fowler, printer, Salisbury

Narrow Search