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.

Agency problems with non-smooth decision profiles: the case of monopoly under product quality

A method for dealing with monotonicity constraints in optimal control problems is used to generalize some results in the context of monopoly theory, also extending the generalization to a large family of principal-agent programs. Our main conclusion is that many results on diverse economic topics, achieved under assumptions of continuity and piecewise differentiability in connection with the endogenous variables of the problem, still remain valid after replacing such assumptions by two minimal requirements.

Perceptions of twelve-step mutual-help groups and their associations with motivation, treatment attendance and alcohol outcomes among chronically homeless individuals with alcohol problems.

BACKGROUND: Twelve-step mutual-help groups (TMGs) are among the most available forms of support for homeless individuals with alcohol problems. Qualitative research, however, has suggested that this population often has negative perceptions of these groups, which has been shown to be associated with low TMG attendance. It is important to understand this population's perceptions of TMGs and their association with alcohol outcomes to provide more appropriate and better tailored programming for this multiply affected population. The aims of this cross-sectional study were to (a) qualitatively examine perception of TMGs in this population and (b) quantitatively evaluate its association with motivation, treatment attendance and alcohol outcomes. METHODS: Participants (N=62) were chronically homeless individuals with alcohol problems who received single-site Housing First within a larger evaluation study. Perceptions of TMGs were captured using an open-ended item. Quantitative outcome variables were created from assessments of motivation, treatment attendance and alcohol outcomes. RESULTS: Findings indicated that perceptions of TMGs were primarily negative followed by positive and neutral perceptions, respectively. There were significant, positive associations between perceptions of TMGs and motivation and treatment attendance, whereas no association was found for alcohol outcomes. CONCLUSIONS: Although some individuals view TMGs positively, alternative forms of help are needed to engage the majority of chronically homeless individuals with alcohol problems.

Papaya pulp gelling: is it premature ripening or problems of water accumulation in the apoplast?

Gelled aspect in papaya fruit is typically confused with premature ripening. This research reports the characterization of this physiological disorder in the pulp of papaya fruit by measuring electrolyte leakage, Pi content, lipid peroxidation, pulp firmness, mineral contents (Ca, Mg and K - in pulp and seed tissues), and histological analysis of pulp tissue. The results showed that the gelled aspect of the papaya fruit pulp is not associated with tissue premature ripening. Data indicate a reduction of the vacuole water intake as the principal cause of the loss of cellular turgor; while the waterlogged aspect of the tissue may be due to water accumulation in the apoplast.

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

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.

Optimizing the Anti-VEGF Treatment Strategy for Neovascular Age-Related Macular Degeneration: From Clinical Trials to Real-Life Requirements.

NlmCategory="UNASSIGNED">This Perspective discusses the pertinence of variable dosing regimens with anti-vascular endothelial growth factor (VEGF) for neovascular age-related macular degeneration (nAMD) with regard to real-life requirements. After the initial pivotal trials of anti-VEGF therapy, the variable dosing regimens pro re nata (PRN), Treat-and-Extend, and Observe-and-Plan, a recently introduced regimen, aimed to optimize the anti-VEGF treatment strategy for nAMD. The PRN regimen showed good visual results but requires monthly monitoring visits and can therefore be difficult to implement. Moreover, application of the PRN regimen revealed inferior results in real-life circumstances due to problems with resource allocation. The Treat-and-Extend regimen uses an interval based approach and has become widely accepted for its ease of preplanning and the reduced number of office visits required. The parallel development of the Observe-and-Plan regimen demonstrated that the future need for retreatment (interval) could be reliably predicted. Studies investigating the observe-and-plan regimen also showed that this could be used in individualized fixed treatment plans, allowing for dramatically reduced clinical burden and good outcomes, thus meeting the real life requirements. This progressive development of variable dosing regimens is a response to the real-life circumstances of limited human, technical, and financial resources. This includes an individualized treatment approach, optimization of the number of retreatments, a minimal number of monitoring visits, and ease of planning ahead. The Observe-and-Plan regimen achieves this goal with good functional results. Translational Relevance: This perspective reviews the process from the pivotal clinical trials to the development of treatment regimens which are adjusted to real life requirements. The article discusses this translational process which- although not the classical interpretation of translation from fundamental to clinical research, but a subsequent process after the pivotal clinical trials - represents an important translational step from the clinical proof of efficacy to optimization in terms of patients' and clinics' needs. The related scientific procedure includes the exploration of the concept, evaluation of security, and finally proof of efficacy.

Toimintamalli integraatin sisäisten palvelujen kustannusten jakamiseksi

Diplomityön tavoitteena on laatia toimintamalli kohdeyrityksen sisäisten palvelujen kustannusten jakamiseksi. Toimintamallin tulee määritellä sisäisen palvelun tuottamisesta aiheutuvat kustannukset ja niiden oikeudenmukaiset jakoperusteet sekä laatia ehdotus palveluveloitusten käsittelyprosessista. Toimintamallin toivotaan lisäävän tietoa sisäisistä palveluista ja tekevän niiden kustannukset aiempaa läpinäkyvimmiksi. Toimintamallin avulla tulee voida käsitellä niin kohdeyrityksen nykyisiä kuin tulevia sisäisiä palveluita. Työn teoriaosassa käsitellään kustannusten jaottelu- ja kohdistustapoja, erilaisia siirtohinnoittelumenetelmiä sekä siirtohinnoittelun tavoitteita ja ongelmia. Empiirisessä osassa kerrotaan kohdeyrityksestä ja sen sisäisten palveluiden tilanteesta työn alkuvaiheessa. Tämän jälkeen esitellään tutkimuksen tuloksena syntynyt toimintamalli ja analysoidaan miten se on saavuttanut sille asetetut tavoitteet. Työn tulosten perusteella voidaan todeta, että kaikkia yrityksen sisäisiä palveluja ei voida käsitellä samojen periaatteiden mukaisesti. Oikeudenmukainen kustannusten jakaminen edellyttää palveluiden ryhmittelyn lisäksi tarkkaa kustannusten käyttäytymisen analysointia.

TYÖPROSESSIN JA TOIMINNANOHJAUSSOVELLUKSEN KÄYTTÖÖNOTTO

Työn tavoitteena oli tutkia uuden tuotannonohjausjärjestelmän ja työprosessin käyttöönottoa maantieteellisesti hajautetussa organisaatiossa. Tavoitteena oli myös laatia malli kuinka mittavat järjestelmäkäyttöönotot tulisi viedä läpi hallitusti. Tutkimuksen teoriaosuus on tehty kirjallisuustukimuksena ja asiantuntijahaastatteluiden pohjalta. Teoriaosuudessa käydään läpi mitkä seikat uuden tuotannonohjausjärjestelmän käyttöönotossa ovat tärkeitä onnistumisen kannalta ja kuinka käyttöönottoprojekti tulisi viedä läpi. Työn empiirisessä osuudessa on analysoitu kuinka järjestelmä otettiin käyttöön kohdeyrityksessä. Empiirinen osa on tehty tarkastelemalla käyttöönottoa ja onnistumista on pohdittu suorittamalla käyttäjäkysely. Järjestelmien käyttöönotot epäonnistuvat useassa tapauksessa. Nämä epäonnistumiset johtuvat usein käyttöönotto-organisaation kokemattomuudesta viedä läpi monimutkaisia projekteja, suunnittelun puutteesta, huonosta sitoutumisesta muutokseen tai riittämättömästä resurssien allokoinnista. Ennalta suunnittelu, suunnitelmien pitävyyden tarkastaminen ja mahdollisesti muuttaminen käyttöönoton edetessä ovat avaimia onnistumiseen. Kohdeyrityksessä otetaan erilaisia järjestelmiä käyttöön ajoittain. Nämä käyttöönotot eivät ole kuitenkaan aina sujuneet halutulla tavalla. Tutkimus pyrkii luomaan vaiheittaisen mallin muutokseen valmistautumisesta, suunnittelusta, muutoksen kouluttamisesta, järjestelmän integroimisesta muihin järjestelmiin, muutoksen läpivientiin ja käyttöönoton onnistumisen mittaamisesta. Tutkimuksessa käsitellään uuden projektinhallintajärjestelmän käyttöönoton problematiikan lisäksi uuden työprosessin käyttöönottoa.

Cost allocation of corporate IT-services

Cost allocation is an inescapable problem in nearly every organization and in nearly every facet of accounting. Within large corporations there are several different types of units, like profit-making business units and non-profit service units. In order to evaluate the performance of the business units and to fund the operations of service units, the expenses of service production need to be allocated to the business units benefiting from the services.The objective of this thesis was to find good and fair allocating factors for the costs of corporate wide IT services. In order to reach this objective, the cost allocation process was studied in general and an overview of cost structure was established. All possible cost driver candidates were mapped and their good and bad properties were weighed. The cost allocation problem was handled separately according to organizational division of corporate IT department: infrastructure, administrative systems, sales system and e-business. The emphasis was on two largest cost groups: infrastructure costs and sales system costs. As a result of the study an allocation model is presented. It contains categorization of the costs, selected cost drivers and cost distributions for the current year.

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.

The Swiss reform of the allocation of tasks : The conventions-programs as a new partnership model for vertical cooperation ?

This research examines the impacts of the Swiss reform of the allocation of tasks which was accepted in 2004 and implemented in 2008 to "re-assign" the responsibilities between the federal government and the cantons. The public tasks were redistributed, according to the leading and fundamental principle of subsidiarity. Seven tasks came under exclusive federal responsibility; ten came under the control of the cantons; and twenty-two "common tasks" were allocated to both the Confederation and the cantons. For these common tasks it wasn't possible to separate the management and the implementation. In order to deal with nineteen of them, the reform introduced the conventions-programs (CPs), which are public law contracts signed by the Confederation with each canton. These CPs are generally valid for periods of four years (2008-11, 2012-15 and 2016-19, respectively). The third period is currently being prepared. By using the principal-agent theory I examine how contracts can improve political relations between a principal (Confederation) and an agent (canton). I also provide a first qualitative analysis by examining the impacts of these contracts on the vertical cooperation and on the implication of different actors by focusing my study on five CPs - protection of cultural heritage and conservation of historic monuments, encouragement of the integration of foreigners, economic development, protection against noise and protection of the nature and landscape - applied in five cantons, which represents twenty-five cases studies.

Measurement Problems and Problem-Solving in Kraft Pulping

Tämän työn tarkoituksena on koota yhteen selluprosessin mittausongelmat ja mahdolliset mittaustekniikat ongelmien ratkaisemiseksi. Pääpaino on online-mittaustekniikoissa. Työ koostuu kolmesta osasta. Ensimmäinen osa on kirjallisuustyö, jossa esitellään nykyaikaisen selluprosessin perusmittaukset ja säätötarpeet. Mukana on koko kuitulinja puunkäsittelystä valkaisuun ja kemikaalikierto: haihduttamo, soodakattila, kaustistamo ja meesauuni. Toisessa osassa mittausongelmat ja mahdolliset mittaustekniikat on koottu yhteen ”tiekartaksi”. Tiedot on koottu vierailemalla kolmella suomalaisella sellutehtaalla ja haastattelemalla laitetekniikka- ja mittaustekniikka-asiantuntijoita. Prosessikemian paremmalle ymmärtämiselle näyttää haastattelun perusteella olevan tarvetta, minkä vuoksi konsentraatiomittaukset on valittu jatkotutkimuskohteeksi. Viimeisessä osassa esitellään mahdollisia mittaustekniikoita konsentraatiomittausten ratkaisemiseksi. Valitut tekniikat ovat lähi-infrapunatekniikka (NIR), fourier-muunnosinfrapunatekniikka (FTIR), online-kapillaarielektroforeesi (CE) ja laserindusoitu plasmaemissiospektroskopia (LIPS). Kaikkia tekniikoita voi käyttää online-kytkettyinä prosessikehitystyökaluina. Kehityskustannukset on arvioitu säätöön kytketylle online-laitteelle. Kehityskustannukset vaihtelevat nollasta miestyövuodesta FTIR-tekniikalle viiteen miestyövuoteen CE-laitteelle; kehityskustannukset riippuvat tekniikan kehitysasteesta ja valmiusasteesta tietyn ongelman ratkaisuun. Työn viimeisessä osassa arvioidaan myös yhden mittausongelman – pesuhäviömittauksen – ratkaisemisen teknis-taloudellista kannattavuutta. Ligniinipitoisuus kuvaisi nykyisiä mittauksia paremmin todellista pesuhäviötä. Nykyään mitataan joko natrium- tai COD-pesuhäviötä. Ligniinipitoisuutta voidaan mitata UV-absorptiotekniikalla. Myös CE-laitetta voitaisiin käyttää pesuhäviön mittauksessa ainakin prosessikehitysvaiheessa. Taloudellinen tarkastelu pohjautuu moniin yksinkertaistuksiin ja se ei sovellu suoraan investointipäätösten tueksi. Parempi mittaus- ja säätöjärjestelmä voisi vakauttaa pesemön ajoa. Investointi ajoa vakauttavaan järjestelmään on kannattavaa, jos todellinen ajotilanne on tarpeeksi kaukana kustannusminimistä tai jos pesurin ajo heilahtelee eli pesuhäviön keskihajonta on suuri. 50 000 € maksavalle mittaus- ja säätöjärjestelmälle saadaan alle 0,5 vuoden takaisinmaksuaika epävakaassa ajossa, jos COD-pesuhäviön vaihteluväli on 5,2 – 11,6 kg/odt asetusarvon ollessa 8,4 kg/odt. Laimennuskerroin vaihtelee tällöin välillä 1,7 – 3,6 m3/odt asetusarvon ollessa 2,5 m3/odt.

Genetic origin of the relationship between parental negativity and behavior problems from early childhood to adolescence: A longitudinal genetically sensitive study.

Little is known about how genetic and environmental factors contribute to the association between parental negativity and behavior problems from early childhood to adolescence. The current study fitted a cross-lagged model in a sample consisting of 4,075 twin pairs to explore (a) the role of genetic and environmental factors in the relationship between parental negativity and behavior problems from age 4 to age 12, (b) whether parent-driven and child-driven processes independently explain the association, and (c) whether there are sex differences in this relationship. Both phenotypes showed substantial genetic influence at both ages. The concurrent overlap between them was mainly accounted for by genetic factors. Causal pathways representing stability of the phenotypes and parent-driven and child-driven effects significantly and independently account for the association. Significant but slight differences were found between males and females for parent-driven effects. These results were highly similar when general cognitive ability was added as a covariate. In summary, the longitudinal association between parental negativity and behavior problems seems to be bidirectional and mainly accounted for by genetic factors. Furthermore, child-driven effects were mainly genetically mediated, and parent-driven effects were a function of both genetic and shared-environmental factors.