Protected areas are fundamental to biodiversity conservation, but there is growing recognition of the need to extend beyond protected areas to meet the ecological requirements of species at larger scales. Landscape-scale conservation requires an evaluation of management impact on biodiversity under different land-use strategies; this is challenging and there exist few empirical studies. In a co...

This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quantum probabilistic programs. Our target programming language is QPL defined by Selinger, and our logic is an extension of the probabilistic Hoare-style logic defined by den Hartog. In this paper, we demonstrate how the quantum Ho...

introduction land use and land cover change (lucc) is a complex issue resulted from biophysical, socio-economic, cultural, organizational and technological factors in different spatial and temporal scales. lucc considered as an important threat to biodiversity as causing the fragmentation, natural vegetation destruction and natural areas isolation the regions which managed by environmental prot...

Nature conservation and fisheries management often focus on particular seabed features that are considered vulnerable or important to commercial species. As a result, individual seabed types are protected in isolation, without any understanding of what effect the mixture of seabed types within the landscape has on ecosystem functions. Here we undertook predictive seabed modelling within a coast...

∗1Ateneo Innovation Center, Ateneo de Manila University Loyola Heights, Quezon City 1108, Philippines E-mail: [email protected] ∗2Electronics Computer and Communications Engineering Department, Ateneo de Manila University ∗3Institut Catholique d’Arts et Métiers 6 rue Auber, Lille 59000, France ∗4Alsons Aquaculture Corporation 2286 Chino Roces Ave., Makati City, 1200, Philippines ∗5Environmen...

the possible existence of equine piroplasmosis was investigated in the province of quezon, philippines. blood samples of 269 horses from selected municipalities of quezon province were gathered. parasitological test namely blood parasite examination was employed and the test yielded negative results for the presence of the parasite. similarly, polymerase chain reaction assay was performed using...