525 research outputs found
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 (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 -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
- …