Quantitative estimation of plant characteristics using spectral measurement: A survey of the literature

There are no author-identified significant results in this report

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi

We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents, and nested sequents. Here we adapt the method to a more general external formalism of labelled sequents and provide sufficient criteria on the Kripke-frame characterization of a logic that guarantee the IPs. In particular, we show that classes of frames definable by quantifier-free Horn formulas correspond to logics with the IPs. These criteria capture the modal cube and the infinite family of transitive Geach logics

Three-Dimensional Myocardial Perfusion Maps by Contrast Echocardiography

We evaluated the clinical applicability of a system for three-dimensional (3-D) display of a perfusion map following myocardial contrast echocardiography (MCE). The system was used in 12 patients (9 males and 3 females, mean age 52 ± 10 years) undergoing interventional treatment of chronic total coronary occlusion. In each patient three standard apical views were acquired at baseline with sonicated IopamidolR injections into the left coronary artery (LCA) and into the right coronary artery (RCA). Following successful recanalization of the occluded artery MCE was repeated. The patients tolerated the procedure well. Acquisition of three standard apical views provided sufficient information for the reconstruction of 3-D perfusion maps containing the 16 standard left ventricular (LV) segments. Side-by-side display of the perfusion maps obtained following LCA and RCA echocontrast injections allowed us to classify the myocardial segments (192) into three groups: (1) those supplied by one major artery (124); (2) those supplied by collaterals from contralateral or both major arteries (58); and (3) segments supplied by none of the major arteries (10). Decreased opacification was observed in 50 segme

Translocation of structured polynucleotides through nanopores

We investigate theoretically the translocation of structured RNA/DNA molecules through narrow pores which allow single but not double strands to pass. The unzipping of basepaired regions within the molecules presents significant kinetic barriers for the translocation process. We show that this circumstance may be exploited to determine the full basepairing pattern of polynucleotides, including RNA pseudoknots. The crucial requirement is that the translocation dynamics (i.e., the length of the translocated molecular segment) needs to be recorded as a function of time with a spatial resolution of a few nucleotides. This could be achieved, for instance, by applying a mechanical driving force for translocation and recording force-extension curves (FEC's) with a device such as an atomic force microscope or optical tweezers. Our analysis suggests that with this added spatial resolution, nanopores could be transformed into a powerful experimental tool to study the folding of nucleic acids.Comment: 9 pages, 5 figure

Food cost and availability in a rural setting in Australia

Introduction: The burden of chronic diseases is rapidly increasing worldwide. In&nbsp; Australia rural populations have a greater burden of disease. Chronic diseases are largely preventable with diet as a key risk factor. With respect to diet-related chronic disease, dietary risk may be due to poor food access, namely, poor availability and/or the high cost of healthy food. It is likely that poor food access is an issue in rural areas. Objective: To assess food access in rural south-west (SW) Victoria, Australia.Methods: A total of 53 supermarkets and grocery stores in 42 towns participated in a survey of food cost and availability in the rural area of SW Victoria. The survey assessed availability and cost of a Healthy Food Access Basket (HFAB) which was designed to meet the nutritional needs of a family of 6 for 2 weeks.Results: Seventy-two percent of the eligible shops in SW Victoria were surveyed. The study found that the complete HFAB was significantly more likely to be available in a town with a chain-owned store (p&lt;0.00). The complete HFAB was less likely to be available from an independently owned store in a town with only one grocery shop (p&lt;0.004). The average cost of the HFAB across SW Victoria was AU380.30 ± 25.10 (mean &plusmn; SD). There was a mean range in difference of cost of the HFAB of $36.92. In particular, high variability was found in the cost of fruits and vegetables.Conclusions: Cost and availability of healthy food may be compromised in rural areas. Implications: Improvements in food access in rural areas could reduce the high burden of disease suffered by rural communities.<br /

Photogrammetric Measurements of CEV Airbag Landing Attenuation Systems

High-speed photogrammetric measurements are being used to assess the impact dynamics of the Orion Crew Exploration Vehicle (CEV) for ground landing contingency upon return to earth. Test articles representative of the Orion capsule are dropped at the NASA Langley Landing and Impact Research (LandIR) Facility onto a sand/clay mixture representative of a dry lakebed from elevations as high as 62 feet (18.9 meters). Two different types of test articles have been evaluated: (1) half-scale metal shell models utilized to establish baseline impact dynamics and soil characterization, and (2) geometric full-scale drop models with shock-absorbing airbags which are being evaluated for their ability to cushion the impact of the Orion CEV with the earth s surface. This paper describes the application of the photogrammetric measurement technique and provides drop model trajectory and impact data that indicate the performance of the photogrammetric measurement system

Preliminary evaluation of spectral, normal and meteorological crop stage estimation approaches

Several of the projects in the AgRISTARS program require crop phenology information, including classification, acreage and yield estimation, and detection of episodal events. This study evaluates several crop calendar estimation techniques for their potential use in the program. The techniques, although generic in approach, were developed and tested on spring wheat data collected in 1978. There are three basic approaches to crop stage estimation: historical averages for an area (normal crop calendars), agrometeorological modeling of known crop-weather relationships agrometeorological (agromet) crop calendars, and interpretation of spectral signatures (spectral crop calendars). In all, 10 combinations of planting and biostage estimation models were evaluated. Dates of stage occurrence are estimated with biases between -4 and +4 days while root mean square errors range from 10 to 15 days. Results are inconclusive as to the superiority of any of the models and further evaluation of the models with the 1979 data set is recommended

Building a data sharing model for global genomic research

Data sharing models designed to facilitate global business provide insights for improving transborder genomic data sharing. We argue that a flexible, externally endorsed, multilateral arrangement , combined with an objective third-party assurance mechanism, can effectively balance privacy with the need to share genomic data globally

Investigating the biological properties of carbohydrate derived fulvic acid (CHD-FA) as a potential novel therapy for the management of oral biofilm infections.

Background: A number of oral diseases, including periodontitis, derive from microbial biofilms and are associated with increased antimicrobial resistance. Despite the widespread use of mouthwashes being used as adjunctive measures to control these biofilms, their prolonged use is not recommended due to various side effects. Therefore, alternative broad-spectrum antimicrobials that minimise these effects are highly sought after. Carbohydrate derived fulvic acid (CHD-FA) is an organic acid which has previously demonstrated to be microbiocidal against Candida albicans biofilms, therefore, the aims of this study were to evaluate the antibacterial activity of CHD-FA against orally derived biofilms and to investigate adjunctive biological effects.&lt;p&gt;&lt;/p&gt; Methods: Minimum inhibitory concentrations were evaluated for CHD-FA and chlorhexidine (CHX) against a range of oral bacteria using standardised microdilution testing for planktonic and sessile. Scanning electron microscopy was also employed to visualise changes in oral biofilms after antimicrobial treatment. Cytotoxicity of these compounds was assessed against oral epithelial cells, and the effect of CHD-FA on host inflammatory markers was assessed by measuring mRNA and protein expression.&lt;p&gt;&lt;/p&gt; Results: CHD-FA was highly active against all of the oral bacteria tested, including Porphyromonas gingivalis, with a sessile minimum inhibitory concentration of 0.5%. This concentration was shown to kill multi-species biofilms by approximately 90%, levels comparable to that of chlorhexidine (CHX). In a mammalian cell culture model, pretreatment of epithelial cells with buffered CHD-FA was shown to significantly down-regulate key inflammatory mediators, including interleukin-8 (IL-8), after stimulation with a multi-species biofilm.&lt;p&gt;&lt;/p&gt; Conclusions: Overall, CHD-FA was shown to possess broad-spectrum antibacterial activity, with a supplementary function of being able to down-regulate inflammation. These properties offer an attractive spectrum of function from a naturally derived compound, which could be used as an alternative topical treatment strategy for oral biofilm diseases. Further studies in vitro and in vivo are required to determine the precise mechanism by which CHD-FA modulates the host immune response.&lt;p&gt;&lt;/p&gt

Does Treewidth Help in Modal Satisfiability?

Many tractable algorithms for solving the Constraint Satisfaction Problem (CSP) have been developed using the notion of the treewidth of some graph derived from the input CSP instance. In particular, the incidence graph of the CSP instance is one such graph. We introduce the notion of an incidence graph for modal logic formulae in a certain normal form. We investigate the parameterized complexity of modal satisfiability with the modal depth of the formula and the treewidth of the incidence graph as parameters. For various combinations of Euclidean, reflexive, symmetric and transitive models, we show either that modal satisfiability is FPT, or that it is W[1]-hard. In particular, modal satisfiability in general models is FPT, while it is W[1]-hard in transitive models. As might be expected, modal satisfiability in transitive and Euclidean models is FPT.Comment: Full version of the paper appearing in MFCS 2010. Change from v1: improved section 5 to avoid exponential blow-up in formula siz