931 resultados para hard proof
Resumo:
There are several proofs now for the stability of Toom's example of a two-dimensional stable cellular automaton and its application to fault-tolerant computation. Simon and Berman simplified and strengthened Toom's original proof: the present report is simplified exposition of their proof.
Resumo:
It is shown that determining whether a quantum computation has a non-zero probability of accepting is at least as hard as the polynomial time hierarchy. This hardness result also applies to determining in general whether a given quantum basis state appears with nonzero amplitude in a superposition, or whether a given quantum bit has positive expectation value at the end of a quantum computation.
Resumo:
It is shown that determining whether a quantum computation has a non-zero probability of accepting is at least as hard as the polynomial time hierarchy. This hardness result also applies to determining in general whether a given quantum basis state appears with nonzero amplitude in a superposition, or whether a given quantum bit has positive expectation value at the end of a quantum computation. This result is achieved by showing that the complexity class NQP of Adleman, Demarrais, and Huang, a quantum analog of NP, is equal to the counting class coC=P.
Resumo:
A novel deposition process named CoBlastTM, based on grit blasting technology, has been used to deposit hydroxyapatite (HA) onto titanium (Ti) metal using a dopant/abrasive regime. The various powders (HA powder, apatitic abrasives) and the treated substrates were characterised for chemical composition, coating coverage, crystallinity and topography including surface roughness. The surface roughness of the HA surfaces could be altered using apatitic abrasives of different particle sizes. Compared to the standard plasma spraying process, the CoBlast surface produced excellent coating adhesion, lower dissolution, higher levels of mechanical and chemical stability in stimulated body fluid (SBF). Enhanced viability of osteoblastic cells was also observed on the CoBlast HA surfaces compared to the microblast and untreated Ti as well as the plasma HA coating. CoBlast offers an alternative to the traditional methods of coating HA implants with added versatility. Apatites substituted with antimicrobial metals can also be deposited to add functionality to HA coatings without cytotoxicty. The potential use of these coatings as an infection preventing strategy for application on hard tissue implants was assessed in vitro and also in vivo. Surface physicochemical properties and morphology were determined in addition to surface cytocompatibility assessments using a MG-63 osteoblast cell line. The antibacterial potential of the immobilised metal ion on the surface and the eluted ion to a lesser extent, contributed to the anticolonising behaviour of the surfaces against a standard bacteria strain (S. aureus) as well as a number of clinically relevant strains (MRSA, MSSA and S. epidermis). The results revealed that the surfaces coated with silver substituted apatites (AgA) outperformed the other apatites examined (apatites loaded with Zn, Sr and both Ag and Sr ions). Assessment of bacterial adherence on coated K-wires following subcutaneous implantation in a nude mouse infection model (S. aureus) for two days demonstrated that the 12% wt surface outperformed the 5% wt AgA coating. Lower inflammatory responses were activated with the insertion of the Ag loaded K-wires with a localised infection at the implantation site noted over the two day study period. These results indicated that the AgA coating on the surface of orthopaedic implants demonstrate good biocompatibility whilst inhibiting bacterial adhesion and colonising of the implant surface.
Resumo:
Gemstone Team AUDIO (Assessing and Understanding Deaf Individuals' Occupations)
Resumo:
En marzo de 2006 han coincidido en nuestras pantallas los estrenos de un largometraje y de una serie televisiva donde las Matemáticas tienen un papel estelar. Se trata de La verdad oculta (singular traducción del título original Proof) y de la serie Numb3rs. En ambos casos hay un alto nivel de producción, con directores y actores famosos, y con una puesta en escena y un montaje cuidados; pero divergen en su enfoque de las matemáticas en relación con el bienestar humano.
Resumo:
Review of: Psicologia Della Prova [Psychology of Proof] edited by C. Cabras, Giuffré, Milano. 1996.
Resumo:
The potential of employing zinc polycarboxylate dental cement as a controlled release material has been studied. Benzalkonium chloride was used as the active ingredient, and incorporated at concentrations of 1, 2 and 3% by mass within the cement. At these levels, there was no observable effect on the speed of setting. Release was followed using an ion-selective electrode to determine changes in chloride ion concentration with time. This technique showed that the additive was released when the cured cement was placed in water, with release occurring by a diffusion mechanism for the first 3 h, but continuing beyond that for up to 1 week. Diffusion coefficients were in the range 5.62 × 10(−6) cm(2) s(−1) (for 1% concentration) to 10.90 × 10(−6) cm(2) s(−1) (for 3% concentration). Up to 3% of the total loading of benzalkonium chloride was released from the zinc polycarboxylate after a week, which is similar to that found in previous studies with glass-ionomer cement. It is concluded that zinc polycarboxylate cement is capable of acting as a useful material for the controlled release of active organic compounds.