Comparison of bioinspired algorithms applied to the timetabling problem

The problem of timetabling events is present in various organizations such as schools, hospitals, transportation centers. The purpose of timetabling activities at a university is to ensure that all students attend their required subjects in accordance with the available resources. The set of constraints that must be considered in the design of timetables involves students, teachers and infrastructure. This study shows that acceptable solutions are generated through the application of genetic, memetic and immune system algorithms for the problem of timetabling. The algorithms are applied to real instances of the University of Mumbai in India and their results are comparable with those of a human expert

COVNET : A cooperative coevolutionary model for evolving artificial neural networks

This paper presents COVNET, a new cooperative coevolutionary model for evolving artificial neural networks. This model is based on the idea of coevolving subnetworks. that must cooperate to form a solution for a specific problem, instead of evolving complete networks. The combination of this subnetwork is part of a coevolutionary process. The best combinations of subnetworks must be evolved together with the coevolution of the subnetworks. Several subpopulations of subnetworks coevolve cooperatively and genetically isolated. The individual of every subpopulation are combined to form whole networks. This is a different approach from most current models of evolutionary neural networks which try to develop whole networks. COVNET places as few restrictions as possible over the network structure, allowing the model to reach a wide variety of architectures during the evolution and to be easily extensible to other kind of neural networks. The performance of the model in solving three real problems of classification is compared with a modular network, the adaptive mixture of experts and with the results presented in the bibliography. COVNET has shown better generalization and produced smaller networks than the adaptive mixture of experts and has also achieved results, at least, comparable with the results in the bibliography

On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

The size of Wiman-Valiron disks

Wiman-Valiron theory and results of Macintyre about "flat regions" describe the asymptotic behavior of entire functions in certain disks around points of maximum modulus. We estimate the size of these disks for Macintyre's theory from above and below.Comment: 20 page

Identification of the protein kinases Pyk3 and Phg2 as regulators of the STATc-mediated response to hyperosmolarity

Cellular adaptation to changes in environmental osmolarity is crucial for cell survival. In Dictyostelium, STATc is a key regulator of the transcriptional response to hyperosmotic stress. Its phosphorylation and consequent activation is controlled by two signaling branches, one cGMP- and the other Ca(2+)-dependent, of which many signaling components have yet to be identified. The STATc stress signalling pathway feeds back on itself by upregulating the expression of STATc and STATc-regulated genes. Based on microarray studies we chose two tyrosine-kinase like proteins, Pyk3 and Phg2, as possible modulators of STATc phosphorylation and generated single and double knock-out mutants to them. Transcriptional regulation of STATc and STATc dependent genes was disturbed in pyk3(-), phg2(-), and pyk3(-)/phg2(-) cells. The absence of Pyk3 and/or Phg2 resulted in diminished or completely abolished increased transcription of STATc dependent genes in response to sorbitol, 8-Br-cGMP and the Ca(2+) liberator BHQ. Also, phospho-STATc levels were significantly reduced in pyk3(-) and phg2(-) cells and even further decreased in pyk3(-)/phg2(-) cells. The reduced phosphorylation was mirrored by a significant delay in nuclear translocation of GFP-STATc. The protein tyrosine phosphatase 3 (PTP3), which dephosphorylates and inhibits STATc, is inhibited by stress-induced phosphorylation on S448 and S747. Use of phosphoserine specific antibodies showed that Phg2 but not Pyk3 is involved in the phosphorylation of PTP3 on S747. In pull-down assays Phg2 and PTP3 interact directly, suggesting that Phg2 phosphorylates PTP3 on S747 in vivo. Phosphorylation of S448 was unchanged in phg2(-) cells. We show that Phg2 and an, as yet unknown, S448 protein kinase are responsible for PTP3 phosphorylation and hence its inhibition, and that Pyk3 is involved in the regulation of STATc by either directly or indirectly activating it. Our results add further complexities to the regulation of STATc, which presumably ensure its optimal activation in response to different environmental cues

Born to yawn? Understanding yawning as a warning of the rise in cortisol levels: Randomized trial

Background: Yawning consistently poses a conundrum to the medical profession and neuroscientists. Despite neurological evidence such as parakinesia brachialis oscitans in stroke patients and thermo-irregulation in multiple sclerosis patients, there is considerable debate over the reasons for yawning with the mechanisms and hormonal pathways still not fully understood. Cortisol is implicated during yawning and may link many neurological disorders. Evidence was found in support of the Thompson cortisol hypothesis that proposes cortisol levels are elevated during yawning just as they tend to rise during stress and fatigue. Objectives: To investigate whether saliva cortisol levels rise during yawning and, therefore, support the Thompson cortisol hypothesis. Methods: We exposed 20 male and female volunteers aged between 18 and 53 years to conditions that provoked a yawning response in a randomized controlled trial. Saliva samples were collected at the start and again after the yawning response, or at the end of the stimuli presentations if the participant did not yawn. In addition, we collected electromyographic data of the jaw muscles to determine rest and yawning phases of neural activity. Yawning susceptibility scale, Hospital Anxiety and Depression Scale, General Health Questionnaire, and demographic and health details were also collected from each participant. A comprehensive data set allowed comparison between yawners and nonyawners, as well as between rest and yawning phases. Collecting electromyographic data from the yawning phase is novel, and we hope this will provide new information about neuromuscular activity related to cortisol levels. Exclusion criteria included chronic fatigue, diabetes, fibromyalgia, heart conditions, high blood pressure, hormone replacement therapy, multiple sclerosis, and stroke. We compared data between and within participants. Results: In the yawning group, there was a significant difference between saliva cortisol samples (t = -3.071, P = .01). Power and effect size were computed based on repeated-measures t tests for both the yawning and nonyawning groups. There was a medium effect size for the nonyawners group (r = .467) but low power (36%). Results were similar for the yawners group: medium effect size (r = .440) and low power (33%). Conclusions: There was significant evidence in support of the Thompson cortisol hypothesis that suggests cortisol levels are elevated during yawning. A further longitudinal study is planned to test neurological patients. We intend to devise a diagnostic tool based on changes in cortisol levels that may assist in the early diagnosis of neurological disorders based on the data collected. Trial Registration: International Standard Randomized Controlled Trial Number (ISRCTN): 61942768; http://www.controlled-trials.com/ISRCTN61942768/61942768 (Archived by WebCite at http://www.webcitation.org/6A75ZNYvr)

Delocalized single-photon Dicke states and the Leggett- Garg inequality in solid state systems

We show how to realize a single-photon Dicke state in a large one-dimensional array of two- level systems, and discuss how to test its quantum properties. Realization of single-photon Dicke states relies on the cooperative nature of the interaction between a field reservoir and an array of two-level-emitters. The resulting dynamics of the delocalized state can display Rabi-like oscillations when the number of two-level emitters exceeds several hundred. In this case the large array of emitters is essentially behaving like a mirror-less cavity. We outline how this might be realized using a multiple-quantum-well structure and discuss how the quantum nature of these oscillations could be tested with the Leggett-Garg inequality and its extensions.Comment: 29 pages, 5 figures, journal pape

Psychological distress among Bam earthquake survivors in Iran: a population-based study

BACKGROUND: An earthquake measuring 6.3 on the Richter scale struck the city of Bam in Iran on the 26th of December 2003 at 5.26 A.M. It was devastating, and left over 40,000 dead and around 30,000 injured. The profound tragedy of thousands killed has caused emotional and psychological trauma for tens of thousands of people who have survived. A study was carried out to assess psychological distress among Bam earthquake survivors and factors associated with severe mental health in those who survived the tragedy. METHODS: This was a population-based study measuring psychological distress among the survivors of Bam earthquake in Iran. Using a multi-stage stratified sampling method a random sample of individuals aged 15 years and over living in Bam were interviewed. Psychological distress was measured using the 12-item General Health Questionnaire (GHQ-12). RESULTS: In all 916 survivors were interviewed. The mean age of the respondents was 32.9 years (SD = 12.4), mostly were males (53%), married (66%) and had secondary school education (50%). Forty-one percent reported they lost 3 to 5 members of their family in the earthquake. In addition the findings showed that 58% of the respondents suffered from severe mental health as measured by the GHQ-12 and this was three times higher than reported psychological distress among the general population. There were significant differences between sub-groups of the study sample with regard to their psychological distress. The results of the logistic regression analysis also indicated that female gender; lower education, unemployment, and loss of family members were associated with severe psychological distress among earthquake victims. CONCLUSION: The study findings indicated that the amount of psychological distress among earthquake survivors was high and there is an urgent need to deliver mental health care to disaster victims in local medical settings and to reduce negative health impacts of the earthquake adequate psychological counseling is needed for those who survived the tragedy