A Declarative Approach to Network Device Configuration Correctness

Configuration Logic (CL) is a formal language that allows a network engineer to express constraints in terms of the actual parameters found in the configuration of network devices. We present an efficient algorithm that can automatically check a pool of devices for conformance to a set of CL constraints; moreover, this algorithm can point to the part of the configuration responsible for the error when a constraint is violated. Contrary to other validation approaches that require dumping the configuration of the whole network to a central location in order to be verified, we also present an algorithm that analyzes the correct formulas and greatly helps reduce the amount of data that need to be transferred to that central location, pushing as much of the evaluation of the formula locally on each device. The procedure is also backwards-compatible, in such a way that a device that does not (or only partially) supports a local evaluation may simply return a subset or all of its configuration. These capabilities have been integrated into a network management tool called ValidMaker.     

The effects of irrelevant stimuli: 1. The time course of stimulus–stimulus and stimulus–response consistency effects with Stroop-like stimuli, Simon-like tasks, and their factorial combinations.

[Correction Notice: An erratum for this article was reported in Vol 36(3) of Journal of Experimental Psychology: Human Perception and Performance (see record 2010-10162-008). A key reference for coauthor Gregory T. Stevens’s PhD dissertation was omitted and appears in the correction.] The effects of Simon- and Stroop-like stimuli are examined in isolation and in factorial combinations with different delays between the presentation of the irrelevant and the relevant stimuli. The effects of irrelevant stimuli have different time courses depending on whether they overlap with the relevant stimulus (stimulus-stimulus overlap, Dimensional Overlap [DO] Type 4) or with the response (stimulus-response overlap, DO Type 3). A new, computational, parallel distributed processing (PDP)-type model, DO'97, is presented that is based on the original DO model (S. Kornblum, 1994; S. Kornblum, T. Hasbroucq, & A. Osman, 1990), and it postulates a nonmonotone irrelevant stimulus activation function in addition to 2 temporally ordered, serial, nonindependent stages: a stimulus processing stage and a response production stage. DO'97 is able to simulate the temporal dynamic characteristics of the processes, with good fits to the empirical data of this study and other published studies, at the level of means, variances, and distributional plots. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Carriage of multiresistant Streptococcus pneumoniae among children attending day-care centres in the Stockholm area

An enforced treatment and institutionalization of psychiatric patients are implying a deep cut in the personal rights and freedom of these people. To prevent an abuse of psychiatry as a federal instrument of power and for the protection of all participants (patients and psychiatry personnel) a strict obeyance of federal rules and regulation required. Following to those aspects it is possible to minimate the uncertainty and retention of non-experienced doctors in psychiatry opposite the classical conflict concerning mental cruelty.     

Triptorelin acetate administration in early pregnancy: case reports and review of the literature

OBJECTIVE: The report estimates the treatment costs, cost-offset effects, and cost-effectiveness of Collaborative Care of depressive illness in primary care. STUDY DESIGN: Treatment costs, cost-offset effects, and cost-effectiveness were assessed in two randomized, controlled trials. In the first randomized trail (N = 217), consulting psychiatrists provide enhanced management of pharmacotherapy and brief psychoeducational interventions to enhance adherence. In the second randomized trial (N = 153). Collaborative Care was implemented through brief cognitive-behavioral therapy and enhanced patient education. Consulting psychologist provided brief psychotherapy supplemented by educational materials and enhanced pharmacotherapy management. RESULTS: Collaborative Care increased the costs of treating depression largely because of the extra visits required to provide the interventions. There was a modest cost offset due to reduced use of specialty mental health services among Collaborative Care patients, but costs of ambulatory medical care services did not differ significantly between the intervention and control groups. Among patients with major depression there was a modest increase in cost-effectiveness. The cost per patient successfully treated was lower for Collaborative Care than for Usual Care patients. For patients with minor depression. Collaborative Care was more costly and not more cost-effective than Usual Care. CONCLUSIONS: Collaborative Care increased depression treatment costs and improved the cost-effectiveness of treatment for patients with major depression. A cost offset in specialty mental health costs, but not medical care costs, was observed. Collaborative Care may provide a means of increasing the value of treatment services for major depression.     

Radiation research in psychology: An analysis of techniques in maze experimentation.

The Lashley III maze has been frequently used in studying the effects of radiation on rats because it has been efficient in showing differential effects upon learning as related to amount of cortical insult. Although results have been remarkably consistent, an analysis of methodological procedures reveals a considerable variation. The need for standardizing apparatus and procedures is discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The determination of soap in refined vegetable oil using the flame photometer

Summary A method has been developed for the determination of sodium soap as sodium in refined vegetable oil. The oil is extracted with hydrochloric acid, and the sodium is determined in the aqueous extract by using the flame photometer.     

The power law relationship between citation impact and multi-authorship patterns in articles in Information Science & Library Science journals

The aim of this paper is to extend the conversation about the correlation between collaboration and citation impact in articles in Information Science & Library Science journals by analyzing this correlation’s behavior using a power scaling law approach. 28,131 articles that received 215,693 citations were analyzed. The number of these articles that were published through collaboration accounts for 69%. In general, the scaling exponent of multi-authored articles, both international and domestic, increases over time while the exponent of single-authored papers decreases. The citation impact and collaboration patterns exhibit a power law correlation with a scaling exponent of 1.34 ± 0.02. Citations to multi-authored articles increased \(2^{1.34}\) or 2.53 times each time the number of multi-authored papers doubled. The Matthew Effect is stronger for multi-authored papers than for single-authored. The scaling exponent for the power law relationship of domestic multi-authored papers was 1.35 ± 0.02. The citations to domestic multi-authored articles increased \(2^{1.35}\) or 2.55 times each time the number of domestic multi-authored articles doubled. Contrary to previous studies we found that the Matthew Effect is stronger for domestic multi-authored papers than for international multi-authored ones.