Miguel de Unamuno and Heraclitus: from ‘The Eternal Elegy’ (‘La elegía eterna’) to ‘The Cut Flower’(‘La flor tronchada’)

The aim of this brief article is to demonstrate and analyze the influence of Heraclitus’s thought on some of the poems written by Miguel de Unamuno, in particular ‘La elegía eterna’ and ‘La flor tronchada’. At times –as in ‘La elegía eterna’– Heraclitus merely serves as a sort of a walking stick, an aid to his efforts to poetically reveal his anxieties. On other occasions –as in ‘La flor tronchada’– he genuinely needs Heraclitus’s philosophy to illustrate his view of human life and its relation to God as unending warfare.

Biomedical risk assessment as an aid for smoking cessation.

BACKGROUND: A possible strategy for increasing smoking cessation rates could be to provide smokers who have contact with healthcare systems with feedback on the biomedical or potential future effects of smoking, e.g. measurement of exhaled carbon monoxide (CO), lung function, or genetic susceptibility to lung cancer. We reviewed systematically data on smoking cessation rates from controlled trials that used biomedical risk assessment and feedback. OBJECTIVES: To determine the efficacy of biomedical risk assessment provided in addition to various levels of counselling, as a contributing aid to smoking cessation. SEARCH STRATEGY: We systematically searched he Cochrane Collaboration Tobacco Addiction Group Specialized Register, Cochrane Central Register of Controlled Trials (CENTRAL), MEDLINE (1966 to 2004), and EMBASE (1980 to 2004). We combined methodological terms with terms related to smoking cessation counselling and biomedical measurements. SELECTION CRITERIA: Inclusion criteria were: a randomized controlled trial design; subjects participating in smoking cessation interventions; interventions based on a biomedical test to increase motivation to quit; control groups receiving all other components of intervention; an outcome of smoking cessation rate at least six months after the start of the intervention. DATA COLLECTION AND ANALYSIS: Two assessors independently conducted data extraction on each paper, with disagreements resolved by consensus. MAIN RESULTS: From 4049 retrieved references, we selected 170 for full text assessment. We retained eight trials for data extraction and analysis. One of the eight used CO alone and CO + Genetic Susceptibility as two different intervention groups, giving rise to three possible comparisons. Three of the trials isolated the effect of exhaled CO on smoking cessation rates resulting in the following odds ratios (ORs) and 95% confidence intervals (95% CI): 0.73 (0.38 to 1.39), 0.93 (0.62 to 1.41), and 1.18 (0.84 to 1.64). Combining CO measurement with genetic susceptibility gave an OR of 0.58 (0.29 to 1.19). Exhaled CO measurement and spirometry were used together in three trials, resulting in the following ORs (95% CI): 0.6 (0.25 to 1.46), 2.45 (0.73 to 8.25), and 3.50 (0.88 to 13.92). Spirometry results alone were used in one other trial with an OR of 1.21 (0.60 to 2.42).Two trials used other motivational feedback measures, with an OR of 0.80 (0.39 to 1.65) for genetic susceptibility to lung cancer alone, and 3.15 (1.06 to 9.31) for ultrasonography of carotid and femoral arteries performed in light smokers (average 10 to 12 cigarettes a day). AUTHORS' CONCLUSIONS: Due to the scarcity of evidence of sufficient quality, we can make no definitive statements about the effectiveness of biomedical risk assessment as an aid for smoking cessation. Current evidence of lower quality does not however support the hypothesis that biomedical risk assessment increases smoking cessation in comparison with standard treatment. Only two studies were similar enough in term of recruitment, setting, and intervention to allow pooling of data and meta-analysis.

Issue review : school aid law changes.

This issue review examines law changes made during the past three legislative sessions, 2006 through 2008, that directly impact the Iowa School Aid Formula.

Implementation of the Federal Highway Administration Final Rule on Work Zone Safety and Mobility, 2007

The Federal Highway Administration published the final rule updating 23 CFR 630 Subpart J in September 2004. The revised rule requires agencies using federal funding to address both safety and mobility in planning and construction of roadway improvements. The Iowa Department of Transportation (Iowa DOT) requested the assistance of the Center for Transportation and Research in developing guidance for a policy and procedures to comply with the final rule. This report describes an in-depth examination of current Iowa DOT project development processes for all types of improvements, including maintenance, as well as a detailed characterization of work zone impact considerations throughout project completion. To comply with both the letter and perceived intent of the final rule on safety and mobility, the report features a suggested work zone policy statement and suggested revisions in the Iowa DOT project development processes, including a definition of the key element: significant projects.

Iowa Office of the State Long-Term Care Ombudsman Annual Report 2014

This report reflects the efforts of the Long-Term Care Ombudsmen by sharing program highlights, discussing issues encountered and making recommendations by the Office in carrying out its federal mandate to act as an advocate for the residents/tenants of long-term care facilities.

Iowa Office of the State Long-Term Care Ombudsman Annual Report 2015

This report reflects the efforts of the Long-Term Care Ombudsmen by sharing program highlights, discussing issues encountered and making recommendations by the Office in carrying out its federal mandate to act as an advocate for the residents and tenants of long-term care facilities.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Industrial solution business – transition from product to solution offering

The business logic in the manufacturing industry has changed in the 21st century. In the current industrial market, manufacturers are driven to provide more comprehensive offerings that go beyond the traditional product-orientation by providing capacity and availability for their customers. From incidental merchandise, services have become the core of manufacturers’ offerings with long-lasting service agreements over the life-cycles of their products. This change is driven both by the need of providers to grow and gain competitive advantage and by increased customer demand caused by customers’ outsourcing trends. The three key drivers for manufacturers’ service strategies are outsourcing trends, saturation of the installed base, and commoditization in product markets. Thus, manufacturers focus on providing industrial solutions which are delivered through relational processes with customers by using solution-driven business models. In the management of marketing activities, this can be regarded as closer customer relationships, service-dominant business logic, and collaboration in solving customers’ problems. However, there are few studies on comprehensive conceptualizations of a solution offering that include different elements and their roles, especially in the context of capital goods industry. Also the transition process needs further studies in a real life context. This study explores the transition process of an industrial company from product to solution business and, as an aid to managing the solution business, explicates the structure and management of an industrial solution offering. There are two themes, the industrial transition process and industrial solution offering. Regarding the industrial transition process, the aim is to understand the supplier view on the process and its execution and to determine the challenges related to the transition process. The industrial solution offering is discussed by its elements and characteristics, as well as management. Furthermore, a special type of build-own-operate-transfer business model is presented and its suitability in the industrial context analyzed. The study includes findings achieved by qualitative methods and from four case companies. Based on the results, it is tentatively suggested that in the industrial solution business, the transition from product to solution business is not a linear project but an evolving process that varies according to customer needs, which suggests that companies need to possess an ability to develop new business models for different customer needs. The industrial solution offering is dynamic as it evolves in collaboration according to the prevailing and latent customer needs, which suggest restructuring of the organization from a product-centric to a customer-centric one. Furthermore, based on the findings, the concept of industrial solutions is defined as an ongoing relational process to satisfy a customer’s particular business or operational requirements, and the concept of industrial solution offering as an entity comprising the customized goods, services, collaboration, and finance needed to fulfill the industrial solution. Finally, the study offers several managerial implications for industrial managers involved in the transition and management of the solution business and its offering.

Financial support of graduate programs in Brazil: quo vadis?

Graduate programs provide the highest level of formal education and thus are crucial for the development of any country. However, official Brazilian data clearly show a dramatic decrease in the number and values of scholarships available to graduate programs in Brazil over the last few years, despite the importance and growth of such programs. Between 1995 and 2004, investment by the Coordenadoria de Aperfeiçoamento de Pessoal do Ensino Superior (CAPES, subordinate to the Ministry of Education and Culture) in funding scholarships, corrected for inflation in the period, actually decreased by 51%. In addition, during the period between 1994 and 2004, there was a loss of about 60% in the purchasing power of the graduate scholarships provided by CAPES and the National Council for Science and Technology (CNPq). To reverse this trend, we propose the development of sectorial funding for Brazilian graduate programs to guarantee the availability and continuity of financial support for this strategic activity.

Evaluation of novel programs in health counseling – their effectiveness in the oral health of young children, and their acceptance by parents and professionals in public dental service.

Aim and design: To evaluate family-based health counseling for young children, and to study the significance of adding parental self-care or the training of professionals to the programs. The effectiveness and acceptability of the programs were evaluated by comparing two new programs with an earlier one. Subjects and methods: The study was carried out in Vantaa, which was divided into three study areas. The subjects consisted of children born in 2008, particularly fi rstborn children, while children born in 2006 formed the historical control. The fi rst of the new programs emphasized oral hygiene and use of fl uoride, and the second program focused on proper diet and use of xylitol. The main outcome measure was mutansstreptococci (MS) in the dental biofi lm of two-year-olds, and the opinions of parents and dental professionals were evaluated using questionnaires. Results: The programs found wide acceptance among dental professionals. There were no group-related differences found in the MS scores of the two-year-olds. However, all groups combined, father’s advanced level of education and child’s proper use of xylitol were associated with negative MS scores. In the opinion of parents, the oral healthcare guidance at least somewhat met their expectations. Conclusions: The present fi ndings suggest that providing training and support for professionals in health education is important. The addition of parental self-care to supplement programs aimed at young children does not improve the program, although it may improve parental readiness to change their own health habits. Counseling for families might be best carried out through a routine patient-centered program.

Partnership for arts integration : exploring the experiences of teachers and artists working with integrated arts programs

This research acknowledges the difficulties experienced by teachers presenting integrated arts curricula. Instructional support is offered by arts organizations that provide arts partnerships with local schools boards. The study focuses on the experiences of 8 teachers from a Catholic school board in southern Ontario who participated in integrated arts programs offered by The Royal Conservatory of Music's Learning Through the Arts™ (LTTATM) program and a local art gallery's Art Based Integrated Learning (ABIL) program and examines their responses to the programs and their perception of personal and professional development through this association. Additionally, questions were posed to the . "aftisfs"from-tneSe]Jfograrrrs;-and"they liiscus·sed·how"participating in-collaboration with teachers in the development of in-school programs enabled them to experience personal and professional development as well. Seven themes emerged from the data. These themes included: teachers' feelings of a lack of preparedness to teach the arts; the value of the arts and arts partnerships in schools; the role of the artists in the education of teachers; professional development for both teachers and artists; the development of collegiality; perceptions of student engagement; and the benefits and obstacles of integrating the arts into the curriculum. This document highlights the benefits to both teachers and artists of arts partnerships between schools and outside arts organizations.

The Ontario Municipal Freedom of Information and Protection of Individual Privacy Act: an analysis of its application to school boards

In Canada freedom of information must be viewed in the context of governing -- how do you deal with an abundance of information while balancing a diversity of competing interests? How can you ensure people are informed enough to participate in crucial decision-making, yet willing enough to let some administrative matters be dealt with in camera without their involvement in every detail. In an age when taxpayers' coalition groups are on the rise, and the government is encouraging the establishment of Parent Council groups for schools, the issues and challenges presented by access to information and protection of privacy legislation are real ones. The province of Ontario's decision to extend freedom of information legislation to local governments does not ensure, or equate to, full public disclosure of all facts or necessarily guarantee complete public comprehension of an issue. The mere fact that local governments, like school boards, decide to collect, assemble or record some information and not to collect other information implies that a prior decision was made by "someone" on what was important to record or keep. That in itself means that not all the facts are going to be disclosed, regardless of the presence of legislation. The resulting lack of information can lead to public mistrust and lack of confidence in those who govern. This is completely contrary to the spirit of the legislation which was to provide interested members of the community with facts so that values like political accountability and trust could be ensured and meaningful criticism and input obtained on matters affecting the whole community. This thesis first reviews the historical reasons for adopting freedom of information legislation, reasons which are rooted in our parliamentary system of government. However, the same reasoning for enacting such legislation cannot be applied carte blanche to the municipal level of government in Ontario, or - ii - more specifially to the programs, policies or operations of a school board. The purpose of this thesis is to examine whether the Municipal Freedom of Information and Protection of Privacy Act, 1989 (MFIPPA) was a neccessary step to ensure greater openness from school boards. Based on a review of the Orders made by the Office of the Information and Privacy Commissioner/Ontario, it also assesses how successfully freedom of information legislation has been implemented at the municipal level of government. The Orders provide an opportunity to review what problems school boards have encountered, and what guidance the Commissioner has offered. Reference is made to a value framework as an administrative tool in critically analyzing the suitability of MFIPPA to school boards. The conclusion is drawn that MFIPPA appears to have inhibited rather than facilitated openness in local government. This may be attributed to several factors inclusive of the general uncertainty, confusion and discretion in interpreting various provisions and exemptions in the Act. Some of the uncertainty is due to the fact that an insufficient number of school board staff are familiar with the Act. The complexity of the Act and its legalistic procedures have over-formalized the processes of exchanging information. In addition there appears to be a concern among municipal officials that granting any access to information may be violating personal privacy rights of others. These concerns translate into indecision and extreme caution in responding to inquiries. The result is delay in responding to information requests and lack of uniformity in the responses given. However, the mandatory review of the legislation does afford an opportunity to address some of these problems and to make this complex Act more suitable for application to school boards. In order for the Act to function more efficiently and effectively legislative changes must be made to MFIPPA. It is important that the recommendations for improving the Act be adopted before the government extends this legislation to any other public entities.

Advocating recognition and redistribution in poverty alleviation programs in Ghana : an examination of state and NGO programs and policies

Abstract This thesis argues that poverty alleviation strategies and programs carried out by the government and Non Governmental Organizations in Ghana provide affirmative solutions to poverty. This is because, these intervention strategies have been influenced by conventional discourses on poverty that fail to adequately address non-economic issues of poverty such as powerlessness, marginalization and tmder-representation. The study is carried out in a two-pronged manner; first, it analyses state policies and strategies, particularly the Ghana Poverty Reduction Strategy (GPRS), on poverty alleviation and compares these to NGO programs, implemented with funds and support from external donor organizations. Specifically, I focus on how NGOs and the governnlent of Ghana negotiate autonomy and financial dependency with their funding donor-partners and how these affect their policies and programs. Findings from this study reveal that while external influences dominate poverty alleviation policies and strategies, NGOs and the government of Ghana exercise varying degrees of agency in navigating these issues. In particular, NGOs have been able to adapt their programs to the changing needs of donor markets, and are also actively engaged in re-orienting poverty back to the political domain through advocacy campaigns. Overall, rural communities in Ghana depend on charitable NGOs for the provision of essential social services, while the Ghanaian government depends on international donor assistance for its development projects.

I.O.D.E. Niagara Rangers Chapter Minutes, 1991-1994, n.d.

The Imperial Order Daughters of the Empire was founded by Margaret Polson Murray in 1900 following the outbreak of the second Boer War. The organization gave charitable aid to soldiers and it assisted the dependents of deceased soldiers. The federation of women was formed to promote patriotism, loyalty and service to others. The mayors of Canada’s major cities were urged to call together the prominent women of their communities to join in this endeavor. In 1979, the name I.O.D.E was officially adopted. The organization is federally chartered not-for-profit. The focus is on improving the quality of life for children, youth and the underprivileged through educational, social service and citizenship programs. The membership list for this chapter lists 1917 as the beginning date and 1994 as the end date. The Niagara Rangers Chapter was located in Niagara Falls, Ontario.

I.O.D.E. Stamford Chapter Minutes, 1991-1994, n.d.

The Imperial Order Daughters of the Empire was founded by Margaret Polson Murray in 1900 following the outbreak of the second Boer War. The organization gave charitable aid to soldiers and it assisted the dependents of deceased soldiers. The federation of women was formed to promote patriotism, loyalty and service to others. The mayors of Canada's major cities were urged to call together the prominent women of their communities to join in this endeavour. In 1979, the name I.O.D.E. was officially adopted. The organization is federally chartered not-for-profit. The focus is on improving the quality of life for children, youth and the underprivileged through education, social services and citizenship programs. The membership list for this chapter has 1932 as the beginning date. On September 12, 1994, the group was disbanded. The Stamford Chapter was located in Niagara Falls, Ontario.