×

Found 979 Documents (Results 1–100)

Reflections on a scientific career and its possible legacy. (English) Zbl 1522.68010

Baudrier, Étienne (ed.) et al., Discrete geometry and mathematical morphology. Second international joint conference, DGMM 2022, Strasbourg, France, October 24–27, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13493, 3-16 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Some relationships between the notions of \(f\)-inclusion and \(f\)-contradiction. (English) Zbl 1509.03155

Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 175-181 (2022).
MSC:  03E72 06A15
PDFBibTeX XMLCite
Full Text: DOI

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

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

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

Representative set of objects in rough sets based on Galois connections. (English) Zbl 1509.68265

Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 349-361 (2020).
MSC:  68T37 06A15
PDFBibTeX XMLCite
Full Text: DOI

Attribute reduction from closure operators and matroids in rough set theory. (English) Zbl 1509.68274

Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 183-192 (2020).
MSC:  68T37 05B35 06A15
PDFBibTeX XMLCite
Full Text: DOI

Galois pairs with the modal operators of paraconsistent logic \(J_3\). (English) Zbl 1496.03108

de Barros, J. Acacio (ed.) et al., A true polymath. A tribute to Francisco Antonio Doria. Based on the meeting, Rio de Janeiro, Brazil, December 2018. [s.l.]: College Publications. Acad. Bras. Filos. 2, 143-167 (2020).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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).
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

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field