Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Oxo-molybdenum(VI) complexes containing chiral ligands: catalytic applications in selective epoxidations

Dissertation presented to obtain the Ph.D. degree in Chemistry

A combined LNA-oscillator-mixer for biomedical applications

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Gold nanoparticle to antibody conjugates for diagnosis applications: molecular interactions and immunoassay development

Thesis for the Master degree in Structural and Functional Biochemistry

An Enhanced WLAN Security System With FPGA Implementation for Multimedia Applications

Maintaining a high level of data security with a low impact on system performance is more challenging in wireless multimedia applications. Protocols that are used for wireless local area network (WLAN) security are known to significantly degrade performance. In this paper, we propose an enhanced security system for a WLAN. Our new design aims to decrease the processing delay and increase both the speed and throughput of the system, thereby making it more efficient for multimedia applications. Our design is based on the idea of offloading computationally intensive encryption and authentication services to the end systems’ CPUs. The security operations are performed by the hosts’ central processor (which is usually a powerful processor) before delivering the data to a wireless card (which usually has a low-performance processor). By adopting this design, we show that both the delay and the jitter are significantly reduced. At the access point, we improve the performance of network processing hardware for real-time cryptographic processing by using a specialized processor implemented with field-programmable gate array technology. Furthermore, we use enhanced techniques to implement the Counter (CTR) Mode with Cipher Block Chaining Message Authentication Code Protocol (CCMP) and the CTR protocol. Our experiments show that it requires timing in the range of 20–40 μs to perform data encryption and authentication on different end-host CPUs (e.g., Intel Core i5, i7, and AMD 6-Core) as compared with 10–50 ms when performed using the wireless card. Furthermore, when compared with the standard WiFi protected access II (WPA2), results show that our proposed security system improved the speed to up to 3.7 times.

Emerging (Bio)Sensing Technology for Assessing and Monitoring Freshwater Contamination – Methods and Applications

Ecological Water Quality - Water Treatment and Reuse

Novel biosensing device for point-of-care applications with plastic antibodies grown on Au-Screen Printed Electrodes

A gold screen printed electrode (Au-SPE) was modified by merging Molecular Imprinting and Self-Assembly Monolayer techniques for fast screening cardiac biomarkers in point-of-care (POC). For this purpose, Myoglobin (Myo) was selected as target analyte and its plastic antibody imprinted over a glutaraldehyde (Glu)/cysteamine (Cys) layer on the gold-surface. The imprinting effect was produced by growing a reticulated polymer of acrylamide (AAM) and N,N′-methylenebisacrylamide (NNMBA) around the Myo template, covalently attached to the biosensing surface. Electrochemical impedance spectroscopy (EIS) and cyclic voltammetry (CV) studies were carried out in all chemical modification steps to confirm the surface changes in the Au-SPE. The analytical features of the resulting biosensor were studied by different electrochemical techniques, including EIS, square wave voltammetry (SWV) and potentiometry. The limits of detection ranged from 0.13 to 8 μg/mL. Only potentiometry assays showed limits of detection including the cut-off Myo levels. Quantitative information was also produced for Myo concentrations ≥0.2 μg/mL. The linear response of the biosensing device showed an anionic slope of ~70 mV per decade molar concentration up to 0.3 μg/mL. The interference of coexisting species was tested and good selectivity was observed. The biosensor was successfully applied to biological fluids.

Determination of Microcystin-LR in waters in the subnanomolar range by sol–gel imprinted polymers on solid contact electrodes

The present work reports new sensors for the direct determination of Microcystin-LR (MC-LR) in environmental waters. Both selective membrane and solid contact were optimized to ensure suitable analytical features in potentiometric transduction. The sensing layer consisted of Imprinted Sol–Gel (ISG) materials capable of establishing surface interactions with MC-LR. Non-Imprinted Sol–Gel (NISG) membranes were used as negative control. The effects of an ionic lipophilic additive, time of sol–gel polymerization, time of extraction of MC-LR from the sensitive layer, and pH were also studied. The solid contact was made of carbon, aluminium, titanium, copper or nickel/chromium alloys (80 : 20 or 90 : 10). The best ISG sensor had a carbon solid contact and displayed average slopes of 211.3 mV per decade, with detection limits of 7.3 1010 M, corresponding to 0.75 mg L1 . It showed linear responses in the range of 7.7 1010 to 1.9 109 M of MC-LR (corresponding to 0.77–2.00 mg L1 ), thus including the limiting value for MC-LR in waters (1.0 mg L1 ). The potentiometric-selectivity coefficients were assessed by the matched potential method for ionic species regularly found in waters up to their limiting levels. Chloride (Cl) showed limited interference while aluminium (Al3+), ammonium (NH4 + ), magnesium (Mg2+), manganese (Mn2+), sodium (Na+ ), and sulfate (SO4 2) were unable to cause the required potential change. Spiked solutions were tested with the proposed sensor. The relative errors and standard deviation obtained confirmed the accuracy and precision of the method. It also offered the advantages of low cost, portability, easy operation and suitability for adaptation to flow methods.

Solid contact PVC membrane electrodes based on neutral or charged carriers for the selective reading of anionic sulfamethoxazole and their application to the analysis of aquaculture water

Sulfamethoxazole (SMX) is among the antibiotics employed in aquaculture for prophylactic and therapeutic reasons. Environmental and food spread may be prevented by controlling its levels in several stages of fish farming. The present work proposes for this purpose new SMX selective electrodes for the potentiometric determination of this sulphonamide in water. The selective membranes were made of polyvinyl chloride (PVC) with tetraphenylporphyrin manganese (III) chloride or cyclodextrin-based acting as ionophores. 2-nitrophenyl octyl ether was employed as plasticizer and tetraoctylammonium, dimethyldioctadecylammonium bromide or potassium tetrakis (4-chlorophenyl) borate was used as anionic or cationic additive. The best analytical performance was reported for ISEs of tetraphenylporphyrin manganese (III) chloride with 50% mol of potassium tetrakis (4-chlorophenyl) borate compared to ionophore. Nersntian behaviour was observed from 4.0 × 10−5 to 1.0 × 10−2 mol/L (10.0 to 2500 µg/mL), and the limit of detection was 1.2 × 10−5 mol/L (3.0 µg/mL). In general, the electrodes displayed steady potentials in the pH range of 6 to 9. Emf equilibrium was reached before 15 s in all concentration levels. The electrodes revealed good discriminating ability in environmental samples. The analytical application to contaminated waters showed recoveries from 96 to 106%.

Novel LTCC-potentiometric microfluidic device for biparametric analysis of organic compounds carrying plastic antibodies as ionophores: Application to sulfamethoxazole and trimethoprim

Monitoring organic environmental contaminants is of crucial importance to ensure public health. This requires simple, portable and robust devices to carry out on-site analysis. For this purpose, a low-temperature co-fired ceramics (LTCC) microfluidic potentiometric device (LTCC/μPOT) was developed for the first time for an organic compound: sulfamethoxazole (SMX). Sensory materials relied on newly designed plastic antibodies. Sol–gel, self-assembling monolayer and molecular-imprinting techniques were merged for this purpose. Silica beads were amine-modified and linked to SMX via glutaraldehyde modification. Condensation polymerization was conducted around SMX to fill the vacant spaces. SMX was removed after, leaving behind imprinted sites of complementary shape. The obtained particles were used as ionophores in plasticized PVC membranes. The most suitable membrane composition was selected in steady-state assays. Its suitability to flow analysis was verified in flow-injection studies with regular tubular electrodes. The LTCC/μPOT device integrated a bidimensional mixer, an embedded reference electrode based on Ag/AgCl and an Ag-based contact screen-printed under a micromachined cavity of 600 μm depth. The sensing membranes were deposited over this contact and acted as indicating electrodes. Under optimum conditions, the SMX sensor displayed slopes of about −58.7 mV/decade in a range from 12.7 to 250 μg/mL, providing a detection limit of 3.85 μg/mL and a sampling throughput of 36 samples/h with a reagent consumption of 3.3 mL per sample. The system was adjusted later to multiple analyte detection by including a second potentiometric cell on the LTCC/μPOT device. No additional reference electrode was required. This concept was applied to Trimethoprim (TMP), always administered concomitantly with sulphonamide drugs, and tested in fish-farming waters. The biparametric microanalyzer displayed Nernstian behaviour, with average slopes −54.7 (SMX) and +57.8 (TMP) mV/decade. To demonstrate the microanalyzer capabilities for real applications, it was successfully applied to single and simultaneous determination of SMX and TMP in aquaculture waters.

Methodologies for the WCET Analysis of Parallel Applications on Many-core Architectures

Euromicro Conference on Digital System Design (DSD 2015), Funchal, Portugal.

Trimethoprim-selective electrodes with molecularly imprinted polymers acting as ionophores and potentiometric transduction on graphite solid-contact

This work proposes a new biomimetic sensor material for trimethoprim. It is prepared by means of radical polymerization, having trimethylolpropane trimethacrylate as cross-linker, benzoyl peroxide as radicalar iniciator, chloroform as porogenic solvent, and methacrylic acid and 2-vinyl pyridine as monomers. Different percentages of sensor in a range between 1 and 6% were studied. Their behavior was compared to that obtained with ion-exchanger quaternary ammonium salt (additive tetrakis(p-chlorophenyl)borate or tetraphenylborate). The effect of an anionic additive in the sensing membrane was also tested. Trimethoprim sensors with 1% of imprinted particles from methacrylic acid monomers showed the best response in terms of slope (59.7 mV/decade) and detection limit (4.01 × 10− 7 mol/L). These electrodes displayed also a good selectivity towards nickel, manganese aluminium, ammonium, lead, potassium, sodium, iron, chromium, sulfadiazine, alanine, cysteine, tryptophan, valine and glycine. The sensors were not affected by pH changes from 2 to 6. They were successfully applied to the analysis of water from aquaculture.

A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution

The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015). 13 to 17, Apr, 2015, Embedded Systems. Salamanca, Spain.