Museum Guide

Ubiquitous computing is a concept in software engineering and computer science where computing is made to appear anytime and everywhere. In contrast to desktop computing, ubiquitous computing can occur using any device, in any location, and in any format. The process of investigating digital devices for the purpose of generating evidence related to an incident under investigation is referred to as Museum Guide. The motivation of this project is to detect crimes committed against people in which the evidence exists on a computer the system attempts to address whether or not evidence for events defined by the investigator is present in the document�s collected from the suspect�s computer. We propose a novel subject based semantic approach that clusters all the documents into a set of overlapping clusters corresponding to one unique subject of interest entered by the investigator

Microservices and Machine Learning Algorithms for Adaptive Green Buildings

In recent years, the use of services for Open Systems development has consolidated and strengthened. Advances in the Service Science and Engineering (SSE) community, promoted by the reinforcement of Web Services and Semantic Web technologies and the presence of new Cloud computing techniques, such as the proliferation of microservices solutions, have allowed software architects to experiment and develop new ways of building open and adaptable computer systems at runtime. Home automation, intelligent buildings, robotics, graphical user interfaces are some of the social atmosphere environments suitable in which to apply certain innovative trends. This paper presents a schema for the adaptation of Dynamic Computer Systems (DCS) using interdisciplinary techniques on model-driven engineering, service engineering and soft computing. The proposal manages an orchestrated microservices schema for adapting component-based software architectural systems at runtime. This schema has been developed as a three-layer adaptive transformation process that is supported on a rule-based decision-making service implemented by means of Machine Learning (ML) algorithms. The experimental development was implemented in the Solar Energy Research Center (CIESOL) applying the proposed microservices schema for adapting home architectural atmosphere systems on Green Buildings

Natural language and the genetic code: from the semiotic analogy to biolinguistics

[Abstract] With the discovery of the DNA structure (Watson and Crick, 1953), the idea of DNA as a linguistic code arose (Monod, 1970). Many researchers have considered DNA as a language, pointing out the semiotic parallelism between genetic code and natural language. This idea had been discussed, almost dismissed and somehow accepted. This paper does not claim that the genetic code is a linguistic structure, but it highlights several important semiotic analogies between DNA and verbal language. Genetic code and natural language share a number of units, structures and operations. The syntactic and semantic parallelisms between those codes should lead to a methodological exchange between biology, linguistics and semiotics. During the 20th century, biology has become a pilot science, so that many disciplines have formulated their theories under models taken from biology. Computer science has become almost a bioinspired field thanks to the great development of natural computing and DNA computing. Biology and semiotics are two different sciences challenged by the same common goal of deciphering the codes of the nature. Linguistics could become another «bio-inspired» science by taking advantage of the structural and «semantic» similarities between the genetic code and natural language. Biological methods coming from computer science can be very useful in the field of linguistics, since they provide flexible and intuitive tools for describing natural languages. In this way, we obtain a theoretical framework where biology, linguistics and computer science exchange methods and interact, thanks to the semiotic parallelism between the genetic code a natural language. The influence of the semiotics of the genetic code in linguistics is parallel to the need of achieving an implementable formal description of natural language. In this paper we present an overview of different bio-inspired methods — from theoretical computer science — that during the last years have been successfully applied to several linguistics issues, from syntax to pragmatics

a state of the art

The aim of this paper is to review the most important research initiatives concerning context in computer science. Context aspects are a key issue for many research communities like artificial intelligence, real time systems or mobile computing, because it relates information processing and communication to aspects of the situations in which such processing occurs. The overview addresses the ways context is defined and understood in various computer science fields and tries to estimate the role of context in the novel scenario of the Semantic Web, by studying the particularities of this setting, compared to the Artificial Intelligence or Natural Language Processing ones, and the consequences of these particularities in resolving the key questions concerning contextual aspects

A Dependent Type Theory with Abstractable Names

This paper describes a version of Martin-Löf's dependent type theory extended with names and constructs for freshness and name-abstraction derived from the theory of nominal sets. We aim for a type theory for computing and proving (via a Curry-Howard correspondence) with syntactic structures which captures familiar, but informal, ‘nameful’ practices when dealing with binders.Partially supported by the UK EPSRC program grant EP/K008528/1, Rigorous Engineering for Mainstream Systems (REMS). Supported by the UK EPSRC leadership fellowship (Peter Sewell) grant EP/H005633/1, Semantic Foundations for Real-World Systems.This is the final published version of the article. It was originally published in Electronic Notes in Theoretical Computer Science (Pitts AM, Matthiesen J, Derikx J, Electronic Notes in Theoretical Computer Science 2015, 312, 19–50, doi:10.1016/j.entcs.2015.04.003) http://dx.doi.org/10.1016/j.entcs.2015.04.00

Ontology Access Provisioning in Grid Environments

The increase of use of semantic technologies has reached almost every computer science related field, including the grid computing field . The next generation Grid should virtualise the notion of distribution in computation, storage, and communication over unlimited resources with well defined computational semantics. A Grid node may provide new services, functions or even new concepts that are unknown to clients. The semantics of such services are defined by means of Ontologies [Gruber, 1993; Gómez-Pérez et al., 2003]. Thus providing the appropriate means for accessing and using Ontologies in the Grid is fundamental if semantic technologies are to be used. So, the transition from monolithic, centralized ontology services to a virtual organization of Grid compliant and Grid aware ontology services that can coordinate and cooperate with each other is crucial to progress towards the Semantic Grid [De Roure et al., 2005]