×

Found 291 Documents (Results 1–100)

Towards a PGD-based computational vademecum for robot path planning. (English) Zbl 1504.93046

Gusikhin, Oleg (ed.) et al., Informatics in control, automation and robotics. 16th international conference, ICINCO 2019 Prague, Czech Republic, July 29–31, 2019, Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 720, 1-15 (2021).
MSC:  93B11 93C85 93-08
PDFBibTeX XMLCite
Full Text: DOI

String theories involving regular membership predicates: from practice to theory and back. (English) Zbl 1528.68425

Lecroq, Thierry (ed.) et al., Combinatorics on words. 13th international conference, WORDS 2021, Rouen, France, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12847, 50-64 (2021).
MSC:  68W32
PDFBibTeX XMLCite
Full Text: DOI arXiv

An SMT solver for regular expressions and linear arithmetic over string length. (English) Zbl 1493.68182

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 289-312 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Clustering and identification of core implications. (English) Zbl 07493557

Braud, Agnès (ed.) et al., Formal concept analysis. 16th international conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12733, 138-154 (2021).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

RepLAB: a computational/numerical approach to representation theory. (English) Zbl 1471.81041

Paranjape, M. B. (ed.) et al., Quantum theory and symmetries. Proceedings of the 11th international symposium, Montréal, Canada, July 1–5, 2019. Cham: Springer. CRM Ser. Math. Phys., 643-653 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

An ontology-based approach to describe collaborative work by reusing and enriching data from an institutional repository. (English) Zbl 07516364

Pozos-Parra, Pilar (ed.) et al., Proceedings of the 11th and 12th Latin American workshop on logic/languages, algorithms and new methods of reasoning, LANMR, Puebla, Mexico, November 15, 2018 and November 15, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 354, 129-139 (2020).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Algebra generated by a finite number of Toeplitz operators with homogeneous symbols acting on the poly-Bergman spaces. (English) Zbl 07244867

Bauer, Wolfram (ed.) et al., Operator algebras, Toeplitz operators and related topics. Selected papers based on the presentations at the international workshop, Boca del Rio, Veracruz, Mexico, November 13–19, 2018. In honor of Nikolai Vasilevskin on the occasion of his 70th birthday. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 279, 383-402 (2020).
MSC:  47-XX 46Lxx
PDFBibTeX XMLCite
Full Text: DOI

A PGD-based method for robot global path planning: a primer. (English) Zbl 07782181

Gusikhin, Oleg (ed.) et al., ICINCO 2019. Proceedings of the 16th international conference on informatics in control, automation and robotics, Prague, Czech Republic, July 29–31, 2019. In 2 volumes. Setúbal: SCITEPRESS – Science and Technology Publications. 31-39, Vol. 1 (2019).
MSC:  93B11 93C85
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