Towards a Statistical Methodology to Evaluate Program Speedups and their Optimisation Techniques

Towards a Study of Meta-Predicate Semantics

Towards a Symbolic-Numeric Method to Compute Puiseux Series: The Modular Part

Towards a Systematic Account of Different Semantics for Logic Programs

Towards a Theory of Anonymous Networking

Towards a Theory of Cache-Efficient Algorithms

Towards a theory of macroscopic gravity

Towards a theory of modelling with Boolean automata networks - I. Theorisation and observations

Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements

Towards a time-dependent chemistry of the inner envelope of carbon-rich AGB stars

Towards a Tool-based Development Methodology for Pervasive Computing Applications

Towards a Unified Architecture for in-RDBMS Analytics

Towards a Unified Framework for Declarative Structured Communications

Towards a Unified Theory of Discrete Auroras

Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models

Towards a Unifying View of QoS-Enhanced Web Service Description and Discovery Approaches

Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decision Theory

Towards a Workbench for Acquisition of Domain Knowledge from Natural Language

Towards absolute calibration of sedimentary paleointensity records

Towards accurate atmospheric mass density determination Using precise positional information of space objects