Prosody of tone Sandhi in Vietnamese reduplications

In this paper we take advantage of the segmental control afforded by full and partial Vietnamese reduplication on a constant carrier phrase to obtain acoustic evidence of assymetrical prominence relations (van der Hulst 2005), in support of a hypothesis that Vietnamese reduplications are phonetically right headed and that tone sandhi is a reduction phenomenon occurring on prosodically weak positions (Shih 2005). Acoustic parameters of syllable duration (onset, nucleus and coda), F0 range, F0 contour, vowel intensity, spectral tilt and vowel formant structure are analyzed to determine: (1) which syllable of the two (base or reduplicant) is more prominent and (2) how the tone sandhi forms differ from their full reduplicated counterparts. Comparison of full and partial reduplicant syllables in tone sandhi forms provide additional support for this analysis.

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.

The predicate marker li in Mauritian Creole

There is a morpheme 'li' in Mauritian Creole (MC), which is homophonous with the 3sg pronoun, and which, in the early creole, occurs frequently between the subject and the predicate in affirmative, present tense clauses. I propose that that 'li' may have originated as a resumptive pronoun, co-referential with the subject, but following the grammaticalization of new determiner elements to mark the semantic contrasts of [±definite] and singular vs. plural, 'li' has now grammaticalized into a predicate marker. Its presence is sensitive to both the nature of the predicate, and to the definiteness and specificity features of the subject NP. My analysis is within the framework of Truth Conditional Semantics, where indefinite NPs are analyzed as variables that get introduced into the discourse, and must be bound by an operator to yield a closed proposition, with a truth value. Drawing on a comparison with a cognative morpheme 'i' in Seychellois Creole, I claim that its path to grammaticalization is linked to that of the specificity marking 'la'.

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.

Self-Similarity of Air-Water Flows in Skimming Flows on Stepped Spillways

Skimming flows on stepped spillways are characterised by a significant rate of turbulent dissipation on the chute. Herein an advanced signal processing of traditional conductivity probe signals is developed to provide further details on the turbulent time and length scales. The technique is applied to a 22° stepped chute operating with flow Reynolds numbers between 3.8 and 7.1 E+5. The new correlation analyses yielded a characterisation of large eddies advecting the bubbles. The turbulent length scales were related to the characteristic depth Y90. Some self-similar relationships were observed systematically at both macroscopic and microscopic levels. These included the distributions of void fraction, bubble count rate, interfacial velocity and turbulence level, and turbulence time and length scales. The self-similarity results were significant because they provided a picture general enough to be used to characterise the air-water flow field in prototype spillways.

Air Bubble Entrainment in Hydraulic Jumps: Physical Modelling and Scale Effects

A hydraulic jump is characterised by strong energy dissipation and air entrainment. In the present study, new air-water flow measurements were performed in hydraulic jumps with partially-developed flow conditions in relatively large-size facilities with phase-detection probes. The experiments were conducted with identical Froude numbers, but a range of Reynolds numbers and relative channel widths. The results showed drastic scale effects at small Reynolds numbers in terms of void fraction and bubble count rate distributions. The void fraction distributions implied comparatively greater detrainment at low Reynolds numbers leading to a lesser overall aeration of the jump roller, while dimensionless bubble count rates were drastically lower especially in the mixing layer. The experimental results suggested also that the relative channel width had little effect on the air-water flow properties for identical inflow Froude and Reynolds numbers.

Clustering Process Analysis in a Large-Size Dropshaft and in a Hydraulic Jump

Recent efforts in the characterization of air-water flows properties have included some clustering process analysis. A cluster of bubbles is defined as a group of two or more bubbles, with a distinct separation from other bubbles before and after the cluster. The present paper compares the results of clustering processes two hydraulic structures. That is, a large-size dropshaft and a hydraulic jump in a rectangular horizontal channel. The comparison highlighted some significant differences in clustering production and structures. Both dropshaft and hydraulic jump flows are complex turbulent shear flows, and some clustering index may provide some measure of the bubble-turbulence interactions and associated energy dissipation.

Modeling control objectives for business process compliance

Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasingly important for businesses in light of recent events that led to some of the largest scandals in corporate history. As organizations strive to meet compliance agendas, there is an evident need to provide systematic approaches that assist in the understanding of the interplay between (often conflicting) business and control objectives during business process design. In this paper, our objective is twofold. We will firstly present a research agenda in the space of business process compliance, identifying major technical and organizational challenges. We then tackle a part of the overall problem space, which deals with the effective modeling of control objectives and subsequently their propagation onto business process models. Control objective modeling is proposed through a specialized modal logic based on normative systems theory, and the visualization of control objectives on business process models is achieved procedurally. The proposed approach is demonstrated in the context of a purchase-to-pay scenario.

Compliance aware business process design

Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which stem from various legislative, standard and business partnership sources. Ensuring the compliance to regulations and industrial standards is an increasingly important issue in the design of business processes. In this paper, we advocate that control objectives should be addressed at an early stage, i.e., design time, so as to minimize the problems of runtime compliance checking and consequent violations and penalties. To this aim, we propose supporting mechanisms for business process designers. This paper specifically presents a support method which allows the process designer to quantitatively measure the compliance degree of a given process model against a set of control objectives. This will allow process designers to comparatively assess the compliance degree of their design as well as be better informed on the cost of non-compliance.

Adaptation on the commons

This paper seeks to understand how software systems and organisations co-evolve in practice and how order emerges in the overall environment. Using a metaphor of timetable as a commons, we analyse the introduction of a novel academic scheduling system to demonstrate how Complex Adaptive Systems theory provides insight into the adaptive behaviour of the various actors and how their action is both a response to and a driver of co-evolution within the engagement.

Molecular Characterization, Distribution, and Dynamics of Hepatitis C Virus Genotypes in Blood Donors in Colombia

Hepatitis C virus (HCV) is a frequent cause of acute and chronic hepatitis and a leading cause for cirrhosis of the liver and hepatocellular carcinoma. HCV is classified in six major genotypes and more than 70 subtypes. In Colombian blood banks, serum samples were tested for anti-HCV antibodies using a third-generation ELISA. The aim of this study was to characterize the viral sequences in plasma of 184 volunteer blood donors who attended the ""Banco Nacional de Sangre de la Cruz Roja Colombiana,`` Bogota, Colombia. Three different HCV genomic regions were amplified by nested PCR. The first of these was a segment of 180 bp of the 5`UTR region to confirm the previous diagnosis by ELISA. From those that were positive to the 5`UTR region, two further segments were amplified for genotyping and subtyping by phylogenetic analysis: a segment of 380 bp from the NS5B region; and a segment of 391 bp from the E1 region. The distribution of HCV subtypes was: 1b (82.8%), 1a (5.7%), 2a (5.7%), 2b (2.8%), and 3a (2.8%). By applying Bayesian Markov chain Monte Carlo simulation, it was estimated that HCV-1b was introduced into Bogota around 1950. Also, this subtype spread at an exponential rate between about 1970 to about 1990, after which transmission of HCV was reduced by anti-HCV testing of this population. Among Colombian blood donors, HCV genotype 1b is the most frequent genotype, especially in large urban conglomerates such as Bogota, as is the case in other South American countries. J. Med. Virol. 82: 1889-1898, 2010. (C) 2010 Wiley-Liss, Inc.

THE EFFECT OF DIFFERENT VOLUMES OF ACUTE RESISTANCE EXERCISE ON ELDERLY INDIVIDUALS WITH TREATED HYPERTENSION

Scher, LML, Ferriolli, E, Moriguti, JC, Scher, R, and Lima, NKC. The effect of different volumes of acute resistance exercise on elderly individuals with treated hypertension. J Strength Cond Res 25(4): 1016-1023, 2011-Acute resistance exercise can reduce the blood pressure (BP) of hypertensive subjects. The aim of this study was to evaluate the effect of different volumes of acute low-intensity resistance exercise over the magnitude and the extent of BP changes in treated hypertensive elderly individuals. Sixteen participants (7 men, 9 women), with mean age of 68 6 5 years, performed 3 independent randomized sessions: Control (C: 40 minutes of rest), Exercise 1 (E1: 20 minutes, 1 lap in the circuit), and Exercise 2 (E2: 40 minutes, 2 laps in the circuit) with the intensity of 40% of 1 repetition maximum. Blood pressure was measured before (during 20 minutes) and after each session (every 5 minutes during 60 minutes) using both a mercury sphygmomanometer and a semiautomatic device (Omrom-HEM-431). After that, 24-hour ambulatory blood pressure monitoring was performed (Dyna-MAPA). Blood pressure decreased during the first 60 minutes (systolic: p < 0.01, diastolic: p < 0.05) after all exercise sessions. Only the highest volume session promoted a reduction of mean systolic 24-hour BP and awake BP (p, 0.05) after exercise, with higher diastolic BP during sleep (p, 0.05). Diastolic 24-hour BP and both systolic and diastolic BP during sleep were higher after E1 (p, 0.05). Concluding, acute resistive exercise sessions in a circuit with different volumes reduced BP during the first 60 minutes after exercise in elderly individuals with treated hypertension. However, only the highest volume promoted a reduction of mean 24-hour and awake systolic BP.

Expanded protocol of orofacial myofunctional evaluation with scores: Validity and reliability

Objective: Clinical evaluation of the stomatognathic system is indispensable for the diagnosis of orofacial myofunctional disorders. In order to obtain a more precise diagnosis, the protocol of orofacial myofunctional evaluation with scores (OMES protocol) (Int. J. Pediatr. Otorhinolaryngol. 72 (2008) 367-375) was expanded in terms of number of items and scale amplitude. The proposal of this study is to describe the expanded OMES protocol (OMES-E) for the evaluation of children. Validity of the protocol, reliability of the examiners and agreement between them were analyzed, as also were the sensitivity, specificity and predictive values of the instrument. Methods: The sample consisted of videorecorded images of 50 children, 25 boys (mean age = 8.4 years, SD = 1.8) and 25 girls (mean age = 8.2 years, SD = 1.7) selected at random from 200 samples. Three speech therapists prepared for orofacial myofunctional evaluation participated as examiners (E). The OMES and OMES-E protocols were used for evaluation on different days. E1 evaluated all images, E2 analyzed children with recordings from 1 to 25 and E3 analyzed children with recordings from 26 to 50. The validity of OMES-E was analyzed by comparing the instrument to the OMES protocol using the Pearson correlation test complemented with the split-half reliability test (p < 0.05). The linear weighted Kappa coefficient of agreement (Kw`), the sensitivity, specificity and predictive values and the prevalence of OMD were calculated. Results: There was a statistically significant correlation between the OMES and OMES-E protocols (0.79 > r < 0.94, p < 0.01) and a significant test-retest correlation with the OMES-E (0.75 > r < 0.86, p < 0.01), with a reliability range of 0.86-0.93. The correlation and reliability coefficients between examiners were: E1 x E2 (r = 0.74, 0.84), E1 x E3 (r = 0.70, 0.83) (p < 0.01). Kw` coefficients with moderate and good strength predominated. The OMES-E protocol presented mean sensitivity = 0.91, specificity = 0.77, positive predictive value = 0.87 and negative predictive value = 0.85. The mean prevalence of OMD was 0.58. Conclusion: The OMES-E protocol is valid and reliable for orofacial myofunctional evaluation. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.

Slow crack growth and reliability of dental ceramics

Objective. To determine the slow crack growth (SCG) and Weibull parameters of five dental ceramics: a vitreous porcelain (V), a leucite-based porcelain (D), a leucite-based glass-ceramic (E1), a lithium disilicate glass-ceramic (E2) and a glass-infiltrated alumina composite (IC). Methods. Eighty disks (empty set 12mm x 1.1mm thick) of each material were constructed according to manufacturers` recommendations and polished. The stress corrosion susceptibility coefficient (n) was obtained by dynamic fatigue test, and specimens were tested in biaxial flexure at five stress rates immersed in artificial saliva at 37 degrees C. Weibull parameters were calculated for the 30 specimens tested at 1MPa/s in artificial saliva at 37 degrees C. The 80 specimens were distributed as follows: 10 for each stress rate (10(-2), 10(-1), 10(1), 10(2) MPa/s), 10 for inert strength (10(2) MPa/s, silicon oil) and 30 for 10(0) MPa/s. Fractographic analysis was also performed to investigate the fracture origin. Results. E2 showed the lowest slow crack growth susceptibility coefficient (17.2), followed by D (20.4) and V (26.3). E1 and IC presented the highest n values (30.1 and 31.1, respectively). Porcelain V presented the lowest Weibull modulus (5.2). All other materials showed similar Weibull modulus values, ranging from 9.4 to 11.7. Fractographic analysis indicated that for porcelain D, glass-ceramics E1 and E2, and composite IC crack deflection was the main toughening mechanism. Significance. This study provides a detailed microstructural and slow crack growth characterization of widely used dental ceramics. This is important from a clinical standpoint to assist the clinician in choosing the best ceramic material for each situation as well as predicting its clinical longevity. It also can be helpful in developing new materials for dental prostheses. (c) 2010 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.