×

Found 632 Documents (Results 1–100)

Error-correction coding and decoding. Bounds, codes, decoders, analysis and applications. (English) Zbl 1375.94005

Signals and Communication Technology. Cham: Springer Open (ISBN 978-3-319-51102-3/hbk; 978-3-319-51103-0/ebook). xx, 522 p., open access (2017).
PDFBibTeX XMLCite
Full Text: DOI

50 years of time parallel time integration. (English) Zbl 1337.65127

Carraro, Thomas (ed.) et al., Multiple shooting and time domain decomposition methods. MuS-TDD, Heidelberg, Germany, May 6–8, 2013. Cham: Springer (ISBN 978-3-319-23320-8/hbk; 978-3-319-23321-5/ebook). Contributions in Mathematical and Computational Sciences 9, 69-113 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Numerical linear algebra methods for linear differential-algebraic equations. (English) Zbl 1343.65100

Ilchmann, Achim (ed.) et al., Surveys in differential-algebraic equations III. Cham: Springer (ISBN 978-3-319-22427-5/pbk; 978-3-319-22428-2/ebook). Differential-Algebraic Equations Forum, 117-175 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Runge-Kutta methods for ordinary differential equations. (English) Zbl 1330.65109

Al-Baali, Mehiddin (ed.) et al., Numerical analysis and optimization. Selected papers based on the presentations at the 3rd international conference, NAO-III, Muscat, Oman, January 5–9, 2014. Cham: Springer (ISBN 978-3-319-17688-8/hbk; 978-3-319-17689-5/ebook). Springer Proceedings in Mathematics & Statistics 134, 37-58 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Piecewise tensor product wavelet bases by extensions and approximation rates. (English) Zbl 1317.65233

Dahlke, Stephan (ed.) et al., Extraction of quantifiable information from complex systems. Cham: Springer (ISBN 978-3-319-08158-8/hbk; 978-3-319-08159-5/ebook). Lecture Notes in Computational Science and Engineering 102, 69-81 (2014).
PDFBibTeX XMLCite
Full Text: DOI

An overview of the discontinuous Petrov Galerkin method. (English) Zbl 1282.65152

Feng, Xiaobing (ed.) et al., Recent developments in discontinuous Galerkin finite element methods for partial differential equations. Papers based on the 2012 John H. Barrett memorial lectures, Knoxville, TN, USA, May 9–11, 2012. Cham: Springer (ISBN 978-3-319-01817-1/hbk; 978-3-319-01818-8/ebook). The IMA Volumes in Mathematics and its Applications 157, 149-180 (2014).
MSC:  65N30 35J05 65-02
PDFBibTeX XMLCite
Full Text: DOI

A survey of research in the mathematical sciences in medieval Islam from 1996 to 2011. (English) Zbl 1284.01025

Sidoli, Nathan (ed.) et al., From Alexandria, through Baghdad. Surveys and studies in the ancient Greek and medieval Islamic mathematical sciences in honor of J. L. Berggren. Berlin: Springer (ISBN 978-3-642-36735-9/hbk; 978-3-642-36736-6/ebook). 101-138 (2014).
MSC:  01A30 01A90
PDFBibTeX XMLCite
Full Text: DOI

Ensemble filter techniques for intermittent data assimilation. (English) Zbl 1291.65032

Cullen, Mike (ed.) et al., Large scale inverse problems. Computational methods and applications in the Earth sciences. Based on the invited talks of the workshop, Johann Radon Institute for Computational and Applied Mathematics (RICAM), Linz, Austria, October 24–28, 2011. Berlin: de Gruyter (ISBN 978-3-11-028222-1/hbk; 978-3-11-028226-9/ebook). Radon Series on Computational and Applied Mathematics 13, 91-134 (2013).
MSC:  65C60 62M20 62F15 65C05 65C30 65-02
PDFBibTeX XMLCite
Full Text: arXiv

The history of degenerate (bipartite) extremal graph problems. (English) Zbl 1296.05098

Lovász, László (ed.) et al., Erdős centennial. On the occasion of Paul Erdős 100th anniversary of his birth. Berlin: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-39285-6/hbk; 978-3-642-39286-3/ebook). Bolyai Society Mathematical Studies 25, 169-264 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automata for codes. (English) Zbl 1298.94071

Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 2-15 (2013).
PDFBibTeX XMLCite
Full Text: DOI

A paraconsistent and substructural conditional logic. (English) Zbl 1280.03031

Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 173-198 (2013).
MSC:  03B53 03B47
PDFBibTeX XMLCite
Full Text: DOI

Elements of cylindric algebraic model theory. (English) Zbl 1280.03062

Andréka, Hajnal (ed.) et al., Cylindric-like algebras and algebraic logic. Dordrecht: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-35024-5/hbk; 978-963-9453-15-9/hbk). Bolyai Society Mathematical Studies 22, 223-248 (2012).
PDFBibTeX XMLCite

Completions, complete representations and omitting types. (English) Zbl 1280.03061

Andréka, Hajnal (ed.) et al., Cylindric-like algebras and algebraic logic. Dordrecht: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-35024-5/hbk; 978-963-9453-15-9/hbk). Bolyai Society Mathematical Studies 22, 205-221 (2012).
MSC:  03G15 03G27 03-02
PDFBibTeX XMLCite

Limitwise monotonic functions and their applications. (English) Zbl 1279.03063

Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 59-85 (2012).
PDFBibTeX XMLCite
Full Text: DOI

A survey on recent development in computational quasi-conformal geometry and its applications. (English) Zbl 1247.65023

Ji, Lizhen (ed.) et al., Fifth international congress of Chinese mathematicians. Proceedings of the ICCM ’10, Beijing, China, December 17–22, 2010. Part 2. Providence, RI: American Mathematical Society (AMS); Somerville, MA: International Press (ISBN 978-0-8218-7587-2/pbk; 978-0-8218-7555-1/set). AMS/IP Studies in Advanced Mathematics 51, pt.2, 697-717 (2012).
PDFBibTeX XMLCite

Projective ordinals. Introduction to Part IV. (English) Zbl 1279.03069

Kechris, Alexander S. (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). Lecture Notes in Logic 37, 199-269 (2012).
MSC:  03E15 03E60 03-02
PDFBibTeX XMLCite

Early investigations of the degrees of Borel sets. (English) Zbl 1261.03144

Kechris, Alexander S. (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). Lecture Notes in Logic 37, 166-195 (2012).
MSC:  03E15 03E60 03-02
PDFBibTeX XMLCite

Model theory in computer science: my own recurrent themes. (English) Zbl 1247.03064

Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 553–567, electronic only (2011).
PDFBibTeX XMLCite
Full Text: DOI

Reducts of Ramsey structures. (English) Zbl 1261.03118

Grohe, Martin (ed.) et al., Model theoretic methods in finite combinatorics. AMS-ASL joint special session, Washington, DC, USA, January 5–8, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4943-9/pbk). Contemporary Mathematics 558, 489-519 (2011).
PDFBibTeX XMLCite
Full Text: arXiv

Compton’s method for proving logical limit laws. (English) Zbl 1252.03082

Grohe, Martin (ed.) et al., Model theoretic methods in finite combinatorics. AMS-ASL joint special session, Washington, DC, USA, January 5–8, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4943-9/pbk). Contemporary Mathematics 558, 97-128 (2011).
PDFBibTeX XMLCite

Application of logic to combinatorial sequences and their recurrence relations. (English) Zbl 1282.03019

Grohe, Martin (ed.) et al., Model theoretic methods in finite combinatorics. AMS-ASL joint special session, Washington, DC, USA, January 5–8, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4943-9/pbk). Contemporary Mathematics 558, 1-42 (2011).
PDFBibTeX XMLCite

A survey of recent results in groups and orderings: word problems, embeddings and amalgamations. (English) Zbl 1239.06010

Campbell, C.M. (ed.) et al., Groups St. Andrews 2009. Vol. I. Selected papers of the conference, University of Bath, Bath, UK, August 2009. Cambridge: Cambridge University Press (ISBN 978-0-521-27903-1/pbk). London Mathematical Society Lecture Note Series 387, 150-160 (2011).
MSC:  06F15 20F10 20F60
PDFBibTeX XMLCite

Interactions of computability and randomness. (English) Zbl 1258.03053

Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-32-8/hbk; 978-81-85931-08-3/hbk; 978-981-4324-30-4/set; 978-981-4324-35-9/ebook). 30-57 (2011).
MSC:  03D32 03D15
PDFBibTeX XMLCite
Full Text: Link

Logic and foundations the proper forcing axiom. (English) Zbl 1258.03075

Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-32-8/hbk; 978-81-85931-08-3/hbk; 978-981-4324-30-4/set; 978-981-4324-35-9/ebook). 3-29 (2011).
Reviewer: K. P. Hart (Delft)
PDFBibTeX XMLCite
Full Text: Link

Model theoretic methods for fragments of FO and special classes of (finite) structures. (English) Zbl 1248.03052

Esparza, Javier (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). London Mathematical Society Lecture Note Series 379, 271-341 (2011).
MSC:  03C13 03C07
PDFBibTeX XMLCite

Algorithmic meta-theorems. (English) Zbl 1262.03058

Esparza, Javier (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). London Mathematical Society Lecture Note Series 379, 177-270 (2011).
PDFBibTeX XMLCite

Definability in classes of finite structures. (English) Zbl 1248.03051

Esparza, Javier (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). London Mathematical Society Lecture Note Series 379, 140-176 (2011).
MSC:  03C13
PDFBibTeX XMLCite

Secure message transmission by public discussion: a brief survey. (English) Zbl 1272.94003

Chee, Yeow Meng (ed.) et al., Coding and cryptology. Third international workshop, IWCC 2011, Qingdao, China, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20900-0/pbk). Lecture Notes in Computer Science 6639, 126-141 (2011).
MSC:  94A05 68M12 94A40
PDFBibTeX XMLCite
Full Text: DOI

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