126,209 research outputs found
Identity of Leu-19 (CD56) leukocyte differentiation antigen and neural cell adhesion molecule.
Neural cell adhesion molecule (N-CAM) is a membrane glycoprotein expressed on neural and muscle tissues that is involved in homotypic adhesive interactions. We have demonstrated that N-CAM also is expressed on hematopoietic cells, and is recognized by the anti-Leu-19 mAb. Leu-19 is preferentially expressed on NK cells and T lymphocytes that mediate MHC-unrestricted cytotoxicity, but is also present on some myeloid leukemia cell lines. On NK cells, T cells, the KG1a.5 hematopoietic cell line, and a neuroblastoma cell line, Leu-19 is a approximately 140-kD polypeptide with N-linked carbohydrates and abundant sialic acid residues. Sequential immunoprecipitation and peptide mapping demonstrated that the Leu-19 and N-CAM molecules expressed on leukocyte and neuroblastoma cell lines are similar structures. These findings suggest that the Leu-19 antigen on leukocytes may be involved in cell adhesion, analogous to the function on N-CAM on neural cells
Word-level Symbolic Trajectory Evaluation
Symbolic trajectory evaluation (STE) is a model checking technique that has
been successfully used to verify industrial designs. Existing implementations
of STE, however, reason at the level of bits, allowing signals to take values
in {0, 1, X}. This limits the amount of abstraction that can be achieved, and
presents inherent limitations to scaling. The main contribution of this paper
is to show how much more abstract lattices can be derived automatically from
RTL descriptions, and how a model checker for the general theory of STE
instantiated with such abstract lattices can be implemented in practice. This
gives us the first practical word-level STE engine, called STEWord. Experiments
on a set of designs similar to those used in industry show that STEWord scales
better than word-level BMC and also bit-level STE.Comment: 19 pages, 3 figures, 2 tables, full version of paper in International
Conference on Computer-Aided Verification (CAV) 201
Dimension Spectra of Lines
This paper investigates the algorithmic dimension spectra of lines in the
Euclidean plane. Given any line L with slope a and vertical intercept b, the
dimension spectrum sp(L) is the set of all effective Hausdorff dimensions of
individual points on L. We draw on Kolmogorov complexity and geometrical
arguments to show that if the effective Hausdorff dimension dim(a, b) is equal
to the effective packing dimension Dim(a, b), then sp(L) contains a unit
interval. We also show that, if the dimension dim(a, b) is at least one, then
sp(L) is infinite. Together with previous work, this implies that the dimension
spectrum of any line is infinite
Near-infrared light increases ATP, extends lifespan and improves mobility in aged Drosophila melanogaster.
Ageing is an irreversible cellular decline partly driven by failing mitochondrial integrity. Mitochondria accumulate DNA mutations and reduce ATP production necessary for cellular metabolism. This is associated with inflammation. Near-infrared exposure increases retinal ATP in old mice via cytochrome c oxidase absorption and reduces inflammation. Here, we expose fruitflies daily to 670 nm radiation, revealing elevated ATP and reduced inflammation with age. Critically, there was a significant increase in average lifespan: 100-175% more flies survived into old age following 670 nm exposure and these had significantly improved mobility. This may be a simple route to extending lifespan and improving function in old age
Recommended from our members
Development of portable microfading spectrometers for measurement of light sensitivity of materials
Microfading was originally designed for efficiently detecting extremely light-sensitive materials on objects in situ to determine the appropriate exhibition lighting conditions. By focusing an intense beam of light to a tiny submillimetre sized spot and simultaeously monitoring the colour change over time, the fading rate of the material can be measured without producing noticeable damage. The increased intensity of light allows rapid determination of light-fastness of materials. This paper examines an improved design of microfading spectrometer that is easy to assemble, compact, robust, capable of fully automatic acquisition of data with precision control of the fading time to produce higher precision measurements and to allow simultaneous monitoring of colour, spectral reflectance and other changes in real time. The effects of various parameters such as thickness and concentration of paint layer, the binding medium and substrate on the fading rates are examined for selected pigments and found that in certain cases substrates, binding media and thickness can affect the fading rate. Reciprocity in the context of microfading compared with realistic exhibition conditions is examined and found that it breaks down for some pigment
Recommended from our members
Nanoscale Prediction of Graphite Surface Erosion by Highly Energetic Gas - Molecular Dynamics Simulation -
This paper was presented at the 4th Micro and Nano Flows Conference (MNF2014), which was held at University College, London, UK. The conference was organised by Brunel University and supported by the Italian Union of Thermofluiddynamics, IPEM, the Process Intensification Network, the Institution of Mechanical Engineers, the Heat Transfer Society, HEXAG - the Heat Exchange Action Group, and the Energy Institute, ASME Press, LCN London Centre for Nanotechnology, UCL University College London, UCL Engineering, the International NanoScience Community, www.nanopaprika.eu.In order to understand the fundamental essence in the erosion of graphite by hot gas molecules, in this study we investigate the mechanical properties of a single layer of graphite (e.g. graphene) and the bombardment of CO2 and H2O on graphene at high temperature by using extensive molecular dynamics (MD) simulations. The Reactive Empirical Bond Order (REBO) potential is employed to model the C-C bonds. The stress-strain curve shows that the stiffness of graphene decreases with increase in temperature. The strength of graphene at 2400 K is 60% less than the strength of graphene at 300 K. Also, we observe that the collision with CO2 and H2O provokes the bond breaking of C-C bonds in graphene at high temperature. The bombardment of gas molecules is carried out for different temperatures ranging between 300 K and 3000 K. Until 2400 K, both H2O and CO2 molecules are reflected back from the surface. However, at a critical temperature i.e., 2700 K and beyond, the bombardment of gas molecules breaks the C-C bond in the graphene. As the temperature increases, the graphene is destroyed quickly. This study shows that even the real gas molecules can induce the fracture of graphene at high temperature
Recommended from our members
Temperature distribution in the force-driven poiseuille gas flow by molecular dynamics
This paper was presented at the 4th Micro and Nano Flows Conference (MNF2014), which was held at University College, London, UK. The conference was organised by Brunel University and supported by the Italian Union of Thermofluiddynamics, IPEM, the Process Intensification Network, the Institution of Mechanical Engineers, the Heat Transfer Society, HEXAG - the Heat Exchange Action Group, and the Energy Institute, ASME Press, LCN London Centre for Nanotechnology, UCL University College London, UCL Engineering, the International NanoScience Community, www.nanopaprika.eu.The thermal behavior of the force-driven compressible Poiseuille gas flow is studied by molecular dynamics (MD) simulation method. This type of flow situation occurs in the cooling system of MEMS/NEMS devices and hence the properties of Poiseuille gas flow become significant, especially the thermal behavior. The peculiar behavior of the force-driven Poiseuille gas flow, local minimum at the center in the temperature profile, is investigated in detail. Emphasis is placed on variations of the temperature distribution for different Knudsen numbers. Previously, the central temperature minimum and other flow peculiarities have been described by a non-classical non-Fourier theory based on nonlinear coupled constitutive relations. The main goal of this study is to investigate the thermal behavior of the force-driven Poiseuille gas flow using molecular dynamics simulations and to compare the results with that of non-classical non-Fourier theory. The MD results in general show agreement with the data from the non-classical hydrodynamic theory, which confirms the validity of MD method in analyzing the micro/nano gas flows including thermal behaviors
Recommended from our members
Similarities in Dielectrophoretic and Electrophoretic Trap
This paper was presented at the 4th Micro and Nano Flows Conference (MNF2014), which was held at University College, London, UK. The conference was organised by Brunel University and supported by the Italian Union of Thermofluiddynamics, IPEM, the Process Intensification Network, the Institution of Mechanical Engineers, the Heat Transfer Society, HEXAG - the Heat Exchange Action Group, and the Energy Institute, ASME Press, LCN London Centre for Nanotechnology, UCL University College London, UCL Engineering, the International NanoScience Community, www.nanopaprika.eu.In this study we present a universal theoretical formulation of the particle motions in electrophoretic and dielectrophoretic traps. It is extended from the well-known Mathieu equation based theories for Paul trap. The white noise random force model is utilized to form the Brownian motion of particle in the traps and the instantaneous dielectrophoretic force is employed rather than the time-averaged ponderomotive expression. The new approach enables many interesting properties of dielectrophoretic traps about stability and random motion. This study will be expected to provide a concrete protocol for the design of nanoscale traps which is essential in single molecule analysis
The growth of galaxies in cosmological simulations of structure formation
We use hydrodynamic simulations to examine how the baryonic components of
galaxies are assembled, focusing on the relative importance of mergers and
smooth accretion in the formation of ~L_* systems. In our primary simulation,
which models a (50\hmpc)^3 comoving volume of a Lambda-dominated cold dark
matter universe, the space density of objects at our (64-particle) baryon mass
resolution threshold, M_c=5.4e10 M_sun, corresponds to that of observed
galaxies with L~L_*/4. Galaxies above this threshold gain most of their mass by
accretion rather than by mergers. At the redshift of peak mass growth, z~2,
accretion dominates over merging by about 4:1. The mean accretion rate per
galaxy declines from ~40 M_sun/yr at z=2 to ~10 M_sun/yr at z=0, while the
merging rate peaks later (z~1) and declines more slowly, so by z=0 the ratio is
about 2:1. We cannot distinguish truly smooth accretion from merging with
objects below our mass resolution threshold, but extrapolating our measured
mass spectrum of merging objects, dP/dM ~ M^a with a ~ -1, implies that
sub-resolution mergers would add relatively little mass. The global star
formation history in these simulations tracks the mass accretion rate rather
than the merger rate. At low redshift, destruction of galaxies by mergers is
approximately balanced by the growth of new systems, so the comoving space
density of resolved galaxies stays nearly constant despite significant mass
evolution at the galaxy-by-galaxy level. The predicted merger rate at z<~1
agrees with recent estimates from close pairs in the CFRS and CNOC2 redshift
surveys.Comment: Submitted to ApJ, 35 pp including 15 fig
- …