51 research outputs found

    I am what I have and I have what I am, what am I?: Homeomerosity in formal concept analysis

    Get PDF
    The term homeomerosity refers to when a whole and its parts are the same kind of thing. For instance, a computer and its processor can both be classified as machines. Homeomerosity is a prerequisite for meaningful addition and subtraction. For example, adding the area sizes of two independent regions gives another area size, but adding an area size and a number of hours yields a number with a peculiar unit. In earlier work, homeomerosity has been formalized with respect to mereological parthood, but not in concurrence with a notion of class subsumption. Both are essential to homeomerosity, as a part can only be observed to be of the same kind as the whole if they are observed to be of some kinds in the first place. In this work, we use formal concept analysis to organize conceptual representations of parts and wholes in a shared contextual model. In our doing so, we show wholes and parts can be represented by sub-concepts of a concept with respect to which they are homeomerous

    A grammar for interpreting geo-analytical questions as concept transformations

    Get PDF
    Geographic Question Answering (GeoQA) systems can automatically answer questions phrased in natural language. Potentially this may enable data analysts to make use of geographic information without requiring any GIS skills. However, going beyond the retrieval of existing geographic facts on particular places remains a challenge. Current systems usually cannot handle geo-analytical questions that require GIS analysis procedures to arrive at answers. To enable geo-analytical QA, GeoQA systems need to interpret questions in terms of a transformation that can be implemented in a GIS workflow. To this end, we propose a novel approach to question parsing that interprets questions in terms of core concepts of spatial information and their functional roles in context-free grammar. The core concepts help model spatial information in questions independently from implementation formats, and their functional roles indicate how concepts are transformed and used in a workflow. Using our parser, geo-analytical questions can be converted into expressions of concept transformations corresponding to abstract GIS workflows. We developed our approach on a corpus of 309 GIS-related questions and tested it on an independent source of 134 test questions including workflows. The evaluation results show high precision and recall on a gold standard of concept transformations

    Procedural metadata for geographic information using an algebra of core concept transformations

    Get PDF
    Transformations are essential for dealing with geographic information. They are involved not only in the conversion between geodata formats and reference systems, but also in turning geodata into useful information according to some purpose. However, since a transformation can be implemented in various formats and tools, its function and purpose usually remains hidden underneath the technicalities of a workflow. To automate geographic information procedures, we therefore need to model the transformations implemented by workflows on a conceptual level, as a form of procedural knowledge. Although core concepts of spatial information provide a useful level of description in this respect, we currently lack a model for the space of possible transformations between such concepts. In this article, we present the algebra of core concept transformations (CCT). It consists of a type hierarchy which models core concepts as relation types, and a set of basic transformations described in terms of function signatures that use such types. We enrich GIS workflows with abstract machine-readable metadata, by compiling algebraic tool descriptions and inferring goal concepts across a workflow. In this article, we show how such procedural metadata can be used to retrieve workflows based on task descriptions derived from geo-analytical questions. Transformations can be queried independently from their implementations or data formats

    Algebra of core concept transformations: Procedural meta-data for geographic information

    Get PDF
    Transformations are essential for dealing with geographic information. They are involved not only in converting between geodata formats and reference systems, but also in turning geodata into useful information according to some purpose. However, since a transformation can be implemented in various formats and tools, its function and purpose usually remains hidden underneath the technicalities of a workflow. To automate geographic information procedures, we therefore need to model the transformations implemented by workflows on a conceptual level, as a form of procedural knowledge. Although core concepts of spatial information provide a useful level of description in this respect, we currently lack a model for the space of possible transformations between such concepts. In this article, we present the algebra of core concept transformations (CCT). It consists of a type hierarchy which models core concepts as relations, and a set of basic transformations described in terms of function signatures that use such types. Type inference allows us to enrich GIS workflows with abstract machine-readable metadata, by compiling algebraic tool descriptions. This allows us to automatically infer goal concepts across workflows and to query over such concepts across raster and vector implementations. We evaluate the algebra over a set of expert GIS workflows taken from online tutorials

    The replacement of a phenol group by an aniline or acetanilide group enhances the cytotoxicity of 2-ferrocenyl-1,1-diphenyl-but-1-ene compounds against breast cancer cells

    Get PDF
    International audienceWe have previously shown that conjugated ferrocenyl p-phenols show strong cytotoxic effects against both the hormone-dependent MCF-7 and hormone-independent MDA-MB-231 breast cancer cell lines, possibly via oxidative quinone methide formation. We now present a series of analogous amine and acetamide compounds: 2-ferrocenyl-1-(4-aminophenyl)-1-phenyl-but-1-ene (Z+E-2), 2-ferrocenyl-1-(4-N-acetylaminophenyl)-1-phenyl-but-1-ene (Z-3), and their corresponding organic molecules 1-(4-aminophenyl)-1,2-bis-phenyl-but-1-ene (Z+E-4) and 1-(4-N-acetamidophenyl)-1,2-bis-phenyl-but-1-ene (Z+E-5). All of the compounds have adequate relative binding affinity values for the estrogen receptor; between 2.8% and 5.7% for ERα, and between 0.18% and 15.5% for ERÎČ, as well as exothermic ligand binding in in silico ER docking experiments. Compounds 2 and 3 show dual estrogenic/cytotoxic activity on the MCF-7 cell line; they are proliferative at low concentrations (0.1 ÎŒM) and antiproliferative at high concentrations (10 ÎŒM). On the MDA-MB-231 cell line, the ferrocenyl complexes 2 and 3 are antiproliferative with IC50 values of 0.8 ÎŒM for 2 and 0.65 ÎŒM for 3, while the purely organic molecules 4 and 5 show no effect. Electrochemical experiments suggest that both 2 and 3 can be transformed to oxidized quinoid-type species, analogous to what had previously been observed for the ferrocene phenols

    The replacement of a phenol group by an aniline or acetanilide group enhances the cytotoxicity of 2-ferrocenyl-1,1-diphenyl-but-1-ene compounds against breast cancer cells

    Get PDF
    International audienceWe have previously shown that conjugated ferrocenyl p-phenols show strong cytotoxic effects against both the hormone-dependent MCF-7 and hormone-independent MDA-MB-231 breast cancer cell lines, possibly via oxidative quinone methide formation. We now present a series of analogous amine and acetamide compounds: 2-ferrocenyl-1-(4-aminophenyl)-1-phenyl-but-1-ene (Z+E-2), 2-ferrocenyl-1-(4-N-acetylaminophenyl)-1-phenyl-but-1-ene (Z-3), and their corresponding organic molecules 1-(4-aminophenyl)-1,2-bis-phenyl-but-1-ene (Z+E-4) and 1-(4-N-acetamidophenyl)-1,2-bis-phenyl-but-1-ene (Z+E-5). All of the compounds have adequate relative binding affinity values for the estrogen receptor; between 2.8% and 5.7% for ERα, and between 0.18% and 15.5% for ERÎČ, as well as exothermic ligand binding in in silico ER docking experiments. Compounds 2 and 3 show dual estrogenic/cytotoxic activity on the MCF-7 cell line; they are proliferative at low concentrations (0.1 ÎŒM) and antiproliferative at high concentrations (10 ÎŒM). On the MDA-MB-231 cell line, the ferrocenyl complexes 2 and 3 are antiproliferative with IC50 values of 0.8 ÎŒM for 2 and 0.65 ÎŒM for 3, while the purely organic molecules 4 and 5 show no effect. Electrochemical experiments suggest that both 2 and 3 can be transformed to oxidized quinoid-type species, analogous to what had previously been observed for the ferrocene phenols

    The Semantics of Extensive Quantities within Geographic Information

    Get PDF
    The next generation of Geographic Information Systems (GIS) is anticipated to automate some of the reasoning required for spatial analysis. An important step in the development of such systems is to gain a better understanding and corresponding modeling practice of when to apply arithmetic operations to quantities. The concept of extensivity plays an essential role in determining when quantities can be aggregated by summing them, and when this is not possible. This is of particular importance to geographic information systems, which serve to quantify phenomena across space and time. However, currently, multiple contrasting definitions of extensivity exist, and none of these suffice for handling the different practical cases occurring in geographic information. As a result, analysts predominantly rely on intuition and ad hoc reasoning to determine whether two quantities are additive. In this paper, we present a novel approach to formalizing the concept of extensivity. Though our notion as such is not restricted to quantifications occurring within geographic information, it is particularly useful for this purpose. Following the idea of spatio-temporal controls by Sinton, we define extensivity as a property of measurements of quantities with respect to a controlling quantity, such that a sum of the latter implies a sum of the former. In our algebraic definition of amounts and other quantities, we do away with some of the constraints that limit the usability of older approaches. By treating extensivity as a relation between amounts and other types of quantities, our definition offers the flexibility to relate a quantity to many domains of interest. We show how this new notion of extensivity can be used to classify the kinds of amounts in various examples of geographic information

    Impact of Acceptor Quadrupole Moment on Charge Generation and Recombination in Blends of IDT-Based Non-Fullerene Acceptors with PCE10 as Donor Polymer

    Get PDF
    Advancing non-fullerene acceptor (NFA) organic photovoltaics requires the mitigation of the efficiency-limiting processes. Acceptor end-group and side-chain engineering are two handles to tune properties, and a better understanding of their specific impact on the photophysics could facilitate a more guided acceptor design. Here, the device performance, energetic landscape, and photophysics of rhodanine and dicyanovinyl end-capped IDT-based NFAs, namely, O-IDTBR and O-IDTBCN, in PCE10-based solar cells are compared by transient optical and electro-optical spectroscopy techniques and density functional theory calculations. It is revealed how the acceptors’ quadrupole moments affect the interfacial energetic landscape, in turn causing differences in exciton quenching, charge dissociation efficiencies, and geminate versus non-geminate recombination losses. More precisely, it is found that the open circuit voltage (VOC) is controlled by the acceptors’ electron affinity (EA), while geminate and non-geminate recombination, and the field dependence of charge generation, rely on the acceptors’ quadrupole moments. The kinetic parameters and yields of all processes are determined, and it is demonstrated that they can reproduce the performance differences of the devices’ current–voltage characteristics in carrier drift-diffusion simulations. The results provide insight into the impact of the energetic landscape, specifically the role of the quadrupole moment of the acceptor, beyond trivial considerations of the donor–acceptor energy offsets

    Empirical Evidence for Concepts of Spatial Information as Cognitive Means for interpreting and using Maps

    Get PDF
    Due to the increasing prevalence and relevance of geo-spatial data in the age of data science, Geographic Information Systems are enjoying wider interdisciplinary adoption by communities outside of GIScience. However, properly interpreting and analysing geo-spatial information is not a trivial task due to knowledge barriers. There is a need for a trans-disciplinary framework for sharing specialized geographical knowledge and expertise to overcome these barriers. The core concepts of spatial information were proposed as such a conceptual framework. These concepts, such as object and field, were proposed as cognitive lenses that can simplify understanding of and guide the processing of spatial information. However, there is a distinct lack of empirical evidence for the existence of such concepts in the human mind or whether such concepts can be indeed useful. In this study, we have explored for such empirical evidence using behavioral experiments with human participants. The experiment adopted a contrast model to investigate whether the participants can semantically distinguish between the object and field core concepts visualized as maps. The statistically significant positive results offer evidence supporting the existence of the two concepts or cognitive concepts closely resembling them. This gives credibility to the core concepts of spatial information as tools for sharing, teaching, or even automating the process of geographical information processing

    Adenoviruses in Lymphocytes of the Human Gastro-Intestinal Tract

    Get PDF
    Objective: Persistent adenoviral shedding in stools is known to occur past convalescence following acute adenoviral infections. We wished to establish the frequency with which adenoviruses may colonize the gut in normal human subjects. Methods: The presence of adenoviral DNA in intestinal specimens obtained at surgery or autopsy was tested using a nested PCR method. The amplified adenoviral DNA sequences were compared to each other and to known adenoviral species. Lamina propria lymphocytes (LPLs) were isolated from the specimens and the adenoviral copy numbers in the CD4+ and CD8+ fractions were determined by quantitative PCR. Adenoviral gene expression was tested by amplification of adenoviral mRNA. Results: Intestinal tissue from 21 of 58 donors and LPLs from 21 of 24 donors were positive for the presence of adenoviral DNA. The majority of the sequences could be assigned to adenoviral species E, although species B and C sequences were also common. Multiple sequences were often present in the same sample. Forty-one non-identical sequences were identified from 39 different tissue donors. Quantitative PCR for adenoviral DNA in CD4+ and CD8+ fractions of LPLs showed adenoviral DNA to be present in both cell types and ranged from a few hundred to several million copies per million cells on average. Active adenoviral gene expression as evidenced by the presence of adenoviral messenger RNA in intestinal lymphocytes was demonstrated in 9 of the 11 donors tested
    • 

    corecore