887 resultados para radioactive and non-radioactive wastes


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Ramlogan, R.,& Tedd, L. (2006). Use and non-use of electronic information sources by undergraduates at the University of the West Indies. Online Information Review, 30(1), 24-42.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Huelse, M, Barr, D R W, Dudek, P: Cellular Automata and non-static image processing for embodied robot systems on a massively parallel processor array. In: Adamatzky, A et al. (eds) AUTOMATA 2008, Theory and Applications of Cellular Automata. Luniver Press, 2008, pp. 504-510. Sponsorship: EPSRC

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Jackson, R. (2005). Internal War, International Mediation and Non-Official Diplomacy: Lessons from Mozambique. Journal of Conflict Studies. 25(1), pp.153-76 RAE2008

Relevância:

100.00% 100.00%

Publicador:

Resumo:

http://www.archive.org/details/childinthemidst028451mbp

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Two new notions of reduction for terms of the λ-calculus are introduced and the question of whether a λ-term is beta-strongly normalizing is reduced to the question of whether a λ-term is merely normalizing under one of the new notions of reduction. This leads to a new way to prove beta-strong normalization for typed λ-calculi. Instead of the usual semantic proof style based on Girard's "candidats de réductibilité'', termination can be proved using a decreasing metric over a well-founded ordering in a style more common in the field of term rewriting. This new proof method is applied to the simply-typed λ-calculus and the system of intersection types.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This is an addendum to our technical report BUCS TR-94-014 of December 19, 1994. It clarifies some statements, adds information on some related research, includes a comparison with research be de Groote, and fixes two minor mistakes in a proof.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Animals are motivated to choose environmental options that can best satisfy current needs. To explain such choices, this paper introduces the MOTIVATOR (Matching Objects To Internal Values Triggers Option Revaluations) neural model. MOTIVATOR describes cognitiveemotional interactions between higher-order sensory cortices and an evaluative neuraxis composed of the hypothalamus, amygdala, and orbitofrontal cortex. Given a conditioned stimulus (CS), the model amygdala and lateral hypothalamus interact to calculate the expected current value of the subjective outcome that the CS predicts, constrained by the current state of deprivation or satiation. The amygdala relays the expected value information to orbitofrontal cells that receive inputs from anterior inferotemporal cells, and medial orbitofrontal cells that receive inputs from rhinal cortex. The activations of these orbitofrontal cells code the subjective values of objects. These values guide behavioral choices. The model basal ganglia detect errors in CS-specific predictions of the value and timing of rewards. Excitatory inputs from the pedunculopontine nucleus interact with timed inhibitory inputs from model striosomes in the ventral striatum to regulate dopamine burst and dip responses from cells in the substantia nigra pars compacta and ventral tegmental area. Learning in cortical and striatal regions is strongly modulated by dopamine. The model is used to address tasks that examine food-specific satiety, Pavlovian conditioning, reinforcer devaluation, and simultaneous visual discrimination. Model simulations successfully reproduce discharge dynamics of known cell types, including signals that predict saccadic reaction times and CS-dependent changes in systolic blood pressure.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

BACKGROUND: Little is known regarding the types of information African American and non-African American patients with chronic kidney disease (CKD) and their families need to inform renal replacement therapy (RRT) decisions. METHODS: In 20 structured group interviews, we elicited views of African American and non-African American patients with CKD and their families about factors that should be addressed in educational materials informing patients' RRT selection decisions. We asked participants to select factors from a list and obtained their open-ended feedback. RESULTS: Ten groups of patients (5 African American, 5 non-African American; total 68 individuals) and ten groups of family members (5 African American, 5 non-African American; total 62 individuals) participated. Patients and families had a range (none to extensive) of experiences with various RRTs. Patients identified morbidity or mortality, autonomy, treatment delivery, and symptoms as important factors to address. Family members identified similar factors but also cited the effects of RRT decisions on patients' psychological well-being and finances. Views of African American and non-African American participants were largely similar. CONCLUSIONS: Educational resources addressing the influence of RRT selection on patients' morbidity and mortality, autonomy, treatment delivery, and symptoms could help patients and their families select RRT options closely aligned with their values. Including information about the influence of RRT selection on patients' personal relationships and finances could enhance resources' cultural relevance for African Americans.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A regularized algorithm for the recovery of band-limited signals from noisy data is described. The regularization is characterized by a single parameter. Iterative and non-iterative implementations of the algorithm are shown to have useful properties, the former offering the advantage of flexibility and the latter a potential for rapid data processing. Comparative results, using experimental data obtained in laser anemometry studies with a photon correlator, are presented both with and without regularization. © 1983 Taylor & Francis Ltd.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The paper deals with the determination of an optimal schedule for the so-called mixed shop problem when the makespan has to be minimized. In such a problem, some jobs have fixed machine orders (as in the job-shop), while the operations of the other jobs may be processed in arbitrary order (as in the open-shop). We prove binary NP-hardness of the preemptive problem with three machines and three jobs (two jobs have fixed machine orders and one may have an arbitrary machine order). We answer all other remaining open questions on the complexity status of mixed-shop problems with the makespan criterion by presenting different polynomial and pseudopolynomial algorithms.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents a comparison of impact dynamic performance between articulated trains and non-articulated trains. This is carried out by investigation of the characteristics of the two trains types and analysis of their effects on impact dynamics. The analysis shows that the differences in bogie support positions on the carbody and coupling devices lead to differences in several structural and compositional characteristics. These characteristics result in different impact responses for the two types of train and are directly related to their impact stablity. Articulated trains have stiff connection and integral performance in collisions but with less capability for absorbing impact energy between carriages, whereas non-articulated trains show loose connection and scattered performance in collisions but with more options for energy absorber installation between carriages.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Explains the equitable doctrine of subrogation as it applies to tenants, assignees and landlords. Outlines the basic principle of subrogation and examines how the principle affects the legal position of the original tenant, the tenant's assignee, the tenant's surety and the original landlord.