An improved in-situ bio-optical data set for ocean color algorithm development and satellite data product validation

Global satellite ocean color instruments provide the scientific community a high-resolution means of studying the marine biosphere. Satellite data product validation and algorithm development activities both require the substantial accumulation of high-quality in-situ observations. The NASA Ocean Biology Processing Group maintains a local repository of in-situ marine bio-optical data, the SeaWiFS Bio-optical Archive and Storage System (SeaBASS), to facilitate their ocean color satellite validation analyses. Data were acquired from SeaBASS and used to compile a large set of coincident radiometric observations and phytoplankton pigment concentrations for use in bio-optical algorithm development. This new data set, the NASA bio-Optical Marine Algorithm Data set (NOMAD), includes over 3400 stations of spectral water-leaving radiances, surface irradiances, and diffuse downwelling attenuation coefficients, encompassing chlorophyll a concentrations ranging from 0.012 to 72.12 mg m^− 3. Metadata, such as the date, time, and location of data collection, and ancillary data, including sea surface temperatures and water depths, accompany each record. This paper describes the assembly and evaluation of NOMAD, and further illustrates the broad geophysical range of stations incorporated into NOMAD.     

Tool Building Requirements for an API to First-Order Solvers

Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into expressive interactive frameworks for logical deduction, such as higher-order logic theorem provers. This paper states some pragmatic requirements for implementations of decision procedures that make them well-suited to integration into such frameworks. The aim is to open a dialogue with the designers of decision procedure software that will lead to greater and easier uptake of their implementations by verification users.     

Solving multi-granularity temporal constraint networks

Many problems in scheduling, planning, and natural language understanding have been formulated in terms of temporal constraint satisfaction problems (TCSP). These problems have been extensively investigated in the AI literature providing effective solutions for some fragments of the general model. Independently, there has been an effort in the data and knowledge management research community for the formalization of the concept of time granularity and for its applications. This paper considers a framework for integrating the notion of time granularity into TCSP, and investigates the problems of consistency and network solution, which, in this context, involve complex manipulation of the periodic sets representing time granularities. A sound and complete algorithm for consistency checking and for deriving a solution is presented. The paper also investigates the algorithm's computational complexity and several optimization techniques specific to the multi-granularity context. An application to e-commerce workflows illustrates the benefits of the framework and the need for specific reasoning tools.     

Molecular and immunophenotypical characterization of a feline immunodeficiency virus (FIV)-associated lymphoma: a direct role for FIV in B-lymphocyte transformation?

We describe the histopathological, immunohistochemical, and molecular characterization of a lymphoma arising in a 7-year-old cat following experimental infection with feline immunodeficiency virus (FIV). The tumor was high grade and of B-cell lineage. The transformed cell had an immature phenotype (CD79a+, CD79b-, CD21-, immunoglobulin heavy and light chain negative), confirmed by antigen receptor gene analysis, which showed germ line configuration. Single-copy, clonally integrated FIV provirus was detected in tumor genomic DNA. FIV p24 antigen was not detected in tumor cells by immunostaining. This study provides the first evidence that the feline lentivirus may play a direct role in cell transformation under certain circumstances.     

Labels and explanations in mother–child emotion talk: Age and gender differentiation.

Mothers' and preschoolers' emotion talk was examined for age- (2, 3, and 4 years) and gender-related patterns in the use of labels and explanations. Although labels directly refer to emotions, explanations link emotion words to causal information. Children used emotion words mainly in labels. Boys' emotion talk showed an age increase: in contrast, the youngest group of girls talked about emotion much more frequently than did same-age boys, and this high frequency remained relatively stable across age. Mothers used more explanations than labels in emotion talk to boys but used similar amounts with girls. Further, their use of labels and explanations related to individual differences in the extent to which children talked about emotion. These findings are discussed in terms of language socialization?in particular, processes related to the socialization of emotion language and gender. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Spectroelectrochemical sensing based on attenuated total internal reflectance stripping voltammetry. 2. Determination of mercury and lead

Detection of lead and mercury by attenuated total internal reflectance spectroscopy coupled to stripping voltammetry is demonstrated. Changes in attenuation of light passing through an indium tin oxide optically transparent electrode (ITO-OTE) accompany the electrodeposition and stripping of lead and mercury on the electrode surface. The change in absorbance during stripping of electrodeposited metal constitutes the analytical response that enables detection over a range of 2.5 x 10(-7)-5 x 10(-5) and 5 x 10(-8)-5 x 10(-5) M for mercury and lead, respectively. The spectroelectrochemical responses of mercury and lead on the ITO surface are characterized and optimized with respect to solution conditions, the potential excitation signals used for deposition and stripping, and wavelength for detection. The deposited metals were examined by environmental scanning electron miscroscopy, and the electrodeposition pattern of lead and mercury was found to influence the optical response.     

Outbound authentication for programmable secure coprocessors

A programmable secure coprocessor platform can help solve many security problems in distributed computing, particularly if coprocessor applications can participate as full-fledged parties in distributed cryptographic protocols. Thus, a generic platform must not only provide programmability, maintenance, and configuration in the hostile field, it must also provide outbound authentication for the entities that result. This paper offers our experiences in solving this problem for a high-end secure coprocessor product. This work required synthesis of a number of techniques, so that parties with different and dynamic views of trust can draw sound and complete conclusions about remote coprocessor applications.     

Modification point depth and genome growth in genetic programming

The evolutionary computation community has shown increasing interest in arbitrary-length representations, particularly in the field of genetic programming. A serious stumbling block to the scalability of such representations has been bloat: uncontrolled genome growth during an evolutionary run. Bloat appears across the evolutionary computation spectrum, but genetic programming has given it by far the most attention. Most genetic programming models explain this phenomenon as a result of the growth of introns, areas in an individual which serve no functional purpose. This paper presents evidence which directly contradicts intron theories as applied to tree-based genetic programming. The paper then uses data drawn from this evidence to propose a new model of genome growth. In this model, bloat in genetic programming is a function of the mean depth of the modification (crossover or mutation) point. Points far from the root are correspondingly less likely to hurt the child's survivability in the next generation. The modification point is in turn strongly correlated to average parent tree size and to removed subtree size, both of which are directly linked to the size of the resulting child.     

Network Analysis of Commuting Flows: A Comparative Static Approach to German Data

The analysis of complex networks has recently received considerable attention. The work by Albert and Barabási presented a research challenge to network analysis, that is, growth of the network. The present paper offers a network analysis of the spatial commuting network in Germany. First, we study the spatial evolution of the commuting network over time. Secondly, we compare two spatial interaction model (SIM) specifications, in order to replicate the actual network structure. Our findings suggest that the commuting network appeared to become more dense and clustered, while the SIMs seem to require more sophisticated specifications, in order to replicate such a connectivity structure.     

Effects of 42 hr of total sleep deprivation on component processes of verbal working memory.

The current investigation examined changes in working memory (WM) component processes following total sleep deprivation (TSD) in a sample of healthy young persons. Forty subjects were administered a verbal form of a continuous recognition test (CRT) before and after 42 hr of TSD. Parameters of a computational model of the CRT reflecting attention, WM span, and rate of episodic memory encoding were estimated for each individual. Subjects made more errors on the test following sleep deprivation. Analysis of model parameters revealed statistically independent declines in both the attention and WM span parameters, with a larger effect observed for the decline in WM span. Examination of individual profiles suggested that the effects of TSD on verbal WM component processes vary from person to person. Declines in global verbal WM functioning appear to be primarily driven by reduced WM span and attention; however, these effects may be individual-specific. Further applications of the computational model for examining WM component processes with sleep deprivation and other clinical populations are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)