×

Found 1,897 Documents (Results 1–100)

100
MathJax

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Software