Conjecture about global fixed-priority preemptive multiprocessor scheduling of implicit-deadline sporadic tasks: the utilization bound of SM-US(sqrt(2)-1) is sqrt(2)-1

Consider global fixed-priority preemptive multiprocessor scheduling of implicit-deadline sporadic tasks. I conjecture that the utilization bound of SM-US(√2−1) is √2-1.

Calculating an upper bound on the finishing time of a group of threads executing on a GPU: a preliminary case study

Graphics processor units (GPUs) today can be used for computations that go beyond graphics and such use can attain a performance that is orders of magnitude greater than a normal processor. The software executing on a graphics processor is composed of a set of (often thousands of) threads which operate on different parts of the data and thereby jointly compute a result which is delivered to another thread executing on the main processor. Hence the response time of a thread executing on the main processor is dependent on the finishing time of the execution of threads executing on the GPU. Therefore, we present a simple method for calculating an upper bound on the finishing time of threads executing on a GPU, in particular NVIDIA Fermi. Developing such a method is nontrivial because threads executing on a GPU share hardware resources at very fine granularity.

The utilization bound of uniprocessor preemptive slack-monotonic scheduling is 50%

Consider the problem of scheduling a set of sporadically arriving implicit-deadline tasks to meet deadlines on a uniprocessor. Static-priority scheduling is considered using the slack-monotonic priority-assignment scheme. We prove that its utilization bound is 50%.

Global static-priority preemptive multiprocessor scheduling with utilization bound 38%

Consider the problem of scheduling real-time tasks on a multiprocessor with the goal of meeting deadlines. Tasks arrive sporadically and have implicit deadlines, that is, the deadline of a task is equal to its minimum inter-arrival time. Consider this problem to be solved with global static-priority scheduling. We present a priority-assignment scheme with the property that if at most 38% of the processing capacity is requested then all deadlines are met.

The utilization bound of static-priority preemptive partitioned multiprocessor scheduling is 50%

This paper studies static-priority preemptive scheduling on a multiprocessor using partitioned scheduling. We propose a new scheduling algorithm and prove that if the proposed algorithm is used and if less than 50% of the capacity is requested then all deadlines are met. It is known that for every static-priority multiprocessor scheduling algorithm, there is a task set that misses a deadline although the requested capacity is arbitrary close to 50%.

Selenium role in an human biomonitoring study applied to occupational health

Selenium functions as a co-factor for the reduction of antioxidant enzymes and is an important component of antioxidant enzymes. Dietary selenium significantly inhibits the induction of skin, liver, colon, and mammary tumours in experimental animals by a number of different carcinogens, as well as the induction of mammary tumours by viruses. Selenium shows a “U” shaped curve for functionality, whereby too little is as damaging as too much. At optimal levels, selenium may protect against the formation of DNA adducts, DNA or chromosome breakage, chromosome gain or loss, mitochondrial DNA, and telomere length and function. Aim of study: Investigate the relation between selenium and genotoxic effects in a human biomonitoring study applied to occupational health.

Levels and risks of particulate-bound PAHs in indoor air influenced by tobacco smoke: a field measurement

Considering tobacco smoke as one of the most health-relevant indoor sources, the aim of this work was to further understand its negative impacts on human health. The specific objectives of this work were to evaluate the levels of particulate-bound PAHs in smoking and non-smoking homes and to assess the risks associated with inhalation exposure to these compounds. The developed work concerned the application of the toxicity equivalency factors approach (including the estimation of the lifetime lung cancer risks, WHO) and the methodology established by USEPA (considering three different age categories) to 18 PAHs detected in inhalable (PM10) and fine (PM2.5) particles at two homes. The total concentrations of 18 PAHs (ΣPAHs) was 17.1 and 16.6 ng m−3 in PM10 and PM2.5 at smoking home and 7.60 and 7.16 ng m−3 in PM10 and PM2.5 at non-smoking one. Compounds with five and six rings composed the majority of the particulate PAHs content (i.e., 73 and 78 % of ΣPAHs at the smoking and non-smoking home, respectively). Target carcinogenic risks exceeded USEPA health-based guideline at smoking home for 2 different age categories. Estimated values of lifetime lung cancer risks largely exceeded (68–200 times) the health-based guideline levels at both homes thus demonstrating that long-term exposure to PAHs at the respective levels would eventually cause risk of developing cancer. The high determined values of cancer risks in the absence of smoking were probably caused by contribution of PAHs from outdoor sources.

Freshwater arsenic detoxification through selenium-enriched food supplements. A proteomic approach

Dissertação apresentada para a obtenção do grau de doutor em Bioquímica pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Label-free human chorionic gonadotropin detection at picogram levels using oriented antibodies bound to graphene screen-printed electrodes

Human chorionic gonadotropin (hCG) is a key diagnostic marker of pregnancy and an important biomarker for cancers in the prostate, ovaries and bladder and therefore of great importance in diagnosis. For this purpose, a new immunosensor of screen-printed electrodes (SPEs) is presented here. The device was fabricated by introducing a polyaniline (PANI) conductive layer, via in situ electropolymerization of aniline, onto a screen-printed graphene support. The PANI-coated graphene acts as the working electrode of a three terminal electrochemical sensor. The working electrode is functionalised with anti-hCG, by means of a simple process that enabled oriented antibody binding to the PANI layer. The antibody was attached to PANI following activation of the –COOH group at the Fc terminal. Functionalisation of the electrode was analysed and optimized using Electrochemical Impedance Spectroscopy (EIS). Chemical modification of the surface was characterised using Fourier transform infrared, and Raman spectroscopy with confocal microscopy. The graphene–SPE–PANI devices displayed linear responses to hCG in EIS assays from 0.001 to 50 ng mL−1 in real urine, with a detection limit of 0.286 pg mL−1. High selectivity was observed with respect to the presence of the constituent components of urine (urea, creatinine, magnesium chloride, calcium chloride, sodium dihydrogen phosphate, ammonium chloride, potassium sulphate and sodium chloride) at their normal levels, with a negligible sensor response to these chemicals. Successful detection of hCG was also achieved in spiked samples of real urine from a pregnant woman. The immunosensor developed is a promising tool for point-of-care detection of hCG, due to its excellent detection capability, simplicity of fabrication, low-cost, high sensitivity and selectivity.

Cobalt-, zinc- and iron-bound forms of adenylate kinase (AK) from the sulfate-reducing bacterium Desulfovibrio gigas: purification, crystallization and preliminary X-ray diffraction analysis

Acta Crystallogr Sect F Struct Biol Cryst Commun. 2009 Sep 1;65(Pt 9):926-9

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems

5th Brazilian Symposium on Computing Systems Engineering, SBESC 2015 (SBESC 2015). 3 to 6, Nov, 2015. Foz do Iguaçu, Brasil.

Biochemical and spectroscopic characterization of the membrane-bound nitrate reductase from Marinobacter hydrocarbonoclasticus 617

J Biol Inorg Chem (2008) 13:1321–1333 DOI 10.1007/s00775-008-0416-1

Functional and structural studies of two enzymes: membrane bound kinase and Z-DNA/Z-RNA-binding protein

Dissertação para obtenção do Grau de Doutor em Sistemas de Bioengenharia

Bioinspired polyethersulfone-based hollow fiber membranes as the scaffolds in renal assist device for protein-bound toxins removal from blood

Dissertation for obtaining the Master degree in Membrane Engineering

Thiamin, selenium, and copper levels in patients with idiopathic dilated cardiomyopathy taking diuretics

OBJECTIVE: To analyze the association of thiamin, selenium, and copper serum levels with cardiac function in patients with idiopathic dilated cardiomyopathy using diuretics, and also to compare them with levels in control patients with no evidence of disease. METHODS: The study comprised 30 patients with heart disease and 30 healthy control individuals. Thiamin was analyzed by measuring the activity of erythrocytic transketolase and the effect of thiamin pyrophosphate. Selenium and copper serum levels were measured by hydride generation and flame atomic absorption spectrophotometry, respectively. RESULTS: Thiamin deficiency was observed in 10% of the control individuals and in 33% of the patients with heart disease (p=0.02). The mean selenium and copper serum levels in control individuals and patients with heart disease were, respectively, 73.2±9.9 µg/L (56.5 to 94.5 µg/L) and 72.3±14.3 µg/L (35.5 to 94 µg/L) (p=0.77); 1.1±0.4mg/L (0.6 to 1.8mg/L) and 1.2± 0.4mg/L (0.6 to 2.2mg/L) (p=0.27). No association between the levels of these nutrients and cardiac function was observed. CONCLUSION: Thiamin deficiency was significantly more frequent in patients with heart disease. No significant difference was observed between the mean selenium and copper serum levels in control individuals and in patients with heart disease. The results suggest possible benefits with thiamin replacement in patients taking diuretics.