×

Found 13,039 Documents (Results 1–100)

Sliding modes and Lyapunov functions for differential inclusions by linear programming. (English) Zbl 07627171

Gusikhin, Oleg (ed.) et al., Informatics in control, automation and robotics. 17th international conference, ICINCO 2020, Lieusaint, Paris, France, July 7–9, 2020. Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 793, 584-606 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Towards causal-consistent reversibility of imperative concurrent programs. (English) Zbl 07615952

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 213-223 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

A reversible debugger for imperative parallel programs with contracts. (English) Zbl 07615951

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 204-212 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Reversibility in Erlang: imperative constructs. (English) Zbl 07615950

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 187-203 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Formal translation from reversing Petri nets to coloured Petri nets. (English) Zbl 07615949

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 172-186 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Algeo: an algebraic approach to reversibility. (English) Zbl 07615946

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 128-145 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Certifying algorithms and relevant properties of reversible primitive permutations with Lean. (English) Zbl 07615945

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 111-127 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Reordering decision diagrams for quantum computing is harder than you might think. (English) Zbl 07615944

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 93-107 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Directed graph encoding in quantum computing supporting edge-failures. (English) Zbl 07615943

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 75-92 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Constructing all qutrit controlled Clifford+\(T\) gates in Clifford+\(T\). (English) Zbl 07615940

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 28-50 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Optimization of quantum Boolean circuits by relative-phase Toffoli gates. (English) Zbl 07615939

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 20-27 (2022).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Modal decomposition of flow data via gradient-based transport optimization. (English) Zbl 07608800

King, Rudibert (ed.) et al., Active flow and combustion control 2021. Papers contributed to the conference, Berlin, Germany, September 28–29, 2021. Cham: Springer. Notes Numer. Fluid Mech. Multidiscip. Des. 152, 203-224 (2022).
MSC:  76M99 65K10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Autoignition modes in a shockless explosion combustor. (English) Zbl 07608790

King, Rudibert (ed.) et al., Active flow and combustion control 2021. Papers contributed to the conference, Berlin, Germany, September 28–29, 2021. Cham: Springer. Notes Numer. Fluid Mech. Multidiscip. Des. 152, 35-46 (2022).
MSC:  76V05 80A25
PDF BibTeX XML Cite
Full Text: DOI

Interpretation and mechanism of restructuring of near wake flow caused by the glow discharge. (English. Russian original) Zbl 07607484

Fluid Dyn. 57, No. 1, 12-29 (2022); translation from Izv. Ross. Akad. Nauk, Mekh. Zhidk. Gaza 2022, No. 1, 14-31 (2022).
MSC:  76-XX
PDF BibTeX XML Cite
Full Text: DOI

Secure non-interactive simulation: feasibility and rate. (English) Zbl 1497.68214

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13277, 767-796 (2022).
MSC:  68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

On the concrete security of TLS 1.3 PSK mode. (English) Zbl 1496.94038

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 876-906 (2022).
MSC:  94A60 68P25 68M11
PDF BibTeX XML Cite
Full Text: DOI

On building fine-grained one-way functions from strong average-case hardness. (English) Zbl 1497.68209

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 584-613 (2022).
MSC:  68Q10 68Q17 94A60
PDF BibTeX XML Cite
Full Text: DOI

SNARGs for P from sub-exponential DDH and QR. (English) Zbl 1497.68213

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 520-549 (2022).
MSC:  68Q10 68Q11 94A60
PDF BibTeX XML Cite
Full Text: DOI

Gemini: elastic SNARKs for diverse environments. (English) Zbl 1497.68208

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 427-457 (2022).
MSC:  68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

Adaptively secure computation for RAM programs. (English) Zbl 1497.68216

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 187-216 (2022).
MSC:  68Q11 68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

A PCP theorem for interactive proofs and applications. (English) Zbl 1497.68207

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 64-94 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Round-optimal black-box protocol compilers. (English) Zbl 1499.68118

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 210-240 (2022).
MSC:  68Q10 68N20 94A60
PDF BibTeX XML Cite
Full Text: DOI

Round-optimal and communication-efficient multiparty computation. (English) Zbl 1497.68210

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 65-95 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Stationary and oscillating solutions of the ionization equations. (English. Russian original) Zbl 07576945

Comput. Math. Math. Phys. 62, No. 7, 1131-1151 (2022); translation from Zh. Vychisl. Mat. Mat. Fiz. 62, No. 7, 1158-1179 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. (English) Zbl 1498.68014

Lecture Notes in Computer Science 13354. Cham: Springer (ISBN 978-3-031-09004-2/pbk; 978-3-031-09005-9/ebook). x, 239 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software