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.

Estudio de la anisotropía de la dureza

En el presente trabajo se estudian las variaciones de la dureza (microdureza) de los minerales, en función de la dirección cristalográfica en que se han medido. Los datos experimentales se han obtenido utilizando un equipo Vickers, siendo los minerales seleccionados para el estudio el cinabrio y la enargita

Avaluació dels nivells de nitrats i duresa a l'aigua de consum a quatre zones d'Espanya participants a l'estudi epidemiològic Infància i Medi Ambientl (INMA)

L’aigua és un dels components bàsics per a la vida i una font d’exposició a contaminants ubiqua, ja que tota la població en consumeix. L’estudi epidemiològic INMA avaluarà si l’exposició a nitrats durant l’embaràs i a la duresa de l’aigua durant la infància es relaciona amb el baix pes al néixer i l’èczema atòpica, respectivament. Objectiu: Fer una avaluació dels nivells de nitrats i duresa de l’aigua en aigua de consum de la població de l’estudi INMA. Metodologia: l’estudi descriptiu realitzat a quatre de les set cohorts INMA, a Astúries, Guipúscoa, Sabadell i València. S’ha recopilat dades dels nivells de nitrats i duresa a l’aigua de consum dels municipis durant el període d’interès (2003 al 2008 i 2004 al 2012), a través d’ajuntaments i companyies d’aigua. S’ha calculat la mitjana, la desviació estàndard, el màxim i el mínim dels nivells de nitrat i de duresa en total i segons l’àrea geogràfica, l’any i l’estació. A Sabadell s’han fet tres mostrejos d’aigua per analitzar la duresa a diferents punts de la ciutat. Resultats: el nivell promig de nitrats (mg/L NO3-) és de 4,2 a Astúries, 4,0 a Guipúscoa, 9,2 a Sabadell i 15,2 a València. El nivell promig de duresa (mg/L CaCO3) és de 89,1 a Astúries, 132,7 al Guipúscoa, 178,3 a València i 230,9 a Sabadell. En l’anàlisi que es va realitzar a Sabadell, es detecta una duresa lleugerament inferior a la reportada sense variabilitat geogràfica. No s’observa una pauta clara de variabilitat estacional ni de variabilitat temporal tant per nitrats com per duresa. Conclusions: S’ha detectat variabilitat en els nivells de nitrats i duresa de l’aigua a les zones d’estudi. Els nivells de nitrats són moderats i els més alts es troben a zones agrícoles de València. La duresa de l’aigua és força alta degut al domini calcari dels subsòls de les zones d’estudi.

Anisotropic surface properties of micro/nanostructured a-C:H:F thin films with self-assembly applications

The singular properties of hydrogenated amorphous carbon (a-C:H) thin filmsdeposited by pulsed DC plasma enhanced chemical vapor deposition (PECVD), such as hardness and wear resistance, make it suitable as protective coating with low surface energy for self-assembly applications. In this paper, we designed fluorine-containing a-C:H (a-C:H:F) nanostructured surfaces and we characterized them for self-assembly applications. Sub-micron patterns were generated on silicon through laser lithography while contact angle measurements, nanotribometer, atomic force microscopy (AFM), and scanning electron microscopy (SEM) were used to characterize the surface. a-C:H:F properties on lithographied surfaces such as hydrophobicity and friction were improved with the proper relative quantity of CH4 and CHF3 during deposition, resulting in ultrahydrophobic samples and low friction coefficients. Furthermore, these properties were enhanced along the direction of the lithographypatterns (in-plane anisotropy). Finally, self-assembly properties were tested with silicananoparticles, which were successfully assembled in linear arrays following the generated patterns. Among the main applications, these surfaces could be suitable as particle filter selector and cell colony substrate.