How hard is a commercial puzzle: the eternity II challenge

Recently, edge matching puzzles, an NP-complete problem, have received, 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.

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.

Haulikkoratamelun minimoinnin suunnittelu

Työn tavoitteena oli tutkia kilpa- ja harjoitusammuntaan käytettävällä haulikkoradalla käytettäväksi soveltuvia passiivisia meluntorjuntamenetelmiä ja suunnitella niistä toimiva kokonaisuus kohderadoille siten, että rata-alueen läheisillä asuinalueilla alitetaan 50 dB LAIMax-taso sekä muilla alueilla ampumaratamelun ohjearvot. Aluksi tarkasteltiin kohderatojen vanhoja menetelmiä ja radan meluntorjunnan kannalta olennaiset suunnat selvitettiin mittauksilla. Myös laukausmelun spektriä tutkittiin mittauksilla. Olemassa oleville menetelmille etsittiin korvaavia ja täydentäviä menetelmiä. Radan sijoittaminen maastoon on tärkeä osa meluntorjuntaa uutta rataa suunniteltaessa, mutta kohteena olleiden ratojen sijoittamista ei voitu enää muuttaa. Koska haulikkoammunnan säännöt eivät mahdollista aliääniammusten tai äänenvaimentimien käyttöä, ei varsinaista melupäästöä pystytä pienentämään. Melulle altistuvan kohteen sisätilojen suojaaminenkin on käytännössä hyödytöntä, koska ampumamelun ohjearvot ovat ulkoalueille. Ainoastaan melun absorptio, etenemisen estäminen ja ohjaaminen ovat kelvollisia menetelmiä kohderadoilla. Rata-alueelle suunniteltiin uudet ratojen väliset meluseinät, joiden ääneneristävyys ja -absorptio on vanhoja seiniä parempi. Taustavallille suunniteltiin jatkamista maavallina ja korottamista meluaitana, joka toimii myös haulienkierrätysjärjestelmän runkona. Alueen maaperä suunniteltiin muutettavaksi akustisesti pehmeämmäksi. Käytettävien menetelmien suunnittelussa tehtiin eri vaihtoehdoille laskennallisia arvioita, tietokonemallinnuksia ja laboratoriokokeita. Myös uusia menetelmiä haulikkoradan meluntorjunnassa tutkittiin. Tutkimusten perusteella näitä menetelmiä tutkitaan jatkossa käytännössä.

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ä.

Oficines Heineken

Award-winning

LC-MS method development and comparison of sampling materials for the analysis of organic gunshot residues

This study aimed at comparing the efficiency of various sampling materials for the collection and subsequent analysis of organic gunshot residues (OGSR). To the best of our knowledge, it is the first time that sampling devices were investigated in detail for further quantitation of OGSR by LC-MS. Seven sampling materials, namely two "swab"-type and five "stub"-type collection materials, were tested. The investigation started with the development of a simple and robust LC-MS method able to separate and quantify molecules typically found in gunpowders, such as diphenylamine or ethylcentralite. The evaluation of sampling materials was then systematically carried out by first analysing blank extracts of the materials to check for potential interferences and determining matrix effects. Based on these results, the best four materials, namely cotton buds, polyester swabs, a tape from 3M and PTFE were compared in terms of collection efficiency during shooting experiments using a set of 9 mm Luger ammunition. It was found that the tape was capable of recovering the highest amounts of OGSR. As tape-lifting is the technique currently used in routine for inorganic GSR, OGSR analysis might be implemented without modifying IGSR sampling and analysis procedure.

Identificação de resíduos de disparos de armas de fogo por meio da técnica de espectrometria de massas de alta resolução com fonte de plasma indutivo

The violence derived from crimes involving firearms represents one of the main concerns of society. For this reason modern techniques have emerged in forensic science to identify suspects at crime scenes. This work describes a methodology to identify residues present in the hands of suspect by using a high resolution inductively coupled plasma mass spectrometry and collection procedure based on ethylenediaminetetraacetic acid (EDTA) solution as a complexing agent in moistened swabs. In order to distinguish real gunshot residues from others types of residues present in the hand of suspect, ternary ratio per cent diagrams were developed for antimony (Sb), barium (Ba) and lead (Pb) detected on the hands of volunteers, before and immediately after shooting tests, revealing a remarkable difference in both situations.

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)

Redacció del projecte de reforma de l’aparcament subterrani de la seu de Barcelona de l’Institut del Teatre i la direcció d’obres

Redacció del projecte de reforma de l’aparcament subterrani de la seu de Barcelona del’Institut del Teatre i la direcció d’obres