Modal functions of future tenses in French

The paper disputes two influential claims in the Romance Linguistics literature. The first is that the synthetic future tenses in spoken Western Romance are now rivalled, if not supplanted, as temporal functors by the more recently developed GO futures. The second is that these synthetic futures now have modal rather than temporal meanings in spoken Romance. These claims are seen as reflecting a universal cycle of diachronic change, in which verb forms originally expressing modal (or aspectual) values take on future temporal reference, becoming tenses. The new modal meanings supplant the temporal, which are then taken up by new forms. Challenges to this theory for French are raised on the basis of empirical evidence of two sorts. Positively, future tenses in spoken Romance continue to be used with temporal meaning. Negatively, evidence of modal meaning for these forms is lacking. The evidence comes froma corpora of spoken French, native speaker judgements and verb data from a daily broadsheet. Cumulatively, it points to the reverse of the claims noted above: the synthetic future in spoken French has temporal but little modal meaning.

A hybrid probabilistic criterion for market-based transmission expansion planning

Market-based transmission expansion planning gives information to investors on where is the most cost efficient place to invest and brings benefits to those who invest in this grid. However, both market issue and power system adequacy problems are system planers’ concern. In this paper, a hybrid probabilistic criterion of Expected Economical Loss (EEL) is proposed as an index to evaluate the systems’ overall expected economical losses during system operation in a competitive market. It stands on both investors’ and planner’s point of view and will further improves the traditional reliability cost. By applying EEL, it is possible for system planners to obtain a clear idea regarding the transmission network’s bottleneck and the amount of losses arises from this weak point. Sequentially, it enables planners to assess the worth of providing reliable services. Also, the EEL will contain valuable information for moneymen to undertake their investment. This index could truly reflect the random behaviors of power systems and uncertainties from electricity market. The performance of the EEL index is enhanced by applying Normalized Coefficient of Probability (NCP), so it can be utilized in large real power systems. A numerical example is carried out on IEEE Reliability Test System (RTS), which will show how the EEL can predict the current system bottleneck under future operational conditions and how to use EEL as one of planning objectives to determine future optimal plans. A well-known simulation method, Monte Carlo simulation, is employed to achieve the probabilistic characteristic of electricity market and Genetic Algorithms (GAs) is used as a multi-objective optimization tool.

A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

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.

Quality Assurance Through a Continuous Curriculum Review (CCR) Strategy: Reflections on a Pilot Project

Institutional research can be defined as "the activity in which the research effort of an academic institution is directed at the solution of its own problems and to the enhancement of its own performance" (Woodward, 1993, p. 113). This paper describes and reflects on an attempt at the University of Queensland to address the need for course quality appraisal for improvement. The strategy, Continuous Curriculum Review (CCR) is simply an attempt to trial and promote regular comprehensive data collection for developing 'snapshot' views of whole curricula so that decisions about what to change and what to change first can be made in an empirically defensible and timely manner. The strategy and reporting protocols that were developed are described, and the costs and benefits of engaging in this kind of data gathering exercise for quality assurance and quality enhancement purposes are discussed.

Quality assurance experience with the randomized neuropathic bone pain trial (Trans-Tasman Radiation Oncology Group, 96.05)

Background and purpose: Trans-Tasman Radiation Oncology Group 96.05 is a prospective randomized controlled trial comparing a single 8 Gy with 20 Gy in five fractions of radiotherapy (RT) for neuropathic pain due to bone metastases. This paper summarizes the quality assurance (QA) activities for the first 234 patients (accrual target 270). Materials and methods: Independent audits to assess compliance with eligibility/exclusion criteria and appropriateness of treatment of the index site were conducted after each cohort of approximately 45 consecutive patients. Reported serious adverse events (SAEs) in the form of cord/cauda equina compression or pathological fracture developing at the index site were investigated and presented in batches to the Independent Data Monitoring Committee. Finally, source data verification of the RT prescription page and treatment records was undertaken for each of the first 234 patients to assess compliance with the protocol. Results: Only one patient was found conclusively not to have genuine neuropathic pain, and there were no detected 'geographical misses' with RT fields. The overall rate of detected infringements for other eligibility criteria over five audits (225 patients) was 8% with a dramatic improvement after the first audit. There has at no stage been a statistically significant difference in SAEs by randomization arm. There was a 22% rate of RT protocol variations involving ten of the 14 contributing centres, although the rate of major dose violations (more than +/- 10% from protocol dose) was only 6% with no statistically significant difference by randomization arm (P = 0.44). Conclusions: QA auditing is an essential but time-consuming component of RT trials, including those assessing palliative endpoints. Our experience confirms that all aspects should commence soon after study activation. Crown Copyright (C) 2003 Published by Elsevier Science Ltd. All rights reserved.

Modal characteristics of a flexible beam with multiple distributed actuators

A flexible structure with surface-bonded piezoceramic patches is modelled using Timoshenko beam theory. Exact mode shapes and natural frequencies associated with the flexural motion are computed for various piezoceramic distributed actuator arrangements. The effects of patch placement and of shear on the modal characteristics are demonstrated using a cantilevered beam as an example. Perfect bonding of the piezoceramic to the beam substructure is assumed, and for the purposes of this paper only passive piezoceramic properties are considered. The modelling technique and results obtained in a closed form are intended to assist investigations into the modelling and control of active structures with surface-bonded piezoceramic actuators. (C) 2003 Elsevier Science Ltd. All rights reserved.

Quality assurance of paediatric cardiac surgery: A prospective 6-year analysis

Objective: To audit effective quality assurance methods to monitor outcomes following paediatric cardiac surgery at a single institution. Methods: All patients undergoing cardiac surgery from January 1996 to December 2001 were enrolled prospectively. Patients were stratified by complexity of surgical procedure into four groups, with Category 4 being the most complex procedure. Outcome measures included death, length of admission and morbidity from complications. Results: A total of 1815 patients underwent 1973 surgical procedures. Of these, 1447 (73.3%) were cardiopulmonary bypass procedures, and 543 (27.5%) were more complex (Category 3 and 4) procedures. Median patient age was 3.5 years (range, 1 day-20 years) and patient weight 15.0 kg (range, 900 g to 90 kg). Sixty-six patients (3.6%) died during the study period. Of the procedures in 1996, 22.7% were classified as complex compared with 29.2% of procedures in 2001. The annual surgical mortality ranged from 1.9-4.7% (P=0.20), and when mortality was adjusted for complexity of surgery, there was no significant yearly variation in the mortality rate (P=0.57). Analysis of individual surgeon's results showed no significant difference in the mortality rate by complexity of surgery performed (P=0.90). Mean ventilation times did not change significantly over time (P=0.79). The yearly incidence of significant neurological complications ranged from 0.6% to 4.5% and the incidence of arrhythmias from 4.2% to 8.0%. No difference was detected between the years. Conclusions: Stratifying complexity of surgery proved valuable in monitoring surgical outcomes and detecting differences in performance over time as large subgroups were created for analysis.

Yield criterion of porous materials subjected to complex stress states

Finite-element simulations are used to obtain many thousands of yield points for porous materials with arbitrary void-volume fractions with spherical voids arranged in simple cubic, body-centred cubic and face-centred cubic three-dimensional arrays. Multi-axial stress states are explored. We show that the data may be fitted by a yield function which is similar to the Gurson-Tvergaard-Needleman (GTN) form, but which also depends on the determinant of the stress tensor, and all additional parameters may be expressed in terms of standard GTN-like parameters. The dependence of these parameters on the void-volume fraction is found. (c) 2006 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.