Relationships between Circulating Urea Concentrations and Endometrial Function in Postpartum Dairy Cows

Both high and low circulating urea concentrations, a product of protein metabolism, are associated with decreased fertility in dairy cows through poorly defined mechanisms. The rate of involution and the endometrial ability to mount an adequate innate immune response after calving are both critical for subsequent fertility. Study 1 used microarray analysis to identify genes whose endometrial expression 2 weeks postpartum correlated significantly with the mean plasma urea per cow, ranging from 3.2 to 6.6 mmol/L. The biological functions of 781 mapped genes were analysed using Ingenuity Pathway Analysis. These were predominantly associated with tissue turnover (e.g., BRINP1, FOXG1), immune function (e.g., IL17RB, CRISPLD2), inflammation (e.g., C3, SERPINF1, SERPINF2) and lipid metabolism (e.g., SCAP, ACBD5, SLC10A). Study 2 investigated the relationship between urea concentration and expression of 6 candidate genes (S100A8, HSP5A, IGF1R, IL17RB, BRINP1, CRISPLD2) in bovine endometrial cell culture. These were treated with 0, 2.5, 5.0 or 7.5 mmol/L urea, equivalent to low, medium and high circulating values with or without challenge by bacterial lipopolysaccharide (LPS). LPS increased S100A8 expression as expected but urea treatment had no effect on expression of any tested gene. Examination of the genes/pathways involved suggests that plasma urea levels may reflect variations in lipid metabolism. Our results suggest that it is the effects of lipid metabolism rather than the urea concentration which probably alter the rate of involution and innate immune response, in turn influencing subsequent fertility

Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs

Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel debugging techniques have concentrated on finding race conditions due to wrong usage of synchronization constructs. A widely unexplored issue, however, is that a wrong usage of non-parallel programming constructs may also cause wrong parallel application behavior. This paper presents a novel defect-localization technique for multithreaded shared-memory programs that is based on analyzing execution anomalies. Compared to race detectors that report just on wrong synchronization, this method can detect a wider range of defects affecting parallel execution. It works on a condensed representation of the call graphs of multithreaded applications and employs data-mining techniques to locate a method containing a defect. Our results from controlled application experiments show that we found race conditions, but also other programming errors leading to incorrect parallel program behavior. On average, our approach reduced in our benchmark the amount of code to be inspected to just 7.1% of all methods

Antenna-assisted picosecond control of nanoscale phase transition in vanadium dioxide

Nanoscale devices in which the interaction with light can be configured using external control signals hold great interest for next-generation optoelectronic circuits. Materials exhibiting a structural or electronic phase transition offer a large modulation contrast with multi-level optical switching and memory functionalities. In addition, plasmonic nanoantennas can provide an efficient enhancement mechanism for both the optically induced excitation and the readout of materials strategically positioned in their local environment. Here, we demonstrate picosecond all-optical switching of the local phase transition in plasmonic antenna-vanadium dioxide (VO2) hybrids, exploiting strong resonant field enhancement and selective optical pumping in plasmonic hotspots. Polarization- and wavelength-dependent pump-probe spectroscopy of multifrequency crossed antenna arrays shows that nanoscale optical switching in plasmonic hotspots does not affect neighboring antennas placed within 100 nm of the excited antennas. The antenna-assisted pumping mechanism is confirmed by numerical model calculations of the resonant, antenna-mediated local heating on a picosecond time scale. The hybrid, nanoscale excitation mechanism results in 20 times reduced switching energies and 5 times faster recovery times than a VO2 film without antennas, enabling fully reversible switching at over two million cycles per second and at local switching energies in the picojoule range. The hybrid solution of antennas and VO2 provides a conceptual framework to merge the field localization and phase-transition response, enabling precise, nanoscale optical memory functionalities

Laser heating of scanning probe tips for thermal near-field spectroscopy and imaging

Spectroscopy and microscopy of the thermal near-field yield valuable insight into the mechanisms of resonant near-field heat transfer and Casimir and Casimir-Polder forces, as well as providing nanoscale spatial resolution for infrared vibrational spectroscopy. A heated scanning probe tip brought close to a sample surface can excite and probe the thermal near-field. Typically, tip temperature control is provided by resistive heating of the tip cantilever. However, this requires specialized tips with limited temperature range and temporal response. By focusing laser radiation onto AFM cantilevers, we achieve heating up to ∼1800 K, with millisecond thermal response time. We demonstrate application to thermal infrared near-field spectroscopy (TINS) by acquiring near-field spectra of the vibrational resonances of silicon carbide, hexagonal boron nitride, and polytetrafluoroethylene. We discuss the thermal response as a function of the incident excitation laser power and model the dominant cooling contributions. Our results provide a basis for laser heating as a viable approach for TINS, nanoscale thermal transport measurements, and thermal desorption nano-spectroscopy

Lightweight Analysis of Object Interactions

The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attention to some difficulties that need to be solved if this style of development is to be supported by formal methods. In particular, the centrality of object interactions in many designs mak es traditional reasoning less useful, since classes cannot be treated fruitfully in isolation from one another. We propose some ideas towards dealing with these issues: a relational model of heap structure capable of expressing sharing and mutual influence between objects; a declarative specification style that work in the presence of collaboration; and a tool-supported constraint analysis to expose problems in a diagram that captures, at a design level, a pattern of interaction. We illustrate these ideas with an example tak en from a program used in the formatting of this paper

FRESA: A Frequency-Sensitive Sampling-Based Approach for Data Race Detection

Part 1: Session 1: Parallel Programming and AlgorithmsInternational audienceConcurrent programs are difficult to debug due to the inherent concurrence and indeterminism. One of the problems is race conditions. Previous work on dynamic race detection includes fast but imprecise methods that report false alarms, and slow but precise ones that never report false alarms. Some researchers have combined these two methods. However, the overhead is still massive. This paper exploits the insight that full record on detector is unnecessary in most cases. Even prior sampling method has something to do to reduce overhead with precision guaranteed. That is, we can use a frequency-sensitive sampling approach. With our model on sampling dispatch, we can drop most unnecessary detection overhead. Experiment results on DaCapo benchmarks show that our heuristic sampling race detector is performance-faster and overhead-lower than traditional race detectors with no loss in precision, while never reporting false alarms