Reflections on the criterion of (in)dependence within clause integration

This article, based on theoretical and bibliographic assumptions, aims to discuss the concept of syntactic and semantic (in)dependence  with respect to the canonical processes of subordination and coordination. It is commonly stated that the coordinate clauses are independent and the subordinate ones are dependent. This correlation, however, has received criticism over time, especially in modern works. After all, it is not always clear whether the (in)dependence is of semantic or syntactic basis. In addition, there are borderline cases in which it is not possible to clearly define if a structure has all the features of a subordinate or coordinate construction. The proposal developed by Usage-Based Functional Linguistics resizes the criterion of (in)dependence, comparing it with the embedding in a scalar and gradient proposal. Based on the theory of prototypes, the Usage-Based Functional Linguistics presents a descriptive alternative to the question of (in)dependence, more faithful to the effective use of language, as it becomes evident in the researches carried out by Brazilian and foreign authors.

Prior image-constrained l(1)-norm-based reconstruction method for effective usage of structural information in diffuse optical tomography

A novel approach that can more effectively use the structural information provided by the traditional imaging modalities in multimodal diffuse optical tomographic imaging is introduced. This approach is based on a prior image-constrained-l(1) minimization scheme and has been motivated by the recent progress in the sparse image reconstruction techniques. It is shown that the proposed framework is more effective in terms of localizing the tumor region and recovering the optical property values both in numerical and gelatin phantom cases compared to the traditional methods that use structural information. (C) 2012 Optical Society of America

Resource usage monitoring for KVM based virtual machines

Realization of cloud computing has been possible due to availability of virtualization technologies on commodity platforms. Measuring resource usage on the virtualized servers is difficult because of the fact that the performance counters used for resource accounting are not virtualized. Hence, many of the prevalent virtualization technologies like Xen, VMware, KVM etc., use host specific CPU usage monitoring, which is coarse grained. In this paper, we present a performance monitoring tool for KVM based virtualized machines, which measures the CPU overhead incurred by the hypervisor on behalf of the virtual machine along-with the CPU usage of virtual machine itself. This fine-grained resource usage information, provided by the above tool, can be used for diverse situations like resource provisioning to support performance associated QoS requirements, identification of bottlenecks during VM placements, resource profiling of applications in cloud environments, etc. We demonstrate a use case of this tool by measuring the performance of web-servers hosted on a KVM based virtualized server.

Strasheela: Design and usage of a music composition environment based on the Oz programming model

Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for complex polyphonic scores. Strasheela enables the user to define expressive compositional rules and then to apply them to the score. Compositional rules can restrict many aspects of the music - including the rhythmic structure, the melodic structure and the harmonic structure - by constraining the parameters (e.g. duration or pitch) of musical events according to some numerical or logical relation. Strasheela combines this expressivity with efficient search strategies.

Beta-blocker usage after malignant melanoma diagnosis and survival: a population-based nested case-control study

Background: Beta-blockers have potential antiangiogenic and antimigratory activity. Studies have demonstrated a survival benefit in patients with malignant melanoma treated with beta-blockers.

Objectives: To investigate the association between postdiagnostic beta-blocker usage and risk of melanoma-specific mortality in a population-based cohort of patients with malignant melanoma.

Methods: Patients with incident malignant melanoma diagnosed between 1998 and 2010 were identified within the U.K. Clinical Practice Research Datalink and confirmed using cancer registry data. Patients with malignant melanoma with a melanoma-specific death (cases) recorded by the Office of National Statistics were matched on year of diagnosis, age and sex to four malignant melanoma controls (who lived at least as long after diagnosis as their matched case). A nested case–control approach was used to investigate the association between postdiagnostic beta-blocker usage and melanoma-specific death and all-cause mortality. Conditional logistic regression was applied to generate odds ratios (ORs) and 95% confidence intervals (CIs) for beta-blocker use determined from general practitioner prescribing.

Results: Beta-blocker medications were prescribed after malignant melanoma diagnosis to 20·2% of 242 patients who died from malignant melanoma (cases) and 20·3% of 886 matched controls. Consequently, there was no association between beta-blocker use postdiagnosis and cancer-specific death (OR 0·99, 95% CI 0·68–1·42), which did not markedly alter after adjustment for confounders including stage (OR 0·87, 95% CI 0·56–1·34). No significant associations were detected for individual beta-blocker types, by defined daily doses of use or for all-cause mortality.

Conclusions: Contrary to some previous studies, beta-blocker use after malignant melanoma diagnosis was not associated with reduced risk of death from melanoma in this U.K. population-based study.

Collocating satellite-based radar and radiometer measurements — methodology and usage examples

Collocations between two satellite sensors are occasions where both sensors observe the same place at roughly the same time. We study collocations between the Microwave Humidity Sounder (MHS) on-board NOAA-18 and the Cloud Profiling Radar (CPR) on-board CloudSat. First, a simple method is presented to obtain those collocations and this method is compared with a more complicated approach found in literature. We present the statistical properties of the collocations, with particular attention to the effects of the differences in footprint size. For 2007, we find approximately two and a half million MHS measurements with CPR pixels close to their centrepoints. Most of those collocations contain at least ten CloudSat pixels and image relatively homogeneous scenes. In the second part, we present three possible applications for the collocations. Firstly, we use the collocations to validate an operational Ice Water Path (IWP) product from MHS measurements, produced by the National Environment Satellite, Data and Information System (NESDIS) in the Microwave Surface and Precipitation Products System (MSPPS). IWP values from the CloudSat CPR are found to be significantly larger than those from the MSPPS. Secondly, we compare the relation between IWP and MHS channel 5 (190.311 GHz) brightness temperature for two datasets: the collocated dataset, and an artificial dataset. We find a larger variability in the collocated dataset. Finally, we use the collocations to train an Artificial Neural Network and describe how we can use it to develop a new MHS-based IWP product. We also study the effect of adding measurements from the High Resolution Infrared Radiation Sounder (HIRS), channels 8 (11.11 μm) and 11 (8.33 μm). This shows a small improvement in the retrieval quality. The collocations described in the article are available for public use.

Interval-based resource usage verification: Formalization and prototype

In an increasing number of applications (e.g., in embedded, real-time, or mobile systems) it is important or even essential to ensure conformance with respect to a specification expressing resource usages, such as execution time, memory, energy, or user-defined resources. In previous work we have presented a novel framework for data size-aware, static resource usage verification. Specifications can include both lower and upper bound resource usage functions. In order to statically check such specifications, both upper- and lower-bound resource usage functions (on input data sizes) approximating the actual resource usage of the program which are automatically inferred and compared against the specification. The outcome of the static checking of assertions can express intervals for the input data sizes such that a given specification can be proved for some intervals but disproved for others. After an overview of the approach in this paper we provide a number of novel contributions: we present a full formalization, and we report on and provide results from an implementation within the Ciao/CiaoPP framework (which provides a general, unified platform for static and run-time verification, as well as unit testing). We also generalize the checking of assertions to allow preconditions expressing intervals within which the input data size of a program is supposed to lie (i.e., intervals for which each assertion is applicable), and we extend the class of resource usage functions that can be checked.

Chemical dictionary, American and British usage. Containing the words generally used in chemistry, and many of the terms used in the related sciences of physics, astrophysics, mineralogy, pharmacy, agriculture, biology, medicine, engineering, etc.; based on recent chemical literature.

Re-issue, with changes and additions of the 3d ed. pub. in 1944.

Model Based Estimating System for Civil Concrete Structures

An earlier CRC-CI project on ‘automatic estimating’ (AE) has shown the key benefit of model-based design methodologies in building design and construction to be the provision of timely quantitative cost evaluations. Furthermore, using AE during design improves design options, and results in improved design turn-around times, better design quality and/or lower costs. However, AEs for civil engineering structures do not exist; and research partners in the CRC-CI expressed interest in exploring the development of such a process. This document reports on these investigations. The central objective of the study was to evaluate the benefits and costs of developing an AE for concrete civil engineering works. By studying existing documents and through interviews with design engineers, contractors and estimators, we have established that current civil engineering practices (mainly roads/bridges) do not use model-based planning/design. Drawings are executed in 2D and only completed at the end of lengthy planning/design project management lifecycle stages. We have also determined that estimating plays two important, but different roles. The first is part of project management (which we have called macro level estimating). Estimating in this domain sets project budgets, controls quality delivery and contains costs. The second role is estimating during planning/design (micro level estimating). The difference between the two roles is that the former is performed at the end of various lifecycle stages, whereas the latter is performed at any suitable time during planning/design.

Investment decision framework for infrastructure asset management: a probability-based approach

Australia’s civil infrastructure assets of roads, bridges, railways, buildings and other structures are worth billions of dollars. Road assets alone are valued at around A$ 140 billion. As the condition of assets deteriorate over time, close to A$10 billion is spent annually in asset maintenance on Australia's roads, or the equivalent of A$27 million per day. To effectively manage road infrastructures, firstly, road agencies need to optimise the expenditure for asset data collection, but at the same time, not jeopardise the reliability in using the optimised data to predict maintenance and rehabilitation costs. Secondly, road agencies need to accurately predict the deterioration rates of infrastructures to reflect local conditions so that the budget estimates could be accurately estimated. And finally, the prediction of budgets for maintenance and rehabilitation must provide a certain degree of reliability. A procedure for assessing investment decision for road asset management has been developed. The procedure includes: • A methodology for optimising asset data collection; • A methodology for calibrating deterioration prediction models; • A methodology for assessing risk-adjusted estimates for life-cycle cost estimates. • A decision framework in the form of risk map