949 resultados para proof


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The electrochemical reduction of 1-bromo-4-nitrobenzene (p-BrC6H4NO2) at zinc microelectrodes in the [C(4)mPyrr][NTf2] ionic liquid was investigated via cyclic voltammetry. The reduction was found to occur via an EC type mechanism, where p-BrC6H4NO2 is first reduced by one electron, quasi-reversibly, to yield the corresponding radical anion. The radical anions then react with the Zn electrode to form arylzinc products. Introduction of carbon dioxide into the system led to reaction with the arylzinc species, fingerprinting the formation of the latter. This method thus demonstrates a proof-of-concept of the formation of functionalised arylzinc species.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Physical modelling of musical instruments involves studying nonlinear interactions between parts of the instrument. These can pose several difficulties concerning the accuracy and stability of numerical algorithms. In particular, when the underlying forces are non-analytic functions of the phase-space variables, a stability proof can only be obtained in limited cases. An approach has been recently presented by the authors, leading to unconditionally stable simulations for lumped collision models. In that study, discretisation of Hamilton’s equations instead of the usual Newton’s equation of motion yields a numerical scheme that can be proven to be energy conserving. In this paper, the above approach is extended to collisions of distributed objects. Namely, the interaction of an ideal string with a flat barrier is considered. The problem is formulated within the Hamiltonian framework and subsequently discretised. The resulting nonlinearmatrix equation can be shown to possess a unique solution, that enables the update of the algorithm. Energy conservation and thus numerical stability follows in a way similar to the lumped collision model. The existence of an analytic description of this interaction allows the validation of the model’s accuracy. The proposed methodology can be used in sound synthesis applications involving musical instruments where collisions occur either in a confined (e.g. hammer-string interaction, mallet impact) or in a distributed region (e.g. string-bridge or reed-mouthpiece interaction).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper describes the result of a project to develop climate adaptation design strategies funded by the UK’s Technology Strategy Board. The aim of the project was to look at the threats and opportunities presented by industrialized and house-building techniques in the light of predicted future increases in flooding and overheating due to anthropogenic climate change. The paper shows that the thermal performance of houses built to the current UK Building Regulations is not adequate to cope with changing weather patterns, and in light of this, develops a detailed design for a new house: one that is industrially produced and climatically resilient, but affordable. This detailed concept IDEAhaus of a modular house is not only flood-proof to a water depth of 750 mm, but also is designed to utilize passive cooling, which dramatically reduces the amount of overheating, both now and in the future.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Using high-energy (∼0.5 GeV) electron beams generated by laser wakefield acceleration (LWFA), bremsstrahlung radiation was created by interacting these beams with various solid targets. Secondary processes generate high-energy electrons, positrons, and neutrons, which can be measured shot-to-shot using magnetic spectrometers, short half-life activation, and Compton scattering. Presented here are proof-of-principle results from a high-resolution, high-energy gamma-ray spectrometer capable of single-shot operation, and high repetition rate activation diagnostics. We describe the techniques used in these measurements and their potential applications in diagnosing LWFA electron beams and measuring high-energy radiation from laser-plasma interactions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Background: Vaginal ring devices are being actively developed for controlled delivery of HIV microbicides and as multi-purpose prevention technology (MPT) products combining hormonal contraception with prevention of HIV and other sexually transmitted diseases. Presently, there is no reliable method for monitoring user adherence in HIV vaginal ring trials; previous acceptability studies have included some type of participant self-reporting mechanism, which have often been unreliable. More objective, quantitative and accurate methods for assessing adherence are needed.
Methods: A silicone elastomer vaginal ring containing an encapsulated miniature temperature recording device has been developed that can capture and store real-time temperature data during the period of designated use. Devices were tested in both simulated vaginal environments and following vaginal placement in cynomolgus macaques. Various use protocols and data sampling rates were tested to simulate typical patient usage scenarios. Results: The temperature logging devices accurately recorded vaginal temperature in macaques, clearly showing the regular diurnal temperature cycle. When environmental temperature and vaginal temperature was significantly different, the device was able to accurately pinpoint the insertion and removal times. Based on the data collected it was possible to infer removal periods as short as 5 min when the external environmental temperature was 25 °C. Accuracy increased with data sampling rate. Conclusions: This work provides proof-of-concept for monitoring adherence using a vaginal ring device containing an encapsulated temperature logger. The addition of one or more active agents into the ring body is not anticipated to affect the temperature monitoring function. A clinical study to compare self- reported user adherence data with that obtained by the device would be highly informative.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Measuring inconsistency is crucial to effective inconsistency management in software development. A complete measurement of inconsistency should focus on not only the degree but also the significance of inconsistency. However, most of the approaches available only take the degree of inconsistency into account. The significance of inconsistency has not yet been given much needed consideration. This paper presents an approach for measuring the significance of inconsistency arising from different viewpoints in the Viewpoints framework. We call an individual set of requirements belonging to different viewpoints a combined requirements collection in this paper. We argue that the
significance of inconsistency arising in a combined requirements collection is closely associated with global priority levels of requirements involved in the inconsistency. Here we assume that the global priority level of an individual requirement captures the relative importance of every viewpoint including this requirement as well as the local priority level of the requirement within the viewpoint. Then we use the synthesis of global priority levels of all the requirements in a combined collection to measure the significance of the
collection. Following this, we present a scoring matrix function to measure the significance of inconsistency in an inconsistent combined requirements collection, which describes the contribution made by each subset of the requirements collection to the significance of the set of requirements involved in the inconsistency. An ordering relationship between inconsistencies of two combined requirements collections, termed more significant than, is also presented by comparing their significance scoring matrix functions. Finally, these techniques were implemented in a prototype tool called IncMeasurer, which we developed as a proof of concept.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Ewing's sarcoma (ES) is the second most common bone cancer in children and young people. Edelfosine (1-O-octadecyl-2-O-methyl-rac-glycero-3-phosphocholine) is the prototype of a family of synthetic antitumor compounds, collectively known as alkylphospholipid analogs (APLs). We have found that APLs ranked edelfosine>perifosine>erucylphosphocholine>miltefosine for their capacity to promote apoptosis in ES cells. Edelfosine accumulated in the endoplasmic reticulum (ER) and triggered an ER stress response that eventually led to caspase-dependent apoptosis in ES cells. This apoptotic response involved mitochondrial-mediated processes, with cytochrome c release, caspase-9 activation and generation of reactive oxygen species. Edelfosine-induced apoptosis was also dependent on sustained c-Jun NH2-terminal kinase activation. Oral administration of edelfosine showed a potent in vivo antitumor activity in an ES xenograft animal model. Histochemical staining gave evidence for ER stress response and apoptosis in the ES tumors isolated from edelfosine-treated mice. Edelfosine showed a preferential action on ES tumor cells as compared to non-transformed osteoblasts, and appeared to be well suited for combination therapy regimens. These results demonstrate in vitro and in vivo antitumor activity of edelfosine against ES cells that is mediated by caspase activation and ER stress, and provide the proof of concept for a putative edelfosine-and ER stress-mediated approach for ES treatment.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper the tracking system used to perform a scaled vehicle-barrier crash test is reported. The scaled crash test was performed as part of a wider project aimed at designing a new safety barrier making use of natural building materials. The scaled crash test was designed and performed as a proof of concept of the new mass-based safety barriers and the study was composed of two parts: the scaling technique and of a series of performed scaled crash tests. The scaling method was used for 1) setting the scaled test impact velocity so that energy dissipation and momentum transferring, from the car to the barrier, can be reproduced and 2) predicting the acceleration, velocity and displacement values occurring in the full-scale impact from the results obtained in a scaled test. To achieve this goal the vehicle and barrier displacements were to be recorded together with the vehicle accelerations and angular velocities. These quantities were measured during the tests using acceleration sensors and a tracking system. The tracking system was composed of a high speed camera and a set of targets to measure the vehicle linear and angular velocities. A code was developed to extract the target velocities from the videos and the velocities obtained were then compared with those obtained integrating the accelerations provided by the sensors to check the reliability of the method.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Objective

Global migration of healthcare workers places responsibility on employers to comply with legal employment rights whilst ensuring patient safety remains the central goal. We describe the pilot of a communication assessment designed for doctors who trained and communicated with patients and colleagues in a different language from that of the host country. It is unique in assessing clinical communication without assessing knowledge.

Methods

A 14-station OSCE was developed using a domain-based marking scheme, covering professional communication and English language skills (speaking, listening, reading and writing) in routine, acute and emotionally challenging contexts, with patients, carers and healthcare teams. Candidates (n = 43), non-UK trained volunteers applying to the UK Foundation Programme, were provided with relevant station information prior to the exam.

Results

The criteria for passing the test included achieving the pass score and passing 10 or more of the 14 stations. Of the 43 candidates, nine failed on the station criteria. Two failed the pass score and also the station criteria. The Cronbach's alpha coefficient was 0.866.

Conclusion

This pilot tested ‘proof of concept’ of a new domain-based communication assessment for non-UK trained doctors.

Practice implications

The test would enable employers and regulators to verify communication competence and safety in clinical contexts, independent of clinical knowledge, for doctors who trained in a language different from that of the host country.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The energy transfer by stimulated Brillouin backscatter from a long pump pulse (15 ps) to a short seed pulse (1 ps)has been investigated in a proof-of-principle demonstration experiment. The two pulses were both amplified in differentbeamlines of a Nd:glass laser system, had a central wavelength of 1054 nm and a spectral bandwidth of 2 nm, and crossedeach other in an underdense plasma in a counter-propagating geometry, off-set by 10◦. It is shown that the energy transferand the wavelength of the generated Brillouin peak depend on the plasma density, the intensity of the laser pulses, and thecompetition between two-plasmon decay and stimulated Raman scatter instabilities. The highest obtained energy transferfrom pump to probe pulse is 2.5%, at a plasma density of 0.17ncr, and this energy transfer increases significantly withplasma density. Therefore, our results suggest that much higher efficiencies can be obtained when higher densities (above0.25ncr) are used.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

AIMS: Although earlier reports highlighted a tumor suppressor role for manganese superoxide dismutase (MnSOD), recent evidence indicates increased expression in a variety of human cancers including aggressive breast carcinoma. In the present article, we hypothesized that MnSOD expression is significantly amplified in the aggressive breast carcinoma basal subtype, and targeting MnSOD could be an attractive strategy for enhancing chemosensitivity of this highly aggressive breast cancer subtype.

RESULTS: Using MDA-MB-231 and BT549 as a model of basal breast cancer cell lines, we show that knockdown of MnSOD decreased the colony-forming ability and sensitized the cells to drug-induced cell death, while drug resistance was associated with increased MnSOD expression. In an attempt to develop a clinically relevant approach to down-regulate MnSOD expression in patients with basal breast carcinoma, we employed activation of the peroxisome proliferator-activated receptor gamma (PPARγ) to repress MnSOD expression; PPARγ activation significantly reduced MnSOD expression, increased chemosensitivity, and inhibited tumor growth. Moreover, as a proof of concept for the clinical use of PPARγ agonists to decrease MnSOD expression, biopsies derived from breast cancer patients who had received synthetic PPARγ ligands as anti-diabetic therapy had significantly reduced MnSOD expression. Finally, we provide evidence to implicate peroxynitrite as the mechanism involved in the increased sensitivity to chemotherapy induced by MnSOD repression.

INNOVATION AND CONCLUSION: These data provide evidence to link increased MnSOD expression with the aggressive basal breast cancer, and underscore the judicious use of PPARγ ligands for specifically down-regulating MnSOD to increase the chemosensitivity of this subtype of breast carcinoma.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

G-protein coupled receptors (GPCRs) are the targets of over half of all prescribed drugs today. The UniProt database has records for about 800 proteins classified as GPCRs, but drugs have only been developed against 50 of these. Thus, there is huge potential in terms of the number of targets for new therapies to be designed. Several breakthroughs in GPCRs biased pharmacology, structural biology, modelling and scoring have resulted in a resurgence of interest in GPCRs as drug targets. Therefore, an international conference, sponsored by the Royal Society, with world-renowned researchers from industry and academia was recently held to discuss recent progress and highlight key areas of future research needed to accelerate GPCR drug discovery. Several key points emerged. Firstly, structures for all three major classes of GPCRs have now been solved and there is increasing coverage across the GPCR phylogenetic tree. This is likely to be substantially enhanced with data from x-ray free electron sources as they move beyond proof of concept. Secondly, the concept of biased signalling or functional selectivity is likely to be prevalent in many GPCRs, and this presents exciting new opportunities for selectivity and the control of side effects, especially when combined with increasing data regarding allosteric modulation. Thirdly, there will almost certainly be some GPCRs that will remain difficult targets because they exhibit complex ligand dependencies and have many metastable states rendering them difficult to resolve by crystallographic methods. Subtle effects within the packing of the transmembrane helices are likely to mask and contribute to this aspect, which may play a role in species dependent behaviour. This is particularly important because it has ramifications for how we interpret pre-clinical data. In summary, collaborative efforts between industry and academia have delivered significant progress in terms of structure and understanding of GPCRs and will be essential for resolving problems associated with the more difficult targets in the future.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Semi-qualitative probabilistic networks (SQPNs) merge two important graphical model formalisms: Bayesian networks and qualitative probabilistic networks. They provide a very general modeling framework by allowing the combination of numeric and qualitative assessments over a discrete domain, and can be compactly encoded by exploiting the same factorization of joint probability distributions that are behind the Bayesian networks. This paper explores the computational complexity of semi-qualitative probabilistic networks, and takes the polytree-shaped networks as its main target. We show that the inference problem is coNP-Complete for binary polytrees with multiple observed nodes. We also show that inferences can be performed in linear time if there is a single observed node, which is a relevant practical case. Because our proof is constructive, we obtain an efficient linear time algorithm for SQPNs under such assumptions. To the best of our knowledge, this is the first exact polynomial-time algorithm for SQPNs. Together these results provide a clear picture of the inferential complexity in polytree-shaped SQPNs.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Temper outbursts are associated with several psychological disorders and comprise a high priority for intervention. However, the low frequency of outbursts presents a challenge for valid measurement. In the present study an informant report behavior diary for measuring temper outbursts was developed and its validity assessed in a case series. Caregivers of 12 individuals with the neurodevelopmental disorder Prader-Willi syndrome (PWS, in which temper outbursts are common) completed a behavior diary over 4 weeks, and a structured interview. Heart rate and movement data were recorded during a sample of the days subject to diary reporting. Individuals with PWS completed self-report ratings of negative emotion experience. Behavior diaries showed high concordance with the component behaviors and duration of temper outbursts reported in structured interviews; but tended to report a lower frequency. For outbursts reported in diaries during physiological recording, heart rate was consistently elevated above a resting state baseline; and was comparable to that recorded during high physical activity. Available self-report data demonstrated correspondence with the diaries but few self-report data were produced. The present results provide critical proof of principle data supporting the concurrent validity of the ecologically valid, resource efficient diaries, which can be exploited in future research.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Recent work of Biedermann and Roendigs has translated Goodwillie's calculus of functors into the language of model categories. Their work focuses on symmetric multilinear functors and the derivative appears only briefly. In this paper we focus on understanding the derivative as a right Quillen functor to a new model category. This is directly analogous to the behaviour of Weiss's derivative in orthogonal calculus. The immediate advantage of this new category is that we obtain a streamlined and more informative proof that the n-homogeneous functors are classified by spectra with an action of the symmetric group on n objects. In a later paper we will use this new model category to give a formal comparison between the orthogonal calculus and Goodwillie's calculus of functors.