2,237 research outputs found
Finding The Lazy Programmer's Bugs
Traditionally developers and testers created huge numbers of explicit tests, enumerating interesting cases, perhaps
biased by what they believe to be the current boundary conditions of the function being tested. Or at
least, they were supposed to.
A major step forward was the development of property testing. Property testing requires the user to write a few
functional properties that are used to generate tests, and requires an external library or tool to create test data
for the tests. As such many thousands of tests can be created for a single property. For the purely functional
programming language Haskell there are several such libraries; for example QuickCheck [CH00], SmallCheck
and Lazy SmallCheck [RNL08].
Unfortunately, property testing still requires the user to write explicit tests. Fortunately, we note there are
already many implicit tests present in programs. Developers may throw assertion errors, or the compiler may
silently insert runtime exceptions for incomplete pattern matches.
We attempt to automate the testing process using these implicit tests. Our contributions are in four main
areas: (1) We have developed algorithms to automatically infer appropriate constructors and functions needed
to generate test data without requiring additional programmer work or annotations. (2) To combine the
constructors and functions into test expressions we take advantage of Haskell's lazy evaluation semantics by
applying the techniques of needed narrowing and lazy instantiation to guide generation. (3) We keep the type
of test data at its most general, in order to prevent committing too early to monomorphic types that cause
needless wasted tests. (4) We have developed novel ways of creating Haskell case expressions to inspect elements
inside returned data structures, in order to discover exceptions that may be hidden by laziness, and to make
our test data generation algorithm more expressive.
In order to validate our claims, we have implemented these techniques in Irulan, a fully automatic tool for
generating systematic black-box unit tests for Haskell library code. We have designed Irulan to generate high
coverage test suites and detect common programming errors in the process
Bulk Composition of GJ 1214b and other sub-Neptune exoplanets
GJ1214b stands out among the detected low-mass exoplanets, because it is, so
far, the only one amenable to transmission spectroscopy. Up to date there is no
consensus about the composition of its envelope although most studies suggest a
high molecular weight atmosphere. In particular, it is unclear if hydrogen and
helium are present or if the atmosphere is water dominated. Here, we present
results on the composition of the envelope obtained by using an internal
structure and evolutionary model to fit the mass and radius data. By examining
all possible mixtures of water and H/He, with the corresponding opacities, we
find that the bulk amount of H/He of GJ1214b is at most 7% by mass. In general,
we find the radius of warm sub-Neptunes to be most sensitive to the amount of
H/He. We note that all (Kepler-11b,c,d,f, Kepler-18b, Kepler-20b, 55Cnc-e,
Kepler-36c and Kepler-68b) but two (Kepler-11e and Kepler-30b) of the
discovered low-mass planets so far have less than 10% H/He. In fact, Kepler-11e
and Kepler-30b have 10-18% and 5-15% bulk H/He. Conversely, little can be
determined about the H2O or rocky content of sub-Neptune planets. We find that
although a 100% water composition fits the data for GJ1214b, based on formation
constraints the presence of heavier refractory material on this planet is
expected, and hence, so is a component lighter than water required. A robust
determination by transmission spectroscopy of the composition of the upper
atmosphere of GJ1214b will help determine the extent of compositional
segregation between the atmosphere and envelope.Comment: Updated the masses and radii of the Kepler-11 system, added
Kepler-30b as well in the analysis. Accepted in ApJ, 39 pages, 9 figure
Plant litter decomposition in mitigated and reference wetlands
Decomposition of plant litter in wetlands influences many processes and is driven by a complex web of interacting forces. This makes litter decomposition a useful measure of wetland function and a possible means of judging wetland functional replacement in compensatory mitigation projects. However, the web of interacting forces that intricately connect decomposition to wetland function also make it difficult to identify the importance of individual variables. In order for decomposition to be used as a metric to judge wetland function, its driving forces must be better understood.;This study examined some of the variables that drive decomposition. Specifically, decomposition rates were studied in-depth at 3 mitigated and 3 reference wetlands, and more broadly at 8 created and 8 reference wetlands, located in the Allegheny Mountain ecoregion of West Virginia. Decomposition rates were measured using the litter bag technique and incorporated five different litter types. Four types of single species bags were created from common wetland litter species and included broadleaf cattail (Typha latifolia L.), common rush (Juncus effusus L.), brookside alder (Alnus serrulata (Ait.) Willd.), and reed canary grass (Phalaris arundinacea L.). The fifth litter type was created from a mix of common rush, brookside alder, and reed canary grass. Environmental measurements were taken throughout the study to determine their effect on decomposition and invertebrates were collected from litter bags to study the importance of biotic communities. Fungal biomass was estimated by measuring the amount of ergosterol extracted from leaf litter.;Decomposition rate constants were similar between mitigated and natural wetlands. Reed canary grass had the fastest decomposition rate constant and broadleaf cattail had the slowest. Of the environmental parameters tested, models that included air (AT) and soil temperature (ST), water pH (WPH), hydroperiod (HP, proportion of days flooded), and the number of transitions between flooded and exposed conditions (FET) were best able to predict decomposition rate constants. Overall, AT, ST, and WPH were directly related to decomposition rate constant, while HP was inversely related. The FET was directly or inversely related to the decomposition rate constant depending on the litter type.;For biological variables, invertebrate taxonomic groups had the strongest associations with decomposition trends compared to functional feeding groups or invertebrate metrics (abundance, richness, diversity). Shredders, collector/gatherers, and omnivores were more strongly associated with early phases of decomposition, while oligochaetes and omnivores were most strongly associated with trends in decomposition during the later phase. Ergosterol levels indicated that fungi colonized bags quickly, peaked at 35 days, and then decreased and leveled off by 300 days, but were not useful predictors of decomposition rate.;This study helps demonstrate the importance of both environmental and biological variables in naturally functioning systems and ultimately helps to improve wetland mitigation by expanding our understanding of wetland function
Farm Growth, Consolidation, and Diversification: Washington Dairy Industry
Farm Management, Q12,
In Vitro Toxicity Assessment of Stilbene Extract for Its Potential Use as Antioxidant in the Wine Industry
The reduction of sulfur dioxide in wine is a consumer’s demand, considering the allergic effects that may occur in people who are sensitive to it. Stilbenes are candidates of great interest for this purpose because of their antioxidant/antimicrobial activities and health properties, and also because they are naturally found in the grapevine. In the present study, the in vitro toxicity of an extract from grapevine shoots (with a stilbene richness of 45.4%) was assessed in two human cell lines. Significant damage was observed from 30 μg/mL after 24 h, and 40 µg/mL after 48 h of exposure. Similarly, the ultrastructural study revealed a significant impairment of cell growing. The extract was able to protect cells against an induced oxidative stress at all concentrations studied. In view of the promising results, a more exhaustive toxicological assessment of the extract is needed to confirm the safety of its further use as additive in wine.España,Ministerio de Economía, Industria y Competitividad and INIA for the financial support for this project (RTA2015-00005-C02-02
Regional Regulation of Purkinje Cell Dendritic Spines by Integrins and Eph/Ephrins.
Climbing fibres and parallel fibres compete for dendritic space on Purkinje cells in the cerebellum. Normally, climbing fibres populate the proximal dendrites, where they suppress the multiple small spines typical of parallel fibres, leading to their replacement by the few large spines that contact climbing fibres. Previous work has shown that ephrins acting via EphA4 are a signal for this change in spine type and density. We have used an in vitro culture model in which to investigate the ephrin effect on Purkinje cell dendritic spines and the role of integrins in these changes. We found that integrins α3, α5 and β4 are present in many of the dendritic spines of cultured Purkinje cells. pFAK, the main downstream signalling molecule from integrins, has a similar distribution, although the intenstity of pFAK staining and the percentage of pFAK+ spines was consistently higher in the proximal dendrites. Activating integrins with Mg2+ led to an increase in the intensity of pFAK staining and an increase in the proportion of pFAK+ spines in both the proximal and distal dendrites, but no change in spine length, density or morphology. Blocking integrin binding with an RGD-containing peptide led to a reduction in spine length, with more stubby spines on both proximal and distal dendrites. Treatment of the cultures with ephrinA3-Fc chimera suppressed dendritic spines specifically on the proximal dendrites and there was also a decrease of pFAK in spines on this domain. This effect was blocked by simultaneous activation of integrins with Mn2+. We conclude that Eph/ephrin signaling regulates proximal dendritic spines in Purkinje cells by inactivating integrin downstream signalling
Priority list of endemic diseases for the red meat industries
This report provides a systematic review of the most economically damaging endemic diseases and conditions for the Australian red meat industry (cattle, sheep and goats). A number of diseases for cattle, sheep and goats have been identified and were prioritised according to their prevalence, distribution, risk factors and mitigation. The economic cost of each disease as a result of production losses, preventive costs and treatment costs is estimated at the herd and flock level, then extrapolated to a national basis using herd/flock demographics from the 2010-11 Agricultural Census by the Australian Bureau of Statistics. Information shortfalls and recommendations for further research are also specified.
A total of 17 cattle, 23 sheep and nine goat diseases were prioritised based on feedback received from producer, government and industry surveys, followed by discussions between the consultants and MLA. Assumptions of disease distribution, in-herd/flock prevalence, impacts on mortality/production and costs for prevention and treatment were obtained from the literature where available. Where these data were not available, the consultants used their own expertise to estimate the relevant measures for each disease. Levels of confidence in the assumptions for each disease were estimated, and gaps in knowledge identified.
The assumptions were analysed using a specialised Excel model that estimated the per animal, herd/flock and national costs of each important disease. The report was peer reviewed and workshopped by the consultants and experts selected by MLA before being finalised. Consequently, this report is an important resource that will guide and prioritise future research, development and extension activities by a variety of stakeholders in the red meat industry. This report completes Phase I and Phase II of an overall four-Phase project initiative by MLA, with identified data gaps in this report potentially being addressed within the later phases.
Modelling the economic costs using a consistent approach for each disease ensures that the derived estimates are transparent and can be refined if improved data on prevalence becomes available. This means that the report will be an enduring resource for developing policies and strategies for the management of endemic diseases within the Australian red meat industry
Shaping frontline practices: a scoping review of human factors implicated in electrical safety incidents
Injuries sustained while performing electrical work are a significant threat to the health and safety of workers and occur frequently. In some jurisdictions, non-fatal serious incidents have increased in recent years. Although significant work has been carried out on electrical safety from a human factor perspective, reviews of this literature are sparse. Thus, the purpose of this review is to collate and summarize human factors implicated in electrical safety events. Articles were collected from three databases (Scopus, Web of Science, and Google Scholar), using the search terms: safety, electri*, human factors, and arc flash. Titles and abstracts were screened, full-text reviews were conducted, and 18 articles were included in the final review. Quality checks were undertaken using the Mixed Methods Appraisal Tool and the Critical Appraisal Skills Program. Environmental, individual, team, organizational, and macro factors were identified in the literature as factors which shape frontline electrical worker behavior, highlighting the complexity of injury prevention. The key contributions of this paper include: (1) a holistic and integrated summary of human factors implicated in electrical safety events, (2) the application of an established theoretical model to explain dynamic forces implicated in electrical safety incidents, and (3) several practical implications and recommendations to improve electrical safety. It is recommended that this framework is used to develop and test future interventions at the individual, team, organizational, and regulator level to mitigate risk and create meaningful and sustainable change in the electrical safety spac
- …