Zobrazeno 1 - 10
of 86 815
pro vyhledávání: '"protocol analysis"'
Autor:
K. Anders Ericsson, Herbert A. Simon
Since the publication of Ericsson and Simon's ground-breaking work in the early 1980s, verbal data has been used increasingly to study cognitive processes in many areas of psychology, and concurrent and retrospective verbal reports are now generally
Autor:
Garay, Juan1 (AUTHOR) garay@tamu.edu, Kiayias, Aggelos2 (AUTHOR) akiayias@inf.ed.ac.uk, Leonardos, Nikos3 (AUTHOR) nikos.leonardos@gmail.com
Publikováno v:
Journal of the ACM. Aug2024, Vol. 71 Issue 4, p1-49. 49p.
Autor:
Bunch, Carter, Satterfield, Saraid Dwyer, Erbatur, Serdar, Marshall, Andrew M., Ringeissen, Christophe
We introduce a new form of restricted term rewrite system, the graph-embedded term rewrite system. These systems, and thus the name, are inspired by the graph minor relation and are more flexible extensions of the well-known homeomorphic-embedded pro
Externí odkaz:
http://arxiv.org/abs/2401.17226
Autor:
Byrd, Nick1 (AUTHOR) nick.a.byrd@gmail.com, Joseph, Brianna2 (AUTHOR), Gongora, Gabriela3 (AUTHOR), Sirota, Miroslav4 (AUTHOR) msirota@essex.ac.uk
Publikováno v:
Journal of Intelligence. Apr2023, Vol. 11 Issue 4, p76. 17p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
von Hippel, Max, Manolios, Panagiotis, McMillan, Kenneth L., Nita-Rotaru, Cristina, Zuck, Lenore
Publikováno v:
EPTCS 393, 2023, pp. 50-66
When verifying computer systems we sometimes want to study their asymptotic behaviors, i.e., how they behave in the long run. In such cases, we need real analysis, the area of mathematics that deals with limits and the foundations of calculus. In a p
Externí odkaz:
http://arxiv.org/abs/2311.08855
Autor:
Rossana Di Staso, Beatrice Casadei, Frederick L. Locke, Michael Jain, Timothy J. Voorhees, Adam S. Kittai, Mariana Bastos-Oreiro, Antonio Gutiérrez, Alejandro Martin Garcia-Sancho, Maria Jose Terol, Monica Mead, Michael J. Maranzano, Gloria Iacoboni, Pere Barba, Mi Kwon, Rebeca Bailen, Juan Luis Reguera-Ortega, Agrima Mian, Brian Hill, Emmanuel Bachy, Franck Morschhauser, Roch Houot, Catherine Thieblemont, Steven Le Gouill, Riccardo Masetti, Davide Gori, Alessandro Broccoli, Pier Luigi Zinzani, Lisa Argnani
Publikováno v:
Blood Cancer Journal, Vol 14, Iss 1, Pp 1-5 (2024)
Externí odkaz:
https://doaj.org/article/43e03c8577e3401699a0eac8f43eb23f
Narrowing and unification are very useful tools for symbolic analysis of rewrite theories, and thus for any model that can be specified in that way. A very clear example of their application is the field of formal cryptographic protocol analysis, whi
Externí odkaz:
http://arxiv.org/abs/2307.06348
Autor:
Has, Mislav1 (AUTHOR) dora.krekovic@fer.hr, Kreković, Dora1 (AUTHOR), Kušek, Mario1 (AUTHOR), Podnar Žarko, Ivana1 (AUTHOR)
Publikováno v:
Sensors (14248220). Jun2024, Vol. 24 Issue 11, p3517. 19p.