24,409 research outputs found
Novel optical imaging technique to determine the 3-D orientation of collagen fibers in cartilage: variable-incidence angle polarization-sensitive optical coherence tomography
Objective: To investigate a novel optical method to determine the three dimensional (3-D) structure of articular cartilage collagen non-destructively.
Methods: Polarization-sensitive optical coherence tomography was used to determine the apparent optical birefringence of articular cartilage for a number of different illumination directions. A quantitative method based on the theory of light propagation in uniaxial crystalline materials was validated on equine flexor tendon. Qualitative maps of fiber polar and azimuthal orientation at sites on the posterior and anterior segments of the equine third metacarpophalangeal (fetlock) joint were produced, and the azimuthal orientations compared with data from a split-line experiment.
Results: Polar and azimuthal angles of cut flexor tendon broadly agreed with the nominal values but suggested that the accuracy was limited by our method of determining the apparent birefringence. On intact equine fetlock joints we found a non-zero polar tilt that changed in direction at various points along the apex, moving from the sagittal ridge outwards. The azimuthal orientation changes from being parallel to the sagittal ridge in the posterior region to being inclined to the ridge in the anterior region. This broadly agrees with split-line data for the anterior region but differs in the posterior region, possibly reflecting depth-dependent orientation changes.
Conclusion: General quantitative agreement was found between our method and histology in validation experiments. Qualitative results for cartilage suggest a complicated 3-D structure that warrants further study. There is potential to develop this approach into a tool that can provide depth-resolved information on collagen orientation in near real-time, non-destructively and in vivo. (c) 2008 Osteoarthritis Research Society International. Published by Elsevier Ltd. All rights reserved
Alteration of gene expression in mammary gland tissue of dairy cows in response to dietary unsaturated fatty acids
The aim of this study was to determine the effects of supplementing unprotected dietary unsaturated fatty acids (UFAs) from different plant oils on gene expression in the mammary gland of grazing dairy cows. A total of 28 Holstein–Friesian dairy cows in mid-lactation were blocked according to parity, days in milk, milk yield and fat percentage. The cows were then randomly assigned to four UFA sources based on rapeseed, soybean, linseed or a mixture of the three oils for 23 days, after which, all 28 cows were switched to a control diet for an additional 28 days. On the last day of both periods, mammary gland biopsies were taken to study genome-wide differences in gene expression on Affymetrix GeneChip® Bovine Genome Arrays (no. 900493) by ServiceXS (Leiden, The Netherlands). Supplementation with UFAs resulted in increased milk yield but decreased milk fat and protein percentages. Furthermore, the proportion of de novo fatty acids (FAs) in the milk was reduced, whereas that of long-chain FAs increased. Applying a statistical cut-off of false discovery rate of q-value
Dietary unsaturated fatty acids affect the mammary gland integrity and health in lactating dairy cows
Background Information about the effects of unsaturated fatty acids (UFA) supplementation on the health and integrity of the mammary gland in lactating dairy cows is lacking. Therefore, the aim of this study was to determine the effects of unprotected dietary UFA on the global expression pattern of genes in the mammary gland tissue of grazing dairy cows, and to translate this information into relevant biological knowledge. Methods Twenty-eight Holstein-Friesian dairy cows were randomly assigned to 4 different concentrated UFA-sources for 23 days after which all cows were switched to a non-UFA-supplemented concentrate for an additional 28 days. On the last day of both periods, mammary gland biopsies were taken to study genome-wide differences in gene expression on Bovine Genome Arrays. Results Supplementation with UFA reduced the concentration of short chain fatty acids (FA), C16 FA and saturated FA in the milk, whereas that of trans-FA increased. One major finding was that canonical pathways associated with remodelling and immune functions of the mammary gland were predominantly down-regulated during UFA supplementation and negatively correlated with the concentration of milk trans-FA. Conclusions Supplementing grazing dairy cows with unprotected dietary UFA can affect the remodelling and immune functions of the mammary gland with potential consequences for its integrity and health, as well as milk quality
Twisting 2-cocycles for the construction of new non-standard quantum groups
We introduce a new class of 2-cocycles defined explicitly on the generators
of certain multiparameter standard quantum groups. These allow us, through the
process of twisting the familiar standard quantum groups, to generate new as
well as previously known examples of non-standard quantum groups. In particular
we are able to construct generalisations of both the Cremmer-Gervais
deformation of SL(3) and the so called esoteric quantum groups of Fronsdal and
Galindo in an explicit and straightforward manner.Comment: 21 pages, AMSLaTeX, expanded introduction and a few other minor
corrections, to appear in JM
Deductive Verification of Unmodified Linux Kernel Library Functions
This paper presents results from the development and evaluation of a
deductive verification benchmark consisting of 26 unmodified Linux kernel
library functions implementing conventional memory and string operations. The
formal contract of the functions was extracted from their source code and was
represented in the form of preconditions and postconditions. The correctness of
23 functions was completely proved using AstraVer toolset, although success for
11 functions was achieved using 2 new specification language constructs.
Another 2 functions were proved after a minor modification of their source
code, while the final one cannot be completely proved using the existing memory
model. The benchmark can be used for the testing and evaluation of deductive
verification tools and as a starting point for verifying other parts of the
Linux kernel.Comment: 18 pages, 2 tables, 6 listings. Accepted to ISoLA 2018 conference.
Evaluating Tools for Software Verification trac
Radiometric temperature analysis of the Hayabusa spacecraft re-entry
Hayabusa, an unmanned Japanese spacecraft, was launched to study and collect samples from the surface of the asteroid 25143 Itokawa. In June 2010, the Hayabusa spacecraft completed it’s seven year voyage. The spacecraft and the sample return capsule (SRC) re-entered the Earth’s atmosphere over the central Australian desert at speeds on the order of 12 km/s. This provided a rare opportunity to experimentally investigate the radiative heat transfer from the shock-compressed gases in front of the sample return capsule at true-flight conditions. This paper reports on the results of observations from a tracking camera situated on the ground about 100 km from where the capsule experienced peak heating during re-entry
Adherence to Nutrition and Physical Activity Cancer Prevention Guidelines and Development of Colorectal Adenoma.
Adherence to the American Cancer Society's (ACS) Nutrition and Physical Activity Cancer Prevention Guidelines is associated with reductions in overall cancer incidence and mortality, including site-specific cancers such as colorectal cancer. We examined the relationship between baseline adherence to the ACS guidelines and (1) baseline adenoma characteristics and (2) odds of recurrent colorectal adenomas over 3 years of follow-up. Cross-sectional and prospective analyses with a pooled sample of participants from the Wheat Bran Fiber (n = 503) and Ursodeoxycholic Acid (n = 854) trials were performed. A cumulative adherence score was constructed using baseline self-reported data regarding body size, diet, physical activity and alcohol consumption. Multivariable logistic regression demonstrated significantly reduced odds of having three or more adenomas at baseline for moderately adherent (odds ratio [OR] = 0.67, 95% confidence intervals [CI]: 0.46⁻0.99) and highly adherent (OR = 0.50, 95% CI: 0.31⁻0.81) participants compared to low adherers (p-trend = 0.005). Conversely, guideline adherence was not associated with development of recurrent colorectal adenoma (moderate adherence OR = 1.16, 95% CI: 0.85⁻1.59, high adherence OR = 1.23, 95% CI: 0.85⁻1.79)
Fiber-Cavity-Based Optomechanical Device
We describe an optomechanical device consisting of a fiber-based optical
cavity containing a silicon nitiride membrane. In comparison with typical
free-space cavities, the fiber-cavity's small mode size (10 {\mu}m waist, 80
{\mu}m length) allows the use of smaller, lighter membranes and increases the
cavity-membrane linear coupling to 3 GHz/nm and quadratic coupling to 20
GHz/nm^2. This device is also intrinsically fiber-coupled and uses glass
ferrules for passive alignment. These improvements will greatly simplify the
use of optomechanical systems, particularly in cryogenic settings. At room
temperature, we expect these devices to be able to detect the shot noise of
radiation pressure.Comment: 4 pages, 3 figures; the following article has been submitted to
Applied Physics Letter
Layer by layer - Combining Monads
We develop a method to incrementally construct programming languages. Our
approach is categorical: each layer of the language is described as a monad.
Our method either (i) concretely builds a distributive law between two monads,
i.e. layers of the language, which then provides a monad structure to the
composition of layers, or (ii) identifies precisely the algebraic obstacles to
the existence of a distributive law and gives a best approximant language. The
running example will involve three layers: a basic imperative language enriched
first by adding non-determinism and then probabilistic choice. The first
extension works seamlessly, but the second encounters an obstacle, which
results in a best approximant language structurally very similar to the
probabilistic network specification language ProbNetKAT
Affective iconic words benefit from additional sound–meaning integration in the left amygdala
Recent studies have shown that a similarity between sound and meaning of a word (i.e., iconicity) can help more readily access the meaning of that word, but the neural mechanisms underlying this beneficial role of iconicity in semantic processing remain largely unknown. In an fMRI study, we focused on the affective domain and examined whether affective iconic words (e.g., high arousal in both sound and meaning) activate additional brain regions that integrate emotional information from different domains (i.e., sound and meaning). In line with our hypothesis, affective iconic words, compared to their non‐iconic counterparts, elicited additional BOLD responses in the left amygdala known for its role in multimodal representation of emotions. Functional connectivity analyses revealed that the observed amygdalar activity was modulated by an interaction of iconic condition and activations in two hubs representative for processing sound (left superior temporal gyrus) and meaning (left inferior frontal gyrus) of words. These results provide a neural explanation for the facilitative role of iconicity in language processing and indicate that language users are sensitive to the interaction between sound and meaning aspect of words, suggesting the existence of iconicity as a general property of human language
- …