Software Engineering Methods for the Internet of Things: A Comparative Review

Accessing different physical objects at any time from anywhere through wireless network heavily impacts the living style of societies worldwide nowadays. Thus, the Internet of Things has now become a hot emerging paradigm in computing environments. Issues like interoperability, software reusability, and platform independence of those physical objects are considered the main current challenges. This raises the need for appropriate software engineering approaches to develop effective and efficient IoT applications software. This paper studies the state of the art of design and development methodologies for IoT software. The aim is to study how proposed approaches have been solved issues of interoperability, reusability, and independence of the platform. A comparative study is presented for the different software engineering methods used for the Internet of Things. Finally, the key research gaps and open issues are highlighted as future directions

Combining Evidence from Unconstrained Spoken Term Frequency Estimation for Improved Speech Retrieval

This dissertation considers the problem of information retrieval in speech. Today's speech retrieval systems generally use a large vocabulary continuous speech recognition system to first hypothesize the words which were spoken. Because these systems have a predefined lexicon, words which fall outside of the lexicon can significantly reduce search quality---as measured by Mean Average Precision (MAP). This is particularly important because these Out-Of-Vocabulary (OOV) words are often rare and therefore good discriminators for topically relevant speech segments. The focus of this dissertation is on handling these out-of-vocabulary query words. The approach is to combine results from a word-based speech retrieval system with those from vocabulary-independent ranked utterance retrieval. The goal of ranked utterance retrieval is to rank speech utterances by the system's confidence that they contain a particular spoken word, which is accomplished by ranking the utterances by the estimated frequency of the word in the utterance. Several new approaches for estimating this frequency are considered, which are motivated by the disparity between reference and errorfully hypothesized phoneme sequences. The first method learns alternate pronunciations or degradations from actual recognition hypotheses and incorporates these variants into a new generative estimator for term frequency. A second method learns transformations of several easily computed features in a discriminative model for the same task. Both methods significantly improved ranked utterance retrieval in an experimental validation on new speech. The best of these ranked utterance retrieval methods is then combined with a word-based speech retrieval system. The combination approach uses a normalization learned in an additive model, which maps the retrieval status values from each system into estimated probabilities of relevance that are easily combined. Using this combination, much of the MAP lost because of OOV words is recovered. Evaluated on a collection of spontaneous, conversational speech, the system recovers 57.5\% of the MAP lost on short (title-only) queries and 41.3\% on longer (title plus description) queries

Minimal Definition Signatures: Computation and Application to Ontology Alignment

In computer science, ontologies define a domain to facilitate knowledge representation and sharing, in a machine processable way. Ontologies approximate an actual world representation, and thus ontologies will differ for many reasons. Therefore knowledge sharing, and in general semantic interoperability, is inherently hindered or even precluded between heterogenous ontologies. Ontology matching addresses this fundamental issue by producing alignments, i.e. sets of correspondences that describe relations between semantically related entities of different ontologies. However, alignments are typically incomplete. In order to support and improve ontology alignment, and semantic interoperability in general, this thesis exploits the notion of implicit definability. Implicit definability is a semantic property of ontologies, signatures, and concepts (and roles) stating that whenever the signature is fixed under a given ontology then the definition of a particular concept (or role) is also fixed. This thesis introduces the notion of minimal definition signature (MDS) from which a given entity is implicitly definable, and presents a novel approach that provides an efficient way to compute in practice all MDSs of the definable entities. Furthermore, it investigates the application of MDSs in the context of alignment generation, evaluation, and negotiation (whereby agents cooperatively establish a mutually acceptable alignment to support opportunistic communication within open environments). As implicit definability permits defined entities to be removed without semantic loss, this thesis argues, that if the meaning of the defined entity is wholly fixed by the terms of its definition, only the terms in the definition are required to be mapped in order to map the defined entity itself; thus implicit definability entails a new type of definability-based correspondence correspondence. Therefore this thesis defines and explores the properties of definability- based correspondences, and extends several ontology alignment evaluation metrics in order to accommodate their assessment. As task signature coverage is a prerequisite of many knowledge-based tasks (e.g. service invocation), a definability-based, efficient approximation approach to obtaining minimal signature cover sets is presented. Moreover, this thesis outlines a specific alignment negotiation approach and shows that by considering definability, agents are better equipped to: (i) determine whether an alignment provides the necessary coverage to achieve a particular task (align the whole ontology, formulate a message or query); (ii) adhere to privacy and confidentiality constraints; and (iii) minimalise the cardinality of the resulting mutual alignment

Signs of Atonement: Eucharist and Mimetism in the Brazilian Church

The Evangelical Church in Brazil has grown in power in the last two decades. This new situation has revealed a church that seeks to change culture through power, resulting in violence and a dispute for cultural hegemony. This dissertation asserts that a contemplative practice of the Eucharist can produce renewed understandings of the atonement and can reorient the church toward a culture of reconciliation. Following the theoretical framework of René Girard, this thesis claims that we are the ones who need violence and sacrifice, not God. If we are not satisfied with the Eucharist, we will search for false atonements and scapegoating. The first chapter presents a brief overview of how Protestantism in Brazil is revealing a theology of dominion. The following chapter casts the biblical foundations for a covenantal view of the doctrine of atonement and the progressive shift from Abel’s sacrifice to Jesus’ ultimate sacrifice. In the third chapter, I attempt to offer an overview of the main theories of atonement throughout church history and their semiotic relationship to their cultural context. Followin this chapter, I present the mimetic theory of René Girard and his view of sacrifice as the origin of culture. The fifth chapter presents scapegoating rituals as forms of a false atonement and demonstrates how the Eucharist can transform a crowd into an atoned community. The final chapter demonstrates how a food pattern shapes a community, the therapeutical potential of the Eucharist, and the contemplative example of the monastic community of Taizé. The way a church approaches the table shapes the way that church will relate to culture. If a church is not atoned in the Eucharist, that church will seek out false atonements. The Brazilian Evangelical Church has a great opportunity to learn the authority of suffering compassion with Jesus at his table

The portrayal of Emperor Kôken/Shôtoku in historical sources and belletristic works, and the circumstances which played a part in it

This paper examines the portrayal of the last female ruler of Nara Japan, Emperor Kôken/Shôtoku, in different sources (chronicles, graphic images, novels, and modern historiography) and the social, political, cultural and religious factors which (could) have influenced the said narrative. Having been the last woman who ascended the Imperial throne of Japan and who had actually been able to exert real authority over the court, Emperor Kôken/Shôtoku could be considered a controversial figure in the history of the Imperial House of Japan and its rulers, and had thus become an object of either criticism of praise, with some authors even holding the opinion that her politics during her two reigns are the main reason why females were excluded from the order of succession of the Imperial House of Japan. Incorporating evidence from chronicles, graphic images, novels and modern historiography, this study demonstrated that the portrayal of Emperor Kôken/Shôtoku either in a good or in a bad light depended on a set of different factors. On the one hand there are always outer elements to consider such as the political situation, the cultural or religious influences in Japan at the time of the compilation of the particular source, as well as the author’s own opinion on the Imperial House of Japan and the role of the emperor in society. On the other hand inner factors such as the fact that Kôken/Shôtoku had been the first, and so far the last, female Crown Prince in the history of the Imperial House, her reascension to the throne after dethroning her successor, her political determination and cunning, which enabled her to compete with the male courtiers and even emerge victorious from their political struggles, or her unusual preference for the Buddhist monk Dôkyô during her second reign also played a major role in the way she had been perceived by the contemporary and later authors. As a result, there are as many sources which criticise her as there are such that praise her, which contributes to the creation of the full portrait of the woman and the ruler Kôken/Shôtoku