In this paper, we present a new approach to non-termination analysis of logic programs, based on moded SLDNF-resolution. Moded SLDNF-resolution is a symbolic execution for moded goals, developed for termination prediction. To prove non-termination, we use a complete loop checker to create a finite symbolic derivation tree of a logic program for a moded query. Then, we check if this derivation t...

Ecological communities are structured by both deterministic and stochastic processes. We investigated phylogenetic patterns at regional and local scales to understand the influences of seasonal processes in shaping the structure of anuran communities in the southern Pantanal wetland, Brazil. We assessed the phylogenetic structure at different scales, using the Net Relatedness Index (NRI), the N...

The enlarged adenoid serves as a mechanical obstacle on the nasopharynx to intricate nasotracheal intubation. No matter what video or direct laryngoscopic techniques are applied, nasotracheal tube navigation from the nasal valve area through the nasal cavity to the nasopharynx is always blind; trauma is not uncommon. Here we report a case of unintended avulsed adenoids that plugged the tube tip...

Middle East Respiratory Syndrome (MERS) is a severe respiratory illness first reported in Saudi Arabia that is caused by a coronavirus called MERS-CoV. This virus causes substantial fever, cough, and shortness of breath, and approximately half of the people afflicted have died. The MERS-CoV cases have occurred in or near the Arabian Peninsula, and to date no cases have been identified in the U....

he remarkable effectiveness of aldosterone receptor antagnists in reducing the mortality risk in patients with dvanced heart failure (HF) (1) has led many to assume that he aldosterone receptor is directly involved in the process of eft ventricular (LV) remodeling, which seems to be a ritical mediator of the progressive syndrome of HF (2,3). his perception has been fed by preclinical evidence f...

We present a heuristic framework for attacking the undecidable termination problem of logic programs, as an alternative to current termination/non-termination proof approaches. We introduce an idea of termination prediction, which predicts termination of a logic program in case that neither a termination nor a non-termination proof is applicable. We establish a necessary and sufficient characte...

In this paper, we propose a general method to obtain Linearly Independent NonOrthogonal yet Energy (square of the norm) Preserving (LINOEP) vectors using iterative filtering operation and we refer it as Filter Mode Decomposition (FDM). We show that the general energy preserving theorem (EPT), which is valid for both linearly independent (orthogonal and nonorthogonal) and linearly dependent vect...

It has been conjectured by Cowan and Emerson [3] that every graph has an unfriendly partition; i.e., there is a partition of the vertex set V= V, v V, such that every vertex of V, is joined to at least as many vertices in V, _, as to vertices in V,. It is easily seen that every rinite graph has such a partition, and hence by compactness so does any locally finite graph. We show that the conject...

Parameter Description Value λTU Synthesis of uninfected target T-cells 2·10 βT Infection of T-cells 8·10−12 ÑT = NTI +NTNI Viral production from infected T-cells 1000 δTU, δT1 Death of uninfected and early stage infected T-cells 0.02 δT2 Death of late stage infected T-cells 1 CLV Viral clearance 23 ρPR,φ Probability of successful assembly and maturation of viruses 0.67 ρrev,φ Probability of suc...

Understanding the causes and consequences of biological invasions is a great challenge in ecology conservation biology. The ability to predict which naturalized species are likely become invasive would be step forward managing preventing invasions. goal this study test whether phylogenetically clustered subset at continental regional scales, compare phylogenetic relatedness angiosperms with res...