On the Fucik spectrum of the Laplacian on a torus

We study the Fucik spectrum of the Laplacian on a two-dimensional torus T(2). Exploiting the invariance properties of the domain T(2) with respect to translations we obtain a good description of large parts of the spectrum. In particular, for each eigenvalue of the Laplacian we will find an explicit global curve in the Fucik spectrum which passes through this eigenvalue; these curves are ordered, and we will show that their asymptotic limits are positive. On the other hand, using a topological index based on the mentioned group invariance, we will obtain a variational characterization of global curves in the Fucik spectrum; also these curves emanate from the eigenvalues of the Laplacian, and we will show that they tend asymptotically to zero. Thus, we infer that the variational and the explicit curves cannot coincide globally, and that in fact many curve crossings must occur. We will give a bifurcation result which partially explains these phenomena. (C) 2008 Elsevier Inc. All rights reserved.

Stability of gradient semigroups under perturbations

In this paper we prove that gradient-like semigroups (in the sense of Carvalho and Langa (2009 J. Diff. Eqns 246 2646-68)) are gradient semigroups (possess a Lyapunov function). This is primarily done to provide conditions under which gradient semigroups, in a general metric space, are stable under perturbation exploiting the known fact (see Carvalho and Langa (2009 J. Diff. Eqns 246 2646-68)) that gradient-like semigroups are stable under perturbation. The results presented here were motivated by the work carried out in Conley (1978 Isolated Invariant Sets and the Morse Index (CBMS Regional Conference Series in Mathematics vol 38) (RI: American Mathematical Society Providence)) for groups in compact metric spaces (see also Rybakowski (1987 The Homotopy Index and Partial Differential Equations (Universitext) (Berlin: Springer)) for the Morse decomposition of an invariant set for a semigroup on a compact metric space).

Controlled fabrication of gold nanoparticles biomediated by glucose oxidase immobilized on chitosan layer-by-layer films

The control of size and shape of metallic nanoparticles is a fundamental goal in nanochemistry, and crucial for applications exploiting nanoscale properties of materials. We present here an approach to the synthesis of gold nanoparticles mediated by glucose oxidase (GOD) immobilized on solid substrates using the Layer-by-Layer (LbL) technique. The LbL films contained four alternated layers of chitosan and poly(styrene sulfonate) (PSS), with GOD in the uppermost bilayer adsorbed on a fifth chitosan layer: (chitosan/PSS)(4)/(chitosan/GOD). The films were inserted into a solution containing gold salt and glucose, at various pHs. Optimum conditions were achieved at pH 9, producing gold nanoparticles of ca. 30 nm according to transmission electron microscopy. A comparative study with the enzyme in solution demonstrated that the synthesis of gold nanoparticles is more efficient using immobilized GOD. (C) 2009 Elsevier B.V. All rights reserved.

Synthesis and analgesic profile of conformationally constrained N-acylhydrazone analogues: Discovery of novel N-arylideneamino quinazolin-4(3H)-one compounds derived from natural safrole

In this work we reported the synthesis and evaluation of the analgesic, anti-inflammatory, and platelet anti-aggregating properties of new 3-(arylideneamino)-2-methyl-6,7-methylenedioxy-quinazolin-4 (3H)-one derivatives (3a-j), designed as conformationally constrained analogues of analgesic 1,3- benzodioxolyl-N- acylhydrazones (1) previously developed at LASSBio. Target compounds were synthesized in very good yields exploiting abundant Brazilian natural product safrole (2) as starting material. The pharmacological assays lead us to identify compounds LASSBio-1240 (3b) and LASSBio-1272 (3d) as new analgesic prototypes, presenting an antinociceptive pro. le more potent and effective than dipyrone and indomethacin used, respectively, as standards in AcOH-induced abdominal constrictions assay and in the formalin test. These results confirmed the success in the exploitation of conformation restriction strategy for identification of novel cyclic N-acylhydrazone analogues with optimized analgesic profile (C) 2009 Elsevier Ltd. All rights reserved.

Physical properties of palm fruits processed with tools by wild bearded capuchins (Cebus libidinosus)

Habitually, capuchin monkeys access encased hard foods by using their canines and premolars and/or by pounding the food on hard surfaces. Instead, the wild bearded capuchins (Cebus libidinosus) of Boa Vista (Brazil) routinely crack palm fruits with tools. We measured size, weight, structure, and peak-force-at-failure of the four palm fruit species most frequently processed with tools by wild capuchin monkeys living in Boa Vista. Moreover, for each nut species we identify whether peak-force-at-failure was consistently associated with greater weight/volume, endocarp, thickness, and structural complexity. The goals of this study were (a) to investigate whether these palm fruits are difficult, or impossible, to access other than with tools and (b) to collect data on the physical properties of palm fruits that are comparable to those available for the nuts cracked open with tools by wild chimpanzees. Results showed that the four nut species differ in terms of peak-force-at-failure and that peak-force-at-failure is positively associated with greater weight (and consequently volume) and apparently with structural complexity (i.e. more kernels and thus more partitions); finally for three out of four nut species shell thickness is also positively associated with greater volume. The finding that the nuts exploited by capuchins with tools have very high resistance values support the idea that tool use is indeed mandatory to crack them open. Finally, the peak-force-at-failure of the piassava nuts is similar to that reported for the very tough panda nuts cracked open by wild chimpanzees; this highlights the ecological importance of tool use for exploiting high resistance foods in this capuchin species.

Scheduling Grid Applications with Software Requirements

The aim of task scheduling is to minimize the makespan of applications, exploiting the best possible way to use shared resources. Applications have requirements which call for customized environments for their execution. One way to provide such environments is to use virtualization on demand. This paper presents two schedulers based on integer linear programming which schedule virtual machines (VMs) in grid resources and tasks on these VMs. The schedulers differ from previous work by the joint scheduling of tasks and VMs and by considering the impact of the available bandwidth on the quality of the schedule. Experiments show the efficacy of the schedulers in scenarios with different network configurations.

N3-Dye-Induced Visible Laser Anatase-to-Rutile Phase Transition on Mesoporous TiO(2) Films

Titanium dioxide has been extensively used in photocatalysis and dye-sensitized solar cells, where control of the anatase-to-rutile phase transformation may allow the realization of more efficient devices exploiting the synergic effects at anatase/rutile interfaces. Thus, a systematic study showing the proof of concept of a dye-induced morphological transition and an anatase-to-rutile transition based on visible laser (532 nm) and nano/micro patterning of mesoporous anatase (Degussa P25 TiO(2)) films is described for the first time using a confocal Raman microscope. At low laser intensities, only the bleaching of the adsorbed N3 dye was observed. However, high enough temperatures to promote melting/densification processes and create a deep hole at the focus and an extensive phase transformation in the surrounding material were achieved using Is laser pulses of 25-41 mW/cm(2), in resonance with the MLCT band. The dye was shown to play a key role, being responsible for the absorption and efficient conversion of the laser light into heat. As a matter of fact, the dye is photothermally decomposed to amorphous carbon or to gaseous species (CO(x), NO(x), and H(2)O) under a N(2) or O(2) atmosphere, respectively.

Peat as a natural solid-phase for copper preconcentration and determination in a multicommuted flow system coupled to flame atomic absorption spectrometry

The physical and chemical characteristics of peat were assessed through measurement of pH, percentage of organic matter, cationic exchange capacity (CEC), elemental analysis, infrared spectroscopy and quantitative analysis of metals by ICP OES. Despite the material showed to be very acid in view of the percentage of organic matter, its CEC was significant, showing potential for retention of metal ions. This characteristic was exploited by coupling a peat mini-column to a flow system based on the multicommutation approach for the in-line copper concentration prior to flame atomic absorption spectrometric determination. Cu(II) ions were adsorbed at pH 4.5 and eluted with 0.50 mol L(-1) HNO(3). The influence of chemical and hydrodynamic parameters, such as sample pH, buffer concentration, eluent type and concentration, sample flow-rate and preconcentration time were investigated. Under the optimized conditions, a linear response was observed between 16 and 100 mu g L(-1), with a detection limit estimated as 3 mu g L(-1) at the 99.7% confidence level and an enrichment factor of 16. The relative standard deviation was estimated as 3.3% (n = 20). The mini-column was used for at least 100 sampling cycles without significant variation in the analytical response. Recoveries from copper spiked to lake water or groundwater as well as concentrates used in hemodialysis were in the 97.3-111 % range. The results obtained for copper determination in these samples agreed with those achieved by graphite furnace atomic absorption spectrometry (GFAAS) at the 95% confidence level. (C) 2009 Elsevier B.V. All rights reserved.

Square wave adsorptive cathodic stripping voltarnmetry automated by sequential injection analysis - Potentialities and limitations exemplified by the determination of methyl parathion in water samples

This paper describes the development and evaluation of a sequential injection method to automate the determination of methyl parathion by square wave adsorptive cathodic stripping voltammetry exploiting the concept of monosegmented flow analysis to perform in-line sample conditioning and standard addition. Accumulation and stripping steps are made in the sample medium conditioned with 40 mmol L-1 Britton-Robinson buffer (pH 10) in 0.25 mol L-1 NaNO3. The homogenized mixture is injected at a flow rate of 10 mu Ls(-1) toward the flow cell, which is adapted to the capillary of a hanging drop mercury electrode. After a suitable deposition time, the flow is stopped and the potential is scanned from -0.3 to -1.0 V versus Ag/AgCl at frequency of 250 Hz and pulse height of 25 mV The linear dynamic range is observed for methyl parathion concentrations between 0.010 and 0.50 mgL(-1), with detection and quantification limits of 2 and 7 mu gL(-1), respectively. The sampling throughput is 25 h(-1) if the in line standard addition and sample conditioning protocols are followed, but this frequency can be increased up to 61 h(-1) if the sample is conditioned off-line and quantified using an external calibration curve. The method was applied for determination of methyl parathion in spiked water samples and the accuracy was evaluated either by comparison to high performance liquid chromatography with UV detection, or by the recovery percentages. Although no evidences of statistically significant differences were observed between the expected and obtained concentrations, because of the susceptibility of the method to interference by other pesticides (e.g., parathion, dichlorvos) and natural organic matter (e.g., fulvic and humic acids), isolation of the analyte may be required when more complex sample matrices are encountered. (C) 2007 Elsevier B.V. All rights reserved.

A New Insight on the Preparation of Stabilized Alpha-Nickel Hydroxide Nanoparticles

Nickel hydroxide can provide an outstanding cathode material in alkaline secondary batteries, however the progressive decrease of the charge capacity as a function of the number of oxidation/reduction cycles is a challenging problem to be solved. New improvements on the electrochemical properties of electrode materials can be achieved by exploiting the much better performance of alpha-nickel hydroxide. Such materials were obtained in a stable form by sol-gel method and characterized by thermogravimetric analyses, UV-Vis spectroscopy, X-ray diffractometry, scanning and transmission electron microscopy, cyclic voltammetry and electrochemical quartz crystal microbalance techniques. The results revealed not only the formation of the alpha-Ni(OH)(2) phase, but also a much better electrochemical reversibility and stability as compared with similar materials obtained by electrochemical precipitation method.

Evaluation of a thermally driven heat pump for solar heating and cooling applications

Exploiting solar energy technology for both heating and cooling purposes has the potential of meeting an appreciable portion of the energy demand in buildings throughout the year. By developing an integrated, multi-purpose solar energy system, that can operate all twelve months of the year, a high utilisation factor can be achieved which translates to more economical systems. However, there are still some techno-economic barriers to the general commercialisation and market penetration of such technologies. These are associated with high system and installation costs, significant system complexity, and lack of knowledge of system implementation and expected performance. A sorption heat pump module that can be integrated directly into a solar thermal collector has thus been developed in order to tackle the aforementioned market barriers. This has been designed for the development of cost-effective pre-engineered solar energy system kits that can provide both heating and cooling. This thesis summarises the characterisation studies of the operation of individual sorption modules, sorption module integrated solar collectors and a full solar heating and cooling system employing sorption module integrated collectors. Key performance indicators for the individual sorption modules showed cooling delivery for 6 hours at an average power of 40 W and a temperature lift of 21°C. Upon integration of the sorption modules into a solar collector, measured solar radiation energy to cooling energy conversion efficiencies (solar cooling COP) were between 0.10 and 0.25 with average cooling powers between 90 and 200 W/m2 collector aperture area. Further investigations of the sorption module integrated collectors implementation in a full solar heating and cooling system yielded electrical cooling COP ranging from 1.7 to 12.6 with an average of 10.6 for the test period. Additionally, simulations were performed to determine system energy and cost saving potential for various system sizes over a full year of operation for a 140 m2 single-family dwelling located in Madrid, Spain. Simulations yielded an annual solar fraction of 42% and potential cost savings of €386 per annum for a solar heating and cooling installation employing 20m2 of sorption integrated collectors.

Mapping Attribution Metadata to the Open Provenance Model

A description of a data item's provenance can be provided in dierent forms, and which form is best depends on the intended use of that description. Because of this, dierent communities have made quite distinct underlying assumptions in their models for electronically representing provenance. Approaches deriving from the library and archiving communities emphasise agreed vocabulary by which resources can be described and, in particular, assert their attribution (who created the resource, who modied it, where it was stored etc.) The primary purpose here is to provide intuitive metadata by which users can search for and index resources. In comparison, models for representing the results of scientific workflows have been developed with the assumption that each event or piece of intermediary data in a process' execution can and should be documented, to give a full account of the experiment undertaken. These occurrences are connected together by stating where one derived from, triggered, or otherwise caused another, and so form a causal graph. Mapping between the two approaches would be benecial in integrating systems and exploiting the strengths of each. In this paper, we specify such a mapping between Dublin Core and the Open Provenance Model. We further explain the technical issues to overcome and the rationale behind the approach, to allow the same method to apply in mapping similar schemes.

A Diagnostic Assessment Of Evolutionary Multiobjective Optimization For Water Resources Systems

This study contributes a rigorous diagnostic assessment of state-of-the-art multiobjective evolutionary algorithms (MOEAs) and highlights key advances that the water resources field can exploit to better discover the critical tradeoffs constraining our systems. This study provides the most comprehensive diagnostic assessment of MOEAs for water resources to date, exploiting more than 100,000 MOEA runs and trillions of design evaluations. The diagnostic assessment measures the effectiveness, efficiency, reliability, and controllability of ten benchmark MOEAs for a representative suite of water resources applications addressing rainfall-runoff calibration, long-term groundwater monitoring (LTM), and risk-based water supply portfolio planning. The suite of problems encompasses a range of challenging problem properties including (1) many-objective formulations with 4 or more objectives, (2) multi-modality (or false optima), (3) nonlinearity, (4) discreteness, (5) severe constraints, (6) stochastic objectives, and (7) non-separability (also called epistasis). The applications are representative of the dominant problem classes that have shaped the history of MOEAs in water resources and that will be dominant foci in the future. Recommendations are provided for which modern MOEAs should serve as tools and benchmarks in the future water resources literature.

Graphical models and point set matching

Point pattern matching in Euclidean Spaces is one of the fundamental problems in Pattern Recognition, having applications ranging from Computer Vision to Computational Chemistry. Whenever two complex patterns are encoded by two sets of points identifying their key features, their comparison can be seen as a point pattern matching problem. This work proposes a single approach to both exact and inexact point set matching in Euclidean Spaces of arbitrary dimension. In the case of exact matching, it is assured to find an optimal solution. For inexact matching (when noise is involved), experimental results confirm the validity of the approach. We start by regarding point pattern matching as a weighted graph matching problem. We then formulate the weighted graph matching problem as one of Bayesian inference in a probabilistic graphical model. By exploiting the existence of fundamental constraints in patterns embedded in Euclidean Spaces, we prove that for exact point set matching a simple graphical model is equivalent to the full model. It is possible to show that exact probabilistic inference in this simple model has polynomial time complexity with respect to the number of elements in the patterns to be matched. This gives rise to a technique that for exact matching provably finds a global optimum in polynomial time for any dimensionality of the underlying Euclidean Space. Computational experiments comparing this technique with well-known probabilistic relaxation labeling show significant performance improvement for inexact matching. The proposed approach is significantly more robust under augmentation of the sizes of the involved patterns. In the absence of noise, the results are always perfect.

Reuse-based test planning for core-based systems-on-chip

Electronic applications are currently developed under the reuse-based paradigm. This design methodology presents several advantages for the reduction of the design complexity, but brings new challenges for the test of the final circuit. The access to embedded cores, the integration of several test methods, and the optimization of the several cost factors are just a few of the several problems that need to be tackled during test planning. Within this context, this thesis proposes two test planning approaches that aim at reducing the test costs of a core-based system by means of hardware reuse and integration of the test planning into the design flow. The first approach considers systems whose cores are connected directly or through a functional bus. The test planning method consists of a comprehensive model that includes the definition of a multi-mode access mechanism inside the chip and a search algorithm for the exploration of the design space. The access mechanism model considers the reuse of functional connections as well as partial test buses, cores transparency, and other bypass modes. The test schedule is defined in conjunction with the access mechanism so that good trade-offs among the costs of pins, area, and test time can be sought. Furthermore, system power constraints are also considered. This expansion of concerns makes it possible an efficient, yet fine-grained search, in the huge design space of a reuse-based environment. Experimental results clearly show the variety of trade-offs that can be explored using the proposed model, and its effectiveness on optimizing the system test plan. Networks-on-chip are likely to become the main communication platform of systemson- chip. Thus, the second approach presented in this work proposes the reuse of the on-chip network for the test of the cores embedded into the systems that use this communication platform. A power-aware test scheduling algorithm aiming at exploiting the network characteristics to minimize the system test time is presented. The reuse strategy is evaluated considering a number of system configurations, such as different positions of the cores in the network, power consumption constraints and number of interfaces with the tester. Experimental results show that the parallelization capability of the network can be exploited to reduce the system test time, whereas area and pin overhead are strongly minimized. In this manuscript, the main problems of the test of core-based systems are firstly identified and the current solutions are discussed. The problems being tackled by this thesis are then listed and the test planning approaches are detailed. Both test planning techniques are validated for the recently released ITC’02 SoC Test Benchmarks, and further compared to other test planning methods of the literature. This comparison confirms the efficiency of the proposed methods.