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.     

Are marron,Cherax tenuimanus (Crustacea: Decapoda), populations in irrigation reservoirs habitat limited? A trial using artificial habitats

Many valleys in Western Australia have been dammed to provide irrigation and potable water. To minimize the risks of outlet blockages, basins have been cleared of vegetation and rocky outcrops during construction. As a result, dam basins contain limited numbers of aquatic habitats, being dominated by sandy and muddy substrata. Nonetheless, endemic crayfishes (especially marron, Cherax tenuimanus) and three introduced species of fishes support large recreational fisheries in irrigation reservoirs. Recently, it has been shown that Perca fluviatilis (red‐fin perch) imposes an extremely high mortality on C. tenuimanus in reservoirs, with the result that marron populations might be below reservoir‐carrying capacity. To test this hypothesis, three types of artificial habitats (pipes, tiles, mesh) that mimic natural habitat types were placed into a reservoir and their use by C. tenuimanus was assessed. As C. tenuimanus is an annual brooder, releasing young during November and December, the effects of artificial habitats on biomass concentration and productivity can be differentiated. The study results showed that C. tenuimanus rapidly populated artificial habitats (concentration effects). Small, newly recruited C. tenuimanus also utilized the pipe and tile habitats (productivity effects). The addition of these types of habitats increased the suitability of the reservoir for the studied C. tenuimanus population, increasing productivity, probably via reduction of teleost predation. The increased productivity of the C. tenuimanus population might, in turn, increase the productivity and sustainability of the recreational marron fishery. Other aquatic species, including a biofilm community, also utilized the artificial habitats, increasing the species richness in the dam. Due to the success of the current study, large artificial habitats have been installed into two irrigation reservoirs in order to increase recreational marron fishing and conservation values.     

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)     

Very broad reflection bandwidth (44 nm) chirped fibre gratings andnarrow bandpass filters produced by the use of an amplitude mask

Chirped gratings with very broad reflection bandwidths up to 44 nm and high reflectivity have been produced holographically in boron-codoped and standard telecommunications fibres which have been hydrogen-soaked. A 2 nm wide transmission band has been produced within the broad reflection band by use of an amplitude mask during grating exposure     

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.