Horn Clause Programs have a natural exhaustive depth-first procedural semantics. However, for many programs this semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the alternative execution branches. Tor, a well-defined hook into Prolog disjunction, provides this ability. It is light-weight thanks to its library approa...

Internet censorship is on the rise as websites around the world are increasingly blocked by government-level firewalls. Although popular anonymizing networks like Tor were originally designed to keep attackers from tracing people’s activities, many people are also using them to evade local censorship. But if the censor simply denies access to the Tor network itself, blocked users can no longer ...

Vibrio cholerae O139 (173 strains) and O1 (221 strains) were tested for their in vitro susceptibilities to 39 antimicrobial agents. Both O139 and O1 strains were highly susceptible to azithromycin, cephems, minocycline, penems, and newer fluoroquinolones. O139 strains (94.8%), O1 Indian El Tor strains (97%), and Bangladeshi El Tor strains (50%) were highly resistant to streptomycin, sulfamethox...

Public reporting burden tor this eotjeeoon o* nformsoon is eeornsted to average 1 hour par response, mdudtng As am« tor raviewing instructions, searching existing data aouroaa. galhamg and maintaining ths data nsstlsü. and completing and reviewing the collection of Intormanon. Ssnd comments regarding his burden estimate or any omar aspect ot this coltoeson ol intoimatlon, «eluding suggeenona to...

BACKGROUND Left ventricular hypertrophy (LVH) is common in kidney transplant (KT) recipients. LVH is associated with a worse outcome, though m-TOR therapy may help to revert this complication. We therefore conducted a longitudinal study to assess morphological and functional echocardiographic changes after conversion from CNI to m-TOR inhibitor drugs in nondiabetic KT patients who had previousl...

Target of Rapamycin (TOR) is an eukaryotic protein kinase and evolutionally conserved from the last eukaryotic common ancestor (LECA) to humans. The growing evidences have shown that TOR signaling acts as a central controller of cell growth and development. The downstream effectors of TOR have been well-identified in yeast and animals by using the immunosuppression agent rapamycin. However, les...

While the Internet increasingly permeates everyday life of individuals around the world, it becomes crucial to prevent unauthorized collection and abuse of personalized information. Internet anonymization software such as Tor is an important instrument to protect online privacy. However, due to the performance overhead caused by Tor, many Internet users refrain from using it. This causes a nega...

The "target of rapamycin" (TOR) nutritional signaling pathway and juvenile hormone (JH) regulation of vitellogenesis has been known for a long time. However, the interplay between these two pathways regulating vitellogenin (Vg) expression remains obscure. Here, we first demonstrated the key role of amino acids (AAs) in activation of Vg synthesis and egg development in Nilaparvata lugens using c...

Target of Rapamycin (TOR) signalling allows eukaryotic cells to adjust cell growth in response to changes in their nutritional and environmental context. The two distinct TOR complexes (TORC1/2) localise to the cell's internal membrane compartments; the endoplasmic reticulum (ER), Golgi apparatus and lysosomes/vacuoles. Here, we show that Ppk32, a SCYL family pseudo-kinase, is a novel regulator...

A two-to-one recoding (TOR) scheme is a new cryptographic primitive, proposed in the recent work of Gorbunov, Vaikuntanathan, and Wee (GVW), as a means to construct attribute-based encryption (ABE) schemes for all boolean circuits. GVW show that TOR schemes can be constructed assuming the hardness of the learning-with-errors (LWE) problem. We propose a slightly weaker variant of TOR schemes cal...