A Low‐Memory,Straightforward and Fast Bilateral Filter Through Subsampling in Spatial Domain

In this work we present a new algorithm for accelerating the colour bilateral filter based on a subsampling strategy working in the spatial domain. The base idea is to use a suitable subset of samples of the entire kernel in order to obtain a good estimation of the exact filter values. The main advantages of the proposed approach are that it has an excellent trade‐off between visual quality and speed‐up, a very low memory overhead is required and it is straightforward to implement on the GPU allowing real‐time filtering. We show different applications of the proposed filter, in particular efficient cross‐bilateral filtering, real‐time edge‐aware image editing and fast video denoising. We compare our method against the state of the art in terms of image quality, time performance and memory usage.     

Light on! Real world evaluation of a P300-based brain-computer interface (BCI) for environment control in a smart home

Brain-computer interface (BCI) systems aim to enable interaction with other people and the environment without muscular activation by the exploitation of changes in brain signals due to the execution of cognitive tasks. In this context, the visual P300 potential appears suited to control smart homes through BCI spellers. The aim of this work is to evaluate whether the widely used character-speller is more sustainable than an icon-based one, designed to operate smart home environment or to communicate moods and needs. Nine subjects with neurodegenerative diseases and no BCI experience used both speller types in a real smart home environment. User experience during BCI tasks was evaluated recording concurrent physiological signals. Usability was assessed for each speller type immediately after use. Classification accuracy was lower for the icon-speller, which was also more attention demanding. However, in subjective evaluations, the effect of a real feedback partially counterbalanced the difficulty in BCI use. PRACTITIONER SUMMARY: Since inclusive BCIs require to consider interface sustainability, we evaluated different ergonomic aspects of the interaction of disabled users with a character-speller (goal: word spelling) and an icon-speller (goal: operating a real smart home). We found the first one as more sustainable in terms of accuracy and cognitive effort.     

Designing and Conducting an Empirical Study on Test Management Automation

Test management aims at organizing, documenting and executing test cases, and at generating execution reports. The adoption of a support tool and of a standard process for such activities is expected to improve the current practice. ITALO is a European project devoted to the evaluation of the benefits coming from test management automation. In this paper the experiences collected and the lessons learned during ITALO are summarized. A formal methodology was adopted for the selection of a support tool among those available from the market. A survey of the current practice in component testing was conducted to adapt the existing process model so as to obtain the greatest benefits from automation. An empirical study was then designed to measure the effects that are expected to be produced by the new test process complemented with the introduction of the support tool. Three pilot projects were conducted to measure the benefits obtained from tool usage and process modification. Results are presented and discussed in this paper.     

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate

This paper presents ALIAS, an agent architecture based on intelligent logic agents, where the main form of agent reasoning is abduction. The system is particularly suited for solving problems where knowledge is incomplete, where agents may need to make reasonable hypotheses about the problem domain and other agents, and where the raised hypotheses have to be consistent for the overall set of agents. ALIAS agents are pro-active, exhibiting a goal-directed behavior, and autonomous, since each one can solve problems using its own private knowledge base. ALIAS agents are also social, because they are able to interact with other agents, in order to cooperatively solve problems. The coordination mechanisms are modeled by means of LAILA, a logic-based language which allows to express intra-agent reasoning and inter-agent coordination. As an application, we show how LAILA can be used to implement inter-agent dialogues, e.g., for negotiation. In particular, LAILA is well-suited to coordinate the process of negotiation aimed at exchanging resources between agents, thus allowing them to execute the plans to achieve their goals.     

Tropos: An Agent-Oriented Software Development Methodology

Our goal in this paper is to introduce and motivate a methodology, called Tropos,¹ for building agent oriented software systems. Tropos is based on two key ideas. First, the notion of agent and all related mentalistic notions (for instance goals and plans) are used in all phases of software development, from early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the software must operate, and of the kind of interactions that should occur between software and human agents. The methodology is illustrated with the help of a case study. The Tropos language for conceptual modeling is formalized in a metamodel described with a set of UML class diagrams.     

Specification and Verification of Agent Interaction using Social Integrity Constraints

In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express interaction protocols and to give a social semantics to the behavior of agents, focusing on communicative acts. Then, we discuss several possible kinds of verification of agent interaction, and we show how social integrity constraints can be used to verify some properties in this respect. We focus our attention on static verification of compliance of agent specifications to interaction protocols, and on run-time verification, based on agents' observable behavior. We adopt as a running example the NetBill security transaction protocol for the selling and delivery of information goods.     

A least squares approach to principal component analysis for interval valued data

Principal Component Analysis (PCA) is a well-known technique, the aim of which is to synthesize huge amounts of numerical data by means of a low number of unobserved variables, called components. In this paper, an extension of PCA to deal with interval valued data is proposed. The method, called Midpoint Radius Principal Component Analysis (MR-PCA), recovers the underlying structure of interval valued data by using both the midpoints (or centers) and the radii (a measure of the interval width) information. In order to analyze how MR-PCA works, the results of a simulation study and two applications on chemical data are proposed.     

Atomically Precise Prediction of 2D Self‐Assembly of Weakly Bonded Nanostructures: STM Insight into Concentration‐Dependent Architectures

A joint experimental and computational study is reported on the concentration‐dependant self‐assembly of a flat C₃‐symmetric molecule on a graphite surface. As a model system a tripodal molecule, 1,3,5‐tris(pyridin‐3‐ylethynyl)benzene, has been chosen, which can adopt either C_3h or C_s symmetry when planar, as a result of pyridyl rotation along the alkynyl spacers. Density functional theory (DFT) simulations of 2D nanopatterns with different surface coverage reveal that the molecule can generate different types of self‐assembled motifs. The stability of fourteen 2D patterns and the influence of concentration are analyzed. It is found that ordered, densely packed monolayers and 2D porous networks are obtained at high and low concentrations, respectively. A concentration‐dependent scanning tunneling microscopy (STM) investigation of this molecular self‐assembly system at a solution/graphite interface reveals four supramolecular motifs, which are in perfect agreement with those predicted by simulations. Therefore, this DFT method represents a key step forward toward the atomically precise prediction of molecular self‐assembly on surfaces and at interfaces.     

Thermostable Esterase 2 from Alicyclobacillus acidocaldarius as Biosensor for the Detection of Organophosphate Pesticides

Pesticides are the plague of modern times, although much needed in agriculture, causing damage to the entire ecosystem, including humans. The high operative costs and the requirement of specialized personnel for pesticide detection, incentive to develop alternative solutions such as the set up of cheap, rapid, and simple to use biosensors. In this work, we evaluate the possibility to use the esterase 2 from Alicyclobacillus acidocaldarius as a biosensor for the detection of specific organophosphate pesticides. With the recent demonstration of the very high affinity of esterase 2 toward paraoxon, a more complete analysis on the detection methods in water as well as in purposely contaminated fruit juices was carried out. The inhibitory effects of a wide range of other pesticides on esterase 2 were investigated, showing a better selectivity with respect to nonspecific reaction of acethylcholinesterases, the main target of organophosphate pesticides. The applied methodology allowed one to detect 2.75 × 10(-3) ppm of neurotoxic agent, comparable to the efficiency of other acethylcholinesterase-based biosensors. Finally, a raw biosensor, based on EST2 immobilization on a nitrocellulose membrane, was devised and tested for paraoxon detection, showing longtime stability, reproducibility, and sensibility.