Results 11 to 20 of about 16,569,210 (303)

Control generation by program transformation [PDF]

Fundam. Informaticae, 2006
Summary: The objective of control generation in logic programming is to derive a computation rule for a program that is efficient and yet does not compromise program correctness. Progress in solving this fundamental problem in logic programming has been slow and, to date, only partial solutions have been proposed. Previously proposed schemes are either
Andy King, Jonathan C. Martin
openaire   +4 more sources

From Sequence Data to Patient Result: A Solution for HIV Drug Resistance Genotyping With Exatype, End to End Software for Pol-HIV-1 Sanger Based Sequence Analysis and Patient HIV Drug Resistance Result Generation

Journal of the International Association of Providers of AIDS Care, 2020
Introduction: With the rapid scale-up of antiretroviral therapy (ART) to treat HIV infection, there are ongoing concerns regarding probable emergence and transmission of HIV drug resistance (HIVDR) mutations.
Leonard Kingwara, Muthoni Karanja, Catherine Ngugi, Geoffrey Kangogo, Kipkerich Bera, Maureen Kimani, Nancy Bowen, Dorcus Abuya, Violet Oramisi, Irene Mukui   +9 more
doaj   +1 more source

The Hierarchy of Program Control Structures [PDF]

The Computer Journal, 1986
Summary: The structural hierarchy of programs is presented in this paper. It is defined on the basis of a composition of control structures. It is shown that there is an infinite hierarchy \(\phi_ 1,\phi_ 2,...,\phi_ n,..\). so that the control structures in \(\phi_ n\) cannot be expressed as a superposition of control structures in \(\cup^{n-1}_{k=1 ...
J. Fucík, J. Král
openaire   +1 more source

Clustering of leprosy beyond the household level in a highly endemic setting on the Comoros, an observational study

BMC Infectious Diseases, 2019
Background The island of Anjouan (Comoros) is highly endemic for leprosy with an annual incidence of 5–10/10,000. In May/June, 2015 single-dose Rifampicin post-exposure prophylaxis (SDR-PEP) was administered to 269 close contacts of 70 leprosy-patients ...
Nimer Ortuno-Gutierrez, Abdallah Baco, Sofie Braet, Assoumani Younoussa, Aboubacar Mzembaba, Zahara Salim, Mohamed Amidy, Saverio Grillone, Bouke C. de Jong, Jan Hendrik Richardus, Epco Hasker   +10 more
doaj   +1 more source

Low proportion of women who came knowing their HIV status at first antenatal care visit, Uganda, 2012–2016: a descriptive analysis of surveillance data

BMC Pregnancy and Childbirth, 2020
Background HIV testing is the cornerstone for HIV care and support services, including Prevention of Mother to Child Transmission of HIV (PMTCT). Knowledge of HIV status is associated with better reproductive health choices and outcomes for the infant’s ...
Miriam Nakanwagi, Lilian Bulage, Benon Kwesiga, Alex Riolexus Ario, Doreen Agasha Birungi, Ivan Lukabwe, John Bosco Matovu, Geoffrey Taasi, Linda Nabitaka, Shaban Mugerwa, Joshua Musinguzi   +10 more
doaj   +1 more source

Yield of tuberculosis among household contacts of tuberculosis patients in Accra, Ghana

Infectious Diseases of Poverty, 2018
Background The End TB Strategy calls for systematic screening of selected high-risk groups including contacts of tuberculosis (TB) cases to facilitate early TB case detection.
Sally-Ann Ohene, Frank Bonsu, Nii Nortey Hanson-Nortey, Adelaide Sackey, Samuel Danso, Felix Afutu, Paul Klatser, Mirjam Bakker   +7 more
doaj   +1 more source

Access Control in Parallel Programs [PDF]

IEEE Transactions on Software Engineering, 1979
An important component of a programming language for writing operating systems, or other large parallel systems, is the set of access control facilities. Two principles for access control, expressive power and access validation, are discussed. Then two new language mechanisms are presented: one for expressing the static structure and access rights of ...
James R. McGraw, Gregory R. Andrews
openaire   +2 more sources

Prevalence of tuberculosis, HIV/AIDS, and hepatitis; in a prison of Balochistan: a cross-sectional survey

BMC Public Health, 2019
Background Human Immunodeficiency Virus (HIV), Hepatitis, and Tuberculosis (TB) are three primary communicable infections have the likely potential to cause severe morbidity in prison settings.
Ahmad Wali, Dawood Khan, Nauman Safdar, Zeenat Shawani, Razia Fatima, Aashifa Yaqoob, Aurangzeb Qadir, Sultan Ahmed, Hamayun Rashid, Bashir Ahmed, Shereen Khan   +10 more
doaj   +1 more source

Correction to: Using a hepatitis B surveillance system evaluation in Fujian, Hainan, and Gansu provinces to improve data quality and assess program effectiveness, China, 2015

BMC Infectious Diseases, 2020
An amendment to this paper has been published and can be accessed via the original article.
Hui Zheng, Alexander J. Millman, Jeanette J. Rainey, Fuzhen Wang, Rui Zhang, Hong Chen, Zundong Yin, Huaqing Wang, Guomin Zhang   +8 more
doaj   +1 more source

Post-marketing safety surveillance study of a 9-valent human papillomavirus vaccine in individuals aged 16–26 years in Chongqing, China

Human Vaccines & Immunotherapeutics, 2023
The safety of human papillomavirus (HPV) vaccines, one of the major challenges to public vaccination, has been controversial. This study assessed the adverse reactions of 9-valent HPV (9vHPV) vaccines.
Yuan-yuan Zhang, Jia-Wei Xu, Yang Liu, Wei Qiu, Pei-Ning Bai, Yi Zeng, Qing Wang   +6 more
doaj   +1 more source