Chicken acidic leucine-rich EGF-like domain containing brain protein (CALEB), a neural member of the EGF family of differentiation factors, is implicated in neurite formation

Chicken acidic leucine-rich EGF-like domain containing brain protein (CALEB) was identified by combining binding assays with immunological screens in the chicken nervous system as a novel member of the EGF family of differentiation factors. cDNA cloning indicates that CALEB is a multidomain protein that consists of an NH2-terminal glycosylation region, a leucine-proline-rich segment, an acidic box, a single EGF-like domain, a transmembrane, and a short cytoplasmic stretch. In the developing nervous system, CALEB is associated with glial and neuronal surfaces. CALEB is composed of a 140/130-kD doublet, an 80-kD band, and a chondroitinsulfate-containing 200-kD component. The latter two components are expressed in the embryonic nervous system and are downregulated in the adult nervous system. CALEB binds to the extracellular matrix glycoproteins tenascin-C and -R. In vitro antibody perturbation experiments reveal a participation of CALEB in neurite formation in a permissive environment.     

Microfabrication by X‐ray‐induced polymerization above the lower critical solution temperature

A polymer synthesis method is presented in which chain growth driven by exothermic reaction stimulates a gradual chain collapse. The globular precipitates in such systems can be restrained from coalescing by polymerizing in a quiescent environment. Time‐resolved small‐angle scattering study of the methacrylic acid polymerization kinetics in a quiescent system above its lower critical solution temperature (LCST) in water reveals the following features of this method: (a) growing oligomers remain as rigid chains until a critical chain length is reached, at which they undergo chain collapse, (b) radius of gyration increases linearly with time until a critical conversion is reached, and (c) radius of gyration remains constant after the critical conversion, even while conversion is gradually increasing. Following this self‐stabilizing growth mechanism, we show that nanoparticles can be directly synthesized by polymerizing N‐isopropylacrylamide above its LCST in water. The average size of nanoparticles obtained from a polymer–solvent system is expected to be the maximum extent of reaction spread at that monomer concentration. This hypothesis was then verified by polymerizing N‐isopropylacrylamide above their LCST in water, but by initiating the reaction with X‐rays shielded by a mask. The microfabricated patterns conform well to the size and shape of the mask used confirming that the growing chains do not propagate beyond the exposed regions as long as the reaction temperature is maintained above the LCST. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 102: 429–425, 2006     

Relational concurrent refinement part III: traces,partial relations and automata

Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data refinements, which can be checked on an event-by-event basis rather than per trace. In models of concurrency, refinement is often defined in terms of sets of observations, which can include the events a system is prepared to accept or refuse, or depend on explicit properties of states and transitions. By embedding such concurrent semantics into a relational framework, eventwise verification methods for such refinement relations can be derived. In this paper, we continue our program of deriving simulation conditions for process algebraic refinement by defining further embeddings into our relational model: traces, completed traces, failure traces and extension. We then extend our framework to include various notions of automata based refinement.     

A STUDY OF EXPERIMENTAL DESIGN OPTIMALITY FOR WIENER SYSTEMS

In the context of nonlinear dynamic system identification for Hammerstein systems, Rollins et al. (2003a) studied the information efficiency of the following two competing experimental design approaches: statistical design of experiments (SDOE) and pseudo-random sequences design (PRSD). The focus of this study is the Wiener system and evaluates SDOE against PRS under D-optimal efficiency. Three cases are evaluated and the results strongly support SDOE as the better approach.     

Free-living inferential modeling of blood glucose level using only noninvasive inputs

The goal of this work is to present a causation modeling methodology with the ability to accurately infer blood glucose levels using a large set of highly correlated noninvasive input variables over an extended period of time. These models can provide insight to improve glucose monitoring, and glucose regulation through advanced model-based control technologies. The efficacy of this approach is demonstrated using real data from a type 2 diabetic (T2D) subject collected under free-living conditions over a period of 25 consecutive days. The model was identified and tested using eleven variables that included three food variables as well as several activity and stress variables. The model was trained using 20 days of data and validated using 5 days of data. This gave a fitted correlation coefficient of 0.70 and an average absolute error (AAE) (i.e., the average of the absolute values for the measured glucose concentration minus modeled glucose concentration) of 13.3 mg/dL for the validation data. This AAE result was significantly better than the subject’s personal glucose meter AAE of 15.3 mg/dL for replicated measurements.     

Plasmonic enhanced fluorescence spectroscopy using side-polished microstructured optical fiber

We report excitation of surface plasmon in a gold-coated side-polished D-shape microstructure optical fiber (MOF). As the leaky evanescent field from the fiber core becomes highly localized by the plasmon wave, its intensity also gets amplified significantly. Here we demonstrate an efficient use of this intensified field as excitation in fluorescence spectroscopy. The so-called plasmonic enhanced fluorescence emission from Rhodamine B has been investigated experimentally. First, plasmonic effect alone was found to provide an immediate fluorescence enhancement factor of two. Second, experimental results show a good agreement with theoretical modeling. Strong evanescent field generation and surface enhancement with simple metallic coating makes this fiber based device a good candidate for compact fluorescence spectroscopy.     

Long-term availability prediction for groups of volunteer resources

Volunteer computing uses the free resources in Internet and Intranet environments for large-scale computation and storage. Currently, 70 applications use over 12 PetaFLOPS of computing power from such platforms. However, these platforms are currently limited to embarrassingly parallel applications. In an effort to broaden the set of applications that can leverage volunteer computing, we focus on the problem of predicting if a group of resources will be continuously available for a relatively long time period. Ensuring the collective availability of volunteer resources is challenging due to their inherent volatility and autonomy. Collective availability is important for enabling parallel applications and workflows on volunteer computing platforms. We evaluate our predictive methods using real availability traces gathered from hundreds of thousands of hosts from the SETI@home volunteer computing project. We show our prediction methods can guarantee reliably the availability of collections of volunteer resources. We show that this is particularly useful for service deployments over volunteer computing environments.     

Control Routh Array And Its Applications

In this paper the Routh stability criterion [16] has been developed into control Routh array. Some formulas for calculating the array are provided. Certain properties are investigated. Using it, the problem of stabilization of bilinear systems via constant controls is solved. Then by converting the problems, the method of control Routh array is also used to solve some other stability related problems, such as the stabilization of control systems, the stability of uncertain Hurwitz matrix and the stability of interval matrices. Several algorithms have been developed to provide numerical solutions.     

Structural Refinement of Systems Specified in Object-Z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.