Use of Negation in Search

Boolean algebra was developed in the 1840s. Since that time, negation, one of the three basic concepts in Boolean algebra, has influenced the fields of information science and information retrieval, particularly in the modern computer era. In Web search engines, one of the present manifestations of information retrieval, little use is being made of this functionality and so little attention is given to it in the literature. This study aims to bolster the understanding of the use and usefulness of negation. Specifically, an Internet search task was developed for which negation was the most appropriate search strategy. This search task was performed by 30 individuals and followed by an interview designed to elicit more information about the participants’ use or non-use of negation during the task. Negation was observed to be used by approximately 17% of users in the study, suggesting that negation may indeed be infrequently used by Internet users. The data obtained during the post-task interview indicate that lack of use of negation stems from users not knowing about negation, having little experience with negation, or simply preferring other methods, even when negation is one of the foremost appropriate methods

Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software development, industrially supported by standards, tools, and the status of a new "silver bullet". Surprisingly, categorical patterns turn out to be directly applicable to mathematical modeling of structures appearing in everyday MDE practice. Model merging, transformation, synchronization, and other important model management scenarios can be seen as executions of categorical specifications. Moreover, the paper aims to elucidate a claim that relationships between CT and MDE are more complex and richer than is normally assumed for "applied mathematics". CT provides a toolbox of design patterns and structural principles of real practical value for MDE. We will present examples of how an elementary categorical arrangement of a model management scenario reveals deficiencies in the architecture of modern tools automating the scenario.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Simone Weil\u27s Spiritual Critique of Modern Science: An Historical-Critical Assessment

This paper evaluates Simone Weil\u27s philosophy and theology of science from the perspective of an historical phenomenology of science