×

Found 281 Documents (Results 1–100)

Preferential voting and applications: approaches based on data envelopment analysis. (English) Zbl 07731954

Studies in Systems, Decision and Control 471. Cham: Springer (ISBN 978-3-031-30402-6/hbk; 978-3-031-30405-7/pbk; 978-3-031-30403-3/ebook). ix, 185 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Mechanizing hypothesis formation. Principles and case studies. (English) Zbl 1502.68011

Boca Raton, FL: CRC Press/Science Publishers (ISBN 978-0-367-54980-0/hbk; 978-1-003-09144-8/ebook). xvi, 345 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Collected works of William P. Thurston with commentary: III. Dynamics, computer science and general interest. Edited by Benson Farb, David Gabai and Steven P. Kerckhoff. (English) Zbl 1512.57001

Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6390-8/hbk; 978-1-4704-6835-4/ebook; 978-1-4704-5164-6/ebook). xxi, 604 p. (2022).
PDFBibTeX XMLCite

Mining interpretable spatio-temporal logic properties for spatially distributed systems. (English) Zbl 1497.68433

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 91-107 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Accelerating program analyses in Datalog by merging library facts. (English) Zbl 1497.68085

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 77-101 (2021).
MSC:  68N15 68N17 68P15
PDFBibTeX XMLCite
Full Text: DOI

A note on \(\mathbb{C}^2\) interpreted over finite data-words. (English) Zbl 07760487

Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 17, 14 p. (2020).
MSC:  03B25 03B44 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. (English) Zbl 1448.68033

Studies in Computational Intelligence 835. Cham: Springer (ISBN 978-3-030-31040-0/hbk; 978-3-030-31041-7/ebook). xi, 649 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Fuzzy transforms for image processing and data analysis. Core concepts, processes and applications. (English) Zbl 1475.94001

Cham: Springer (ISBN 978-3-030-44612-3/hbk; 978-3-030-44615-4/pbk; 978-3-030-44613-0/ebook). x, 217 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

The beta-Bernoulli process and algebraic effects. (English) Zbl 1499.68068

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 141, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

MSO queries on trees: enumerating answers under updates using forest algebras. (English) Zbl 1497.68153

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 769-778 (2018).
PDFBibTeX XMLCite
Full Text: DOI

On symbolic heaps modulo permission theories. (English) Zbl 1491.68050

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 25, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Application of soft computing and intelligent methods in geophysics. (English) Zbl 1400.86001

Springer Geophysics. Cham: Springer (ISBN 978-3-319-66531-3/hbk; 978-3-319-66532-0/ebook). xvii, 533 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings. Part I. (English) Zbl 1481.68019

Communications in Computer and Information Science 853. Cham: Springer (ISBN 978-3-319-91472-5/pbk; 978-3-319-91473-2/ebook). xliv, 806 p. (2018).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018. Proceedings. Part II. (English) Zbl 1481.68018

Communications in Computer and Information Science 854. Cham: Springer (ISBN 978-3-319-91475-6/pbk; 978-3-319-91476-3/ebook). xx, 766 p. (2018).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Information processing and management of uncertainty in knowledge-based systems. Applications. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings, Part III. (English) Zbl 1481.68020

Communications in Computer and Information Science 855. Cham: Springer (ISBN 978-3-319-91478-7/pbk; 978-3-319-91479-4/ebook). xx, 764 p. (2018).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Tractability of separation logic with inductive definitions: beyond lists. (English) Zbl 1442.03013

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 37, 17 p. (2017).
MSC:  03B70 68P05 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Biabduction (and related problems) in array separation logic. (English) Zbl 1496.03125

de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 472-490 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Approximate relational Hoare logic for continuous random samplings. (English) Zbl 1401.68206

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A sequent calculus for a modal logic on finite data trees. (English) Zbl 1370.03043

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 32, 16 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Algebras and coalgebras in the light affine lambda calculus. (English) Zbl 1360.68328

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 114-126 (2015).
PDFBibTeX XMLCite
Full Text: DOI HAL

On compiling structured CNFs to OBDDs. (English) Zbl 1378.68027

Beklemishev, Lev D. (ed.) et al., Computer science – theory and applications. 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20296-9/pbk; 978-3-319-20297-6/ebook). Lecture Notes in Computer Science 9139, 80-93 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

MSO queries on trees: enumerating answers under updates. (English) Zbl 1401.68064

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. 67, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

On the succinctness of query rewriting over shallow ontologies. (English) Zbl 1401.68316

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. 57, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. (English) Zbl 1385.68008

Communications in Computer and Information Science 444. Cham: Springer (ISBN 978-3-319-08851-8/pbk; 978-3-319-08852-5/ebook). xvii, 569 p. (2014).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part I. (English) Zbl 1385.68007

Communications in Computer and Information Science 442. Cham: Springer (ISBN 978-3-319-08794-8/pbk; 978-3-319-08795-5/ebook). xxxviii, 603 p. (2014).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. (English) Zbl 1385.68006

Communications in Computer and Information Science 443. Cham: Springer (ISBN 978-3-319-08854-9/pbk; 978-3-319-08855-6/ebook). xviii, 631 p. (2014).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Data-driven statistical learning of temporal logic properties. (English) Zbl 1448.68371

Legay, Axel (ed.) et al., Formal modeling and analysis of timed systems. 12th international conference, FORMATS 2014, Florence, Italy, September 8–10, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8711, 23-37 (2014).
PDFBibTeX XMLCite
Full Text: DOI

A dynamic data structure for MSO properties in graphs with bounded tree-depth. (English) Zbl 1423.68123

Schulz, Andreas S. (ed.) et al., Algorithms – ESA 2014. 22nd annual European symposium, Wrocław, Poland, September 8–10, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8737, 334-345 (2014).
MSC:  68P05 03B15 05C85 68R10 68W40
PDFBibTeX XMLCite
Full Text: DOI

A coalgebraic approach to linear-time logics. (English) Zbl 1405.68192

Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 426-440 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Abstract acceleration of general linear loops. (English) Zbl 1284.68188

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 529-540 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Data analysis, machine learning and knowledge discovery. Revised versions of selected papers presented at the 36th annual conference of the German Classification Society, Gesellschaft für Klassifikation, GfKl 2012, Hildesheim, Germany, August 1–3, 2012. (English) Zbl 1301.68022

Studies in Classification, Data Analysis, and Knowledge Organization. Cham: Springer (ISBN 978-3-319-01594-1/pbk; 978-3-319-01595-8/ebook). xxi, 470 p. (2014).
MSC:  68-06 68P01 68T05 68T30 62-07 62P99
PDFBibTeX XMLCite
Full Text: DOI

Quantitative reasoning for proving lock-freedom. (English) Zbl 1366.68171

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 124-133 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about data repetitions with counter systems. (English) Zbl 1366.68202

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 33-42 (2013).
MSC:  68Q85 03B44 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Backdoors to q-Horn. (English) Zbl 1354.68123

Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 67-79 (2013).
MSC:  68Q25 03B05 68P05
PDFBibTeX XMLCite
Full Text: DOI

The geometry of types. (English) Zbl 1301.68184

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 167-178 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Exponential acceleration of model checking for perfect recall systems. (English) Zbl 1336.68163

Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 111-124 (2012).
PDFBibTeX XMLCite
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

Main Field

Biographic Reference

all top 3

Software