2,399 research outputs found
Indexed Induction and Coinduction, Fibrationally
This paper extends the fibrational approach to induction and coinduction
pioneered by Hermida and Jacobs, and developed by the current authors, in two
key directions. First, we present a dual to the sound induction rule for
inductive types that we developed previously. That is, we present a sound
coinduction rule for any data type arising as the carrier of the final
coalgebra of a functor, thus relaxing Hermida and Jacobs' restriction to
polynomial functors. To achieve this we introduce the notion of a quotient
category with equality (QCE) that i) abstracts the standard notion of a
fibration of relations constructed from a given fibration; and ii) plays a role
in the theory of coinduction dual to that played by a comprehension category
with unit (CCU) in the theory of induction. Secondly, we show that inductive
and coinductive indexed types also admit sound induction and coinduction rules.
Indexed data types often arise as carriers of initial algebras and final
coalgebras of functors on slice categories, so we give sufficient conditions
under which we can construct, from a CCU (QCE) U:E \rightarrow B, a fibration
with base B/I that models indexing by I and is also a CCU (resp., QCE). We
finish the paper by considering the more general case of sound induction and
coinduction rules for indexed data types when the indexing is itself given by a
fibration
Reduction of Acquisition time by Partition of the signal Decay in Spectroscopic Imaging (RAPID-SI) technique : preliminary In-vivo results and comparison with CSI
C
Reduction of acquisition time using partition of the signal decay in spectroscopic imaging technique (RAPID-SI)
To overcome long acquisition times of Chemical Shift Imaging (CSI), a new Magnetic Resonance Spectroscopic Imaging (MRSI) technique called Reduction of Acquisition time by Partition of the signal Decay in Spectroscopic Imaging (RAPID-SI) using blipped phase encoding gradients inserted during signal acquisition was developed. To validate the results using RAPID-SI and to demonstrate its usefulness in terms of acquisition time and data quantification; simulations, phantom and in vivo studies were conducted, and the results were compared to standard CSI. The method was based upon the partition of a magnetic resonance spectroscopy (MRS) signal into sequential sub-signals encoded using blipped phase encoding gradients inserted during signal acquisition at a constant time interval. The RAPID-SI technique was implemented on a clinical 3 T Siemens scanner to demonstrate its clinical utility. Acceleration of data collection was performed by inserting R (R= acceleration factor) blipped gradients along a given spatial direction during data acquisition. Compared to CSI, RAPID-SI reduced acquisition time by the acceleration factor R. For example, a 2D 16x16 data set acquired in about 17 min with CSI, was reduced to approximately 2 min with the RAPID-SI (R= 8). While the SNR of the acquired RAPID-SI signal was lower compared to CSI by approximately the factor root R, it can be improved after data pre-processing and reconstruction. Compared to CSI, RAPID-SI reduces acquisition time, while preserving metabolites information. Furthermore, the method is flexible and could be combined with other acceleration methods such as Parallel Imaging
ÉTALEMENT URBAIN, DYNAMIQUES AGRICOLES ET POLITIQUES PERIURBAINES UNE ANALYSE SPATIALE DU LANGUEDOC-ROUSSILLON ET DU PORTUGAL
N° ISBN - 978-2-7380-1284-5International audienceFor almost 40 years cities' peripheries and the coastal areas of Languedoc-Roussillon in France and of Portugal have been known important urban dynamics that affect natural spaces, and most particularly the agricultural areas. These dynamics are due to periurbanization, i.e. the increase of urban sprawl and of spatial fragmentation, thus contributing to important decline of the agriculture land. These dynamics are nowadays considered in spatial policies and planning at different scales by developing, among others, the role of agriculture as a way to deal with urban sprawl. This paper is developed in three steps: a) the spatial analysis of the urban dynamics, specially the mutations of the agriculture lands of Languedoc-Roussillon and of Portugal; b) the analysis of spatial policies and planning at different scales, and of how they are dealing with urban dynamics; c) the analysis of two different local projects – one in Languedoc-Roussillon (Lunel) and the other one in Portugal (Guimarães) – that are trying to enhance the periurban agriculture as a way to combat urban sprawl, thus promoting a more urban and periurban sustainable development
An Exact Conformal Symmetry Ansatz on Kaluza-Klein Reduced TMG
Using a Kaluza-Klein dimensional reduction, and further imposing a conformal
Killing symmetry on the reduced metric generated by the dilaton, we show an
Ansatz that yields many of the known stationary axisymmetric solutions to TMG.Comment: 20 pages, 1 figure, v3: postprint, added one re
The costs and benefits of estimating T-1 of tissue alongside cerebral blood flow and arterial transit time in pseudo-continuous arterial spin labeling
Multi-post-labeling-delay pseudo-continuous arterial spin labeling (multi-PLD PCASL) allows for absolute quantification of the cerebral blood flow (CBF) as well as the arterial transit time (ATT). Estimating these perfusion parameters from multi-PLD PCASL data is a non-linear inverse problem, which is commonly tackled by fitting the single-compartment model (SCM) for PCASL, with CBF and ATT as free parameters. The longitudinal relaxation time of tissue T-1t is an important parameter in this model, as it governs the decay of the perfusion signal entirely upon entry in the imaging voxel. Conventionally, T-1t is fixed to a population average. This approach can cause CBF quantification errors, as T-1t can vary significantly inter- and intra-subject. This study compares the impact on CBF quantification, in terms of accuracy and precision, of either fixing T-1t, the conventional approach, or estimating it alongside CBF and ATT. It is shown that the conventional approach can cause a significant bias in CBF. Indeed, simulation experiments reveal that if T-1t is fixed to a value that is 10% off its true value, this may already result in a bias of 15% in CBF. On the other hand, as is shown by both simulation and real data experiments, estimating T-1t along with CBF and ATT results in a loss of CBF precision of the same order, even if the experiment design is optimized for the latter estimation problem. Simulation experiments suggest that an optimal balance between accuracy and precision of CBF estimation from multi-PLD PCASL data can be expected when using the two-parameter estimator with a fixed T-1t value between population averages of T-1t and the longitudinal relaxation time of blood T-1b
Bioportal: Ontologies and integrated data resources at the click of the mouse
BioPortal is a Web portal that provides access to a library of biomedical ontologies and terminologies developed in OWL, RDF(S), OBO format, Protégé frames, and Rich Release Format. BioPortal functionality, driven by a service-oriented architecture, includes the ability to browse, search and visualize ontologies (Figure 1). The Web interface also facilitates community-based participation in the evaluation and evolution of ontology content
Generic Fibrational Induction
This paper provides an induction rule that can be used to prove properties of
data structures whose types are inductive, i.e., are carriers of initial
algebras of functors. Our results are semantic in nature and are inspired by
Hermida and Jacobs' elegant algebraic formulation of induction for polynomial
data types. Our contribution is to derive, under slightly different
assumptions, a sound induction rule that is generic over all inductive types,
polynomial or not. Our induction rule is generic over the kinds of properties
to be proved as well: like Hermida and Jacobs, we work in a general fibrational
setting and so can accommodate very general notions of properties on inductive
types rather than just those of a particular syntactic form. We establish the
soundness of our generic induction rule by reducing induction to iteration. We
then show how our generic induction rule can be instantiated to give induction
rules for the data types of rose trees, finite hereditary sets, and
hyperfunctions. The first of these lies outside the scope of Hermida and
Jacobs' work because it is not polynomial, and as far as we are aware, no
induction rules have been known to exist for the second and third in a general
fibrational framework. Our instantiation for hyperfunctions underscores the
value of working in the general fibrational setting since this data type cannot
be interpreted as a set.Comment: For Special Issue from CSL 201
Supporting measurements or more averages? How to quantify cerebral blood flow most reliably in 5 minutes by arterial spin labeling
Purpose To determine whether sacrificing part of the scan time of pseudo-continuous arterial spin labeling (PCASL) for measurement of the labeling efficiency and blood T1 is beneficial in terms of CBF quantification reliability.
Methods In a simulation framework, 5-minute scan protocols with different scan time divisions between PCASL data acquisition and supporting measurements were evaluated in terms of CBF estimation variability across both noise and ground truth parameter realizations taken from the general population distribution. The entire simulation experiment was repeated for a single-post-labeling delay (PLD), multi-PLD, and free-lunch time-encoded (te-FL) PCASL acquisition strategy. Furthermore, a real data study was designed for preliminary validation.
Results For the considered population statistics, measuring the labeling efficiency and the blood T1 proved beneficial in terms of CBF estimation variability for any distribution of the 5-minute scan time compared to only acquiring ASL data. Compared to single-PLD PCASL without support measurements as recommended in the consensus statement, a 26%, 33%, and 42% reduction in relative CBF estimation variability was found for optimal combinations of supporting measurements with single-PLD, free-lunch, and multi-PLD PCASL data acquisition, respectively. The benefit of taking the individual variation of blood T1 into account was also demonstrated in the real data experiment.
Conclusions Spending time to measure the labeling efficiency and the blood T1 instead of acquiring more averages of the PCASL data proves to be advisable for robust CBF quantification in the general population
Voluntary participation and comprehension of informed consent in a genetic epidemiological study of breast cancer in Nigeria
BACKGROUND: Studies on informed consent to medical research conducted in low or middle-income settings have increased, including empirical investigations of consent to genetic research. We investigated voluntary participation and comprehension of informed consent among women involved in a genetic epidemiological study on breast cancer in an urban setting of Nigeria comparing women in the case and control groups. METHODS: Surveys were administered in face-to-face interviews with 215 participants following their enrollment in the genetic study (106 patients, 109 controls). Audio-taped in-depth interviews were conducted with a sub-sample of 17 (8%) women who completed the survey. RESULTS: The majority of all participants reported being told that participation in the genetic study was voluntary (97%), that they did not feel pressured to participate in the study (99%), and that they could withdraw from the study (81%). The majority of the breast cancer patients (83%) compared to 58% of women in the control group reported that the study purpose was to learn about the genetic inheritance of breast cancer (OR 3.44; 95% CI =1.66, 7.14, p value = 0.001). Most participants reported being told about study procedures (95%) and study benefits (98%). Sixty-eight percent of the patients, compared to 47% of the control group reported being told about study risks (p-value <0.001). Of the 165 married women, 19% reported asking permission from their husbands to enroll in the breast cancer study; no one sought permission from local elders. In-depth interviews highlight the use of persuasion and negotiation between a wife and her husband regarding study participation. CONCLUSIONS: The global expansion of genetic and genomic research highlights our need to understand informed consent practices for studies in ethnically diverse cultural environments such as Africa. Quantitative and qualitative empirical investigations of the informed consent process for genetic and genomic research will further our knowledge of complex issues associated with communication of information, comprehension, decisional authority and voluntary participation. In the future, the development and testing of innovative strategies to promote voluntary participation and comprehension of the goals of genomic research will contribute to our understanding of strategies that enhance the consent process
- …