Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

Nephelometric study of salivary protein–tannin aggregates

Grape seed procyanidins were fractionated through different degrees of polymerisation, and human saliva was purified and separated into two fractions: one was mostly α‐amylase and the other was essentially proline‐rich proteins (PRPs). The interaction of these proteins with the procyanidin compounds was assayed using nephelometry, and the influence of several factors was investigated, such as degree of polymerisation, pH and concentrations of both protein and tannin. The same experiments were performed with bovine serum albumin (BSA). The amount of insoluble aggregates, resulting from the formation of polyphenol–protein aggregates, increased quickly up to a maximum value which thereafter remained practically unchanged. pH was set at 5.0 for all further assays, since it was the nearest value to that encountered in human saliva (pH 5.6–7.9), where proteins were stable and had a maximum ability to bind and precipitate procyanidin oligomers. These proteins were shown to have a strong affinity for procyanidin oligomers and were unable to resolubilise the polyphenol–protein aggregates when present in excess. PRPs required a much lower content to bind all the tannins (400 µg of procyanidin oligomers) than BSA and especially α‐amylase (48, 60 and 132 µg respectively). The procyanidin's ability to bind PRPs, BSA and α‐amylase increased with its average molecular weight. This ability increased regularly for PRPs up to 4500 Da, whereas the ability to bind the globular proteins decreased beyond 3400 Da. © 2001 Society of Chemical Industry     

Burnout, job setting, and self-evaluation among rehabilitation counselors.

Surveyed 38 rehabilitation counselors to investigate the relationship of experienced burnout to self-concept and job setting. Ss completed the Maslach Burnout Inventory and a questionnaire about their work. The emotional exhaustion component of burnout emerged as the key factor in the results. Emotional exhaustion was related to work overload and a perceived lack of control. It was also linked to dissatisfaction with certain aspects of the job. Findings are consistent with previous theorizing and research on burnout by J. Gaines and J. M. Jermier (see record 1984-10923-001) and C. Maslach and S. E. Jackson (see record 1985-24012-001) and underscore the relevance of this phenomenon for the rehabilitation profession. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Characteristics of a NaOH-Activated Blast Furnace Slag Blended with a Fine Particle Silica Waste

Mortars of blast furnace slag blended with a geothermal silica waste at various replacement levels of 0%, 5%, 10%, 15%, and 20% were cured for up to 90 days. The binder was activated by 6 wt% Na₂O equivalent of sodium hydroxide. Lime was added as an activating agent and also to promote pozzolanic reaction with the silica. It was found that the presence of the silica waste increased the reactivity of the cementitious materials, as measured by means of nonevaporable water. The compressive strength was increased in the presence of the silica, except at the highest replacement level of 20%, the optimum silica replacement was that of 5%–10%. The microstructures of blended slag showed less porosity than those of neat slag mortars. The lime was completely consumed after 90 days of hydration.     

Recognizing, assessing, and intervening with problems of professional competence.

Working collaboratively, psychologist educators and trainers at the doctoral, internship, and postdoctoral levels; credentialers; practitioners; and students offer 8 proposals for psychologists to consider in recognizing, assessing, and intervening with problems of professional competence in students and practicing professionals. In the proposals, the authors address the following topics: definitions and categories; preparing the system; self-assessment; remediation; diversity; communication across various levels of the system; confidentiality; and ethical, regulatory, and legal underpinnings. They also propose future directions for the assessment of problems in professional competence in both students and practicing psychologists. (PsycINFO Database Record (c) 2010 APA, all rights reserved)