Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

The Las Campanas/AAT Rich Cluster Survey - II. The environmental dependence of galaxy colours in clusters at z similar to 0.1

We present a photometric investigation of the variation in galaxy colour with environment in 11 X-ray-luminous clusters at 0.07 less than or equal to z less than or equal to 0.16 taken from the Las Campanas/AAT Rich Cluster Survey. We study the properties of the galaxy populations in individual clusters, and take advantage of the homogeneity of the sample to combine the clusters together to investigate weaker trends in the composite sample. We find that modal colours of galaxies lying on the colour-magnitude relation in the clusters become bluer by d(B - R)/dr(p) = -0.022 +/- 0.004 from the cluster core out to a projected radius of r(p) = 6 Mpc, further out in radius than any previous study. We also examine the variation in modal galaxy colour with local galaxy density, 2, for galaxies lying close to the colour-magnitude relation, and find that the median colour shifts bluewards by d(B - R)/d log(10)(Sigma) = -0.076 +/- 0.009 with decreasing local density across three orders of magnitude. We show that the position of the red envelope of galaxies in the colour-magnitude relation does not vary as a function of projected radius or density within the clusters, suggesting that the change in the modal colour results from an increasing fraction of bluer galaxies within the colour-magnitude relation, rather than a change in the colours of the whole population. We show that this shift in the colour-magnitude relations with projected radius and local density is greater than that expected from the changing morphological mix based on the local morphology-density relation. We therefore conclude that we are seeing a real change in the properties of galaxies on the colour-magnitude relation in the outskirts of clusters. The simplest interpretation of this result (and similar constraints in local clusters) is that an increasing fraction of galaxies in the lower density regions at large radii within clusters exhibit signatures of star formation in the recent past, signatures which are not seen in the evolved galaxies in the highest density regions.

A medial to lateral shift in premovement cortical activity in hemi-Parkinson's disease: Studies of event-related potentials and whole-scalp magneto encephalography

Cortical activity associated with voluntary movement is shifted from medial to lateral premotor areas in Parkinson's disease. This occurs bilaterally, even for unilateral movements. We have used both EEG and MEG to further investigate medial and lateral premotor activity in patients with hemi-Parkinson's disease, in whom basal ganglia impairment is most pronounced in one hemisphere. The CNV, recorded from 21 scalp positions in a Go/NoGo task, was maximal over central medial regions in control subjects. For hemi-Parkinson's disease subjects, activity was shifted more frontally, reduced in the midline and lateralised towards the side of greatest basal ganglia impairment. With 143 channel whole-scalp magneto encephalography (MEG) we are further examining asymmetries in supplementary motor/premotor cortical activity prior to self-paced voluntary movement. In preliminary results, one hemi-Parkinson's disease patient with predominantly left-side symptoms showed strong medial activity consistent with a dominant source in the left supplementary motor area (SMA). Three patients showed little medial activity, but early bilateral sources within lateral premotor cortex. Results suggest greater involvement of lateral premotor rather than the SMA prior to movement in Parkinson's disease and provide evidence for asymmetric function of the SMA in hemi- Parkinson's disease, with reduced activity on the side of greatest basal ganglia deficit.

Effect of the Bloch-Siegert shift in a strongly driven transition: Asymmetric Autler-Townes profile

Under the conditions of the rotating wave approximation (RWA), a transition strongly driven by a resonant oscillating field displays the well known symmetric Autler-Townes doublet. However, if the counter-rotating component, neglected in the RWA, is taken into account, the Bloch-Siegert shift gives rise to an Autler-Townes doublet of unequal intensity even in the case of a resonant driving field. This effect is investigated theoretically in a V-shaped three-level double-resonance configuration and the results are presented in this paper. An interesting observation is that the level of asymmetry not only depends on the driving-field intensity but also on the characteristics of the driven system including relaxation rates and equilibrium population distributions.

Optimal quantum measurements for phase-shift estimation in optical interferometry

Quantum information theory, applied to optical interferometry, yields a 1/n scaling of phase uncertainty Delta phi independent of the applied phase shift phi, where n is the number of photons in the interferometer. This 1/n scaling is achieved provided that the output state is subjected to an optimal phase measurement. We establish this scaling law for both passive (linear) and active (nonlinear) interferometers and identify the coefficient of proportionality. Whereas a highly nonclassical state is required to achieve optimal scaling for passive interferometry, a classical input state yields a 1/n scaling of phase uncertainty for active interferometry.

Experimental investigation of liquid flow shift due to gas cross flow in non-wetted packed beds

An experimental study has been carried out for the gas-liquid two-phase flow in a packed bed simulating conditions of the gas and liquid flows in the lower part of blast furnace. The localised liquid flow phenomenon in presence of gas cross flow, which usually occurs around the cohesive zone and raceway in blast furnace, was investigated in detail. Such liquid flow is characterised in terms of liquid shift distance or liquid shift angle that can effectively be measured by the experiments involved in the current study. It is found that liquid shift angle does not significantly increase or decrease with different packing depth. This finding supports the hypothesis of the force balance model where a vectorial relationship among acting forces, i.e. gas drag force, gravitational force and solid-liquid friction force, and liquid shift angle does exist. Liquid shift angle is inversely proportional to particle size and liquid density, and proportional to square of gas superficial velocity, but is almost independent on liquid flowrate and liquid viscosity. The gas-liquid drag coefficient, an important aspect for quantifying the interaction between gas and liquid flows, was conceptually modified based on the discrete feature of liquid flow through a packed bed and evaluated by the combined theoretical and experimental investigation. Experimental measurements suggest that the gas-liquid drag coefficient is approximately a constant (C-DG(')=5.4+/-1.0) and is independent on liquid properties, gas velocity and packing structure. The result shows a good agreement with previous experimental data and prediction of the existing liquid flow model.

Quality of life, life satisfaction and happiness in shift- and non-shiftworkers

OBJECTIVE: To investigate the quality of life, life satisfaction, happiness and demands of work in workers with different work schedules. METHODS: The survey was carried out on professional workers in social care. Some were shiftworkers whose schedule included night shifts (N=311), some were shiftworkers without night shifts (N=207) and some were non-shiftworkers (N=1,210). Surveys were mailed and the response rate was 86%. For the purpose of this study several variables were selected from the Survey: The Quality of Life Profile, which measures importance, satisfaction, control and opportunities in nine domains of life plus measures of happiness, life satisfaction and demands of work. RESULTS: While both groups of shiftworkers, compared to non-shiftworkers, reported needing more physical effort to complete their work, and reported 'being' more physically tired, no differences were found in reports of overall happiness, life satisfaction or total quality of life. However, night-shiftworkers reported greater percentage of time unhappy than the other two groups of workers. In analyses of the quality of life, night-shiftworkers were less satisfied with domains of spiritual 'being' and physical and community 'belonging' than day-shiftworkers and non-shiftworkers. They also reported having fewer opportunities to improve their physical 'being', leisure, and personal growth than the other two groups. CONCLUSIONS: Quality of life in specific domains in night-shiftworkers was rated worse than in other groups of workers. Domain-based quality of life assessment gives more information regarding the particular needs of workers than overall or global measures of well-being.

Can varying the number of teams in a shift schedule constitute a preventive strategy?

OBJECTIVE: The study examines the implications for shiftworkers of applying different numbers of teams in the organization of shiftwork. METHODS: The participating operators came from five different companies applying continuous shift rotation systems. The companies shared the same product organization and a common corporate culture belonging to the same multinational company. Each company had a shift system consisting of four, five or six teams, with the proportion of shifts outside day work decreasing as the number of teams increased. Questionnaire and documentary data were used as data sources. RESULTS: Operators in systems with additional teams had more daywork but also more irregular working hours due to both overtime and schedule changes. Operators using six teams used fewer social compensation strategies. Operators in four teams were most satisfied with their work hours. Satisfaction with the time available for various social activities outside work varied inconsistently between the groups. CONCLUSIONS: In rotating systems the application of more teams reduces the number of shifts outside day work. This apparent improvement for shiftworkers was counteracted by a concomitant irregularity produced by greater organizational requirements for flexibility. The balance of this interaction was found to have a critical impact on employees.

Conflicts between employee preferences and ergonomic recommendations in shift scheduling: regulation based on consent is not sufficient

OBJECTIVE: Contribution to the discussion of the role of participation/consent of employees in working hours regulation. METHODS: Exploratory analysis of conflicts between preferences of employees and ergonomic recommendations in shift scheduling by analysing a large number of participative shift scheduling projects. RESULTS: The analysis showed that very often the pursuit of higher income played the major role in the decision making process of employees and employees preferred working hours in conflict with health and safety principles. CONCLUSIONS: First, the consent of employees or the works council alone does not ensure ergonomically sound schedules. Besides consent, risk assessment procedures seem to be a promising but difficult approach. Secondly, more research is necessary to check the applicability of recommendations under various settings, to support the risk assessment processes and to improve regulatory approaches to working hours.

After Bologna: does the shift in structure bring forth a shift in a attitude?

With this case-study, we (i) intend to show how a semester project on creating a Multimedia CV could, to some extent, help Portuguese final-year students develop some generic competences, change their attitude towards the challenge of "How to Apply fro a Job" and increase their self-marketing strategies, creativity and entrepreneurship cannot answer the question of the paper, but intend onlu to raise it fot further and better studies now that Bologna design is implementes in almost all HEIs Europe.

Modelação e monitorização do comportamento dinâmico de barragens abóbada: identificação modal automática

Trabalho Final de Mestrado elaborado no Laboratório de Engenharia Civil (LNEC) para obtenção do grau de Mestre em Engenharia Civil pelo Instituto Superior de Engenharia de Lisboa no âmbito do protocolo de cooperação entre o ISEL e o LNEC

Identificação modal e simulação da resposta sísmica de barragens abóbada

Trabalho Final de Mestrado elaborado no Laboratório Nacional de Engenharia Civil (LNEC) para a obtenção do grau de Mestre em Engenharia Civil pelo Instituto Superior de Engenharia de Lisboa no âmbito do protocolo de cooperação ente o ISEL e o LNEC

Effects of irregular-shift work and physical activity on cardiovascular risk factors in truck drivers

OBJECTIVE: To analyze the putative effect of type of shift and its interaction with leisure-time physical activity on cardiovascular risk factors in truck drivers.METHODS: A cross-sectional study was undertaken on 57 male truck drivers working at a transportation company, of whom 31 worked irregular shifts and 26 worked on the day-shift. Participants recorded their physical activity using the International Physical Activity Questionnaire along with measurements of blood pressure, body mass index and waist-hip ratio. Participants also provided a fasting blood sample for analysis of lipid-related outcomes. Data were analyzed using a factorial model which was covariate-controlled for age, smoking, work demand, control at work and social support.RESULTS: Most of the irregular-shift and day-shift workers worked more than 8 hours per day (67.7% and 73.1%, respectively). The mean duration of experience working the irregular schedule was 15.7 years. Day-shift workers had never engaged in irregular-shift work and had been working as a truck driver for 10.8 years on average. The irregular-shift drivers had lower work demand but less control compared to day-shift drivers (p < 0.05). Moderately-active irregular-shift workers had higher systolic and diastolic arterial pressures (143.7 and 93.2 mmHg, respectively) than moderately-active day-shift workers (116 and 73.3 mmHg, respectively) (p < 0.05) as well as higher total cholesterol concentrations (232.1 and 145 mg/dl, respectively) (p = 0.01). Irrespective of their physical activity, irregular-shift drivers had higher total cholesterol and LDL-cholesterol concentrations (211.8 and 135.7 mg/dl, respectively) than day-shift workers (161.9 and 96.7 mg/dl, respectively (ANCOVA, p < 0.05).CONCLUSIONS: Truck drivers are exposed to cardiovascular risk factors due to the characteristics of the job, such as high work demand, long working hours and time in this profession, regardless of shift type or leisure-time physical activity.

Observação e modelação do comportamento dinâmico do viaduto do Corgo: utilização integrada de modelos de identificação modal e modelos de elementos finitos de barra

Trabalho Final de Mestrado elaborado no Laboratório Nacional de Engenharia Civil (LNEC) para a obtenção do grau de Mestre em Engenharia Civil pelo Instituto Superior de Engenharia de Lisboa no âmbito do protocolo de Cooperação entre o ISEL e o LNEC