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.

The impact of balancing on problem hardness in a highly structured domain

Random problem distributions have played a key role in the study and design of algorithms for constraint satisfaction and Boolean satisfiability, as well as in ourunderstanding of problem hardness, beyond standard worst-case complexity. We consider random problem distributions from a highly structured problem domain that generalizes the Quasigroup Completion problem (QCP) and Quasigroup with Holes (QWH), a widely used domain that captures the structure underlying a range of real-world applications. Our problem domain is also a generalization of the well-known Sudoku puz- zle: we consider Sudoku instances of arbitrary order, with the additional generalization that the block regions can have rectangular shape, in addition to the standard square shape. We evaluate the computational hardness of Generalized Sudoku instances, for different parameter settings. Our experimental hardness results show that we can generate instances that are considerably harder than QCP/QWH instances of the same size. More interestingly, we show the impact of different balancing strategies on problem hardness. We also provide insights into backbone variables in Generalized Sudoku instances and how they correlate to problem hardness.

Highly textured Sr, Nb, co-doped BiFeO3 thin films grown on SrRuO3/Si substrates by rf-sputtering

In this study, (011)-highly oriented Sr, Nb co-doped BiFeO3 (BFO) thin films were successfully grown on SrRuO3/Si substrates by rf-magnetron sputtering. The presence of parasite magnetic phases was ruled out based on the high resolution x-ray diffraction data. BFO films exhibited a columnar-like grain growth with rms surface roughness values of 5.3 nm and average grain sizes of 65-70 nm for samples with different thicknesses. Remanent polarization values (2Pr) of 54 lC cm 2 at room temperature were found for the BFO films with a ferroelectric behavior characteristic of an asymmetric device structure. Analysis of the leakage mechanisms for this structure in negative bias suggests Schottky injection and a dominant Poole-Frenkel trap-limited conduction at room temperature. Oxygen vacancies and Fe3þ/Fe2þ trap centers are consistent with the surface chemical bonding states analysis from x-ray photoelectron spectroscopy data. The (011)-BFO/ SrRuO3/Si film structure exhibits a strong magnetic interaction at the interface between the multiferroic film and the substrate layer where an enhanced ferromagnetic response at 5 K was observed. Zero-field cooled (ZFC) and field cooled (FC) magnetization curves of this film system revealed a possible spin glass behavior at spin freezing temperatures below 30 K depending on the BFO film thickness.

The embryonic blood-CSF barrier has molecular elements for specific glucose transport and for the general transport of molecules via transcellular routes.

In vertebrates, early brain development takes place at the expanded anterior end of the neural tube, which is filled with embryonic cerebrospinal fluid (E-CSF). We have recently identified a transient blood-CSF barrier that forms between embryonic days E3 and E4 in chick embryos and that is responsible for the transport of proteins and control of E-CSF homeostasis, including osmolarity. Here we examined the presence of glucose transporter GLUT-1 as well the presence of caveolae-structural protein Caveolin1 (CAV-1) in the embryonic blood-CSF barrier which may be involved in the transport of glucose and of proteins, water and ions respectively across the neuroectoderm. In this paper we demonstrate the presence of GLUT-1 and CAV-1 in endothelial cells of blood vessels as well as in adjacent neuroectodermal cells, located in the embryonic blood-CSF barrier. In blood vessels, these proteins were detected as early as E4 in chick embryos and E12.7 in rat embryos, i.e. the point at which the embryonic blood-CSF barrier acquires this function. In the neuroectoderm of the embryonic blood-CSF barrier, GLUT-1 was also detected at E4 and E12.7 respectively, and CAV-1 was detected shortly thereafter in both experimental models. These experiments contribute to delineating the extent to which the blood-CSF embryonic barrier controls E-CSF composition and homeostasis during early stages of brain development in avians and mammals. Our results suggest the regulation of glucose transport to the E-CSF by means of GLUT-1 and also suggest a mechanism by which proteins are transported via transcellular routes across the neuroectoderm, thus reinforcing the crucial role of E-CSF in brain development.

Elements crisipians en àlgebres d-completes i àlgebres de Sales

El autor estudia los elementos de comportamiento clásico, o crisipianos, en álgebras d-completas (introducidas por él mismo como el sustrato algebraico de las lógicas completas) y en álgebras de Sales (sustrato algebraico de las lógicas multivaloradas). Da caracterizaciones de estos elementos en ambos casos. Estudia la relación de dichos elementos con los espectros irreducible, primo y completamente irreducible. Además obtiene que el conjunto de elementos crisipianos de un álgebra de Sales es una subálgebra y es un álgebra de Abbott (o de implicación).

Disseny amforal i canvi tecnològic al voltant del canvi d'era: L'aportació de l'Anàlisi d'Elements Finits

[spa] Mediante el Análisis de Elementos Finitos es posible evaluar un diseño cerámico en función de su tipologia y de las propiedades mecánicas del material. Su aplicación permite considerar los factores tecnológicos que puedan haber condicionado el cambio de una tipologia cerámica. Este análisis se ilustra con los primeros tipos anfóricos romanos producidos en la actual Cataluña (Dressel 1, Tarraconense 1 y Pascuai 7).

Highly efficient, multigram and enantiopure synthesis of (S)-2-(2,4′-bithiazol-2-yl)pyrrolidine

(S)-2-(4-Bromo-2,4"-bithiazole)-1-(tert-butoxycarbonyl)pyrrolidine ((S)-1) was obtained as a single enantiomer and in high yield by means of a two-step modified Hantzsch thiazole synthesis reaction when bromoketone 3 and thioamide (S)-4 were used. Further conversion of (S)-1 into trimethyltin derivative (S)-2 broadens the scope for further cross-coupling reactions.

Elements del practicum que afavoreixen la transferència de competències

El pràcticum és un entorn privilegiat per a la transferència de competències. Des d"aquesta perspectiva, s"ha desenvolupat el projecte «Anàlisi i avaluació de la transferibilitat de competències professionals de l"Educació Social en els centres de pràctiques» (2008MQD155) a la Universitat de Barcelona durant els cursos 2008-2010. La complexitat de l"objecte d"estudi aconsellava la utilització de mètodes qualitatius. Es va optar per un disseny d"investigació-acció a partir d"espais de reflexió. Des de la percepció dels participants, s"han identificat un conjunt d"elements que afavoreixen la transferència de competències en el marc del pràcticum, entre els quals cal destacar la necessitat d"una planificació conjunta i d"una planificació específica des de cadascun dels escenaris formatius vertebrada des de la reflexió-acció de la pràctica de l"estudiant. Per fer-ho possible, és necessari que els centres de pràctiques i els centres universitaris es reconeguin corresponsables de la formació pràctica.

A highly expressed miR-101 isomiR is a functional silencing small RNA

Background MicroRNAs (miRNAs) are short non-coding regulatory RNAs that control gene expression usually producing translational repression and gene silencing. High-throughput sequencing technologies have revealed heterogeneity at length and sequence level for the majority of mature miRNAs (IsomiRs). Most isomiRs can be explained by variability in either Dicer1 or Drosha cleavage during miRNA biogenesis at 5" or 3" of the miRNA (trimming variants). Although isomiRs have been described in different tissues and organisms, their functional validation as modulators of gene expression remains elusive. Here we have characterized the expression and function of a highly abundant miR-101 5"-trimming variant (5"-isomiR-101). Results The analysis of small RNA sequencing data in several human tissues and cell lines indicates that 5"-isomiR-101 is ubiquitously detected and a highly abundant, especially in the brain. 5"- isomiR-101 was found in Ago-2 immunocomplexes and complementary approaches showed that 5"-isomiR-101 interacted with different members of the silencing (RISC) complex. In addition, 5"-isomiR-101 decreased the expression of five validated miR-101 targets, suggesting that it is a functional variant. Both the binding to RISC members and the degree of silencing were less efficient for 5"-isomiR-101 compared with miR-101. For some targets, both miR-101 and 5"-isomiR-101 significantly decreased protein expression with no changes in the respective mRNA levels. Although a high number of overlapping predicted targets suggest similar targeted biological pathways, a correlation analysis of the expression profiles of miR-101 variants and predicted mRNA targets in human brains at different ages, suggest specific functions for miR-101- and 5"-isomiR-101. Conclusions These results suggest that isomiRs are functional variants and further indicate that for a given miRNA, the different isomiRs may contribute to the overall effect as quantitative and qualitative fine-tuners of gene expression.

Synthesis of highly focused fields with circular polarization at any transverse plane

We develop a method for generating focused vector beams with circular polarization at any transverse plane. Based on the Richards-Wolf vector model, we derive analytical expressions to describe the propagation of these set of beams near the focal area. Since the polarization and the amplitude of the input beam are not uniform, an interferometric system capable of generating spatially-variant polarized beams has to be used. In particular, this wavefront is manipulated by means of spatial light modulators displaying computer generated holograms and subsequently focused using a high numerical aperture objective lens. Experimental results using a NA=0.85 system are provided: irradiance and Stokes images of the focused field at different planes near the focal plane are presented and compared with those obtained by numerical simulation.

Presentació: Justícia Juvenil : elements per un debat

Ens han demanat que en aquesta edició de Temps d'Educació es presenti una qüestió difícil, i pel que sembla incomoda, que sobrepassa els idealismes pedagògics destinats als «sants innocents» i ens situa més enllà de certes omnipotències tècniques que semblen voler reduir qualsevol problema infantil o juvenil a l'àmbit d'una educació curricular. Es tracta de la Justícia de Menors. Per aixo agraïm l'aportació de totes les persones que des del coneixement i l'experiència en han ofert generosament els seus escrits i la seva veu com a elements introductoris per a un debat obert.

Elements apresos i/o retinguts per infants de dos centres de contextos diferents a partir d'una comunicació generada entre ells amb les TIC

La comunicació com a mètode per aprendre no és nou, tot i així les noves tecnologies obren la porta a noves oportunitats i nous projectes entorn aquest concepte. No només es tracta de treballar elements curriculars, sinó també actitudinals a través de la opció de connexió entre contextos. L’objectiu d’aquesta recerca és analitzar quina és l’actitud i els aprenentatges i/o retencions dels infants a partir d’una connexió generada entre dos contextos. Per tal de donar resposta a aquest plantejament de la investigació es crea una intervenció entre les aules i s’utilitzen com a instruments de recollida de dades les observacions, els dibuixos i els grups de discussió. Els resultats mostren una actitud oberta i d’interès per part dels infants davant de la metodologia de comunicació a l’aula, però un aprenentatge i/o retenció relacionat amb els continguts dels elements de l’altre context per sobre dels elements TIC. Es conclou doncs que dins l’aula treballant amb les noves tecnologies es genera un incentiu pels infants fent evident que hi ha hagut un aprenentatge compartit.

On the physical realizability of highly focused electromagnetic field distributions

A method to evaluate the physical realizability of an arbitrary three-dimensional vectorial field distribution in the focal area is proposed. A parameter that measures the similarity between the designed (target) field and the physically achievable beam is provided. This analysis is carried out within the framework of the closest electromagnetic field to a given vectorial function, and the procedure is applied to two illustrative cases.

Design of highly focused fields that remain unpolarized on axis

Research on the properties of highly focused fields mainly involved fully polarized light, whereas partially polarized waves received less attention. The aim of this Letter is to provide an appropriate framework, for designing some features of the focused field, when dealing with incoming partially polarized beams. In particular, in this Letter, we describe how to get an unpolarized field on the axis of a high numerical aperture objective lens. Some numerical results that corroborate theoretical predictions are provided.