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 role of fibroblast growth factor (FGF) and type beta transforming growth factot beta (TGF beta1, beta2 and beta3) during rat craniofacial development

Growth factors seem to be part of a complex cellular signalling language, in which individual growth factors are the equivalents of the letters that compose words. According to this analogy, informational content lies, not in an individual growth factor, but in the entire set of growth factors and others signals to which a cell is exposed. The ways in which growth factors exert their combinatorial effects are becoming clearer as the molecular mechanisms of growth factors actions are being investigated. A number of related extracellular signalling molecules that play widespread roles in regulating development in both invertebrates and vertebrates constitute the Fibroblast Growth Factor (FGF) and type beta Transforming Growth Factor ((TGF beta). The latest research literature about the role and fate of these Growth factors and their influence in the craniofacial bone growth ad development is reviewed

The role of fibroblast growth factor (FGF) and type beta transforming growth factot beta (TGF beta1, beta2 and beta3) during rat craniofacial development

Growth factors seem to be part of a complex cellular signalling language, in which individual growth factors are the equivalents of the letters that compose words. According to this analogy, informational content lies, not in an individual growth factor, but in the entire set of growth factors and others signals to which a cell is exposed. The ways in which growth factors exert their combinatorial effects are becoming clearer as the molecular mechanisms of growth factors actions are being investigated. A number of related extracellular signalling molecules that play widespread roles in regulating development in both invertebrates and vertebrates constitute the Fibroblast Growth Factor (FGF) and type beta Transforming Growth Factor ((TGF beta). The latest research literature about the role and fate of these Growth factors and their influence in the craniofacial bone growth ad development is reviewed

COMPASS identifies T-cell subsets correlated with clinical outcomes.

Advances in flow cytometry and other single-cell technologies have enabled high-dimensional, high-throughput measurements of individual cells as well as the interrogation of cell population heterogeneity. However, in many instances, computational tools to analyze the wealth of data generated by these technologies are lacking. Here, we present a computational framework for unbiased combinatorial polyfunctionality analysis of antigen-specific T-cell subsets (COMPASS). COMPASS uses a Bayesian hierarchical framework to model all observed cell subsets and select those most likely to have antigen-specific responses. Cell-subset responses are quantified by posterior probabilities, and human subject-level responses are quantified by two summary statistics that describe the quality of an individual's polyfunctional response and can be correlated directly with clinical outcome. Using three clinical data sets of cytokine production, we demonstrate how COMPASS improves characterization of antigen-specific T cells and reveals cellular 'correlates of protection/immunity' in the RV144 HIV vaccine efficacy trial that are missed by other methods. COMPASS is available as open-source software.

Local Salmonella immunostimulation recruits vaccine-specific CD8 T cells and increases regression of bladder tumor.

NlmCategory="UNASSIGNED">The efficacy of antitumoral responses can be increased using combinatorial vaccine strategies. We recently showed that vaccination could be optimized by local administration of diverse molecular or bacterial agents to target and augment antitumoral CD8 T cells in the genital mucosa (GM) and increase regression of cervical cancer in an animal model. Non muscle-invasive bladder cancer is another disease that is easily amenable to local therapies. In contrast to data obtained in the GM, in this study we show that intravesical (IVES) instillation of synthetic toll-like receptor (TLR) agonists only modestly induced recruitment of CD8 T cells to the bladder. However, IVES administration of Ty21a, a live bacterial vaccine against typhoid fever, was much more effective and increased the number of total and vaccine-specific CD8 T cells in the bladder approximately 10 fold. Comparison of chemokines induced in the bladder by either CpG (a TLR-9 agonist) or Ty21a highlighted the preferential increase in complement component 5a, CXCL5, CXCL2, CCL8, and CCL5 by Ty21a, suggesting their involvement in the attraction of T cells to the bladder. IVES treatment with Ty21a after vaccination also significantly increased tumor regression compared to vaccination alone, resulting in 90% survival in an orthotopic murine model of bladder cancer expressing a prototype tumor antigen. Our data demonstrate that combining vaccination with local immunostimulation may be an effective treatment strategy for different types of cancer and also highlight the great potential of the Ty21a vaccine, which is routinely used worldwide, in such combinatorial therapies.

Better-quasi-order : ideals and spaces

This thesis deals with combinatorics, order theory and descriptive set theory. The first contribution is to the theory of well-quasi-orders (wqo) and better-quasi-orders (bqo). The main result is the proof of a conjecture made by Maurice Pouzet in 1978 his thèse d'état which states that any wqo whose ideal completion remainder is bqo is actually bqo. Our proof relies on new results with both a combinatorial and a topological flavour concerning maps from a front into a compact metric space. The second contribution is of a more applied nature and deals with topological spaces. We define a quasi-order on the subsets of every second countable To topological space in a way that generalises the Wadge quasi-order on the Baire space, while extending its nice properties to virtually all these topological spaces. The Wadge quasi-order of reducibility by continuous functions is wqo on Borei subsets of the Baire space, this quasi-order is however far less satisfactory for other important topological spaces such as the real line, as Hertling, Ikegami and Schlicht notably observed. Some authors have therefore studied reducibility with respect to some classes of discontinuous functions to remedy this situation. We propose instead to keep continuity but to weaken the notion of function to that of relation. Using the notion of admissible representation studied in Type-2 theory of effectivity, we define the quasi-order of reducibility by relatively continuous relations. We show that this quasi-order both refines the classical hierarchies of complexity and is wqo on the Borei subsets of virtually every second countable To space - including every (quasi-)Polish space. -- Cette thèse se situe dans les domaines de la combinatoire, de la théorie des ordres et de la théorie descriptive. La première contribution concerne la théorie des bons quasi-ordres (wqo) et des meilleurs quasi-ordres (bqo). Le résultat principal est la preuve d'une conjecture, énoncée par Pouzet en 1978 dans sa thèse d'état, qui établit que tout wqo dont l'ensemble des idéaux non principaux ordonnés par inclusion forme un bqo est alors lui-même un bqo. La preuve repose sur de nouveaux résultats, qui allient la combinatoire et la topologie, au sujet des fonctions d'un front vers un espace métrique compact. La seconde contribution de cette thèse traite de la complexité topologique dans le cadre des espaces To à base dénombrable. Dans le cas de l'espace de Baire, le quasi-ordre de Wadge est un wqo sur les sous-ensembles Boréliens qui a suscité énormément d'intérêt. Cependant cette relation de réduction par fonctions continues s'avère bien moins satisfaisante pour d'autres espaces d'importance tels que la droite réelle, comme l'ont fait notamment remarquer Hertling, Schlicht et Ikegami. Nous proposons de conserver la continuité et d'affaiblir la notion de fonction pour celle de relation. Pour ce faire, nous utilisons la notion de représentation admissible étudiée en « Type-2 theory of effectivity » initiée par Weihrauch. Nous introduisons alors le quasi-ordre de réduction par relations relativement continues et montrons que celui-ci à la fois raffine les hiérarchies classiques de complexité topologique et forme un wqo sur les sous-ensembles Boréliens de chaque espace quasi-Polonais.

Combinative effects of β-Lapachone and APO866 on pancreatic cancer cell death through reactive oxygen species production and PARP-1 activation.

UNLABELLED: Pancreatic cancer (PC) is one of the most lethal human malignancies and a major health problem. Patients diagnosed with PC and treated with conventional approaches have an overall 5-year survival rate of less than 5%. Novel strategies are needed to treat this disease. Herein, we propose a combinatorial strategy that targets two unrelated metabolic enzymes overexpressed in PC cells: NAD(P)H: quinone oxidoreductase-1 (NQO1) and nicotinamide phosphoribosyl transferase (NAMPT) using β-lapachone (BL) and APO866, respectively. We show that BL tremendously enhances the antitumor activity of APO866 on various PC cell lines without affecting normal cells, in a PARP-1 dependent manner. The chemopotentiation of APO866 with BL was characterized by the following: (i) nicotinamide adenine dinucleotide (NAD) depletion; (ii) catalase (CAT) degradation; (iii) excessive H2O2 production; (iv) dramatic drop of mitochondrial membrane potential (MMP); and finally (v) autophagic-associated cell death. H2O2 production, loss of MMP and cell death (but not NAD depletion) were abrogated by exogenous supplementation with CAT or pharmacological or genetic inhibition of PARP-1. Our data demonstrates that the combination of a non-lethal dose of BL and low dose of APO866 optimizes significantly cell death on various PC lines over both compounds given separately and open new and promising combination in PC therapy.

Uncovering the functional constraints underlying the genomic organisation of the Odorant-Binding Protein genes

Animal olfactory systems have a critical role for the survival and reproduction of individuals. In insects, the odorant-binding proteins (OBPs) are encoded by a moderately sized gene family, and mediate the first steps of the olfactory processing. Most OBPs are organized in clusters of a few paralogs, which are conserved over time. Currently, the biological mechanism explaining the close physical proximity among OBPs is not yet established. Here, we conducted a comprehensive study aiming to gain insights into the mechanisms underlying the OBP genomic organization. We found that the OBP clusters are embedded within large conserved arrangements. These organizations also include other non-OBP genes, which often encode proteins integral to plasma membrane. Moreover, the conservation degree of such large clusters is related to the following: 1) the promoter architecture of the confined genes, 2) a characteristic transcriptional environment, and 3) the chromatin conformation of the chromosomal region. Our results suggest that chromatin domains may restrict the location of OBP genes to regions having the appropriate transcriptional environment, leading to the OBP cluster structure. However, the appropriate transcriptional environment for OBP and the other neighbor genes is not dominated by reduced levels of expression noise. Indeed, the stochastic fluctuations in the OBP transcript abundance may have a critical role in the combinatorial nature of the olfactory coding process.

Coev-web: a web platform designed to simulate and evaluate coevolving positions along a phylogenetic tree.

BACKGROUND: Available methods to simulate nucleotide or amino acid data typically use Markov models to simulate each position independently. These approaches are not appropriate to assess the performance of combinatorial and probabilistic methods that look for coevolving positions in nucleotide or amino acid sequences. RESULTS: We have developed a web-based platform that gives a user-friendly access to two phylogenetic-based methods implementing the Coev model: the evaluation of coevolving scores and the simulation of coevolving positions. We have also extended the capabilities of the Coev model to allow for the generalization of the alphabet used in the Markov model, which can now analyse both nucleotide and amino acid data sets. The simulation of coevolving positions is novel and builds upon the developments of the Coev model. It allows user to simulate pairs of dependent nucleotide or amino acid positions. CONCLUSIONS: The main focus of our paper is the new simulation method we present for coevolving positions. The implementation of this method is embedded within the web platform Coev-web that is freely accessible at http://coev.vital-it.ch/, and was tested in most modern web browsers.

Future perspectives in melanoma research: meeting report from the "Melanoma Bridge": Napoli, December 3rd-6th 2014.

The fourth "Melanoma Bridge Meeting" took place in Naples, December 3-6th, 2014. The four topics discussed at this meeting were: Molecular and Immunological Advances, Combination Therapies, News in Immunotherapy, and Tumor Microenvironment and Biomarkers. Until recently systemic therapy for metastatic melanoma patients was ineffective, but recent advances in tumor biology and immunology have led to the development of new targeted and immunotherapeutic agents that prolong progression-free survival (PFS) and overall survival (OS). New therapies, such as mitogen-activated protein kinase (MAPK) pathway inhibitors as well as other signaling pathway inhibitors, are being tested in patients with metastatic melanoma either as monotherapy or in combination, and all have yielded promising results. These include inhibitors of receptor tyrosine kinases (BRAF, MEK, and VEGFR), the phosphatidylinositol 3 kinase (PI3K) pathway [PI3K, AKT, mammalian target of rapamycin (mTOR)], activators of apoptotic pathway, and the cell cycle inhibitors (CDK4/6). Various locoregional interventions including radiotherapy and surgery are still valid approaches in treatment of advanced melanoma that can be integrated with novel therapies. Intrinsic, adaptive and acquired resistance occur with targeted therapy such as BRAF inhibitors, where most responses are short-lived. Given that the reactivation of the MAPK pathway through several distinct mechanisms is responsible for the majority of acquired resistance, it is logical to combine BRAF inhibitors with inhibitors of targets downstream in the MAPK pathway. For example, combination of BRAF/MEK inhibitors (e.g., dabrafenib/trametinib) have been demonstrated to improve survival compared to monotherapy. Application of novel technologies such sequencing have proven useful as a tool for identification of MAPK pathway-alternative resistance mechanism and designing other combinatorial therapies such as those between BRAF and AKT inhibitors. Improved survival rates have also been observed with immune-targeted therapy for patients with metastatic melanoma. Immune-modulating antibodies came to the forefront with anti-CTLA-4, programmed cell death-1 (PD-1) and PD-1 ligand 1 (PD-L1) pathway blocking antibodies that result in durable responses in a subset of melanoma patients. Agents targeting other immune inhibitory (e.g., Tim-3) or immune stimulating (e.g., CD137) receptors and other approaches such as adoptive cell transfer demonstrate clinical benefit in patients with melanoma as well. These agents are being studied in combination with targeted therapies in attempt to produce longer-term responses than those more typically seen with targeted therapy. Other combinations with cytotoxic chemotherapy and inhibitors of angiogenesis are changing the evolving landscape of therapeutic options and are being evaluated to prevent or delay resistance and to further improve survival rates for this patient population. This meeting's specific focus was on advances in combination of targeted therapy and immunotherapy. Both combination targeted therapy approaches and different immunotherapies were discussed. Similarly to the previous meetings, the importance of biomarkers for clinical application as markers for diagnosis, prognosis and prediction of treatment response was an integral part of the meeting. The overall emphasis on biomarkers supports novel concepts toward integrating biomarkers into contemporary clinical management of patients with melanoma across the entire spectrum of disease stage. Translation of the knowledge gained from the biology of tumor microenvironment across different tumors represents a bridge to impact on prognosis and response to therapy in melanoma.

p-Nitrobenzyloxycarbonyl (pNZ) as Temporary Na-Protecting Group for Mild Solid-Phase Peptide Synthesis. Avoiding Diketopiperazine and Aspartimide Formation

p-Nitrobenzyloxycarbonyl was used as temporary protecting group for the -amino function in solid-phase peptide synthesis. The corresponding derivatives are solids, easy to be synthesized, and perform well in the solid-phase mode. pNZ is removed in practical neutral conditions in the presence of catalytic amounts of acid. They are orthogonal with the most common protecting groups used in peptide chemistry. They are specially useful in combination with Fmoc chemistry to overcome those side reactions associated with the used of the piperidine such DKP and aspartiimide formation. The flexibility of pNZ can be very useful for the preparation of libraries of small organic molecules.

Sobre o uso de métodos quimiométricos em química combinatória

Combinatorial chemistry has emerged as a tool to circumvent a major problem of pharmaceutical industries to discover new lead compounds. A rapid and massive evaluation of a myriad of newly synthesised compounds can be carried out. Combinatorial synthesis leads to high throughput screening en masse towards another myriad of biological targets. The design of a set of compounds based upon combinatorial chemistry may be envisaged by using of QSPR-SIMCA and QSAR-SIMCA as tools for classification purposes. This work deals with the definition and establishment of a spanned substituent space (SSS) that reduces the analogue numbers with no exclusion of global content. The chemical diversity may be set properly within a specified pharmacological field. This allows a better use of its potentiality without loosing information.

Aplicações da química combinatória no desenvolvimento de fármacos

Combinatorial Chemistry has become a very efficient methodology in drug research. Recent progress in combinatorial synthesis performed both in solid and solution phase have led to a change in the paradigm for the identification and optimization of lead compounds. This article gives an overview of the principal characteristics of combinatorial libraries and some examples of the application of this methodology in the identification of test compounds and lead compound optimization, either from synthetic or natural sources.

A síntese orgânica em fase sólida e seus suportes poliméricos mais empregados

In the last decade we have seen improved a powerfull tool to medicinal chemistry: the Solid Phase Organic Synthesis (SPOS). This metodology can be used to synthesize a large library of compounds in a short time by combinatorial chemistry, where simple chemical substances can be combinated one to each other building a library of complex compounds. In this work we present the solid phase organic synthesis and their advantage upon the tradicional organic synthesis methodology, as well as the main polimers used in the SPOS technique.

O uso do forno de microondas na síntese orgânica em fase sólida

Solid-phase organic synthesis (SPOS) has been considered the main strategy for the construction of combinatorial libraries, because its simplicity leads to faster synthetic procedures. In addition to that, a series of reports in the specialized literature show great advantages in the use of microwave activation, when compared to classical heating, for instance: shorter reaction times, in some cases from several hours to a few minutes, increase of selectivity and product yields, energy economy and reduction and/or elimination of solvent. This review describes the use of microwave ovens/reactors in solid phase organic synthesis, describing the advantages, equipment and reactions using both techniques.