Search

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 information about a species’ protein-coding genes under specific experimental conditions. The de novo assembly process produces a unigenes file in FASTA format, subsequently targeted for the annotation. Homology-based annotation, a method to infer the function of sequences by estimating similarity with other sequences in a reference database, is a computationally demanding procedure. Results To mitigate the computational burden, we introduce HPC-T-Annotator, a tool for de novo transcriptome homology annotation on high performance computing (HPC) infrastructures, designed for straightforward configuration via a Web interface. Once the configuration data are given, the entire parallel computing software for annotation is automatically generated and can be launched on a supercomputer using a simple command line. The output data can then be easily viewed using post-processing utilities in the form of Python notebooks integrated in the proposed software. Conclusions HPC-T-Annotator expedites homology-based annotation in de novo transcriptome assemblies. Its efficient parallelization strategy on HPC infrastructures significantly reduces computational load and execution times, enabling large-scale transcriptome analysis and comparison projects, while its intuitive graphical interface extends accessibility to users without IT skills.

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 returns. This article illustrates the principle of Income Sharing as a highly performing economic strategy for supply chains with a natural implementation in blockchain smart contracts. It proposes a blockchain-based architecture that uses smart contracts to implement various algorithmic versions of the Income Sharing principle among companies participating in a supply chain. The formation of the total income and its consequent redistribution are calculated taking into account the role of the technological platform automating these procedures, which therefore becomes a party to the inter-company business project of a supply chain in the alternative roles, as feasible in business practice, of Blockchain-as-a-Service and Blockchain-as-a-Partner. The approach is implemented on Hyperledger Fabric, the most widespread platform for private and consortium blockchains. We compare and justify this design choice with the alternative given by public blockchains, with specific attention to Ethereum.

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 blockchains such as Ethereum, the ledger is coupled with smart contracts, which enable the automation of transactions associated with agreements between the parties of a financial or commercial nature. The coupling of smart contracts and ledgers provides the technological background for very innovative application areas, such as Decentralized Autonomous Organizations (DAOs), Initial Coin Offerings (ICOs), and Decentralized Finance (DeFi), which propelled blockchains beyond cryptocurrencies that were the only focus of first generation blockchains, such as Bitcoin. However, the currently used implementation of smart contracts as arbitrary programming constructs has made them susceptible to dangerous bugs that can be exploited maliciously and has moved their semantics away from that of legal contracts. We propose here to recompose the split and recover the reliability of databases by formalizing a notion of contract modeled as a finite-state automaton with well-defined computational characteristics derived from encoding in terms of allocations of resources to actors, as an alternative to the approach based on programming. To complete the work, we use temporal logic as the basis for an abstract query language that is effectively suited to the historical nature of the information kept in the ledger.

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 the form of higher levels of profitability and economic health for the participating enterprises. Our proposal goes far beyond simply using blockchains as decentralized systems to track the origin and delivery of goods, which is what most of the current blockchain projects on supply chains are focused on. In fact, we introduce a type of smart contract aimed to solve two of the main problems that hinder the efficiency and effectiveness of supply chains, namely trust and coordination. Solving the problem of trust amounts to the capability of establishing quickly and cheaply contractual relationships based on convergent business needs among parties that may not know each other, and therefore need to protect themselves from opportunistic or incorrect behavior. Solving the problem of coordination consists in creating, at convenient management costs, a control system capable of directing the objectives of the supply chain as a whole, so as to achieve a greater common good in the medium term, as an alternative to the state of affairs in which each participant pursues, on its own behalf, lower but immediate returns. Our smart contracts for innovative supply chain management replace human coordinators in tackling the problems above, thus eliminating one major obstacle to their effective solution, namely the need to trust the coordinator itself. Furthermore, in this way, by automating the process of coordination, they unburden the supply chain of a considerable management cost. Contracts of this kind not only automate contract execution as in standard smart contracts, but also adjust costs and compensations of the members of a supply chain, effectively taking up the role that was of human coordinators. Thus, we refer to them as “intelligent smart contracts.” In the course of the paper, we will illustrate an innovative supply chain architecture based on intelligent smart contracts running on blockchain, we will detail the algorithmic methodologies underlying the decision-making process of these contracts and we will outline the wider socio-economic perspectives opened by our approach.

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 adapt to changes in context by changing their type annotations. We discuss some case studies in which this mechanism is relevant.

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 to offer. To this end, high-level, language-neutral models have to be devised. Metamodeling techniques favor the definition of domainspecific visual languages through which stakeholders can share their views and directly manipulate representations of the domain entities. This paper describes CRADLE (Cooperative-Relational Approach to Digital Library Environments), a metamodel-based framework and visual language for the definition of notions and services related to the development of digital libraries. A collection of tools allows the automatic generation of several services, defined with the CRADLE visual language, and of the graphical user interfaces providing access to them for the final user. The effectiveness of the approach is illustrated by presenting digital libraries generated with CRADLE, while the CRADLE environment has been evaluated by using the cognitive dimensions framework.

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 way DELE creates an environment for a "friendly" learning, which is strongly based on the visual channel, through the use of a structural iconicity of navigation.