, Nicola Elia
: Convergence of Fundamental Limitations in Feedback Communication, Estimation, and Feedback Control over Gaussian Channels.
José A. Soto
: Improved Analysis of a Max Cut Algorithm Based on Spectral Partitioning.
: Ranking via Arrow-Debreu Equilibrium.
Syed Ali Jafar
: Exploiting Channel Correlations - Simple Interference Alignment Schemes with no CSIT.
: Algorithmic Meta-Theorems for Graphs of Bounded Vertex Cover.
: Capacity Region of a State Dependent Degraded Broadcast Channel with Noncausal Transmitter CSI.
, Huazhong Yang
: From devil to angel, transmission lines boost parallel computing of linear resistor networks.
, KyungHi Chang
: Co-Channel Interference Cancellation in OFDM Networks using Coordinated Symbol Repetition and Soft Decision MLE CCI Canceler.
: A Framework for Specifying, Prototyping, and Reasoning about Computational Systems.
: Local negative circuits and fixed points in Boolean networks.
: A maximum entropy theorem with applications to the measurement of biodiversity.
: Weak Kleene Algebra is Sound and (Possibly) Complete for Simulation.
, Rong Qu
: A Constraint-directed Local Search Approach to Nurse Rostering Problems. 69-80
: The Complexity of Infinite Computations In Models of Set Theory.
: Resistant Algorithms: Obtaining Simpler Proofs by Excluding Corner Cases.
: On the Sample Complexity of Compressed Counting.
: Dynamical and Structural Modularity of Discrete Regulatory Networks. 109-124
Maurice J. Jansen
: Weakening Assumptions for Deterministic Subexponential Time Non-Singular Matrix Completion.
: Estimating Entropy of Data Streams Using Compressed Counting.
, Namrata Vaswani
: Modified Basis Pursuit Denoising(MODIFIED-BPDN) for Noisy Compressive Sensing with Partially Known Support.
: Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).
Manoj Kumar Singh
: Password Based a Generalize Robust Security System Design Using Neural Network.
: 3D/2D Registration of Mapping Catheter Images for Arrhythmia Interventional Assistance.
Mandhapati P. Raju
: Parallel Computation of Finite Element Navier-Stokes codes using MUMPS Solver.
: Recovering low-rank matrices from few coefficients in any basis.
: Binary Linear-Time Erasure Decoding for Non-Binary LDPC codes.
: Faster algorithms for the square root and reciprocal of power series.