×

Found 197 Documents (Results 1–100)

An automated quantitative information flow analysis for concurrent programs. (English) Zbl 1522.68135

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 43-63 (2022).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Realization of a deformed parafermionic algebra. (English) Zbl 1166.81323

Kielanowski, Piotr (ed.) et al., Geometric methods in physics. Proceedings of the xxvii workshop on geometric methods in physics, Białowieża, Poland, 29 June – 5 July 2008. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0610-0/hbk). AIP Conference Proceedings 1079, 102-107 (2008).
PDFBibTeX XMLCite

SimDiv: A new solution for protein comparison. (English) Zbl 1152.92009

Castillo, Oscar (ed.) et al., Trends in intelligent systems and computer engineering (IMECS 2007). Selected papers based on the presentations at the international conference, Hong Kong, China, March 21–23, 2007. New York, NY: Springer (ISBN 978-0-387-74934-1/hbk). Lecture Notes in Electrical Engineering 6, 467-483 (2008).
MSC:  92C40 05C90
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