Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Joanne Fuller"'
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1d6d7d67f0378a52ff6fd58d660aac0
https://doi.org/10.1007/978-3-031-27481-7_32
https://doi.org/10.1007/978-3-031-27481-7_32
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783031150074
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37c591acc4b6a77e39f9c77bba2d2d5a
https://doi.org/10.1007/978-3-031-15008-1_5
https://doi.org/10.1007/978-3-031-15008-1_5
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
We report our experience in the formal verification of the reference implementation of the Beacon Chain. The Beacon Chain is the backbone component of the new Proof-of-Stake Ethereum 2.0 network: it is in charge of tracking information about the vali
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::27d6806ce27cf94f084113fc0c3e29b4
https://doi.org/10.1007/978-3-030-99524-9_9
https://doi.org/10.1007/978-3-030-99524-9_9
Autor:
Amy Schramm, Clarissa Han, Gregoire S. Larue, Peter Cairney, Andry Rakotonirainy, Ashleigh J. Filtness, Joanne Fuller
Publikováno v:
Transportation Research Part F: Traffic Psychology and Behaviour. 47:187-198
Background As road complexity increases the requirement for number of road signs also increases, although the amount of road side space does not. One practical strategy to address this is to present multiple road signs on the same gantry (sign co-loc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12ca4b32f744f5b7ec05761b44acee20
https://doi.org/10.1016/j.trf.2017.04.007
https://doi.org/10.1016/j.trf.2017.04.007
Autor:
József Pántya, Ana Maria Roux-Cesar, Manoj Sharma, Joanne Fuller, Ioan Batrancea, Felipe de Jesús Bello Gómez, Sunghwan Yi, Katarina Nordblom, Sejin Min, Marie Briguglio, Quoc Hung Tran, Barbara Summers, Chun Xia, Ceyhan Aldemir, Sara Ennya, Sanjeev Mehta, Benno Torgler, Medhat Hassanein, Gloria Alarcón-García, Binglin Gong, Komsan Suriya, Anthony Essel-Anderson, Luís Miguel Pacheco, Sarunas Zukauskas, Martine Visser, Jérémy E. Lemoine, Yoichi Hizen, Supanika Leurcharusmee, Avi Weiss, Clara Villegas-Palacio, Elaine Doyle, Jane Frecknall-Hughes, Vidar Schei, Diana Bank Weinberg, Jonas Fooken, Ali Hasanain, Rebone Gcabo, Valerij Dermol, Odilo W. Huber, Oana Apostol, Lucia Savadori, Markus Schaffner, Mervi Niskanen, Vassilis T. Rapanos, Anca Nichita, Janusz Kudła, Erik Hoelzl, Erich Kirchler, Thorolfur Matthiasson, Christine Roland-Lévy, Alexis Belianin, Engin Bağış Öztürk, Georgia Kaplanoglou, Christoph Kogler, Sheheryar Banuri, Larissa Batrancea, Jerome Olsen, Aidin Salamzadeh, George Naufal
Publikováno v:
Journal of Economic Psychology
Journal of Economic Psychology, Elsevier, 2019, pp.102191. ⟨10.1016/j.joep.2019.102191⟩
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Journal of Economic Psychology, 2019, pp.102191. ⟨10.1016/j.joep.2019.102191⟩
Journal of Economic Psychology, 74:102191. Elsevier Science BV
Journal of Economic Psychology, Elsevier, 2019, pp.102191. ⟨10.1016/j.joep.2019.102191⟩
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Journal of Economic Psychology, 2019, pp.102191. ⟨10.1016/j.joep.2019.102191⟩
Journal of Economic Psychology, 74:102191. Elsevier Science BV
The slippery slope framework of tax compliance emphasizes the importance of trust in authorities as a substantial determinant of tax compliance alongside traditional enforcement tools like audits and fines. Using data from an experimental scenario st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::36927de0a64705b57ecc09674a506690
https://hal.archives-ouvertes.fr/hal-02189831
https://hal.archives-ouvertes.fr/hal-02189831
Autor:
Joanne, Fuller
Publikováno v:
Nursing standard (Royal College of Nursing (Great Britain) : 1987). 27(13)
Studying for a pre-nursing orthopaedic certifi cate many years ago inspired my interest in health care and a later job working with children excluded from school made me realise I enjoyed working with young people. So my current job as a school nurse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::2802c30e3a531405be2ce656c68304c5
https://pubmed.ncbi.nlm.nih.gov/28080362
https://pubmed.ncbi.nlm.nih.gov/28080362
Publikováno v:
Economic Record. 89:508-521
The occurrence of extreme movements in the spot price of electricity represents a significant source of risk to retailers. A range of approaches have been considered with respect to modelling electricity prices; these models, however, have relied on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a89f425c230a6ec85605c95b1dc8629
https://doi.org/10.1111/1475-4932.12072
https://doi.org/10.1111/1475-4932.12072
Publikováno v:
Computational Intelligence. 20:463-474
In symmetric cryptology (which is an essential part of modern computer security), the resistance to attacks depends critically on the nonlinearity properties of the Boolean functions describing cipher components like S-boxes. Some of the most effecti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47c595c622049a70a16d69958387728f
https://doi.org/10.1111/j.0824-7935.2004.00246.x
https://doi.org/10.1111/j.0824-7935.2004.00246.x
Autor:
Joanne Fuller
Publikováno v:
Topics from Australian Conferences on Teaching Statistics ISBN: 9781493906024
Basic mathematical skills are critical to a student’s ability to successfully undertake an introductory statistics course. Yet in business education this vitally important area of mathematics and statistics education is under-researched. The questi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32255f748bf61f8a3bbdc97e071265e7
https://doi.org/10.1007/978-1-4939-0603-1_12
https://doi.org/10.1007/978-1-4939-0603-1_12
Publikováno v:
IEEE Congress on Evolutionary Computation
Scopus-Elsevier
Scopus-Elsevier
In this paper we investigate the heuristic construction of bijective s-boxes that satisfy a wide range of cryptographic criteria including algebraic complexity, high nonlinearity, low autocorrelation and have none of the known weaknesses including li
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a56484217960345b8c5c66e1daeedff
https://doi.org/10.1109/cec.2004.1331077
https://doi.org/10.1109/cec.2004.1331077