Surgery-Induced Weight Loss and Changes in Hormonally Active Fibroblast Growth Factors: a Systematic Review and Meta-Analysis

This systematic review and meta-analysis was performed to investigate the possible changes of FGF-19 and FGF-21 after bariatric surgery (BS). Electronic databases including PubMed and Scopus were systematically searched up to February 2020 to identify pertinent studies. A total of 25 different studies were included. The overall pooled analysis identified that BS caused a significant increase in FGF-19, but had no significant effect on FGF-21. For FGF-19, this finding was supported in the subgroup analyses. For FGF-21, Roux-en-Y gastric bypass (RYGB) surgery significantly increased FGF-21 levels, whereas, in studies with follow-up duration � 1 year, FGF-21 levels decreased significantly. BS reduces circulating concentration of FGF-19, but might increase FGF-21 after RYGB or decrease FGF-21 after � 1 year. © 2020, Springer Science+Business Media, LLC, part of Springer Nature

Isomorphisms of algebras of Colombeau generalized functions

We show that for smooth manifolds X and Y, any isomorphism between the special algebra of Colombeau generalized functions on X, resp. Y is given by composition with a unique Colombeau generalized function from Y to X. We also identify the multiplicative linear functionals from the special algebra of Colombeau generalized functions on X to the ring of Colombeau generalized numbers. Up to multiplication with an idempotent generalized number, they are given by an evaluation map at a compactly supported generalized point on X.Comment: 10 page

A theory of normed simulations

In existing simulation proof techniques, a single step in a lower-level specification may be simulated by an extended execution fragment in a higher-level one. As a result, it is cumbersome to mechanize these techniques using general purpose theorem provers. Moreover, it is undecidable whether a given relation is a simulation, even if tautology checking is decidable for the underlying specification logic. This paper introduces various types of normed simulations. In a normed simulation, each step in a lower-level specification can be simulated by at most one step in the higher-level one, for any related pair of states. In earlier work we demonstrated that normed simulations are quite useful as a vehicle for the formalization of refinement proofs via theorem provers. Here we show that normed simulations also have pleasant theoretical properties: (1) under some reasonable assumptions, it is decidable whether a given relation is a normed forward simulation, provided tautology checking is decidable for the underlying logic; (2) at the semantic level, normed forward and backward simulations together form a complete proof method for establishing behavior inclusion, provided that the higher-level specification has finite invisible nondeterminism.Comment: 31 pages, 10figure

Report on the first round of the Mock LISA Data Challenges

The Mock LISA Data Challenges (MLDCs) have the dual purpose of fostering the development of LISA data analysis tools and capabilities, and demonstrating the technical readiness already achieved by the gravitational-wave community in distilling a rich science payoff from the LISA data output. The first round of MLDCs has just been completed: nine data sets containing simulated gravitational wave signals produced either by galactic binaries or massive black hole binaries embedded in simulated LISA instrumental noise were released in June 2006 with deadline for submission of results at the beginning of December 2006. Ten groups have participated in this first round of challenges. Here we describe the challenges, summarise the results, and provide a first critical assessment of the entries.Comment: Proceedings report from GWDAW 11. Added author, added reference, clarified some text, removed typos. Results unchanged; Removed author, minor edits, reflects submitted versio

Data Analysis Challenges for the Einstein Telescope

The Einstein Telescope is a proposed third generation gravitational wave detector that will operate in the region of 1 Hz to a few kHz. As well as the inspiral of compact binaries composed of neutron stars or black holes, the lower frequency cut-off of the detector will open the window to a number of new sources. These will include the end stage of inspirals, plus merger and ringdown of intermediate mass black holes, where the masses of the component bodies are on the order of a few hundred solar masses. There is also the possibility of observing intermediate mass ratio inspirals, where a stellar mass compact object inspirals into a black hole which is a few hundred to a few thousand times more massive. In this article, we investigate some of the data analysis challenges for the Einstein Telescope such as the effects of increased source number, the need for more accurate waveform models and the some of the computational issues that a data analysis strategy might face.Comment: 18 pages, Invited review for Einstein Telescope special edition of GR

Synergies for Improving Oil Palm Production and Forest Conservation in Floodplain Landscapes

Lowland tropical forests are increasingly threatened with conversion to oil palm as global demand and high profit drives crop expansion throughout the world’s tropical regions. Yet, landscapes are not homogeneous and regional constraints dictate land suitability for this crop. We conducted a regional study to investigate spatial and economic components of forest conversion to oil palm within a tropical floodplain in the Lower Kinabatangan, Sabah, Malaysian Borneo. The Kinabatangan ecosystem harbours significant biodiversity with globally threatened species but has suffered forest loss and fragmentation. We mapped the oil palm and forested landscapes (using object-based-image analysis, classification and regression tree analysis and on-screen digitising of high-resolution imagery) and undertook economic modelling. Within the study region (520,269 ha), 250,617 ha is cultivated with oil palm with 77% having high Net-Present-Value (NPV) estimates ($413/ha?yr–$637/ha?yr); but 20.5% is under-producing. In fact 6.3% (15,810 ha) of oil palm is commercially redundant (with negative NPV of $-299/ha?yr-$-65/ha?yr) due to palm mortality from flood inundation. These areas would have been important riparian or flooded forest types. Moreover, 30,173 ha of unprotected forest remain and despite its value for connectivity and biodiversity 64% is allocated for future oil palm. However, we estimate that at minimum 54% of these forests are unsuitable for this crop due to inundation events. If conversion to oil palm occurs, we predict a further 16,207 ha will become commercially redundant. This means that over 32,000 ha of forest within the floodplain would have been converted for little or no financial gain yet with significant cost to the ecosystem. Our findings have globally relevant implications for similar floodplain landscapes undergoing forest transformation to agriculture such as oil palm. Understanding landscape level constraints to this crop, and transferring these into policy and practice, may provide conservation and economic opportunities within these seemingly high opportunity cost landscapes

Probing seed black holes using future gravitational-wave detectors

Identifying the properties of the first generation of seeds of massive black holes is key to understanding the merger history and growth of galaxies. Mergers between ~100 solar mass seed black holes generate gravitational waves in the 0.1-10Hz band that lies between the sensitivity bands of existing ground-based detectors and the planned space-based gravitational wave detector, the Laser Interferometer Space Antenna (LISA). However, there are proposals for more advanced detectors that will bridge this gap, including the third generation ground-based Einstein Telescope and the space-based detector DECIGO. In this paper we demonstrate that such future detectors should be able to detect gravitational waves produced by the coalescence of the first generation of light seed black-hole binaries and provide information on the evolution of structure in that era. These observations will be complementary to those that LISA will make of subsequent mergers between more massive black holes. We compute the sensitivity of various future detectors to seed black-hole mergers, and use this to explore the number and properties of the events that each detector might see in three years of observation. For this calculation, we make use of galaxy merger trees and two different seed black hole mass distributions in order to construct the astrophysical population of events. We also consider the accuracy with which networks of future ground-based detectors will be able to measure the parameters of seed black hole mergers, in particular the luminosity distance to the source. We show that distance precisions of ~30% are achievable, which should be sufficient for us to say with confidence that the sources are at high redshift.Comment: 14 pages, 6 figures, 2 tables, accepted for proceedings of 13th GWDAW meetin