Stockholm University

About: Stockholm University is a education organization based out in Stockholm, Sweden. It is known for research contribution in the topics: Population & Context (language use). The organization has 21052 authors who have published 62567 publications receiving 2725859 citations. The organization is also known as: University of Stockholm & Stockholms universitet.

Constructive mathematics and computer programming

Abstract: Publisher Summary This chapter discusses that relating constructive mathematics to computer programming seems to be beneficial. Among the benefits to be derived by constructive mathematics from its association with computer programming, one is that you see immediately why you cannot rely upon the law of excluded middle: its uninhibited use would lead to programs that one did not know how to execute. By choosing to program in a formal language for constructive mathematics, like the theory of types, one gets access to the conceptual apparatus of pure mathematics, neglecting those parts that depend critically on the law of excluded middle, whereas even the best high level programming languages so far designed are wholly inadequate as mathematical languages. The virtue of a machine code is that a program written in it can be directly read and executed by the machine. The distinction between low and high level programming languages is of course relative to the available hardware. It may well be possible to turn what is now regarded as a high level programming language into machine code by the invention of new hardware.

Animal camouflage: current issues and new perspectives

Abstract: The study of camouflage has a long history in biology, and the numerous ways of concealment and disguise found in the animal kingdom provided Darwin and Wallace with important examples for illustrating and defending their ideas of natural selection and adaptation. Thus, various forms of camouflage

Synthesis of self-pillared zeolite nanosheets by repetitive branching.

Abstract: Hierarchical zeolites are a class of microporous catalysts and adsorbents that also contain mesopores, which allow for fast transport of bulky molecules and thereby enable improved performance in petrochemical and biomass processing. We used repetitive branching during one-step hydrothermal crystal growth to synthesize a new hierarchical zeolite made of orthogonally connected microporous nanosheets. The nanosheets are 2 nanometers thick and contain a network of 0.5-nanometer micropores. The house-of-cards arrangement of the nanosheets creates a permanent network of 2- to 7-nanometer mesopores, which, along with the high external surface area and reduced micropore diffusion length, account for higher reaction rates for bulky molecules relative to those of other mesoporous and conventional MFI zeolites.

Updated fit to three neutrino mixing: status of leptonic CP violation

Abstract: We present a global analysis of solar, atmospheric, reactor and accelerator neutrino data in the framework of three-neutrino oscillations based on data available in summer 2014. We provide the allowed ranges of the six oscillation parameters and show that their determination is stable with respect to uncertainties related to reactor neutrino and solar neutrino flux predictions. We find that the maximal possible value of the Jarlskog invariant in the lepton sector is 0.033 ±0.010 (±0.027) at the 1σ (3σ) level and we use leptonic unitarity triangles to illustrate the ability of global oscillation data to obtain information on CP violation. We discuss “tendencies and tensions” of the global fit related to the octant of θ 23 as well as the CP violating phase δ CP. The favored values of δ CP are around 3π/2 while values around π/2 are disfavored at about Δχ2 ≃6. We comment on the non-trivial task to assign a confidence level to this Δχ 2 value by performing a Monte Carlo study of T2K data.

Power to the People: Evidence from a Randomized Field Experiment of a Community-Based Monitoring Project in Uganda

Abstract: This paper analyzes the importance of strengthening the relationship of accountability between health service providers and citizens for improving access to and quality of health care. How this is to be achieved, and whether it works, however, remain open questions. The paper presents a randomized field experiment on increasing community-based monitoring. As communities began to more extensively monitor the provider, both the quality and quantity of health service provision improved. One year into the program, there are large increases in utilization, significant weight-for-age z-score gains of infants, and markedly lowerdeaths among children. The findings on staff behavior suggest that the improvements in quality and quantity of health service delivery resulted from an increased effort by the staff to serve the community. Overall, the results suggest that community monitoring can play an important role in improving service delivery when traditional top-down supervision is ineffective.