A formal model for Explicit Knowledge as Awareness-of plus Awareness-that

In the context of the problem of logical omniscience, several frameworks have been proposed to model the knowledge of 'real' agents with limited reasoning abilities. One of the most important, awareness logic, relies on the concept of awareness for distinguishing what the agent 'truly' knows from what she could get if she were aware of all formulas. Still, the notion of awareness can be interpreted in different ways: it can be understood as what the agent simply entertains, without having any attitude in favour or against (awareness of ), but also as what she has consciously recognised as true (awareness that). This paper proposes a formal framework that captures these two interpretations of the notion of awareness, discussing the further epistemic notions that arise from their combination (e.g., implicit knowledge and explicit knowledge) while also studying their properties and the way they interact with one another

Heuristics for Longest Edge Selection in Simplicial Branch and Bound

Pre-print de la comunicacion presentada al ICCSA2015Simplicial partitions are suitable to divide a bounded area in branch and bound. In the iterative re nement process, a popular strategy is to divide simplices by their longest edge, thus avoiding needle-shaped simplices. A range of possibilities arises in higher dimensions where the number of longest edges in a simplex is greater than one. The behaviour of the search and the resulting binary search tree depend on the se- lected longest edge. In this work, we investigate different rules to select a longest edge and study the resulting efficiency of the branch and bound algorithm.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Characterisation of irradiated and non-irradiated silicon sensors with a table-top two photon absorption TCT system

A tabletop Two Photon Absorption-Transient Current Technique (TPA-TCT) set-up built at CERN was used to investigate a non-irradiated PIN diode, an irradiated PIN diode, and a non-irradiated 5 × 5-multipad HPK LGAD. The intrinsic three dimensional spatial resolution of this method is demonstrated under normal incidence of the laser probe. A charge collection versus depth profile of the non-irradiated PIN diode is presented, where reflection on the rear silicon-air interface was observed. It is found that the time-over-threshold versus depth profile is particularly suitable to determine the boundaries of the DUT's active volume. A depth scan of the irradiated PIN diode is discussed and a method to omit the single photon absorption background is presented. Finally, a charge collection measurement in the inter-pad region of the 5 × 5-multipad HPK LGAD is presented and it is demonstrated that TPA-TCT can be used to image the implantation and the electric field of segmented silicon devices in a three dimensional manner

Cluster expansion for abstract polymer models. New bounds from an old approach

We revisit the classical approach to cluster expansions, based on tree graphs, and establish a new convergence condition that improves those by Kotecky-Preiss and Dobrushin, as we show in some examples. The two ingredients of our approach are: (i) a careful consideration of the Penrose identity for truncated functions, and (ii) the use of iterated transformations to bound tree-graph expansions.Comment: 16 pages. This new version, written en reponse to the suggestions of the referees, includes more detailed introductory sections, a proof of the generalized Penrose identity and some additional results that follow from our treatmen

On the convergence of cluster expansions for polymer gases

We compare the different convergence criteria available for cluster expansions of polymer gases subjected to hard-core exclusions, with emphasis on polymers defined as finite subsets of a countable set (e.g. contour expansions and more generally high- and low-temperature expansions). In order of increasing strength, these criteria are: (i) Dobrushin criterion, obtained by a simple inductive argument; (ii) Gruber-Kunz criterion obtained through the use of Kirkwood-Salzburg equations, and (iii) a criterion obtained by two of us via a direct combinatorial handling of the terms of the expansion. We show that for subset polymers our sharper criterion can be proven both by a suitable adaptation of Dobrushin inductive argument and by an alternative --in fact, more elementary-- handling of the Kirkwood-Salzburg equations. In addition we show that for general abstract polymers this alternative treatment leads to the same convergence region as the inductive Dobrushin argument and, furthermore, to a systematic way to improve bounds on correlations

Skin multi-omics-based interactome analysis: integrating the tissue and mucus exuded layer for a comprehensive understanding of the teleost mucosa functionality as model of study

From a general structural perspective, a mucosal tissue is constituted by two main matrices: the tissue and the secreted mucus. Jointly, they fulfill a wide range of functions including the protection of the epithelial layer. In this study, we simultaneously analyzed the epithelial tissue and the secreted mucus response using a holistic interactome-based multi-omics approach. The effect of the gilthead sea bream (Sparus aurata) skin mucosa to a dietary inclusion of spray-dried porcine plasma (SDPP) was evaluated. The epithelial skin microarrays-based transcriptome data showed 194 differentially expressed genes, meanwhile the exuded mucus proteome analysis 35 differentially synthesized proteins. Separately, the skin transcripteractome revealed an expression profile that favored biological mechanisms associated to gene expression, biogenesis, vesicle function, protein transport and localization to the membrane. Mucus proteome showed an enhanced protective role with putatively higher antioxidant and antimicrobial properties. The integrated skin mucosa multi-interactome analysis evidenced the interrelationship and synergy between the metabolism and the exuded mucus functions improving specifically the tissue development, innate defenses, and environment recognition. Histologically, the skin increased in thickness and in number of mucous cells. A positive impact on animal performance, growth and feed efficiency was also registered. Collectively, the results suggest an intimate crosstalk between skin tissue and its exuded mucus in response to the nutritional stimulus (SDPP supplementation) that favors the stimulation of cell protein turnover and the activation of the exudation machinery in the skin mucosa. Thus, the multi-omics-based interactome analysis provides a comprehensive understanding of the biological context of response that takes place in a mucosal tissue. In perspective, this strategy is applicable for evaluating the effect of any experimental variable on any mucosal tissue functionality, including the benefits this assessment may provide on the study of the mammalian mucosa

Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models. V. Further Results for the Square-Lattice Chromatic Polynomial

We derive some new structural results for the transfer matrix of square-lattice Potts models with free and cylindrical boundary conditions. In particular, we obtain explicit closed-form expressions for the dominant (at large |q|) diagonal entry in the transfer matrix, for arbitrary widths m, as the solution of a special one-dimensional polymer model. We also obtain the large-q expansion of the bulk and surface (resp. corner) free energies for the zero-temperature antiferromagnet (= chromatic polynomial) through order q^{-47} (resp. q^{-46}). Finally, we compute chromatic roots for strips of widths 9 <= m <= 12 with free boundary conditions and locate roughly the limiting curves.Comment: 111 pages (LaTeX2e). Includes tex file, three sty files, and 19 Postscript figures. Also included are Mathematica files data_CYL.m and data_FREE.m. Many changes from version 1: new material on series expansions and their analysis, and several proofs of previously conjectured results. Final version to be published in J. Stat. Phy

Quantitative determinations and imaging in different structures of buried human bones from the XVIII-XIXth centuries by energy dispersive X-ray fluorescence - Postmortem evaluation

In this work, a non-commercial triaxial geometry energy dispersive X-ray Fluorescence (EDXRF) setup and a benchtop mu-XRF system were used to identify postmortem contamination in buried bones. For two of the individuals, unusually high concentrations of Cu and Pb, but also Zn (in one individual) were observed. The pigments of the burial shroud coverings have been identified as the source of contamination.Accurate and precise quantitative results were obtained by nondestructive process using fundamental parameters method taking into account the matrix absorption effects.A total of 30 bones from 13 individuals, buried between the mid-XVlllth to early XIXth centuries, were analyzed to study the elemental composition and elemental distribution. The bones were collected from a church in Almada (Portugal), called Ermida do Espirito Santo, located near the Tagus River and at the sea neighbourhood.The triaxial geometry setup was used to quantify Ca, Fe, Cu, Zn, Br, Sr and Pb of powder pressed bone pellets (n=9 for each bone). Cluster analysis was performed considering the elemental concentrations for the different bones. There was a clear association between some bones regarding Fe, Cu, Zn, Br and Pb content but not a categorization between cortical and trabecular bones. The elemental distribution of Cu, Zn and Pb were assessed by the benchtop p.-analysis, the M4 Tornado, based on a polycapillary system which provides multi-elemental 2D maps. The results showed that contamination was mostly on the surface of the bone confirming that it was related to the burial shroud covering the individuals