Flow equivalence and isotopy for subshifts

We study basic properties of flow equivalence on one-dimensional compact metric spaces with a particular emphasis on isotopy in the group of (self-) flow equivalences on such a space. In particular, we show that such an orbit-preserving map is not always an isotopy, but that this always is the case for suspension flows of irreducible shifts of finite type. We also provide a version of the fundamental discretization result of Parry and Sullivan which does not require that the flow maps are either injective or surjective. Our work is motivated by applications in the classification theory of sofic shift spaces, but has been formulated to supply a solid and accessible foundation for other purposes.     

Domestic application of solar PV systems in Ireland: The reality of their economic viability

Renewable sources of energy are anticipated to play a major role in electricity generation in Ireland in the future. Currently, electricity is mainly generated from imported gas and coal due to a lack of indigenous fossil fuel resources in Ireland. Solar energy is omnipresent, freely available and environmental friendly. The utilisation of solar energy to produce electricity has become increasingly attractive worldwide. However, solar electricity generation has not been very popular in Ireland to-date either on a large scale or on a domestic scale. The unclear economics of domestic solar PV systems, under Irish conditions, is considered the biggest obstacle for expanding domestic solar PV system installation in Ireland. This paper presents a methodology to accurately evaluate the economic viability of a domestic solar PV system on a case-by-case basis. The methodology utilises the software programmes HOMER and Microsoft Excel 2007 for the energy and economic analyses. Utilising this methodology, a realistic economic analysis of eight sample domestic solar PV systems available in Ireland is presented. Based on the predictions, the domestic solar PV system is not economically viable under current conditions in Ireland. Domestic solar PV systems still do not look promising even if better financial support is given.     

Postcalving udder health and productivity in cows approaching dry-off with intramammary infections caused by non-aureus Staphylococcus,Aerococcus, Enterococcus,Lactococcus, and Streptococcus species

The objective of this prospective cohort study was to explore associations between intramammary infection (IMI) in late-lactation cows and postcalving udder health and productivity. Cows (n = 2,763) from 74 US dairy herds were recruited as part of a previously published cross-sectional study of bedding management and IMI in late-lactation cows. Each herd was visited twice for sampling. At each visit, aseptic quarter milk samples were collected from 20 cows approaching dry-off (>180 d pregnant), which were cultured using standard bacteriological methods and MALDI-TOF for identification of isolates. Quarter-level culture results were used to establish cow-level IMI status at enrollment. Cows were followed from enrollment until 120 d in milk (DIM) in the subsequent lactation. Herd records were used to establish whether subjects experienced clinical mastitis or removal from the herd, and DHIA test-day data were used to record subclinical mastitis events (somatic cell count >200,000 cells/mL) and milk yield (kg/d) during the follow-up period. Cox regression and generalized estimating equations were used to evaluate the associations between IMI and the outcome of interest. The presence of late-lactation IMI caused by major pathogens was positively associated with postcalving clinical mastitis [hazard ratio = 1.5, 95% confidence interval (CI): 1.2, 2.0] and subclinical mastitis (risk ratio = 1.5, 95% CI: 1.3, 1.9). Species within the non-aureus Staphylococcus (NAS) group varied in their associations with postcalving udder health, with some species being associated with increases in clinical and subclinical mastitis in the subsequent lactation. Late-lactation IMI caused by Streptococcus and Streptococcus (Strep)-like organisms, other than Aerococcus spp. (i.e., Enterococcus, Lactococcus, and Streptococcus spp.) were associated with increases in postcalving clinical and subclinical mastitis. Test-day milk yield from 1 to 120 DIM was lower (?0.9 kg, 95% CI: ?1.6, ?0.3) in late-lactation cows with any IMI compared with cows without IMI. No associations were detected between IMI in late lactation and risk for postcalving removal from the herd within the first 120 DIM. Effect estimates reported in this study may be less than the underlying quarter-level effect size for IMI at dry-off and postcalving clinical and subclinical mastitis, because of the use of late-lactation IMI as a proxy for IMI at dry-off and the use of cow-level exposure and outcome measurements. Furthermore, the large number of models run in this study (n = 94) increases the chance of identifying chance associations. Therefore, confirmatory studies should be conducted. We conclude that IMI in late lactation may increase risk of clinical and subclinical mastitis in the subsequent lactation. The relationship between IMI and postcalving health and productivity is likely to vary among pathogens, with Staphylococcus aureus, Streptococcus spp., Enterococcus spp., and Lactococcus spp. being the most important pathogens identified in the current study.     

Structural characterization of the (AgCu)(InGa)Se2 thin film alloy system for solar cells

A detailed structural analysis of the (AgCu)(InGa)Se₂ thin film alloy system was undertaken via X-ray diffraction in order to determine its phase behavior and the chalcopyrite phase lattice constants of the alloy system. Thin films were grown by elemental co-evaporation with time-invariant flux, for the compositions 0 ≤ [Ag]/([Cu] + [Ag]) ≤ 1 for fixed [Ga]/([In] + [Ga]) = 0.5. Lattice constants were determined from the diffraction patterns by the Cohen method and were found to deviate from Vegard's rule. While films were predominantly single-phase, minor secondary phase reflections were observed for films with [Ag]/([Cu] + [Ag]) ≥ 0.5. However, this secondary phase behavior is not consistent with chalcopyrite-chalcopyrite phase segregation in earlier reports.     

Impermeable graphenic encasement of bacteria

Transmission electron microscopy (TEM) of hygroscopic, permeable, and electron-absorbing biological cells has been an important challenge due to the volumetric shrinkage, electrostatic charging, and structural degradation of cells under high vacuum and fixed electron beam.(1-3) Here we show that bacterial cells can be encased within a graphenic chamber to preserve their dimensional and topological characteristics under high vacuum (10(-5) Torr) and beam current (150 A/cm(2)). The strongly repelling π clouds in the interstitial sites of graphene's lattice(4) reduces the graphene-encased-cell's permeability(5) from 7.6-20 nm/s to 0 nm/s. The C-C bond flexibility(5,6) enables conformal encasement of cells. Additionally, graphene's high Young's modulus(6,7) retains cell's structural integrity under TEM conditions, while its high electrical(8) and thermal conductivity(9) significantly abates electrostatic charging. We envision that the graphenic encasement approach will facilitate real-time TEM imaging of fluidic samples and potentially biochemical activity.     

A Hidden Markov Framework to Capture Human–Machine Interaction in Automated Vehicles

ABSTRACT

A Hidden Markov Model framework is introduced to formalize the beliefs that humans may have about the mode in which a semi-automated vehicle is operating. Previous research has identified various “levels of automation,” which serve to clarify the different degrees of a vehicle’s automation capabilities and expected operator involvement. However, a vehicle that is designed to perform at a certain level of automation can actually operate across different modes of automation within its designated level, and its operational mode might also change over time. Confusion can arise when the user fails to understand the mode of automation that is in operation at any given time, and this potential for confusion is not captured in models that simply identify levels of automation. In contrast, the Hidden Markov Model framework provides a systematic and formal specification of mode confusion due to incorrect user beliefs. The framework aligns with theory and practice in various interdisciplinary approaches to the field of vehicle automation. Therefore, it contributes to the principled design and evaluation of automated systems and future transportation systems.     

Working Memory and Intelligence: The Same or Different Constructs?

Several investigators have claimed over the past decade that working memory (WM) and general intelligence (g) are identical, or nearly identical, constructs, from an individual-differences perspective. Although memory measures are commonly included in intelligence tests, and memory abilities are included in theories of intelligence, the identity between WM and intelligence has not been evaluated comprehensively. The authors conducted a meta-analysis of 86 samples that relate WM to intelligence. The average correlation between true-score estimates of WM and g is substantially less than unity (p? = .479). The authors also focus on the distinction between short-term memory and WM with respect to intelligence with a supplemental meta-analysis. The authors discuss how consideration of psychometric and theoretical perspectives better informs the discussion of WM-intelligence relations. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Statistical modelling of breast cancer incidence and mortality rates in Scotland

The interpretation of time trends in disease rates can be facilitated using estimable contrasts from age-period-cohort models. Cohort and period trends in breast cancer incidence and mortality rates in Scotland were investigated using contrasts that measure the changes in the linear trends. These contrasts were compared with estimates obtained from mortality rates in the USA and Japan. A significant moderation of both breast cancer incidence and mortality rates was observed in Scotland, associated with cohorts of women born after the Second World War compared with women born between the two world wars. The moderation of breast cancer mortality among cohorts born after 1925 compared with cohorts born before 1925 that was observed in the USA and Japan was also observed in this study. This moderation is not present in the incidence rates. The relative decline in the risk of breast cancer seen in younger cohorts seems to be contradictory to the temporal pattern present among breast cancer risk factors. It may well be that the alteration of eating patterns as a result of rationing in the wartime and immediate post-war period, and the subsequent influence on certain breast cancer risk factors probably produced by such changes, may have had some influence on the development of healthier girls and women. Such speculation could be addressed in a well-designed epidemiological study. There have been no changes in the mortality rate trends with period in Scotland, although the changes in the incidence rate trends with period are consistent with an increase in registration coverage.     

Do you trust your compiler?

As our society becomes more technologically complex, computer systems are finding an alarming number of uses in safety-critical applications. In many such systems, the software component's reliability is essential to the system's safe operation, so it becomes natural to ask, “How can software be made to behave correctly when executed?” Using program transformations to produce trusted software simplifies verification. Program transformations use proven laws to manipulate programs in a manner analogous to algebraic transformations. The authors sketch how a formal method based on program transformations can be used to construct a verified compiler. Such a compiler has been proved to correctly compile any correct program into assembly language. While the compiler itself may not execute efficiently-after all, you need only use the verified compiler the last time you compile a program-the transformational approach should enable the verified compiler to produce efficient assembly code