30,127 research outputs found
Education matters: cumulative advantages and disadvantages amongst Portuguese older men
Our paper sought to analyse the influence of the educational background over various
dimensions of the lives of Portuguese older men (age 60+) across the life course.
Drawing on the theory of cumulative advantages and disadvantages we used
biographical research, namely narrative interviews with men from different educational
background: men with a very low educational background and men with a medium/high
educational background. Our results show the influence of educational background in
the life course, and how it can contribute to accumulation of advantages/disadvantages
that explain their biographies and the very different situations in which they live today.Foundation for Science
and Technology (FCT): project UID/SOC/04020/2013info:eu-repo/semantics/publishedVersio
A Survey of Symbolic Execution Techniques
Many security and software testing applications require checking whether
certain properties of a program hold for any possible usage scenario. For
instance, a tool for identifying software vulnerabilities may need to rule out
the existence of any backdoor to bypass a program's authentication. One
approach would be to test the program using different, possibly random inputs.
As the backdoor may only be hit for very specific program workloads, automated
exploration of the space of possible inputs is of the essence. Symbolic
execution provides an elegant solution to the problem, by systematically
exploring many possible execution paths at the same time without necessarily
requiring concrete inputs. Rather than taking on fully specified input values,
the technique abstractly represents them as symbols, resorting to constraint
solvers to construct actual instances that would cause property violations.
Symbolic execution has been incubated in dozens of tools developed over the
last four decades, leading to major practical breakthroughs in a number of
prominent software reliability applications. The goal of this survey is to
provide an overview of the main ideas, challenges, and solutions developed in
the area, distilling them for a broad audience.
The present survey has been accepted for publication at ACM Computing
Surveys. If you are considering citing this survey, we would appreciate if you
could use the following BibTeX entry: http://goo.gl/Hf5FvcComment: This is the authors pre-print copy. If you are considering citing
this survey, we would appreciate if you could use the following BibTeX entry:
http://goo.gl/Hf5Fv
Carbon and nutrient losses during manure storage under traditional and improved practices in smallholder crop-livestock systems - evidence from Kenya
In the absence of mineral fertiliser, animal manure may be the only nutrient resource available to smallholder farmers in Africa, and manure is often the main input of C to the soil when crop residues are removed from the fields. Assessments of C and nutrient balances and cycling within agroecosystems or of greenhouse gas emissions often assume average C and nutrient mass fractions in manure, disregarding the impact that manure storage may have on C and nutrient losses from the system. To quantify such losses, in order to refine our models of C and nutrient cycling in smallholder (crop-livestock) farming systems, an experiment was conducted reproducing farmers’ practices: heaps vs. pits of a mix of cattle manure and maize stover (2:3 v/v) stored in the open air during 6 months. Heaps stored under a simple roof were also evaluated as an affordable improvement of the storage conditions. The results were used to derive empirical models and graphs for the estimation of C and nutrient losses. Heaps and pits were turned every month, weighed, and sampled to determine organic matter, total and mineral N, P and K mass fractions. Soils beneath heaps/pits were sampled to measure mineral N to a depth of 1 m, and leaching tube tests in the laboratory were used to estimate P leaching from manure. After 6 months, ca. 70% remained of the initial dry mass of manure stored in pits, but only half of or less of the manure stored in heaps. The stored manure lost 45% of its C in the open air and 69% under roof. The efficiencies of nutrient retention during storage varied between 24–38% for total N, 34–38% for P and 18–34% for K, with the heaps under a roof having greater efficiencies of retention of N and K. Laboratory tests indicated that up to 25% of the P contained in fresh manure could be lost by leaching. Results suggest that reducing the period of storage by, for example, more frequent application and incorporation of manure into the soil may have a larger impact on retaining C and nutrient within the farm system than improving storage condition
- …