About
166
Publications
32,029
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
2,477
Citations
Introduction
Publications
Publications (166)
While future concerns may revolve around containing increasingly powerful and creative artificial intelligences, our current focus is on understanding how hybrid computational and organizational systems—composed of both natural (human) and artificial components—can behave in ways that are both predictable and innovative. Achieving systems that meet...
The concept of the centaur, symbolizing the fusion of human and machine intelligence, has intrigued visionaries for decades. Recent advancements in artificial intelligence have made this concept not only realizable but also actionable. This synergistic partnership between natural and artificial intelligence promises superior outcomes by leveraging...
We revisit the concept of art as an open system, a theme foundational to our prior discussions. We contrast this with the closed systems of strategy games where AI outperforms human skill. We present a cognitive framework for art’s open system, grounded in Herbert Simon’s design science, where artists and AI collaboratively innovate, echoing a long...
Smart Contracts are programs running logic in the Blockchain network by executing operations through immutable transactions. The Blockchain network validates such transactions, storing them into sequential blocks of which integrity is ensured. Smart Contracts deal with value stakes, if a damaging transaction is validated, it may never be reverted,...
In recent years, optical imaging and efficient computational approaches have improved the ability to analyse and understand biological phenomena. Immunofluorescence (IF) is a widely used immunochemical technique that provides information about protein localisation and expression levels. However, the manual analysis of IF images can present importan...
Background: We investigate the potential of blockchain technology integration into satellite onboard computing systems, with the aim of harnessing smart contracts and improve multi-sided market definitions and machine-to-machine (M2M) relations from an Internet of Things (IoT) perspective. The study considers the roles of various industry actors, i...
The paper explores a novel perspective on Human-Computer Interaction (HCI), conceptualizing it as a dynamic interplay among a diverse array of agents, both human and computational, within a networked system. The approach draws inspiration from models of living systems and systems theory, emphasizing the autonomous yet interdependent nature of these...
We explore a novel perspective on Human-Computer Interaction (HCI), conceptualizing it as a dynamic interplay among a diverse array of agents, both human and computational, within a networked system. The approach draws inspiration from models of living systems and systems theory, emphasizing the autonomous yet interdependent nature of these agents.
CreatiChain is a novel, integrated workflow management system that supports creating and monetizing AI-generated art. The system leverages grammars (Prompt Grammars) for semi-automated prompt generation, advanced AI algorithms for digital art creation, and blockchain technology for NFT minting and placement. The workflow begins with generating crea...
Addressing the critical challenges of resource inefficiency and environmental impact in the agrifood sector, this study explores the integration of Internet of Things (IoT) technologies with IOTA’s Tangle, a Distributed Ledger Technology (DLT). This integration aims to enhance sustainable agricultural practices, using rice cultivation as a case stu...
Swarm robotics is a field that studies the design and coordination of large groups of robots that can perform complex tasks through collective behaviors. One of the challenges in swarm robotics is to find the optimal balance between decentralization and centralization, as each approach has its advantages and disadvantages. In this paper, we propose...
We describe implementing and testing a security monitoring system for Blockchain-based applications by performing Log Analysis through natural language processing (NLP) techniques and enabling queries via REST API. The study focuses on the Hyperledger Fabric framework, a highly reliable and scalable open-source software platform for private blockch...
0009−0002−3076−782X] , Remo Pareschi 2[0000−0002−4912−582X] , and Francesco Salzano 2[0000−0002−1029−4861] Abstract. CreatiChain is a novel, integrated workflow management system that supports creating and monetizing AI-generated art. The system leverages grammars (Prompt Grammars) for semi-automated prompt generation, advanced AI algorithms for di...
This study evaluates the GPT-4 Large Language Model's abductive reasoning in complex fields like medical diagnostics, criminology, and cosmology. Using an interactive interview format, the AI assistant demonstrated reliability in generating and selecting hypotheses. It inferred plausible medical diagnoses based on patient data and provided potentia...
This study proposes a high-level architecture for deploying blockchain-based information ecosystems (BBIEs) by leveraging and expanding the Blockchain-as-a-Service (BaaS) concept. The proposed architecture integrates blockchain with the overall information ecosystem to enable trust management and coordination systems in inter-organizational context...
Introduction
In recent years, software ecosystems have become more complex with the proliferation of distributed systems such as blockchains and distributed ledgers. Effective management of these systems requires constant monitoring to identify any potential malfunctions, anomalies, vulnerabilities, or attacks. Traditional log auditing methods can...
Smart contracts show a high potential to make Supply Chain Management strategies epochally leaping 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 s...
Recent years have seen a number of innovations that have set the stage for a radical expansion of digital art, from the point of view of both the production and the distribution of works. On the one hand, in fact, the advent of generative capabilities in Artificial Intelligence based on Deep Learning methodologies, such as in particular Generative...
Distributed systems have become ubiquitous in recent years, with those based on distributed ledger technology (DLT), such as blockchains, gaining more and more weight. Indeed, DLT ensures strong data integrity thanks to complex cryptographic protocols and high distribution. That said, even the most powerful systems will never be perfect, and, in fa...
Recent years have seen a number of innovations that have set the stage for a radical expansion of digital art, from the point of view of both the production and the distribution of works. On the one hand, in fact, the advent of generative capabilities in Artificial Intelligence based on Deep Learning methodologies, such as in particular Generative...
Smart contracts show a high potential for ensuring that Supply Chain Management strategies make a qualitative leap toward higher levels of optimality, not only in terms of efficiency and profitability but also in the aggregation of skills aimed at creating the best products and services to bring to the market. In this article, we illustrate an arch...
Social media and financial markets are ecosystems bound to interact and overlap more and more. For example, cryptocurrencies, Bitcoin in the first place, have long been among the hottest topics on social media. Here we illustrate a methodology for correlating Bitcoin price trends and social media that operates on the aggre-gation of news from multi...
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...
Private distributed ledgers (DLs) appear to be more successful than public blockchains at supporting innovative business ecosystems in the form of enterprise consortia. In fact, by untying transactions from the native cryptocurrencies of public blockchains, consortium DLs can smoothly interface with the various sectors of the traditional economy wi...
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...
The successes of Artificial Intelligence in recent years in areas such as image analysis, natural language understanding and strategy games have sparked interest from the world of finance. Specifically, there are high expectations, and ongoing engineering projects, regarding the creation of artificial agents, known as robotic traders, capable of ju...
Tether is a stablecoin, namely a cryptocurrency associated with an underlying security. Tether provides one of the most relevant ways to buy bitcoins and has been the centre of many controversies. In fact, it has been hypothesized that new tethers are issued without the underlying reserves, and that new massive Tether emissions are the basis of str...
Since the launch of Bitcoin in 2008, blockchain technology has enjoyed increasing popularity, and many implementations have followed. Some of these efforts go beyond cryptocurrencies as they aim at organizational and business innovation in supply chains, healthcare, agri-food, large-scale distribution, and public administration. Consequently, there...
Recent advances in technology have drastically downsized costs and implementation times for genomic services. The wide availability of low-cost genomic technologies and easy access to genomic data can significantly improve healthcare productivity and efficiency, all to the benefit of social well-being in general. For example, by creating the condit...
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...
Blockchain is a decentralized transaction and data management solution, the technological leap behind the success of Bitcoin and other cryptocurrencies. As the variety of existing blockchains and distributed ledgers continues to increase, adopters should focus on selecting the solution that best fits their needs and the requirements of their decent...
Blockchain is a decentralized transaction and data management solution, the technological leap behind the success of Bitcoin and other cryptocurrencies. As the variety of existing blockchains and distributed ledgers continues to increase, adopters should focus on selecting the solution that best fits their needs and the requirements of their decent...
Video presentation of article The Genesy Model for a Blockchain-based
Fair Ecosystem of Genomic Data
Recent advances in technology have drastically downsized costs and implementation times for genomic services. The wide availability of low-cost genomic technologies and the easy access to genomic data can significantly improve the productivity and efficiency of healthcare, all to the benefit of social well-being in general. For example, by creating...
Presentation of the Genesy Project, which is in the course of building up a world-wide blockchain of genomic data. Genesy fosters an ecosystem comprising end-users, each having exclusive ownership and control of her data, service providers (such as providers of DNA sequencing services), private and public research centers, hospitals, and the geneti...
Advances in technology have drastically reduced costs and implementation time for Whole Genome Sequencing (WGS). As of today the complete sequencing of the human genome has become more accessible and can even cost less than $1000 and using low-pass sequencing technologies even $150. Large use of WGS technologies at lower costs along with easy acces...
This paper proposes a design pattern that combines gamification dynamics along with blockchains forthe purpose of using blockchain technology in a business-savvy fashion as support to a framework forcollaborative problem solving, i.e., leveraging gamification to incentivize people to produce efficient, freelyavailable and easily accessible solution...
This paper proposes a design pattern that combines gamification dynamics along with blockchains for the purpose of using blockchain technology in a business-savvy fashion as support to a framework for collaborative problem solving, i.e., leveraging gamification to incentivize people to produce efficient, freely available and easily accessible solut...
In the last years social media are increasing their importance in the context of digital freelancing by letting companies offer projects to external professionals through the Web. However, the available platforms for digital freelancing are still far from supporting the ecosystem of companies and professionals during the implementation of complex p...
Internet of Things (IoT) is a perspective and an infrastructure allowing everything to turn into a sensor capable of acquiring and pouring data into the cloud, where they can be aggregated with other data and analysed to extract decision-supportive information. However, going in the opposite direction is at least as useful and exciting, by exploiti...
As demonstrated by numerous ethno-anthropological studies, food can be a powerful basis for the integration of different ethnic groups and populations. The Bread project uses this integration capability, rooted in the convivial atmosphere of the experience of eating together, to address the pressing issue of the integration of migrant communities a...
Network analysis views complex systems as networks with well-defined structural properties that account for their complexity. These characteristics, which include scale-free behavior, small worlds and communities, are not to be found in networks such as random graphs and lattices that do not correspond to complex systems. They provide therefore a r...
Abstract of article forthcoming on the journal of cognitive economics Mind and Society http://www.springer.com/economics/journal/11299 Keywords: complex systems, complex networks, information theory, probabilistic topic models, business process management, policy analysis
We introduce the concept of "outcome network" as a tool to meas-ure the effects that were expected from a law-making with respect to the effects that were actually achieved through its implementation. From a given law a cor-responding outcome network can be mapped out through the knowledge of do-main experts. That same knowledge can then be used to...
![Fig. 1. Example of topics extracted from the TASA corpus [5].](profile/Remo-Pareschi/publication/268443750/figure/fig1/AS:295387387711491@1447437249667/Example-of-topics-extracted-from-the-TASA-corpus-5_Q320.jpg)
![Fig. 2. From the generative process to the statistical inference [5].](profile/Remo-Pareschi/publication/268443750/figure/fig2/AS:295387387711493@1447437249814/From-the-generative-process-to-the-statistical-inference-5_Q320.jpg)
We introduce the notion of open-world process to refer to processes that generally require flexible execution and are influenced by external factors. Among such processes we focus on those that fit also with the notion of "busi-ness process". We then introduce "hot topics" to capture contextual information flows that, by flowing into the context of...
Large content networks like the World Wide Web contain huge amounts of information that have the potential of being integrated because their components fit within common concepts and/or are connected through hidden, implicit relationships. One attempt at such an integration is the program called the ``Web of Data'', which is an evolution of the Sem...
As we approach the beginning of the 21st century, we are beginning to see the emergence of knowledge management as a natural evolution of the focus and importance of quality in the 1980s and reengineering in the I 990s. Quality placed a huge emphasis on getting all employees to use their brainpower better. Reengineering emphasized the use of tec...
PROBLEM TO BE SOLVED: To provide an information retrieval system which can efficiently generate a complicated dynamic query.
SOLUTION: A demand agent 102 of the information retrieval system includes a user interface for enabling a user 101 to specify a search representation, and a query specification interface for enabling the user to specify a ch...
Information-driven collective intelligences derive from the connection and the interaction of multiple, distributed, independent agents that produce and process information, and eventually turn it into knowledge, meant in the broad sense of capability of conceptual representation. For instance, the World-wide Web can be viewed as an information-dri...
Communities and ontologies are both concepts that have acquired strong momentum since the coming of age of new media such as Internet and the Web. They have become more relevant in a situation where growing communities and creating information categorizable through ontologies is made much easier and faster compared to what was possible before. In s...
Collective intelligence derives from the connection and the interaction of multiple, distributed, independent intelligent
units via a network, such as, typically, a digital data network. As collective intelligences are effectively making their
way into reality in consequence of ubiquitous digital communication, the opportunity and the challenge ari...
In this paper we face some relevant issues on the relations between Web communities and ontologies. We build an operator that constructs a weak Web community, according to the definition given in,starting from a seed of Web sites. The necessity of such an operator is derived from a problem arisen in the model developed in, in which some relevant co...
To provide an information retrieval system which can efficiently generate a complicated dynamic query.
We show that the search technique of dynamic programming models a form of multiagent computation characterized by the interaction of cooperating/competing agents. For this reason, dynamic programming algorithms can be easily implemented in an object-oriented concurrent language environment. We illustrate this by a simple example implemented in the...
The development of communication infrastructures and the rapid growth of networking facilities in information technologies increase information mobility and the decentralisation of work processes in industry and services. This evolution leads to increasing demands on the coordination of information systems. However, information technologies availab...
We consider here a typical instance of a non-trivial print tasks management problem, and we show how to handle it within Zippin, a highly interactive constraint-based environment for scheduling and decision support.
Today in physics, more and more scientific documents are prepared electronically, are posted and archived. At the same time, an increasing number of heterogeneous Web-servers are dedicated to hosting such archives. While this trend makes available more relevant scientific information, it also complicates the task of finding, retrieving, processing...
Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects of programming and computation. We focus here on models where computation is identified with proof search in the sequent system of Linear Logic. A proof normalization procedure, called "focu...
We discuss a framework in which the traditional features of objects (encapsulation, communication, etc.) are enhanced with synchronization and coordination facilities, using the declarative power of rules. We propose two interpretations of rules, one re-active and the other pro-active, corresponding to different kinds of interactions between the ru...
Intelligent brokering of information needs algorithmically tractable knowledge representations and corresponding constraint solvers to tackle the satisfiability problems involved. Feature constraints emerged soon as a convenient and elegant choice of knowledge representation. The full fragment of feature constraints, where sorts and features are al...
The promise of workflow solutions for coordinating organizational processes is currently being obscured by strong criticism of the rigidity of their work representations. This rigidity arises in part from viewing work processes as unfolding along a single line of temporally chained activities. In reality, work evolves both horizontally, in the coop...
Distributed Problem Solving (DPS) decomposes problems into subproblems to be solved by interacting, cooperative software agents. Thus, DPS is suitable for modeling, in the context of parallel and distributed architectures, the solving of problems characterized by many inter-dependencies among subproblems. Concurrent Constraint Programming (CCP) pro...
Knowledge has been lately recognized as one of the most important assets of organizations. Can information technology help the growth and the sustainment of organizational knowledge? The answer is yes, if care is taken to remember that IT here is just a part of the story (corporate culture and work practices being equally relevant) and that the inf...
Living systems provide a good metaphor for the coordination of autonomous agents managing tasks according to their role in the system. The study of such systems from the point of view of General Systems Theory would benefit from computational experimentation. This paper proposes an agent-based methodology for system modeling as well as computationa...
Object-oriented programming (OOP) has proven a very useful paradigm for supporting client-server computing within the context of local-area networks, where stable assumptions can be made about the available resources and services and where interactions between clients and servers are relatively simple. By implementing servers as objects, access to...
t be fully satisfied may still obtain results in the form of partial objects that refine the initial requests by instantiating some of its attributes or by adding new attributes. Efficient constraint solvers allow for local filtering/sifting of information. CBKB-related projects include: COIN (MIT), Harvest (Univ. Colorado), Garlic (IBM Almaden), H...
Electronic commerce is emerging as one of the main application domains on the Internet and the WWW and promises to change radically the relationship between customers, retailers and service providers. However, for this to happen, electronic commerce must become effectively a better way of selling goods and services than the traditional channels. Th...
An information retrieval system for retrieving information from multiple information sources. The information retrieval system provides for the building of dynamic queries through the use of query channels. A query channel permits the passing of attributes of the search results between different queries. The query channel can cause the automatic pa...
We introduce a first-order version of Categorial Grammar, based on the idea of encoding syntactic types as definite clauses. Thus, we drop all explicit requirements of adjacency between combinable constituents, and we capture wordorder constraints simply by allowing subformulae of complex types to share variables ranging over string positions. We a...
ht capture the obvious intuitions concerning constituency in a sentence like John must leave by identifying the VP leave and the NP John as the arguments of the tensed verb must, and the verb itself as a function combin- ing to its right with a VP, to yield a predicate -- that is, a leftward-combining function-from-NPs-into-sentences. One common "s...
An information retrieval system for retrieving information from multiple information sources. The information retrieval system provides for the building of dynamic queries through the use of query channels. A query channel permits the passing of attributes of the search results between different queries. The query channel can cause the automatic pa...
PROBLEM TO BE SOLVED: To provide an information retrieval system capable of efficiently generating a complicated dynamic inquiry. SOLUTION: This information retrieval system is provided with a demand agent, the demand agent is provided with a user interface for enabling a user 101 to specify a search expression and an interface for enabling the use...
An information retrieval system (102-105) for retrieving information from multiple information sources. The information retrieval system provides for the building of dynamic queries through the use of query channels. A query channel permits the passing of attributes of the search results between different queries. The query channel can cause the au...
Techniques that optimize computations by reusing partial results have a long tradition in computer science. Seen from the point of view of sequential computations, all these techniques share the common execution strategy of storing partial results in a centralized data structure, while they differ as to how the results are computed, e.g. in a data-...
We present a new framework for amalgamating two successful programming paradigms: logic programming and object-oriented programming. From the former, we keep the declarative reading of programs. From the latter, we select two crucial notions: (i) the ability for objects to dynamically change their internal state during the computation; (ii) the str...
We introduce an abstract form of interobject communication for object-oriented concurrent programming based on the proof theory of Linear Logic, a logic introduced to provide a theoretical basis for the study of concurrency. Such a form of communication, which we call forum-based communication, can be seen as a refinement of blackboard-based commun...