Publications
-
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.
-
Context Unification with One Context Variable
In this paper we analyze the special case of context unification where the use of at most one context variable is allowed and show that it is in NP.
-
Discovery of 1-[3-(4-Bromo-2-Methyl-2H-Pyrazol-3-Yl)-4-Methoxyphenyl]-3-(2, 4-Difluorophenyl)Urea (Nelotanserin) and Related 5-Hydroxytryptamine 2A Inverse Agonists for the Treatment of Insomnia
We describe here a series of 5-HT2A inverse-agonists that when dosed in rats, both consolidate the stages of NREM sleep, resulting in fewer awakenings, and increase a physiological measure of sleep…
-
T2 Relaxation Times of 13C Metabolites in a Rat Hepatocellular Carcinoma Model Measured in Vivo Using 13C-MRS of Hyperpolarized [1-13C]Pyruvate
Following hyperpolarized [1-13C]pyruvate injections, pyruvate and its metabolic products, alanine and lactate, were observed in the liver of five rats with hepatocellular carcinoma and five healthy control rats.
-
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.
-
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.
-
Force Requirements for Artificial Muscle to Create an Eyelid Blink with Eyelid Sling
Our objective is to determine the force requirements, optimal vector, and appropriate materials of a novel eyelid sling device that will be used to rehabilitate eyelid closure (blink) in congenital…
-
Accurate Characterization of Free Carrier Refraction in InP
Using recently published results of intrinsic and free carrier nonlinear absorption coefficients in InP, nonlinear refraction was investigated at 1.064 μm using ns duration lasers to characterize refraction from generated…
-
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…