Sealed Computation: Abstract Requirements for Mechanisms to Support Trustworthy Cloud Computing

In cloud computing, data processing is delegated to a remote party for efficiency and flexibility reasons. A practical user requirement usually is that the confidentiality and integrity of data processing needs to be protected. In the common scenarios of cloud computing today, this can only be achieved by assuming that the remote party does not in any form act maliciously. In this paper, we propose an approach that avoids having to trust a single entity. Our approach is based on two concepts: (1) the technical abstraction of sealed computation, i.e., a technical mechanism to confine the processing of data within a tamper-proof hardware container, and (2) the additional role of an auditing party that itself cannot add functionality to the system but is able to check whether the system (including the mechanism for sealed computation) works as expected. We discuss the abstract technical and procedural requirements of these concepts and explain how they can be applied in practice

Fluorescent-Probe Characterization for Pore-Space Mapping with Single-Particle Tracking

Porous solids often contain complex pore networks with pores of various sizes. Tracking individual fluorescent probes as they diffuse through porous materials can be used to characterize pore networks at tens of nanometers resolution. However, understanding the motion behavior of fluorescent probes in confinement is crucial to reliably derive pore network properties. Here, we introduce well-defined lithography-made model pores developed to study probe behavior in confinement. We investigated the influence of probe-host interactions on diffusion and trapping of confined single-emitter quantum-dot probes. Using the pH-responsiveness of the probes, we were able to largely suppress trapping at the pore walls. This enabled us to define experimental conditions for mapping of the accessible pore space of a one-dimensional pore array as well as a real-life polymerization-catalyst-support particle

Cardiovascular changes after administration of aerosolized salbutamol in horses: five cases

Prevention and treatment of intraoperative hypoxemia in horses is difficult and both efficacy and safety of therapeutic maneuvers have to be taken into account. Inhaled salbutamol has been suggested as treatment of hypoxia in horses during general anesthesia, due to safety and ease of the technique. The present report describes the occurrence of clinically relevant unwanted cardiovascular effects (i.e. tachycardia and blood pressure modifications) in 5 horses undergoing general anesthesia in dorsal recumbency after salbutamol inhalation. Balanced anesthesia based on inhalation of isoflurane in oxygen or oxygen and air and continuous rate infusion (CRI) of lidocaine, romifidine, or combination of lidocaine and guaifenesine and ketamine was provided. Supportive measures were necessary to restore normal cardiovascular function in all horses but no long-term adverse effects were noticed in any of the cases

Spectral plots and the representation and interpretation of biological data

It is basic question in biology and other fields to identify the char- acteristic properties that on one hand are shared by structures from a particular realm, like gene regulation, protein-protein interaction or neu- ral networks or foodwebs, and that on the other hand distinguish them from other structures. We introduce and apply a general method, based on the spectrum of the normalized graph Laplacian, that yields repre- sentations, the spectral plots, that allow us to find and visualize such properties systematically. We present such visualizations for a wide range of biological networks and compare them with those for networks derived from theoretical schemes. The differences that we find are quite striking and suggest that the search for universal properties of biological networks should be complemented by an understanding of more specific features of biological organization principles at different scales.Comment: 15 pages, 7 figure

Search algorithms as a framework for the optimization of drug combinations

Combination therapies are often needed for effective clinical outcomes in the management of complex diseases, but presently they are generally based on empirical clinical experience. Here we suggest a novel application of search algorithms, originally developed for digital communication, modified to optimize combinations of therapeutic interventions. In biological experiments measuring the restoration of the decline with age in heart function and exercise capacity in Drosophila melanogaster, we found that search algorithms correctly identified optimal combinations of four drugs with only one third of the tests performed in a fully factorial search. In experiments identifying combinations of three doses of up to six drugs for selective killing of human cancer cells, search algorithms resulted in a highly significant enrichment of selective combinations compared with random searches. In simulations using a network model of cell death, we found that the search algorithms identified the optimal combinations of 6-9 interventions in 80-90% of tests, compared with 15-30% for an equivalent random search. These findings suggest that modified search algorithms from information theory have the potential to enhance the discovery of novel therapeutic drug combinations. This report also helps to frame a biomedical problem that will benefit from an interdisciplinary effort and suggests a general strategy for its solution.Comment: 36 pages, 10 figures, revised versio

Photo-antagonism of the GABAA receptor

Neurotransmitter receptor trafficking is fundamentally important for synaptic transmission and neural network activity. GABAA receptors and inhibitory synapses are vital components of brain function, yet much of our knowledge regarding receptor mobility and function at inhibitory synapses is derived indirectly from using recombinant receptors, antibody-tagged native receptors and pharmacological treatments. Here we describe the use of a set of research tools that can irreversibly bind to and affect the function of recombinant and neuronal GABAA receptors following ultraviolet photoactivation. These compounds are based on the competitive antagonist gabazine and incorporate a variety of photoactive groups. By using site-directed mutagenesis and ligand-docking studies, they reveal new areas of the GABA binding site at the interface between receptor β and α subunits. These compounds enable the selected inactivation of native GABAA receptor populations providing new insight into the function of inhibitory synapses and extrasynaptic receptors in controlling neuronal excitation

Adaptation of rat fast-twitch muscle to endurance activity is underpinned by changes to protein degradation as well as protein synthesis.

Muscle adaptations to exercise are underpinned by alterations to the abundance of individual proteins, which may occur through a change either to the synthesis or degradation of each protein. We used deuterium oxide (2 H2 O) labeling and chronic low-frequency stimulation (CLFS) in vivo to investigate the synthesis, abundance, and degradation of individual proteins during exercise-induced muscle adaptation. Independent groups of rats received CLFS (10 Hz, 24 h/d) and 2 H2 O for 0, 10, 20, or 30 days. The extensor digitorum longus (EDL) was isolated from stimulated (Stim) and contralateral non-stimulated (Ctrl) legs. Proteomic analysis encompassed 38 myofibrillar and 46 soluble proteins and the rates of change in abundance, synthesis, and degradation were reported in absolute (ng/d) units. Overall, synthesis and degradation made equal contributions to the adaptation of the proteome, including instances where a decrease in protein-specific degradation primarily accounted for the increase in abundance of the protein

The Patients Assessment Chronic Illness Care (PACIC) questionnaire in The Netherlands: a validation study in rural general practice

BACKGROUND: Many patients with chronic illness receive health care in primary care settings, so a challenge is to provide well-structured chronic care in these settings. Our aim was to develop and test a Dutch version of the PACIC questionnaire, a measure for patient reported structured chronic care. METHODS: Observational study in 165 patients with diabetes or COPD from four general practices (72% response rate). Patients completed a written questionnaire, which included instruments for assessing chronic illness care (PACIC), evaluations of general practice (Europep), enablement (PEI), and individual characteristics. RESULTS: The patients had a mean age of 68.0 years and 47% comprised of women. Twenty-two to 35% of responding patients did not provide answers to specific items in the PACIC. In 11 items the lowest answering category was used by 30% or more of the responders and in 6 items the highest answering category was used by this number of responders. Principal factor analysis identified the previously defined five domains reasonably well. Cronbach's alpha per domain varied from 0.71 to 0.83, and the intraclass coefficient from 0.66 to 0.91. Diabetes patients reported higher presence of structured chronic care for 14 out of the 20 PACIC items. The effect of patient evaluations of general practice on the PACIC score was positive (b = 0.72, p < 0.004), but the effect of patient enablement on the PACIC score was negative (b = -1.13, p < 0.000). CONCLUSION: A translated and validated Dutch version of the PACIC questionnaire is now available. Further research on its validity is recommended