On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics

Annals of Mathematics and Artificial Intelligence - The exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent...     

How the risk of failure in lifetime of tempered glass depends on the size of NiS inclusions and heat soak test duration

The probability of breakage in service lifetime of heat-tempered glass panes contaminated by nickel sulfide inclusions is estimated with a multiscale micromechanically motivated statistical theory, which considers the effects of the heat soak test (HST). Short and long HSTs differently affect the phase transformation of NiS of diverse chemical composition, whose increase in volume can break the glass. The main hypothesis, corroborated by experiments, is that there is a lower limit for the size of NiS stones below which no crack can be initiated from the volumetric expansion. The catastrophic propagation of nucleated fractures in the long term is modeled through a rescaled critical stress intensity factor, which accounts for the subcritical crack propagation and the slow phase transformation of NiS. A parametric analysis evidences how the failure probability is strongly affected by these parameters, depending on the holding time in the HST. Tailored experimental activity is suggested for the proper calibration of the model.     

The Al–R–Mg (R=Gd, Dy, Ho) systems. Part I: experimental investigation

Key experiments were carried out on the three Al–R–Mg (R=Gd,Dy,Ho) systems and the results obtained used for the thermodynamic optimisation reported in a separate paper in this issue [Caccasmani G, De Negri S, Saccone A, Ferro R. Intermetallics this issue.]. The samples were characterized by differential thermal analysis (DTA), X-ray powder diffraction (XRD), light optical microscopy (LOM), scanning electron microscopy (SEM) and quantitative electron probe microanalysis (EPMA). The isothermal sections at 400 °C are all characterized by extended homogeneity regions at a constant rare earth content. The extension of the (Mg,Al)R solid solution, cP2-CsCl type, varies with the R atomic number. Ternary compounds (τ) of Al₂(R,Mg) stoichiometry (hexagonal Laves phases with MgNi₂-type structure) have been found to exist at 400 °C in all the systems. Their temperatures of formation were detected by DTA measurements.     

Thermodynamic analysis and assessment of the Ce–Ni system

An optimised set of thermodynamic parameters for the Ce–Ni system has been obtained using the CALPHAD approach. A thorough thermodynamic analysis of the system has been carried out using different calorimetric techniques and the data have been used in the assessment. The free energy of the liquid phase has been described as a function of temperature and composition using a Redlich–Kister polynomial. Solid compounds have been considered as stoichiometric with the exception of the Laves phases. The phase diagram and thermodynamic quantities calculated from assessed parameters agree well with experimental data.     

Landscape-aware location-privacy protection in location-based services

Mobile network providers have developed a variety of location-based services (LBSs), such as friend-finder, point of interest services, emergency rescue and many other safety and security services. The protection of location-privacy has consequently become a key aspect to the success of LBSs, since users consider their own physical location and movements highly privacy-sensitive, and demand for solutions able to protect such an information in a variety of environments. The idea behind location-privacy protection is that the individual should be able to set the level at which the location information is released to avoid undesired exploitation by a potential attacker: one of the approaches to this problem is given by the application of spatial obfuscation techniques, actuated by a trusted agent, and consisting in artificial perturbations of the location information collected by sensing technologies, before its disclosure to third parties. In many situations, however, landscape/map information can help a third party to perform Bayesian inference over spatially obfuscated data and to refine the user’s location estimate up to a violation of the original user’s location-privacy requirements. The goal of this paper is to provide a map-dependent obfuscation procedure that enables the release of the maximum possible user’s location information, that does not lead to a violation of the original user’s location-privacy requirements, even when refined through map-based inference.     

A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties

Optimization problems in software engineering typically deal with structures as they occur in the design and maintenance of software systems. In model-driven optimization (MDO), domain-specific models are used to represent these structures while evolutionary algorithms are often used to solve optimization problems. However, designing appropriate models and evolutionary algorithms to represent and evolve structures is not always straightforward. Domain experts often need deep knowledge of how to configure an evolutionary algorithm. This makes the use of model-driven meta-heuristic search difficult and expensive. We present a graph-based framework for MDO that identifies and clarifies core concepts and relies on mutation operators to specify evolutionary change. This framework is intended to help domain experts develop and study evolutionary algorithms based on domain-specific models and operators. In addition, it can help in clarifying the critical factors for conducting reproducible experiments in MDO. Based on the framework, we are able to take a first step toward identifying and studying important properties of evolutionary operators in the context of MDO. As a showcase, we investigate the impact of soundness and completeness at the level of mutation operator sets on the effectiveness and efficiency of evolutionary algorithms.

     

Triggered essential reviewing: the effect of technology affordances on service experience evaluations

This paper responds to the recent call for understanding the nature and consequences of the digital mediation of everyday experiences. We do so in the context of online opinion sharing. We propose that the unique design features of mobile computing devices and the intention and purpose of their users, meld into a technology affordance we label: Triggered essential reviewing. We empirically investigate the effect of this technology affordance on opinion characteristics (i.e., timing and length), and outcomes (i.e., opinion valence and content). We find that triggered essential reviewing engenders opinions that cover a narrower range of aspects of the experience and that it produces a negative evaluative bias—a bias that mitigates over time. Our work makes two contributions to the application of affordance theory in Information Systems. First, it shows the importance of IT design in studying experiential computing. While not taking a deterministic view of technology, we validate the notion that different technology designs produce a variation of effects around a predictable central tendency. Second, it empirically demonstrates that the affordances of embodied digital experiences have an effect on actual behavior as well as on the outcome of the experience itself.     

An Acoustic Network Navigation System

This work describes a system for acoustic‐based navigation that relies on the addition of localization services to underwater networks. The localization capability has been added on top of an existing network, without imposing constraints on its structure/operation. The approach is based on the inclusion of timing information within acoustic messages through which it is possible to know the time of an acoustic transmission in relation to its reception. Exploiting such information at the network application level makes it possible to create an interrogation scheme similar to that of a long baseline. The advantage is that the nodes/autonomous underwater vehicles (AUVs) themselves become the transponders of a network baseline, and hence there is no need for dedicated instrumentation. The paper reports at sea results obtained from the COLLAB–NGAS14 experimental campaign. During the sea trial, the approach was implemented within an operational network in different configurations to support the navigation of the two Centre for Maritime Research and Experimentation Ocean Explorer (CMRE OEX) vehicles. The obtained results demonstrate that it is possible to support AUV navigation without constraining the network design and with a minimum communication overhead. Alternative solutions (e.g., synchronized clocks or two‐way‐travel‐time interrogations) might provide higher precision or accuracy, but they come at the cost of impacting on the network design and/or on the interrogation strategies. Results are discussed, and the performance achieved at sea demonstrates the viability to use the system in real, large‐scale operations involving multiple AUVs. These results represent a step toward location‐aware underwater networks that are able to provide node localization as a service.