Which mathematics for the Information Society?

MathIS is a new project that aims to reinvigorate secondary- school mathematics by exploiting insights of the dynamics of algorithmic problem solving. This paper describes the main ideas that underpin the project. In summary, we propose a central role for formal logic, the development of a calculational style of reasoning, the emphasis on the algorithmic nature of mathematics, and the promotion of self-discovery by the students. These ideas are discussed and the case is made, through a number of examples that show the teaching style that we want to introduce, for their relevance in shaping mathematics training for the years to come. In our opinion, the education of software engineers that work effectively with formal methods and mathematical abstractions should start before university and would benefit from the ideas discussed here.Long-term collaboration with J. N. Oliveira on calculational approaches to mathematics is deeply acknowledged. We are also grateful to the anonymous referees for their valuable comments. This research was supported by FCT (the Portuguese Foundation for Science and Technology), in the context of the MATHIS Project under contract PTDC/EIA/73252/2006. The work of Joao F. Ferreira and AlexandraMendeswas further supported by FCT grants SFRH/BD/24269/2005 and SFRH/BD/29553/2006, respectively

Prolactin

During an oral glucose tolerance test (OGTT) glucose and insulin levels were measured in 26 patients with prolactin-producing pituitary tumours without growth hormone excess. Basal glucose and insulin levels did not differ from the values of an age-matched control group. After glucose load the hyperprolactinaemic patients showed a decrease in glucose tolerance and a hyperinsulinaemia. Bromocriptine (CB 154), which suppressed PRL, improved glucose tolerance and decreased insulin towards normal in a second OGTT. — Human PRL or CB 154 had no significant influence on insulin release due to glucose in the perfused rat pancreas. — These findings suggest a diabetogenic effect of PRL. CB 154 might be a useful drug in improving glucose utilization in hormone-active pituitary tumours

Edge magnetoplasmons in periodically modulated structures

We present a microscopic treatment of edge magnetoplasmons (EMP's) within the random-phase approximation for strong magnetic fields, low temperatures, and filling factor $\nu =1(2)$, when a weak short-period superlattice potential is imposed along the Hall bar. The modulation potential modifies both the spatial structure and the dispersion relation of the fundamental EMP and leads to the appearance of a novel gapless mode of the fundamental EMP. For sufficiently weak modulation strengths the phase velocity of this novel mode is almost the same as the group velocity of the edge states but it should be quite smaller for stronger modulation. We discuss in detail the spatial structure of the charge density of the renormalized and the novel fundamental EMP's.Comment: 8 pages, 4 figure

Unveiling Soft Gamma-Ray Repeaters with INTEGRAL

Thanks to INTEGRAL's long exposures of the Galactic Plane, the two brightest Soft Gamma-Ray Repeaters, SGR 1806-20 and SGR 1900+14, have been monitored and studied in detail for the first time at hard-X/soft gamma rays. This has produced a wealth of new scientific results, which we will review here. Since SGR 1806-20 was particularly active during the last two years, more than 300 short bursts have been observed with INTEGRAL. and their characteristics have been studied with unprecedented sensitivity in the 15-200 keV range. A hardness-intensity anticorrelation within the bursts has been discovered and the overall Number-Intensity distribution of the bursts has been determined. In addition, a particularly active state, during which ~100 bursts were emitted in ~10 minutes, has been observed on October 5 2004, indicating that the source activity was rapidly increasing. This eventually led to the Giant Flare of December 27th 2004, for which a possible soft gamma-ray (>80 keV) early afterglow has been detected. The deep observations allowed us to discover the persistent emission in hard X-rays (20-150 keV) from 1806-20 and 1900+14, the latter being in a quiescent state, and to directly compare the spectral characteristics of all Magnetars (two SGRs and three Anomalous X-ray Pulsars) detected with INTEGRAL.Comment: 8 pages, 7 figures, Presented at the conference "Isolated Neutron Stars: from the Surface to the Interior", London, UK, 24-28 April 200

The first multi-wavelength campaign of AXP 4U 0142+61 from radio to hard X-rays

For the first time a quasi-simultaneous multi-wavelength campaign has been performed on an Anomalous X-ray Pulsar from the radio to the hard X-ray band. 4U 0142+61 was an INTEGRAL target for 1 Ms in July 2005. During these observations it was also observed in the X-ray band with Swift and RXTE, in the optical and NIR with Gemini North and in the radio with the WSRT. In this paper we present the source-energy distribution. The spectral results obtained in the individual wave bands do not connect smoothly; apparently components of different origin contribute to the total spectrum. Remarkable is that the INTEGRAL hard X-ray spectrum (power-law index 0.79 +/- 0.10) is now measured up to an energy of ~230 keV with no indication of a spectral break. Extrapolation of the INTEGRAL power-law spectrum to lower energies passes orders of magnitude underneath the NIR and optical fluxes, as well as the low ~30 microJy (2 sigma) upper limit in the radio band.Comment: 6 pages, 1 figure. To be published in the proceedings of the conference "Isolated Neutron Stars: from the Interior to the Surface" (April 24-28, 2006, London, UK), eds. S. Zane, R. Turolla and D. Pag

Managerial judgment and forecast combination: An experimental study

This paper examines the role of managerial judgment in forming a final forecast, or judging the achievability of a critical level of sales, when multiple forecasts or opinions are available to the decision maker. Several factors that can help improve the quality of human intervention are identified and incorporated in a decision aid. Experimental results show that aided combination can help the decision maker exploit her relevant private information and mitigate the generally observed negative effects of human intervention. Further, the results suggest that emphasizing expected sales, even when the organization is primarily interested in go/no-go decisions, helps improve performance. Several suggestions for future research are presented.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/47133/1/11002_2004_Article_BF00993954.pd

Effect of dimethylamine on the gas phase sulfuric acid concentration measured by Chemical Ionization Mass Spectrometry

Sulfuric acid is widely recognized as a very important substance driving atmospheric aerosol nucleation. Based on quantum chemical calculations it has been suggested that the quantitative detection of gas phase sulfuric acid (H2SO4) by use of Chemical Ionization Mass Spectrometry (CIMS) could be biased in the presence of gas phase amines such as dimethylamine (DMA). An experiment (CLOUD7 campaign) was set up at the CLOUD (Cosmics Leaving OUtdoor Droplets) chamber to investigate the quantitative detection of H2SO4 in the presence of dimethylamine by CIMS at atmospherically relevant concentrations. For the first time in the CLOUD experiment, the monomer sulfuric acid concentration was measured by a CIMS and by two CI-APi-TOF (Chemical Ionization-Atmospheric Pressure interface-Time Of Flight) mass spectrometers. In addition, neutral sulfuric acid clusters were measured with the CI-APi-TOFs. The CLOUD7 measurements show that in the presence of dimethylamine (<5 to 70 pptv) the sulfuric acid monomer measured by the CIMS represents only a fraction of the total H2SO4, contained in the monomer and the clusters that is available for particle growth. Although it was found that the addition of dimethylamine dramatically changes the H2SO4 cluster distribution compared to binary (H2SO4-H2O) conditions, the CIMS detection efficiency does not seem to depend substantially on whether an individual H2SO4 monomer is clustered with a DMA molecule. The experimental observations are supported by numerical simulations based on A Self-contained Atmospheric chemistry coDe coupled with a molecular process model (Sulfuric Acid Water NUCleation) operated in the kinetic limit

A Multitrait Locus Regulates Sarbecovirus Pathogenesis

Infectious diseases have shaped the human population genetic structure, and genetic variation influences the susceptibility to many viral diseases. However, a variety of challenges have made the implementation of traditional human Genomewide Association Studies (GWAS) approaches to study these infectious outcomes challenging. In contrast, mouse models of infectious diseases provide an experimental control and precision, which facilitates analyses and mechanistic studies of the role of genetic variation on infection. Here we use a genetic mapping cross between two distinct Collaborative Cross mouse strains with respect to severe acute respiratory syndrome coronavirus (SARS-CoV) disease outcomes. We find several loci control differential disease outcome for a variety of traits in the context of SARS-CoV infection. Importantly, we identify a locus on mouse chromosome 9 that shows conserved synteny with a human GWAS locus for SARS-CoV-2 severe disease. We follow-up and confirm a role for this locus, and identify two candidate genes, CCR9 and CXCR6, that both play a key role in regulating the severity of SARS-CoV, SARS-CoV-2, and a distantly related bat sarbecovirus disease outcomes. As such we provide a template for using experimental mouse crosses to identify and characterize multitrait loci that regulate pathogenic infectious outcomes across species. IMPORTANCE Host genetic variation is an important determinant that predicts disease outcomes following infection. In the setting of highly pathogenic coronavirus infections genetic determinants underlying host susceptibility and mortality remain unclear. To elucidate the role of host genetic variation on sarbecovirus pathogenesis and disease outcomes, we utilized the Collaborative Cross (CC) mouse genetic reference population as a model to identify susceptibility alleles to SARS-CoV and SARS-CoV-2 infections. Our findings reveal that a multitrait loci found in chromosome 9 is an important regulator of sarbecovirus pathogenesis in mice. Within this locus, we identified and validated CCR9 and CXCR6 as important regulators of host disease outcomes. Specifically, both CCR9 and CXCR6 are protective against severe SARS-CoV, SARS-CoV-2, and SARS-related HKU3 virus disease in mice. This chromosome 9 multitrait locus may be important to help identify genes that regulate coronavirus disease outcomes in humans

ENIGMA and global neuroscience: A decade of large-scale studies of the brain in health and disease across more than 40 countries

This review summarizes the last decade of work by the ENIGMA (Enhancing NeuroImaging Genetics through Meta Analysis) Consortium, a global alliance of over 1400 scientists across 43 countries, studying the human brain in health and disease. Building on large-scale genetic studies that discovered the first robustly replicated genetic loci associated with brain metrics, ENIGMA has diversified into over 50 working groups (WGs), pooling worldwide data and expertise to answer fundamental questions in neuroscience, psychiatry, neurology, and genetics. Most ENIGMA WGs focus on specific psychiatric and neurological conditions, other WGs study normal variation due to sex and gender differences, or development and aging; still other WGs develop methodological pipelines and tools to facilitate harmonized analyses of "big data" (i.e., genetic and epigenetic data, multimodal MRI, and electroencephalography data). These international efforts have yielded the largest neuroimaging studies to date in schizophrenia, bipolar disorder, major depressive disorder, post-traumatic stress disorder, substance use disorders, obsessive-compulsive disorder, attention-deficit/hyperactivity disorder, autism spectrum disorders, epilepsy, and 22q11.2 deletion syndrome. More recent ENIGMA WGs have formed to study anxiety disorders, suicidal thoughts and behavior, sleep and insomnia, eating disorders, irritability, brain injury, antisocial personality and conduct disorder, and dissociative identity disorder. Here, we summarize the first decade of ENIGMA's activities and ongoing projects, and describe the successes and challenges encountered along the way. We highlight the advantages of collaborative large-scale coordinated data analyses for testing reproducibility and robustness of findings, offering the opportunity to identify brain systems involved in clinical syndromes across diverse samples and associated genetic, environmental, demographic, cognitive, and psychosocial factors

Novel genetic loci associated with hippocampal volume

The hippocampal formation is a brain structure integrally involved in episodic memory, spatial navigation, cognition and stress responsiveness. Structural abnormalities in hippocampal volume and shape are found in several common neuropsychiatric disorders. To identify the genetic underpinnings of hippocampal structure here we perform a genome-wide association study (GWAS) of 33,536 individuals and discover six independent loci significantly associated with hippocampal volume, four of them novel. Of the novel loci, three lie within genes (ASTN2, DPP4 and MAST4) and one is found 200 kb upstream of SHH. A hippocampal subfield analysis shows that a locus within the MSRB3 gene shows evidence of a localized effect along the dentate gyrus, subiculum, CA1 and fissure. Further, we show that genetic variants associated with decreased hippocampal volume are also associated with increased risk for Alzheimer's disease (rg =-0.155). Our findings suggest novel biological pathways through which human genetic variation influences hippocampal volume and risk for neuropsychiatric illness