Reasoning about timeouts

In real-time programming a timeout mechanism allows exceptional behaviour, such as a lack of response, to be handled effectively, while not overly affecting the programming for the normal case. For. example, in a pump controller if the water level has gone below the minimum level and the pump is on and hence pumping in more water, then the water level should rise above the minimum level within a specified time. If not, there is a fault in the system and it should be shut down and an alarm raised. Such a situation can be handled by normal case code that determines when the level has risen above the minimum, plus a timeout case handling the situation when the specified time to reach the minimum has passed. In this paper we introduce a timeout mechanism, give it a formal definition in terms of more basic real-time commands, develop a refinement law for introducing a timeout clause to implement a specification, and give an example of using the law to introduce a timeout. The framework used is a machine-independent real-time programming language, which makes use of a deadline command to represent timing constraints in a machine-independent fashion. This allows a more abstract approach to handling timeouts.

Reasoning about deadlines in concurrent real-time programs

We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machine-dependent task. The latter takes into account the execution times of the program on a particular machine. Therefore, our goal is to make the machine-dependent phase of the analysis as simple as possible. We succeed in the sense that the machine-dependent phase remains the same as in the analysis of sequential programs. We shift the complexity introduced by concurrency completely to the machine-independent phase.

Plant ecology of lowland Alnus Glutinosa woodlands:The management implications of species composition, requirements and distribution

Wet woodlands have been recognised as a priority habitat and have featured in the UK BAP since 1994. Although this has been acknowledged in a number of UK policies and guidelines, there is little information relating to their detailed ecology and management. This research, focusing on lowland Alnus glutinosa woodlands, aimed to address this data paucity through the analysis of species requirements and to develop a methodology to guide appropriate management for this habitat for the benefit of wildlife. To achieve these aims data were collected from 64 lowland Alnus glutinosa woodlands and a review of the literature was undertaken to identify species associated with the target habitat. The groundflora species found to be associated with lowland Alnus glutinosa woodland were assessed in relation to their optimal environmental conditions (Ellenberg indicator values) and survival strategies (Grime CSR-Strategy) to determine the characteristics (Characters of a Habitat; CoaHs) and range of intra-site conditions (Niches of a Habitat; NoaH). The methodologies, using CSR and Ellenberg indicator values in combination, were developed to determine NoaHs and were tested both quantitatively and qualitatively at different lowland Alnus glutinosa sites. The existence of CoaHs and NoaHs in actual sites was verified by detailed quadrat data gathered at three Alnus glutinosa woodlands at Stonebridge Meadows, Warwickshire, UK and analysed using TWINSPAN and DCA ordination. The CoaHs and NoaHs and their component species were confirmed to have the potential to occur in a particular woodland. Following a literature search relating to the management of small wet woodlands within the UK, in conjunction with the current research, broad principles and strategies were identified for the management of lowland Alnus glutinosa woodland. Using the groundflora composition, an innovative procedure is developed and described for identifying the potential variation within a particular site and determining its appropriate management. Case studies were undertaken on distinct woodlands and the methodology proved effective.

Formant-frequency variation and its effects on across-formant grouping in speech perception

How speech is separated perceptually from other speech remains poorly understood. In a series of experiments, perceptual organisation was probed by presenting three-formant (F1+F2+F3) analogues of target sentences dichotically, together with a competitor for F2 (F2C), or for F2+F3, which listeners must reject to optimise recognition. To control for energetic masking, the competitor was always presented in the opposite ear to the corresponding target formant(s). Sine-wave speech was used initially, and different versions of F2C were derived from F2 using separate manipulations of its amplitude and frequency contours. F2Cs with time-varying frequency contours were highly effective competitors, whatever their amplitude characteristics, whereas constant-frequency F2Cs were ineffective. Subsequent studies used synthetic-formant speech to explore the effects of manipulating the rate and depth of formant-frequency change in the competitor. Competitor efficacy was not tuned to the rate of formant-frequency variation in the target sentences; rather, the reduction in intelligibility increased with competitor rate relative to the rate for the target sentences. Therefore, differences in speech rate may not be a useful cue for separating the speech of concurrent talkers. Effects of competitors whose depth of formant-frequency variation was scaled by a range of factors were explored using competitors derived either by inverting the frequency contour of F2 about its geometric mean (plausibly speech-like pattern) or by using a regular and arbitrary frequency contour (triangle wave, not plausibly speech-like) matched to the average rate and depth of variation for the inverted F2C. Competitor efficacy depended on the overall depth of frequency variation, not depth relative to that for the other formants. Furthermore, the triangle-wave competitors were as effective as their more speech-like counterparts. Overall, the results suggest that formant-frequency variation is critical for the across-frequency grouping of formants but that this grouping does not depend on speech-specific constraints.

Formant-Frequency Variation and Informational Masking of Speech by Extraneous Formants : Evidence Against Dynamic and Speech-Specific Acoustical Constraints

How speech is separated perceptually from other speech remains poorly understood. Recent research indicates that the ability of an extraneous formant to impair intelligibility depends on the variation of its frequency contour. This study explored the effects of manipulating the depth and pattern of that variation. Three formants (F1+F2+F3) constituting synthetic analogues of natural sentences were distributed across the 2 ears, together with a competitor for F2 (F2C) that listeners must reject to optimize recognition (left = F1+F2C; right = F2+F3). The frequency contours of F1 − F3 were each scaled to 50% of their natural depth, with little effect on intelligibility. Competitors were created either by inverting the frequency contour of F2 about its geometric mean (a plausibly speech-like pattern) or using a regular and arbitrary frequency contour (triangle wave, not plausibly speech-like) matched to the average rate and depth of variation for the inverted F2C. Adding a competitor typically reduced intelligibility; this reduction depended on the depth of F2C variation, being greatest for 100%-depth, intermediate for 50%-depth, and least for 0%-depth (constant) F2Cs. This suggests that competitor impact depends on overall depth of frequency variation, not depth relative to that for the target formants. The absence of tuning (i.e., no minimum in intelligibility for the 50% case) suggests that the ability to reject an extraneous formant does not depend on similarity in the depth of formant-frequency variation. Furthermore, triangle-wave competitors were as effective as their more speech-like counterparts, suggesting that the selection of formants from the ensemble also does not depend on speech-specific constraints.

Formant-frequency variation and informational masking of speech by extraneous formants:evidence against dynamic and speech-specific acoustical constraints

How speech is separated perceptually from other speech remains poorly understood. Recent research indicates that the ability of an extraneous formant to impair intelligibility depends on the variation of its frequency contour. This study explored the effects of manipulating the depth and pattern of that variation. Three formants (F1+F2+F3) constituting synthetic analogues of natural sentences were distributed across the 2 ears, together with a competitor for F2 (F2C) that listeners must reject to optimize recognition (left = F1+F2C; right = F2+F3). The frequency contours of F1 - F3 were each scaled to 50% of their natural depth, with little effect on intelligibility. Competitors were created either by inverting the frequency contour of F2 about its geometric mean (a plausibly speech-like pattern) or using a regular and arbitrary frequency contour (triangle wave, not plausibly speech-like) matched to the average rate and depth of variation for the inverted F2C. Adding a competitor typically reduced intelligibility; this reduction depended on the depth of F2C variation, being greatest for 100%-depth, intermediate for 50%-depth, and least for 0%-depth (constant) F2Cs. This suggests that competitor impact depends on overall depth of frequency variation, not depth relative to that for the target formants. The absence of tuning (i.e., no minimum in intelligibility for the 50% case) suggests that the ability to reject an extraneous formant does not depend on similarity in the depth of formant-frequency variation. Furthermore, triangle-wave competitors were as effective as their more speech-like counterparts, suggesting that the selection of formants from the ensemble also does not depend on speech-specific constraints. © 2014 The Author(s).

Formant-frequency variation and its effects on across-formant grouping in speech perception

How speech is separated perceptually from other speech remains poorly understood. In a series of experiments, perceptual organisation was probed by presenting three-formant (F1+F2+F3) analogues of target sentences dichotically, together with a competitor for F2 (F2C), or for F2+F3, which listeners must reject to optimise recognition. To control for energetic masking, the competitor was always presented in the opposite ear to the corresponding target formant(s). Sine-wave speech was used initially, and different versions of F2C were derived from F2 using separate manipulations of its amplitude and frequency contours. F2Cs with time-varying frequency contours were highly effective competitors, whatever their amplitude characteristics, whereas constant-frequency F2Cs were ineffective. Subsequent studies used synthetic-formant speech to explore the effects of manipulating the rate and depth of formant-frequency change in the competitor. Competitor efficacy was not tuned to the rate of formant-frequency variation in the target sentences; rather, the reduction in intelligibility increased with competitor rate relative to the rate for the target sentences. Therefore, differences in speech rate may not be a useful cue for separating the speech of concurrent talkers. Effects of competitors whose depth of formant-frequency variation was scaled by a range of factors were explored using competitors derived either by inverting the frequency contour of F2 about its geometric mean (plausibly speech-like pattern) or by using a regular and arbitrary frequency contour (triangle wave, not plausibly speech-like) matched to the average rate and depth of variation for the inverted F2C. Competitor efficacy depended on the overall depth of frequency variation, not depth relative to that for the other formants. Furthermore, the triangle-wave competitors were as effective as their more speech-like counterparts. Overall, the results suggest that formant-frequency variation is critical for the across-frequency grouping of formants but that this grouping does not depend on speech-specific constraints. © Springer Science+Business Media New York 2013.

Taxonomy and distribution of taxa in the genus Gomphonema from the Florida Everglades, U.S.A.

Located at a subtropical latitude, the expansive Florida Everglades contains a mixture of tropical and temperate diatom taxa, as well as a unique flora adapted to the calcareous, often excessively hot, seasonally flooded wetland conditions. This flora has been poorly documented taxonomically, although diatoms are recognized as important indicators of environmental change in this threatened ecosystem. Gomphonema is a dominant genus in the freshwater marsh, and is represented by highly variable species complexes, including Gomphonema gracile Ehrenberg, Gomphonema intricatum var. vibrio Ehrenberg sensu Fricke, Gomphonema vibrioides Reichardt & Lange-Bertalot and Gomphonema parvulum (Kützing) Grunow. These taxa have been shown to exhibit wide morphological variation in other regions, resulting in considerable nomenclatural confusion. We collected Gomphonema from 237 sites distributed throughout the freshwater Everglades and used qualitative and quantitative morphological data to identify 20 distinguishable populations. Taxonomie assignments were based on descriptions and/or observations of type material of relevant taxa when possible, but deviations from original morphological range descriptions were common. We then compared morphological variation in Everglades Gomphonema taxa to that reported for the same taxa in other regions and suggest revisions of taxonomie concepts when necessary.

Plato on Oblivion. About Memory and Forgetfullness in the Platonic Dialogues

The aim of this paper is to tackle the role of oblivion in the Plato’s dialogues. It takes as work texts the dialogues where the anamnesis doctrine is exposed, and from these writings, but also attending to several other ones, the connexions between oblivion and other Platonic issues, as, e. g., language, memory, experience or love are explored, in order to clarify their relations of mutual dependence. In this way, we attempt to find out in the Platonic oblivion a philosophical sense, which is not disdainful in comparison with the sense and the relevance that the readers of all times have granted to anamnesis; for anamnesis and oblivion are inseparable indeed.

There is something about Mary… and Ted! : Training in mixed-sex groups makes you work harder. A study about the effort when training with the opposite sex.

In many sport associations, regardless of level, women and men rarely practice together. Previous studies indicate that work groups are generally more efficient when there is an even distribution between the sexes. Could that also be the case in sports? This study aims to investigate whether the sex composition of a training group affects the effort and performance of the participants. Eleven volunteers participated in the crossover study consisting of three different 150-meter sprint conditions; individually, single-sex group and mixed-sex group. Sprint times, heart rate and RPE were recorded during all three trials. The result of this study suggests that there might be practical benefits in regards to physical performance and effort to exercise in a training group consisting of both sexes instead of training only with the same-sex or individually. The understanding could be useful in areas such as; training optimisation for both athletes and in patient- and rehabilitation groups, increasing efficiency in work environments, in schools and sports clubs striving for both athletic success and gender equality.

Patients' Perceptions About Diagnosis And Treatment Of Chronic Myeloid Leukemia: A Cross-sectional Study Among Brazilian Patients.

Chronic myeloid leukemia (CML) requires strict daily compliance with oral medication and regular blood and bone marrow control tests. The objective was to evaluate CML patients' perceptions about the disease, their access to information regarding the diagnosis, monitoring and treatment, adverse effects and associations of these variables with patients' demographics, region and healthcare access. Prospective cross-sectional study among CML patients registered with the Brazilian Lymphoma and Leukemia Association (ABRALE). CML patients receiving treatment through the public healthcare system were interviewed by telephone. Among 1,102 patients interviewed, the symptoms most frequently leading them to seek medical care were weakness or fatigue. One third were diagnosed by means of routine tests. The time that elapsed between first symptoms and seeking medical care was 42.28 ± 154.21 days. Most patients had been tested at least once for Philadelphia chromosome, but 43.2% did not know the results. 64.8% had had polymerase chain reaction testing for the BCR/ABL gene every three months. 47% believed that CML could be controlled, but 33.1% believed that there was no treatment. About 24% reported occasionally stopping their medication. Imatinib was associated with nausea, cramps and muscle pain. Self-reported treatment adherence was significantly associated with normalized blood count, and positively associated with imatinib. There is a lack of information or understanding about disease monitoring tools among Brazilian CML patients; they are diagnosed quickly and have good access to treatment. Correct comprehension of CML control tools is impaired in Brazilian patients.

Sesquiterpenes from the essential oil of Laurencia dendroidea (Ceramiales, Rhodophyta): isolation, biological activities and distribution among seaweeds

Two known sesquiterpenes (1R*,2S*,3R*,5S*,8S*,9R*)-2,3,5,9-tetramethyltricyclo[6.3.0.0(1,5)]undecan-2-ol and (1S*,2S*,3S*,5S*,8S*,9S*)-2,3,5,9-tetramethyltricyclo-[6.3.0.0(1,5)]undecan-2-ol were isolated for the first time from the essential oil of the red seaweed Laurencia dendroidea collected in the Brazilian coast. These compounds were not active against eight bacteria strains and the yeast Candida albicans, but showed some antioxidant activity. Both compounds were also found in other seaweed species showing that they are not exclusive taxonomic markers to the genus Laurencia.

Atherinella blackburni (Schultz, 1949) at Itamambuca Beach, Ubatuba, SP: ecological characterization and distribution on the Brazilian coast (Teleostei: Atheriniformes: Atherinopsidae)

Atherinella blackburni is a silverside species whose occurrence on the Brazilian coast was not properly registered until recently. So far, records of its distribution along the Brazilian shore were limited to Itaparica Island, Bahia State, and Porto Inhaúma, Rio de Janeiro State. In a recent survey of the ichthyofauna of Itamambuca Beach, Ubatuba, São Paulo State, 100 specimens of this species were collected, yielding a considerable source of information regarding its ecology and a new southern limit of its distribution. A detailed survey of an ichthyological collection revealed lots of this species from regions of the Brazilian Northeast, resulting in a northward expansion of the occurrence of A. blackburni in Brazilian waters. Besides the populations found on the Brazilian coast, the species also occurs discontinuously in the Atlantic coasts of Costa Rica, Panama and Venezuela. Meristic and morphometric analysis showed overlapped values between Brazilian populations and the ones closer to the Caribbean. An ecological study of A. blackburni at Itamambuca Beach revealed that it is a predominantly diurnal species with preference for warm and salty waters, often occurring in sandy-bottom environments. It was more abundant in Summer and Winter, when individuals with smaller values of length and weight also occurred.