×

Found 55 Documents (Results 1–55)

100
MathJax

Activating generalized fuzzy implications from Galois connections. (English) Zbl 1360.03070

Magdalena, Luis (ed.) et al., Enric Trillas: a passion for fuzzy sets. A collection of recent works on fuzzy logic. Cham: Springer (ISBN 978-3-319-16234-8/hbk; 978-3-319-16235-5/ebook). Studies in Fuzziness and Soft Computing 322, 201-212 (2015).
PDF BibTeX XML Cite
Full Text: DOI Link

Control of uncertain (min,+)-linear systems. (English) Zbl 1182.93088

Bru, Rafael (ed.) et al., Positive systems. Proceedings of the third multidisciplinary international symposium on positive systems: theory and applications (POSTA 09), Valencia, Spain, September 2–4, 2009. Berlin: Springer (ISBN 978-3-642-02893-9/pbk; 978-3-642-02894-6/ebook). Lecture Notes in Control and Information Sciences 389, 349-357 (2009).
MSC:  93C65 93C05 93C41
PDF BibTeX XML Cite
Full Text: DOI

Triangular norms and related operators in \(L^*\)-fuzzy set theory. (English) Zbl 1079.03043

Klement, Erich Peter (ed.) et al., Logical, algebraic, analytic and probabilistic aspects of triangular norms. Selected papers from the 24th Linz seminar on fuzzy set theory, Linz, Austria, February 4–8, 2003. Amsterdam: Elsevier (ISBN 0-444-51814-2/hbk). 231-259 (2005).
MSC:  03E72
PDF BibTeX XML Cite

Incremental execution of transformation specifications. (English) Zbl 1325.68044

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 26-38 (2004).
MSC:  68N17 68N20 68N30
PDF BibTeX XML Cite
Full Text: DOI

Implementing functional logic languages using multiple threads and stores. (English) Zbl 1323.68167

Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 90-102 (2004).
MSC:  68N18 68N17 68N20
PDF BibTeX XML Cite
Full Text: DOI

Analysis and control of discrete event systems: from timed Petri nets to algebra. (Análisis y control de sistemas de eventos discretos: de redes de Petri temporizadas al álgebra.) (Spanish) Zbl 1051.93002

Cuadernos del Instituto de Matematica “Beppo Levi” 29. Rosario: Universidad Nacional de Rosario, Facultad de Ciencias Exactas, Ingenieria y Agrimensura. viii, 121 p. (2001).
MSC:  93-02 93C65 68Q85
PDF BibTeX XML Cite

Operational Galois adjunctions. (English) Zbl 0962.18003

Coecke, Bob (ed.) et al., Current research in operational quantum logic. Algebras, categories, languages. Workshop, Free Univ. of Brussels, Belgium, June of 1998 and May of 1999. Dordrecht: Kluwer Academic Publishers. Fundam. Theor. Phys. 111, 195-218 (2000).
MSC:  18B35 81P10 06A15
PDF BibTeX XML Cite
Full Text: arXiv

Sup-T equations: State of the art. (English) Zbl 0927.03078

Kaynak, Okyay (ed.) et al., Computational intelligence: soft computing and fuzzy-neuro integration with applications. Proceedings of the NATO ASI, Manavgat, Antalya, Turkey, August 21–31, 1996. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 162, 80-93 (1998).
MSC:  03E72 06B23 06D05
PDF BibTeX XML Cite

A primer on Galois connections. (English) Zbl 0809.06006

Andima, Susan (ed.) et al., Papers on general topology and applications. Proceedings of the seventh summer conference in honor of Mary Ellen Rudin and her work, held at the University of Wisconsin, Madison, WI, USA, June 26 to 29, 1991. New York, NY: The New York Academy of Sciences,. Ann. N. Y. Acad. Sci. 704, 103-125 (1993).
PDF BibTeX XML Cite

Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. (English) Zbl 0814.03044

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 31-51 (1991).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Software