×

Found 346 Documents (Results 1–100)

Reconfiguration of time-respecting arborescences. (English) Zbl 07789725

Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 521-532 (2023).
MSC:  68P05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

An additive approximation scheme for the Nash social welfare maximization with identical additive valuations. (English) Zbl 07577710

Bazgan, Cristina (ed.) et al., Combinatorial algorithms. 33rd international workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13270, 341-354 (2022).
MSC:  68Rxx 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Asynchronous unfold/fold transformation for fixpoint logic. (English) Zbl 07570113

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 39-56 (2022).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Path cover problems with length cost. (English) Zbl 07556587

Mutzel, Petra (ed.) et al., WALCOM: algorithms and computation. 16th international conference and workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13174, 396-408 (2022).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

A Two-phase Framework with a Bézier Simplex-based Interpolation Method for Computationally Expensive Multi-objective Optimization. arXiv:2203.15292

Preprint, arXiv:2203.15292 [math.OC] (2022).
BibTeX Cite
Full Text: DOI arXiv

Sized types with usages for parallel complexity of Pi-calculus processes. (English) Zbl 07730636

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 34, 22 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Architecture-guided test resource allocation via logic. (English) Zbl 1489.68043

Loulergue, Frédéric (ed.) et al., Tests and proofs. 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12740, 22-38 (2021).
MSC:  68M15 03B70 68M07
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fixed-parameter algorithms for graph constraint logic. (English) Zbl 07764106

Cao, Yixin (ed.) et al., 15th international symposium on parameterized and exact computation, IPEC 2020, Hong Kong, China, virtual conference, December 14–18, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 180, Article 15, 15 p. (2020).
MSC:  68Q25 68Q27 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Reconfiguration of spanning trees with many or few leaves. (English) Zbl 07651163

Grandoni, Fabrizio (ed.) et al., 28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 173, Article 24, 15 p. (2020).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fast and linear-time string matching algorithms based on the distances of \(q\)-gram occurrences. (English) Zbl 1515.68386

Faro, Simone (ed.) et al., 18th international symposium on experimental algorithms, SEA 2020, Catania, Italy, June 16–18, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 160, Article 13, 13 p. (2020).
MSC:  68W32
PDFBibTeX XMLCite
Full Text: DOI arXiv

Shortest reconfiguration of colorings under kempe changes. (English) Zbl 07650920

Paul, Christophe (ed.) et al., 37th international symposium on theoretical aspects of computer science, STACS 2020, Montpellier, France, March 10–13, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 154, Article 35, 14 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

ConSORT: context- and flow-sensitive ownership refinement types for imperative programs. (English) Zbl 1508.68079

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 684-714 (2020).
MSC:  68N30 68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fold/unfold transformations for fixpoint logic. (English) Zbl 1483.68196

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 195-214 (2020).
MSC:  68Q60 03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI

Metric learning for ordered labeled trees with \(pq\)-grams. (English) Zbl 1464.68319

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 1475-1482 (2020).
MSC:  68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

The perfect matching reconfiguration problem. (English) Zbl 07561724

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 80, 14 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algorithms and hardness results for the maximum balanced connected subgraph problem. (English) Zbl 1435.68240

Li, Yingshu (ed.) et al., Combinatorial optimization and applications. 13th international conference, COCOA 2019, Xiamen, China, December 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11949, 303-315 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Diameter of colorings under Kempe changes. (English) Zbl 1456.05055

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, 52-64 (2019).
MSC:  05C15 05C85 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Numerical methods for a nonstationary 3D singular integral equation of electrodynamics. (English. Russian original) Zbl 1431.78011

Differ. Equ. 55, No. 9, 1250-1257 (2019); translation from Differ. Uravn. 55, No. 9, 1293-1300 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Lambda-definable order-3 tree functions are well-quasi-ordered. (English) Zbl 1528.68170

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 14, 15 p. (2018).
MSC:  68Q45 03B40 68Q42
PDFBibTeX XMLCite
Full Text: DOI

ICE-based refinement type discovery for higher-order functional programs. (English) Zbl 1468.68058

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 365-384 (2018).
MSC:  68N18 68Q60 68T05
PDFBibTeX XMLCite
Full Text: DOI

On keen Heegaard splittings. (English) Zbl 1423.57039

Izumiya, Shyuichi (ed.) et al., Singularities in generic geometry. Proceedings of the 4th workshop on singularities in generic geometry and applications (Valencia IV), Kobe, Japan, June 3–6, 2015 and Kyoto, Japan, June 8–10, 2015. Tokyo: Mathematical Society of Japan (MSJ). Adv. Stud. Pure Math. 78, 293-311 (2018).
MSC:  57N10 57M50
PDFBibTeX XMLCite
Full Text: arXiv

Image of conformally covariant, symmetry breaking operators for \(\mathbb R^{p,q}\). (English) Zbl 1409.22010

Dobrev, Vladimir (ed.), Quantum theory and symmetries with Lie theory and its applications in physics. Volume 1. QTS-X/LT-XII, Varna, Bulgaria, June 19–25, 2017. Singapore: Springer. Springer Proc. Math. Stat. 263, 3-35 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Bezier Simplex Fitting: Describing Pareto Fronts of Simplicial Problems with Small Samples in Multi-objective Optimization. arXiv:1812.05222

Preprint, arXiv:1812.05222 [math.OC] (2018).
BibTeX Cite
Full Text: arXiv

Secure and efficient pairing at 256-bit security level. (English) Zbl 1521.94050

Gollmann, Dieter (ed.) et al., Applied cryptography and network security. 15th international conference, ACNS 2017, Kanazawa, Japan, July 10–12, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10355, 59-79 (2017).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Pumping lemma for higher-order languages. (English) Zbl 1442.68078

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 97, 14 p. (2017).
MSC:  68Q45 68Q42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Improved methods for computing distances between unordered trees using integer programming. (English) Zbl 1474.90294

Gao, Xiaofeng (ed.) et al., Combinatorial optimization and applications. 11th international conference, COCOA 2017, Shanghai, China, December 16–18, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10628, 45-60 (2017).
MSC:  90C10 90C35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence. (English) Zbl 1486.68035

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 53-68 (2017).
MSC:  68N18 03B40 68Q60
PDFBibTeX XMLCite
Full Text: DOI

On word and frontier languages of unsafe higher-order grammars. (English) Zbl 1388.68157

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 111, 13 p. (2016).
MSC:  68Q45 68Q42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Compact bit encoding schemes for simply-typed lambda-terms. (English) Zbl 1361.68051

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 146-157 (2016).
MSC:  68N18 68P30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Temporal verification of higher-order functional programs. (English) Zbl 1347.68233

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 57-68 (2016).
MSC:  68Q60 68N18 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Race against the teens – benchmarking mechanized math on pre-university problems. (English) Zbl 1475.68459

Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 213-227 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Efficient subformula orders for real quantifier elimination of non-prenex formulas. (English) Zbl 1460.68086

Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 236-251 (2016).
MSC:  68T05 03C10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software