12,964 research outputs found

    Static and dynamic semantics of NoSQL languages

    Get PDF
    We present a calculus for processing semistructured data that spans differences of application area among several novel query languages, broadly categorized as "NoSQL". This calculus lets users define their own operators, capturing a wider range of data processing capabilities, whilst providing a typing precision so far typical only of primitive hard-coded operators. The type inference algorithm is based on semantic type checking, resulting in type information that is both precise, and flexible enough to handle structured and semistructured data. We illustrate the use of this calculus by encoding a large fragment of Jaql, including operations and iterators over JSON, embedded SQL expressions, and co-grouping, and show how the encoding directly yields a typing discipline for Jaql as it is, namely without the addition of any type definition or type annotation in the code

    BSML: A Binding Schema Markup Language for Data Interchange in Problem Solving Environments (PSEs)

    Full text link
    We describe a binding schema markup language (BSML) for describing data interchange between scientific codes. Such a facility is an important constituent of scientific problem solving environments (PSEs). BSML is designed to integrate with a PSE or application composition system that views model specification and execution as a problem of managing semistructured data. The data interchange problem is addressed by three techniques for processing semistructured data: validation, binding, and conversion. We present BSML and describe its application to a PSE for wireless communications system design

    Consciosusness in Cognitive Architectures. A Principled Analysis of RCS, Soar and ACT-R

    Get PDF
    This report analyses the aplicability of the principles of consciousness developed in the ASys project to three of the most relevant cognitive architectures. This is done in relation to their aplicability to build integrated control systems and studying their support for general mechanisms of real-time consciousness.\ud To analyse these architectures the ASys Framework is employed. This is a conceptual framework based on an extension for cognitive autonomous systems of the General Systems Theory (GST).\ud A general qualitative evaluation criteria for cognitive architectures is established based upon: a) requirements for a cognitive architecture, b) the theoretical framework based on the GST and c) core design principles for integrated cognitive conscious control systems

    Graph Grammars for Knowledge Representation

    Get PDF
    This report consists of two papers presented at the March 1990 GRAGRA meeting in Bremen: the more general ''Representation of knowledge using graph grammars'' which argues for graphs as the universal KR formalism and the more specific ''The four musicians: analogies and expert systems -- a graphic approach'' which demonstrates the use of graphics for type inheritance and analogical reasoning

    Tourism supply chain & strategic partnerships for managing the complexity in tourism industry

    Get PDF
    The paper aims to investigate the possible relationship between Tourism Supply Chain and Strategic Partnership, read as a way to reduce and better manage the complexity in Tourism Industry. This last has been analysed under multi-disciplinary approaches (economic, sociological, psychological, anthropological and geographic) to better understand its main components. A synthesis of origin of Tourism Supply Chain term was provided. VRIO framework and PEST analysis was used with the aim to better understand the strategic decision of integration the chain with a single or multiple rings. Starting from this, a theoretical framework from a holistic analysis is provided

    Acta Cybernetica : Tomus 8. Fasciculus 3.

    Get PDF

    Indicators To Evaluate Research Efficiency in Higher Education Institutions

    Get PDF
    The comparison of efficiency between Higher Education Institutions (HEIs) based on quantitative and absolute data, is it may not be the most honest way to establish efficiency levels. This study aims to propose indicators for evaluating efficiency in research to compose the management report of intangible assets in HEI. A search was performed in the SCOPUS bibliographic base to identify the intellectual production of the Federal University of Sergipe in the period from 1977 to 2019. The results demonstrate a positive trend in the growth of the volume of publications and that the intellectual production of the university is the result of its integration in national and international networks of scientific collaboration. A management report that aims to demonstrate the value of the university should accurately contemplate the intangible assets produced by it, which could be used as indicators of research efficiency. The disclosure of the value of intangible assets is a strategy to increase the value and credibility of the brand, but also a form of positive accountability to its maintainer and to society

    Revenue Embeddedness and Competing Institutional Logics: How Nonprofit Leaders Connect Earned Revenue to Mission and Organizational Identity

    Get PDF
    The increasing reliance on earned revenue displayed by nonprofits in the US has raised mission-related organizational identity concerns. However, the effect of a market-driven activity on mission-driven service may vary based on revenue embeddedness: the activity’s connection to the organization’s mission. This study draws on the competing logics of isomorphism and resource dependence to examine how the pursuit of earned revenue affects the organization’s perception of its mission and projection of identity. The authors examine how leaders use language to connect market to mission, presents additional dimensions of embeddedness, and offers propositions for future research
    • …
    corecore