×

Found 1,228 Documents (Results 201–300)

Efficient scalable constant-round MPC via garbled circuits. (English) Zbl 1417.94042

Takagi, Tsuyoshi (ed.) et al., Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10625, 471-498 (2017).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Concrete mathematics. Finitistic approach to foundations. (English) Zbl 1496.03020

Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 271-280 (2017).
MSC:  03A05 03F30 03B30
PDFBibTeX XMLCite
Full Text: DOI

Theses for computation and recursion on concrete and abstract structures. (English) Zbl 1403.03004

Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 105-126 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Temporal logics with local constraints (invited talk). (English) Zbl 1373.03020

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 2-13 (2015).
MSC:  03B44
PDFBibTeX XMLCite
Full Text: DOI

Processes in concrete during fire. (English) Zbl 1389.80007

Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 17. Proceedings of the 17th seminar (PANM), Dolní Maxov, Czech Republic, June 8–13, 2014. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics (ISBN 978-80-85823-64-6). 181-187 (2015).
PDFBibTeX XMLCite
Full Text: Link

Open maps in concrete categories and branching bisimulation for prefix orders. (English) Zbl 1351.68178

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 51-66, electronic only (2015).
MSC:  68Q85 18B99
PDFBibTeX XMLCite
Full Text: DOI

On cut-and-choose oblivious transfer and its variants. (English) Zbl 1408.94941

Iwata, Tetsu (ed.) et al., Advances in cryptology – ASIACRYPT 2015. 21st international conference on the theory and application of cryptology and information security, Auckland, New Zealand, November 29 – December 3, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9452, 386-412 (2015).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

More efficient oblivious transfer extensions with security for malicious adversaries. (English) Zbl 1370.94481

Oswald, Elisabeth (ed.) et al., Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-46799-2/pbk; 978-3-662-46800-5/ebook). Lecture Notes in Computer Science 9056, 673-701 (2015).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI Link

Structural seismic fragility analysis of RC frame with a new family of Rayleigh damping models. (English) Zbl 1304.86007

Papadrakakis, Manolis (ed.) et al., Computational methods in stochastic dynamics. Vol. 2. Selected papers based on the presentations at the 3rd international conference on computational methods in structural dynamics and earthquake engineering (COMPDYN 2011), Corfu, Greece, May 25–28, 2011. Dordrecht: Springer (ISBN 978-94-007-5133-0/hbk; 978-94-007-5134-7/ebook). Computational Methods in Applied Sciences (Springer) 26, 267-291 (2013).
MSC:  86A17 74K10 93A30
PDFBibTeX XMLCite
Full Text: DOI Link

Superlinear advantage for exact quantum algorithms. (English) Zbl 1293.68124

Proceedings of the 45th annual ACM symposium on theory of computing, STOC ’13. Palo Alto, CA, USA, June 1–4, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2029-0). 891-900 (2013).
MSC:  68Q12
PDFBibTeX XMLCite
Full Text: DOI arXiv

Non-uniform cracks in the concrete: the power of free precomputation. (English) Zbl 1326.94076

Sako, Kazue (ed.) et al., Advances in cryptology – ASIACRYPT 2013. 19th international conference on the theory and application of cryptology and information security, Bengaluru, India, December 1–5, 2013. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-42044-3/pbk). Lecture Notes in Computer Science 8270, 321-340 (2013).
MSC:  94A60 68P25
PDFBibTeX XMLCite
Full Text: DOI

Surjunctivity and reversibility of cellular automata over concrete categories. (English) Zbl 1277.37024

Picardello, Massimo A. (ed.), Trends in harmonic analysis. Selected papers of the conference on harmonic analysis, Rome, Italy, May 30–June 4, 2011. Berlin: Springer (ISBN 978-88-470-2852-4/hbk; 978-88-470-2853-1/ebook). Springer INdAM Series 3, 91-133 (2013).
Reviewer: Jan Baetens (Gent)
MSC:  37B15 68Q80 18B05
PDFBibTeX XMLCite
Full Text: DOI arXiv

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