Home      Library      Discussions      About
Join us

@iastate.edu

Oct 08, 2018
Machine Learning

This project was supported in part by grants CAREER CCF-1750920 and CCF-1815101, a faculty fellowship from the Black and Veatch Foundation, and an equipment donation from the NVIDIA Corporation. The author would like to thank Ludwig Schmidt and Vira…

Algorithmic Aspects of Inverse Problems Using Generative Models

The traditional approach of hand-crafting priors (such as sparsity) for solving inverse problems is slowly being replaced by the use of richer learne…
Mar 04, 2013

Detection of supernova neutrinos on the Earth for large theta13

Supernova (SN) neutrinos detected on the Earth are subject to the shock wave effects, the Mikheyev-Smirnov-Wolfenstein (MSW) effects, the neutrino co…
Jul 21, 2010
Logic in Computer Science

Formal Verification of Self-Assembling Systems

This paper introduces the theory and practice of formal verification of self-assembling systems. We interpret a well-studied abstraction of nanomolec…
Sep 09, 2015
Distributed
Parallel
and Cluster Computing
Machine Learning
Systems and Control

Asynchronous Distributed ADMM for Large-Scale Optimization- Part II: …

The alternating direction method of multipliers (ADMM) has been recognized as a versatile approach for solving modern large-scale machine learning an…
Apr 25, 2013

Constraints on anomalous color dipole operators from Higgs boson pr…

Physics beyond the standard model (SM) can be parameterized with an effective Lagrangian that respects the symmetries of the standard model and conta…
Aug 30, 2018
Superconductivity

Pressure-induced multiple phase transformations of the BaBi$_3$ sup…

Measurements of temperature-dependent resistance and magnetization under hydrostatic pressures up to 2.13 GPa are reported for single-crystalline, su…
Jun 10, 2019

Ab initio calculations of p-shell nuclei up to N2LO in chiral Effecti…

Nuclear structure and reaction theory are undergoing a major renaissance with advances in many-body methods, realistic interactions with greatly impr…
Aug 25, 2010
Information Theory
Networking and Internet Architecture

Network Protection Design Using Network Coding

Link and node failures are two common fundamental problems that affect operational networks. Protection of communication networks against such failur…
Apr 27, 2010
Information Theory

ECME Thresholding Methods for Sparse Signal Reconstruction

We propose a probabilistic framework for interpreting and developing hard thresholding sparse signal reconstruction methods and present several new a…
Feb 17, 2016
Data Structures and Algorithms
Distributed
Parallel
and Cluster Computing

Work-Efficient Parallel and Incremental Graph Connectivity

On an evolving graph that is continuously updated by a high-velocity stream of edges, how can one efficiently maintain if two vertices are connected?…
Oct 14, 2008

Constraints to Energy Spectra of Blazars based on Recent EBL Limits f…

We combine the recent estimate of the contribution of galaxies to the 3.6 micron intensity of the extragalactic background light (EBL) with optical a…
Mar 06, 2012
Combinatorics

On homometric sets in graphs

For a vertex set $S\subseteq V(G)$ in a graph $G$, the {\em distance multiset}, $D(S)$, is the multiset of pairwise distances between vertices of $S$…
Jun 08, 2018
Machine Learning

PAC Ranking from Pairwise and Listwise Queries: Lower Bounds and Uppe…

This paper explores the adaptively (active) PAC (probably approximately correct) top-$k$ ranking and total ranking from $l$-wise ($l\geq 2$) comparis…
Aug 25, 2014
Information Theory

Fractional repetition codes with flexible repair from combinatorial …

Fractional repetition (FR) codes are a class of regenerating codes for distributed storage systems with an exact (table-based) repair process that is…
Oct 08, 2012
Information Theory

Amplitude Space Sharing among the Macro-Cell and Small-Cell Users

The crushing demand for wireless data services will soon exceed the capability of the current homogeneous cellular architecture. An emerging solution…
Sep 04, 2015

Simulations of a Distributed Intelligent Array Trigger for the Cheren…

It is anticipated that the forthcoming Cherenkov Telescope Array (CTA) will include a number of medium-sized telescopes that are constructed using a …
Sep 28, 2007

Focal Plane Instrumentation of VERITAS

VERITAS is a new atmospheric Cherenkov imaging telescope array to detect very high energy gamma rays above 100 GeV. The array is located in southern …
Aug 29, 2014
Optimization and Control
Systems and Control

Control of systems in Lure form over erasure channel

In this paper, we study the problem of control of discrete-time nonlinear systems in Lure form over erasure channels at the input and output. The inp…
Feb 09, 2018
Information Theory

Leveraging Coding Techniques for Speeding up Distributed Computing

Large scale clusters leveraging distributed computing frameworks such as MapReduce routinely process data that are on the orders of petabytes or more…
Feb 10, 2015
Computation
Machine Learning

Projected Nesterov's Proximal-Gradient Algorithm for Sparse Signal …

We develop a projected Nesterov's proximal-gradient (PNPG) approach for sparse signal reconstruction that combines adaptive step size with Nesterov's…
There aren't more papers

Request Comment

or Invite via email
You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description