×

Found 791 Documents (Results 1–100)

100
MathJax

Robust food-energy-water-environmental security management: Stochastic quasigradient procedure for linkage of distributed optimization models under asymmetric information and uncertainty. (English. Ukrainian original) Zbl 07514994

Cybern. Syst. Anal. 58, No. 1, 45-57 (2022); translation from Kibern. Sist. Anal. 58, No. 1, 55-69 (2022).
MSC:  90C30 91B74
PDF BibTeX XML Cite
Full Text: DOI

Tableau-based decision procedure for non-Fregean logic of sentential identity. (English) Zbl 07437071

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 41-57 (2021).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Deciding differential privacy for programs with finite inputs and outputs. (English) Zbl 07299465

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 141-154 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI arXiv

About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability. (English) Zbl 1484.03030

Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 67-83 (2020).
PDF BibTeX XML Cite
Full Text: DOI HAL

An efficient decision procedure for propositional projection temporal logic. (English) Zbl 1478.03031

Du, Ding-Zhu (ed.) et al., Computing and combinatorics. 25th international conference, COCOON 2019, Xi’an, China, July 29–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11653, 503-515 (2019).
MSC:  03B44
PDF BibTeX XML Cite
Full Text: DOI

Equivalence checking of prefix-free transducers and deterministic two-tape automata. (English) Zbl 1425.68239

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, 146-158 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Lagrange’s theorem for binary squares. (English) Zbl 07378335

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 18, 14 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Sums of palindromes: an approach via automata. (English) Zbl 07228445

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 54, 12 p. (2018).
MSC:  11B13 68Q45 68R15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fractional order crowd dynamics. Cyber-human system modeling and control. (English) Zbl 1415.91001

Fractional Calculus in Applied Sciences and Engineering 4. Berlin: De Gruyter (ISBN 978-3-11-047281-3/hbk; 978-3-11-047398-8/ebook). xiii, 123 p. (2018).
PDF BibTeX XML Cite

Lazy automata techniques for WS1S. (English) Zbl 1452.03090

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017).
MSC:  03D05 03B25 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

The logic of conditional beliefs: neighbourhood semantics and sequent calculus. (English) Zbl 1400.03030

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 322-341 (2016).
MSC:  03B42 03F05
PDF BibTeX XML Cite

Consistency and consensus of intuitionistic fuzzy preference relations in group decision making. (English) Zbl 1371.91044

Angelov, Plamen (ed.) et al., Imprecision and uncertainty in information representation and processing. New tools based on intuitionistic fuzzy sets and generalized nets. Cham: Springer (ISBN 978-3-319-26301-4/hbk; 978-3-319-26302-1/ebook). Studies in Fuzziness and Soft Computing 332, 189-206 (2016).
MSC:  91B06
PDF BibTeX XML Cite
Full Text: DOI

Satisfiability of linear time mu-calculus on finite traces. (English) Zbl 1476.68178

Dinh, Thang N. (ed.) et al., Computing and combinatorics. 22nd international conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2–4, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9797, 611-622 (2016).
MSC:  68Q85 03B44
PDF BibTeX XML Cite
Full Text: DOI

Nested antichains for WS1S. (English) Zbl 1420.68186

Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 658-674 (2015).
MSC:  68T15 03B25 03B35 03D05
PDF BibTeX XML Cite
Full Text: DOI

A coalgebraic decision procedure for WS1S. (English) Zbl 1373.03015

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 487-503 (2015).
MSC:  03B25 03D05 68T15
PDF BibTeX XML Cite
Full Text: DOI

Learning the parameters of a non compensatory sorting model. (English) Zbl 1405.90067

Walsh, Toby (ed.), Algorithmic decision theory. 4th international conference, ADT 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23113-6/pbk; 978-3-319-23114-3/ebook). Lecture Notes in Computer Science 9346. Lecture Notes in Artificial Intelligence, 153-170 (2015).
MSC:  90B50 91B06 90C11
PDF BibTeX XML Cite
Full Text: DOI HAL

Mechanical proofs of properties of the Tribonacci word. (English) Zbl 1350.68218

Manea, Florin (ed.) et al., Combinatorics on words. 10th international conference, WORDS 2015, Kiel, Germany, September 14–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23659-9/pbk; 978-3-319-23660-5/ebook). Lecture Notes in Computer Science 9304, 170-190 (2015).
MSC:  68R15 03B25 03B35 11B85 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv

A decision procedure for satisfiability in separation logic with inductive predicates. (English) Zbl 1401.68111

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 25, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Unified procedure for bipolar method. (English) Zbl 1333.90063

Zadnik Stirn, Lidija (ed.) et al., SOR ’13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25–27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR) (ISBN 978-961-6165-40-2/pbk). 213-218 (2013).
MSC:  90B50
PDF BibTeX XML Cite

Verified decision procedures for MSO on words based on derivatives of regular expressions. (English) Zbl 1323.68346

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 3-12 (2013).
MSC:  68Q45 03B25 03D05 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI Link

Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders. (English) Zbl 1398.03078

Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 151-164 (2013).
MSC:  03B44 03B25 68Q25
PDF BibTeX XML Cite
Full Text: DOI

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