Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Alberto Tacchella"'
Autor:
Igor Mencattini, Alberto Tacchella
Publikováno v:
Symmetry, Integrability and Geometry: Methods and Applications, Vol 9, p 037 (2013)
We show that there exists a morphism between a group Γ^{alg} introduced by G. Wilson and a quotient of the group of tame symplectic automorphisms of the path algebra of a quiver introduced by Bielawski and Pidstrygach. The latter is known to act tra
Externí odkaz:
https://doaj.org/article/e4a556a446c048d4ae477c85c400cc49
Autor:
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
We present Norma, a tool for the modeling and analysis of Relay-based Railways Interlocking Systems (RRIS). Norma is the result of a research project funded by the Italian Railway Network, to support the reverse engineering and migration to computer-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75173727aece69024a684a69fdc61b39
https://doi.org/10.1007/978-3-030-99524-9_7
https://doi.org/10.1007/978-3-030-99524-9_7
Autor:
Alberto Tacchella, Armando Tacchella
Publikováno v:
ECMS
Scopus-Elsevier
Scopus-Elsevier
Autor:
Alberto Griggio, Matteo Tessi, Arturo Amendola, Alessandro Cimatti, Giuseppe Scaglione, Alberto Tacchella, Angelo Susi, Roberto Cavada, Anna Becchi
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030614669
ISoLA (3)
ISoLA (3)
This paper describes a model-based flow for the development of Interlocking Systems. The flow starts from a set of specifications in Controlled Natural Language (CNL), that are close to the jargon adopted in by domain experts, but fully formal. From
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12e2e1c9eeff7bd103d858ccafb268c0
https://doi.org/10.1007/978-3-030-61467-6_16
https://doi.org/10.1007/978-3-030-61467-6_16
Autor:
Claudio Bartocci, Alberto Tacchella
We introduce a notion of noncommutative Poisson-Nijenhuis structure on the path algebra of a quiver. In particular, we focus on the case when the Poisson bracket arises from a noncommutative symplectic form. The formalism is then applied to the study
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e12a089f2646a229b7c11c1e5df8089
http://hdl.handle.net/11567/858403
http://hdl.handle.net/11567/858403
Autor:
Alberto Tacchella
The aim of these notes is to provide a reasonably short and "hands-on" introduction to the differential calculus on associative algebras over a field of characteristic zero. Following a suggestion of Ginzburg's we call the resulting theory associativ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf33977b16db9de0053952ea14b1dd9e
Autor:
Alberto Tacchella
We introduce a family of quivers $Z_{r}$ (labeled by a natural number $r\geq 1$) and study the non-commutative symplectic geometry of the corresponding doubles $\mathbf{Q}_{r}$. We show that the group of non-commutative symplectomorphisms of the path
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce4ba560c2183b3acd40e280b436afd7
http://arxiv.org/abs/1311.4403
http://arxiv.org/abs/1311.4403
Autor:
Alberto Tacchella
We derive some rational solutions for the multicomponent and matrix KP hierarchies generalising an approach by Wilson. Connections with the multicomponent version of the KP/CM correspondence are discussed.
15 pages, no figures
15 pages, no figures
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e14bd4f9a253cae542aceeb17f73b37
http://arxiv.org/abs/1011.1427
http://arxiv.org/abs/1011.1427