Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Carlo Ferigato"'
Autor:
Maria Teresa Alonso, Carlo Ferigato, Deimos Ibanez Segura, Domenico Perrotta, Adria Rovira-Garcia, Emmanuele Sordini
Publikováno v:
Stats, Vol 4, Iss 2, Pp 400-418 (2021)
The GNSS LABoratory tool (gLAB) is an interactive educational suite of applications for processing data from the Global Navigation Satellite System (GNSS). gLAB is composed of several data analysis modules that compute the solution of the problem of
Externí odkaz:
https://doaj.org/article/8fa498a79740472691630535dd0a10a8
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 65-75 (2014)
We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events. If ever
Externí odkaz:
https://doaj.org/article/e9e23f70d517418d970c076b2f901659
Publikováno v:
Fundamenta Informaticae. 171:39-56
An orthogonality space is a set endowed with a symmetric and irreflexive binary relation (an orthogonality relation). In a partially ordered set modelling a concurrent process, two such binary relations can be defined: a causal dependence relation an
Autor:
Emmanuele Sordini, Carlo Ferigato, Deimos Ibáñez Segura, M. Alonso, Domenico Perrotta, Adria Rovira-Garcia
Publikováno v:
Stats
Volume 4
Issue 2
Pages 26-418
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Stats, Vol 4, Iss 26, Pp 400-418 (2021)
Volume 4
Issue 2
Pages 26-418
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Stats, Vol 4, Iss 26, Pp 400-418 (2021)
The GNSS LABoratory tool (gLAB) is an interactive educational suite of applications for processing data from the Global Navigation Satellite System (GNSS). gLAB is composed of several data analysis modules that compute the solution of the problem of
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XV ISBN: 9783662630785
The regions of a condition/event transition system can be used to identify the sequential components of the distributed system it represents. With the aim of analysing such a system with respect to its local states, we study the structure obtained fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da5696ee0d104dc17a99715cf63caa96
http://hdl.handle.net/10281/324418
http://hdl.handle.net/10281/324418
The set of elementary regions of a transition system, ordered by set inclusion, forms an orthomodular poset, also referred to as quantum logic, which is regular and rich. Starting from an abstract regular and rich quantum logic, one can construct an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1aad2bb49eb234c5d5a40cdf029af0dc
http://hdl.handle.net/10281/169568
http://hdl.handle.net/10281/169568
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 9783662583807
ATAED@Petri Nets/ACSD
ATAED@Petri Nets/ACSD
The set of regions of a transition system, ordered by set inclusion, is an orthomodular poset, often referred to as quantum logic, here called regional logic. Regional logics, which are known to be regular and rich, are the main subject of investigat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc658c09f79c781c81ee9b0da745192a
http://hdl.handle.net/10281/169566
http://hdl.handle.net/10281/169566
Publikováno v:
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2014, 133 (4), pp.323-344
Fundamenta Informaticae, 2014, 133 (4), pp.323-344
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2014, 133 (4), pp.323-344
Fundamenta Informaticae, 2014, 133 (4), pp.323-344
The semantics of concurrent processes can be defined in terms of partially ordered sets. Occurrence nets, which belong to the family of Petri nets, model concurrent processes as partially ordered sets of occurrences of local states and local events.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33a08fc5bcb0c867a4b4b8c1005283c4
https://hal.archives-ouvertes.fr/hal-01091152
https://hal.archives-ouvertes.fr/hal-01091152
Publikováno v:
QPL
Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 65-75 (2014)
Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 65-75 (2014)
We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events. If ever
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d54c16438438bcaefdbd82a9e32c70cd
http://hdl.handle.net/10281/43906
http://hdl.handle.net/10281/43906
Publikováno v:
WODES
11th International Workshop on Discrete Event Systems, WODES 2012; Guadalajara, Jalisco; Mexico; 3 October 2012 through 5 October 2012
The cyber-security of industrial control systems (ICS) is gaining high relevance due to the impact of industri
The cyber-security of industrial control systems (ICS) is gaining high relevance due to the impact of industri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fafaf96d149845c0f85f15c95a5325ea
http://hdl.handle.net/11147/5222
http://hdl.handle.net/11147/5222