×

Found 291 Documents (Results 1–100)

100
MathJax

Computing branching distances using quantitative games. (English) Zbl 1464.68238

Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 59-75 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Many agent games in socio-economic systems: corruption, inspection, coalition building, network growth, security. (English) Zbl 1431.91004

Springer Series in Operations Research and Financial Engineering. Cham: Springer (ISBN 978-3-030-12370-3/hbk; 978-3-030-12371-0/ebook). xix, 196 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI Link

Satisfiability modulo theories and assignments. (English) Zbl 1468.68193

de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 42-59 (2017).
MSC:  68T20 03B70
PDF BibTeX XML Cite
Full Text: DOI HAL

mrPUF: a novel memristive device based physical unclonable function. (English) Zbl 1423.94072

Malkin, Tal (ed.) et al., Applied cryptography and network security. 13th international conference, ACNS 2015, New York, NY, USA, June 2–5, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9092, 595-615 (2015).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI

The minimum energy building temperature control. (English) Zbl 1266.49030

Hömberg, Dietmar (ed.) et al., System modeling and optimization. 25th IFIP TC 7 conference on system modeling and optimization, CSMO 2011, Berlin, Germany, September 12–16, 2011. Revised Selected Papers. Heidelberg: Springer (ISBN 978-3-642-36061-9/hbk; 978-3-642-36062-6/ebook). IFIP Advances in Information and Communication Technology 391, 471-480 (2013).
MSC:  49K15 49M30 49N90
PDF BibTeX XML Cite
Full Text: DOI

Applied logistic regression. 3rd ed. (English) Zbl 1276.62050

Wiley Series in Probability and Statistics. Hoboken, NJ: John Wiley & Sons (ISBN 978-0-470-58247-3/hbk; 978-1-118-54835-6/ebook). xvi, 500 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI

Handbook of regression and modeling: application for the clinical and pharmaceutical industries. (English) Zbl 1246.62217

PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software