Zobrazeno 1 - 10
of 406
pro vyhledávání: '"Majzik, A."'
Analysis of Markov Decision Processes (MDP) is often hindered by state space explosion. Abstraction is a well-established technique in model checking to mitigate this issue. This paper presents a novel lazy abstraction method for MDP analysis based o
Externí odkaz:
http://arxiv.org/abs/2406.00824
Autor:
Rubio-Verdú, Carmen, Sarasola, Ane, Choi, Deung-Jang, Majzik, Zsolt, Ebeling, René, Calvo, M. Reyes, Ugeda, Miguel M., Garcia-Lekue, Aran, Sánchez-Portal, Daniel, Pascual, José Ignacio
Scattering of electrons by localized spins is the ultimate process enabling electrical detection and control of the magnetic state of a spin-doped material. At the molecular scale, this scattering is mediated by the electronic orbitals hosting the sp
Externí odkaz:
http://arxiv.org/abs/1708.01268
Using combined low temperature scanning tunneling microscopy (STM) and atomic force microscopy (AFM), we demonstrate hydrogen passivation of individual, selected dangling bonds (DBs) on a hydrogen-passivated Si(100)-2$\times$1 surface (H-Si) by atom
Externí odkaz:
http://arxiv.org/abs/1706.02560
Publikováno v:
EPTCS 245, 2017, pp. 31-45
Statecharts are frequently used as a modeling formalism in the design of state-based systems. Formal verification techniques are also often applied to prove certain properties about the behavior of the system. One of the most efficient techniques for
Externí odkaz:
http://arxiv.org/abs/1703.07350
Autor:
Majzik, Zsolt, Tchalala, Mohamed Rachid, Švec, Martin, Hapala, Prokop, Enriquez, Hanna, Kara, Abdelkader, Mayne, Andrew J., Dujardin, Gérald, Jelínek, Pavel, Oughaddou, Hamid
Publikováno v:
J.Phys.: Condens. Matter, 25, 225301 (2013)
In this Letter, we present the first non-contact atomic force microscopy (nc-AFM) of a silicene on silver (Ag) surface, obtained by combining non-contact atomic force microscopy (nc-AFM) and scanning tunneling microscopy (STM). STM images over large
Externí odkaz:
http://arxiv.org/abs/1306.5523
Autor:
Vörös, András, Darvas, Dániel, Hajdu, Ákos, Klenik, Attila, Marussy, Kristóf, Molnár, Vince, Bartha, Tamás, Majzik, István
Publikováno v:
In Science of Computer Programming 1 June 2018 157:17-40
Autor:
Carmen Rubio-Verdú, Ane Sarasola, Deung-Jang Choi, Zsolt Majzik, René Ebeling, M. Reyes Calvo, Miguel M. Ugeda, Aran Garcia-Lekue, Daniel Sánchez-Portal, Jose Ignacio Pascual
Publikováno v:
Communications Physics, Vol 1, Iss 1, Pp 1-7 (2018)
Understanding the magnetic properties of molecules at the atomic level is a crucial aspect in the growing area of organic spintronics. This study brings further insight into the mechanisms of electron-spin interactions by investigating an iron-based
Externí odkaz:
https://doaj.org/article/99aaf454066b474584d11b172a5627c8
Autor:
Zsolt Majzik, Niko Pavliček, Manuel Vilas-Varela, Dolores Pérez, Nikolaj Moll, Enrique Guitián, Gerhard Meyer, Diego Peña, Leo Gross
Publikováno v:
Nature Communications, Vol 9, Iss 1, Pp 1-6 (2018)
Indeno[1,2-b]fluorene (IF) is an extremely reactive polycyclic conjugated hydrocarbon with antiaromatic character, thus it has not been detected to date. Here, the authors present the successful generation and characterisation of IF both on-surface a
Externí odkaz:
https://doaj.org/article/7fdcd0021e3f40f98dddff730abf1032
Autor:
Tóth, Tamás1 (AUTHOR) totht@mit.bme.hu, Majzik, István1 (AUTHOR)
Publikováno v:
Acta Informatica. Feb2022, Vol. 59 Issue 1, p1-35. 35p.
Autor:
Szekeres, Dániel, Majzik, István
Publikováno v:
Acta Cybernetica; 2024, Vol. 26 Issue 3, p671-711, 41p