Zobrazeno 1 - 10
of 66
pro vyhledávání: '"G. M. Pinna"'
Autor:
Iain Phillips, Martin Kutrib, Claudio Antares Mezzina, Lukasz Mikulski, Germán Vidal, Bogdan Aman, Robin Kaarsgaard, Jarkko Kari, R. Nagarajan, Gabriel Ciobanu, Ivan Lanese, G. M. Pinna, Irek Ulidowski, Luca Prigioniero, Robert Glück
Publikováno v:
Reversible Computation: Extending Horizons of Computing ISBN: 9783030473600
Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, 12070, pp.1-40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩
Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405
Reversible Computation: Extending Horizons of Computing-Selected Results of the COST Action IC1405, 12070, pp.1-40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩
International audience; Reversible computation allows computation to proceed not only in the standard, forward direction, but also backward, recovering past states. While reversible computation has attracted interest for its multiple applications, co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb8f8cbe0ef6418b15e3c20dc81f9535
https://hdl.handle.net/11576/2677196
https://hdl.handle.net/11576/2677196
We propose a functorial concurrent semantics for Petri nets extended with read and inhibitor arcs, that we call inhibitor nets. Along the lines of the seminal work by Winskel on safe (ordinary) nets, the truly concurrent semantics is given at a categ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e33a09ce71db4919965d21c8f736bc8c
http://hdl.handle.net/11568/84029
http://hdl.handle.net/11568/84029
Autor:
ABOELWAFA, HASSAN SOROR
Publikováno v:
Ido Movement for Culture. Journal of Martial Arts Anthropology; 2024, Vol. 24 Issue 4, p60-65, 6p
Publikováno v:
Research in Sport Education & Sciences; Jun2024, Vol. 26 Issue 2, p75-87, 13p
Autor:
Chakraborty, Prabahan1,2 (AUTHOR) prabahan.chakraborty@igf.cnrs.fr, Chattarji, Sumantra2,3,4 (AUTHOR), Jeanneteau, Freddy1 (AUTHOR) freddy.jeanneteau@igf.cnrs.fr
Publikováno v:
European Journal of Neuroscience. Dec2021, Vol. 54 Issue 11, p8029-8051. 23p. 1 Diagram, 1 Chart.
Autor:
Gallo, Carolina, Bacciu, Valentina, Bedhiaf, Sahbi, Dieppois, Bastien, Fulé, Peter, Kavgacı, Ali, Steil, Lara, Eden, Jonathan
Publikováno v:
Unasylva; 2024, Vol. 75 Issue 255, p58-68, 11p
Autor:
ACAR, Kürşat1 kursatacar@sinop.edu.tr, YILMAZ, Ali Kerim2 akerim.yilmaz@omu.edu.tr
Publikováno v:
Revista de Artes Marciales Asiaticas. Jan-Jun2021, Vol. 16 Issue 1, p56-66. 11p.
Autor:
Baratella, Stefano1 (AUTHOR) stefano.baratella@unitn.it, Masini, Andrea2 (AUTHOR) andrea.masini@univr.it
Publikováno v:
Mathematical Logic Quarterly. Mar2020, Vol. 66 Issue 1, p7-19. 13p.
Autor:
BERNARDO, MARCO, MEZZINA, CLAUDIO A.
Publikováno v:
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 2, p1-27, 27p
Autor:
Ortega‐Ferrusola, Cristina, Gómez‐Arrones, Vanesa, Martín‐Cano, Francisco E., Gil, Mari Cruz, Peña, Fernando J., Gaitskell‐Phillips, Gemma, Da Silva‐Álvarez, Eva
Publikováno v:
Reproduction in Domestic Animals; Oct2022 Supplement S1, Vol. 57, p34-44, 11p