1,857 research outputs found
Role of gut microbiota in the aetiology of obesity: proposed mechanisms and review of the literature
The aetiology of obesity has been attributed to several factors (environmental, dietary, lifestyle, host, and genetic factors); however none of these fully explain the increase in the prevalence of obesity worldwide. Gut microbiota located at the interface of host and environment in the gut are a new area of research being explored to explain the excess accumulation of energy in obese individuals and may be a potential target for therapeutic manipulation to reduce host energy storage. Several mechanisms have been suggested to explain the role of gut microbiota in the aetiology of obesity such as short chain fatty acid production, stimulation of hormones, chronic low-grade inflammation, lipoprotein and bile acid metabolism, and increased endocannabinoid receptor system tone. However, evidence from animal and human studies clearly indicates controversies in determining the cause or effect relationship between the gut microbiota and obesity. Metagenomics based studies indicate that functionality rather than the composition of gut microbiota may be important. Further mechanistic studies controlling for environmental and epigenetic factors are therefore required to help unravel obesity pathogenesis
Performance Analysis of Hierarchical Routing Protocols in Wireless Sensor Networks
This work focusses on analyzing the optimization strategies of routing
protocols with respect to energy utilization of sensor nodes in Wireless Sensor
Network (WSNs). Different routing mechanisms have been proposed to address
energy optimization problem in sensor nodes. Clustering mechanism is one of the
popular WSNs routing mechanisms. In this paper, we first address energy
limitation constraints with respect to maximizing network life time using
linear programming formulation technique. To check the efficiency of different
clustering scheme against modeled constraints, we select four cluster based
routing protocols; Low Energy Adaptive Clustering Hierarchy (LEACH), Threshold
Sensitive Energy Efficient sensor Network (TEEN), Stable Election Protocol
(SEP), and Distributed Energy Efficient Clustering (DEEC). To validate our
mathematical framework, we perform analytical simulations in MATLAB by choosing
number of alive nodes, number of dead nodes, number of packets and number of
CHs, as performance metrics.Comment: NGWMN with 7th IEEE International Conference on Broadband and
Wireless Computing, Communication and Applications (BWCCA 2012), Victoria,
Canada, 201
Molecular aspects of MERS-CoV
This article is made available for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.Middle East respiratory syndrome coronavirus (MERS-CoV) is a betacoronavirus which can cause acute respiratory distress in humans and is associated with a relatively high mortality rate. Since it was first identified in a patient who died in a Jeddah hospital in 2012, the World Health Organization has been notified of 1735 laboratory-confirmed cases from 27 countries, including 628 deaths. Most cases have occurred in Saudi Arabia. MERS-CoVancestors may be found in OldWorld bats of the Vespertilionidae family. After a proposed bat to camel switching event, transmission of MERS-CoV to humans is likely to have been the result of multiple zoonotic transfers from dromedary camels. Human-to-human transmission appears to require close contact with infected persons, with outbreaks mainly occurring in hospital environments. Outbreaks have been associated with inadequate infection prevention and control implementation, resulting in recommendations on basic and more advanced infection prevention and control measures by the World Health Organization, and issuing of government guidelines based on these recommendations in affected countries including Saudi Arabia. Evolutionary changes in the virus, particularly in the viral spike protein which mediates virus-host cell contact may potentially increase transmission of this virus. Efforts are on-going to identify specific evidence-based therapies or vaccines. The broad-spectrum antiviral nitazoxanide has been shown to have in vitro activity against MERS-CoV. Synthetic peptides and candidate vaccines based on regions of the spike protein have shown promise in rodent and non-human primate models. GLS-5300, a prophylactic DNA-plasmid vaccine encoding S protein, is the first MERS-CoV vaccine to be tested in humans, while monoclonal antibody, m336 has given promising results in animal models and has potential for use in outbreak situations
Middle East-Asia: Pioneering Low-Carbon Partners
When a rare ray of certainty shines through the mist of guesswork in the energy markets, we must be proactive. We know that the world\u27s energy market faces its most challenging tightrope yet: meet rising energy demand and simultaneously hit the unprecedented low-carbon targets that are detailed in the Paris Agreement. What isn\u27t certain is how to achieve it. So, now we must pinpoint how the historic alliance between the Middle East and Asia can help producers on both sides of the Indian Ocean achieve the holy grail: affordable low-carbon energy security. Collaboration and innovation are vital tools for producers trying to keep their balance as this 21st-century energy transition gains traction
Capital Flows Management During the Post-2007 Global Financial Crisis: The Experiences of SEACEN Economies
Although global financial stability in late 2010 and early 2011 has, in general, improved when compared to the 2008-2009 period of the sub-prime global financial crisis, vulnerabilities remain high. The recent World Economic Outlook of the IMF (WEO, September 2011) underlines the two speed recovery processes taking place in the world economies. In advanced economies, especially those hit hardest by the crisis, firms, government and household sectors continue to be heavily indebted and are likely to spur relatively weak demand. Although the financial markets of these economies have, in most parts, returned to profitability, the overall frail balance sheets reflect the general subdued state of the local economy. In sharp contrast, the emerging economies, including those of the SEACEN region, are posting robust growth rates until the second half of 2011, meeting new challenges associated with strong demand, rapid credit and excess liquidity. Price pressures, including potential asset price bubbles, have been the common themes of policy challenges for the SEACEN economies. Managing macro-financial risks, namely balancing growth, balance sheet soundness of the financial institutions, particularly the banking sector, and keeping a lid on inflationary pressures, have been and will likely be the primary policy challenges for these emerging markets in 2011 and 2012. This paper takes stock of recent trends and developments with regard to capital flows in the SEACEN economies. It elaborates in detail, the breakdowns and compositions of the flows. In particular, the focus of the analyses is on key flows such as the international bank lending activities to the region. The paper also summarises and analyses some of the basic push and pull factors of these flows to understand some of the domestic and external drivers of these flows. Some of the economic consequences of these capital flows and policy dilemma facing the SEACEN economies are also looked at. The paper also examines the policy responses of the central banks/monetary authorities, in particular, to mitigate the negative consequences and maximise the benefits of capital flows.
The Stress Distribution on the Zygapophyseal Joint of Lumbar Vertebra by ANSYS Program
Zygapophyseal joints (or facet joints), are a plane synovial joint which located between the articular facet processes of the vertebral arch which is freely guided movable joints. Ten dried vertebrae were used for the lumbar region and taking (L4) as a sample to reveal stress pathways across the joints by using ANSYS program under different loading conditions which used Finite Elements Analysis model. Results obtained from the ANSYS program are important in understanding the boundary conditions for load analysis and the points of stress concentration which explained from the anatomical point of view and linked to muscle and ligament attachments. This model used as a computational tool to joint biomechanics and to prosthetic implant analysis
A Denotational Semantics for First-Order Logic
In Apt and Bezem [AB99] (see cs.LO/9811017) we provided a computational
interpretation of first-order formulas over arbitrary interpretations. Here we
complement this work by introducing a denotational semantics for first-order
logic. Additionally, by allowing an assignment of a non-ground term to a
variable we introduce in this framework logical variables.
The semantics combines a number of well-known ideas from the areas of
semantics of imperative programming languages and logic programming. In the
resulting computational view conjunction corresponds to sequential composition,
disjunction to ``don't know'' nondeterminism, existential quantification to
declaration of a local variable, and negation to the ``negation as finite
failure'' rule. The soundness result shows correctness of the semantics with
respect to the notion of truth. The proof resembles in some aspects the proof
of the soundness of the SLDNF-resolution.Comment: 17 pages. Invited talk at the Computational Logic Conference (CL
2000). To appear in Springer-Verlag Lecture Notes in Computer Scienc
An assertion language for constraint logic programs
In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered
- …
