×

Found 631 Documents (Results 1–100)

100
MathJax

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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite
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)
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite

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
PDF BibTeX XML Cite
Full Text: DOI

Ideal secret sharing schemes for useful multipartite access structures. (English) Zbl 1272.94079

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, 99-108 (2011).
MSC:  94A62 94-02
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software