University of Warsaw

About: University of Warsaw is a education organization based out in Warsaw, Poland. It is known for research contribution in the topics: Population & Large Hadron Collider. The organization has 20832 authors who have published 56617 publications receiving 1185084 citations. The organization is also known as: Uniwersytet Warszawski & Warsaw University.

Foundations of Algebraic Specification and Formal Software Development

Abstract: This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science

Introduction to Wavelet Analysis

Abstract: Wavelet transform and multiresolution decomposition are described. Examples of the application of orthogonal wavelet transform to acoustic evoked potentials and otoacoustic emissions (OEA) are given and basic features of wavelet packets and wavelet network methods are characterized. An approach that enables the identification of local signal structures - a generalization of wavelet transform called Matching Pursuit - is presented. In the framework of this method the signal is decomposed into time-frequency ‘atoms', which offers a possibility of determination of an ‘instantaneous frequency’ with the accuracy close to the theoretical limit. The method is illustrated by application to OAE signals. The advantages and limitations of the methods presented are discussed.

Planck 2015 results - XXVIII. The Planck Catalogue of Galactic cold clumps

Abstract: We present the Planck Catalogue of Galactic Cold Clumps (PGCC), an all-sky catalogue of Galactic cold clump candidates detected by Planck. This catalogue is the full version of the Early Cold Core (ECC) catalogue, which was made available in 2011 with the Early Release Compact Source Catalogue (ERCSC) and which contained 915 high signal-to-noise sources. It is based on the Planck 48-month mission data that are currently being released to the astronomical community. The PGCC catalogue is an observational catalogue consisting exclusively of Galactic cold sources. The three highest Planck bands (857, 454, and 353 GHz) have been combined with IRAS data at 3 THz to perform a multi-frequency detection of sources colder than their local environment. After rejection of possible extragalactic contaminants, the PGCC catalogue contains 13188 Galactic sources spread across the whole sky, i.e., from the Galactic plane to high latitudes, following the spatial distribution of the main molecular cloud complexes. The median temperature of PGCC sources lies between 13 and 14.5 K, depending on the quality of the flux density measurements, with a temperature ranging from 5.8 to 20 K after removing the sources with the top 1% highest temperature estimates. Using seven independent methods, reliable distance estimates have been obtained for 5574 sources, which allows us to derive their physical properties such as their mass, physical size, mean density, and luminosity.The PGCC sources are located mainly in the solar neighbourhood, but also up to a distance of 10.5 kpc in the direction of the Galactic centre, and range from low-mass cores to large molecular clouds. Because of this diversity and because the PGCC catalogue contains sources in very different environments, the catalogue is useful for investigating the evolution from molecular clouds to cores. Finally, it also includes 54 additional sources located in the Small and Large Magellanic Clouds.