Going retro: oxidative stress biomarkers in modern redox biology

The field of redox biology is inherently intertwined with oxidative stress biomarkers. Oxidative stress biomarkers have been utilized for many different objectives. Our analysis indicates that oxidative stress biomarkers have several salient applications: (1) diagnosing oxidative stress, (2) pinpointing likely redox components in a physiological or pathological process, and (3) estimating the severity, progression and/or regression of a disease. On the contrary, oxidative stress biomarkers do not report on redox signaling. Alternative approaches to gain more mechanistic insights are: (1) measuring molecules that are integrated in pathways linking redox biochemistry with physiology, (2) using the exomarker approach and (3) exploiting -omics techniques. More sophisticated approaches and large trials are needed to establish oxidative stress biomarkers in the clinical setting.

Teatro historico de las Iglesias del Reyno de Aragon : tomo primero preliminar [-IX]

En Tomo V. 2 h. de grabados calcográficos representando monedas de Huesca.

In Memoriam Lucinda Freeman Hoyt

Memoriam.

Metlakahtla : a true narrative of the red man / by George T.B. Davis.

http://www.archive.org/details/metlakahtltruena00davirich

Men and missions / by William T. Ellis ; with a foreword by John B. Sleman, Jr. ; and with a statistical and historical appendix compiled by Abigail J. Davies.

http://www.archive.org/details/menandmissions003181mbp

Pioneering in the Congo. by John McKendree Springer ...

http://www.archive.org/details/pioneeringincong00spririch

Boundbrook, or, Amy Rushton's mission / by A.J. Greenough.

http://www.archive.org/details/boundbrookoramyr00greeiala

Stranger than fiction. [electronic resource] By the Rev. J.J. Halcombe

http://digilib.bu.edu/archive/strangerthanfict00halcrich/strangerthanfict00halcrich.djvu

Type Inference For Recursive Definitions

We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we present several examples showing how our systems can be used to type programs encountered in practice. We show that type inference in the rank-k system is decidable for k ≤ 2 and undecidable for k ≥ 3. (Similar results based on different techniques are known to hold for System F, without recursive types and object types.) Our undecidability result is obtained by a reduction from a particular adaptation (which we call "regular") of the semi-unification problem and whose undecidability is, interestingly, obtained by methods totally different from those used in the case of standard (or finite) semi-unification.

Extending snBench to Support Hierarchical and Configurable Scheduling

It is useful in systems that must support multiple applications with various temporal requirements to allow application-specific policies to manage resources accordingly. However, there is a tension between this goal and the desire to control and police possibly malicious programs. The Java-based Sensor Execution Environment (SXE) in snBench presents a situation where such considerations add value to the system. Multiple applications can be run by multiple users with varied temporal requirements, some Real-Time and others best effort. This paper outlines and documents an implementation of a hierarchical and configurable scheduling system with which different applications can be executed using application-specific scheduling policies. Concurrently the system administrator can define fairness policies between applications that are imposed upon the system. Additionally, to ensure forward progress of system execution in the face of malicious or malformed user programs, an infrastructure for execution using multiple threads is described.

Towards a situation-awareness-driven design of operational business intelligence & analytics systems

With the swamping and timeliness of data in the organizational context, the decision maker’s choice of an appropriate decision alternative in a given situation is defied. In particular, operational actors are facing the challenge to meet business-critical decisions in a short time and at high frequency. The construct of Situation Awareness (SA) has been established in cognitive psychology as a valid basis for understanding the behavior and decision making of human beings in complex and dynamic systems. SA gives decision makers the possibility to make informed, time-critical decisions and thereby improve the performance of the respective business process. This research paper leverages SA as starting point for a design science project for Operational Business Intelligence and Analytics systems and suggests a first version of design principles.

Editorial

Published Version

Finite mixture distributions, sequential likelihood and the EM algorithm

A popular way to account for unobserved heterogeneity is to assume that the data are drawn from a finite mixture distribution. A barrier to using finite mixture models is that parameters that could previously be estimated in stages must now be estimated jointly: using mixture distributions destroys any additive separability of the log-likelihood function. We show, however, that an extension of the EM algorithm reintroduces additive separability, thus allowing one to estimate parameters sequentially during each maximization step. In establishing this result, we develop a broad class of estimators for mixture models. Returning to the likelihood problem, we show that, relative to full information maximum likelihood, our sequential estimator can generate large computational savings with little loss of efficiency.

Mechanisms of specificity in neuronal activity-regulated gene transcription.

The brain is a highly adaptable organ that is capable of converting sensory information into changes in neuronal function. This plasticity allows behavior to be accommodated to the environment, providing an important evolutionary advantage. Neurons convert environmental stimuli into long-lasting changes in their physiology in part through the synaptic activity-regulated transcription of new gene products. Since the neurotransmitter-dependent regulation of Fos transcription was first discovered nearly 25 years ago, a wealth of studies have enriched our understanding of the molecular pathways that mediate activity-regulated changes in gene transcription. These findings show that a broad range of signaling pathways and transcriptional regulators can be engaged by neuronal activity to sculpt complex programs of stimulus-regulated gene transcription. However, the shear scope of the transcriptional pathways engaged by neuronal activity raises the question of how specificity in the nature of the transcriptional response is achieved in order to encode physiologically relevant responses to divergent stimuli. Here we summarize the general paradigms by which neuronal activity regulates transcription while focusing on the molecular mechanisms that confer differential stimulus-, cell-type-, and developmental-specificity upon activity-regulated programs of neuronal gene transcription. In addition, we preview some of the new technologies that will advance our future understanding of the mechanisms and consequences of activity-regulated gene transcription in the brain.

Looking past the model species: diversity in gaze-following skills across primates.

Primates must navigate complex social landscapes in their daily lives: gathering information from and about others, competing with others for food and mates, and cooperating to obtain rewards as well. Gaze-following often provides important clues as to what others see, know, or will do; using information about social attention is thus crucial for primates to be competent social actors. However, the cognitive bases of the gaze-following behaviors that primates exhibit appear to vary widely across species. The ultimate challenge of such analyses will therefore be to understand why such different cognitive mechanisms have evolved across species.