Advances in semantic representation for multiscale biosimulation: a case study in merging models

As a case-study of biosimulation model integration, we describe our experiences applying the SemSim methodology to integrate independently-developed, multiscale models of cardiac circulation. In particular, we have integrated the CircAdapt model (written by T. Arts for MATLAB) of an adapting vascular segment with a cardiovascular system model (written by M. Neal for JSim). We report on three results from the model integration experience. First, models should be explicit about simulations that occur on different time scales. Second, data structures and naming conventions used to represent model variables may not translate across simulation languages. Finally, identifying the dependencies among model variables is a non-trivial task. We claim that these challenges will appear whenever researchers attempt to integrate models from others, especially when those models are written in a procedural style (using MATLAB, Fortran, etc.) rather than a declarative format (as supported by languages like SBML, CellML or JSim’s MML)

Why languages differ : variation in the conventionalization of constraints on inference

Sperber and Wilson (1996) and Wilson and Sperber (1993) have argued that communication involves two processes, ostension and inference, but they also assume there is a coding-decoding stage of communication and a functional distinction between lexical items and grammatical marking (what they call 'conceptual' vs. 'procedural' information). Sperber and Wilson have accepted a basically Chomskyan view of the innateness of language structure and Universal Grammar

C to O-O Translation: Beyond the Easy Stuff

Can we reuse some of the huge code-base developed in C to take advantage of modern programming language features such as type safety, object-orientation, and contracts? This paper presents a source-to-source translation of C code into Eiffel, a modern object-oriented programming language, and the supporting tool C2Eif. The translation is completely automatic and supports the entire C language (ANSI, as well as many GNU C Compiler extensions, through CIL) as used in practice, including its usage of native system libraries and inlined assembly code. Our experiments show that C2Eif can handle C applications and libraries of significant size (such as vim and libgsl), as well as challenging benchmarks such as the GCC torture tests. The produced Eiffel code is functionally equivalent to the original C code, and takes advantage of some of Eiffel's object-oriented features to produce safe and easy-to-debug translations

Explicitness and ellipsis as features of conversational style in British English and Ecuadorian Spanish

In this article I examine differences in conversational style between British English and Ecuadorian Spanish which can be the source of communication conflict among speakers of these two languages in telephone conversations, and, presumably in other types of interaction. I look at the language of mediated and non-mediated telephone conversations and examine one feature that interacts with indirectness, i.e., the degree of explicitness participants employ to realize similar acts or moves in the two languages. In non-mediated telephone interactions both British English and Ecuadorian Spanish speakers appear to display a preference for the use of explicitness in formulating various telephone management moves. On the other hand, in mediated interactions, while the British appear to favour explicitness, Ecuadorians in the present study, make use of elliptical forms. The latter, however, tend to be accompanied by deference markers. Differences in the use of explicit and elliptical utterances are interpreted as reflecting that, in certain types of interactions, Ecuadorians favour a style that can be characterized as fast and deferential, but possibly rather abrupt to the English, whereas the latter appear to favour a less hurried style which emphasizes the expression of consideration rather than deference

Needs before means: the dialectics of learning and technology

The general argument advanced in this paper is that in the changing context of present-day higher education it is vital that our educational purposes and student needs are clarified before decisions are taken about the means, including the use of learning technology, of satisfying those purposes and needs. The development of a critical understanding is still seen as the central purpose of higher education even in the context of a more vocationally relevant mass higher education. It is argued here that dialogue is the key to critical learning based on a process of dialectical communication. The task then is to construct an understanding learning environment which fosters interaction between students, staff and resources, reconciling individual needs with collective purposes. The specific role of learning technology as a means of encouraging dialogue within a learning environment is illustrated through examples of language learning such as TLTP CKS33 and the RACE Hipernet Project. Through a dialectical process, the appropriate use of learning technologies in meeting students' changing needs can be progressively refined

Constructing a concept of number

Numbers are concepts whose content, structure, and organization are influenced by the material forms used to represent and manipulate them. Indeed, as argued here, it is the inclusion of multiple forms (distributed objects, fingers, single- and two-dimensional forms like pebbles and abaci, and written notations) that is the mechanism of numerical elaboration. Further, variety in employed forms explains at least part of the synchronic and diachronic variability that exists between and within cultural number systems. Material forms also impart characteristics like linearity that may persist in the form of knowledge and behaviors, ultimately yielding numerical concepts that are irreducible to and functionally independent of any particular form. Material devices used to represent and manipulate numbers also interact with language in ways that reinforce or contrast different aspects of numerical cognition. Not only does this interaction potentially explain some of the unique aspects of numerical language, it suggests that the two are complementary but ultimately distinct means of accessing numerical intuitions and insights. The potential inclusion of materiality in contemporary research in numerical cognition is advocated, both for its explanatory power, as well as its influence on psychological, behavioral, and linguistic aspects of numerical cognition

A general framework for positioning, evaluating and selecting the new generation of development tools.

This paper focuses on the evaluation and positioning of a new generation of development tools containing subtools (report generators, browsers, debuggers, GUI-builders, ...) and programming languages that are designed to work together and have a common graphical user interface and are therefore called environments. Several trends in IT have led to a pluriform range of developments tools that can be classified in numerous categories. Examples are: object-oriented tools, GUI-tools, upper- and lower CASE-tools, client/server tools and 4GL environments. This classification does not sufficiently cover the tools subject in this paper for the simple reason that only one criterion is used to distinguish them. Modern visual development environments often fit in several categories because to a certain extent, several criteria can be applied to evaluate them. In this study, we will offer a broad classification scheme with which tools can be positioned and which can be refined through further research.