Global and local contributions to the optical specification of time to contact: Observer sensitivity to composite tau

First-order time remaining until a moving observer will pass an environmental element is optically specified in two different ways. The specification provided by global tau (based on the pattern of change of angular bearing) requires that the element is stationary and that the direction of motion is accurately detected, whereas the specification provided by composite tau (based on the patterns of change of optical size and optical distance) does not require either of these. We obtained converging evidence,for our hypothesis. that observers are sensitive to composite tau in four experiments involving, relative judgments of, time to, passage with forced-choice methodology. Discrimination performance was enhanced in the presence of a local expansion component, while being unaffected when the detection of the direction of heading was impaired. Observers relied on the information carried in composite tau rather than on the information carried in its constituent components. Finally, performance was similar under conditions of observer motion and conditions of object motion. Because composite tau specifies first-order time remaining for a large number of situations, the different ways in which it may be detected are discussed.

Rigorous Specification and Low-Latency Implementation of Technical Market Indicators

Technical market indicators are tools used by technical an- alysts to understand trends in trading markets. Technical (market) indicators are often calculated in real-time, as trading progresses. This paper presents a mathematically- founded framework for calculating technical indicators. Our framework consists of a domain specific language for the un- ambiguous specification of technical indicators, and a run- time system based on Click, for computing the indicators. We argue that our solution enhances the ease of program- ming due to aligning our domain-specific language to the mathematical description of technical indicators, and that it enables executing programs in kernel space for decreased latency, without exposing the system to users’ programming errors.

Heterogeneity assumptions in the specification of bargaining models: a study of household level trade-offs between commuting time and salary

With many real world decisions being made in conjunction with other decision makers, or single agent decisions having an influence on other members of the decision maker's immediate entourage, there is strong interest in studying the relative weight assigned to different agents in such contexts. In the present paper, we focus on the case of one member of a two person household being asked to make choices affecting the travel time and salary of both members. We highlight the presence of significant heterogeneity across individuals not just in their underlying sensitivities, but also in the relative weight they assign to their partner, and show how this weight varies across attributes. This is in contrast to existing work which uses weights assigned to individual agents at the level of the overall utility rather than for individual attributes. We also show clear evidence of a risk of confounding between heterogeneity in marginal sensitivities and heterogeneity in the weights assigned to each member. We show how this can lead to misleading model results, and argue that this may also explain past results showing bargaining or weight parameters outside the usual [0,1] range in more traditional joint decision making contexts. In terms of substantive results, we find that male respondents place more weight on their partner's travel time, while female respondents place more weight on their partner's salary.

The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

In this paper we continue our investigation into the development of computational-science software based on the identification and formal specification of Abstract Data Types (ADTs) and their implementation in Fortran 90. In particular, we consider the consequences of using pointers when implementing a formally specified ADT in Fortran 90. Our aim is to highlight the resulting conflict between the goal of information hiding, which is central to the ADT methodology, and the space efficiency of the implementation. We show that the issue of storage recovery cannot be avoided by the ADT user, and present a range of implementations of a simple ADT to illustrate various approaches towards satisfactory storage management. Finally, we propose a set of guidelines for implementing ADTs using pointers in Fortran 90. These guidelines offer a way gracefully to provide disposal operations in Fortran 90. Such an approach is desirable since Fortran 90 does not provide automatic garbage collection which is offered by many object-oriented languages including Eiffel, Java, Smalltalk, and Simula.

A SPECIFICATION OF A COMPLEX PROGRAMMING LANGUAGE STATEMENT

A formal specification of a complex programming language statement is presented. The subject matter was selected as being typical of the kind confronting a small software house. It is shown that formal specification notations may be applied, with benefit, to 'messy' problems. Emphasis is placed upon producing a specification which is readable by, and useful to a reader not familiar with formal notations.

Class Responsibility Assignment (CRA) for Use Case Specification to Sequence Diagrams (UC2SD)

Identifying responsibility for classes in object oriented software design phase is a crucial task. This paper proposes an approach for producing high quality and robust behavioural diagrams (e.g. Sequence Diagrams) through Class Responsibility Assignment (CRA). GRASP or General Responsibility Assignment Software Pattern (or Principle) was used to direct the CRA process when deriving behavioural diagrams. A set of tools to support CRA was developed to provide designers and developers with a cognitive toolkit that can be used when analysing and designing object-oriented software. The tool developed is called Use Case Specification to Sequence Diagrams (UC2SD). UC2SD uses a new approach for developing Unified Modelling Language (UML) software designs from Natural Language, making use of a meta-domain oriented ontology, well established software design principles and established Natural Language Processing (NLP) tools. UC2SD generates a well-formed UML sequence diagrams as output.

Prescriptive Durability Specification

A specification that defines required results, criteria by which performance will be judged, and methods of evaluation, without requirements for how the results are to be obtained