×

Found 633 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).

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).
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).
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).
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
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
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

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).

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
Full Text: DOI

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).
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).

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

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

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).
Full Text: DOI

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).

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).

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

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

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)

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

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

Filter Results by …

Access

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