Object Orientation has as primary goal to improve the software construction process. Object Oriented analysis, design and software construction should yield software of a high quality: software that is reliable, maintainable, extensible, adaptable. However, delivering large OO software systems in a qualitative way is a significant challenge. Scaling up requires formal precision of the semantics...

The notion of interpretation was first carefully defined and developed in the book [TMR53]. The notion of interpretation is absolutely fundamental to mathematical logic and the foundations of mathematics. It is also crucial for the foundations and philosophy of science-although here some crucial conditions generally need to be imposed; e.g., " the interpretation leaves the mathematical concepts...

Maf family proteins are so named because of their structural similarity to the founding member, the oncoprotein v-Maf. The small Maf proteins (MafF, MafG and MafK), as do all family members, include a characteristic basic region linked to a leucine zipper (b-Zip) domain which mediate DNA binding and subunit dimerization respectively. The small Maf proteins form homodimers or heterodimers with o...

This open‐access article is published and distributed under the Creative Commons Attribution ‐ NonCommercial ‐ No Derivatives License (http://creativecommons.org/licenses/by‐nc‐nd/3.0/), which permits the noncommercial use, distribution, and reproduction of the article in any medium, provided the original author and source are credited. You may not alter, transform, or build upon this article w...

This paper addresses the problem of finding or producing the best ordering of the sentences in a text. I focus on using semantic properties of the words, as well as the high-level structure of each of the texts, to produce or choose the best ordering. In choosing an original sentence ordering from a group of sentential permutations of the same text, information about the topic of the text is he...

Current document retrieval tools succeed in locating large numbers of documents relevant to a given query. While search results may be relevant according to the topic of the documents, it is more difficult to identify which of the relevant documents are most suitable for a particular user. Automatic genre analysis that is, the ability to distinguish documents according to style would be a usefu...

  In this paper, authors tackle three very important questions that need to be answered if a theory of design is to be constructed. The first is what designers do, Which we attempt to illustrate with the help of case studies and theories of design practice. The second question is what guides designers. Here, authors try to present some of the proposed normative positions about design, to show t...