Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

We apply to the semantics of Arithmetic the idea of ``finite approximation'' used to provide computational interpretations of Herbrand's Theorem, and we interpret classical proofs as constructive proofs (with constructive rules for $\vee, \exists$) over a suitable structure \StructureN for the language of natural numbers and maps of G\"odel's system \SystemT. We introduce a new Realizability semantics we call ``Interactive learning-based Realizability'', for Heyting Arithmetic plus \EM_1 (Excluded middle axiom restricted to $\Sigma^0_1$ formulas). Individuals of \StructureN evolve with time, and realizers may ``interact'' with them, by influencing their evolution. We build our semantics over Avigad's fixed point result, but the same semantics may be defined over different constructive interpretations of classical arithmetic (Berardi and de' Liguoro use continuations). Our notion of realizability extends intuitionistic realizability and differs from it only in the atomic case: we interpret atomic realizers as ``learning agents''

On the Impact of Entity Linking in Microblog Real-Time Filtering

Microblogging is a model of content sharing in which the temporal locality of posts with respect to important events, either of foreseeable or unforeseeable nature, makes applica- tions of real-time filtering of great practical interest. We propose the use of Entity Linking (EL) in order to improve the retrieval effectiveness, by enriching the representation of microblog posts and filtering queries. EL is the process of recognizing in an unstructured text the mention of relevant entities described in a knowledge base. EL of short pieces of text is a difficult task, but it is also a scenario in which the information EL adds to the text can have a substantial impact on the retrieval process. We implement a start-of-the-art filtering method, based on the best systems from the TREC Microblog track realtime adhoc retrieval and filtering tasks , and extend it with a Wikipedia-based EL method. Results show that the use of EL significantly improves over non-EL based versions of the filtering methods.Comment: 6 pages, 1 figure, 1 table. SAC 2015, Salamanca, Spain - April 13 - 17, 201

Depletion-induced biaxial nematic states of boardlike particles

With the aim of investigating the stability conditions of biaxial nematic liquid crystals, we study the effect of adding a non-adsorbing ideal depletant on the phase behavior of colloidal hard boardlike particles. We take into account the presence of the depletant by introducing an effective depletion attraction between a pair of boardlike particles. At fixed depletant fugacity, the stable liquid crystal phase is determined through a mean-field theory with restricted orientations. Interestingly, we predict that for slightly elongated boardlike particles a critical depletant density exists, where the system undergoes a direct transition from an isotropic liquid to a biaxial nematic phase. As a consequence, by tuning the depletant density, an easy experimental control parameter, one can stabilize states of high biaxial nematic order even when these states are unstable for pure systems of boardlike particles

Core charge distribution and self assembly of columnar phases: the case of triphenylenes and azatriphenylenes

<p>Abstract</p> <p>Background</p> <p>The relation betweeen the structure of discotic molecules and columnar properties, a crucial point for the realization of new advanced materials, is still largely unknown. A paradigmatic case is that hexa-alkyl-thio substituted triphenylenes present mesogenic behavior while the corresponding azatriphenylenes, similar in shape and chemical structure, but with a different core charge distribution, do not form any liquid crystalline mesophase. This study is aimed at investigating, with the help of computer simulations techniques, the effects on phase behaviour of changes of the charge distribution in the discotic core.</p> <p>Results</p> <p>We described the shape and the pair, dispersive and electrostatic, interactions of hexa alkyl triphenylenes by uniaxial Gay-Berne discs with embedded point charges. Gay-Berne parameters were deduced by fitting the dispersive energies obtained from an atomistic molecular dynamics simulation of a small sample of hexa-octyl-thio triphenylene molecules in columnar phase, while a genetic algorithm was used to get a minimal set of point charges that properly reproduces the ab anitio electrostatic potential. We performed Monte Carlo simulations of three molecular models: the pure Gay-Berne disc, used as a reference, the Gay-Berne disc with hexa-thio triphenylene point charges, the Gay-Berne disc with hexa-thio azatriphenylene point charges. The phase diagram of the pure model evidences a rich polymorphism, with isotropic, columnar and crystalline phases at low pressure, and the appearance of nematic phase at higher pressure.</p> <p>Conclusion</p> <p>We found that the intermolecular electrostatic potential among the cores is fundamental in sta-bilizing/destabilizing columnar phases; in particular the triphenylene charge distribution stabilizes the columnar structure, while the azatriphenylene distribution suppresses its formation in favor of the nematic phase. We believe the present model could be successfully employed as the basis for coarse-grained level simulations of a wider class of triphenylene derivatives.</p

Preface: CCWI 2013

Since 1991 "Computing and Control for the Water Industry – CCWI" is a well-established series of bi-annual meetings. On 2–4 September 2013, the 12th edition (CCWI2013) was held in Perugia (Italy) and was focused on Information for Water Systems and Smart Cities. CCWI2013 emphasized the integration between the more conventional themes of the analysis and planning of water systems and information technology. Such an integration offers opportunities for design solutions and innovative models for the challenging problems of water system management in an urban perspective, a key concept for smart cities (Brunone and Giustolisi, 2014). The large number of presentations – more than 200 with many young researchers from Europe and overseas – confirmed the interest for CCWI2013 themes and the increasing success of CCWI Conferences (Fig. 1). This CCWI2013 special issue contains a selection of extended CCWI2013 papers which give a taste of the Proceedings of the Conference published on Procedia Engineering Elsevier (www.sciencedirect.com/science/journal/ 18777058/70). In fact their topics range from sustainabilitybased indicators of the urban water systems (Behzadian et al., 2014), design and control parameters in water treatment (Ramphal and Sibiya, 2014), numerical simulation of the transition between surface and pressurized flow (Fernandez-Pato and Garcia-Navarro, 2014) to optimisation of pump and valve schedules in complex large-scale water distribution networks (Skworcow et al., 2014), and a real data-based model to simulate the behavior of a pumping station equipped with variable speed pumps (Capponi et al., 2014). Figure 1. Last nine editions of CCWI conferences: number of papers published in the proceedings (from Brunone and Giustolisi, 2014)

An Externally Fired Micro Combined-Cycle, with Largely Adjustable Steam Turbine, in a CHP System

n/

A Numerical Method for a Nonlocal Form of Richards' Equation Based on Peridynamic Theory

Forecasting water content dynamics in heterogeneous porous media has significant interest in hydrological applications; in particular, the treatment of infiltration when in presence of cracks and fractures can be accomplished resorting to peridynamic theory, which allows a proper modeling of non localities in space. In this framework, we make use of Chebyshev transform on the diffusive component of the equation and then we integrate forward in time using an explicit method. We prove that the proposed spectral numerical scheme provides a solution converging to the unique solution in some appropriate Sobolev space. We finally exemplify on several different soils, also considering a sink term representing the root water uptake

Hansenula polymorpha NMR2 and NMR4, two new loci involved in nitrogen metabolite repression

n/

Editorial

n/