Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics

Towards Increase in Quality by Preprocessed Source Code and Measurement Analysis of Software Applications

Towards increasing diversity for the relaying of LT Fountain Codes in Wireless Sensor Networks

Towards Industrialized Conception and Production of Serious Games

Towards Informative Statistical Flow Inversion

Towards joint decoding of binary Tardos fingerprinting codes

Towards Linear Time Overlapping Community Detection in Social Networks

Towards Long-Term Solar Irradiance Modelling: Network Contrasts from Magneto-Convection Simulations

Towards Loosely-Coupled Programming on Petascale Systems

Towards Low-Complexity Linear-Programming Decoding

Towards MAC/Anycast Diversity in IEEE 802.11n MIMO Networks

Towards maintainer script modernization in FOSS distributions

Towards Maximum Spanning Tree Model in Web 3.0 Design and Development for Students using Discriminant Analysis

Towards minimax policies for online linear optimization with bandit feedback

Towards MKM in the Large: Modular Representation and Scalable Software Architecture

Towards Modelling The Internet Topology - The Interactive Growth Model

Towards Multimodal Content Representation

Towards Network Games with Social Preferences

Towards Nominal Formal Languages

Towards Normal Forms for GHZ/W Calculus