×

Found 616 Documents (Results 1–100)

DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF. (English) Zbl 1519.94200

Agrawal, Shweta (ed.) et al., Advances in cryptology – ASIACRYPT 2022. 28th international conference on the theory and application of cryptology and information security, Taipei, Taiwan, December 5–9, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13792, 340-370 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Generation of metadata for network control. (English) Zbl 1490.68038

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 23rd international conference, DCCN 2020, Moscow, Russia, September 14–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12563, 723-735 (2020).
MSC:  68M10 68M25 68R10
PDFBibTeX XMLCite
Full Text: DOI

On the structure of acyclic binary relations. (English) Zbl 1528.03202

Medina, Jesús (ed.) et al., 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. Cham: Springer. Commun. Comput. Inf. Sci. 855, 3-15 (2018).
PDFBibTeX XMLCite
Full Text: DOI

On the number of variables in special classes of random lambda-terms. (English) Zbl 1486.03031

Fill, James Allen (ed.) et al., 29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 110, Article 25, 14 p. (2018).
MSC:  03B40 05C20 05C90
PDFBibTeX XMLCite
Full Text: DOI

Open-shop scheduling for unit jobs under precedence constraints. (English) Zbl 1523.90222

Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11346, 329-340 (2018).
MSC:  90B35 68W25
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

all top 3

Software