Biofuels and Sustainability

This open access book presents a comprehensive analysis of biofuel use strategies from an interdisciplinary perspective using sustainability science. This interdisciplinary perspective (social science-natural science) means that the strategies and policy options proposed will have significant impacts on the economy and society alike. Biofuels are expected to contribute to reducing greenhouse gas emissions, revitalizing economies in agricultural communities and alleviating poverty. However, despite these anticipated benefits, international organizations such as the FAO, OECD and UN have published reports expressing concerns that biofuel promotion may lead to deforestation, water pollution and water shortages. The impacts of biofuel use are extensive, cross-sectoral and complex, and as such, comprehensive analyses are required in order to assess the extent to which biofuels can contribute to sustainable societies. Applying interdisciplinary sustainability science concepts and methodologies, the book helps to enhance the establishment of a sustainable society as well as the development of appropriate responses to a global need for urgent action on current issues related to biofuels

Biofuels and Sustainability

This open access book presents a comprehensive analysis of biofuel use strategies from an interdisciplinary perspective using sustainability science. This interdisciplinary perspective (social science-natural science) means that the strategies and policy options proposed will have significant impacts on the economy and society alike. Biofuels are expected to contribute to reducing greenhouse gas emissions, revitalizing economies in agricultural communities and alleviating poverty. However, despite these anticipated benefits, international organizations such as the FAO, OECD and UN have published reports expressing concerns that biofuel promotion may lead to deforestation, water pollution and water shortages. The impacts of biofuel use are extensive, cross-sectoral and complex, and as such, comprehensive analyses are required in order to assess the extent to which biofuels can contribute to sustainable societies. Applying interdisciplinary sustainability science concepts and methodologies, the book helps to enhance the establishment of a sustainable society as well as the development of appropriate responses to a global need for urgent action on current issues related to biofuels

Connecting global priorities: biodiversity and human health: a state of knowledge review.

Healthy communities rely on well-functioning ecosystems. They provide clean air, fresh water, medicines and food security. They also limit disease and stabilize the climate. But biodiversity loss is happening at unprecedented rates, impacting human health worldwide.The report, Connecting Global Priorities: Biodiversity and Human Health, focuses on the complex and multi-faceted connections between biodiversity and human health, and how the loss of biodiversity and corresponding ecosystem services may negatively influence health. One of the first integrative reviews of its kind, the report brings together knowledge from several scientific disciplines, including public health, conservation, agriculture, epidemiology and development. The book is a joint publication of the Convention on Biological Diversity and World Health Organization. Danny Hunter, Senior Scientist, Bioversity International is one of the Lead Coordinating Authors of the book and co-lead author on two chapters:Chapter 5: Agricultural biodiversity and food security Chapter 6: Biodiversity and nutritio

Concurrency and static analysis

The thesis describes three important contributions developed during my doctoral course, all involving the use and the verification of concurrent Java code: Binary decision diagrams, or BDDs, are data structures for the representation of Boolean functions. These functions are of great importance in many fields. It turns out that BDDs are the state-of-the-art representation for Boolean functions, and indeed all real world applications use a BDD library to represent and manipulate Boolean functions. It can be desirable to perform Boolean operations from different threads at the same time. In order to do this, the BDD library in use must allow threads to access BDD data safely, avoiding race conditions. We developed a Java BDD library, that is fast in both single and multi-threaded applications, that we use in the Julia static program analyzer. We defined a sound static analysis that identifies if and where a Java bytecode program lets data flow from tainted user input (including servlet requests) into critical operations that might give rise to injections. Data flow is a prerequisite to injections, but the user of the analysis must later gage the actual risk of the flow. Namely, analysis approximations might lead to false alarms and proper input validation might make actual flows harmless. Our analysis works by translating Java bytecode into Boolean formulas that express all possible explicit flows of tainted data. The choice of Java bytecode simplifies the semantics and its abstraction (many high-level constructs must not be explicitly considered) and lets us analyze programs whose source code is not available, as is typically the case in industrial contexts that use software developed by third parties, such as banks. The standard approach to prevent data races is to follow a locking discipline while accessing shared data: always hold a given lock when accessing a given shared datum. It is all too easy for a programmer to violate the locking discipline. Therefore, tools are desirable for formally expressing the locking discipline and for verifying adherence to it. The book Java Concurrency in Practice (JCIP) proposed the @GuardedBy annotation to express a locking discipline. The original @GuardedBy annotation was designed for simple intra-class synchronization policy declaration. @GuardedBy fields and methods are supposed to be accessed only when holding the appropriate lock, referenced by another field, in the body of the class (or this). In simple cases, a quick visual inspection of the class code performed by the programmer is sufficient to verify the synchronization policy correctness. However, when we think deeper about the meaning of this annotation, and when we try to check and infer it, some ambiguities rise. Given these ambiguities of the specification for @GuardedBy, different tools interpret it in different ways. Moreover, it does not prevent data races, thus not satisfying its design goals. We provide a formal specification that satisfies its design goals and prevents data races. We have also implemented our specification in the Julia analyzer, that uses abstract interpretation to infer valid @GuardedBy annotations for unannotated programs. It is not the goal of this implementation to detect data races or give a guarantee that they do not exist. Julia determines what locking discipline a program uses, without judging whether the discipline is too strict or too lax for some particular purpose

An Investigation into Possible Attacks on HTML5 IndexedDB and their Prevention

This thesis presents an analysis of, and enhanced security model for IndexedDB, the persistent HTML5 browser-based data store. In versions of HTML prior to HTML5, web sites used cookies to track user preferences locally. Cookies are however limited both in file size and number, and must also be added to every HTTP request, which increases web traffic unnecessarily. Web functionality has however increased significantly since cookies were introduced by Netscape in 1994. Consequently, web developers require additional capabilities to keep up with the evolution of the World Wide Web and growth in eCommerce. The response to this requirement was the IndexedDB API, which became an official W3C recommendation in January 2015. The IndexedDB API includes an Object Store, indices, and cursors and so gives HTML5 - compliant browsers a transactional database capability. Furthermore, once downloaded, IndexedDB data stores do not require network connectivity. This permits mobile web- based applications to work without a data connection. Such IndexedDB data stores will be used to store customer data, they will inevitably become targets for attackers. This thesis firstly argues that the design of IndexedDB makes it unavoidably insecure. That is, every implementation is vulnerable to attacks such as Cross Site Scripting, and even data that has been deleted from databases may be stolen using appropriate software tools. This is demonstrated experimentally on both mobile and desktop browsers. IndexedDB is however capable of high performance even when compared to servers running optimized local databases. This is demonstrated through the development of a formal performance model. The performance predictions for IndexedDB were tested experimentally, and the results showed high conformance over a range of usage scenarios. This implies that IndexedDB is potentially a useful HTML5 API if the security issues can be addressed. In the final component of this thesis, we propose and implement enhancements that correct the security weaknesses identified in IndexedDB. The enhancements use multifactor authentication, and so are resistant to Cross Site Scripting attacks. This enhancement is then demonstrated experimentally, showing that HTML5 IndexedDB may be used securely both online and offline. This implies that secure, standards compliant browser based applications with persistent local data stores may both feasible and efficient

Sustainable development under the conditions of European integration. Part I

This collective monograph offers the description of sustainable development in the condition of European integration. The authors of individual chapters have chosen such point of view for the topic which they considered as the most important and specific for their field of study using the methods of logical and semantic analysis of concepts, the method of reflection, textual reconstruction and comparative analysis. The theoretical and applied problems of sustainable development in the condition of European integration are investigated in the context of economics, education, cultural, politics and law

The source of the building stones from the Sagunto Castle archaeological area and its surroundings

A multidisciplinary study was carried out on the building stones of the masonries belonging to the Castle of Sagunto (Valencia, Spain), an important historical and archeological complex, characterized by several construction phases from the Roman Period to the Modern Ages. For the first time, the stones of the Sagunto Castle have been analysed to determine their chemical, mineralogical and petrographic features, the main physical and mechanical properties, and to understand their decay, use and recycling dynamics in the different building during the entire occupational period. Geochemical and mineralogical analyses employing X-ray fluorescence (XRF), inductively coupled plasma mass spectrometry (ICP-MS) and X-ray diffraction (XRD) were carried out together with optical and electronic microscope analysis to observe the stone macro- and micro-structures. The collected data were processed by Principal Component Analysis (PCA) to highlight differences among the studied structures. The results show that the stones employed to build Sagunto`s structures during the different historical periods are related to a specific quarried area located nearby Sagunto Castle hill and differences between the studied samples are mostly related to the conservation state of the buildings. Therefore, geochemical analyses confirm the origin of the raw materials, while petrographic and physical analyses have been useful to evaluate the conservation state of the studied Sagunto Castle structures

Rare Earth Elements analysis to identify anthropogenic signatures at Valle del Serpis (Spain) Neolithic settlements

Due to their particular geochemical properties and stability Rare Earth Elements (REE) can act as a ‘fingerprint’ for soils, and as a consequence have been employed in a variety of different archaeological scenarios in order to identify past human activities.In this study, for the first time, we apply REE signatures in different Spanish Neolithic settlements, all located in the Valle del Serpis region. More than 100 Neolithic settlements have been identified in this area, and most of these open sites are characterised by dark brown strata that are in contrast with the light brown soils of the valley. These dark brown deposits are usually covered by paleosols and have been interpreted as markers of anthropogenic activities. However, in order to demonstrate whether these strata are anthropogenic or natural features requires a better understand-ing of soil development processes. A total of fifty samples were taken across six different sites, and from each site the sam-pling was carried out at different depths through 3m deep sections. Four sites are clearly associated with archaeological findings (sites BF, LP, PB and AC); another one is from a natural section near the Neolithic site of Mas d’Is (MD) and has been radiocarbon dated to the beginning of the Holocene (7751-7611 cal BC); and the last corresponds to a place of uncertain attribution (BK). Major, minor and trace elements including REE were determined using XRF and ICP- MS, with Principal Components Analysis (PCA) used to statistically analyze these data. Results were then compared with the strata soil properties analysed by XRD and particle size analysis, and cross-referenced with archaeological data to aid interpretation. The results demonstrate that REE analyses provide significant details regarding anthropogenic activities and strata development history, and in this instance confirm and elaborate on the archaeological interpretation that these dark brown deposits are evidence of a region-wide agricultural system in the Neolithic Valle del Serpis