Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Comparison of machine learning approaches and statistical methods for estimation of airborne chemical exposures

Accurate quantitative estimation of exposure using retrospective data has been one of the most challenging tasks in the exposure assessment field. To improve these estimates, some models have been developed using published exposure databases with their corresponding exposure determinants. These models are designed to be applied to reported exposure determinants obtained from study subjects or exposure levels assigned by an industrial hygienist, so quantitative exposure estimates can be obtained. ^ In an effort to improve the prediction accuracy and generalizability of these models, and taking into account that the limitations encountered in previous studies might be due to limitations in the applicability of traditional statistical methods and concepts, the use of computer science- derived data analysis methods, predominantly machine learning approaches, were proposed and explored in this study. ^ The goal of this study was to develop a set of models using decision trees/ensemble and neural networks methods to predict occupational outcomes based on literature-derived databases, and compare, using cross-validation and data splitting techniques, the resulting prediction capacity to that of traditional regression models. Two cases were addressed: the categorical case, where the exposure level was measured as an exposure rating following the American Industrial Hygiene Association guidelines and the continuous case, where the result of the exposure is expressed as a concentration value. Previously developed literature-based exposure databases for 1,1,1 trichloroethane, methylene dichloride and, trichloroethylene were used. ^ When compared to regression estimations, results showed better accuracy of decision trees/ensemble techniques for the categorical case while neural networks were better for estimation of continuous exposure values. Overrepresentation of classes and overfitting were the main causes for poor neural network performance and accuracy. Estimations based on literature-based databases using machine learning techniques might provide an advantage when they are applied to other methodologies that combine `expert inputs' with current exposure measurements, like the Bayesian Decision Analysis tool. The use of machine learning techniques to more accurately estimate exposures from literature-based exposure databases might represent the starting point for the independence from the expert judgment.^

Measuring the influence of Cooperative Learning and Project Based Learning on problem solvin skill.

The aim of this study is to evaluate the effects obtained after applying two active learning methodologies (cooperative learning and project based learning) to the achievement of the competence problem solving. This study was carried out at the Technical University of Madrid, where these methodologies were applied to two Operating Systems courses. The first hypothesis tested was whether the implementation of active learning methodologies favours the achievement of ?problem solving?. The second hypothesis was focused on testing if students with higher rates in problem solving competence obtain better results in their academic performance. The results indicated that active learning methodologies do not produce any significant change in the generic competence ?problem solving? during the period analysed. Concerning this, we consider that students should work with these methodologies for a longer period, besides having a specific training. Nevertheless, a close correlation between problem solving self appraisal and academic performance has been detected.

Survey on integration of Applied Geology and Geomorphology in Civil Engineering curricula in the framework of the European Higher Education Area (EHEA) by using practical trips

The engineer must have sufficient theoretical knowledge to be applied to solve specific problems, with the necessary capacity to simplify these approaches, and taking into account factors such as speed, simplicity, quality and economy. In Geology, its ultimate goal is the exploration of the history of the geological events through observation, deduction, reasoning and, in exceptional cases by the direct underground exploration or experimentation. Experimentation is very limited in Geology. Reproduction laboratory of certain phenomena or geological processes is difficult because both time and space become a large scale. For this reason, some Earth Sciences are in a nearly descriptive stage whereas others closest to the experimental, Geophysics and Geochemistry, have assimilated progress experienced by the physics and chemistry. Thus, Anglo-Saxon countries clearly separate Engineering Geology from Geological Engineering, i.e. Applied Geology to the Geological Engineering concepts. Although there is a big professional overlap, the first one corresponds to scientific approach, while the last one corresponds to a technological one. Applied Geology to Engineering could be defined as the Science and Applied Geology to the design, construction and performance of engineering infrastructures in and field geology discipline. There has been much discussion on the primacy of theory over practice. Today prevails the exaggeration of practice, but you get good workers and routine and mediocre teachers. This idea forgets too that teaching problem is a problem of right balance. The approach of the action lines on the European Higher Education Area (EHEA) framework provides for such balance. Applied Geology subject represents the first real contact with the physical environment with the practice profession and works. Besides, the situation of the topic in the first trace of Study Plans for many students implies the link to other subjects and topics of the career (tunnels, dams, groundwater, roads, etc). This work analyses in depth the justification of such practical trips. It shows the criteria and methods of planning and the result which manifests itself in pupils. Once practical trips experience developed, the objective work tries to know about results and changes on student’s motivation in learning perspective. This is done regardless of the outcome of their knowledge achievements assessed properly and they are not subject to such work. For this objective, it has been designed a survey about their motivation before and after trip. Survey was made by the Unidad Docente de Geología Aplicada of the Departamento de Ingeniería y Morfología del Terreno (Escuela Técnica Superior de Ingenieros de Caminos, Canales y Puertos, Universidad Politécnica de Madrid). It was completely anonymous. Its objective was to collect the opinion of the student as a key agent of learning and teaching of the subject. All the work takes place under new teaching/learning criteria approach at the European framework in Higher Education. The results are exceptionally good with 90% of student’s participation and with very high scores in a number of questions as the itineraries, teachers and visited places (range of 4.5 to 4.2 in a 5 points scale). The majority of students are very satisfied (average of 4.5 in a 5 points scale).

The interaction of economic and pedagogical ideals in the context of workplace learning in Germany: a framework for empirical research – inspired by business ethics

As an effect of marketisation, the importance of workplace learning in Germany has increased. The article follows up on the long-standing discourse around the question of how economic and pedagogical ideals interact in this context. In order to develop a theoretical framework for empirical research, three major positions of the discipline of business ethics are introduced. Business ethics in more abstract ways deals with the very same question, namely how do ideas such as profit orientation interact with other norms and values? The new perspectives show that the discourse has been hitherto based on a specific understanding of economy. In order to derive an empirical answer to the research question, the question is re-formulated as follows: Which values are inherent in the decisions taken? Consequently, it suggests using the concept of ‘rationalities of justification’ for empirical research. The article shows how this concept can be applied by conducting a test run. (DIPF/Orig.)

A PHENOMENOLOGY OF MIMETIC LEARNING AND MULTIMODAL COGNITION: INTEGRATING EXPERIENTIAL KNOWLEDGE INTO PROGRAMS IN RHETORIC, COMPOSITION, AND TECHNICAL COMMUNICATION

My dissertation emphasizes a cognitive account of multimodality that explicitly integrates experiential knowledge work into the rhetorical pedagogy that informs so many composition and technical communication programs. In these disciplines, multimodality is widely conceived in terms of what Gunther Kress calls “socialsemiotic” modes of communication shaped primarily by culture. In the cognitive and neurolinguistic theories of Vittorio Gallese and George Lakoff, however, multimodality is described as a key characteristic of our bodies’ sensory-motor systems which link perception to action and action to meaning, grounding all communicative acts in knowledge shaped through body-engaged experience. I argue that this “situated” account of cognition – which closely approximates Maurice Merleau-Ponty’s phenomenology of perception, a major framework for my study – has pedagogical precedence in the mimetic pedagogy that informed ancient Sophistic rhetorical training, and I reveal that training’s multimodal dimensions through a phenomenological exegesis of the concept mimesis. Plato’s denigration of the mimetic tradition and his elevation of conceptual contemplation through reason, out of which developed the classic Cartesian separation of mind from body, resulted in a general degradation of experiential knowledge in Western education. But with the recent introduction into college classrooms of digital technologies and multimedia communication tools, renewed emphasis is being placed on the “hands-on” nature of inventive and productive praxis, necessitating a revision of methods of instruction and assessment that have traditionally privileged the acquisition of conceptual over experiential knowledge. The model of multimodality I construct from Merleau-Ponty’s phenomenology, ancient Sophistic rhetorical pedagogy, and current neuroscientific accounts of situated cognition insists on recognizing the significant role knowledges we acquire experientially play in our reading and writing, speaking and listening, discerning and designing practices.

The Impact of Experiential Learning in Enhancing Palliative Care Knowledge and Skills among Nurses

Nurses working in community settings are increasingly required to care for people with chronic, life limiting conditions. Innovative educational programs are required to ensure nurses are equipped to deal with this challenging area of practice. The Program of Experience in the Palliative Approach (PEPA) started in 2003 as an initiative of the Australian Government, Department of Health and Ageing. The overall aim of PEPA is to improve the quality, availability and access to palliative care for people who are dying, and their families, by improving the skills and expertise of health practitioners, and enhancing collaboration between primary and specialist palliative care services. PEPA provides nurses with an opportunity to develop knowledge and skills in the palliative approach to care through funded clinical workforce placements or workshops.

The measurement of applied forces during anterior single rod correction of adolescent idiopathic scoliosis

Adolescent idiopathic scoliosis (AIS) is the most common form of spinal deformity in paediatrics, prevalent in approximately 2-4% of the general population. While it is a complex three-dimensional deformity, it is clinically characterised by an abnormal lateral curvature of the spine. The treatment for severe deformity is surgical correction with the use of structural implants. Anterior single rod correction employs a solid rod connected to the anterior spine via vertebral body screws. Correction is achieved by applying compression between adjacent vertebral body screws, before locking each screw onto the rod. Biomechanical complication rates have been reported as high as 20.8%, and include rod breakage, screw pull-out and loss of correction. Currently, the corrective forces applied to the spine are unknown. These forces are important variables to consider in understanding the biomechanics of scoliosis correction. The purpose of this study was to measure these forces intra-operatively during anterior single rod AIS correction.

Stability of the learning and development survey : findings for mature aged local government and private healthcare organisations.

This article investigates work related learning and development amongst mature aged workers from a lifespan developmental psychology perspective. The current study follows on from research regarding the construction and revision of the Learning and Development Survey (LDS; Tones & Pillay, 2008). Designed to measure adaptive development for work related learning, the revised LDS (R-LDS) encompasses goal selection, engagement and disengagement from individual and organisational perspectives. Previous survey findings from a mixed age sample of local government workers suggest that mature aged workers aged over 45 years are less likely to report engagement in learning and development goals than younger workers, which is partly due to insufficient opportunities at work. In the current paper, exploratory factor analysis was used to investigate responses to the R-LDS amongst two groups of mature aged workers from a local government (LG) and private healthcare (PH) organisation to determine the stability of the R-LDS. Organisational constraints to development accounted for almost a quarter of the variance in R-LDS scores for both samples, while remaining factors emerged in different orders for each data set. Organisational opportunities for development explained about 17% of the variance in R-LDS scores in the LG sample, while the individual goal disengagement factor contributed a comparable proportion of variance to R-LDS scores for the PH sample. Findings from the current study indicate that opportunities for learning and development at work may be age structured and biased towards younger workers. Implications for professional practice are discussed and focus on improving the engagement of mature aged workers.

Benefits of e-learning benchmarks : Australian case studies

In 2004, the Australian Flexible Learning Framework developed a suite of quantitative and qualitative indicators on the uptake, use and impact of e-learning in the Vocational Education and Training (VET) sector. These indicators were used to design items for a survey to gather quantitative data for benchmarking. A series of four surveys gathered data from VET providers, teachers, students and their employers. The data formed baseline indicators that were used to establish organisational goals and benchmarks for e-learning. These indicators were the first know set for benchmarking e-learning in Australia. The case studies in this paper illustrate ways in which VET providers have approached e-learning benchmarking, the benefits achieved and the lessons that they learned. The cases exemplify how VET providers have adapted the baseline indicators, how the indicators informed organisational plans and e-learning outcomes. The benefits of benchmarking are categorised under three purposes: reporting, performance management, and service improvement. A set of practical strategies is derived from the cases for consideration by other organisations interested in benchmarking e-learning services.

Bringing academics on board : encouraging institution-wide diffusion of e-learning environments

Rapid advances in educational and information communications technology (ICT)have encouraged some educators to move beyond traditional face to face and distance education correspondence modes toward a rich, technology mediated e-learning environment. Ready access to multimedia at the desktop has provided the opportunity for educators to develop flexible, engaging and interactive learning resources incorporating multimedia and hypermedia. However, despite this opportunity, the adoption and integration of educational technologies by academics across the tertiary sector has typically been slow. This paper presents the findings of a qualitative study that investigated factors influencing the manner in which academics adopt and integrate educational technology and ICT. The research was conducted at a regional Australian university, the University of Southern Queensland (USQ), and focused on the development of e-learning environments. These e-learning environments include a range of multimodal learning objects and multiple representations of content that seek to cater for different learning styles and modal preferences, increase interaction, improve learning outcomes, provide a more inclusive and equitable curriculum and more closely mirror the on campus learning experience. This focus of this paper is primarily on the barriers or inhibitors academics reported in the study, including institutional barriers, individual inhibitors and pedagogical concerns. Strategies for addressing these obstacles are presented and implications and recommendations for educational institutions are discussed.