Computer-Science
Input Design for System Identification via Convex Relaxation
iZone: A Location-Based Mobile Social Networking System
Multiple Timescale Dispatch and Scheduling for Stochastic Reliability in Smart Grids with Wind Generation Integration
Multiuser broadcast erasure channel with feedback - capacity and algorithms
Noncoherent Low-Decoding-Complexity Space-Time Codes for Wireless Relay Networks
Open, Closed, and Shared Access Femtocells in the Downlink
Two channel paraunitary filter banks based on linear canonical transform
Using Dedicated and Opportunistic Networks in Synergy for a Cost-effective Distributed Stream Processing Platform
A Majorization-Minimization Approach to Design of Power Transmission Networks
A new graph perspective on max-min fairness in Gaussian parallel channels
A Tractable Approach to Coverage and Rate in Cellular Networks
On generalized Frame-Stewart numbers
Drawing Trees with Perfect Angular Resolution and Polynomial Area
A Logical Foundation for Environment Classifiers
A proof of strong normalisation using domain theory
Coherent and finiteness spaces
Full abstraction for nominal general references
Game semantics for first-order logic
Generic Trace Semantics via Coinduction
Lindstrom theorems for fragments of first-order logic
Non-Deterministic Kleene Coalgebras
Realizability algebras II : new models of ZF + DC
