×

Found 443 Documents (Results 1–100)

Elements of digital geometry, mathematical morphology, and discrete optimization. (English) Zbl 1495.52001

Singapore: World Scientific (ISBN 978-981-12-4829-0/hbk; 978-981-12-4831-3/ebook). xxiii, 461 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

A new kind of implication to reason with unknown information. (English) Zbl 07493553

Braud, Agnès (ed.) et al., Formal concept analysis. 16th international conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12733, 74-90 (2021).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Galois connections for patterns: an algebra of labelled graphs. (English) Zbl 1467.68176

Cochez, Michael (ed.) et al., Graph structures for knowledge representation and reasoning. 6th international workshop, GKR 2020, virtual event, September 5, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12640, 125-150 (2021).
PDFBibTeX XMLCite
Full Text: DOI

An elementary overview of mathematical structures. Algebra, topology and categories. (English) Zbl 1468.18001

Hackensack, NJ: World Scientific (ISBN 978-981-12-2031-9/hbk; 978-981-12-2033-3/ebook). x, 382 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Galois connections between unbalanced structures in a fuzzy framework. (English) Zbl 1512.06002

Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 736-747 (2020).
MSC:  06A15
PDFBibTeX XMLCite
Full Text: DOI

On categories of \(L\)-fuzzifying approximation spaces, \(L\)-fuzzifying pretopological spaces and \(L\)-fuzzifying closure spaces. (English) Zbl 1514.54005

Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 226-239 (2020).
MSC:  54A40
PDFBibTeX XMLCite
Full Text: DOI

Lower cone distribution functions and set-valued quantiles form Galois connections. (English. Russian original) Zbl 1459.60027

Theory Probab. Appl. 65, No. 2, 179-190 (2020); translation from Teor. Veroyatn. Primen. 65, No. 2, 221-236 (2020).
MSC:  60E05 62H05
PDFBibTeX XMLCite
Full Text: DOI arXiv

The duality theory of general \(\mathcal{Z}\)-continuous posets. (English) Zbl 07513486

Jung, Achim (ed.) et al., Proceedings of the 8th international symposium on domain theory and its applications, ISDT 2019, Yangzhou, China, June 14–17, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 345, 281-292 (2019).
MSC:  68Q55
PDFBibTeX XMLCite
Full Text: DOI

Learning unions of \(k\)-testable languages. (English) Zbl 1425.68150

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 328-339 (2019).
MSC:  68Q32 06A15 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards Galois connections over positive semifields. (English) Zbl 1455.68203

Carvalho, Joao Paulo (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. Commun. Comput. Inf. Sci. 611, 81-92 (2016).
MSC:  68T30 06A15 12K10
PDFBibTeX XMLCite
Full Text: DOI Link

Causally consistent dynamic slicing. (English) Zbl 1392.68313

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 18, 15 p. (2016).
MSC:  68Q85 06A15 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

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