46 resultados para first-orderlogic
Resumo:
Abstract This study evaluates the reliability of self-assessment as a measure of computer competence. This evaluation is carried out in response to recent research which has employed self-reported ratings as the sole indicator of students’ computer competence. To evaluate the reliability of self-assessed computer competence, the scores achieved by students in self-assessed computer competence tests are compared with scores achieved in objective tests. The results reveal a statistically significantly over-estimation of computer competence among the students surveyed. Furthermore, reported pre-university computer experience in terms of home and school use and formal IT education does not affect this result. The findings call into question the validity of using self-assessment as a measure of computer competence. More generally, the study also provides an up-to-date picture of self-reported computer usage and IT experience among pre-university students from New Zealand and South-east Asia and contrasts these findings with those from previous research.
Resumo:
CO oxidation on TiO2 supported Au has been studied using density functional theory calculations. Important catalytic roles of the oxide have been identified: (i) CO oxidation occurs at the interface between Au and the oxide with a very small barrier; and (ii) O-2 adsorption at the interface is the key step in the reaction. The physical origin of the oxide promotion effect has been further investigated: The oxide enhances electron transfer from the Au to the antibonding states of O-2, giving rise to (i) strong ionic bonding between the adsorbed O-2, Au, and the Ti cation; and (ii) a significant activation of O-2 towards CO oxidation.
Resumo:
By means of extensive first-principles calculations we studied the ferroelectric phase transition and the associated isotope effect in KH2PO4 (KDP). Our calculations revealed that the spontaneous polarization of the ferroelectric phase is due to electronic charge redistributions and ionic displacements which are a consequence of proton ordering, and not vice versa. The experimentally observed double-peaked proton distribution in the paraelectric phase cannot be explained by a dynamics of only protons. This requires, instead, collective displacements within clusters that include also the heavier ions. These tunneling clusters can explain the recent evidence of tunneling obtained from Compton scattering measurements. The sole effect of mass change upon deuteration is not sufficient to explain the huge isotope effect. Instead, we find that structural modifications deeply connected with the chemistry of the H bonds produce a feedback effect on tunneling that strongly enhances the phenomenon. The resulting influence of the geometric changes on the isotope effect agrees with experimental data from neutron scattering. Calculations under pressure allowed us to analyze the issue of universality in the disappearance of ferroelectricity upon compression. Compressing DKDP so that the distance between the two peaks in the deuteron distribution is the same as for protons in KDP, corresponds to a modification of the underlying double-well potential, which becomes 23 meV shallower. This energy difference is what is required to modify the O-O distance in such a way as to have the same distribution for protons and deuterons. At the high pressures required experimentally, the above feedback mechanism is crucial to explain the magnitude of the geometrical effect.
Resumo:
Ab initio simulations of a single molecule of HCl in liquid dimethyl imidazolium chloride [dmim][Cl] show that the acidic proton exists as a symmetric, linear ClHCl- species. Details of the solvation structure around this molecule are given. The proton-transfer process was investigated by applying a force along the antisymmetric stretch coordinate until the molecule broke. Changes in the free energy and local solvation structure during this process were investigated. In the reaction mechanism identified, a free chloride approaches the proton from the side. As the original ClHCl- distorts and the incoming chloride forms a new bond to the proton, one of the original chlorine atoms is expelled and a new linear molecule is formed.
Resumo:
We report here the first detection of hectometer-size objects by the method of serendipitous stellar occultation. This method consists of recording the diffraction shadow created when an object crosses the observer's line of sight and occults the disk of a background star. One of our detections is most consistent with an object between Saturn and Uranus. The two other diffraction patterns detected are caused by Kuiper Belt objects beyond 100 AU from the Sun and hence are the farthest known objects in the solar system. These detections show that the Kuiper Belt is much more extended than previously believed and that the outer part of the disk could be composed of smaller objects than the inner part. This gives critical clues to understanding the problem of the formation of the outer planets of the solar system.
Resumo:
Fasciola hepatica secretes cathepsin L proteases that facilitate the penetration of the parasite through the tissues of its host, and also participate in functions such as feeding and immune evasion. The major proteases, cathepsin L1 (FheCL1) and cathepsin L2 (FheCL2) are members of a lineage that gave rise to the human cathepsin Ls, Ks and Ss, but while they exhibit similarities in their substrate specificities to these enzymes they differ in having a wider pH range for activity and an enhanced stability at neutral pH. There are presently 13 Fasciola cathepsin L cDNAs deposited in the public databases representing a gene family of at least seven distinct members, although the temporal and spatial expression of each of these members in the developmental stage of F. hepatica remains unclear. Immunolocalisation and in situ hybridisation studies, using antibody and DNA probes, respectively, show that the vast majority of cathepsin L gene expression is carried out in the epithelial cells lining the parasite gut. Within these cells the enzyme is packaged into secretory vesicles that release their contents into the gut lumen for the purpose of degrading ingested host tissue and blood. Liver flukes also express a novel multi-domain cystatin that may be involved in the regulation of cathepsin L activity. Vaccine trials in both sheep and cattle with purified native FheCL1 and FheCL2 have shown that these enzymes can induce protection, ranging from 33 to 79%, to experimental challenge with metacercariae of F. hepatica, and very potent anti-embryonation/hatch rate effects that would block parasite transmission. In this article we review the vaccine trials carried out over the past 8 years, the role of antibody and T cell responses in mediating protection and discuss the prospects of the cathepsin Ls in the development of first generation recombinant liver fluke vaccines. Author Keywords: Helminths; Trematodes; Parasites; Cathepsins; Proteases; Vaccines; Immunology; Biochemistry
Resumo:
First-principles calculations of the Sigma 5(310)[001] symmetric tilt grain boundary in Cu with Bi, Na, and Ag substitutional impurities provide evidence that in the phenomenon of Bi embrittlement of Cu grain boundaries electronic effects do not play a major role; on the contrary, the embrittlement is mostly a structural or "size" effect. Na is predicted to be nearly as good an embrittler as Bi, whereas Ag does not embrittle the boundary in agreement with experiment. While we reject the prevailing view that "electronic" effects (i.e., charge transfer) are responsible for embrittlement, we do not exclude the role of chemistry. However, numerical results show a striking equivalence between the alkali metal Na and the semimetal Bi, small differences being accounted for by their contrasting "size" and "softness" (defined here). In order to separate structural and chemical effects unambiguously if not uniquely, we model the embrittlement process by taking the system of grain boundary and free surfaces through a sequence of precisely defined gedanken processes; each of these representing a putative mechanism. We thereby identify three mechanisms of embrittlement by substitutional impurities, two of which survive in the case of embrittlement or cohesion enhancement by interstitials. Two of the three are purely structural and the third contains both structural and chemical elements that by their very nature cannot be further unraveled. We are able to take the systems we study through each of these stages by explicit computer simulations and assess the contribution of each to the net reduction in intergranular cohesion. The conclusion we reach is that embrittlement by both Bi and Na is almost exclusively structural in origin; that is, the embrittlement is a size effect.