×

Found 486 Documents (Results 1–100)

Green’s functions for the isotropic planar relaxed micromorphic model – concentrated force and concentrated couple. arXiv:2311.00707

Preprint, arXiv:2311.00707 [math.AP] (2023).
BibTeX Cite
Full Text: DOI arXiv

Algorithmic aspects of small quasi-kernels. (English) Zbl 07682423

Bekos, Michael A. (ed.) et al., Graph-theoretic concepts in computer science. 48th international workshop, WG 2022, Tübingen, Germany, June 22–24, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13453, 370-382 (2022).
MSC:  68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Can formal languages help pangenomics to represent and analyze multiple genomes? (English) Zbl 07570995

Diekert, Volker (ed.) et al., Developments in language theory. 26th international conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13257, 3-12 (2022).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

A linear-time parameterized algorithm for computing the width of a DAG. (English) Zbl 07538582

Kowalik, Łukasz (ed.) et al., Graph-theoretic concepts in computer science. 47th international workshop, WG 2021, Warsaw, Poland, June 23–25, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12911, 257-269 (2021).
MSC:  68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Can we replace reads by numeric signatures? Lyndon fingerprints as representations of sequencing reads for machine learning. (English) Zbl 1477.92012

Martín-Vide, Carlos (ed.) et al., Algorithms for computational biology. 8th international conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12715, 16-28 (2021).
MSC:  92D20 68T05
PDFBibTeX XMLCite
Full Text: DOI

Integrating topological proofs with model checking to instrument iterative design. (English) Zbl 1507.68195

Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 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. 12076, 53-74 (2020).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Analytical solutions of the cylindrical bending problem for the relaxed micromorphic continuum and other generalized continua (including full derivations). arXiv:2012.10391

Preprint, arXiv:2012.10391 [math.CA] (2020).
BibTeX Cite
Full Text: DOI arXiv

Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions. (English) Zbl 1515.68295

Gamper, Johann (ed.) et al., 26th international symposium on temporal representation and reasoning, TIME 2019. Málaga, Spain, October 16–19, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 147, Article 16, 17 p. (2019).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

On restricted disjunctive temporal problems: faster algorithms and tractability frontier. (English) Zbl 1487.68211

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 10, 20 p. (2018).
MSC:  68T20 68Q17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Faster dynamic controllability checking for simple temporal networks with uncertainty. (English) Zbl 1487.68207

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 8, 16 p. (2018).
MSC:  68T20 68P05
PDFBibTeX XMLCite
Full Text: DOI

Listing subgraphs by Cartesian decomposition. (English) Zbl 1512.68207

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 84, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Curvature: a variational approach. (English) Zbl 1409.49001

Memoirs of the American Mathematical Society 1225. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2646-0/print; 978-1-4704-4913-1/ebook). vi, 146 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tight lower bounds for the number of inclusion-minimal \(st\)-cuts. (English) Zbl 1519.05120

Brandstädt, Andreas (ed.) et al., Graph-theoretic concepts in computer science. 44th international workshop, WG 2018, Cottbus, Germany, June 27–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11159, 100-110 (2018).
MSC:  05C30 05C40
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

Biographic Reference

all top 3

Software