Design of a balanced scorecard-type management system for a back-office department in a bank

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

Millennium BCP: Optimization of the branches closure process

Nowadays, a significant number of banks in Portugal are facing a bank-branch restructuring problem, and Millennium BCP is not an exception. The closure of branches is a major component of profit maximization through the reduction in operational and personnel costs but also an opportunity to approach the idea of “baking of future” and start thinking on the benefits of the digital era. This dissertation centers on a current high-impact organizational problem addressed by the company and consists in a proposal of optimization to the model that Millennium BCP uses. Even though measures of performance are usually considered the most important elements in evaluating the viability of branches, there is evidence suggesting that other general factors can be important to assess branch potential, such as the influx on branches, business dimensions of a branch and its location, which will be addressed in this project.

Screening of plants found in the State of Amazonas, Brazil for activity against Aedes aegypti larvae

Ethanol, methanol and water extracts representing mostly native plant species found in the Amazon region were prepared, respectively, by maceration, continuous liquid-solid extraction and infusion, followed by evaporation and freeze-drying. The freeze-dried extracts were tested for lethality toward Aedes aegypti larvae at test concentrations of 500 mg / mL. In general, methanol extracts exhibited the greatest larvicidal activity. The following 7 methanol extracts of (the parts of) the indicated plant species were the most active, resulting in 100% mortality in A. aegypti larvae: Tapura amazonica Poepp. (root), Piper aduncum L. (leaf and root), P. tuberculatum Jacq. (leaf, fruit and branch). and Simaba polyphylla (Cavalcante) W.W. Thomas (branch).

Decoloración de tintes por lacasa

Informe de investigación realizado a partir de una estancia en el Instituto de Biotecnología Medioambiental de la Universidad Tecnológica de Graz, Austria, entre Julio y Agosto de 2006. Se ha estudiado la decoloración de varios tintes sintéticos de estructuras químicas diferentes (Rojo Congo, Azul de Naftol, Indigo Carmín, Lanaset Gris, Azul de Nilo) por la enzima lacasa inmovilizada. La inmovilización de la enzima lacasa se llevó a cabo sobre esferas de alúmina (Al2O3) de 3 mm de diámetro debido a la resistecia mecánica de este material. La lacasa y la proteína inmovilizada se determinaron como la diferencia entre las concentraciones iniciales y residuales (obtenidas en los lavados). El porcentaje de lacasa inmovilizada fue del 68% y la cantidad de proteína inmovilizada por gramo de soporte de 5,6 mg. La enzima lacasa inmovilizada fue capaz de decolorar tintes de diferente estructura sin la necesidad de añadir mediadores redox, lo cual la hace una enzima muy adecuada para su aplicación en la decoloración de efluentes procedentes de la industria textil. De todas formas, son necesarios más estudios para optimizar la técnica de inmovilización así como el proceso de decoloración. Es interesante destacar que aunque hay muchos estudios basados en la oxidación de tintes textiles por lacasa la mayoría utilizan la enzima libre y hay muy poca información disponible sobre la aplicación de lacasas inmovilizadas, por lo que el presente estudio constituye una aportación muy interesante y novedosa.

Expression of Staphylococcus aureus clumping factor A in Lactococcus lactis subsp. cremoris using a new shuttle vector.

Staphylococcus aureus harbors redundant adhesins mediating tissue colonization and infection. To evaluate their intrinsic role outside of the staphylococcal background, a system was designed to express them in Lactococcus lactis subsp. cremoris 1363. This bacterium is devoid of virulence factors and has a known genetic background. A new Escherichia coli-L. lactis shuttle and expression vector was constructed for this purpose. First, the high-copy-number lactococcal plasmid pIL253 was equipped with the oriColE1 origin, generating pOri253 that could replicate in E. coli. Second, the lactococcal promoters P23 or P59 were inserted at one end of the pOri253 multicloning site. Gene expression was assessed by a luciferase reporter system. The plasmid carrying P23 (named pOri23) expressed luciferase constitutively at a level 10,000 times greater than did the P59-containing plasmid. Transcription was absent in E. coli. The staphylococcal clumping factor A (clfA) gene was cloned into pOri23 and used as a model system. Lactococci carrying pOri23-clfA produced an unaltered and functional 130-kDa ClfA protein attached to their cell walls. This was indicated both by the presence of the protein in Western blots of solubilized cell walls and by the ability of ClfA-positive lactococci to clump in the presence of plasma. ClfA-positive lactococci had clumping titers (titer of 4,112) similar to those of S. aureus Newman in soluble fibrinogen and bound equally well to solid-phase fibrinogen. These experiments provide a new way to study individual staphylococcal pathogenic factors and might complement both classical knockout mutagenesis and modern in vivo expression technology and signature tag mutagenesis.

Evaluation by ELISA of Anisakis simplex Larval Antigen Purified by Affinity Chromatography

In order to improve the specificity and sensitivity of the techniques for the human anisakidosis diagnosis, a method of affinity chromatography for the purification of species-specific antigens from Anisakis simplex third-stage larvae (L3) has been developed. New Zealand rabbits were immunized with A. simplex or Ascaris suum antigens or inoculated with Toxocara canis embryonated eggs. The IgG specific antibodies were isolated by means of protein A-Sepharose CL-4B beads columns. IgG anti-A. simplex and -A. suum were coupled to CNBr-activated Sepharose 4B. For the purification of the larval A. simplex antigens, these were loaded into the anti-A. simplex column and bound antigens eluted. For the elimination of the epitopes responsible for the cross-reactions, the A. simplex specific proteins were loaded into the anti-A. suum column. To prove the specificity of the isolated proteins, immunochemical analyses by polyacrylamide gel electrophoresis were carried out. Further, we studied the different responses by ELISA to the different antigenic preparations of A. simplex used, observing their capability of discriminating among the different antisera raised in rabbits (anti-A. simplex, anti-A. suum, anti-T. canis). The discriminatory capability with the anti-T. canis antisera was good using the larval A. simplex crude extract (CE) antigen. When larval A. simplex CE antigen was loaded into a CNBr-activated Sepharose 4B coupled to IgG from rabbits immunized with A. simplex CE antigen, its capability for discriminate between A. simplex and A. suum was improved, increasing in the case of T. canis. The best results were obtained using larval A. simplex CE antigen loaded into a CNBr-activated Sepharose 4B coupled to IgG from rabbits immunized with adult A. suum CE antigen. When we compared the different serum dilution and antigenic concentration, we selected the working serum dilution of 1/400 and 1 µg/ml of antigenic concentration.

Phylogenetic analysis of Biomphalaria tenagophila (Orbigny, 1835) (Mollusca: Gastropoda)

Mitochondrial DNA of Biomphalaria tenagophila, a mollusc intermediate host of Schistosoma mansoni in Brazil, was sequenced and characterised. The genome size found for B. tenagophila was 13,722 bp and contained 13 messenger RNAs, 22 transfer RNAs (tRNA) and two ribosomal RNAs (rRNA). In addition to sequencing, the mitochondrial DNA (mtDNA) genome organization of B. tenagophila was analysed based on its content and localization of both coding and non-coding regions, regions of gene overlap and tRNA nucleotide sequences. Sequences of protein, rRNA 12S and rRNA 16S nucleotides as well as gene organization were compared between B. tenagophila and Biomphalaria glabrata, as the latter is the most important S. mansoni intermediate host in Brazil. Differences between such species were observed regarding rRNA composition. The complete sequence of the B. tenagophila mitochondrial genome was deposited in GenBank (accession EF433576). Furthermore, phylogenetic relationships were estimated among 28 mollusc species, which had their complete mitochondrial genome deposited in GenBank, using the neighbour-joining method, maximum parsimony and maximum likelihood bootstrap. B. tenagophila was positioned at a branch close to B. glabrata and Pulmonata molluscs, collectively comprising a paraphyletic group, contrary to Opistobranchia, which was positioned at a single branch and constituted a monophyletic group.

Executive Order Number Forty Four, April 30, 1992

Rescinds Executive Order #46 and recommits efforts of the Executive branch and all department directors, member of governing boards and commissions, and other public officers affirmative action, discriminatory harrassment prevention, and cultural diversity.

Effective one-dimensional square well for two-dimensional quantum wires

The symmetrical two-dimensional quantum wire with two straight leads joined to an arbitrarily shaped interior cavity is studied with emphasis on the single-mode approximation. It is found that for both transmission and bound-state problems the solution is equivalent to that for an energy-dependent one-dimensional square well. Quantum wires with a circular bend, and with single and double right-angle bends, are examined as examples. We also indicate a possible way to detect bound states in a double bend based on the experimental setup of Wu et al.

Density modes in spherical 4He shells

We compute the density-fluctuation spectrum of spherical 4HeN shells adsorbed on the outer surface of Cn fullerenes. The excitation spectrum is obtained within the random-phase approximation, with particle-hole elementary excitations and effective interaction extracted from a density-functional description of the shell structure. The presence of one or two solid helium layers adjacent to the adsorbing fullerene is phenomenologically accounted for. We illustrate our results for a selection of numbers of adsorbed atoms on C20, C60, and C120. The hydrodynamical model that has proven successful to describe helium excitations in the bulk and in restricted geometries permits to perform a rather exhaustive analysis of various fluid spherical systems, namely, spheres, cavities, free bubbles, and bound shells of variable size.

Understanding quantum wires with circular bends

It is shown that propagation around a circular bend in a quantum wire is well approximated by a one¿dimensional problem with a square¿well potential replacing the bend. Simple analytic expressions are obtained for the transmission and bound states.

First-passage times for non-Markovian processes: Shot noise

The stochastic-trajectory-analysis technique is applied to the calculation of the mean¿first-passage-time statistics for processes driven by external shot noise. Explicit analytical expressions are obtained for free and bound processes.

Issue review : electronic document management system, or EDMS.

This issue review provides an overview of the electronic document management system, or EDMS, project, withing the judicial branch and courts.