An intersemiotic translation of normative utterances to machine language

Programming Languages (PL) effectively performs an intersemiotic translation from a natural language to machine language. PL comprises a set of instructions to implement algorithms, i.e., to perform (computational) tasks. Similarly to Normative Languages (NoL), PLs are formal languages that can perform both regulative and constitutive functions. The paper presents the first results of interdisciplinary research aimed at highlighting the similarities between NoL (social sciences) and PL (computer science) through everyday life examples, exploiting Object-Oriented Programming Language tools and an Internet of Things (IoT) system as a case study. Given the pandemic emergency, the urge to move part of our social life to the digital world arose, together with the need to effectively transpose regulative rules and constitutive rules through different strategies for translating a normative utterance expressed in natural language

Social acts in digital environments

Adolf Reinach's theory of social acts and Czesław Znamierowski theory of the environment can show a new perspective of analysis in the felds of computer science and digital communication. This paper will begin analysing the performance of social acts in two categories of digital environments: (i) fctional digital environment and (ii) real digital environment. The analysis will be supported by examples from the history of computer science. In both kinds of digital environments, organigrams play a signifcant role and depend on the users' digital power to perform a real or fctional social act. Finally, the paper will analyse one of the possible roles that AI plays in performing social acts in digital environments. It will show how AI could affect the perception of social acts of social acts

Intersemiotic translation of contracts into digital environments

An intersemiotic translation is any form of translation that involves at least two different semiotic codes; for example, the translation from words to images, to numerical code, or to non-verbal sounds. One of the most widespread examples of intersemiotic translation in the contemporary world is transposing natural language into machine language in digital environments. In this case, if the source text is a legal text, we encounter a particular type of intersemiotic translation, namely an intersemiotic legal translation in a digital environment. This paper will focus on the intersemiotic legal translation of contracts in digital environments, and is divided into two parts. In the first part (Section Ways of intersemiotically translating a contract using digital tools), we will analyze four possible uses of the intersemiotic translation of contracts in a digital context. In particular, we will highlight the technical characteristics of intersemiotic translation, its limitations, and its potential in different phases of contract management, namely the drafting of the document, the agreement, the archiving of the document, and the execution of contractual clauses. We will examine different digital tools that exploit intersemiotic translation, such as contract drafting tools and online platforms that allow for the conclusion of electronic contracts, document archiving in blockchains, and building smart contracts. When analyzing these uses of intersemiotic translation in the digital environment, we will highlight four types of output that can represent the product of intersemiotic translation in the digital environment: epistemic effects, legal effects, digital effects, and economic effects. In the second part (Section A tool for translating the contract intersemiotically), we will describe a hypothetical prototype that, in light of the four potential uses of intersemiotic translation, could represent a support tool to simplify the communication between professionals and clients through the drafting of legal documents with the aid of dynamic forms and, eventually, with the help of artificial intelligence (AI). Beyond facilitating the dialogue between legal professionals and their clients, we use interfaces to allow clients to create their own drafts of their documents and the lawyer to work on the drafts drawn up by the customer, correct them, and structure them in order to guarantee the validity of the document. The system can also be designed to archive legal documents and private deeds securely and entrust them to a professional by using blockchain technology and automating the execution of some contractual clauses via smart contract protocols

Effect of different pastures on CLA content in milk and sheep cheese

It is known that milk composition included conjugated linoleic acid (CLA) is affected by animal feeding system (Cabiddu et al., 2001). In Sardinia dairy sheep feeding is mainly based on pastures. Most of them are characterised by self-regenerating species, like annual ryegrass (Lolium rigidum Gaudin) and burr medic (Medicago polymorpha L.). Non conventional species belonging to the Compositae family such as (Chrysanthemum coronarium L.) seem interesting for sheep feeding when other herbages decrease in quality (late spring- early summer). It was observed that C. coronarium establishes rapidly, can be grazed early in the growing season and persist where other pasture species may disappear; for these reasons it can be considered a valuable source of food. Moreover a preliminary study with dairy sheep fed fresh forage of C. coronarium showed relatively high levels of CLA in milk (Molle G. pers. com.) The aim of the present work was to study the influence of different pastures on milk composition, with particular reference to CLA and its precursors

First record of the alien polychaete Naineris setosa (Scolecida; Orbiniidae) in Tyrrhenian Sea (Western Mediterranean)

During a survey in Santa Gilla, a Tyrrhenian lagoon located in southern Sardinia, several specimens of the alien polychaete Naineris setosa were found. 1) A brief description of the specimens is presented; they possess the rounded prostomium and the crenulated capillary chaetae typical of the genus, but they are characterized by the absolute lacking of uncini or subuluncini in thoracic neuropodia, which is unique trait within Naineris; 2) some environmental characteristics of the collection site are measured; 3) the description and the distribution of the specimens are also provided

GTOC5: Results from the European Space Agency and University of Florence

http://www.esa.int/gsp/ACT/doc/ACTAFUTURA/AF08/papers/AF08.2014.45.pdfInternational audienc

A rolling horizon framework for the operating rooms planning under uncertain surgery duration

We consider the Advanced Scheduling Problem (ASP) assuming a block scheduling strategy. A set of patients and the related surgery waiting list are given, together with a set of Operating Room (OR) blocks and a planning horizon. The problem asks to determine the subset of patients to be scheduled and their assignment to the available OR blocks. We consider a so-called rolling horizon approach in order to solve the ASP over a planning horizon of several weeks. The approach is iterative and readjusts the schedule each week: at each iteration the mid-term schedule over the next $n$ weeks is generated by solving an optimization problem, minimizing a penalty function based on patients' delay and tardiness; the first week schedule is then implemented. Unpredictable extensions of surgeries and new arrivals may disrupt the schedule. The schedule is then repaired in the next week iteration, again optimizing over $n$ weeks the penalty function while limiting the number of disruptions from the previously computed plan. The total delay and tardiness minimization problem is formulated as an ILP model and solved with a commercial solver. A deterministic formulation and a robust one are proposed and compared over different stochastic realization of surgery times

GAMMA-FLASH Software Design Document of the Data Acquisition System

The present document defines and describes the software architecture of the Data Acquisition and Control System (DACS) of the GAMMA-FLASH project. The intended audience of this document are the potential users of the GAMMA-FLASH project, systems engineers, instrument scientists, designers, developers, testers (either unit or integration), and any contractor involved in the GAMMA-FLASH project who has in charge of the production of any sub-system which interfaces the DACS