Non-polynomial Worst-Case Analysis of Recursive Programs

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

Enzyme‐assisted aqueous extraction of Kalahari melon seed oil: optimization using response surface methodology

Enzymatic extraction of oil from Kalahari melon seeds was investigated and evaluated by response surface methodology (RSM). Two commercial protease enzyme products were used separately: Neutrase® 0.8 L and Flavourzyme® 1000 L from Novozymes (Bagsvaerd, Denmark). RSM was applied to model and optimize the reaction conditions namely concentration of enzyme (20–50 g kg−1 of seed mass), initial pH of mixture (pH 5–9), incubation temperature (40–60 °C), and incubation time (12–36 h). Well fitting models were successfully established for both enzymes: Neutrase 0.8 L (R 2 = 0.9410) and Flavourzyme 1000 L (R 2 = 0.9574) through multiple linear regressions with backward elimination. Incubation time was the most significant reaction factor on oil yield for both enzymes. The optimal conditions for Neutrase 0.8 L were: an enzyme concentration of 25 g kg−1, an initial pH of 7, a temperature at 58 °C and an incubation time of 31 h with constant shaking at 100 rpm. Centrifuging the mixture at 8,000g for 20 min separated the oil with a recovery of 68.58 ± 3.39%. The optimal conditions for Flavourzyme 1000 L were enzyme concentration of 21 g kg−1, initial pH of 6, temperature at 50 °C and incubation time of 36 h. These optimum conditions yielded a 71.55 ± 1.28% oil recovery

Enumeration of CD4+ T-Cells Using a Portable Microchip Count Platform in Tanzanian HIV-Infected Patients

Background CD4+ T-lymphocyte count (CD4 count) is a standard method used to monitor HIV-infected patients during anti-retroviral therapy (ART). The World Health Organization (WHO) has pointed out or recommended that a handheld, point-of-care, reliable, and affordable CD4 count platform is urgently needed in resource-scarce settings. Methods HIV-infected patient blood samples were tested at the point-of-care using a portable and label-free microchip CD4 count platform that we have developed. A total of 130 HIV-infected patient samples were collected that included 16 de-identified left over blood samples from Brigham and Women's Hospital (BWH), and 114 left over samples from Muhimbili University of Health and Allied Sciences (MUHAS) enrolled in the HIV and AIDS care and treatment centers in the City of Dar es Salaam, Tanzania. The two data groups from BWH and MUHAS were analyzed and compared to the commonly accepted CD4 count reference method (FACSCalibur system). Results The portable, battery operated and microscope-free microchip platform developed in our laboratory (BWH) showed significant correlation in CD4 counts compared with FACSCalibur system both at BWH (r = 0.94, p<0.01) and MUHAS (r = 0.49, p<0.01), which was supported by the Bland-Altman methods comparison analysis. The device rapidly produced CD4 count within 10 minutes using an in-house developed automated cell counting program. Conclusions We obtained CD4 counts of HIV-infected patients using a portable platform which is an inexpensive (<$1 material cost) and disposable microchip that uses whole blood sample (<10 µl) without any pre-processing. The system operates without the need for antibody-based fluorescent labeling and expensive fluorescent illumination and microscope setup. This portable CD4 count platform displays agreement with the FACSCalibur results and has the potential to expand access to HIV and AIDS monitoring using fingerprick volume of whole blood and helping people who suffer from HIV and AIDS in resource-limited settings.Wallace H. Coulter Foundation (Young Investigation Award in Bioengineering Award)National Institutes of Health (U.S.) (NIH R01AI081534)National Institutes of Health (U.S.) (NIH R21AI087107)National Institutes of Health (U.S.) (NIH grant RR016482)National Institutes of Health (U.S.) (grant AI060354)National Institutes of Health (U.S.) (NIH Fogarty Fellowship

Analysis of Surface Electromyography for On-Off Control

Myogram on-and-off controller is important for improving or assisting the elderly people. One of the most important aspects of the controller development is to determine the on and off time with respect to the body movement. In this project, high accuracy signal filtering, high gain amplifier, signal converter, microcontroller and electrodes are used for circuit simulation and development to obtain muscle signal (Electromyogram). Precision rectifier is used to solve the ordinary semiconductor problem to avoid signal block. To ensurethe user-friendliness in the development of this device, non-invasive electrodes are used in this project instead of invasive electrodes

Glucuronidation by UGT1A1 Is the Dominant Pathway of the Metabolic Disposition of Belinostat in Liver Cancer Patients

10.1371/journal.pone.0054522PLoS ONE81

Foxp2 controls synaptic wiring of corticostriatal circuits and vocal communication by opposing Mef2c

Cortico-basal ganglia circuits are critical for speech and language and are implicated in autism spectrum disorder, in which language function can be severely affected. We demonstrate that in the mouse striatum, the gene Foxp2 negatively interacts with the synapse suppressor gene Mef2c. We present causal evidence that Mef2c inhibition by Foxp2 in neonatal mouse striatum controls synaptogenesis of corticostriatal inputs and vocalization in neonates. Mef2c suppresses corticostriatal synapse formation and striatal spinogenesis, but can itself be repressed by Foxp2 through direct DNA binding. Foxp2 deletion de-represses Mef2c, and both intrastriatal and global decrease of Mef2c rescue vocalization and striatal spinogenesis defects of Foxp2-deletion mutants. These findings suggest that Foxp2-Mef2C signaling is critical to corticostriatal circuit formation. If found in humans, such signaling defects could contribute to a range of neurologic and neuropsychiatric disorders.National Institutes of Health (U.S.) (Grant R37 HD028341)Eunice Kennedy Shriver National Institute of Child Health and Human Development (U.S.) (Award R37 HD028341

The freshwater Sponge Ephydatia Fluviatilis harbours diverse pseudomonas species (Gammaproteobacteria, Pseudomonadales) with broad-spectrum antimicrobial activity

Bacteria are believed to play an important role in the fitness and biochemistry of sponges (Porifera). Pseudomonas species (Gammaproteobacteria, Pseudomonadales) are capable of colonizing a broad range of eukaryotic hosts, but knowledge of their diversity and function in freshwater invertebrates is rudimentary. We assessed the diversity, structure and antimicrobial activities of Pseudomonas spp. in the freshwater sponge Ephydatia fluviatilis. Polymerase Chain Reaction - Denaturing Gradient Gel Electrophoresis (PCR-DGGE) fingerprints of the global regulator gene gacA revealed distinct structures between sponge-associated and free-living Pseudomonas communities, unveiling previously unsuspected diversity of these assemblages in freshwater. Community structures varied across E. fluviatilis specimens, yet specific gacA phylotypes could be detected by PCR-DGGE in almost all sponge individuals sampled over two consecutive years. By means of whole-genome fingerprinting, 39 distinct genotypes were found within 90 fluorescent Pseudomonas isolates retrieved from E. fluviatilis. High frequency of in vitro antibacterial (49%), antiprotozoan (35%) and anti-oomycetal (32%) activities was found among these isolates, contrasting less-pronounced basidiomycetal (17%) and ascomycetal (8%) antagonism. Culture extracts of highly predation-resistant isolates rapidly caused complete immobility or lysis of cells of the protozoan Colpoda steinii. Isolates tentatively identified as P. jessenii, P. protegens and P. oryzihabitans showed conspicuous inhibitory traits and correspondence with dominant sponge-associated phylotypes registered by cultivation-independent analysis. Our findings suggest that E. fluviatilis hosts both transient and persistent Pseudomonas symbionts displaying antimicrobial activities of potential ecological and biotechnological value.European Regional Development Fund (ERDF) through the COMPETE (Operational Competitiveness Programme); national funds through FCT (Foundation for Science and Technology) [PEst-C/MAR/LA0015/2011]; FCT-funded project [PTDC/BIA-MIC/3865/2012]; Federation of European Microbiological Societies (FEMS)info:eu-repo/semantics/publishedVersio

The Role of Ethnic Directors in Corporate Social Responsibility: Does Culture matter? The Cultural Trait Theory Perspectives

This paper investigates the effect of cultural differences between ethnic directors on corporate social responsibility (CSR) of Public Liability Companies (PLCs) in Nigeria. Using the cultural trait theory, the study focuses on how the ethnic directors are influenced when making decisions concerning CSR. Adopting multiple regression analysis of data, the study investigates the three major ethnic groups (Yoruba, Igbo and Hausa) and finds cultural differences between the ethnic directors affect the adoption of CSR. Empirical results indicate that ethnic directors (Yoruba, Igbo and Hausa) were positively and significantly related to CSR. The paper contributes to the corporate governance and CSR debate concerning how ethnic directors’ decisions impact on CSR activities, particularly on the directors who are individualistic and collectivists towards CSR

Olives and olive oil are sources of electrophilic fatty acid nitroalkenes

Extra virgin olive oil (EVOO) and olives, key sources of unsaturated fatty acids in the Mediterranean diet, provide health benefits to humans. Nitric oxide (•NO) and nitrite (NO2-)-dependent reactions of unsaturated fatty acids yield electrophilic nitroalkene derivatives (NO 2-FA) that manifest salutary pleiotropic cell signaling responses in mammals. Herein, the endogenous presence of NO2-FA in both EVOO and fresh olives was demonstrated by mass spectrometry. The electrophilic nature of these species was affirmed by the detection of significant levels of protein cysteine adducts of nitro-oleic acid (NO2-OA-cysteine) in fresh olives, especially in the peel. Further nitration of EVOO by NO2- under acidic gastric digestive conditions revealed that human consumption of olive lipids will produce additional nitro-conjugated linoleic acid (NO2-cLA) and nitro-oleic acid (NO2-OA). The presence of free and protein-adducted NO2-FA in both mammalian and plant lipids further affirm a role for these species as signaling mediators. Since NO2-FA instigate adaptive anti-inflammatory gene expression and metabolic responses, these redox-derived metabolites may contribute to the cardiovascular benefits associated with the Mediterranean diet. © 2014 Fazzari et al