A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Life cycle analysis of zero waste management for Jonggol green city

A Zero waste management is believed to be one of methods to gain sustainability in urban areas. Take advantages of resources as enough as the needs and process it until the last part to be wasted is a contribution to take care the environment for the next generation. Reduce, reuse, and recycle are three simplesactivities which are until nowadays consideredas the back bone of zero waste. Jonggolgreen city is a new urban area in Indonesia with a 100 ha of surface area zoned as education tourism area. It is an independent area with pure natural resources of water, air, and land to be managed and protected. It is planned as green city through zero waste management since2013. In this preliminary period, a monitoring tool is being prepared by applying a Life Cycle Analysis (LCA) for urban areas [1]. This paper will present an explanatory assessment ofthe zero waste management for Jonggolgreen city. The existing situation will be examined through LCA and afterwards,the new program and the proposed green design to gain the next level of zero waste will be discussed. The purpose is to track the persistence of the commitment and the perception of the necessary innovationsin order to achieve the ideal behavior level of LCA.

A Casa do Côto: entre a definição medieval e o desígnio contemporâneo

Dissertação de mestrado integrado em Arquitectura

Aplicação da linha de equilíbrio no planeamento e controlo da construção

Dissertação de mestrado integrado em Engenharia Civil

Relatório de atividade profissional

Relatório de atividade profissional de mestrado em Ciências – Formação Contínua de Professores (área de especialização em Matemática)

Reúso do património do movimento moderno: a panificadora de Vila Real

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cultura Arquitectónica)

Aider les étudiants en médecine à approcher la mort [Helping medical students to approach death].

A project recently launched by the Faculty of biology and medicine of Lausanne introduces the approach of facing death during both the dissection and the course of clinical activities. Existential questions relating to mortality are bound to arise sooner or later during the course of the study. For the sake of humanized clinical practice, these questions must be confronted. In response to a request by a student association, an accompanying curriculum with active student's contribution through encounters with death in anatomy and clinical situations was created in Lausanne. Students will benefit from this new program throughout their curriculum. This program is the first of its kind in Switzerland.

2011 Road Use Tax Fund (RUTF) Study A report to the Iowa Legislature, per 2011 Iowa Code Section 307.31

The transportation system is in demand 24/7 and 365 days a year irrespective of neither the weather nor the conditions. Iowa’s transportation system is an integral and essential part of society serving commerce and daily functions of all Iowans across the state. A high quality transportation system serves as the artery for economic activity and, the condition of the infrastructure is a key element for our future growth opportunities. A key component of Iowa’s transportation system is the public roadway system owned and maintained by the state, cities and counties. In order to regularly re-evaluate the conditions of Iowa’s public roadway infrastructure and assess the ability of existing revenues to meet the needs of the system, the Iowa Department of Transportation’s 2006 Road Use Tax Fund (RUTF) report to the legislature included a recommendation that a study be conducted every five years. That recommendation was included in legislation adopted in 2007 and signed into law. The law specifically requires the following (2011 Iowa Code Section 307.31): •“The department shall periodically review the current revenue levels of the road use tax fund and the sufficiency of those revenues for the projected construction and maintenance needs of city, county, and state governments in the future. The department shall submit a written report to the general assembly regarding its findings by December 31 every five years, beginning in 2011. The report may include recommendations concerning funding levels needed to support the future mobility and accessibility for users of Iowa's public road system.” •“The department shall evaluate alternative funding sources for road maintenance and construction and report to the general assembly at least every five years on the advantages and disadvantages and the viability of alternative funding mechanisms.” Consistent with this requirement, the Iowa Department of Transportation (DOT) has prepared this study. Recognizing the importance of actively engaging with the public and transportation stakeholders in any discussion of public roadway conditions and needs, Governor Terry E. Branstad announced on March 8, 2011, the creation of, and appointments to, the Governor’s Transportation 2020 Citizen Advisory Commission (CAC). The CAC was tasked with assisting the Iowa DOT as they assess the condition of Iowa’s roadway system and evaluate current and future funding available to best address system needs. In particular the CAC was directed to gather input from the public and stakeholders regarding the condition of Iowa’s public roadway system, the impact of that system, whether additional funding is needed to maintain/improve the system, and, if so, what funding mechanisms ought to be considered. With this input, the CAC prepared a report and recommendations that were presented to Governor Branstad and the Iowa DOT in November 2011 for use in the development of this study. The CAC’s report is available at www.iowadot.gov/transportation2020/pdfs/CAC%20REPORT%20FINAL%20110211.pdf. The CAC’s report was developed utilizing analysis and information from the Iowa DOT. Therefore, the report forms the basis for this study and the two documents are very similar. Iowa is fortunate to have an extensive public roadway system that provides access to all areas of the state and facilitates the efficient movement of goods and people. However, it is also a tremendous challenge for the state, cities and counties to maintain and improve this system given flattening revenue, lost buying power, changing demands on the system, severe weather, and an aging system. This challenge didn’t appear overnight and for the last decade many studies have been completed to look into the situation and the legislature has taken significant action to begin addressing the situation. In addition, the Iowa DOT and Iowa’s cities and counties have worked jointly and independently to increase efficiency and streamline operations. All of these actions have been successful and resulted in significant changes; however, it is apparent much more needs to be done. A well-maintained, high-quality transportation system reduces transportation costs and provides consistent and reliable service. These are all factors that are critical in the evaluation companies undertake when deciding where to expand or locate new developments. The CAC and Iowa DOT heard from many Iowans that additional investment in Iowa’s roadway system is vital to support existing jobs and continued job creation in the state of Iowa. Beginning June 2011, the CAC met regularly to review material and discuss potential recommendations to address Iowa’s roadway funding challenges. This effort included extensive public outreach with meetings held in seven locations across Iowa and through a Transportation 2020 website hosted by the Iowa DOT (www.iowadot.gov/transportation2020). Over 500 people attended the public meetings held through the months of August and September, with 198 providing verbal or written comment at the meetings or through the website. Comments were received from a wide array of individuals. The public comments demonstrated overwhelming support for increased funding for Iowa’s roads. Through the public input process, several guiding principles were established to guide the development of recommendations. Those guiding principles are: • Additional revenues are restricted for road and bridge improvements only, like 95 percent of the current state road revenue is currently. This includes the fuel tax and registration fees. • State and local governments continue to streamline and become more efficient, both individually and by looking for ways to do things collectively. • User fee concept is preserved, where those who use the roads pay for them, including non¬residents. • Revenue-generating methods equitable across users. • Increase revenue generating mechanisms that are viable now but begin to implement and set the stage for longer-term solutions that bring equity and stability to road funding. • Continue Iowa’s long standing tradition of state roadway financing coming from pay-as-you-go financing. Iowa must not fall into the situation that other states are currently facing where the majority of their new program dollars are utilized to pay the debt service of past bonding. Based on the analysis of Iowa’s public roadway needs and revenue and the extensive work of the Governor’s Transportation 2020 Citizen Advisory Commission, the Iowa DOT has identified specific recommendations. The recommendations follow very closely the recommendations of the CAC (CAC recommendations from their report are repeated in Appendix B). Following is a summary of the recommendations which are fully documented beginning on page 21. 1. Through a combination of efficiency savings and increased revenue, a minimum of $215 million of revenue per year should be generated to meet Iowa’s critical roadway needs. 2. The Code of Iowa should be changed to require the study of the sufficiency of the state’s road funds to meet the road system’s needs every two years instead of every five years to coincide with the biennial legislative budget appropriation schedule. 3.Modify the current registration fee for electric vehicles to be based on weight and value using the same formula that applies to most passenger vehicles. 4.Consistent with existing Code of Iowa requirements, new funding should go to the TIME-21 Fund up to the cap ($225 million) and remaining new funding should be distributed consistent with the Road Use Tax Fund distribution formula. 5.The CAC recommended the Iowa DOT at least annually convene meetings with cities and counties to review the operation, maintenance and improvement of Iowa’s public roadway system to identify ways to jointly increase efficiency. In direct response to this recommendation, Governor Branstad directed the Iowa DOT to begin this effort immediately with a target of identifying $50 million of efficiency savings that can be captured from the over $1 billion of state revenue already provided to the Iowa DOT and Iowa’s cities and counties to administer, maintain and improve Iowa’s public roadway system. This would build upon past joint and individual actions that have reduced administrative costs and resulted in increased funding for improvement of Iowa’s public roadway system. Efficiency actions should be quantified, measured and reported to the public on a regular basis. 6.By June 30, 2012, Iowa DOT should complete a study of vehicles and equipment that use Iowa’s public roadway system but pay no user fees or substantially lower user fees than other vehicles and equipment.

Open licensing's impact on higher education resources colombian and catalan approaches

A new initiative has sprung on the path created by the Open Access (OA) movement: Open Education (OE). The initiative's aim is to open up all educational resources at all learning levels. In order to achieve this goal, several international institutions, like UNESCO and the OECD, have published reports, surveys and documents to help educational institutions in this endeavor. This global initiative needs a legal framework; as a result, efforts thus far have usually resorted to Open Licensing (OL), especially Creative Commons (CC) licensing. In fact, as a response to this new movement, Creative Commons launched a new program, ccLearn , which recognizes open licensing's impact on education and directly supports the idea of open educational resources (OER). However, there still remain a good amount of open questions: What is happening locally with OL in higher education? How are educational institutions receiving the initiative? How is it that the OL initiative relates to educational resources? Are there local examples of open educational resources (OER)? How do these local instances incorporate CC into their educational frameworks?. To this effect, this analysis aims to focus on the legal approach and specifically on the way the educational sector is using open licenses outside the English speaking world. It will do so by looking at the current situation in two specific scenarios, the Colombian and the Catalan experiences with open educational projects at the higher education level.

Chronic Disease Connections, September 2013

IDPH has a new grant-funded program, the Health Promotion and Chronic Disease Control Partnership. This publication, Chronic Disease Connections, will be part of the communication strategy between IDPH staff and healthcare system providers throughout the state as we partner to help patients control their diabetes and high blood pressure. This is just one of the major objectives for the funding. The CDC would like to see that more patients are aware that they have pre-diabetes, diabetes or high blood pressure and that health systems are maximizing evidence-based strategies to assist patients with achieving control. Over the coming months you will hear more about the new program and how you can become involved.

Chronic Disease Connections, October 2013

IDPH has a new grant-funded program, the Health Promotion and Chronic Disease Control Partnership. This publication, Chronic Disease Connections, will be part of the communication strategy between IDPH staff and healthcare system providers throughout the state as we partner to help patients control their diabetes and high blood pressure. This is just one of the major objectives for the funding. The CDC would like to see that more patients are aware that they have pre-diabetes, diabetes or high blood pressure and that health systems are maximizing evidence-based strategies to assist patients with achieving control. Over the coming months you will hear more about the new program and how you can become involved.

Chronic Disease Connections, November 2013

IDPH has a new grant-funded program, the Health Promotion and Chronic Disease Control Partnership. This publication, Chronic Disease Connections, will be part of the communication strategy between IDPH staff and healthcare system providers throughout the state as we partner to help patients control their diabetes and high blood pressure. This is just one of the major objectives for the funding. The CDC would like to see that more patients are aware that they have pre-diabetes, diabetes or high blood pressure and that health systems are maximizing evidence-based strategies to assist patients with achieving control. Over the coming months you will hear more about the new program and how you can become involved.

Chronic Disease Connections, December 2013

IDPH has a new grant-funded program, the Health Promotion and Chronic Disease Control Partnership. This publication, Chronic Disease Connections, will be part of the communication strategy between IDPH staff and healthcare system providers throughout the state as we partner to help patients control their diabetes and high blood pressure. This is just one of the major objectives for the funding. The CDC would like to see that more patients are aware that they have pre-diabetes, diabetes or high blood pressure and that health systems are maximizing evidence-based strategies to assist patients with achieving control. Over the coming months you will hear more about the new program and how you can become involved.

Chronic Disease Connections, January 2014

IDPH has a new grant-funded program, the Health Promotion and Chronic Disease Control Partnership. This publication, Chronic Disease Connections, will be part of the communication strategy between IDPH staff and healthcare system providers throughout the state as we partner to help patients control their diabetes and high blood pressure. This is just one of the major objectives for the funding. The CDC would like to see that more patients are aware that they have pre-diabetes, diabetes or high blood pressure and that health systems are maximizing evidence-based strategies to assist patients with achieving control. Over the coming months you will hear more about the new program and how you can become involved.

Chronic Disease Connections, February 2014

IDPH has a new grant-funded program, the Health Promotion and Chronic Disease Control Partnership. This publication, Chronic Disease Connections, will be part of the communication strategy between IDPH staff and healthcare system providers throughout the state as we partner to help patients control their diabetes and high blood pressure. This is just one of the major objectives for the funding. The CDC would like to see that more patients are aware that they have pre-diabetes, diabetes or high blood pressure and that health systems are maximizing evidence-based strategies to assist patients with achieving control. Over the coming months you will hear more about the new program and how you can become involved.