294 research outputs found
Formalization of Transform Methods using HOL Light
Transform methods, like Laplace and Fourier, are frequently used for
analyzing the dynamical behaviour of engineering and physical systems, based on
their transfer function, and frequency response or the solutions of their
corresponding differential equations. In this paper, we present an ongoing
project, which focuses on the higher-order logic formalization of transform
methods using HOL Light theorem prover. In particular, we present the
motivation of the formalization, which is followed by the related work. Next,
we present the task completed so far while highlighting some of the challenges
faced during the formalization. Finally, we present a roadmap to achieve our
objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201
Cellular expression, trafficking, and function of two isoforms of human ULBP5/RAET1G
Background:
The activating immunoreceptor NKG2D is expressed on Natural Killer (NK) cells and subsets of T cells. NKG2D contributes to anti-tumour and anti-viral immune responses in vitro and in vivo. The ligands for NKG2D in humans are diverse proteins of the MIC and ULBP/RAET families that are upregulated on the surface of virally infected cells and tumours. Two splicing variants of ULBP5/RAET1G have been cloned previously, but not extensively characterised.
Methodology/Principal Findings:
We pursue a number of approaches to characterise the expression, trafficking, and function of the two isoforms of ULBP5/RAET1G. We show that both transcripts are frequently expressed in cell lines derived from epithelial cancers, and in primary breast cancers. The full-length transcript, RAET1G1, is predicted to encode a molecule with transmembrane and cytoplasmic domains that are unique amongst NKG2D ligands. Using specific anti-RAET1G1 antiserum to stain tissue microarrays we show that RAET1G1 expression is highly restricted in normal tissues. RAET1G1 was expressed at a low level in normal gastrointestinal epithelial cells in a similar pattern to MICA. Both RAET1G1 and MICA showed increased expression in the gut of patients with celiac disease. In contrast to healthy tissues the RAET1G1 antiserum stained a wide variety or different primary tumour sections. Both endogenously expressed and transfected RAET1G1 was mainly found inside the cell, with a minority of the protein reaching the cell surface. Conversely the truncated splicing variant of RAET1G2 was shown to encode a soluble molecule that could be secreted from cells. Secreted RAET1G2 was shown to downregulate NKG2D receptor expression on NK cells and hence may represent a novel tumour immune evasion strategy.
Conclusions/Significance:
We demonstrate that the expression patterns of ULBP5RAET1G are very similar to the well-characterised NKG2D ligand, MICA. However the two isoforms of ULBP5/RAET1G have very different cellular localisations that are likely to reflect unique functionality
Pneumococcal carriage in sub-Saharan Africa--a systematic review.
BACKGROUND: Pneumococcal epidemiology varies geographically and few data are available from the African continent. We assess pneumococcal carriage from studies conducted in sub-Saharan Africa (sSA) before and after the pneumococcal conjugate vaccine (PCV) era. METHODS: A search for pneumococcal carriage studies published before 2012 was conducted to describe carriage in sSA. The review also describes pneumococcal serotypes and assesses the impact of vaccination on carriage in this region. RESULTS: Fifty-seven studies were included in this review with the majority (40.3%) from South Africa. There was considerable variability in the prevalence of carriage between studies (I-squared statistic = 99%). Carriage was higher in children and decreased with increasing age, 63.2% (95% CI: 55.6-70.8) in children less than 5 years, 42.6% (95% CI: 29.9-55.4) in children 5-15 years and 28.0% (95% CI: 19.0-37.0) in adults older than 15 years. There was no difference in the prevalence of carriage between males and females in 9/11 studies. Serotypes 19F, 6B, 6A, 14 and 23F were the five most common isolates. A meta-analysis of four randomized trials of PCV vaccination in children aged 9-24 months showed that carriage of vaccine type (VT) serotypes decreased with PCV vaccination; however, overall carriage remained the same because of a concomitant increase in non-vaccine type (NVT) serotypes. CONCLUSION: Pneumococcal carriage is generally high in the African continent, particularly in young children. The five most common serotypes in sSA are among the top seven serotypes that cause invasive pneumococcal disease in children globally. These serotypes are covered by the two PCVs recommended for routine childhood immunization by the WHO. The distribution of serotypes found in the nasopharynx is altered by PCV vaccination
Characterizing the non-linear growth of large-scale structure in the Universe
The local Universe displays a rich hierarchical pattern of galaxy clusters
and superclusters. The early Universe, however, was almost smooth, with only
slight 'ripples' seen in the cosmic microwave background radiation. Models of
the evolution of structure link these observations through the effect of
gravity, because the small initially overdense fluctuations attract additional
mass as the Universe expands. During the early stages, the ripples evolve
independently, like linear waves on the surface of deep water. As the
structures grow in mass, they interact with other in non-linear ways, more like
waves breaking in shallow water. We have recently shown how cosmic structure
can be characterized by phase correlations associated with these non-linear
interactions, but hitherto there was no way to use that information to reach
quantitative insights into the growth of structures. Here we report a method of
revealing phase information, and quantify how this relates to the formation of
a filaments, sheets and clusters of galaxies by non-linear collapse. We use a
new statistic based on information entropy to separate linear from non-linear
effects and thereby are able to disentangle those aspects of galaxy clustering
that arise from initial conditions (the ripples) from the subsequent dynamical
evolution.Comment: Accepted for publication in Nature. For high-resolution Figure 3,
please see http://www.nottingham.ac.uk/~ppzpc/phases/n0colorphase.html, For
the animations and the idea of this paper please see
http://www.nottingham.ac.uk/~ppzpc/phases/index.htm
Imaging of ependymomas: MRI and CT
The imaging features of intracranial and spinal ependymoma are reviewed with an emphasis on conventional magnetic resonance imaging (MRI), perfusion MRI and proton magnetic resonance spectroscopy, and computed tomography. Imaging manifestations of leptomeningeal dissemination of disease are described. Finally, salient imaging features obtained in the postoperative period to evaluate completeness of surgical resection, and thereafter for long-term surveillance for disease recurrence, are reviewed
Activating optomechanical entanglement
We propose an optomechanical setup where the activation of entanglement
through the pre-availability of non-classical correlations can be demonstrated
experimentally. We analyse the conditions under which the scheme is successful
and relate them to the current experimental state of the art. The successful
activation of entanglement embodies an interesting alternative to current
settings for the revelation of fully mechanical nonclassicality.Comment: Published versio
Age-related delay in information accrual for faces: Evidence from a parametric, single-trial EEG approach
Background: In this study, we quantified age-related changes in the time-course of face processing
by means of an innovative single-trial ERP approach. Unlike analyses used in previous studies, our
approach does not rely on peak measurements and can provide a more sensitive measure of
processing delays. Young and old adults (mean ages 22 and 70 years) performed a non-speeded
discrimination task between two faces. The phase spectrum of these faces was manipulated
parametrically to create pictures that ranged between pure noise (0% phase information) and the
undistorted signal (100% phase information), with five intermediate steps.
Results: Behavioural 75% correct thresholds were on average lower, and maximum accuracy was
higher, in younger than older observers. ERPs from each subject were entered into a single-trial
general linear regression model to identify variations in neural activity statistically associated with
changes in image structure. The earliest age-related ERP differences occurred in the time window
of the N170. Older observers had a significantly stronger N170 in response to noise, but this age
difference decreased with increasing phase information. Overall, manipulating image phase
information had a greater effect on ERPs from younger observers, which was quantified using a
hierarchical modelling approach. Importantly, visual activity was modulated by the same stimulus
parameters in younger and older subjects. The fit of the model, indexed by R2, was computed at
multiple post-stimulus time points. The time-course of the R2 function showed a significantly slower
processing in older observers starting around 120 ms after stimulus onset. This age-related delay
increased over time to reach a maximum around 190 ms, at which latency younger observers had
around 50 ms time lead over older observers.
Conclusion: Using a component-free ERP analysis that provides a precise timing of the visual
system sensitivity to image structure, the current study demonstrates that older observers
accumulate face information more slowly than younger subjects. Additionally, the N170 appears to
be less face-sensitive in older observers
Novel Use of Matched Filtering for Synaptic Event Detection and Extraction
Efficient and dependable methods for detection and measurement of synaptic events are important for studies of synaptic physiology and neuronal circuit connectivity. As the published methods with detection algorithms based upon amplitude thresholding and fixed or scaled template comparisons are of limited utility for detection of signals with variable amplitudes and superimposed events that have complex waveforms, previous techniques are not applicable for detection of evoked synaptic events in photostimulation and other similar experimental situations. Here we report on a novel technique that combines the design of a bank of approximate matched filters with the detection and estimation theory to automatically detect and extract photostimluation-evoked excitatory postsynaptic currents (EPSCs) from individually recorded neurons in cortical circuit mapping experiments. The sensitivity and specificity of the method were evaluated on both simulated and experimental data, with its performance comparable to that of visual event detection performed by human operators. This new technique was applied to quantify and compare the EPSCs obtained from excitatory pyramidal cells and fast-spiking interneurons. In addition, our technique has been further applied to the detection and analysis of inhibitory postsynaptic current (IPSC) responses. Given the general purpose of our matched filtering and signal recognition algorithms, we expect that our technique can be appropriately modified and applied to detect and extract other types of electrophysiological and optical imaging signals
Comb-Based Radio-Frequency Photonic Filters with Rapid Tunability and High Selectivity
Photonic technologies have received considerable attention for enhancement of
radio-frequency (RF) electrical systems, including high-frequency analog signal
transmission, control of phased arrays, analog-to-digital conversion, and
signal processing. Although the potential of radio-frequency photonics for
implementation of tunable electrical filters over broad RF bandwidths has been
much discussed, realization of programmable filters with highly selective
filter lineshapes and rapid reconfigurability has faced significant challenges.
A new approach for RF photonic filters based on frequency combs offers a
potential route to simultaneous high stopband attenuation, fast tunability, and
bandwidth reconfiguration. In one configuration tuning of the RF passband
frequency is demonstrated with unprecedented (~40 ns) speed by controlling the
optical delay between combs. In a second, fixed filter configuration, cascaded
four-wave mixing simultaneously broadens and smoothes comb spectra, resulting
in Gaussian RF filter lineshapes exhibiting extremely high (>60 dB) main lobe
to sidelobe suppression ratio and (>70 dB) stopband attenuation.Comment: Updated the submission with the most recent version of the pape
The sudden change phenomenon of quantum discord
Even if the parameters determining a system's state are varied smoothly, the
behavior of quantum correlations alike to quantum discord, and of its classical
counterparts, can be very peculiar, with the appearance of non-analyticities in
its rate of change. Here we review this sudden change phenomenon (SCP)
discussing some important points related to it: Its uncovering,
interpretations, and experimental verifications, its use in the context of the
emergence of the pointer basis in a quantum measurement process, its appearance
and universality under Markovian and non-Markovian dynamics, its theoretical
and experimental investigation in some other physical scenarios, and the
related phenomenon of double sudden change of trace distance discord. Several
open questions are identified, and we envisage that in answering them we will
gain significant further insight about the relation between the SCP and the
symmetry-geometric aspects of the quantum state space.Comment: Lectures on General Quantum Correlations and their Applications, F.
F. Fanchini, D. O. Soares Pinto, and G. Adesso (Eds.), Springer (2017), pp
309-33
- …