×

Found 249 Documents (Results 1–100)

Extremal problems and inequalities of Markov-Bernstein type for algebraic polynomials. (English) Zbl 1523.41001

Mathematical Analysis and its Applications. Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-811988-4/pbk; 978-0-12-812007-1/ebook). xvii, 424 p. (2022).
MSC:  41-01 41A17
PDFBibTeX XMLCite
Full Text: DOI

Persistent homology based characterization of the breast cancer immune microenvironment: a feasibility study. (English) Zbl 07760140

Cabello, Sergio (ed.) et al., 36th international symposium on computational geometry, SoCG 2020, Zürich, Switzerland (virtual conference), June 23–26, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 164, Article 11, 20 p. (2020).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI

Undiluted hocus-pocus. The autobiography of Martin Gardner. With a foreword by Persi Diaconis and an afterword by James Randi. Reprint of the 2013 hardback edition. (English) Zbl 1325.01024

Princeton, NJ: Princeton University Press (ISBN 978-0-691-16969-9/pbk; 978-1-400-84798-3/ebook). xxvii, 233 p. (2015).
MSC:  01A70 00A08 00A09 01A60 97A20 97A80 01-01
PDFBibTeX XMLCite

Magical mathematics. The mathematical ideas that animate great magic tricks. With a foreword by Martin Gardner. Reprint of the 2012 hardback edition. (English) Zbl 1323.00007

Princeton, NJ: Princeton University Press (ISBN 978-0-691-16977-4/pbk; 978-1-400-83938-4/ebook). xii, 244 p. (2015).
MSC:  00A08
PDFBibTeX XMLCite
Full Text: DOI

Abstract local reasoning for concurrent libraries: mind the gap. (English) Zbl 1337.68069

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 147-166, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

A trusted mechanised JavaSript specification. (English) Zbl 1284.68381

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 87-100 (2014).
MSC:  68Q60 68N30 68T15 68N15
PDFBibTeX XMLCite
Full Text: DOI

Views, compositional reasoning for concurrent programs. (English) Zbl 1301.68099

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 287-300 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Efficient generation of elementary sequences. (English) Zbl 1317.94074

Stam, Martijn (ed.), Cryptography and coding. 14th IMA international conference, IMACC 2013, Oxford, UK, December 17–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45238-3/pbk). Lecture Notes in Computer Science 8308, 16-27 (2013).
MSC:  94A55 11T71
PDFBibTeX XMLCite
Full Text: DOI

Undiluted hocus-pocus. The autobiography of Martin Gardner. With a foreword by Persi Diaconis and an afterword by James Randi. (English) Zbl 1282.01020

Princeton, NJ: Princeton University Press (ISBN 978-0-691-15991-1/hbk; 978-1-4008-4798-3/ebook). xxvii, 233 p. (2013).
MSC:  01A70 00A08 00A09 01A60 97A20 97A80 01-01
PDFBibTeX XMLCite

Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. (English) Zbl 1268.68016

Lecture Notes in Computer Science 7792. Berlin: Springer (ISBN 978-3-642-37035-9/pbk). xix, 620 p. (2013).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Towards a program logic for JavaScript. (English) Zbl 1321.68193

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 31-44 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Index tables of finite fields and modular Golomb rulers. (English) Zbl 1290.94033

Helleseth, Tor (ed.) et al., Sequences and their applications – SETA 2012. 7th international conference, Waterloo, ON, Canada, June 4–8, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30614-3/pbk). Lecture Notes in Computer Science 7280, 136-147 (2012).
MSC:  94A55 12E20
PDFBibTeX XMLCite
Full Text: DOI Link

Magical mathematics. The mathematical ideas that animate great magic tricks. With a foreword by Martin Gardner. (English) Zbl 1230.00009

Princeton, NJ: Princeton University Press (ISBN 978-0-691-15164-9/hbk; 978-1-400-83938-4/ebook). xii, 244 p. (2012).
MSC:  00A08
PDFBibTeX XMLCite
Full Text: DOI

Sphere packing, Lewis Carroll, and reversi. Martin Gardner’s new mathematical diversions. Reprinted from Scientific American 1959 (chapters 2, 14) 1960 (chapters 1, 3–10, 12, 13) and 1961 (chapters 11, 15–20). (English) Zbl 1183.00007

The New Martin Gardner Mathematical Library 3. Cambridge: Cambridge University Press; Washington, DC: Mathematical Association of America (MAA) (ISBN 978-0-521-74701-1/pbk; 978-0-521-75607-5/hbk). xiv, 282 p. (2009).
MSC:  00A08 00A07
PDFBibTeX XMLCite

Automatic parallelization with separation logic. (English) Zbl 1234.68080

Castagna, Giuseppe (ed.), Programming languages and systems. 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00589-3/pbk). Lecture Notes in Computer Science 5502, 348-362 (2009).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI

Process algebra for parallel and distributed processing. (English) Zbl 1155.68003

Chapman & Hall/CRC Computational Science Series. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk; 978-1-4200-6487-2/ebook). xxii, 415 p. (2009).
PDFBibTeX XMLCite
Full Text: DOI

Hexaflexagons, probability paradoxes, and the Tower of Hanoi. Martin Gardner’s first book of mathematical puzzles and games. (English) Zbl 1237.00008

The New Martin Gardner Mathematical Library 1. Cambridge: Cambridge University Press; Washington, DC: Mathematical Association of America (MAA) (ISBN 978-0-521-73525-4/pbk; 978-0-521-75615-0/hbk). xiii, 193 p. (2008).
MSC:  00A08 00A07
PDFBibTeX XMLCite

Origami, Eleusis, and the Soma cube. Martin Gardner’s mathematical diversions. (English) Zbl 1153.00007

The New Martin Gardner Mathematical Library 2. Cambridge: Cambridge University Press; Washington, DC: Mathematical Association of America (MAA) (ISBN 978-0-521-73524-7/pbk; 978-0-521-75610-5/hbk). xi, 234 p. (2008).
MSC:  00A08
PDFBibTeX XMLCite

Footprints in local reasoning. (English) Zbl 1139.68020

Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 201-215 (2008).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

The magic numbers of the professor. With a foreword by Martin Gardner. (English) Zbl 1127.00006

MAA Spectrum. Washington, DC: Mathematical Association of America (MAA) (ISBN 978-0-88385-557-7/hbk). xii, 168 p. (2007).
MSC:  00A08 97-01
PDFBibTeX XMLCite

From separation logic to first-order logic. (English) Zbl 1119.03022

Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 395-409 (2005).
MSC:  03B70 03B25 68P05
PDFBibTeX XMLCite
Full Text: DOI

Martin Gardner’s mathematical games. The entire collection of his Scientific American columns. With a booklet containing a biography of the author by Donald J. Albers and Peter L. Renz. (English) Zbl 1088.00004

MAA Spectrum. Washington, DC: Mathematical Association of America (ISBN 0-88385-545-3). 1 CD-ROM (Windows and Macintosh). (2005).
PDFBibTeX XMLCite

Behavioural equivalences for dynamic web data. (English) Zbl 1088.68555

Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 535-548 (2004).
MSC:  68P05
PDFBibTeX XMLCite

Dynamic right-sizing: An automated, lightweight, and scalable technique for enhancing grid performance. (English) Zbl 1048.68750

Carle, Georg (ed.) et al., Protocols for high speed networks. 7th IFIP/IEEE international workshop, PfHSN 2002, Berlin, Germany, April 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43658-8). Lect. Notes Comput. Sci. 2334, 69-83 (2002).
MSC:  68U99 68M12 68M20
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software