Linking Reduced Deforestation and a Global Carbon Market: Impacts on Costs, Financial Flows, and Technological Innovation

25 p.

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, nonfailure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Program development using abstract interpretation (and the ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Triple Structural Transition below Room Temperature in the Antifilarial Drug Diethylcarbamazine Citrate

A very unusual triple structural transition pattern below room temperature was observed for the antifilarial drug diethylcarbamazine citrate. Besides the first thermal, crystallographic, and vibrational investigations of this first-line drug used in clinical treatment for lymphatic filariasis, a noteworthy behavior with three structural transformations as a function of temperature was demonstrated by differential scanning calorimetry, Raman spectroscopy, and single-crystal X-ray diffractometry. Our X-ray data on single crystals allow for a complete featuring and understanding of all transitions, since the four structures associated with the three solid-solid phase transformations were accurately determined. Two of three structural transitions show an order-disorder mechanism and temperature hysteresis with exothermic peaks at 224 K (T(1)`) and 213 K (T(2)`) upon cooling and endothermic ones at 248 K (T(1)) and 226 K (T(2)) upon heating. The other transition occurs at 108 K (T(3)) and it is temperature-rate sensitive. Molecular displacements onto the (010) plane and conformational changes of the diethylcarbamazine backbone as a consequence of the C-H center dot center dot center dot N hydrogen bonding formation/cleavage between drug molecules explain the mechanism of the transitions at T(1)`/T(2). However, such changes are observed only on alternate columns of the drug intercalated by citrate chains, which leads to a doubling of the lattice period along the a axis of the 235 K structure with respect to the 150 and 293 K structures. At T(2)`/T(1), these structural alterations occur in all columns of the drug. At T(3), there is a rotation on the axis of the N-C bond between the carbamoyl moiety and an ethyl group of one crystallographically independent diethylcarbamazine molecule besides molecular shifts and other conformational alterations. The impact of this study is based on the fascinating finding in which the versatile capability of structural adaptation dependent on the thermal history was observed for a relatively simple organic salt, diethylcarbamazine citrate.

A model for inter-module analysis and optimizing compilation

Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: sepárate compilation of modules is not supported. We describe and empirically evalúate a simple model for extending global program analysis to support sepárate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.

The ciao prolog system

Ciao is a public domain, next generation multi-paradigm programming environment with a unique set of features: Ciao offers a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. As a result, it allows working with fully declarative subsets of Prolog and also to extend these subsets (or ISO-Prolog) both syntactically and semantically. Most importantly, these restrictions and extensions can be activated separately on each program module so that several extensions can coexist in the same application for different modules. Ciao also supports (through such extensions) programming with functions, higher-order (with predicate abstractions), constraints, and objects, as well as feature terms (records), persistence, several control rules (breadth-first search, iterative deepening, ...), concurrency (threads/engines), a good base for distributed execution (agents), and parallel execution. Libraries also support WWW programming, sockets, external interfaces (C, Java, TclTk, relational databases, etc.), etc. Ciao offers support for programming in the large with a robust module/object system, module-based separate/incremental compilation (automatically -no need for makefiles), an assertion language for declaring (optional) program properties (including types and modes, but also determinacy, non-failure, cost, etc.), automatic static inference and static/dynamic checking of such assertions, etc. Ciao also offers support for programming in the small producing small executables (including only those builtins used by the program) and support for writing scripts in Prolog. The Ciao programming environment includes a classical top-level and a rich emacs interface with an embeddable source-level debugger and a number of execution visualization tools. The Ciao compiler (which can be run outside the top level shell) generates several forms of architecture-independent and stand-alone executables, which run with speed, efficiency and executable size which are very competive with other commercial and academic Prolog/CLP systems. Library modules can be compiled into compact bytecode or C source files, and linked statically, dynamically, or autoloaded. The novel modular design of Ciao enables, in addition to modular program development, effective global program analysis and static debugging and optimization via source to source program transformation. These tasks are performed by the Ciao preprocessor ( ciaopp, distributed separately). The Ciao programming environment also includes lpdoc, an automatic documentation generator for LP/CLP programs. It processes Prolog files adorned with (Ciao) assertions and machine-readable comments and generates manuals in many formats including postscript, pdf, texinfo, info, HTML, man, etc. , as well as on-line help, ascii README files, entries for indices of manuals (info, WWW, ...), and maintains WWW distribution sites.

A fenntartható fejlődéssel foglalkozó nemzetközi együttműködés négy évtizede (Four Decades of International Cooperation on Sustainable Development)

Along with the recognition of the increasing environmental and social problems stemming from globalization, the need to address these problems and to develop the relevant international framework has strengthened since the 1970s. The scope of this cooperation gradually broadened and eventually it embraced all issues, which were considered to be critical for sustainable development. The summits on sustainability, namely, the UN Conference on Environment and Development in 1992, the “Rio+5” in 1997 and the World Summit on Sustainable Development in 2002, wished to respond to all unsustainable processes by adopting, reinforcing and expanding a global program. This program is based on a series of important principles and includes various goals and instruments adopted by consensus; however, it also reflects delicate compromises between development related aspirations and environmental barriers, and also between the developed and the developing countries. Actually, there is a serious implementation gap and there are also new challenges. Referring to these problems, the idea of convening an extraordinary summit in 2012 was raised and it was eventually adopted but with a rather narrow mandate and agenda. It turned out that besides the “usual” conflicts between the developed and developing countries e.g. upon the common but differentiated responsibilities or international development financing, there were also diverting views on the green economy and on the ways of institutional strengthening of the international sustainable development and environmental governance. As a consequence, the 2012 Conference concluded with rather modest results.

Creating global networks through an online engineering graduate program

Internationally the railway industry is facing a severe shortage of engineers with high level, relevant, profession and technical knowledge and abilities, in particular amongst engineers involved in the design, construction and maintenance of railway infrastructure. A unique graduate level program has been created to meet that global need via a fully online, distance education format. The development and operation of this Master of Engineering degree is proposed as a model of the process needed for the industry-relevance, flexible delivery, international networking, and professional development required for a successful graduate engineering program in the 21st century. In particular, the paper demonstrates how a mix of new and more familiar technologies are utilised through a variety of tasks to overcome the huge distances and multiple time zones that separate the participants across a growing number of countries, successfully achieving close and sustained interaction amongst the participants and railway experts.

Indicator Bats Program: A System for the Global Acoustic Monitoring of Bats

Bats are an important component of mammalian biodiversity and fill such a wide array of ecological niches that they may offer an important multisensory bioindicator role in assessing ecosystem health. There is a need to monitor population trends of bats for their own sake because many populations face numerous environmental threats related to climate change, habitat loss, fragmentation, hunting, and emerging diseases. To be able to establish bat ultrasonic biodiversity trends as a reliable indicator, it is important to standardize monitoring protocols, data management, and analyses. This chapter discusses the main issues to be considered in developing a bat ultrasonic indicator. It focuses on the results from indicator bats program (iBats), a system for the global acoustic monitoring of bats, in Eastern Europe. Finally, the chapter reviews the strengths and weaknesses of the Program and considers the opportunities and threats that it may face in the future.

The “Centre for Child Protection” of the Gregorian University/Rome. First experiences, results and reflections in setting up a global e-learning-program for the prevention of sexual abuse of minors

Resumen: El Centro para la Protección Infantil ha sido fundado en cooperación con el Instituto de Psicología de la Universidad Gregoriana (Roma, Italia), el Departamento para la Psiquiatría/Psicoterapia Infantil y Adolescente del Hospital de la Universidad de Ulm (Alemania) y la Arquidiócesis de Múnich (Alemania). Su tarea principal es la creación de un centro global de entrenamiento e-learning para profesiones de pastoral que respondan al abuso sexual de los menores, tomando en consideración asuntos multilingüísticos e interculturales. Dentro de tres años el Centro desarrollado e implementado un programa e-learning en cuatro lenguas. Ocho socios del proyecto internacional asumen un papel en el reclutamiento de participantes y en la evaluación en curso del programa. En esta fase, personas-test son incluidas en el desarrollo y la evaluación del programa, como parte de la formación (en curso) de sacerdotes y de otros coagentes de pastoral

Global Climate Change Impacts in the United States: a state of knowledge report from the U.S. Global Change Research Program

Executive Summary: Observations show that warming of the climate is unequivocal. The global warming observed over the past 50 years is due primarily to human-induced emissions of heat-trapping gases. These emissions come mainly from the burning of fossil fuels (coal, oil, and gas), with important contributions from the clearing of forests, agricultural practices, and other activities. Warming over this century is projected to be considerably greater than over the last century. The global average temperature since 1900 has risen by about 1.5ºF. By 2100, it is projected to rise another 2 to 11.5ºF. The U.S. average temperature has risen by a comparable amount and is very likely to rise more than the global average over this century, with some variation from place to place. Several factors will determine future temperature increases. Increases at the lower end of this range are more likely if global heat-trapping gas emissions are cut substantially. If emissions continue to rise at or near current rates, temperature increases are more likely to be near the upper end of the range. Volcanic eruptions or other natural variations could temporarily counteract some of the human-induced warming, slowing the rise in global temperature, but these effects would only last a few years. Reducing emissions of carbon dioxide would lessen warming over this century and beyond. Sizable early cuts in emissions would significantly reduce the pace and the overall amount of climate change. Earlier cuts in emissions would have a greater effect in reducing climate change than comparable reductions made later. In addition, reducing emissions of some shorter-lived heat-trapping gases, such as methane, and some types of particles, such as soot, would begin to reduce warming within weeks to decades. Climate-related changes have already been observed globally and in the United States. These include increases in air and water temperatures, reduced frost days, increased frequency and intensity of heavy downpours, a rise in sea level, and reduced snow cover, glaciers, permafrost, and sea ice. A longer ice-free period on lakes and rivers, lengthening of the growing season, and increased water vapor in the atmosphere have also been observed. Over the past 30 years, temperatures have risen faster in winter than in any other season, with average winter temperatures in the Midwest and northern Great Plains increasing more than 7ºF. Some of the changes have been faster than previous assessments had suggested. These climate-related changes are expected to continue while new ones develop. Likely future changes for the United States and surrounding coastal waters include more intense hurricanes with related increases in wind, rain, and storm surges (but not necessarily an increase in the number of these storms that make landfall), as well as drier conditions in the Southwest and Caribbean. These changes will affect human health, water supply, agriculture, coastal areas, and many other aspects of society and the natural environment. This report synthesizes information from a wide variety of scientific assessments (see page 7) and recently published research to summarize what is known about the observed and projected consequences of climate change on the United States. It combines analysis of impacts on various sectors such as energy, water, and transportation at the national level with an assessment of key impacts on specific regions of the United States. For example, sea-level rise will increase risks of erosion, storm surge damage, and flooding for coastal communities, especially in the Southeast and parts of Alaska. Reduced snowpack and earlier snow melt will alter the timing and amount of water supplies, posing significant challenges for water resource management in the West. (PDF contains 196 pages)

Collaborative training program in coastal management in the Philippines: a local initiative with a global perspective

A collaborative project in developing a broad-based coastal management training program in the Philippines is being undertaken by a group of government and nongovernment agencies. It addresses the lack of expertise in planning an implementation for coastal management in the country. The process will be documented to serve as a guide in starting and maintaining the process of collaborative training in coastal management in the region. Other training initiatives are outlined including regional and global efforts.

The potential consequences of climate variability and change on coastal areas and marine resources: report of the Coastal Areas and Marine Resources Sector Team, U.S. National Assessment of the Potential Consequences of Climate Variability and Change, U.S. Global Change Research Program

Coastal and marine ecosystems support diverse and important fisheries throughout the nation’s waters, hold vast storehouses of biological diversity, and provide unparalleled recreational opportunities. Some 53% of the total U.S. population live on the 17% of land in the coastal zone, and these areas become more crowded every year. Demands on coastal and marine resources are rapidly increasing, and as coastal areas become more developed, the vulnerability of human settlements to hurricanes, storm surges, and flooding events also increases. Coastal and marine environments are intrinsically linked to climate in many ways. The ocean is an important distributor of the planet’s heat, and this distribution could be strongly influenced by changes in global climate over the 21st century. Sea-level rise is projected to accelerate during the 21st century, with dramatic impacts in low-lying regions where subsidence and erosion problems already exist. Many other impacts of climate change on the oceans are difficult to project, such as the effects on ocean temperatures and precipitation patterns, although the potential consequences of various changes can be assessed to a degree. In other instances, research is demonstrating that global changes may already be significantly impacting marine ecosystems, such as the impact of increasing nitrogen on coastal waters and the direct effect of increasing carbon dioxide on coral reefs. Coastal erosion is already a widespread problem in much of the country and has significant impacts on undeveloped shorelines as well as on coastal development and infrastructure. Along the Pacific Coast, cycles of beach and cliff erosion have been linked to El Niño events that elevate average sea levels over the short term and alter storm tracks that affect erosion and wave damage along the coastline. These impacts will be exacerbated by long-term sea-level rise. Atlantic and Gulf coastlines are especially vulnerable to long-term sea-level rise as well as any increase in the frequency of storm surges or hurricanes. Most erosion events here are the result of storms and extreme events, and the slope of these areas is so gentle that a small rise in sea level produces a large inland shift of the shoreline. When buildings, roads and seawalls block this natural migration, the beaches and shorelines erode, threatening property and infrastructure as well as coastal ecosystems.

Clinical outcome of patients with and without diabetes mellitus after percutaneous coronary intervention with the resolute zotarolimus-eluting stent: 2-year results from the prospectively pooled analysis of the international global RESOLUTE program

OBJECTIVES The aim of this study was to describe the process to obtain Food and Drug Administration (FDA) approval for the expanded indication for treatment with the Resolute zotarolimus-eluting stent (R-ZES) (Medtronic, Inc., Santa Rosa, California) in patients with coronary artery disease and diabetes. BACKGROUND The R-ZES is the first drug-eluting stent specifically indicated in the United States for percutaneous coronary intervention in patients with diabetes. METHODS We pooled patient-level data for 5,130 patients from the RESOLUTE Global Clinical Program. A performance goal prospectively determined in conjunction with the FDA was established as a rate of target vessel failure at 12 months of 14.5%. In addition to the FDA pre-specified cohort of less complex patients with diabetes (n = 878), we evaluated outcomes of the R-ZES in all 1,535 patients with diabetes compared with all 3,595 patients without diabetes at 2 years. RESULTS The 12-month rate of target vessel failure in the pre-specified diabetic cohort was 7.8% (upper 95% confidence interval: 9.51%), significantly lower than the performance goal of 14.5% (p < 0.001). After 2 years, the cumulative incidence of target lesion failure in patients with noninsulin-treated diabetes was comparable to that of patients without diabetes (8.0% vs. 7.1%). The higher risk insulin-treated population demonstrated a significantly higher target lesion failure rate (13.7%). In the whole population, including complex patients, rates of stent thrombosis were not significantly different between patients with and without diabetes (1.2% vs. 0.8%). CONCLUSIONS The R-ZES is safe and effective in patients with diabetes. Long-term clinical data of patients with noninsulin-treated diabetes are equivalent to patients without diabetes. Patients with insulin-treated diabetes remain a higher risk subset. (The Medtronic RESOLUTE Clinical Trial; NCT00248079; Randomized, Two-arm, Non-inferiority Study Comparing Endeavor-Resolute Stent With Abbot Xience-V Stent [RESOLUTE-AC]; NCT00617084; The Medtronic RESOLUTE US Clinical Trial (R-US); NCT00726453; RESOLUTE International Registry: Evaluation of the Resolute Zotarolimus-Eluting Stent System in a 'Real-World' Patient Population [R-Int]; NCT00752128; RESOLUTE Japan-The Clinical Evaluation of the MDT-4107 Drug-Eluting Coronary Stent [RJ]; NCT00927940).