Edge matching puzzles as hard SAT/CSP benchmarks

Recently, edge matching puzzles, an NP-complete problem, have rececived, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving techniques but also as an opportunity to showcase the advances in the SAT/CSP community to a general audience. This paper studies the NP-complete problem of edge matching puzzles focusing on providing generation models of problem instances of variable hardness and on its resolution through the application of SAT and CSP techniques. From the generation side, we also identify the phase transition phenomena for each model. As solving methods, we employ both; SAT solvers through the translation to a SAT formula, and two ad-hoc CSP solvers we have developed, with different levels of consistency, employing several generic and specialized heuristics. Finally, we conducted an extensive experimental investigation to identify the hardest generation models and the best performing solving techniques.

Produção e qualidade dos frutos de pessegueiro e nectarineira em clima subtropical do estado de São Paulo

Tendo em vista que o conhecimento do comportamento de uma cultura, em determinada região, determina o sucesso da produção, a qualidade do produto final e a garantia de aceitação pelo mercado consumidor, o presente trabalho teve como objetivo avaliar a produção e as características físicas e físico-químicas de frutos de cultivares de pessegueiro e nectarineira, cultivados ou não tradicionalmente em São Paulo, mas que possam vir a apresentar uma opção de diversificação aos fruticultores do município de Botucatu-SP, e regiões climáticas semelhantes. O experimento foi realizado durante três ciclos agrícolas: 2006/2007, 2007/2008 e 2008/2009, na Faculdade de Ciências Agronômicas, UNESP, Botucatu-SP. O clima da região é do tipo mesotérmico, Cwa, ou seja, subtropical úmido com chuvas no verão e seca no inverno. As cultivares de pessegueiro avaliadas foram: Turmalina, Cascata 968, Cascata 848, Cascata 587, Conserva 693, Precocinho, Diamante Mejorado, Oro Azteca, CP-9553CYN e Tropic Beauty. A cultivar de nectarineira avaliada foi 'Sun Blaze'. Foram avaliadas características de produção e qualidade dos frutos. Os resultados obtidos permitiram concluir que a cultivar Turmalina foi a mais produtiva. As cultivares Cascata 968 e Diamante Mejorado apresentaram o maior teor de sólidos solúveis, e as cultivares Cascata 587 e CP 9553 CYN, a maior relação sólidos solúveis/acidez titulável.

Leaf nutritional levels in peach and nectarine grown in subtropical climate

The study evaluated the leaf nutritional levels of peach and nectarine trees under subtropical climate in order to improve the fertilization practices. The experiment was carried out in São Paulo state University, Botucatu, São Paulo State, Brazil. The experimental design consisted of subdivided plots, in which plots corresponded to cultivars and subplots to the leaf sample periods. The evaluated peach cultivars were: Marli, Turmalina, Precocinho, Jubileu, Cascata 968, Cascata 848, CP 951C, CP 9553CYN, and Tropic Beauty, and that of nectarine was 'Sun Blaze'. The sample periods were: after harvest, plants in vegetative period; dormancy; beginning of flowering and fruiting (standard sample). Results indicated significant variations in the levels of N, P, K, Ca, Mg, S, B, Cu, Fe, Mn and Zn for the sampling period and in N, Ca, Mg, S, B, Fe and Mn levels for the cultivars.

Markkina-ajattelu kunnallisessa toiminnassa: Case Pietarsaaren tekninen virasto

Diplomityön pääongelmana oli selvittää miten markkina-ajattelu ilmenee Pietarsaaren teknisen viraston toiminnassa. Diplomityön aihe oli saatu toimeksiantona. Tutkimus on luonteeltaan kvalitatiivinen tutkimus. Tutkimusmenetelmänä käytettiin teemahaastatteluja. Haastateltaviksi valittiin Pietarsaaren kaupungin teknisen viraston ylin johto (kuusi henkilöä) sekä Pietarsaaren kaupungin teknisestä lautakunnasta kolme jäsentä. Markkina-ajattelun katsottiin tutkimuksessa rakentuvan kolmesta osasta: markkinamekanismien hyödyntämisestä kunnallisen palveluntuotannon järjestämisessä, kilpailutuksen käyttämisestä työkaluna ja yritysmäisestä toimintatavasta kunnallisella sektorilla. Tutkimuksen toisena teoreettisena lähtökohtana oli uusi julkisjohtaminen, joka nähtiin kokoelmana instrumentteja julkisen sektorin johtamisen tehostamiseksi. Perusasenteeltaan teknisen viraston haastateltavat antoivat itsestään melko uudistushaluisen kuvan. Palveluiden vaihtoehtoisia järjestämistapoja ei ole vielä organisaatiossa juurikaan sovellettu. Kilpailuttamisen koettiin tuovan pääosin lisätyötä ja haittapuolia toimintaan. Haastateltavat kokivat yrittäjämäisen toimintatavan sisältävän kapeasti lähinnä taloudellisten tavoitteiden tarkempaa seurantaa. Teknisen viraston kilpailemisen yksityisten palveluntuottajien kanssa pitää tulevaisuudessa mahdollisena kaikki kolme teknisestä lautakunnasta haastateltua. Palveluiden vaihtoehtoiset järjestämistavat eivät olleet heille tuttuja. Kilpailutustilanteista lautakunnasta haastatellut kokivat saavansa riittämättömästi informaatiota, mikä johtaa siihen, että halvin tarjous on aina hyväksyttävä.

Estudio y análisis de los trastornos del comportamiento a través de las revistas científicas. Revisión blbliográfica de 2004 a 2008

El interés por la producción científica en relación con los trastornos del comportamiento alimentario (TCA) ha ido en aumento durante los últimos años, lo que puede ser atribuido a varios factores, entre ellos el surgimiento de nuevas publicaciones más selectivas y especializadas. La creciente investigación examina las preocupaciones de la imagen corporal y otras conductas asociadas, tales como el desarrollo de bajos niveles de autoestima y de trastornos del comportamiento alimentario entre otros. Este trabajo, muestra una revisión bibliográfica realizada a 136 artículos publicados en 60 revistas de ámbito internacional. Los artículos comprenden una selección realizada entre el año 2004 y el año 2008, como fruto de una revisión que sirvió de base para el desarrollo del proyecto I+D denominado “La publicidad de televisión entre otros factores socioculturales influyentes en los trastornos de la conducta alimentaria. Estudio en sanas, enfermas y expertos” (2007-2010), proyecto del cual las autoras forman parte. El artículo concluye que existe una amplia tendencia a examinar los medios de comunicación y su influencia en los Trastornos del Comportamiento Alimentario y que las muestras tienden a utilizar a mujeres en su mayoría jóvenes, las cuales presentan un mayor grado de incidencia hacia los trastornos alimentarios que los hombres, en grupos con una edad cada vez menor.

La biblioteca <>, primera aproximación

El artículo se centra en el estudio de la colección literaria biblioteca «Arte y Letras», publicada en Barcelona entre 1881 y 1890 por los impresores más notables de la época. Los más de sesenta volúmenes de que consta se convirtieron en verdaderas joyas para los bibliófilos, que podían disfrutar no sólo de la belleza de sus encuadernaciones, grabados e ilustraciones, sino también de la calidad y modernidad de su contenido. El prestigio o novedad de los autores escogidos y la excelencia de sus traductores, muchos de ellos también escritores de renombre, invitan a pensar que «Arte y Letras» formaba parte de la puesta en marcha de un ambicioso programa de renovación cultural europeísta, ecléctico y progresista, cuidadosamente diseñado por sus impulsores.

Oficines Heineken

Award-winning

La imagen corporal en la sociedad del siglo XXI

La imagen corporal (IC) representa la forma en la que un individuo se percibe, imagina, siente y actúa respecto a su propio cuerpo. Es un concepto dinámico que puede modificarse a lo largo de la vida. La percepción de nuestro propio cuerpo está influida por factores socioculturales. Desde el punto de vista histórico, el concepto de belleza se ha modificado sustancialmente. En la prehistoria, la belleza se asociaba a la reproducción de la especie, mientras que en la actualidad, se asocia al éxito personal, profesional y social. El estereotipo de belleza femenino de las sociedades contemporáneas se basa en la extrema delgadez y el masculino en cuerpos musculados. La lucha por alcanzar el canon de belleza impuesto por la sociedad ha contribuido a la aparición de diferentes trastornos de la imagen corporal (TIC). Los medios de comunicación son un factor importante en el desarrollo de determinados procesos patológicos, en la insatisfacción con la propia IC y en la estigmatización del individuo. Se consideran los principales impulsores de los patrones estéticos, siendo las mujeres y los adolescentes los más vulnerables. Las diferentes investigaciones indican que los TIC son frecuentes siendo los trastornos de la conducta alimentaria (TCA) los que suponen un mayor número de ingresos y reingresos entre la población femenina. Aunque los TCA afectan principalmente a la población adolescente, los estudios muestran que puede aparecer en la edad adulta e incluso en la infancia. En el sexo masculino, el trastorno dismórfico corporal (TDC) parece ser el más prevalente. La prevención y el tratamiento de este tipo de trastornos es primordial. En este sentido, enfermería tiene un papel fundamental debido al frecuente contacto que mantiene con el paciente. Debido a la importancia concedida en la sociedad actual a la apariencia física y las posibles repercusiones que ello conlleva, el presente trabajo pretende realizar una revisión de la literatura con el objetivo de analizar el valor y la exigencia que otorga la sociedad a la IC. Palabras clave: imagen corporal, desórdenes mentales, estigma social, medios de comunicación, epidemiología, cuidados de enfermería, proceso de atención de enfermería.

Arcàdia

Postprint (published version)

UMBRA

Postprint (published version)

Llum dins la Capsa

Postprint (published version)

Concurs d'idees d'un punt d'informació turística del Patronat municipal de turisme de Tarragona

Concurs d'idees d'un punt d'informació turística del Patronat municipal de turisme de Tarragona

XVII Olimpíada Nacional de Química 2003-2004

Article que es refereix a la XVII Olimpíada Nacional de Química (2003 – 2004), celebrada el 7-10 de maig de 2004, al Col·legi dels Pares Agustins de Valencia de Don Juan (Lleó). L’ olimpíada consisteix en dues proves: la primera consisteix en la resolució de 4 problemes llargs, i la segona en 45 preguntes de resposta múltiple (tipus test) que contenen qüestions teòriques i problemes curts. En aquest article s’ esmenten els alumnes que han obtingut algun tipus de distinció, els classificats per a la Fase Nacional, els problemes proposats i les característiques de les preguntes del test

XIX Olimpíada nacional de química 2005-2006

Article que es refereix a la XIX Olimpíada Nacional de Química (2005 – 2006), celebrada el 21-24 d' abril de 2006, Vigo (Pontevedra). L’ olimpíada consisteix en dues proves: la primera consisteix en la resolució de 4 problemes llargs, i la segona en 45 preguntes de resposta múltiple (tipus test) que contenen qüestions teòriques i problemes curts. En aquest article s’ esmenten els alumnes que han obtingut algun tipus de distinció, els classificats per a la Fase Nacional, els problemes proposats i les característiques de les preguntes del test

Cruïlla 0

Postprint (published version)