PRL


Also found in: Dictionary, Thesaurus, Medical, Acronyms, Wikipedia.

PRL

Proof Refinement Logic.

Versions: micro-PRL, lambda-PRL, nu-PRL.

["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].

PRL

(Preferred Roaming List) The list of service providers stored in a CDMA cellphone that the phone is roaming outside its home area. The PRL should automatically be updated by the carrier; however, it may be manually reset and updated by the customer when there are roaming connection problems. In Restrictive Mode, the phone will only acquire networks in the PRL. In Permissive Mode, the phone will acquire a network not in the list if all PRL networks are unavailable.
References in periodicals archive ?
We're proud of the role we play in ensuring our nation's security, so we all take it very seriously," said Janis Herschkowitz, president, PRL.
Based on these findings, we explored the implications of a screen step consisting of IHC for Pit-1, SF-1, and ACTH (Tables 4 and 5, Screen Step) followed by a second step including IHC for PRL, GH, TSH, and Cam5.
A PRL insider yesterday said that was among the options being pondered over by PRL and top officials at its member clubs, with Wales apparently happy to release their England-based contingent for those important league matches.
Have the English clubs always abided by the PRL policy?
However, there remains a glimmer of hope for Howley in that the PRL agreed to allow it's Wales' contingent to play in the warm-up match against England at Twickenham last May ahead of the tour of New Zealand because it was a fund-raiser for the Rugby Football Union, who pay PRL for the release of Dylan Hartley, Maro Itoje and company for internationals.
For Alaska, airship operations will be based at the PRL logistics operations center in Kenai, and supported by other PRL locations throughout the state.
Se excluyeron las pacientes con causas conocidas de HPRL secundaria, como el embarazo, la lactancia, el prolactinoma y en tratamiento con medicamentos que inducen la secrecion de PRL (estrogenos, antidepresivos triciclicos, metoclopramida, fenotiazinas, butirofenonas, reserpina, metildopa y bloqueadores H2).
In his essay, he analysed two paradigms for judging the times of the PRL The first one considered communism as a blank page in Polish history; the second regarded it rather as years of normality.
Under the deal, Oil Search and Total have agreed that Total's acquisition of equity in PRL 15 and InterOil's exploration assets will be on the same terms as Oil Search's proposed acquisition of InterOil announced earlier.
PRL has started feasibility study on the refinery growth and upgradation including installation of DHDS (Diesel Hydrodesulphurisation Unit).
The current observations suggest that i) the anti-idiotypic approach is suitable to generate PRL mimic, and ii) an anti-idiotypic antibody to PRL (such as B7) has potential applications in animal production.
Un fragmento de 2,5 kpb que abarca el intron 2 del gen ovino PRL amplificado fue digerido posteriormente con una enzima de restriccion HaeIII (Promega Corp.