A total of 277 patients with untreated Hodgkin's disease, clinical stages I-II, were randomized
to cyclophosphamide, vinblastine, procarbazine, and prednisone (CVPP) alone for 6 …

Linear temporal logic (LTL) is a specification language for finite sequences (called traces)
widely used in program verification, motion planning in robotics, process mining, and many …

Levels of BHC [HCH], DDT and endosulfan, along with their isomers, were measured in
samples taken from the Ganga River in India during August (monsoon) 1992. Organochlorines …

With rapid industrialization and increasing per-capita consumption of conventional plastics,
there is a growing need for the development of bio-based materials from renewable …

The purpose of this study was to determine the occurrence of antibiotic resistant Escherichia
coli isolated from chicks and chickens. This study was carried out on three flocks of birds fed …

A study was conducted to investigate the effects of different food concentrations consisting
of Nannochloropsis oculata (4 × 10 2 , 4 × 10 4 , 4 × 10 6 cells ml − 1 and control) on male …

The mild and major neurocognitive disorder symptoms due to the COVID-19 pandemic provide
a unique opportunity to address the early changes underlying neurocognitive impairment …

In runtime verification, manually formalizing a specification for monitoring system executions
is a tedious and error-prone process. To address this issue, we consider the problem of …

A method for species identification from pork and lard samples using polymerase chain
reaction (PCR) analysis of a conserved region in the mitochondrial (mt) cytochrome b (cyt b) …

Background The pathological features of the common neurodegenerative conditions,
Alzheimer’s disease (AD), Parkinson’s disease and multiple sclerosis are all known to be …