×

zbMATH — the first resource for mathematics

Found 1,850 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Thalheim, Bernhard
Schema optimisation instead of (local) normalisation. (English) Zbl 07266058
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 281-300 (2020).
MSC:  68P15
PDF BibTeX XML Cite
\textit{B. Thalheim}, Lect. Notes Comput. Sci. 12012, 281--300 (2020; Zbl 07266058)
Full Text: DOI
Zamora Saiz, Alfonso; Quesada González, Carlos; Hurtado Gil, Lluís; Mondéjar Ruiz, Diego
An introduction to data analysis in R. Hands-on coding, data mining, visualization and statistics from scratch. (English) Zbl 1452.62003
Use R!. Cham: Springer (ISBN 978-3-030-48996-0/pbk; 978-3-030-48997-7/ebook). xv, 276 p. (2020).
Reviewer: Irina Ioana Mohorianu (Oxford)
MSC:  62-01 62D20 62H12 62R07 62-04
PDF BibTeX XML Cite
\textit{A. Zamora Saiz} et al., An introduction to data analysis in R. Hands-on coding, data mining, visualization and statistics from scratch. Cham: Springer (2020; Zbl 1452.62003)
Full Text: DOI
Le Clainche, Soledad; Vega, José M.
A review on reduced order modeling using DMD-based methods. (English) Zbl 1425.76145
Fehr, Jörg (ed.) et al., IUTAM symposium on model order reduction of coupled systems. MORCOS 2018. Proceedings of the IUTAM symposium, Stuttgart, Germany, May 22–25, 2018. Cham: Springer. IUTAM Bookser. 36, 55-66 (2020).
MSC:  76M10 37L15 76D25 37N10
PDF BibTeX XML Cite
\textit{S. Le Clainche} and \textit{J. M. Vega}, IUTAM Bookser. 36, 55--66 (2020; Zbl 1425.76145)
Full Text: DOI
Glauer, Martin; Mossakowski, Till
Institutions for SQL database schemas and datasets. (English) Zbl 1444.68068
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 67-86 (2019).
MSC:  68P15 18C50 68Q65
PDF BibTeX XML Cite
\textit{M. Glauer} and \textit{T. Mossakowski}, Lect. Notes Comput. Sci. 11563, 67--86 (2019; Zbl 1444.68068)
Full Text: DOI
Harmer, Russ; Oshurko, Eugenia
Knowledge representation and update in hierarchies of graphs. (English) Zbl 1429.68275
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 141-158 (2019).
MSC:  68T30 68P15 68Q42
PDF BibTeX XML Cite
\textit{R. Harmer} and \textit{E. Oshurko}, Lect. Notes Comput. Sci. 11629, 141--158 (2019; Zbl 1429.68275)
Full Text: DOI
Libert, Benoît; Nguyen, Khoa; Tan, Benjamin Hong Meng; Wang, Huaxiong
Zero-knowledge elementary databases with more expressive queries. (English) Zbl 07159128
Lin, Dongdai (ed.) et al., Public-key cryptography – PKC 2019. 22nd IACR international conference on practice and theory of public-key cryptography, Beijing, China, April 14–17, 2019. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-17252-7/pbk; 978-3-030-17253-4/ebook). Lecture Notes in Computer Science 11442, 255-285 (2019).
MSC:  94A60
PDF BibTeX XML Cite
\textit{B. Libert} et al., Lect. Notes Comput. Sci. 11442, 255--285 (2019; Zbl 07159128)
Full Text: DOI
Michaliszyn, Jakub; Otop, Jan; Wieczorek, Piotr
Querying best paths in graph databases. (English) Zbl 07278115
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 43, 15 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
\textit{J. Michaliszyn} et al., LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 43, 15 p. (2018; Zbl 07278115)
Full Text: DOI
Martens, Wim; Trautner, Tina
Evaluation and enumeration problems for regular path queries. (English) Zbl 07229081
Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-063-7). LIPIcs – Leibniz International Proceedings in Informatics 98, Article 19, 21 p. (2018).
MSC:  68P15
PDF BibTeX XML Cite
\textit{W. Martens} and \textit{T. Trautner}, LIPIcs -- Leibniz Int. Proc. Inform. 98, Article 19, 21 p. (2018; Zbl 07229081)
Full Text: DOI
Amarilli, Antoine; Monet, Mikaël; Senellart, Pierre
Connecting width and structure in knowledge compilation. (English) Zbl 07229068
Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-063-7). LIPIcs – Leibniz International Proceedings in Informatics 98, Article 6, 17 p. (2018).
MSC:  68P15
PDF BibTeX XML Cite
\textit{A. Amarilli} et al., LIPIcs -- Leibniz Int. Proc. Inform. 98, Article 6, 17 p. (2018; Zbl 07229068)
Full Text: DOI
Adler, Isolde; Harwath, Frederik
Property testing for bounded degree databases. (English) Zbl 07228397
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-062-0). LIPIcs – Leibniz International Proceedings in Informatics 96, Article 6, 14 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{I. Adler} and \textit{F. Harwath}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 6, 14 p. (2018; Zbl 07228397)
Full Text: DOI
Cash, David; Liu, Feng-Hao; O’Neill, Adam; Zhandry, Mark; Zhang, Cong
Parameter-hiding order revealing encryption. (English) Zbl 1440.68055
Peyrin, Thomas (ed.) et al., Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11272, 181-210 (2018).
MSC:  68P15 68P25 94A60
PDF BibTeX XML Cite
\textit{D. Cash} et al., Lect. Notes Comput. Sci. 11272, 181--210 (2018; Zbl 1440.68055)
Full Text: DOI
Mondaini, R. P.; de Albuquerque Neto, S. C.
Stochastic assessment of protein databases by generalized entropy measures. (English) Zbl 1404.92139
Mondaini, Rubem P. (ed.), Trends in biomathematics: modeling, optimization and computational problems. Selected works from the 17th BIOMAT consortium lectures, Moscow, Russia, October 30 – November 3, 2017. Cham: Springer; Rio de Janeiro: BIOMAT Consortium, International Institute for Interdisciplinary Sciences (ISBN 978-3-319-91091-8/hbk; 978-3-319-91092-5/ebook). 91-105 (2018).
MSC:  92D20 28D20 62P10
PDF BibTeX XML Cite
\textit{R. P. Mondaini} and \textit{S. C. de Albuquerque Neto}, in: Trends in biomathematics: modeling, optimization and computational problems. Selected works from the 17th BIOMAT consortium lectures, Moscow, Russia, October 30 -- November 3, 2017. Cham: Springer; Rio de Janeiro: BIOMAT Consortium, International Institute for Interdisciplinary Sciences. 91--105 (2018; Zbl 1404.92139)
Full Text: DOI
Cerone, Andrea; Gotsman, Alexey; Yang, Hongseok
Algebraic laws for weak consistency. (English) Zbl 1442.68104
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 26, 18 p. (2017).
MSC:  68Q60 68M14 68P15 68Q85
PDF BibTeX XML Cite
\textit{A. Cerone} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 26, 18 p. (2017; Zbl 1442.68104)
Full Text: DOI
Schultz, Patrick; Spivak, David I.; Wisnesky, Ryan
Algebraic model management: a survey. (English) Zbl 07152402
James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-72043-2/pbk; 978-3-319-72044-9/ebook). Lecture Notes in Computer Science 10644, 56-69 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{P. Schultz} et al., Lect. Notes Comput. Sci. 10644, 56--69 (2017; Zbl 07152402)
Full Text: DOI
Kimelfeld, Benny; Livshits, Ester; Peterfreund, Liat
Detecting ambiguity in prioritized database repairing. (English) Zbl 1402.68050
Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 17, 20 p. (2017).
MSC:  68P15 68Q17 68Q25
PDF BibTeX XML Cite
\textit{B. Kimelfeld} et al., LIPIcs -- Leibniz Int. Proc. Inform. 68, Article 17, 20 p. (2017; Zbl 1402.68050)
Full Text: DOI
Berkholz, Christoph; Keppeler, Jens; Schweikardt, Nicole
Answering FO+MOD queries under updates on bounded degree databases. (English) Zbl 1402.68041
Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 8, 18 p. (2017).
MSC:  68P15 03B70 68P05
PDF BibTeX XML Cite
\textit{C. Berkholz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 68, Article 8, 18 p. (2017; Zbl 1402.68041)
Full Text: DOI
Kirikova, Mārīte (ed.); Nørvåg, Kjetil (ed.); Papadopoulos, George A. (ed.); Gamper, Johann (ed.); Wrembel, Robert (ed.); Darmont, Jérôme (ed.); Rizzi, Stefano (ed.)
New trends in databases and information systems. ADBIS 2017 short papers and workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24–27, 2017. Proceedings of the 21st conference. (English) Zbl 1375.68018
Communications in Computer and Information Science 767. Cham: Springer (ISBN 978-3-319-67161-1/pbk; 978-3-319-67162-8/ebook). xvi, 434 p. (2017).
MSC:  68-06 68P15 68T35 68U35 00B25
PDF BibTeX XML Cite
\textit{M. Kirikova} (ed.) et al., New trends in databases and information systems. ADBIS 2017 short papers and workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24--27, 2017. Proceedings of the 21st conference. Cham: Springer (2017; Zbl 1375.68018)
Full Text: DOI
Keith, Jonathan M. (ed.)
Bioinformatics. Volume I. Data, sequence analysis, and evolution. 2nd edition. (English) Zbl 1378.92002
Methods in Molecular Biology 1525. New York, NY: Humana Press/Springer (ISBN 978-1-4939-6620-2/hbk; 978-1-4939-6622-6/ebook). x, 491 p. (2017).
Reviewer: Irina Ioana Mohorianu (Norwich)
MSC:  92-02 92-08 92C40 92D15 92D10 00B15
PDF BibTeX XML Cite
\textit{J. M. Keith} (ed.), Bioinformatics. Volume I. Data, sequence analysis, and evolution. 2nd edition. New York, NY: Humana Press/Springer (2017; Zbl 1378.92002)
Full Text: DOI
Ernst, Hartmut; Schmidt, Jochen; Beneken, Gerd
Basic course computer science. Basics and concepts for successful IT practice. A comprehensive, practice-oriented introduction. 6th edition of the book previously (1st and 2nd editions) published under the title Grundlagen und Konzepte der Informatik. (Grundkurs Informatik. Grundlagen und Konzepte für die erfolgreiche IT-Praxis. Eine umfassende, praxisorientierte Einführung.) (German) Zbl 1427.68003
Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-14633-7/pbk; 978-3-658-14634-4/ebook). xviii, 809 p. (2016).
Reviewer: Dieter Riebesehl (Lüneburg)
MSC:  68-01 68Mxx 68Nxx 68Pxx 68Qxx
PDF BibTeX XML Cite
\textit{H. Ernst} et al., Grundkurs Informatik. Grundlagen und Konzepte für die erfolgreiche IT-Praxis. Eine umfassende, praxisorientierte Einführung. 6th edition of the book previously (1st and 2nd editions) published under the title Grundlagen und Konzepte der Informatik. Wiesbaden: Springer Vieweg (2016; Zbl 1427.68003)
Full Text: DOI
Carvalho, Joao Paulo (ed.); Lesot, Marie-Jeanne (ed.); Kaymak, Uzay (ed.); Vieira, Susana (ed.); Bouchon-Meunier, Bernadette (ed.); Yager, Ronald R. (ed.)
Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part I. (English) Zbl 1385.68005
Communications in Computer and Information Science 610. Cham: Springer (ISBN 978-3-319-40595-7/pbk; 978-3-319-40596-4/ebook). xxxiv, 738 p. (2016).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
\textit{J. P. Carvalho} (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20--24, 2016. Proceedings. Part I. Cham: Springer (2016; Zbl 1385.68005)
Full Text: DOI
Carvalho, Joao Paulo (ed.); Lesot, Marie-Jeanne (ed.); Kaymak, Uzay (ed.); Vieira, Susana (ed.); Bouchon-Meunier, Bernadette (ed.); Yager, Ronald R. (ed.)
Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. (English) Zbl 1385.68004
Communications in Computer and Information Science 611. Cham: Springer (ISBN 978-3-319-40580-3/pbk; 978-3-319-40581-0/ebook). xxiv, 836 p. (2016).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
\textit{J. P. Carvalho} (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20--24, 2016. Proceedings. Part II. Cham: Springer (2016; Zbl 1385.68004)
Full Text: DOI
Forssell, Henrik; Gylterud, Håkon Robbestad; Spivak, David I.
Type theoretical databases. (English) Zbl 06751234
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-27682-3/pbk; 978-3-319-27683-0/ebook). Lecture Notes in Computer Science 9537, 117-129 (2016).
MSC:  03B70
PDF BibTeX XML Cite
\textit{H. Forssell} et al., Lect. Notes Comput. Sci. 9537, 117--129 (2016; Zbl 06751234)
Full Text: DOI arXiv
Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas
Verification of evolving graph-structured data under expressive path constraints. (English) Zbl 1369.68181
Martens, Wim (ed.) et al., 19th international conference on database theory, ICDT ’16, Bordeaux, France, March 15–18, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-002-6). LIPIcs – Leibniz International Proceedings in Informatics 48, Article 15, 19 p. (2016).
MSC:  68P15 68P05 68Q60
PDF BibTeX XML Cite
\textit{D. Calvanese} et al., LIPIcs -- Leibniz Int. Proc. Inform. 48, Article 15, 19~p. (2016; Zbl 1369.68181)
Full Text: DOI
Muñoz, Pablo; Vortmeier, Nils; Zeume, Thomas
Dynamic graph queries. (English) Zbl 1369.68192
Martens, Wim (ed.) et al., 19th international conference on database theory, ICDT ’16, Bordeaux, France, March 15–18, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-002-6). LIPIcs – Leibniz International Proceedings in Informatics 48, Article 14, 18 p. (2016).
MSC:  68P15 68P05
PDF BibTeX XML Cite
\textit{P. Muñoz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 48, Article 14, 18~p. (2016; Zbl 1369.68192)
Full Text: DOI
Runkler, Thomas A.
Data analytics. Models and algorithms for intelligent data analysis. 2nd edition. (English) Zbl 1373.68007
Wiesbaden: Springer Vieweg (ISBN 978-3-658-14074-8/pbk; 978-3-658-14075-5/ebook). xii, 150 p. (2016).
Reviewer: Ruxandra Stoean (Craiova)
MSC:  68-01 62H30 62J05 62M10 68P01 68T05
PDF BibTeX XML Cite
\textit{T. A. Runkler}, Data analytics. Models and algorithms for intelligent data analysis. 2nd edition. Wiesbaden: Springer Vieweg (2016; Zbl 1373.68007)
Full Text: DOI
Bailey, David H.; Borwein, Jonathan M.
Experimental mathematics in the society of the future. (English) Zbl 1353.01023
König, Wolfgang (ed.), Mathematics and society. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-164-4/hbk; 978-3-03719-664-9/ebook). 7-25 (2016).
Reviewer: Teodora-Liliana Rădulescu (Craiova)
MSC:  01A80 01A67
PDF BibTeX XML Cite
\textit{D. H. Bailey} and \textit{J. M. Borwein}, in: Mathematics and society. Zürich: European Mathematical Society (EMS). 7--25 (2016; Zbl 1353.01023)
Full Text: DOI
Vannet, Thomas; Kunihiro, Noboru
Private information retrieval with preprocessing based on the approximate GCD problem. (English) Zbl 1396.68042
Dunkelman, Orr (ed.) et al., Selected areas in cryptography – SAC 2015. 22nd international conference, Sackville, NB, Canada, August 12–14, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-31300-9/pbk; 978-3-319-31301-6/ebook). Lecture Notes in Computer Science 9566, 227-240 (2016).
MSC:  68P25 68P20 94A60
PDF BibTeX XML Cite
\textit{T. Vannet} and \textit{N. Kunihiro}, Lect. Notes Comput. Sci. 9566, 227--240 (2016; Zbl 1396.68042)
Full Text: DOI
Ishai, Yuval; Kushilevitz, Eyal; Lu, Steve; Ostrovsky, Rafail
Private large-scale databases with distributed searchable symmetric encryption. (English) Zbl 1333.68103
Sako, Kazue (ed.), Topics in cryptology – CT-RSA 2016. The cryptographers’ track at the RSA conference 2016, San Francisco, CA, USA, February 29 – March 4, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-29484-1/pbk; 978-3-319-29485-8/ebook). Lecture Notes in Computer Science 9610, 90-107 (2016).
MSC:  68P25 68P15 94A60
PDF BibTeX XML Cite
\textit{Y. Ishai} et al., Lect. Notes Comput. Sci. 9610, 90--107 (2016; Zbl 1333.68103)
Full Text: DOI
Barceló, Pablo; Fontaine, Gaëlle
On the data complexity of consistent query answering over graph databases. (English) Zbl 1365.68196
Arenas, Marcelo (ed.) et al., 18th international conference on database theory, ICDT’15, Brussels, Belgium, March 23–27, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-79-8). LIPIcs – Leibniz International Proceedings in Informatics 31, 380-397 (2015).
MSC:  68P15 68Q42 68T27
PDF BibTeX XML Cite
\textit{P. Barceló} and \textit{G. Fontaine}, LIPIcs -- Leibniz Int. Proc. Inform. 31, 380--397 (2015; Zbl 1365.68196)
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
Biographic Reference
all top 3
Software