Structured minimal-memory inexact quasi-Newton method and secant preconditioners for augmented Lagrangian optimization

Augmented Lagrangian methods for large-scale optimization usually require efficient algorithms for minimization with box constraints. On the other hand, active-set box-constraint methods employ unconstrained optimization algorithms for minimization inside the faces of the box. Several approaches may be employed for computing internal search directions in the large-scale case. In this paper a minimal-memory quasi-Newton approach with secant preconditioners is proposed, taking into account the structure of Augmented Lagrangians that come from the popular Powell-Hestenes-Rockafellar scheme. A combined algorithm, that uses the quasi-Newton formula or a truncated-Newton procedure, depending on the presence of active constraints in the penalty-Lagrangian function, is also suggested. Numerical experiments using the Cute collection are presented.

Efficient solutions to robust, semi-implicit discretizations of the immersed boundary method

The immersed boundary method is a versatile tool for the investigation of flow-structure interaction. In a large number of applications, the immersed boundaries or structures are very stiff and strong tangential forces on these interfaces induce a well-known, severe time-step restriction for explicit discretizations. This excessive stability constraint can be removed with fully implicit or suitable semi-implicit schemes but at a seemingly prohibitive computational cost. While economical alternatives have been proposed recently for some special cases, there is a practical need for a computationally efficient approach that can be applied more broadly. In this context, we revisit a robust semi-implicit discretization introduced by Peskin in the late 1970s which has received renewed attention recently. This discretization, in which the spreading and interpolation operators are lagged. leads to a linear system of equations for the inter-face configuration at the future time, when the interfacial force is linear. However, this linear system is large and dense and thus it is challenging to streamline its solution. Moreover, while the same linear system or one of similar structure could potentially be used in Newton-type iterations, nonlinear and highly stiff immersed structures pose additional challenges to iterative methods. In this work, we address these problems and propose cost-effective computational strategies for solving Peskin`s lagged-operators type of discretization. We do this by first constructing a sufficiently accurate approximation to the system`s matrix and we obtain a rigorous estimate for this approximation. This matrix is expeditiously computed by using a combination of pre-calculated values and interpolation. The availability of a matrix allows for more efficient matrix-vector products and facilitates the design of effective iterative schemes. We propose efficient iterative approaches to deal with both linear and nonlinear interfacial forces and simple or complex immersed structures with tethered or untethered points. One of these iterative approaches employs a splitting in which we first solve a linear problem for the interfacial force and then we use a nonlinear iteration to find the interface configuration corresponding to this force. We demonstrate that the proposed approach is several orders of magnitude more efficient than the standard explicit method. In addition to considering the standard elliptical drop test case, we show both the robustness and efficacy of the proposed methodology with a 2D model of a heart valve. (C) 2009 Elsevier Inc. All rights reserved.

Towards a maximal extension of Pelczynski`s decomposition method in Banach spaces

l Suppose that X, Y. A and B are Banach spaces such that X is isomorphic to Y E) A and Y is isomorphic to X circle plus B. Are X and Y necessarily isomorphic? In this generality. the answer is no, as proved by W.T. Cowers in 1996. In the present paper, we provide a very simple necessary and sufficient condition on the 10-tuples (k, l, m, n. p, q, r, s, u, v) in N with p+q+u >= 3, r+s+v >= 3, uv >= 1, (p,q)$(0,0), (r,s)not equal(0,0) and u=1 or v=1 or (p. q) = (1, 0) or (r, s) = (0, 1), which guarantees that X is isomorphic to Y whenever these Banach spaces satisfy X(u) similar to X(p)circle plus Y(q), Y(u) similar to X(r)circle plus Y(s), and A(k) circle plus B(l) similar to A(m) circle plus B(n). Namely, delta = +/- 1 or lozenge not equal 0, gcd(lozenge, delta (p + q - u)) divides p + q - u and gcd(lozenge, delta(r + s - v)) divides r + s - v, where 3 = k - I - in + n is the characteristic number of the 4-tuple (k, l, m, n) and lozenge = (p - u)(s - v) - rq is the discriminant of the 6-tuple (p, q, r, s, U, v). We conjecture that this result is in some sense a maximal extension of the classical Pelczynski`s decomposition method in Banach spaces: the case (1, 0. 1, 0, 2. 0, 0, 2. 1. 1). (C) 2009 Elsevier Inc. All rights reserved.

The Development of Dalton`s Atomic Theory as a Case Study in the History of Science: Reflections for Educators in Chemistry

The inclusion of the history of science in science curricula-and specially, in the curricula of science teachers-is a trend that has been followed in several countries. The reasons advanced for the study of the history of science are manifold. This paper presents a case study in the history of chemistry, on the early developments of John Dalton`s atomic theory. Based on the case study, several questions that are worth discussing in educational contexts are pointed out. It is argued that the kind of history of science that was made in the first decades of the twentieth century (encyclopaedic, continuist, essentially anachronistic) is not appropriate for the development of the competences that are expected from the students of sciences in the present. Science teaching for current days will benefit from the approach that may be termed the ""new historiography of science"".

Evaluation of surface treatment techniques for polypropylene andimplementation of a method for testing ink adhesion

If a plastic material is used as a print bearer there are a need of a special surface treatment to get agod and durable printing. The most used surface treatment technique for the moment is coronatreatment. This kind of treatment has unfortunately showed not to be so durable in the long term.Plasma treatment which in this case uses different kind of gases in the treatment of polypropyleneis shown as a more effective treatment in this project. When the plasma treated surface has beenprinted is the good quality last much longer and the adhesion between the ink and the surface isremained. To test this adhesion is for the moment a standard used (ASTM D3359). This standardhas appeared unstable and dependent at many different factors, which gives a big variation in thetest results. Because of this has new test methods been carried out to give a more even and morereliable result in the test of the adhesion.

Student satisfaction in tourism education : The case of Dalarna University, Borlänge, Sweden

The students' expectations must be met to ensure their overall satisfaction. Because of this student satisfaction has become a measurement tool with which the universities can compete against each other in order to attract potential students and also a higher level of internal and external funding. This thesis deals with students' overall satisfaction in tourism education at Dalarna University in Sweden. It is important to understand what it takes for the universities to be able to produce a motivated workforce for the communities and how satisfied students could help in achieving this goal. Sweden was selected because of the recent introduction of tuition fees, in 2010, which has made it even more crucial to understand the factors affecting students' satisfaction. The method chosen for conducting this study was a questionnaire where the students of Dalarna University were asked to rate different aspects of their overall experience on a Likert scale. The research was conducted via Facebook and email questionnaire. The results show different levels of satisfaction based on the tourism programmes and gender for example. The major finding from this research implicate that the social conditions and surrounding city categories are the most influential when it comes to the overall satisfaction of students at Dalarna University. The results give the university and the city of Borlänge an insight on issues that really matter to the students and how to improve them.

Att främja ett ackomodativt lärande utifrån ettandragogiskt perspektiv : I en offentlig organisation

En upplevelse av att det finns begränsade kunskaper kring vuxna individers väg att lära utgörgrunden för denna undersökning. Utbildningar idag kommer ofta i form av föreläsningarvilket framför allt resulterar i ett assimilativt lärande, det vill säga ett ytligt lärande därindividen saknar förståelse för kunskapen. Pedagogik är ett begrepp som överlag i storutsträckning används när lärande är målet oavsett vem som ska lära sig något. Kursupplägg avpedagogisk karaktär vänder sig främst till barn och kan anses olämplig när vuxna individerska lära sig. Andragogik är begreppet för vuxenlärande, vilken bygger på kunskapen om attvuxna är självstyrande individer och behöver därför själva ta steget till att lära sig något nytt. Iden andragogiska modellen presenteras de förutsättningar som krävs för att en vuxen individska kunna tillägna sig nya kunskaper på en djupare nivå, få en förståelse, denna nivå avlärande kallas för ett ackomodativt lärande.Undersökningens syfte var att studera om de två processledarnas ledarskap och kursupplägggrundas i andragogik för att främja ett ackomodativt lärande i Landstinget Dalarnas Chef ochledarprogram.Undersökningen var en fallstudie där en deduktiv ansats förelåg. En kvalitativ metod i formav observation har använts för insamling av data. Processledarna för Chef ochledarprogrammet har observerats och filmats med filmkamera under en av fyra delar av ettintroduktionsblock. Ledarskap och kursupplägg är två områden som behandlas teoretiskt dåde anses kunna påverka lärandet för vuxna personer såväl kollektivt som individuellt.Processledarna för Landstinget Dalarnas Chef och ledarprogram tog i stor utsträckning hänsyntill de vuxna individernas behov, som kan förstås utifrån den andragogiska modellen. Genomsitt ledarskap och kursupplägg skapade de goda förutsättningar för deltagarnas möjlighet attkunna tillägna sig ett ackomodativt lärande. Processledarnas ledarskap grundar sig i känslor,relationer och med människosynen att alla människor har samma grundläggande behov.Kursupplägget bestod av övningar och dialoger där deltagarna involverades, vilketförespråkas i den andragogiska modellen för att kunna uppnå ett ackomodativt lärande

Using system dynamics for collaborative design : a case study

Background  In order to facilitate the collaborative design, system dynamics (SD) with a group modelling approach was used in the early stages of planning a new stroke unit. During six workshops a SD model was created in a multiprofessional group. Aim To explore to which extent and how the use of system dynamics contributed to the collaborative design process. Method A case study was conducted using several data sources. Results SD supported a collaborative design, by facilitating an explicit description of stroke care process, a dialogue and a joint understanding. The construction of the model obliged the group to conceptualise the stroke care and experimentation with the model gave the opportunity to reflect on care. Conclusion SD facilitated the collaborative design process and should be integrated in the early stages of the design process as a quality improvement tool.

Pedagogical methods in web-based language teaching-mapping

The purpose of this presentation is to introduce the research project progress in “the mapping of pedagogical methods in web-based language teaching" by Högskolan Dalarna (Dalarna University). This project will identify the differences in pedagogical methods that are used for online language classes. The pedagogical method defined in this project is what the teachers do to ensure students attain the learning outcomes, for example, planning, designing courses, leading students, knowing students' abilities, implementing activities, etc. So far the members of this project have analyzed the course plans (in the language department at Dalarna University) and categorized the learning outcomes. A questionnaire was constructed based on the learning outcomes and then either sent out remotely to teachers or completed face to face through interviews. The answers provided to the questionnaires enabled the project to identify many differences in how language teachers interact with their students but also, the way of giving feedback, motivating and helping students, types of class activities and materials used. This presentation introduces the progress of the project and identifies the challenges at the language department at Dalarna University. Finally, the advantages and problems of online language proficiency courses will be discussed and suggestions made for future improvement.

Predictive models for chronic renal disease using decision trees, naïve bayes and case-based methods

Data mining can be used in healthcare industry to “mine” clinical data to discover hidden information for intelligent and affective decision making. Discovery of hidden patterns and relationships often goes intact, yet advanced data mining techniques can be helpful as remedy to this scenario. This thesis mainly deals with Intelligent Prediction of Chronic Renal Disease (IPCRD). Data covers blood, urine test, and external symptoms applied to predict chronic renal disease. Data from the database is initially transformed to Weka (3.6) and Chi-Square method is used for features section. After normalizing data, three classifiers were applied and efficiency of output is evaluated. Mainly, three classifiers are analyzed: Decision Tree, Naïve Bayes, K-Nearest Neighbour algorithm. Results show that each technique has its unique strength in realizing the objectives of the defined mining goals. Efficiency of Decision Tree and KNN was almost same but Naïve Bayes proved a comparative edge over others. Further sensitivity and specificity tests are used as statistical measures to examine the performance of a binary classification. Sensitivity (also called recall rate in some fields) measures the proportion of actual positives which are correctly identified while Specificity measures the proportion of negatives which are correctly identified. CRISP-DM methodology is applied to build the mining models. It consists of six major phases: business understanding, data understanding, data preparation, modeling, evaluation, and deployment.

Children’s Literature and English Teaching – Swedish Teachers’ Methods and Attitudes

This study investigates how primary school teachers of grades F-3 pupils in a number of sample schools in Sweden use children’s literature and other methods to enhance their teaching of English. The study explores the attitudes of these teachers’ to using English children’s literature as a teaching tool to promote language development in their pupils, focusing on vocabulary. An empirical questionnaire study was carried out including a total of twenty-three respondents from seven schools in a Stockholm suburb. The respondents are all working teachers with experience of teaching English to young learners, particularly in grades F-3. This study contributes with new knowledge about the often-recommended use of children’s literature as a method for teaching English to young learners, connecting international research with empirical data from the Swedish context. While the results suggest that the majority of the respondents are positive to using children’s literature in their teaching and regularly do so, many of them feel that it is somewhat difficult to find relevant materials to plan, implement and evaluate lessons within the allocated time-frame. Based on these results, further research about how to create more effective ways of using children’s literature as a method for English vocabulary teaching in Swedish schools is recommended.

Humming as a mean of communicating during meal time situations : A Single Case study involving a women with severe dementia and her caregiver

Objective: ‘Music Therapeutic Caregiving’, when caregivers sing for or together with persons with dementia during morning care situations, has been shown to increase verbal and nonverbal communication between persons with dementia and their caregivers, as well as enhance positive and decrease negative emotions in persons with dementia. No studies about singing during mealtimes have been conducted, and this pilot project was designed to elucidate this. However, since previous studies have shown that there is a risk that persons with dementia will start to sing along with the caregiver, the caregiver in this study hummed such that the person with dementia did not sing instead of eat. The aim of this pilot project was threefold: to describe expressed emotions in a woman with severe dementia, and describe communication between her and her caregivers without and with the caregiver humming. The aim was also to measure food and liquid intake without and with humming. Method: The study was constructed as a Single Case ABA design in which the ordinary mealtime constituted a baseline which comprised a woman with severe dementia being fed by her caregivers in the usual way. The intervention included the same woman being fed by the same caregiver who hummed while feeding her. Data comprised video observations that were collected once per week over 5 consecutive weeks. The Verbal and Nonverbal Interaction Scale and Observed Emotion Rating Scale were used to analyze the recorded interactions. Results: A slightly positive influence of communication was shown for the woman with dementia, as well as for the caregiver. Further, the women with dementia showed a slight increase in expressions of positive emotions, and she ate more during the intervention. Conclusion: Based on this pilot study no general conclusions can be drawn. It can be concluded, however, that humming while feeding persons with dementia might slightly enhance communication, and positive expressed emotions in persons with dementia. To confirm this, more studies on group levels are needed. Because previous studies have found that caregiver singing during caring situations influences persons with dementia positively it might be desirable to test the same during mealtime.

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.