Model checking coalitional games in shortage resource scenarios

Verification of multi-agents systems (MAS) has been recently studied taking into account the need of expressing resource bounds. Several logics for specifying properties of MAS have been presented in quite a variety of scenarios with bounded resources. In this paper, we study a different formalism, called Priced Resource-Bounded Alternating-time Temporal Logic (PRBATL), whose main novelty consists in moving the notion of resources from a syntactic level (part of the formula) to a semantic one (part of the model). This allows us to track the evolution of the resource availability along the computations and provides us with a formalisms capable to model a number of real-world scenarios. Two relevant aspects are the notion of global availability of the resources on the market, that are shared by the agents, and the notion of price of resources, depending on their availability. In a previous work of ours, an initial step towards this new formalism was introduced, along with an EXPTIME algorithm for the model checking problem. In this paper we better analyze the features of the proposed formalism, also in comparison with previous approaches. The main technical contribution is the proof of the EXPTIME-hardness of the the model checking problem for PRBATL, based on a reduction from the acceptance problem for Linearly-Bounded Alternating Turing Machines. In particular, since the problem has multiple parameters, we show two fixed-parameter reductions.Comment: In Proceedings GandALF 2013, arXiv:1307.416

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story

We have developed a notion of global bisimulation distance between processes which goes somehow beyond the notions of bisimulation distance already existing in the literature, mainly based on bisimulation games. Our proposal is based on the cost of transformations: how much we need to modify one of the compared processes to obtain the other. Our original definition only covered finite processes, but a coinductive approach allows us to extend it to cover infinite but finitary trees. After having shown many interesting properties of our distance, it was our intention to prove continuity with respect to projections, but unfortunately the issue remains open. Nonetheless, we have obtained several partial results that are presented in this paper.Comment: In Proceedings PROLE 2015, arXiv:1512.0617

W63+ and W64+ ionization by protons and photons

In this work we investigate the ionization by proton impact, and photo ionization, involving highly charged ions of W, in particular the Ne-like W64+ and Na-like W63+ which are more likely to appear in ITER plasma. Total cross sections are calculated in the continuum-distorted-wave-eikonal-initial-state (CDW-EIS) approximation for ion-impact, while two completely different methods are used for photoionization: a perturbative dipolar aproach and the recently introduced Sturmian model.Fil: López, Sebastián David. Consejo Nacional de Investigaciónes Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Astronomía y Física del Espacio. - Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Astronomía y Física del Espacio; ArgentinaFil: Randazzo, Juan Martin. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Comisión Nacional de Energía Atómica. Centro Atómico Bariloche; ArgentinaFil: Della Picca, Renata. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Comisión Nacional de Energía Atómica. Centro Atómico Bariloche; ArgentinaFil: Colavecchia, Flavio Dario. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Comisión Nacional de Energía Atómica. Centro Atómico Bariloche; Argentin

Lab-on-a-Tip Based on a Bimetallic Nanoarchitecture Enabling Catalytic 4-Nitrophenol Switch-off

Mono-and multi-metal nanoparticles (MNPs), thanks to their unique and tunable features, still fascinate the analytical sciences, from their widespread use in sensing and biosensing as nanoplasmonic tags or catalysts up to MNPs-decorated surfaces. Here, a lab µ-Tip decorated with plasmonic-active polymeric films embodying gold/silver nanostructures is presented. The proposed lab-on-a-tip device speed-up the 4-nitrophenol conversion in 4-aminophenol, retaining the performances for more than 10 consecutive measures, acting as an enzyme-like catalyst

Fly on the right:Lateral preferences when choosing aircraft seats

A small preference has been observed for people to choose seats on the left of aircraft when booking via an online system. Although this is consistent with pseudoneglect – the known leftward bias in perception and representation - rightward preferences have been commonly observed in seating selection tasks in other environments. Additionally, the previous research in aircraft seating was unable to dissociate a bias to one side of the screen from a bias to one side of the cabin of the aircraft. Here we present a study in which participants were asked to select seats for a range of fictional flights. They demonstrated a preference for seats on the right of the cabin, irrespective of whether the right of the cabin appeared to either the right or the left of the screen, a preference for seats towards the front of the aircraft and a preference to favour window and aisle seats. This suggests, in contrast to previous research, that participants demonstrated a rightward lateral bias to representations of an aircraft. These results may have implications for our understanding of asymmetries in cognition as well as having potentially important practical implications for airlines

A non-autonomous variational problem describing a nonlinear Timoshenko beam

We study the non-autonomous variational problem: \begin{equation*} \inf_{(\phi,\theta)} \bigg\{\int_0^1 \bigg(\frac{k}{2}\phi'^2 + \frac{(\phi-\theta)^2}{2}-V(x,\theta)\bigg)\text{d}x\bigg\} \end{equation*} where k>0, $V$ is a bounded continuous function, $(\phi,\theta)\in H^1([0,1])\times L^2([0,1])$ and $\phi(0)=0$. The peculiarity of the problem is its setting in the product of spaces of different regularity order. Problems with this form arise in elastostatics, when studying the equilibria of a nonlinear Timoshenko beam under distributed load, and in classical dynamics of coupled particles in time-depending external fields. We prove the existence and qualitative properties of global minimizers and study, under additional assumptions on $V$, the existence and regularity of local minimizers

Nanowire-Intensified MEF in Hybrid Polymer-Plasmonic Electrospun Filaments

Hybrid polymer-plasmonic nanostructures might combine high enhancement of localized fields from metal nanoparticles with light confinement and long-range transport in subwavelength dielectric structures. Here we report on the complex behavior of fluorophores coupling to Au nanoparticles within polymer nanowires, which features localized metal-enhanced fluorescence (MEF) with unique characteristics compared to conventional structures. The intensification effect when the particle is placed in the organic filaments is remarkably higher with respect to thin films of comparable thickness, thus highlighting a specific, nanowire-related enhancement of MEF effects. A dependence on the confinement volume in the dielectric nanowire is also evidenced, with MEF significantly increasing upon reducing the wire diameter. These findings are rationalized by finite element simulations, predicting a position-dependent enhancement of the quantum yield of fluorophores embedded in the fibers. Calculation of the ensemble-averaged fluorescence enhancement unveils the possibility of strongly enhancing the overall emission intensity for structures with size twice the diameter of the embedded metal particles. These new, hybrid fluorescent systems with localized enhanced emission, as well as the general Nanowire-Intensified MEF effect associated to them, are highly relevant for developing nanoscale light-emitting devices with high efficiency and inter-coupled through nanofiber networks, highly sensitive optical sensors, and novel laser architectures.Comment: 29 pages, 12 figures, Small (2018

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers

Propositional Neighborhood Logic (PNL) is an interval temporal logic featuring two modalities corresponding to the relations of right and left neighborhood between two intervals on a linear order (in terms of Allen's relations, meets and met by). Recently, it has been shown that PNL interpreted over several classes of linear orders, including natural numbers, is decidable (NEXPTIME-complete) and that some of its natural extensions preserve decidability. Most notably, this is the case with PNL over natural numbers extended with a limited form of metric constraints and with the future fragment of PNL extended with modal operators corresponding to Allen's relations begins, begun by, and before. This paper aims at demonstrating that PNL and its metric version MPNL, interpreted over natural numbers, are indeed very close to the border with undecidability, and even relatively weak extensions of them become undecidable. In particular, we show that (i) the addition of binders on integer variables ranging over interval lengths makes the resulting hybrid extension of MPNL undecidable, and (ii) a very weak first-order extension of the future fragment of PNL, obtained by replacing proposition letters by a restricted subclass of first-order formulae where only one variable is allowed, is undecidable (in contrast with the decidability of similar first-order extensions of point-based temporal logics)

Green Synthesis of Molecularly Imprinted Polymers for Dispersive Magnetic Solid-Phase Extraction of Erythrosine B Associated with Smartphone Detection in Food Samples

Monitoring synthetic colorants in foods is important due to their potential toxicity and pathogenicity. We propose here a new and simple method for the extraction and determination of erythrosine B (ERT-B) in food samples. A composite of polydopamine-based molecularly imprinted polymers coating magnetic nanoparticles (Fe3O4@PDA@MIP) was synthesized using a green approach and exploited for the magnetic dispersive solid-phase extraction (MDSPE) of ERT-B. Fe3O4@PDA@MIP provides a rapid extraction of ERT-B, exhibiting good reusability and preconcentration ability. Moreover, the MIP showed a relatively good imprinting factor (3.0 +/- 0.05), demonstrating excellent selectivity against patent blue (an interfering dye) and other food matrix components. The proposed MDSPE was coupled to colorimetric smartphone-based detection that allowed us to obtain similar performances of UV-Vis spectroscopy detection. The smartphone-based optical detection facilitated the determination of ERT-B in the 0.5-10 mg/L range, with a limit of detection of 0.04 mg/L. The developed method was successfully employed to determine ERT-B in food samples (juice, candy, and candied cherries) with good recovery values (82-97%)

How accurate are simulations and experiments for the lattice energies of molecular crystals?

Molecular crystals play a central role in a wide range of scientific fields, including pharmaceuticals and organic semiconductor devices. However, they are challenging systems to model accurately with computational approaches because of a delicate interplay of intermolecular interactions such as hydrogen bonding and van der Waals dispersion forces. Here, by exploiting recent algorithmic developments, we report the first set of diffusion Monte Carlo lattice energies for all 23 molecular crystals in the popular and widely used X23 dataset. Comparisons with previous state-of-the-art lattice energy predictions (on a subset of the dataset) and a careful analysis of experimental sublimation enthalpies reveals that high-accuracy computational methods are now at least as reliable as (computationally derived) experiments for the lattice energies of molecular crystals. Overall, this work demonstrates the feasibility of high-level explicitly correlated electronic structure methods for broad benchmarking studies in complex condensed phase systems, and signposts a route towards closer agreement between experiment and simulation