Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency

With web caching and cache-related services like CDNs and edge services playing an increasingly significant role in the modern internet, the problem of the weak consistency and coherence provisions in current web protocols is becoming increasingly significant and drawing the attention of the standards community [LCD01]. Toward this end, we present definitions of consistency and coherence for web-like environments, that is, distributed client-server information systems where the semantics of interactions with resource are more general than the read/write operations found in memory hierarchies and distributed file systems. We then present a brief review of proposed mechanisms which strengthen the consistency of caches in the web, focusing upon their conceptual contributions and their weaknesses in real-world practice. These insights motivate a new mechanism, which we call "Basis Token Consistency" or BTC; when implemented at the server, this mechanism allows any client (independent of the presence and conformity of any intermediaries) to maintain a self-consistent view of the server's state. This is accomplished by annotating responses with additional per-resource application information which allows client caches to recognize the obsolescence of currently cached entities and identify responses from other caches which are already stale in light of what has already been seen. The mechanism requires no deviation from the existing client-server communication model, and does not require servers to maintain any additional per-client state. We discuss how our mechanism could be integrated into a fragment-assembling Content Management System (CMS), and present a simulation-driven performance comparison between the BTC algorithm and the use of the Time-To-Live (TTL) heuristic.

Validating Arbitrarily Large Network Protocol Compositions with Finite Computation

Formal tools like finite-state model checkers have proven useful in verifying the correctness of systems of bounded size and for hardening single system components against arbitrary inputs. However, conventional applications of these techniques are not well suited to characterizing emergent behaviors of large compositions of processes. In this paper, we present a methodology by which arbitrarily large compositions of components can, if sufficient conditions are proven concerning properties of small compositions, be modeled and completely verified by performing formal verifications upon only a finite set of compositions. The sufficient conditions take the form of reductions, which are claims that particular sequences of components will be causally indistinguishable from other shorter sequences of components. We show how this methodology can be applied to a variety of network protocol applications, including two features of the HTTP protocol, a simple active networking applet, and a proposed web cache consistency algorithm. We also doing discuss its applicability to framing protocol design goals and to representing systems which employ non-model-checking verification methodologies. Finally, we briefly discuss how we hope to broaden this methodology to more general topological compositions of network applications.

Investigation of micro-devices for neurobiological applications

The aim of this project is to integrate neuronal cell culture with commercial or in-house built micro-electrode arrays and MEMS devices. The resulting device is intended to support neuronal cell culture on its surface, expose specific portions of a neuronal population to different environments using microfluidic gradients and stimulate/record neuronal electrical activity using micro-electrode arrays. Additionally, through integration of chemical surface patterning, such device can be used to build neuronal cell networks of specific size, conformation and composition. The design of this device takes inspiration from the nervous system because its development and regeneration are heavily influenced by surface chemistry and fluidic gradients. Hence, this device is intended to be a step forward in neuroscience research because it utilizes similar concepts to those found in nature. The large part of this research revolved around solving technical issues associated with integration of biology, surface chemistry, electrophysiology and microfluidics. Commercially available microelectrode arrays (MEAs) are mechanically and chemically brittle making them unsuitable for certain surface modification and micro-fluidic integration techniques described in the literature. In order to successfully integrate all the aspects into one device, some techniques were heavily modified to ensure that their effects on MEA were minimal. In terms of experimental work, this thesis consists of 3 parts. The first part dealt with characterization and optimization of surface patterning and micro-fluidic perfusion. Through extensive image analysis, the optimal conditions required for micro-contact printing and micro-fluidic perfusion were determined. The second part used a number of optimized techniques and successfully applied these to culturing patterned neural cells on a range of substrates including: Pyrex, cyclo-olefin and SiN coated Pyrex. The second part also described culturing neurons on MEAs and recording electrophysiological activity. The third part of the thesis described integration of MEAs with patterned neuronal culture and microfluidic devices. Although integration of all methodologies proved difficult, a large amount of data relating to biocompatibility, neuronal patterning, electrophysiology and integration was collected. Original solutions were successfully applied to solve a number of issues relating to consistency of micro printing and microfluidic integration leading to successful integration of techniques and device components.

Multi-parametric metabolic assessment of cells under stress conditions

Glycolysis, glutaminolysis, the Krebs cycle and oxidative phosphorylation are the main metabolic pathways. Exposing cells to key metabolic substrates (glucose, glutamine and pyruvate); investigation of the contribution of substrates in stress conditions such as uncoupling and hypoxia was conducted. Glycolysis, O2 consumption, O2 and ATP levels and hypoxia inducible factor (HIF) signalling in PC12 cells were investigated. Upon uncoupling with FCCP mitochondria were depolarised similarly in all cases, but a strong increase in respiration was only seen in the cells fed on glutamine with either glucose or pyruvate. Inhibition of glutaminolysis reversed the glutamine dependant effect. Differential regulation of the respiratory response to FCCP by metabolic environment suggests mitochondrial uncoupling has a potential for substrate-specific inhibition of cell function. At reduced O2 availability (4 % and 0 % O2), cell bioenergetics and local oxygenation varied depending on the substrate composition. Results indicate that both supply and utilisation of key metabolic substrates can affect the pattern of HIF-1/2α accumulation by differentially regulating iO2¬, ATP levels and Akt/Erk/AMPK pathways. Inhibition of key metabolic pathways can modulate HIF regulatory pathways, metabolic responses and survival of cancer cells in hypoxia. Hypoxia leads to transcriptional activation, by HIF, of pyruvate dehydrogenase (PDH) kinase which phosphorylates and inhibits PDH, a mitochondrial enzyme that converts pyruvate into acetyl-CoA. The levels of PDH (total and phosphorylated), PDH kinase and HIF-1α were analysed in HCT116 and HCT116 SCO2-/- (deficient in complex IV of the respiratory chain) grown under 20.9 % and 3 % O2. Data indicate that regulation of PDH can occur in a manner independent of the HIF-1/PDH kinase 1 axis, mitochondrial respiration and the demand for acetyl-CoA. Collectively these results can be applied to many diseases; reduced nutrient supply and O2 during ischemia/stroke, hypoglycaemia in diabetes mellitus and cancer associated changes in uncoupling protein expression levels.

Infrared spectra of C2H2 under jet-cooled and para-H2 matrix conditions

In spectra of jet-cooled C2H2 recorded with an FTIR spectrometer, the ν5, ν4 + ν5, ν3 and ν2 + ν4 + ν5 bands all exhibit an intensity distribution corresponding to ∼6 K for rotation, with no evidence of nuclear spin conversion. Spectra of C2H2 isolated in solid p-H2 show no evidence of rotation of C2H2. The strong interaction between ν3 and ν2 + ν4 + ν5 in the gas phase is diminished in solid p-H2. Lines associated with dimer, trimer and tetramer of C2H2 are identified. Spectral features characteristic of solid state acetylene are observed under jet-cooled conditions. © 2007 Elsevier B.V. All rights reserved.

Population dynamics of Asterias rubens under contrasted environmental conditions: Preliminary results

info:eu-repo/semantics/published

Consistency of financial interest disclosures in the biomedical literature: the case of coronary stents.

BACKGROUND: Disclosure of authors' financial interests has been proposed as a strategy for protecting the integrity of the biomedical literature. We examined whether authors' financial interests were disclosed consistently in articles on coronary stents published in 2006. METHODOLOGY/PRINCIPAL FINDINGS: We searched PubMed for English-language articles published in 2006 that provided evidence or guidance regarding the use of coronary artery stents. We recorded article characteristics, including information about authors' financial disclosures. The main outcome measures were the prevalence, nature, and consistency of financial disclosures. There were 746 articles, 2985 authors, and 135 journals in the database. Eighty-three percent of the articles did not contain disclosure statements for any author (including declarations of no interests). Only 6% of authors had an article with a disclosure statement. In comparisons between articles by the same author, the types of disagreement were as follows: no disclosure statements vs declarations of no interests (64%); specific disclosures vs no disclosure statements (34%); and specific disclosures vs declarations of no interests (2%). Among the 75 authors who disclosed at least 1 relationship with an organization, there were 2 cases (3%) in which the organization was disclosed in every article the author wrote. CONCLUSIONS/SIGNIFICANCE: In the rare instances when financial interests were disclosed, they were not disclosed consistently, suggesting that there are problems with transparency in an area of the literature that has important implications for patient care. Our findings suggest that the inconsistencies we observed are due to both the policies of journals and the behavior of some authors.

Confidence, not consistency, characterizes flashbulb memories.

On September 12, 2001, 54 Duke students recorded their memory of first hearing about the terrorist attacks of September 11 and of a recent everyday event. They were tested again either 1, 6, or 32 weeks later. Consistency for the flashbulb and everyday memories did not differ, in both cases declining over time. However, ratings of vividness, recollection, and belief in the accuracy of memory declined only for everyday memories. Initial visceral emotion ratings correlated with later belief in accuracy, but not consistency, for flashbulb memories. Initial visceral emotion ratings predicted later posttraumatic stress disorder symptoms. Flashbulb memories are not special in their accuracy, as previously claimed, but only in their perceived accuracy.

Systematic review and metasummary of attitudes toward research in emergency medical conditions

Emergency departments are challenging research settings, where truly informed consent can be difficult to obtain. A deeper understanding of emergency medical patients' opinions about research is needed. We conducted a systematic review and meta-summary of quantitative and qualitative studies on which values, attitudes, or beliefs of emergent medical research participants influence research participation. We included studies of adults that investigated opinions toward emergency medicine research participation. We excluded studies focused on the association between demographics or consent document features and participation and those focused on non-emergency research. In August 2011, we searched the following databases: MEDLINE, EMBASE, Google Scholar, Scirus, PsycINFO, AgeLine and Global Health. Titles, abstracts and then full manuscripts were independently evaluated by two reviewers. Disagreements were resolved by consensus and adjudicated by a third author. Studies were evaluated for bias using standardised scores. We report themes associated with participation or refusal. Our initial search produced over 1800 articles. A total of 44 articles were extracted for full-manuscript analysis, and 14 were retained based on our eligibility criteria. Among factors favouring participation, altruism and personal health benefit had the highest frequency. Mistrust of researchers, feeling like a 'guinea pig' and risk were leading factors favouring refusal. Many studies noted limitations of informed consent processes in emergent conditions. We conclude that highlighting the benefits to the participant and society, mitigating risk and increasing public trust may increase research participation in emergency medical research. New methods for conducting informed consent in such studies are needed.

Selected Gamma Aminobutyric Acid (GABA) Esters may Provide Analgesia for Some Central Pain Conditions.

Central pain is an enigmatic, intractable condition, related to destruction of thalamic areas, resulting in likely loss of inhibitory synaptic transmission mediated by GABA. It is proposed that treatment of central pain, a localized process, may be treated by GABA supplementation, like Parkinson's disease and depression. At physiologic pH, GABA exists as a zwitterion that is poorly permeable to the blood brain barrier (BBB). Because the pH of the cerebral spinal fluid (CSF) is acidic relative to the plasma, ion trapping may allow a GABA ester prodrug to accumulate and be hydrolyzed within the CSF. Previous investigations with ester local anesthetics may be applicable to some GABA esters since they are weak bases, hydrolyzed by esterases and cross the BBB. Potential non-toxic GABA esters are discussed. Many GABA esters were investigated in the 1980s and it is hoped that this paper may spark renewed interest in their development.

Long-duration animal tracking in difficult lighting conditions.

High-throughput analysis of animal behavior requires software to analyze videos. Such software typically depends on the experiments' being performed in good lighting conditions, but this ideal is difficult or impossible to achieve for certain classes of experiments. Here, we describe techniques that allow long-duration positional tracking in difficult lighting conditions with strong shadows or recurring "on"/"off" changes in lighting. The latter condition will likely become increasingly common, e.g., for Drosophila due to the advent of red-shifted channel rhodopsins. The techniques enabled tracking with good accuracy in three types of experiments with difficult lighting conditions in our lab. Our technique handling shadows relies on single-animal tracking and on shadows' and flies' being accurately distinguishable by distance to the center of the arena (or a similar geometric rule); the other techniques should be broadly applicable. We implemented the techniques as extensions of the widely-used tracking software Ctrax; however, they are relatively simple, not specific to Drosophila, and could be added to other trackers as well.

Differences in onset and abuse/dependence episodes between prescription opioids and heroin: results from the National Epidemiologic Survey on Alcohol and Related Conditions.

OBJECTIVES: To examine patterns of onset and abuse/dependence episodes of prescription opioid (PO) and heroin use disorders in a national sample of adults, and to explore differences by gender and substance abuse treatment status. METHODS: Analyses of data from the 2001-2002 National Epidemiologic Survey on Alcohol and Related Conditions (N = 43,093). RESULTS: Of all respondents, 5% (n = 1815) reported a history of nonmedical PO use (NMPOU) and 0.3% (n = 150) a history of heroin use. Abuse was more prevalent than dependence among NMPOUs (PO abuse, 29%; dependence, 7%) and heroin users (heroin abuse, 63%; dependence, 28%). Heroin users reported a short mean interval from first use to onset of abuse (1.5 years) or dependence (2.0 years), and a lengthy mean duration for the longest episode of abuse (66 months) or dependence (59 months); the corresponding mean estimates for PO abuse and dependence among NMPOUs were 2.6 and 2.9 years, respectively, and 31 and 49 months, respectively. The mean number of years from first use to remission from the most recent episode was 6.9 years for PO abuse and 8.1 years for dependence; the mean number of years from first heroin use to remission from the most recent episode was 8.5 years for heroin abuse and 9.7 years for dependence. Most individuals with PO or heroin use disorders were remitted from the most recent episode. Treated individuals, whether their problem was heroin or POs, tended to have a longer mean duration of an episode than untreated individuals. CONCLUSION: Periodic remissions from opioid or heroin abuse or dependence episodes occur commonly but take a long time. Timely and effective use of treatment services are needed to mitigate the many adverse consequences from opioid/heroin abuse and dependence.