Publications
-
Fast likelihood computation using hierarchical Gaussian shortlists
We investigate the use of hierarchical Gaussian shortlists to speed up Gaussian likelihood computation.
-
Indirect Validation of Tropospheric Nitrogen Dioxide Retrieved from the OMI Satellite Instrument: Insight Into the Seasonal Variation of Nitrogen Oxides at Northern Midlatitudes
We examine the seasonal variation in lower tropospheric nitrogen oxides at northern midlatitudes by evaluating tropospheric NO2 columns observed from the Ozone Monitoring Instrument.
-
The Damage Mechanism Route to Better Armor Materials
This paper describes the mechanisms by which brittle materials are penetrated by impacting projectiles, links ballistic performance to fracture behavior, and in turn to microstructure, and suggests a route unexplored…
-
Document content analysis for digital archives
A presentation at the first Personal Digital Archiving Conference held at the Internet Archive in San Francisco.
-
From documents to tasks: deriving user tasks from document usage patterns
In order to reduce the necessary amount of training, this paper proposes a new approach for automatically estimating a user's tasks from document interactions in an unsupervised manner.
-
Information seeking with social signals: anatomy of a social tag-based exploratory search browser
In this paper, we present the algorithm of a tag-based exploratory system based on this idea.
-
Temporal task footprinting: identifying routine tasks by their temporal patterns
This paper introduces a new representation for describing routine tasks, called temporal task footprints.
-
The capacity of wireless ad hoc networks with multi-packet reception
We compute the throughput capacity of random dense wireless ad hoc networks for multi-pair unicast trafc in which nodes are endowed with multi-packet reception (MPR) capabilities.
-
Collective intelligence in organizations: toward a research agenda
The workshop discusses CI tools for collaboration in work-related settings, especially for task forces now increasingly common in industry or government.
-
The Alignment of the Informal and Formal Organizational Supports for Reform: Implications for Improving Teaching in Schools
This article combines social network analysis with interview data to analyze how well the formal and informal aspects of a school’s social context are aligned.
-
Refractive Index Measurements of Ammonia and Hydrocarbon Ices at 632.8 nm
Optical constants in a broad temperature and wavelength range are important input parameters in radiative transfer models used in studies of planetary atmospheres.
-
Special Issue on Automated Deduction: Decidability, Complexity, Tractability
Although general logical formalisms (predicate logic, set theory, number theory) are undecidable or not even recursively enumerable, it is often the case that in applications only special fragments need to…