Zobrazeno 1 - 10
of 199
pro vyhledávání: '"Paolo Bottoni"'
Autor:
Lorenzo Arcioni, Manuel Arcieri, Jessica Di Martino, Franco Liberati, Paolo Bottoni, Tiziana Castrignanò
Publikováno v:
BMC Bioinformatics, Vol 25, Iss 1, Pp 1-14 (2024)
Abstract Background The availability of transcriptomic data for species without a reference genome enables the construction of de novo transcriptome assemblies as alternative reference resources from RNA-Seq data. A transcriptome provides direct info
Externí odkaz:
https://doaj.org/article/f24ef9c0bacc4e249d8e5cd4f4cd3ba9
Publikováno v:
Blockchain: Research and Applications, Vol 4, Iss 2, Pp 100119- (2023)
Smart contracts show a high potential to make supply chain management strategies epochally leap towards higher levels of productivity, not only in the functioning of production processes but also in terms of product innovation and overall economic re
Externí odkaz:
https://doaj.org/article/fb3d0cc201a9485e8f84fbec57382776
Publikováno v:
Blockchain: Research and Applications, Vol 3, Iss 1, Pp 100062- (2022)
A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test. In second-generation bloc
Externí odkaz:
https://doaj.org/article/ea227180f9a44f8e925eb91b3a965e93
Publikováno v:
Frontiers in Blockchain, Vol 3 (2020)
We propose blockchains and smart contracts as enabling technologies for an innovative type of supply chain management, with the goal of achieving higher levels of collaboration between the companies participating in the chain, which in turn pays in t
Externí odkaz:
https://doaj.org/article/71deaa91400c459482ddc9b6f2d5cafe
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 231, Iss Proc. GaM 2016, Pp 1-15 (2016)
We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this approach the type system is incorporated with the graph and elements can ad
Externí odkaz:
https://doaj.org/article/eda74af14185413581c129116d01ac1b
Publikováno v:
Information Technology and Libraries, Vol 29, Iss 4, Pp 171-186 (2010)
The design and development of a digital library involves different stakeholders, such as: information architects, librarians, and domain experts, who need to agree on a common language to describe, discuss, and negotiate the services the library has
Externí odkaz:
https://doaj.org/article/578f24441ce84c1fa0e1e472eef556da
Publikováno v:
Je-LKS: Journal of E-Learning and Knowledge Society, Vol 8, Iss 3 (2012)
Deafness is a "hidden" problem, which is only partially considered in the design of interactive tools. The E-Learning Environment DELE proposes an answer by exploiting the mechanism of conceptual metaphor, in particular the "learning story". In this
Externí odkaz:
https://doaj.org/article/66520c545f4e4bc48228008acf4cd7ff
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c31aaa517c13d3934f9a3c51c4162ae
https://doi.org/10.1145/3550355.3552444
https://doi.org/10.1145/3550355.3552444
Autor:
Anna Labella, Paolo Bottoni
Publikováno v:
Theoretical Computer Science. 881:25-61
Smart contracts are currently en vogue, thanks to the infrastructure provided by the blockchain technology. However, their effective use requires that the textual (legalese) specification of the contract be accompanied by a precise computational defi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3427c5fe4b115aea4badfd85a5975412
https://doi.org/10.1016/j.tcs.2021.07.012
https://doi.org/10.1016/j.tcs.2021.07.012
Autor:
Anna Labella, Paolo Bottoni
Publikováno v:
Theoretical Computer Science. 862:59-80
The derivation process in rewriting systems, especially in Chomskyan grammars, can be seen as consisting of four stages: (1) selection of the production to apply from a supply of productions available at that step, (2) check of applicability of the p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4e8b57af772c6134fc89c3007867b08
https://doi.org/10.1016/j.tcs.2020.10.035
https://doi.org/10.1016/j.tcs.2020.10.035