11,368 research outputs found
Computed microtomography visualization and quantification of mouse ischemic brain lesion by nonionic radio contrast agents.
AIM:
To explore the possibility of brain imaging by microcomputed tomography (microCT) using x-ray contrasting methods to visualize mouse brain ischemic lesions after middle cerebral artery occlusion (MCAO). ----- METHODS:
Isolated brains were immersed in ionic or nonionic radio contrast agent (RCA) for 5 days and subsequently scanned using microCT scanner. To verify whether ex-vivo microCT brain images can be used to characterize ischemic lesions, they were compared to Nissl stained serial histological sections of the same brains. To verify if brains immersed in RCA may be used afterwards for other methods, subsequent immunofluorescent labeling with anti-NeuN was performed. ----- RESULTS:
Nonionic RCA showed better gray to white matter contrast in the brain, and therefore was selected for further studies. MicroCT measurement of ischemic lesion size and cerebral edema significantly correlated with the values determined by Nissl staining (ischemic lesion size: P=0.0005; cerebral edema: P=0.0002). Brain immersion in nonionic RCA did not affect subsequent immunofluorescent analysis and NeuN immunoreactivity. ----- CONCLUSION:
MicroCT method was proven to be suitable for delineation of the ischemic lesion from the non-infarcted tissue, and quantification of lesion volume and cerebral edema
Poisson transition rates from time-domain measurements with finite bandwidth
In time-domain measurements of a Poisson two-level system, the observed
transition rates are always smaller than those of the actual system, a general
consequence of finite measurement bandwidth in an experiment. This
underestimation of the rates is significant even when the measurement and
detection apparatus is ten times faster than the process under study. We derive
here a quantitative form for this correction using a straightforward
state-transition model that includes the detection apparatus, and provide a
method for determining a system's actual transition rates from
bandwidth-limited measurements. We support our results with computer
simulations and experimental data from time-domain measurements of
quasiparticle tunneling in a single-Cooper-pair transistor.Comment: 4 pages, 5 figure
Toolbox for analyzing finite two-state trajectories
In many experiments, the aim is to deduce an underlying multi-substate on-off
kinetic scheme (KS) from the statistical properties of a two-state trajectory.
However, the mapping of a KS into a two-state trajectory leads to the loss of
information about the KS, and so, in many cases, more than one KS can be
associated with the data. We recently showed that the optimal way to solve this
problem is to use canonical forms of reduced dimensions (RD). RD forms are
on-off networks with connections only between substates of different states,
where the connections can have non-exponential waiting time probability density
functions (WT-PDFs). In theory, only a single RD form can be associated with
the data. To utilize RD forms in the analysis of the data, a RD form should be
associated with the data. Here, we give a toolbox for building a RD form from a
finite two-state trajectory. The methods in the toolbox are based on known
statistical methods in data analysis, combined with statistical methods and
numerical algorithms designed specifically for the current problem. Our toolbox
is self-contained - it builds a mechanism based only on the information it
extracts from the data, and its implementation on the data is fast (analyzing a
10^6 cycle trajectory from a thirty-parameter mechanism takes a couple of hours
on a PC with a 2.66 GHz processor). The toolbox is automated and is freely
available for academic research upon electronic request
Remarks on the KLS conjecture and Hardy-type inequalities
We generalize the classical Hardy and Faber-Krahn inequalities to arbitrary
functions on a convex body , not necessarily
vanishing on the boundary . This reduces the study of the
Neumann Poincar\'e constant on to that of the cone and Lebesgue
measures on ; these may be bounded via the curvature of
. A second reduction is obtained to the class of harmonic
functions on . We also study the relation between the Poincar\'e
constant of a log-concave measure and its associated K. Ball body
. In particular, we obtain a simple proof of a conjecture of
Kannan--Lov\'asz--Simonovits for unit-balls of , originally due to
Sodin and Lata{\l}a--Wojtaszczyk.Comment: 18 pages. Numbering of propositions, theorems, etc.. as appeared in
final form in GAFA seminar note
Heterotrimeric G protein subunits are located on rat liver endosomes
BACKGROUND: Rat liver endosomes contain activated insulin receptors and downstream signal transduction molecules. We undertook these studies to determine whether endosomes also contain heterotrimeric G proteins that may be involved in signal transduction from G protein-coupled receptors. RESULTS: By Western blotting G(sα), G(iα1,2), G(iα3 )and G(β )were enriched in both canalicular (CM) and basolateral (BLM) membranes but also readily detectable on three types of purified rat liver endosomes in the order recycling receptor compartment (RRC) > compartment for uncoupling of receptor and ligand (CURL) > multivesicular bodies (MVB) >> purified secondary lysosomes. Western blotting with antibodies to Na, K-ATPase and to other proteins associated with plasma membranes and intracellular organelles indicated this was not due to contamination of endosome preparations by CM or BLM. Adenylate cyclase (AC) was also identified on purified CM, BLM, RRC, CURL and MVB. Percoll gradient fractionation of liver postnuclear supernatants demonstrated co-occurrence of endosomes and heterotrimeric G protein subunits in fractions with little plasma membrane markers. By confocal microscopy, punctate staining for G(sα), G(iα3 )and G(β )corresponded to punctate areas of endocytosed Texas red-dextran in hepatocytes from control and cholera toxin-treated livers. CONCLUSION: We conclude that heterotrimeric G protein subunits as well as AC likely traffic into hepatocytes on endosome membranes, possibly generating downstream signals spatially separate from signalling generated at the plasma membrane, analogous to the role(s) of internalized insulin receptors
New results on pushdown module checking with imperfect information
Model checking of open pushdown systems (OPD) w.r.t. standard branching
temporal logics (pushdown module checking or PMC) has been recently
investigated in the literature, both in the context of environments with
perfect and imperfect information about the system (in the last case, the
environment has only a partial view of the system's control states and stack
content). For standard CTL, PMC with imperfect information is known to be
undecidable. If the stack content is assumed to be visible, then the problem is
decidable and 2EXPTIME-complete (matching the complexity of PMC with perfect
information against CTL). The decidability status of PMC with imperfect
information against CTL restricted to the case where the depth of the stack
content is visible is open. In this paper, we show that with this restriction,
PMC with imperfect information against CTL remains undecidable. On the other
hand, we individuate an interesting subclass of OPDS with visible stack content
depth such that PMC with imperfect information against the existential fragment
of CTL is decidable and in 2EXPTIME. Moreover, we show that the program
complexity of PMC with imperfect information and visible stack content against
CTL is 2EXPTIME-complete (hence, exponentially harder than the program
complexity of PMC with perfect information, which is known to be
EXPTIME-complete).Comment: In Proceedings GandALF 2011, arXiv:1106.081
Brief review on semileptonic B decays
We concisely review semileptonic B decays, focussing on recent progress on
both theoretical and experimental sides.Comment: 18 pages, 2 figures; version to be published in Mod. Phys. Lett.
Evaluation of vaccination strategies for SIR epidemics on random networks incorporating household structure
This paper is concerned with the analysis of vaccination strategies in a stochastic SIR (susceptible → infected → removed) model for the spread of an epidemic amongst a population of individuals with a random network of social contacts that is also partitioned into households. Under various vaccine action models, we consider both household-based vaccination schemes, in which the way in which individuals are chosen for vaccination depends on the size of the households in which they reside, and acquaintance vaccination, which targets individuals of high degree in the social network. For both types of vaccination scheme, assuming a large population with few initial infectives, we derive a threshold parameter which determines whether or not a large outbreak can occur and also the probability and fraction of the population infected by such an outbreak. The performance of these schemes is studied numerically, focusing on the influence of the household size distribution and the degree distribution of the social network. We find that acquaintance vaccination can significantly outperform the best household-based scheme if the degree distribution of the social network is heavy-tailed. For household-based schemes, when the vaccine coverage is insufficient to prevent a major outbreak and the vaccine is imperfect, we find situations in which both the probability and size of a major outbreak under the scheme which minimises the threshold parameter are \emph{larger} than in the scheme which maximises the threshold parameter
Heavy-to-Light Form Factors in the Final Hadron Large Energy Limit of QCD
We argue that the Large Energy Effective Theory (LEET), originally proposed
by Dugan and Grinstein, is applicable to exclusive semileptonic, radiative and
rare heavy-to-light transitions in the region where the energy release E is
large compared to the strong interaction scale and to the mass of the final
hadron, i.e. for q^2 not close to the zero-recoil point. We derive the
Effective Lagrangian from the QCD one, and show that in the limit of heavy mass
M for the initial hadron and large energy E for the final one, the heavy and
light quark fields behave as two-component spinors. Neglecting QCD
short-distance corrections, this implies that there are only three form factors
describing all the pseudoscalar to pseudoscalar or vector weak current matrix
elements. We argue that the dependence of these form factors with respect to M
and E should be factorizable, the M-dependence (sqrt(M)) being derived from the
usual heavy quark expansion while the E-dependence is controlled by the
behaviour of the light-cone distribution amplitude near the end-point u=1. The
usual expectation of the (1-u) behaviour leads to a 1/E^2 scaling law, that is
a dipole form in q^2. We also show explicitly that in the appropriate limit,
the Light-Cone Sum Rule method satisfies our general relations as well as the
scaling laws in M and E of the form factors, and obtain very compact and simple
expressions for the latter. Finally we note that this formalism gives
theoretical support to the quark model-inspired methods existing in the
literature.Comment: Latex2e, 25 pages, no figure. Slight changes in the title and the
phrasing. Misprint in Eq. (25) corrected. To appear in Phys. Rev.
- …