Generating highly balanced sudoku problems as hard problems

Sudoku problems are some of the most known and enjoyed pastimes, with a never diminishing popularity, but, for the last few years those problems have gone from an entertainment to an interesting research area, a twofold interesting area, in fact. On the one side Sudoku problems, being a variant of Gerechte Designs and Latin Squares, are being actively used for experimental design, as in [8, 44, 39, 9]. On the other hand, Sudoku problems, as simple as they seem, are really hard structured combinatorial search problems, and thanks to their characteristics and behavior, they can be used as benchmark problems for refining and testing solving algorithms and approaches. Also, thanks to their high inner structure, their study can contribute more than studies of random problems to our goal of solving real-world problems and applications and understanding problem characteristics that make them hard to solve. In this work we use two techniques for solving and modeling Sudoku problems, namely, Constraint Satisfaction Problem (CSP) and Satisfiability Problem (SAT) approaches. To this effect we define the Generalized Sudoku Problem (GSP), where regions can be of rectangular shape, problems can be of any order, and solution existence is not guaranteed. With respect to the worst-case complexity, we prove that GSP with block regions of m rows and n columns with m = n is NP-complete. For studying the empirical hardness of GSP, we define a series of instance generators, that differ in the balancing level they guarantee between the constraints of the problem, by finely controlling how the holes are distributed in the cells of the GSP. Experimentally, we show that the more balanced are the constraints, the higher the complexity of solving the GSP instances, and that GSP is harder than the Quasigroup Completion Problem (QCP), a problem generalized by GSP. Finally, we provide a study of the correlation between backbone variables – variables with the same value in all the solutions of an instance– and hardness of GSP.

Statistical modelling of CSP solving algorithms performance

The goal of this work is to try to create a statistical model, based only on easily computable parameters from the CSP problem to predict runtime behaviour of the solving algorithms, and let us choose the best algorithm to solve the problem. Although it seems that the obvious choice should be MAC, experimental results obtained so far show, that with big numbers of variables, other algorithms perfom much better, specially for hard problems in the transition phase.

Problems of the randomization test for AB designs

N = 1 designs imply repeated registrations of the behaviour of the same experimental unit and the measurements obtained are often few due to time limitations, while they are also likely to be sequentially dependent. The analytical techniques needed to enhance statistical and clinical decision making have to deal with these problems. Different procedures for analysing data from single-case AB designs are discussed, presenting their main features and revising the results reported by previous studies. Randomization tests represent one of the statistical methods that seemed to perform well in terms of controlling false alarm rates. In the experimental part of the study a new simulation approach is used to test the performance of randomization tests and the results suggest that the technique is not always robust against the violation of the independence assumption. Moreover, sensitivity proved to be generally unacceptably low for series lengths equal to 30 and 40. Considering the evidence available, there does not seem to be an optimal technique for single-case data analysis

Normaalijakaumaan perustuva mutaatio-operaatio differentiaalievoluutioalgoritmiin

Evoluutioalgoritmit ovat viime vuosina osoittautuneet tehokkaiksi menetelmiksi globaalien optimointitehtävien ratkaisuun. Niiden vahvuutena on etenkin yleiskäyttöisyys ja kyky löytää globaali ratkaisu juuttumatta optimoitavan tavoitefunktion paikallisiin optimikohtiin. Tässä työssä on tavoitteena kehittää uusi, normaalijakaumaan perustuva mutaatio-operaatio differentiaalievoluutioalgoritmiin, joka on eräs uusimmista evoluutiopohjaisista optimointialgoritmeista. Menetelmän oletetaan vähentävän entisestään sekä populaation ennenaikaisen suppenemisen, että algoritmin tilojen juuttumisen riskiä ja se on teoreettisesti osoitettavissa suppenevaksi. Tämä ei päde alkuperäisen differentiaalievoluution tapauksessa, koska on voitu osoittaa, että sen tilanmuutokset voivat pienellä todennäköisyydellä juuttua. Työssä uuden menetelmän toimintaa tarkastellaan kokeellisesti käyttäen testiongelmina monirajoiteongelmia. Rajoitefunktioiden käsittelyyn käytetään Jouni Lampisen kehittämää, Pareto-optimaalisuuden periaatteeseen perustuvaa menetelmää. Samalla saadaan kerättyä lisää kokeellista näyttöä myös tämän menetelmän toiminnasta. Kaikki käytetyt testiongelmat kyettiin ratkaisemaan sekä alkuperäisellä differentiaalievoluutiolla, että uutta mutaatio-operaatiota käyttävällä versiolla. Uusi menetelmä osoittautui kuitenkin luotettavammaksi sellaisissa tapauksissa, joissa alkuperäisellä algoritmilla oli vaikeuksia. Lisäksi useimmat ongelmat kyettiin ratkaisemaan luotettavasti pienemmällä populaation koolla kuin alkuperäistä differentiaalievoluutiota käytettäessä. Uuden menetelmän käyttö myös mahdollistaa paremmin sellaisten kontrolliparametrien käytön, joilla hausta saadaan rotaatioinvariantti. Laskennallisesti uusi menetelmä on hieman alkuperäistä differentiaalievoluutiota raskaampi ja se tarvitsee yhden kontrolliparametrin enemmän. Uusille kontrolliparametreille määritettiin kuitenkin mahdollisimman yleiskäyttöiset arvot, joita käyttämällä on mahdollista ratkaista suuri joukko erilaisia ongelmia.

Involuntary outpatient treatment for mental health problems in Switzerland: a literature review.

BACKGROUND: In 2008, the Swiss Civil Code was amended. From 1 January 2013, each Swiss canton may propose specific provisions for involuntary outpatient treatment (community treatment orders (CTOs)) for individuals with mental disorders. AIM: This review catalogues the legal provisions of the various Swiss cantons for CTOs and outlines the differences between them. It sets this in the context of variations in clinical provisions between the cantons. METHODS: Databases were searched to obtain relevant publications about CTOs in Switzerland. The Swiss Medical Association, Swiss Federal Statistical Office, Swiss Health Observatory and all the 26 Cantonal medical officers were contacted to complete the information. Conférence des cantons en matière de protection des mineurs et des adultes (COPMA), the authority which monitors guardianship legislation, and Pro Mente Sana, a patients' right association, were also approached. RESULTS: Three articles about CTOs in Switzerland were identified. Psychiatric provisions vary considerably between cantons and only a few could provide complete or even partial figures for rates of compulsion in previous years. Prior to 2013, only 6 of the 20 cantons, for which information was returned, had any provision for CTOs. Now, every canton has some form of legal basis but the level of detail is often limited. In eight cantons, the powers of the measure are not specified (for example, use of medication). In 12 cantons, the maximum duration of the CTO is not specified. German speaking cantons and rural cantons are more likely to specify the details of CTOs. CONCLUSION: Highly variable Swiss provision for CTOs is being introduced despite the absence of convincing international evidence for their effectiveness or good quality data on current coercive practice. Careful monitoring and assessment of these new cantonal provisions are essential.

Assessing positive mental health in people with chronic physical health problems: correlations with socio-demographic variables and physical health status

Background: A holistic perspective on health implies giving careful consideration to the relationship between physical and mental health. In this regard the present study sought to determine the level of Positive Mental Health (PMH) among people with chronic physical health problems, and to examine the relationship between the observed levels of PMH and both physical health status and socio-demographic variables. Methods: The study was based on the Multifactor Model of Positive Mental Health (Lluch, 1999), which comprises six factors: Personal Satisfaction (F1), Prosocial Attitude (F2), Self-control (F3), Autonomy (F4), Problem-solving and Self-actualization (F5), and Interpersonal Relationship Skills (F6). The sample comprised 259 adults with chronic physical health problems who were recruited through a primary care center in the province of Barcelona (Spain). Positive mental health was assessed by means of the Positive Mental Health Questionnaire (Lluch, 1999). Results: Levels of PMH differed, either on the global scale or on specific factors, in relation to the following variables: age: global PMH scores decreased with age (r=-0.129; p=0.038); b) gender: men scored higher on F1 (t=2.203; p=0.028) and F4 (t=3.182; p=0.002), while women scored higher on F2 (t -3.086; p=0.002) and F6 (t=-2.744; p=0.007); c) number of health conditions: the fewer the number of health problems the higher the PMH score on F5 (r=-0.146; p=0.019); d) daily medication: polymedication patients had lower PMH scores, both globally and on various factors; e) use of analgesics: occasional use of painkillers was associated with higher PMH scores on F1 (t=-2.811; p=0.006). There were no significant differences in global PMH scores according to the type of chronic health condition. The only significant difference in the analysis by factors was that patients with hypertension obtained lower PMH scores on the factor Autonomy (t=2.165; p=0.032). Conclusions: Most people with chronic physical health problems have medium or high levels of PMH. The variables that adversely affect PMH are old age, polypharmacy and frequent consumption of analgesics. The type of health problem does not influence the levels of PMH. Much more extensive studies with samples without chronic pathology are now required in order to be able to draw more robust conclusions.

Audit firm tenure and qualified opinions: New evidence from Spain

The 2010 Green Paper on Audit Policy by the European Commission has explicitly questioned the sufficiency of audit rotation rules established by European Union Members to guarantee auditor independence. In addition, the Paper clearly states that more research is needed regarding the effects of long audit tenures on independence. In this article, we have replicated the research by Ruiz-Barbadillo, Gómez-Aguilar, and Biedma (2005) about the effects of audit firm tenure on independence with more updated data. However, unlike them, we have performed panel data estimations instead of pooled regression. Our approach allows for a better control of individual unobserved heterogeneity, thus reducing potential problems caused by omitted variable bias. While Ruiz-Barbadillo et al. reported an unexpected positive effect of tenure on the likelihood of audit qualifications, we do not show any significant effect of tenure on the opinion of the audit report. Our results are robust to various sensitivity analyses.

¿Para qué sirven los problemas en la clase de matemáticas? = What is the use of problems in Mathematics lessons?

The results obtained in several yield tests, at an international level (mainly the famous PISA 2003 report, by the OCDE), have raised a multiplicity of performances in order to improve the students' yield regarding problem solving. In this article we set a clear guideline on how problems should be used in Mathematics lessons, not for obtaining better scores in the yield tests but for improving the development of Mathematical thinking in students. From this perspective, the author analyses, through eight reflections, how the concept of problem, transmitted both in the school and from society, influences the students

Problems and potentialities of e-Learning for regular undergraduate courses in emergency medicine

BACKGROUND: E-learning techniques are spreading at great speed in medicine, raising concerns about the impact of adopting them. Websites especially designed to host courses are becoming more common. There is a lack of evidence that these systems could enhance student knowledge acquisition. GOAL: To evaluate the impact of using dedicated-website tools over cognition of medical students exposed to a first-aid course. METHODS: Prospective study of 184 medical students exposed to a twenty-hour first-aid course. We generated a dedicated-website with several sections (lectures, additional reading material, video and multiple choice exercises). We constructed variables expressing the student's access to each section. The evaluation was composed of fifty multiple-choice tests, based on clinical problems. We used multiple linear regression to adjust for potential confounders. RESULTS: There was no association of website intensity of exposure and the outcome - beta-coeficient 0.27 (95%CI - 0.454 - 1.004). These findings were not altered after adjustment for potential confounders - 0.165 (95%CI -0.628 - 0.960). CONCLUSION: A dedicated website with passive and active capabilities for aiding in person learning had not shown association with a better outcome.

Solving the puzzle of mobile learning adoption

The dissertation seeks to explore how to improve users‘ adoption of mobile learning in current education systems. Considering the difference between basic and tertiary education in China, the research consists of two separate but interrelated parts, which focus on the use of mobile learning in basic and tertiary education contexts, respectively. In the dissertation, two adoption frameworks are developed based on previous studies. The frameworks are then evaluated using different technologies. Concerning mobile learning use in basic education settings, case study methodology is utilized. A leading provider of mobile learning services and products in China, Noah Ltd., is investigated. Multiple sources of evidence are collected to test the framework. Regarding mobile learning adoption in tertiary education contexts, survey research methodology is utilized. Based on 209 useful responses, the framework is evaluated using structural equation modelling technology. Four proposed determinants of intention to use are evaluated, which are perceived ease of use, perceived near-term usefulness, perceived ong-term usefulness and personal innovativeness. The dissertation provides a number of new insights for both researchers and practitioners. In particular, the dissertation specifies a practical solution to deal with the disruptive effects of mobile learning in basic education, which keeps the use of mobile learning away from the schools across such as European countries. A list of new and innovative mobile learning technologies is systematically introduced as well. Further, the research identifies several key factors driving mobile learning adoption in tertiary education settings. In theory, the dissertation suggests that since the technology acceptance model is initiated in work-oriented innovations by testing employees, it is not necessarily the best model for studying educational innovations. The results also suggest that perceived longterm usefulness for educational systems should be as important as perceived usefulness for utilitarian systems, and perceived enjoyment for hedonic systems. A classification based on the nature of systems purpose (utilitarian, hedonic or educational) would contribute to a better understanding of the essence of IT innovation adoption.

Chelyabinsk CHP-3 “locked power” problem solving

All over the world power systems become bigger and bigger every day. New equipment is installed, new feeders are constructed, new power units are installed. Some old elements of the network, however, are not changed in time. As a result, “bottlenecks” for capacity transmission can occur. By locked power problem the situation when a power plant has installed capacity exceeding the power it can actually deliver is usually meant. Regime, scheme or even technical restrictions-related issues usually cause this kind of problem. It is really important, since from the regime point of view it is typical decision to have a mobile capacity reserve, in case of malfunctions. And, what can be even more significant, power plant owner (JSC Fortum in our case) losses his money because of selling less electrical energy. The goal of master`s thesis is to analyze the current state of Chelyabinsk power system and the CHP-3 (Combined Heat and Power plant) in particular in relation with it`s ability to deliver the whole capacity of the CHP in it`s existing state and also taking into consideration the prospect of power unit 3 installation by the fourth quarter of 2010. The thesis contains some general information about the UPS of Russia, CPS of Ural, power system of Chelyabinsk and the Chelyabinsk region itself. Then the CHP-3 is described from technical point of view with it`s equipment observation. Regimes for the nowadays power system and for the system after the power unit 3 installation are reviewed. The problems occurring are described and, finally, a solution is offered.

Determinants of credit risk in secured loans – Evidence from the auto loan industry

The purpose of this study is to examine attributes which have explanation power to the probability of default or serious overdue in secured auto loans. Another goal is to find out differences between defaulted loans and loans which have had payment difficulties but survived without defaulting. 19 independent variables used in this study reflect information available at the time of credit decision. These variables were tested with logistic regression and backward elimination procedure. The data includes 8931 auto loans from a Finnish finance company. 1118 of the contracts were taken by company customers and 7813 by private customers. 130 of the loans defaulted and 584 had serious payment problems but did not default. The maturities of those loans were from one month to 60 months and they have ended during year 2011. The LTV (loan-to-value) variable was ranked as the most significant explainer because of its strong positive relationship with probability of payment difficulties. Another important explainer in this study was the credit rating variable which got a negative relationship with payment problems. Also maturity and car age performed well having both a positive relationship with the probability of payment problems. When compared default and serious overdue situations, the most significant differences were found in the roles of LTV, Maturity and Gender variables.

Adaptation of TRIZ Method for Problem Solving in Process Engineering

TRIZ is one of the well-known tools, based on analytical methods for creative problem solving. This thesis suggests adapted version of contradiction matrix, a powerful tool of TRIZ and few principles based on concept of original TRIZ. It is believed that the proposed version would aid in problem solving, especially those encountered in chemical process industries with unit operations. In addition, this thesis would help fresh process engineers to recognize importance of various available methods for creative problem solving and learn TRIZ method of creative problem solving. This thesis work mainly provides idea on how to modify TRIZ based method according to ones requirements to fit in particular niche area and solve problems efficiently in creative way. Here in this case, the contradiction matrix developed is based on review of common problems encountered in chemical process industry, particularly in unit operations and resolutions are based on approaches used in past to handle those issues.

International Entrepreneurship in Bottom of the Pyramid Markets – Overcoming institutional constraints

Bottom of the pyramid (BoP) markets are an underserved market of approximately four billion people living on under $5 a day in four regional areas: Africa, Asia, Eastern Europe and Latin America. According to estimations, the BoP market forms a $5 trillion global consumer market. Despite the potential of BoP markets, companies have traditionally focused on serving the markets of developed countries and ignored the large customer group at the bottom of the pyramid. The BoP approach as first developed by Prahalad and Hart in 2002 has focused on multinational corporations (MNCs), which were thought of as the ones who should take responsibility in serving the customers at the bottom of the pyramid. This study challenges this proposition and gives evidence that also smaller international new ventures – entrepreneurial firms that are international from their birth, can be successful in BoP markets. BoP markets are characterized by a number of deficiencies in the institutional environment such as strong reliance on informal sector, lack of infrastructure and lack of skilled labor. The purpose of this study is to increase the understanding of international entrepreneurship in BoP markets by analyzing how international new ventures overcome institutional constraints in BoP markets and how institutional uncertainty can be exploited by solving institutional problems. The main objective is divided into four sub objectives. • To describe the opportunities and challenges BoP markets present • To analyze the internationalization of INVs to BoP markets • To examine what kinds of strategies international entrepreneurs use to overcome institutional constraints • To explore the opportunities institutional uncertainty offers for INVs Qualitative approach was used to conduct this study and multiple-case study was chosen as a research strategy in order to allow cross-case analysis. The empirical data was collected through four interviews with the companies Fuzu, Mifuko, Palmroth Consulting and Sibesonke. The results indicated that understanding of the wider institutional environment improves the survival prospects of INVs in BoP markets and that it is indeed possible to exploit institutional uncertainty by solving institutional problems. The main findings were that first-hand experience of the markets and grassroots levels of information are the best assets in internationalization to BoP markets. This study highlights that international entrepreneurs with limited resources can improve the lives of people at the BoP with their business operations and act as small-scale institutional entrepreneurs contributing to the development of the institutional environment of BoP markets.

Solutions to water problems in the bottom of the pyramid market

Solving the water crisis in the developing world is a critical issue. Four billion people in the globe, so called the Base of the Pyramid (BoP) population suffer from inadequate access to safe drinking water, while millions die daily from waterborne diseases and lack of clean water. The BoP people desperately need to obtain a satisfactory access to safe water sources. In order to address the issue, this research has been carried out. To provide holistic consideration to the matter, comprehensive exploration of various causes of the water crisis and its impacts in developing countries were discussed. Then, various viable and relevant solutions to the problem have been thoroughly scrutinized, including scientific, rational, practical and speculative approaches, examination of existing methods, technologies and products at the BoP water market. The role of clean water to the sustainable development was specifically featured. The paper also has studied social and economic factors, actors and circumstances which affect the market development of clean water technologies in the BoP. Possibilities and potentials of successful business between foreign water enterprises and BoP consumers were considered, while primary obstacles are deliberated on, with suggestion of the ways to tackle them. Technologies and products which are needed by the poor must be affordable, sustainable and of an appropriate quality. The crucial question of technology transfer was soundly discussed with pointing out main hindrances on the way of its implementation between the developed and developing world. The means to overcome these barriers were properly observed as well. To explore to some extent the possibility and feasibility of technology transfer from Finland to the BoP sector, 3 case study analyses have been implemented. Personal discussions in form of interviews were conducted at Kemira, Outotec and Fenno Water, Finnish water treatment and supply enterprises. The results of the interviews shed light on the specific practical matters, actual obstacles and potential solutions of the technology transfer from Finland to low-income countries.