Causality-Guided Adaptive Interventional Debugging

Runtime nondeterminism is a fact of life in modern database applications. Previous research has shown that nondeterminism can cause applications to intermittently crash, become unresponsive, or experience data corruption. We propose Adaptive Interventional Debugging (AID) for debugging such intermittent failures. AID combines existing statistical debugging, causal analysis, fault injection, and group testing techniques in a novel way to (1) pinpoint the root cause of an application's intermittent failure and (2) generate an explanation of how the root cause triggers the failure. AID works by first identifying a set of runtime behaviors (called predicates) that are strongly correlated to the failure. It then utilizes temporal properties of the predicates to (over)-approximate their causal relationships. Finally, it uses fault injection to execute a sequence of interventions on the predicates and discover their true causal relationships. This enables AID to identify the true root cause and its causal relationship to the failure. We theoretically analyze how fast AID can converge to the identification. We evaluate AID with six real-world applications that intermittently fail under specific inputs. In each case, AID was able to identify the root cause and explain how the root cause triggered the failure, much faster than group testing and more precisely than statistical debugging. We also evaluate AID with many synthetically generated applications with known root causes and confirm that the benefits also hold for them.Comment: Technical report of AID (SIGMOD 2020

Development of an integrated decision support system for supporting offshore oil spill response in harsh environments

Offshore oil spills can lead to significantly negative impacts on socio-economy and constitute a direct hazard to the marine environment and human health. The response to an oil spill usually consists of a series of dynamic, time-sensitive, multi-faceted and complex processes subject to various constraints and challenges. In the past decades, many models have been developed mainly focusing on individual processes including oil weathering simulation, impact assessment, and clean-up optimization. However, to date, research on integration of offshore oil spill vulnerability analysis, process simulation and operation optimization is still lacking. Such deficiency could be more influential in harsh environments. It becomes noticeably critical and urgent to develop new methodologies and improve technical capacities of offshore oil spill responses. Therefore, this proposed research aims at developing an integrated decision support system for supporting offshore oil spill responses especially in harsh environments (DSS-OSRH). Such a DSS consists of offshore oil spill vulnerability analysis, response technologies screening, and simulation-optimization coupling. The uncertainties and/or dynamics have been quantitatively reflected throughout the modeling processes. First, a Monte Carlo simulation based two-stage adaptive resonance theory mapping (MC-TSAM) approach has been developed. A real-world case study was applied for offshore oil spill vulnerability index (OSVI) classification in the south coast of Newfoundland to demonstrate this approach. Furthermore, a Monte Carlo simulation based integrated rule-based fuzzy adaptive resonance theory mapping (MC-IRFAM) approach has been developed for screening and ranking for spill response and clean-up technologies. The feasibility of the MC-IRFAM was tested with a case of screening and ranking response technologies in an offshore oil spill event. A novel Monte Carlo simulation based dynamic mixed integer nonlinear programming (MC-DMINP) approach has also been developed for the simulation-optimization coupling in offshore oil spill responses. To demonstrate this approach, a case study was conducted in device allocation and oil recovery in an offshore oil spill event. Finally, the DSS-OSRH has been developed based on the integration of MC-TSAM, MC-IRFAM, AND MC-DSINP. To demonstrate its feasibility, a case study was conducted in the decision support during offshore oil spill response in the south coast of Newfoundland. The developed approaches and DSS are the first of their kinds to date targeting offshore oil spill responses. The novelty can be reflected from the following aspects: 1) an innovative MC-TSAM approach for offshore OSVI classification under complexity and uncertainty; 2) a new MC-IRFAM approach for oil spill response technologies classification and ranking with uncertain information; 3) a novel MC-DMINP simulation-optimization coupling approach for offshore oil spill response operation and resource allocation under uncertainty; and 4) an innovational DSS-OSRH which consists of the MC-TSAM, MC-IRFAM, MC-DMINP, supporting decision making throughout the offshore oil spill response processes. These methods are particularly suitable for offshore oil spill responses in harsh environments such as the offshore areas of Newfoundland and Labrador (NL). The research will also promote the understanding of the processes of oil transport and fate and the impacts to the affected offshore and shoreline area. The methodologies will be capable of providing modeling tools for other related areas that require timely and effective decisions under complexity and uncertainty

Women in Artificial intelligence (AI)

This Special Issue, entitled "Women in Artificial Intelligence" includes 17 papers from leading women scientists. The papers cover a broad scope of research areas within Artificial Intelligence, including machine learning, perception, reasoning or planning, among others. The papers have applications to relevant fields, such as human health, finance, or education. It is worth noting that the Issue includes three papers that deal with different aspects of gender bias in Artificial Intelligence. All the papers have a woman as the first author. We can proudly say that these women are from countries worldwide, such as France, Czech Republic, United Kingdom, Australia, Bangladesh, Yemen, Romania, India, Cuba, Bangladesh and Spain. In conclusion, apart from its intrinsic scientific value as a Special Issue, combining interesting research works, this Special Issue intends to increase the invisibility of women in AI, showing where they are, what they do, and how they contribute to developments in Artificial Intelligence from their different places, positions, research branches and application fields. We planned to issue this book on the on Ada Lovelace Day (11/10/2022), a date internationally dedicated to the first computer programmer, a woman who had to fight the gender difficulties of her times, in the XIX century. We also thank the publisher for making this possible, thus allowing for this book to become a part of the international activities dedicated to celebrating the value of women in ICT all over the world. With this book, we want to pay homage to all the women that contributed over the years to the field of AI

Risk Management for the Future

A large part of academic literature, business literature as well as practices in real life are resting on the assumption that uncertainty and risk does not exist. We all know that this is not true, yet, a whole variety of methods, tools and practices are not attuned to the fact that the future is uncertain and that risks are all around us. However, despite risk management entering the agenda some decades ago, it has introduced risks on its own as illustrated by the financial crisis. Here is a book that goes beyond risk management as it is today and tries to discuss what needs to be improved further. The book also offers some cases

Portugal SB13: contribution of sustainable building to meet EU 20-20-20 targets

Proceedings of the International Conference Portugal SB13: contribution of sustainable building to meet EU 20-20-20 targetsThe international conference Portugal SB13 is organized by the University of Minho, the Technical University of Lisbon and the Portuguese Chapter of the International Initiative for a Sustainable Built Environment in Guimarães, Portugal, from the 30th of October till the 1st of November 2013. This conference is included in the Sustainable Building Conference Series 2013-2014 (SB13-14) that are being organized all over the world. The event is supported by high prestige partners, such as the International Council for Research and Innovation in Building and Construction (CIB), the United Nations Environment Programme (UNEP), the International Federation of Consulting Engineers (FIDIC) and the International Initiative for a Sustainable Built Environment (iiSBE). Portugal SB13 is focused on the theme â Sustainable Building Contribution to Achieve the European Union 20-20-20 Targetsâ . These targets, known as the â EU 20-20-20â targets, set three key objectives for 2020: - A 20% reduction in EU greenhouse gas emissions from 1990 levels; - Raising the share of EU energy consumption produced from renewable resources to 20%; - A 20% improvement in the EU's energy efficiency. Building sector uses about 40% of global energy, 25% of global water, 40% of global resources and emit approximately 1/3 of the global greenhouse gas emissions (the largest contributor). Residential and commercial buildings consume approximately 60% of the worldâ s electricity. Existing buildings represent significant energy saving opportunities because their performance level is frequently far below the current efficiency potentials. Energy consumption in buildings can be reduced by 30 to 80% using proven and commercially available technologies. Investment in building energy efficiency is accompanied by significant direct and indirect savings, which help offset incremental costs, providing a short return on investment period. Therefore, buildings offer the greatest potential for achieving significant greenhouse gas emission reductions, at least cost, in developed and developing countries. On the other hand, there are many more issues related to the sustainability of the built environment than energy. The building sector is responsible for creating, modifying and improving the living environment of the humanity. Construction and buildings have considerable environmental impacts, consuming a significant proportion of limited resources of the planet including raw material, water, land and, of course, energy. The building sector is estimated to be worth 10% of global GDP (5.5 trillion EUR) and employs 111 million people. In developing countries, new sustainable construction opens enormous opportunities because of the population growth and the increasing prosperity, which stimulate the urbanization and the construction activities representing up to 40% of GDP. Therefore, building sustainably will result in healthier and more productive environments. The sustainability of the built environment, the construction industry and the related activities are a pressing issue facing all stakeholders in order to promote the Sustainable Development. The Portugal SB13 conference topics cover a wide range of up-to-date issues and the contributions received from the delegates reflect critical research and the best available practices in the Sustainable Building field. The issues presented include: - Nearly Zero Energy Buildings - Policies for Sustainable Construction - High Performance Sustainable Building Solutions - Design and Technologies for Energy Efficiency - Innovative Construction Systems - Building Sustainability Assessment Tools - Renovation and Retrofitting - Eco-Efficient Materials and Technologies - Urban Regeneration - Design for Life Cycle and Reuse - LCA of sustainable materials and technologies All the articles selected for presentation at the conference and published in these Proceedings, went through a refereed review process and were evaluated by, at least, two reviewers. The Organizers want to thank all the authors who have contributed with papers for publication in the proceedings and to all reviewers, whose efforts and hard work secured the high quality of all contributions to this conference. A special gratitude is also addressed to Eng. José Amarílio Barbosa and to Eng. Catarina Araújo that coordinated the Secretariat of the Conference. Finally, Portugal SB13 wants to address a special thank to CIB, UNEP, FIDIC and iiSBE for their support and wish great success for all the other SB13 events that are taking place all over the world