Bottom of spectra and amenability of coverings

For a Riemannian covering $\pi\colon M_1\to M_0$, the bottoms of the spectra of $M_0$ and $M_1$ coincide if the covering is amenable. The converse implication does not always hold. Assuming completeness and a lower bound on the Ricci curvature, we obtain a converse under a natural condition on the spectrum of $M_0$

Rigidity properties of a three-way prestressed segmented ceramic plate

Rigidity properties of three way prestressed segmented ceramic plat

A Conceptual Model Combination for the Unification of Design and Tolerancing in Robust Design

In design engineering, the early consideration of tolerance chains contributes to robust design. For this, a link of design and tolerancing domains is essential. This paper presents a combination of the graph-based tolerancing approach and the Contact and Channel approach to link these domains. The combined approach is applied at a coinage machine. Here it provides detailed insights into state-dependent relations of embodiment and functions, which can improve robustness evaluation of the concept. This approach shows a possibility to bridge the gap between design and tolerancing domains

Into the depths of C: Elaborating the de facto standards

C remains central to our computing infrastructure. It is notionally defined by ISO standards, but in reality the properties of C assumed by systems code and those implemented by compilers have diverged, both from the ISO standards and from each other, and none of these are clearly understood. We make two contributions to help improve this error-prone situation. First, we describe an in-depth analysis of the design space for the semantics of pointers and memory in C as it is used in practice. We articulate many specific questions, build a suite of semantic test cases, gather experimental data from multiple implementations, and survey what C experts believe about the de facto standards. We identify questions where there is a consensus (either following ISO or differing) and where there are conflicts. We apply all this to an experimental C implemented above capability hardware. Second, we describe a formal model, Cerberus, for large parts of C. Cerberus is parameterised on its memory model; it is linkable either with a candidate de facto memory object model, under construction, or with an operational C11 concurrency model; it is defined by elaboration to a much simpler Core language for accessibility, and it is executable as a test oracle on small examples. This should provide a solid basis for discussion of what mainstream C is now: what programmers and analysis tools can assume and what compilers aim to implement. Ultimately we hope it will be a step towards clear, consistent, and accepted semantics for the various use-cases of C.We acknowledge funding from EPSRC grants EP/H005633 (Leadership Fellowship, Sewell) and EP/K008528 (REMS Programme Grant), and a Gates Cambridge Scholarship (Nienhuis). This work is also part of the CTSRD projects sponsored by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contract FA8750-10-C-0237.This is the author accepted manuscript. The final version is available from the Association for Computing Machinery via http://dx.doi.org/10.1145/2908080.290808

Assessment of a Large-Scale Unbiased Malignant Pleural Effusion Proteomics Study of a Real-Life Cohort

Background: Pleural effusion (PE) is common in advanced-stage lung cancer patients and is related to poor prognosis. Identification of cancer cells is the standard method for the diagnosis of a malignant PE (MPE). However, it only has moderate sensitivity. Thus, more sensitive diagnostic tools are urgently needed. Methods: The present study aimed to discover potential protein targets to distinguish malignant pleural effusion (MPE) from other non-malignant pathologies. We have collected PE from 97 patients to explore PE proteomes by applying state-of-the-art liquid chromatography-mass spectrometry (LC-MS) to identify potential biomarkers that correlate with immunohistochemistry assessment of tumor biopsy or with survival data. Functional analyses were performed to elucidate functional differences in PE proteins in malignant and benign samples. Results were integrated into a clinical risk prediction model to identify likely malignant cases. Sensitivity, specificity, and negative predictive value were calculated. Results: In total, 1689 individual proteins were identified by MS-based proteomics analysis of the 97 PE samples, of which 35 were diagnosed as malignant. A comparison between MPE and benign PE (BPE) identified 58 differential regulated proteins after correction of the p-values for multiple testing. Furthermore, functional analysis revealed an up-regulation of matrix intermediate filaments and cellular movement-related proteins. Additionally, gene ontology analysis identified the involvement of metabolic pathways such as glycolysis/gluconeogenesis, pyruvate metabolism and cysteine and methionine metabolism. Conclusion: This study demonstrated a partial least squares regression model with an area under the curve of 98 and an accuracy of 0.92 when evaluated on the holdout test data set. Furthermore, highly significant survival markers were identified (e.g., PSME1 with a log-rank of 1.68 × 10−6 ).info:eu-repo/semantics/publishedVersio

The effect of ionic strength on oil adhesion in sandstone - the search for the low salinity mechanism

Core flood and field tests have demonstrated that decreasing injection water salinity increases oil recovery from sandstone reservoirs. However, the microscopic mechanism behind the effect is still under debate. One hypothesis is that as salinity decreases, expansion of the electrical double layer decreases attraction between organic molecules and pore surfaces. We have developed a method that uses atomic force microscopy (AFM) in chemical force mapping (CFM) mode to explore the relationship between wettability and salinity. We functionalised AFM tips with alkanes and used them to represent tiny nonpolar oil droplets. In repeated measurements, we brought our “oil” close to the surface of sand grains taken from core plugs and we measured the adhesion between the tip and sample. Adhesion was constant in high salinity solutions but below a threshold of 5,000 to 8,000 ppm, adhesion decreased as salinity decreased, rendering the surface less oil wet. The effect was consistent, reproducible and reversible. The threshold for the onset of low salinity response fits remarkably well with observations from core plug experiments and field tests. The results demonstrate that the electric double layer force always contributes at least in part to the low salinity effect, decreasing oil wettability when salinity is low

Qualitative Modelling in Embodiment Design - Investigating the Contact and Channel Approach Through Analysis of Projects

Purposeful qualitative modelling of embodiment function relations is a challenge in embodiment design. This contribution investigates the applicability and usefulness of the Contact and Channel Approach as a qualitative modelling approach in a survey study. From 23 development and research projects, advantages and challenges regarding applicability and usefulness are identified. A further result is that many different models are used additionally to the Contact and Channel Approach. Based on the findings, research potential for optimization and development of links to other models emerges

A Comparison of Low-Gravity Measurements On-Board Columbia During STS-40

The first NASA Spacelab Life Sciences mission (SLS-1) flew 5 June to 14 June 1991 on the orbiter Columbia (STS-40). The purpose of the mission was to investigate the human body\u27s adaptation to the low-gravity conditions of space flight and the body\u27s readjustment after the mission to the 1 g environment of earth. In addition to the life sciences experiments manifested for the Spacelab module, a variety of experiments in other scientific disciplines flew in the Spacelab and in Get Away Special (GAS) Canisters on the GAS Bridge Assembly. Several principal investigators designed and flew specialized accelerometer systems to better assess the results of their experiments by means of a low-gravity environment characterization. This was also the first flight of the NASA Microgravity Science and Applications Division (MSAD) sponsored Space Acceleration Measurement System (SAMS) and the first flight of the NASA Orbiter Experiments Office (OEX) sponsored Orbital Acceleration Research Experiment accelerometer (OARE). We present a brief introduction to seven STS-40 accelerometer systems and discuss and compare the resulting data. During crew sleep periods, acceleration magnitudes in the 10-6 to 10-5 g range were recorded in the Spacelab module and on the GAS Bridge Assembly. Magnitudes increased to the 10-4 g level during periods of nominal crew activity. Vernier thruster firings caused acceleration shifts on the order of 10-4 g and primary thruster firings caused accelerations as great as 10-2 g. Frequency domain analysis revealed typical excitation of Orbiter and Spacelab structural modes at 3.5, 4.7, 5.2, 6.2, 7, and 17 Hz

Changes in electric-field noise due to thermal transformation of a surface ion trap

We aim to illuminate how the microscopic properties of a metal surface map to its electric-field noise characteristics. In our system, prolonged heat treatments of a metal film can induce a rise in the magnitude of the electric-field noise generated by the surface of that film. We refer to this heat-induced rise in noise magnitude as a thermal transformation. The underlying physics of this thermal transformation process is explored through a series of heating, milling, and electron treatments performed on a single surface ion trap. Between these treatments, $^{40}$Ca$^+$ ions trapped 70 $\mu$m above the surface of the metal are used as detectors to monitor the electric-field noise at frequencies close to 1 MHz. An Auger spectrometer is used to track changes in the composition of the contaminated metal surface. With these tools we investigate contaminant deposition, chemical reactions, and atomic restructuring as possible drivers of thermal transformations. The data suggest that the observed thermal transformations can be explained by atomic restructuring at the trap surface. We hypothesize that a rise in local atomic order increases surface electric-field noise in this system

A search for solar-like oscillations in K giants in the globular cluster M4

To expand the range in the colour-magnitude diagram where asteroseismology can be applied, we organized a photometry campaign to find evidence for solar-like oscillations in giant stars in the globular cluster M4. The aim was to detect the comb-like p-mode structure characteristic for solar-like oscillations in the amplitude spectra. The two dozen main target stars are in the region of the bump stars and have luminosities in the range 50-140 Lsun. We collected 6160 CCD frames and light curves for about 14000 stars were extracted. We obtain high quality light curves for the K giants, but no clear oscillation signal is detected. High precision differential photometry is possible even in very crowded regions like the core of M4. Solar-like oscillations are probably present in K giants, but the amplitudes are lower than classical scaling laws predict.Comment: 14 pages, 16 figures, accepted for publication in A&