Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces

We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among agents, and optimization techniques in order to find Pareto-efficient agreements. We introduce , a propositional logic extended with concrete domains, which allows one to model relations among issues (both numerical and non-numerical ones) via logical entailment, differently from well-known approaches that describe issues as uncorrelated. Through it is possible to represent buyer’s request, seller’s supply and their respective preferences as formulas endowed with a formal semantics, e.g., “if I spend more than 30000 € for a sedan then I want more than a two-years warranty and a GPS system included”. We mix logic and utility theory in order to express preferences in a qualitative and quantitative way. We illustrate the theoretical framework, the logical language, the one-shot negotiation protocol we adopt, and show we are able to compute Pareto-efficient outcomes, using a mediator to solve an optimization problem. We prove the computational adequacy of our method by studying the complexity of the problem of finding Pareto-efficient solutions in our setting.     

Redesign and Modernization of the Mexican Water Quality Monitoring Network

ABSTRACT

Mexico is a large developing country, much of which is arid and semiarid. With a population of more than 81 million, Mexico is confronted with growing water scarcity and serious pollution of much of its surface water The National Water Commission (Comision Nacional del Agua—CNA) has embarked on a major program of modernization of water management. The water quality program, now consisting of 564 surface water stations (plus 239 groundwater stations), has no strategic design, has major data gaps, is not representative of important areas, is often unreliable, does not contain data for many current issues such as organic contaminants, and suffers from out-of-date or lack of facilities. Because the existing network is not representative of the range of issues for which data are needed, network redesign began from first principles rather than as an optimization of the existing network. The new program is built around client needs, and uses four components—a primary network of some 200 stations that are designed to characterize important water bodies over the long term; a flexible secondary network that focuses on effluent regulatory issues; surveys and special studies for river basin planning and issue-specijic purposes; and a mobile emergency capability. Modernization of the water quality program also includes parallel activities focusing on training, institutional, and legal issues.     

Double actuation architectures for rendering variable impedance in compliant robots: A review

Novel compliant actuation systems have been developed in recent years for a variety of possible advantages, such as establishing a safe human–robot interaction, increasing energy efficiency, reducing the effects of impacts and even for the development of neuro-inspired robotic platforms to be used in human motor control studies.In this rapidly growing and transversal research field, systems involving more than one active element (typically motors) for each actuated degree of freedom are being investigated to allow separate position and impedance regulations. Considering the wide range of applications and the large number of different arrangements deriving from the combination of two active elements and passive elastic components, several actuation architectures have been devised.This paper reviews state-of-the-art rotary variable impedance units incorporating two separate motors. Existing devices are grouped in three main categories. A critical and comparative analysis of the most relevant features is carried out, also based on most representative prototypes. Recently proposed methodologies and evaluation criteria for design optimization are illustrated and perspectives on potential applications of double actuation systems are presented.     

Muscular synergy classification and myoelectric control using high-order cross-cumulants

High-order statistics (HOS) are well suited for describing non-Gaussian random processes. These techniques are increasingly being employed in myoelectric research, on both time and frequency domain techniques. This work presents HOS-based techniques using only HOS time domain features to classify myoelectric signals. The auto-, cross- and full- (joint) third-order cumulants are evaluated as EMG-signal feature vectors to be compared between them. Four surface EMG signals were processed for classify motions from the upper limbs. Synergy among channels is characterized by the features in both auto and cross modes, and their incidences for classifying five or six movements are analyzed. In contrast to the third-order auto-cumulants, it had been verified that the third-order cross-cumulants have the same classification rate by working with five or six movements. A myoelectric control scheme and its experimental application were executed with normal and disabled subjects, reaching a classification rates of 90%, in average. Accuracy in online experiments was similar to the off-line classification rate.

     

A narrative metaphor to facilitate educational game authoring

In this paper we present WEEV (Writing Environment for Educational Video games), a methodology for educational point-and-click adventure game authoring. Our approach aims to allow educators to actively collaborate in the educational game development process, using a narrative-based representation. WEEV is based on a pragmatic reinterpretation of previous works on narrativity and video games, enhanced by the use of a novel visual language to represent the flow of the story or narrative. The WEEV methodology has been implemented into an actual tool based on the already established <e-Adventure> platform for educational games. This tool was improved with feedback gathered from formative evaluation, end-users testing (i.e. educators), and actual use in the development of an educational game. The system, still under development, presents some user-interaction problems along with a need for the educational effectiveness of the resulting games to be further analyzed. However, this paper highlights that, according to the qualitative results of evaluations, WEEV can indeed be successfully applied to simplify the game creation process and that by using representations of games that educators can understand, WEEV can help provide educational value to games.     

Design of a Telescopic Linear Actuator Based on Hollow Shape Memory Springs

Shape memory alloys (SMAs) are smart materials exploited in many applications to build actuators with high power to mass ratio. Typical SMA drawbacks are: wires show poor stroke and excessive length, helical springs have limited mechanical bandwidth and high power consumption. This study is focused on the design of a large-scale linear SMA actuator conceived to maximize the stroke while limiting the overall size and the electric consumption. This result is achieved by adopting for the actuator a telescopic multi-stage architecture and using SMA helical springs with hollow cross section to power the stages. The hollow geometry leads to reduced axial size and mass of the actuator and to enhanced working frequency while the telescopic design confers to the actuator an indexable motion, with a number of different displacements being achieved through simple on-off control strategies. An analytical thermo-electro-mechanical model is developed to optimize the device. Output stroke and force are maximized while total size and power consumption are simultaneously minimized. Finally, the optimized actuator, showing good performance from all these points of view, is designed in detail.     

On estimating the interface normal and curvature in piecewise linear interface calculation-volume of fluid approach for three-dimensional arbitrary meshes

Volume of fluid (VOF) method with its Piecewise Linear Interface Calculation (PLIC) reconstruction algorithm is one of the most popular approaches in numerical simulation of interfacial flows with a wide range of applications in different areas. In an effort to evaluate the similarity of the PLIC-generated planes in comparison with the exact interface, a point-cloud, based on the polygon centers of PLIC planes is extracted, which later is used to form a triangular grid that represents the estimated interface. The main objective of this article is to evaluate the interface geometrical properties based on the extracted triangular grid of the interface. The methods presented in this article, characterized by a higher spatially convergence ratio, are compared with the commonly used methods. The proposed methods are tested for two 3-dimensional general test cases, where an evident improvement is seen in calculation accuracy and spatial convergence of the errors of interface normal vector and curvature.     

Reduced Levels of ABCA1 Transporter Are Responsible for the Cholesterol Efflux Impairment in β-Amyloid-Induced Reactive Astrocytes: Potential Rescue from Biomimetic HDLs

The cerebral synthesis of cholesterol is mainly handled by astrocytes, which are also responsible for apoproteins’ synthesis and lipoproteins’ assembly required for the cholesterol transport in the brain parenchyma. In Alzheimer disease (AD), these processes are impaired, likely because of the astrogliosis, a process characterized by morphological and functional changes in astrocytes. Several ATP-binding cassette transporters expressed by brain cells are involved in the formation of nascent discoidal lipoproteins, but the effect of beta-amyloid (Aβ) assemblies on this process is not fully understood. In this study, we investigated how of Aβ_1-42-induced astrogliosis affects the metabolism of cholesterol in vitro. We detected an impairment in the cholesterol efflux of reactive astrocytes attributable to reduced levels of ABCA1 transporters that could explain the decreased lipoproteins’ levels detected in AD patients. To approach this issue, we designed biomimetic HDLs and evaluated their performance as cholesterol acceptors. The results demonstrated the ability of apoA-I nanodiscs to cross the blood–brain barrier in vitro and to promote the cholesterol efflux from astrocytes, making them suitable as a potential supportive treatment for AD to compensate the depletion of cerebral HDLs.     

Role of NEU3 Overexpression in the Prediction of Efficacy of EGFR-Targeted Therapies in Colon Cancer Cell Lines

The epidermal growth factor receptor (EGFR), through the MAP kinase and PI3K-Akt-mTOR axis, plays a pivotal role in colorectal cancer (CRC) pathogenesis. The membrane-associated NEU3 sialidase interacts with and desialylates EGFR by promoting its dimerization and downstream effectors’ activation. Among the targeted therapies against EGFR, the monoclonal antibody cetuximab is active only in a subgroup of patients not carrying mutations in the MAP kinase pathway. In order to better understand the EGFR-NEU3 interplay and the mechanisms of pharmacological resistance, we investigated the role of NEU3 deregulation in cetuximab-treated CRC cell lines transiently transfected with NEU3 using Western blot analysis. Our results indicate that NEU3 overexpression can enhance EGFR activation only if EGFR is overexpressed, indicating the existence of a threshold for NEU3-mediated EGFR activation. This enhancement mainly leads to the constitutive activation of the MAP kinase pathway. Consequently, we suggest that the evaluation of NEU3 expression cannot entirely substitute the evaluation of EGFR because EGFR-negative cases cannot be stimulated by NEU3. Furthermore, NEU3-mediated hyperactivation of EGFR is counterbalanced by the administration of cetuximab, hypothesizing that a combined treatment of NEU3- and EGFR-targeted therapies may represent a valid option for CRC patients, which must be investigated in the future.     

Sodium phthalamates as corrosion inhibitors for carbon steel in aqueous hydrochloric acid solution

Three compounds of N-alkyl-sodium phthalamates were synthesized and tested as corrosion inhibitors for carbon steel in 0.5 M aqueous hydrochloric acid. Tests showed that inhibitor efficiencies were related to aliphatic chain length and dependent on concentration. N-1-n-tetradecyl-sodium phthalamate displayed moderate efficiency against uniform corrosion, 42–86% at 25 °C and 25–60% at 40 °C. Tests indicated that compounds behave as mixed type inhibitors where molecular adsorption on steel followed Langmuir isotherm, whereas thermodynamic suggested that a physisorption process occurred. XPS analysis confirmed film formation on surface, where Fe⁺² complexes and Fe⁺² chelates with phthalamates prevented steel from further corrosion.