Towards a generalisation of formal concept analysis for data mining purposes

In this paper we justify the need for a generalisation of Formal Concept Analysis for the purpose of data mining and begin the synthesis of such theory. For that purpose, we first review semirings and semimodules over semirings as the appropriate objects to use in abstracting the Boolean algebra and the notion of extents and intents, respectively. We later bring to bear powerful theorems developed in the field of linear algebra over idempotent semimodules to try to build a Fundamental Theorem for K-Formal Concept Analysis, where K is a type of idempotent semiring. Finally, we try to put Formal Concept Analysis in new perspective by considering it as a concrete instance of the theory developed

Traceability for Food Safety and Quality Assurance: Mandatory Systems Miss the Mark

Traceability systems are record-keeping systems that are primarily used to help keep foods with different attributes separate from one another. When information about a particular attribute of a food product is systematically recorded from creation through marketing, traceability for that attribute is established. Recently, policy makers in many countries have begun weighing the usefulness of mandatory traceability for managing such diverse problems as the threat of bio-terrorism, country-of-origin labelling, mad cow disease, and identification of genetically engineered foods. The question before policymakers is, When is mandatory traceability a useful and appropriate policy choice?Agricultural and Food Policy, Food Consumption/Nutrition/Food Safety,

TRACEABILITY IN THE U.S. FOOD SUPPLY: ECONOMIC THEORY AND INDUSTRY STUDIES

This investigation into the traceability baseline in the United States finds that private sector food firms have developed a substantial capacity to trace. Traceability systems are a tool to help firms manage the flow of inputs and products to improve efficiency, product differentiation, food safety, and product quality. Firms balance the private costs and benefits of traceability to determine the efficient level of traceability. In cases of market failure, where the private sector supply of traceability is not socially optimal, the private sector has developed a number of mechanisms to correct the problem, including contracting, third-party safety/quality audits, and industry-maintained standards. The best-targeted government policies for strengthening firms' incentives to invest in traceability are aimed at ensuring that unsafe of falsely advertised foods are quickly removed from the system, while allowing firms the flexibility to determine the manner. Possible policy tools include timed recall standards, increased penalties for distribution of unsafe foods, and increased foodborne-illness surveillance.traceability, tracking, traceback, tracing, recall, supply-side management, food safety, product differentiation, Food Consumption/Nutrition/Food Safety, Industrial Organization,

Studying Paths of Participation in Viral Diffusion Process

Authors propose a conceptual model of participation in viral diffusion process composed of four stages: awareness, infection, engagement and action. To verify the model it has been applied and studied in the virtual social chat environment settings. The study investigates the behavioral paths of actions that reflect the stages of participation in the diffusion and presents shortcuts, that lead to the final action, i.e. the attendance in a virtual event. The results show that the participation in each stage of the process increases the probability of reaching the final action. Nevertheless, the majority of users involved in the virtual event did not go through each stage of the process but followed the shortcuts. That suggests that the viral diffusion process is not necessarily a linear sequence of human actions but rather a dynamic system.Comment: In proceedings of the 4th International Conference on Social Informatics, SocInfo 201

Magnetic-film atom chip with 10 μ\mum period lattices of microtraps for quantum information science with Rydberg atoms

We describe the fabrication and construction of a setup for creating lattices of magnetic microtraps for ultracold atoms on an atom chip. The lattice is defined by lithographic patterning of a permanent magnetic film. Patterned magnetic-film atom chips enable a large variety of trapping geometries over a wide range of length scales. We demonstrate an atom chip with a lattice constant of 10 $\mu$m, suitable for experiments in quantum information science employing the interaction between atoms in highly-excited Rydberg energy levels. The active trapping region contains lattice regions with square and hexagonal symmetry, with the two regions joined at an interface. A structure of macroscopic wires, cut out of a silver foil, was mounted under the atom chip in order to load ultracold $^{87}$Rb atoms into the microtraps. We demonstrate loading of atoms into the square and hexagonal lattice sections simultaneously and show resolved imaging of individual lattice sites. Magnetic-film lattices on atom chips provide a versatile platform for experiments with ultracold atoms, in particular for quantum information science and quantum simulation.Comment: 7 pages, 7 figure

First evidence of coherent K+K^{+} meson production in neutrino-nucleus scattering

Neutrino-induced charged-current coherent kaon production, $\nu_{\mu}A\rightarrow\mu^{-}K^{+}A$, is a rare, inelastic electroweak process that brings a $K^+$ on shell and leaves the target nucleus intact in its ground state. This process is significantly lower in rate than neutrino-induced charged-current coherent pion production, because of Cabibbo suppression and a kinematic suppression due to the larger kaon mass. We search for such events in the scintillator tracker of MINERvA by observing the final state $K^+$, $\mu^-$ and no other detector activity, and by using the kinematics of the final state particles to reconstruct the small momentum transfer to the nucleus, which is a model-independent characteristic of coherent scattering. We find the first experimental evidence for the process at $3\sigma$ significance.Comment: added ancillary file with information about the six kaon candidate