Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

Fatigue-related changes in torque output and electromyographic parameters of trunk muscles during isometric axial rotation exertion - An investigation in patients with back pain and in healthy subjects

Study Design. A cross-sectional case-control study. Objectives. To examine the effect of fatigue on torque output as well as electromyographic frequency and amplitude values of trunk muscles during isometric axial rotation exertion in back pain patients and to compare the results with a matched control group. Summary of Background Data. Back pain patients exhibited different activation strategies in trunk muscles during the axial rotation exertions. Fatigue changes of abdominal and back muscles during axial rotation exertion have not been examined in patients with back pain. Methods. Twelve back pain patients and 12 matched controls performed isometric fatiguing axial rotation to both sides at 80% maximum voluntary contraction in a standing position. During the fatiguing exertion, electromyographic changes of rectus abdominis, external oblique, internal oblique, latissimus dorsi, iliocostalis lumborum, and multifidus were recorded bilaterally. The primary torque in the transverse plane and the coupling torques in sagittal and coronal planes were also measured. Results. No difference in the endurance capacity was found between back pain and control groups. At the initial period of the exertion, back pain patients demonstrated a statistical trend (P = 0.058) of greater sagittal coupling torque as well as lower activity of rectus abdominis and multifidus and higher activity in external oblique. During the fatigue process similar changes of coupling torque were demonstrated in both sagittal and coronal planes, but a smaller fatigue rate for right external oblique, increase in median frequency for latissimus dorsi, and lesser increase in activity for back muscles were found in the back pain group compared with the control group. Conclusions. Alterations in electromyographic activation and fatigue rates of abdominal and back muscles demonstrated during the fatigue process provide insights into the muscle dysfunctions in back pain and may help clinicians to devise more rational treatment strategies.

Productivity growth in Australian manufacturing sector: some new evidence

This article examines the productivity performance of Australia's manufacturing sector by decomposing its output growth into input growth, technological progress and gains in technical efficiency. This three-way decomposition is done with an improved version of the stochastic frontier model using eight, two-digit industry level data from 1968/9 to 1994/5. Empirical evidence shows that input growth fueled output growth from 1968/9 to 1973/4, but since then, total factor productivity (TFP) growth has been the main contributor of output growth. While the trend of TFP growth was found to be promising for most industries with positive and increasing technological progress, the negative gains from technical efficiency over time is however cause for concern.

EMG activity of trunk muscles and torque output during isometric axial rotation exertion: a comparison between back pain patients and matched controls

Abnormal patterns of trunk muscle activity could affect the biomechanics of spinal movements and result in back pain. The present study aimed to examine electromyographic (EMG) activity of abdominal and back muscles as well as triaxial torque output during isometric axial rotation at different exertion levels in back pain patients and matched controls. Twelve back pain patients and 12 matched controls performed isometric right and left axial rotation at 100%, 70%, 50%, and 30% maximum voluntary contractions in a standing position. Surface EMG activity of rectus abdominis, external oblique, internal oblique, latissimus dorsi, iliocostalis lumborum and multifidus were recorded bilaterally. The primary torque in the transverse plane and the coupling torques in sagittal and coronal planes were measured. Results showed that there was a trend (P = 0.08) of higher flexion coupling torque during left axial rotation exertion in back pain patients. Higher activity for external oblique and lower activity for multifidus was shown during left axial rotation exertion in back pain group when compared to the control group. In right axial rotation, back pain patients exhibited lesser activity of rectus abdominis at higher levels of exertion when compared with matched controls. These findings demonstrated that decreased activation of one muscle may be compensated by overactivity in other muscles. The reduced levels of activity of the multifidus muscle during axial rotation exertion in back pain patients may indicate that spinal stability could be compromised. Future studies should consider these alternations in recruitment patterns in terms of spinal stability and internal loading. The findings also indicate the importance of training for coordination besides the strengthening of trunk muscles during rehabilitation process. (C) 2002 Orthopaedic Research Society. Published by Elsevier Science Ltd. All rights reserved.

Input-driven Language Learning

Input-driven models provide an explicit and readily testable account of language learning. Although we share Ellis's view that the statistical structure of the linguistic environment is a crucial and, until recently, relatively neglected variable in language learning, we also recognize that the approach makes three assumptions about cognition and language learning that are not universally shared. The three assumptions concern (a) the language learner as an intuitive statistician, (b) the constraints on what constitute relevant surface cues, and (c) the redescription problem faced by any system that seeks to derive abstract grammatical relations from the frequency of co-occurring surface forms and functions. These are significant assumptions that must be established if input-driven models are to gain wider acceptance. We comment on these issues and briefly describe a distributed, instance-based approach that retains the key features of the input-driven account advocated by Ellis but that also addresses shortcomings of the current approaches.

Light and electron microscopic analysis of aquaporin 1-like-immunoreactive amacrine cells in the rat retina

Aquaporin 1 (AQP1; also known as CHIP, a channel-forming integral membrane protein of 28 kDa) is the first protein to be shown to function as a water channel and has been recently shown to be present in the rat retina. We previously showed (Kim et al. [1998] Neurosci Lett 244:52-54) that AQP1-like immunoreactivity is present in a certain population of amacrine cells in the rat retina. This study was conducted to characterize these cells in more detail, With immunocytochemistry using specific antisera against AQP1, whole-mount preparations and 50-mum-thick vibratome sections were examined by light and electron microscopy. These cells were a class of amacrine cells, which had symmetric bistratified dendritic trees ramified in stratum 2 and in the border of strata 3 and 4 of the inner plexiform layer (IPL). Their dendritic field diameters ranged from 90 to 230 mum. Double labeling with antisera against AQP1 and gamma-aminobutyric acid or glycine demonstrated that these AQP1-like-immunoreactive amacrine cells were immunoreactive for glycine. Their most frequent synaptic input was from other amacrine cell processes in both sublaminae a and b of the IPL, followed by a few cone bipolar cells. Their primary targets were other amacrine cells and ganglion cells in both sublaminae a and b of the IPL. In addition, synaptic output Onto bipolar cells was rarely observed in sublamina b of the IPL. Thus, the AQP1 antibody labels a class of glycinergic amacrine cells with small to medium-sized dendritic fields in the rat retina. (C) 2002 Wiley-Liss, Inc.

Mean anisotropy of homogeneous Gaussian random fields and anisotropic norms of linear translation-invariant operators on multidimensional integer lattices

Sensitivity of output of a linear operator to its input can be quantified in various ways. In Control Theory, the input is usually interpreted as disturbance and the output is to be minimized in some sense. In stochastic worst-case design settings, the disturbance is considered random with imprecisely known probability distribution. The prior set of probability measures can be chosen so as to quantify how far the disturbance deviates from the white-noise hypothesis of Linear Quadratic Gaussian control. Such deviation can be measured by the minimal Kullback-Leibler informational divergence from the Gaussian distributions with zero mean and scalar covariance matrices. The resulting anisotropy functional is defined for finite power random vectors. Originally, anisotropy was introduced for directionally generic random vectors as the relative entropy of the normalized vector with respect to the uniform distribution on the unit sphere. The associated a-anisotropic norm of a matrix is then its maximum root mean square or average energy gain with respect to finite power or directionally generic inputs whose anisotropy is bounded above by a≥0. We give a systematic comparison of the anisotropy functionals and the associated norms. These are considered for unboundedly growing fragments of homogeneous Gaussian random fields on multidimensional integer lattice to yield mean anisotropy. Correspondingly, the anisotropic norms of finite matrices are extended to bounded linear translation invariant operators over such fields.

Low input tillage/cropping systems for limited resource areas

Agriculture in limited resource areas is characterized by small farms which an generally too small to adequately support the needs of an average farm family. The farming operation can be described as a low input cropping system with the main energy source being manual labor, draught animals and in some areas hand tractors. These farming systems are the most important contributor to the national economy of many developing countries. The role of tillage is similar in dryland agricultural systems in both the high input (HICS) and low input cropping systems (LICS), however, wet cultivation or puddling is unique to lowland rice-based systems in low input cropping systems. Evidence suggest that tillage may result in marginal increases in crop yield in the short term, however, in the longer term it may be neutral or give rise to yield decreases associated with soil structural degradation. On marginal soils, tillage may be required to prepare suitable seedbeds or to release adequate Nitrogen through mineralization, but in the longer term, however, tillage reduces soil organic matter content, increases soil erodibility and the emission of greenhouse gases. Tillage in low input cropping systems involves a very large proportion of the population and any changes: in current practices such as increased mechanization will have a large social impact such as increased unemployment and increasing feminization of poverty, as mechanization may actually reduce jobs for women. Rapid mechanization is likely to result in failures, but slower change, accompanied by measures to provide alternative rural employment, might be beneficial. Agriculture in limited resource areas must produce the food and fiber needs of their community, and its future depends on the development of sustainable tillage/cropping systems that are suitable for the soil and climatic conditions. These should be based on sound biophysical principles and meet the needs of and he acceptable to the farming communities. Some of the principle requirements for a sustainable system includes the maintenance of soil health, an increase in the rain water use efficiency of the system, increased use of fertilizer and the prevention of erosion. The maintenance of crop residues on the surface is paramount for meeting these requirements, and the competing use of crop residues must be met from other sources. These requirements can be met within a zonal tillage system combined with suitable agroforestry, which will reduce the need for crop residues. It is, however, essential that farmers participate in the development of any new technologies to ensure adoption of the new system. (C) 2001 Elsevier Science B.V. All rights reserved.

Use of a thermodilution catheter to measure core body temperature, central venous pressure and cardiac output during anaesthesia and surgery in the dog

The use of thermodilution and other methods of monitoring in dogs during surgery and critical care was evaluated. Six Greyhounds were anaesthetised and then instrumented by placing a thermodilution catheter into the pulmonary artery via the jugular vein. A catheter in the dorsal pedal artery also permitted direct measurement of arterial pressures. Core body temperature (degreesC) and central venous pressure (mmHg) were measured, while cardiac output (mL/min/kg) and mean arterial pressure (mmHg) were calculated. A mid-line surgical incision was performed and the physiological parameters were monitored for a total of two hours. All physiological parameters generally declined, although significant increases (P<0.05) were noted for cardiac output following surgical incision. Central venous pressure was maintained at approximately 0mmHg by controlling an infusion of sterile saline. Core body temperature decreased from 37.1+/-0.6degreesC (once instrumented) to 36.6+/-0.60degreesC (at the end of the study), despite warming using heating pads. Physiological parameters indicative of patient viability will generally decline during surgery without intervention. This study describes an approach that can be undertaken in veterinary hospitals to accurately monitor vital signs in surgical and critical care patients.

Effect of fatigue on torque output and electromyographic measures of trunk muscles during isometric axial rotation

Objectives: To examine the changes in torque output resulting from fatigue, as well as changes in electromyographic measures of trunk muscles during isometric axial rotation and to compare these changes between directions of axial rotation. Design: Subjects performed fatiguing right and left isometric axial rotation of the trunk at 80% of maximum voluntary contraction while standing upright. Setting: A rehabilitation center. Participants: Twenty-three men with no history of back pain. Interventions: Not applicable. Main Outcome Measures: Surface electromyographic Signals were recorded from 6 trunk muscles bilaterally. The primary torque in the transverse plane and the coupling torques in sagittal and coronal planes were also measured. Results: During the fatiguing axial rotation contraction, coupling torques of both sagittal and coronal planes were slightly decreased and no difference was found between directions of axial rotation. Decreasing median frequency and an increase in electromyographic amplitude were also found in trunk muscles with different degrees of changes in individual muscles. There were significant differences (P

Quantum theory of the far-off-resonance continuous-wave Raman laser: Heisenberg-Langevin approach

We present the quantum theory of the far-off-resonance continuous-wave Raman laser using the Heisenberg-Langevin approach. We show that the simplified quantum Langevin equations for this system are mathematically identical to those of the nondegenerate optical parametric oscillator in the time domain with the following associations: pump pump, Stokes signal, and Raman coherence idler. We derive analytical results for both the steady-state behavior and the time-dependent noise spectra, using standard linearization procedures. In the semiclassical limit, these results match with previous purely semiclassical treatments, which yield excellent agreement with experimental observations. The analytical time-dependent results predict perfect photon statistics conversion from the pump to the Stokes and nonclassical behavior under certain operational conditions.

Matriz de capacita????o modelada por compet??ncias para atuar em programas de educa????o a dist??ncia: uma proposta para as escolas de governo

This study discusses distance learning (DL) as a corporate education strategy in the scope of National Policy on Staff Development. The purpose was to identify, along with managers and specialists of National Network of Schools of Government in Brazil (RNEG), demanded competencies for DL professionals acting in continued education to service public. Part of the research is based in official documents and in related capacity-building initiatives of Schools of Government in the last three years. Through questionnaire sent to managers of institutions of RNEG, we identified existing infrastructure, teams profile, actions developed in DL and training needs. The research allowed to map the critical competencies to work in DL programs and to create a proposal from a Competency-Based Training Matrix for school teams in order to leverage continuing education programs to public servants in three spheres of government. The results revealed the key technological, pedagogical, management and communication skills, as well as the critical activities and content to be included in the training plans. It was found that 88% of institutions have already implemented or are in the process of implementing DL, and the other 12% are deficient in qualified staff to make regulations on hiring personnel or in technology fluency. This corroborates the importance and the contribution of Competency-Based Training Matrix for RNEG

Matriz de aloca????o de recursos financeiros para as unidades acad??micas

A matriz de distribui????o de recursos para as unidades acad??micas promove a transpar??ncia em dois sentidos: por um lado ?? um instrumento que permite a parti????o de recursos de forma mais justa entre as unidades acad??micas da Universidade de Bras??lia; por outro lado, fornece informa????es sobre a destina????o dos recursos e em quais atividades estes foram aplicados

O papel das proteínas da matriz extracelular e das metaloproteinases em carcinomas de cabeça e pescoço: uma atualização bibliográfica

Interações entre células neoplásicas e constituintes da matriz extracelular (MEC) interferem fortemente no desenvolvimento tumoral, incluindo os localizados em cabeça e pescoço, pois influenciam a proliferação e sobrevivência celular, bem como a sua capacidade de migrar do sítio primário para outros tecidos e formar metástases. Essa migração celular é facilitada pela destruição parcial da MEC, a qual é realizada pelas metaloproteinases (MMPs), que representam uma família de mais de vinte endopeptidases, com atividade controlada pela expressão de inibidores específicos (TIMPs). Diversos estudos utilizando-se de marcadores para constituintes da MEC bem como pelas MMPs têm fornecido informações adicionais sobre o diagnóstico e prognóstico em carcinomas de cabeça e pescoço. Nesta revisão consideraremos o papel da MEC e das MMPs na progressão desses tumores, enfatizando que não somente a degradação proteolítica está envolvida neste processo, como também interações entre vários constituintes da MEC fornecem substrato para regulação e crescimento destes tumores.

Matriz Metaloproteinase 2: um importante marcador genético para colesteatomas

Este estudo foi desenvolvido para determinar a presença de MMP2 em colesteatomas humanos e observar se colesteatomas que complicam (invasivos) apresentam uma maior expressão imunohistoquímica de Matriz Metaloproteinase 2 (MMP2). Colesteatomas produzem enzimas que causam erosão óssea, como a MMP2. MATERIAL E MÉTODO: Analisamos a expressão imunohistoquímica de MMP2 em colesteatomas invasivos, comparando-os aos latentes. Um estudo de corte transversal com dezenove lâminas e blocos parafinados de colesteatoma, derivados de mastoidectomias, foram desparafinados e submetidos à técnica imunohistoquímica com anticorpos anti-MMP2. RESULTADOS: Os resultados foram expressos em 0 (tênue), + (leve), ++ (moderado) e +++ (intenso), de acordo com a intensidade da expressão de MMP2. As expressões 0 e + foram denominadas Fraca e as expressões ++ e +++, Forte. Dos 8 colesteatomas invasivos, 7 apresentaram Forte expressão de MMP2 (87,5%). Com relação aos colesteatomas latentes (11), apenas 3 apresentaram Forte expressão de MMP2 (27,3%), com um teste exato de Fisher significante (p= 0,015). CONCLUSÃO: Colesteatomas expressam MMP2 e colesteatomas invasivos expressam MMP2 com maior intensidade, em relação aos latentes.