IEEE Pervasive Computing

Review

01 Dec 2002

Context-aware computing

View publication

Abstract

No abstract available.

Paper

A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem

György E. Révész

Theoretical Computer Science

Paper

A hierarchical screening algorithm for reactive power optimization in distribution networks

Xinyi Su, Guangyu He, et al.

Dianli Xitong Zidonghua/Automation of Electric Power Systems

Conference paper

Prior derivation models for formally syntax-based translation using linguistically syntactic parsing and tree kernels

Bowen Zhou, Bing Xiang, et al.

SSST 2008

Conference paper

Selecting an optimal combination of storage & transmission assets with a non-dispatchable electricity supply

Khalid Abdulla, Andrew Wirth, et al.

ICIAfS 2014

View all publications