61 resultados para formal verification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: To examine the determinants of formal and informal care utilisation amongst persons with age-related macular degeneration (AMD). DESIGN: Cross-sectional hospital-based study. SETTING: Hospital eye clinic in Northern Ireland. PARTICIPANTS: 284 persons aged >or=50 years. MAIN OUTCOME MEASURES: Participants were questioned about their care, living arrangements, eyesight-related ability to self-care, and eyesight-related need to be more careful whilst undertaking everyday tasks. RESULTS: The percentage of older persons receiving formal and informal care rose with the level of visual impairment. 34.9% and 37.3% of those with no visual impairment received formal and informal care, respectively, compared with 51.6% and 69.9% of those with moderate visual impairment and 55.6% and 88.9% of those with severe visual impairment. Three factors (age, best corrected distance visual acuity in the better eye and living alone) were significant predictors (p

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Intramolecular Heck cyclisation of (E)-vinyl bromides leads to indolizidines, related to pumiliotoxin alkaloids, in which the stereochemistry of the trisubstituted double bond undergoes inversion. A cyclopropyl intermediate, which is believed to be responsible for the double bond inversion, has been intercepted by forcing an 'early' beta-hydride elimination on this species. The relative stereochemistry of this cyclopropyl intermediate determines the regioselectivity of the final beta-hydride elimination. In this case all three beta-hydride eliminations were stereochemically permitted, giving rise to a mixture of three isomeric products, differing in the position of a double bond. (Z)-Vinyl bromides were found to be less reactive than (E)-vinyl bromides, but on cyclisation gave the required conjugated diene, with inversion of the vinyl bromide stereochemistry, as the sole reaction product. This methodology will allow rapid stereoselective access to the diene-based pumiliotoxin alkaloids.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we present a novel approach to person verification by fusing face and lip features. Specifically, the face is modeled by the discriminative common vector and the discrete wavelet transform. Our lip features are simple geometric features based on a lip contour, which can be interpreted as multiple spatial widths and heights from a center of mass. In order to combine these features, we consider two simple fusion strategies: data fusion before training and score fusion after training, working with two different face databases. Fusing them together boosts the performance to achieve an equal error rate as low as 0.4% and 0.28%, respectively, confirming that our approach of fusing lips and face is effective and promising.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Two semianalytical relations [Nature, 1996, 381, 137 and Phys. Rev. Lett. 2001, 87, 245901] predicting dynamical coefficients of simple liquids on the basis of structural properties have been tested by extensive molecular dynamics simulations for an idealized 2:1 model molten salt. In agreement with previous simulation studies, our results support the validity of the relation expressing the self-diffusion coefficient as a Function of the radial distribution functions for all thermodynamic conditions such that the system is in the ionic (ie., fully dissociated) liquid state. Deviations are apparent for high-density samples in the amorphous state and in the low-density, low-temperature range, when ions condense into AB(2) molecules. A similar relation predicting the ionic conductivity is only partially validated by our data. The simulation results, covering 210 distinct thermodynamic states, represent an extended database to tune and validate semianalytical theories of dynamical properties and provide a baseline for the interpretation of properties of more complex systems such as the room-temperature ionic liquids.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Herein we describe our application of the O-directed free radical hydrostannation of disubstituted alkyl-acetylenes (with Ph3SnH and Et3B) to the (+)-pumiliotoxin B total synthesis problem. Specifically, we report on the use of this method in the synthesis of the Overman alkyne 8, and thereby demonstrate the great utility of this process in a complex natural product total synthesis setting for the very first time. We also report here on a new, stereocontrolled, and highly practical enantioselective pathway to Overman's pyrrolidine epoxide partner 9 for 8, which overcomes the previous requirement for use of preparative HPLC to separate the 1:1 mixture of diastereomeric epoxides that was obtained in the original synthesis of 9.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Lysozyme is a naturally occurring enzyme in egg white and has high commercial importance due to its antimicrobial properties. The main objective of this work was to study the growth rate of lysozyme crystals isolated from egg for the first 72 hours and verify the results with McCabe’s constant crystal growth theory. Hanging drop crystallization method was used to form high purity lysozyme crystals from the embryonic stage. To this end, this work differs from an earlier work of Forsythe et al., who used seed crystals in the size range of 10 µm - 40 µm for face growth measurements at different pH values. The maximum crystal size recorded in the present work was 392.86 µm, which is within the typical size range of 50 µm - 500 µm for which constant crystal growth is expected to hold according to McCabe’s ?L law. Electron micrographs (SEM) revealed the structure and dimensions of the crystals while SDS-Page was used to measure the purity of the crystals. The SEM results showed that that lysozyme growth rate was linear and agreed with McCabe’s constant growth theory, producing a growth rate of 1.77 x 10-3 µm .s-1