Search results for "abstraction"
showing 10 items of 88 documents
The avant-garde’s visual arts in the context of Santayana’s idea of vital liberty
2012
Abstract In the present paper, the author looks at the political dimension of some trends in the visual arts within twentieth-century avant-garde groups (cubism, expressionism, fauvism, Dada, abstractionism, surrealism) through George Santayana’s idea of vital liberty. Santayana accused the avant-gardists of social and political escapism, and of becoming unintentionally involved in secondary issues. In his view, the emphasis they placed on the medium (or diverse media) and on treating it as an aim in itself, not, as it should be, as a transmitter through which a stimulating relationship with the environment can be had, was accompanied by a focus on fragments of life and on parts of existenc…
A Knowledge Based Decision Support System for Bioinformatics and System Biology
2011
In this paper, we present a new Decision Support System for Bioinformatics and System Biology issues. Our system is based on a Knowledge base, representing the expertise about the application domain, and a Reasoner. The Reasoner, consulting the Knowledge base and according to the user’s request, is able to suggest one or more strategies in order to resolve the selected problem. Moreover, the system can build, at different abstraction layers, a workflow for the current problem on the basis of the user’s choices, freeing the user from implementation details and assisting him in the correct configuration of the algorithms. Two possible application scenarios will be introduced: the analysis of …
A Step Towards a Data Quality Theory
2019
Data quality issues have been topical for many decades. However, a unified data quality theory has not been proposed yet, since many concepts associated with the term “data quality” are not straightforward enough. The paper proposes a user-oriented data quality theory based on clearly defined concepts. The concepts are defined by using three groups of domain-specific languages (DSLs): (1) the first group uses the concept of a data object to describe the data to be analysed, (2) the second group describes the data quality requirements, and (3) the third group describes the process of data quality evaluation. The proposed idea proved to be simple enough, but at the same time very effective in…
Isoëtes sabatina (Isoëtaceae, Lycopodiopsida). Taxonomic distinctness and preliminary ecological insights
2021
1) Isoëtes sabatina is the rarest aquatic quillwort in Europe. Although recently found (2013) in Lake Bracciano (central Italy), the species is just one step away from extinction with an estimated population not exceeding 400 individuals and a spatial range of a few hundred square metres. 2) Lake Bracciano is a deep, oligo-mesotrophic Mediterranean volcanic lake that has been subjected to human activities. From January to October 2017, the lake experienced a dramatic water level decrease (up to −1.50 m), which significantly affected the littoral zone and the habitat of I. sabatina. 3) To improve the chances of survival of I. sabatina, the first eco-taxonomic investigation on this species wa…
A Universal Model-Based Solution for Describing and Handling Errors
2011
Before the system is on the way to end users’ desktops, developers should not forget about error messages their system might display. That is also true for systems with models inside. Is there a model-based solution for describing and handling errors in a universal way? We say ‘Yes’, and we show how the meta-meta level of abstraction aids here. Having error types described, particular errors are simply placed into the model repository (when needed), and the error handling mechanism automatically handles and displays them in an appropriate way.
Reconfigurable control of robotized manufacturing cells
2007
This paper investigates the field of manufacturing system control. The addressed subject is indeed very fascinating, due to the importance that it has reached in the last decades both at research and industrial level. On the other hand, it seems to the author that most of the complexity intrinsic to the subject itself relies on the different meanings or levels of abstraction that both the terms ''manufacturing system'' and ''control'' may symbolize. The presented research aims to face the topic in a concrete fashion, i.e., by developing a control software system for a specific, although easy to be generalized, robotized manufacturing cell. Two different development methodologies, from the c…
A New HLA-Based Distributed Control Architecture for Agricultural Teams of Robots in Hybrid Applications with Real and Simulated Devices or Environme…
2011
The control architecture is one of the most important part of agricultural robotics and other robotic systems. Furthermore its importance increases when the system involves a group of heterogeneous robots that should cooperate to achieve a global goal. A new control architecture is introduced in this paper for groups of robots in charge of doing maintenance tasks in agricultural environments. Some important features such as scalability, code reuse, hardware abstraction and data distribution have been considered in the design of the new architecture. Furthermore, coordination and cooperation among the different elements in the system is allowed in the proposed control system. By integrating …
A new architecture for Smart Contracts definition in Demand Response Programs
2019
The present paper shows the possibility to use a smart contract for defining a distributed Demand Response mechanism. The use of the blockchain and smart contracts for the Demand Response mechanism allows the creation of an automatic system, where network users can communicate with the DSO to provide their flexibility. The blockchain ensures that the same information is shared among the users of the grid, while preserving user privacy. The DSO notifies the request to increase or reduce the load in a given period of the day using channels, a native abstraction of Hyperledger Fabric. The smart contract computes the support provided by each user to fulfill the requested load adaptation and aut…
Towards CNC Programming Using Haskell
2004
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been proposed to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.
LCG Persistency Framework (CORAL, COOL, POOL): Status and Outlook
2011
The LCG Persistency Framework consists of three software packages (POOL, CORAL and COOL) that address the data access requirements of the LHC experiments in several different areas. The project is the result of the collaboration between the CERN IT Department and the three experiments (ATLAS, CMS and LHCb) that are using some or all of the Persistency Framework components to access their data. The POOL package is a hybrid technology store for C++ objects, using a mixture of streaming and relational technologies to implement both object persistency and object metadata catalogs and collections. POOL provides generic components that can be used by the experiments to store both their event data…