×

Found 923 Documents (Results 1–100)

100
MathJax

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

Galois connections for recursive types. (English) Zbl 1440.68042

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Category theory as a foundation for the concept analysis of complex systems and time series. (English) Zbl 1454.06003

Kuś, Marek (ed.) et al., Category theory in physics, mathematics, and philosophy. Proceedings of the conference “Category Theory in Physics, Mathematics and Philosophy”, Warsaw, Poland, November 16–17, 2017. Cham: Springer; Warsaw: International Center for Formal Ontology. Springer Proc. Phys. 235, 119-134 (2019).
PDF BibTeX XML Cite
Full Text: DOI

An adjoint pair for intuitionistic \(L\)-fuzzy values. (English) Zbl 1430.68334

Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 167-173 (2019).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

On neural network architecture based on concept lattices. (English) Zbl 1461.68185

Kryszkiewicz, Marzena (ed.) et al., Foundations of intelligent systems. 23rd international symposium, ISMIS 2017, Warsaw, Poland, June 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10352, 653-663 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification