×

Found 1,897 Documents (Results 1–100)

100
MathJax
Newest 1st
Cornejo, M. Eugenia; Medina, Jesús; Rubio-Manzano, Clemente

Linguistic descriptions of data via fuzzy formal concept analysis. (English) Zbl 1471.68276

Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 119-125 (2022).
MSC:  68T30 68P15
PDF BibTeX XML Cite
\textit{M. E. Cornejo} et al., Stud. Comput. Intell. 959, 119--125 (2022; Zbl 1471.68276)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin

Checking robustness between weak transactional consistency models. (English) Zbl 1473.68063

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 87-117 (2021).
MSC:  68P15 68N30 68Q60 68Q85
PDF BibTeX XML Cite
\textit{S. M. Beillahi} et al., Lect. Notes Comput. Sci. 12648, 87--117 (2021; Zbl 1473.68063)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Milovanović, Zdravko N.; Papić, Ljubiša R.; Milovanović, Snježana Z.; Janičić, Milovanović Valentina Z.; Dumonjić-Milovanović, Svetlana R.; Branković, Dejan Lj.

Qualitative analysis in the reliability assessment of the steam turbine plant. (English) Zbl 1469.90067

Kumar, Amit (ed.) et al., The handbook of reliability, maintenance, and system safety through mathematical modeling. Amsterdam: Elsevier/Academic Press. 179-313 (2021).
MSC:  90B25
PDF BibTeX XML Cite
\textit{Z. N. Milovanović} et al., in: The handbook of reliability, maintenance, and system safety through mathematical modeling. Amsterdam: Elsevier/Academic Press. 179--313 (2021; Zbl 1469.90067)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Martínez F., José A.; Pazos R., Rodolfo A.; Puga, Héctor; Gaspar H., Juana

Development of a virtual view for processing complex natural language queries. (English) Zbl 07392090

Castillo, Oscar (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer. Stud. Comput. Intell. 862, 715-725 (2020).
MSC:  68T37
PDF BibTeX XML Cite
\textit{J. A. Martínez F.} et al., Stud. Comput. Intell. 862, 715--725 (2020; Zbl 07392090)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Sidorov, Grigori; Pazos R., Rodolfo A.; Martínez F., José A.; Carpio, J. Martín; Aguirre L., Alan G.

Configuration module for treating design anomalies in databases for a natural language interface to databases. (English) Zbl 07392089

Castillo, Oscar (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer. Stud. Comput. Intell. 862, 703-714 (2020).
MSC:  68T37
PDF BibTeX XML Cite
\textit{G. Sidorov} et al., Stud. Comput. Intell. 862, 703--714 (2020; Zbl 07392089)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Thalheim, Bernhard

Schema optimisation instead of (local) normalisation. (English) Zbl 1470.68042

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. Lect. Notes Comput. Sci. 12012, 281-300 (2020).
Reviewer: Jaroslav Pokorný (Praha)
MSC:  68P15
PDF BibTeX XML Cite
\textit{B. Thalheim}, Lect. Notes Comput. Sci. 12012, 281--300 (2020; Zbl 1470.68042)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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 arXiv
  • logo of hbz
  • logo of WorldCat
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. Lect. Notes Comput. Sci. 11442, 255-285 (2019).
MSC:  68P10 94A60
PDF BibTeX XML Cite
\textit{B. Libert} et al., Lect. Notes Comput. Sci. 11442, 255--285 (2019; Zbl 07159128)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Cabrera, Benjamin; Heindel, Tobias; Heckel, Reiko; König, Barbara

Updating probabilistic knowledge on condition/event nets using Bayesian networks. (English) Zbl 07378571

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 27, 17 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{B. Cabrera} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 27, 17 p. (2018; Zbl 07378571)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
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. LIPIcs – Leibniz Int. Proc. Inform. 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 arXiv
  • logo of hbz
  • logo of WorldCat
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. LIPIcs – Leibniz Int. Proc. Inform. 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 arXiv
  • logo of hbz
  • logo of WorldCat
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. LIPIcs – Leibniz Int. Proc. Inform. 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 arXiv
  • logo of hbz
  • logo of WorldCat
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. LIPIcs – Leibniz Int. Proc. Inform. 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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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. Lect. Notes Comput. Sci. 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 Link
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
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 arXiv
  • logo of hbz
  • logo of WorldCat
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 arXiv
  • logo of hbz
  • logo of WorldCat

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