9 research outputs found

    31th International Conference on Information Modelling and Knowledge Bases

    Get PDF
    Information modelling is becoming more and more important topic for researchers, designers, and users of information systems.The amount and complexity of information itself, the number of abstractionlevels of information, and the size of databases and knowledge bases arecontinuously growing. Conceptual modelling is one of the sub-areas ofinformation modelling. The aim of this conference is to bring together experts from different areas of computer science and other disciplines, who have a common interest in understanding and solving problems on information modelling and knowledge bases, as well as applying the results of research to practice. We also aim to recognize and study new areas on modelling and knowledge bases to which more attention should be paid. Therefore philosophy and logic, cognitive science, knowledge management, linguistics and management science are relevant areas, too. In the conference, there will be three categories of presentations, i.e. full papers, short papers and position papers

    Prolog and Abduction 4 writing Garbage Collectors

    No full text
    It seems silly and impractical to write a garbage collector (for a Prolog engine) in Prolog itself. But doing so has least three advantages: (1) one gets a runnable specification of the garbage collector, (2) it can enhance understanding of the algorithms involved without having to worry about pointer details, (3) the garbage collector written in Prolog can be used for debugging its implementation in a lower level language. We show how a sliding collector can be specified in Prolog in a reasonably declarative way, how it can be executed best within a tabling environment, and how it was of use during the development of the heap garbage collectors of BinProlog, XSB and more recently ilProlog. We indicate how the Prolog implementation can reconstruct the classical Morris algorithm. We also specify the garbage collection process in an abductive formalism and speculate on how constraints on the abductive solver can retrieve well-known algorithms

    Combining SOA and BPM Technologies for Cross-System Process Automation

    Get PDF
    This paper summarizes the results of an industry case study that introduced a cross-system business process automation solution based on a combination of SOA and BPM standard technologies (i.e., BPMN, BPEL, WSDL). Besides discussing major weaknesses of the existing, custom-built, solution and comparing them against experiences with the developed prototype, the paper presents a course of action for transforming the current solution into the proposed solution. This includes a general approach, consisting of four distinct steps, as well as specific action items that are to be performed for every step. The discussion also covers language and tool support and challenges arising from the transformation

    (Audio-)Visual Arts and Trauma : from the east to the west

    Get PDF
    Which patterns do (audio-)visual works use to tackle the unspeakable events of trauma? How can we describe the relationship between traumatic experience and artistic (audio)visual works? And, are there great differences in the medial forms, in which the arts from the East to the West deal with the rejected experience of the past? This compilation presents the results of the fourth research project between Petro Mohyla National Black Sea State University (Mykolaiv, Ukraine) and Saarland University (SaarbrĂĽcken, Germany). Including theoretical reflection on trauma theory, these papers study examples of (audio-)visual art working through trauma in Eastern and Western Europe, North and Central America and the Caribbean. The analysed objects of art embrace films, monuments, photographs, woodcuts and (graphic) novels, dealing with Stalinist repression, (Post) World War II losses, the Chernobyl nuclear catastrophe, the silenced crimes of the Francoist dictatorship, the persecution, humiliation and criminalization of homosexuals in the US and long lasting state terror in Cuba or Guatemala

    Cultural Dynamics in a Globalized World

    Get PDF
    The book contains essays on current issues in arts and humanities in which peoples and cultures compete as well as collaborate in globalizing the world while maintaining their uniqueness as viewed from cross- and inter-disciplinary perspectives. The book covers areas such as literature, cultural studies, archaeology, philosophy, history, language studies, information and literacy studies, and area studies. Asia and the Pacific are the particular regions that the conference focuses on as they have become new centers of knowledge production in arts and humanities and, in the future, seem to be able to grow significantly as a major contributor of culture, science and arts to the globalized world. The book will help shed light on what arts and humanities scholars in Asia and the Pacific have done in terms of research and knowledge development, as well as the new frontiers of research that have been explored and opening up, which can connect the two regions with the rest of the globe

    1990-1995 Brock Campus News

    Get PDF
    A compilation of the administration newspaper, Brock Campus News, for the years 1990 through 1995. It had previously been titled The Blue Badger
    corecore