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).

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.

A simple optimised search heuristic for the job-shop scheduling problem

This paper presents a simple Optimised Search Heuristic for the Job Shop Scheduling problem that combines a GRASP heuristic with a branch-and-bound algorithm. The proposed method is compared with similar approaches and leads to better results in terms of solution quality and computing times.

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.

Läpinäkyvyys venäläisissä pörssiyhtiöissä - yhtiöiden Internetissä julkaisema informaatio

Tutkielman ensisijaisena tavoitteena oli selvittää, miten corporate governance eli hyvä hallintotapa on kehittynyt Venäjällä. Tutkimuksessa keskityttiin eritoten yritystoiminnan läpinäkyvyyteen ja siihen, minkälaista informaatiota yritysten pitäisi vuosittain julkaista. Tutkimuksessa tutkittiin minkälaista informaatiota Moskovan pörssiin listautuneet yritykset julkaisevat. Tavoitteena oli tutkia, julkaisevatko yritykset informaatiota OECD:n corporate governancve suositusten mukaisesti. Tutkimusmenetelmänä käytettiin havaintotutkimusta. Tutkimuksessa saatiin selkeä kuvasiitä, mitä corporate governance tarkoittaa ja siitä miten se on kehittynyt Venäjällä. Tutkimuksen aineisto kerättiin Moskovan pörssiin listautuneista yrityksistä, koska Venäjä tutkimuskohteena on mielenkiintoinen ja koska corporate governance teema on vasta viime vuosina tullut ajankohtaiseksi venäläisissä yrityksissä. Tutkimuksessa saadut tulokset osoittavat, että yritykset julkaisevat informaatiota melko hajanaisesti ja pörssi joutuu edelleen tyytymään puutteelliseen informaatioon. Venäjän yritystoiminnasta puuttuu vakaus, ja instituutiot eivät vielätue corporate governance -suositusten toimeenpanemista ainakaan kovin hyvin. Myös toimiala ja yrityksen omistusrakenne vaikuttavat jonkin verran siihen, minkälaista tietoa yritys tuottaa. Eri toimialojen välillä on huomattaviakin eroja sen suhteen, miten kattavasti niistä on saatavissa informaatiota. Omistusrakenne on tämän tutkimuksen yrityksissä erilainen kuin Venäjällä yleensä ja ulkomaista omistusta on paljon.

An efficient solver for weighted Max-SAT

We present a new branch and bound algorithm for weighted Max-SAT, called Lazy which incorporates original data structures and inference rules, as well as a lower bound of better quality. We provide experimental evidence that our solver is very competitive and outperforms some of the best performing Max-SAT and weighted Max-SAT solvers on a wide range of instances.

Sähkömarkkinat mediassa

Työssä oli tarkoituksena selvittää sähkömarkkinoiden ja median suhdetta. Eri lehtien arkistoista kerättiin sähkömarkkinoihin liittyviä juttuja vuodesta 1995 lähtien. Niitä verrattiin sähkömarkkinoiden tapahtumiin. Päällimmäisenä havaintona oli, että media reagoi voimakkaasti sähkömarkkinoiden tapahtumiin. Kun sähkön hinta nousee, myös artikkeleiden lukumäärä lisääntyy. Samalla asenteet markkinoita kohtaan muuttuvat positiivisista negatiivisiksi. Toisaalta markkinoilla on nähtävissä puolustajat ja vastustajat. Markkinoita puolustavat energia-alan ammattilaiset, jotka pitävät vapaata kauppaa hyvänä. Vastustajia ovat tavalliset sähkön kuluttajat.

Globaalien toimijoiden kilpailuseuranta-analyysi paperipigmenttialalla

Työssä tarkastellaan paperipigmenttialaa ja globaaleja paperipigmenttitoimittajia. Työn tarkoituksena on selvittää merkittävät paperipigmenttivalmistajat ja heidän roolinsa kyseisellä toimialalla. Tärkeimpiä paperipigmenttejä ovat kalsiumkarbonaattipitoiset pigmentit, kaoliini ja talkki. Paperipigmenttien toimittajia on ympäri maailmaa. Toimialan kilpailu on kasvanut viimeisen kymmenen vuoden aikana ja globaalien toimittajien osuus on ollut merkittävää kilpailun kehityksessä. Paperiteollisuus on suurin paperimineraalien kuluttaja. Mineraalipohjaisilla paperipigmenteillä voidaan parantaa paperin laadullisia ominaisuuksia sekä vähentää tuotantokustannuksia. Paperipigmenttien kysyntä on riippuvainen paperiteollisuuden tarpeista. Paperipigmenttialan kehitys on vahvasti sidoksissa paperiteollisuuden rakenteen muutoksiin. Paperipigmenttialan sisäisessä kilpailussa globaalit yritykset ovat suunnan näyttäjiä. Kilpailua käydään sekä paikallisella että kansainvälisellä tasolla. Globaaleilla yrityksillä on suuremmat voimavarat vastata paperiteollisuuden tuomiin haasteisiin. Kilpailua käydään niin asiakkaista kuin raaka-ainelähteistä. Yrityksiltä vaaditaan entistä enemmän tiettyjä ominaisuuksia, kuten raaka-aineita, rahoituksellista voimaa ja osaamista pärjätäkseen globaalissa toimintaympäristössä.

Solução de problemas de planejamento florestal com restrições de inteireza utilizando busca tabu

Este trabalho teve como objetivos desenvolver e testar um algoritmo com base na metaheurística busca tabu (BT), para a solução de problemas de gerenciamento florestal com restrições de inteireza. Os problemas avaliados tinham entre 93 e 423 variáveis de decisão, sujeitos às restrições de singularidade, produção mínima e produção máxima periódicas. Todos os problemas tiveram como objetivo a maximização do valor presente líquido. O algoritmo para implementação da BT foi codificado em ambiente delphi 5.0 e os testes foram efetuados em um microcomputador AMD K6II 500 MHZ, com memória RAM de 64 MB e disco rígido de 15GB. O desempenho da BT foi avaliado de acordo com as medidas de eficácia e eficiência. Os diferentes valores ou categorias dos parâmetros da BT foram testados e comparados quanto aos seus efeitos na eficácia do algoritmo. A seleção da melhor configuração de parâmetros foi feita com o teste L&O, a 1% de probabilidade, e as análises através de estatísticas descritivas. A melhor configuração de parâmetros propiciou à BT eficácia média de 95,97%, valor mínimo igual a 90,39% e valor máximo igual a 98,84%, com um coeficiente de variação de 2,48% do ótimo matemático. Para o problema de maior porte, a eficiência da BT foi duas vezes superior à eficiência do algoritmo exato branch and bound, apresentando-se como uma abordagem muito atrativa para solução de importantes problemas de gerenciamento florestal.

Metaheurística algoritmo genético para solução de problemas de planejamento florestal com restrições de integridade

Os objetivos deste trabalho foram desenvolver e testar um algoritmo genético (AG) para a solução de problemas de gerenciamento florestal com restrições de integridade. O AG foi testado em quatro problemas, contendo entre 93 e 423 variáveis de decisão, sujeitos às restrições de singularidade, produção mínima e produção máxima, periodicamente. Todos os problemas tiveram como objetivo a maximização do valor presente líquido. O AG foi codificado em ambiente delphi 5.0 e os testes foram realizados em um microcomputador AMD K6II 500 MHZ, com memória RAM de 64 MB e disco rígido de 15GB. O desempenho do AG foi avaliado de acordo com as medidas de eficácia e eficiência. Os valores ou categorias dos parâmetros do AG foram testados e comparados quanto aos seus efeitos na eficácia do algoritmo. A seleção da melhor configuração de parâmetros foi feita com o teste L&O, a 1% de probabilidade, e as análises foram realizadas através de estatísticas descritivas. A melhor configuração de parâmetros propiciou ao AG eficácia média de 94,28%, valor mínimo de 90,01%, valor máximo de 98,48%, com coeficiente de variação de 2,08% do ótimo matemático, obtido pelo algoritmo exato branch and bound. Para o problema de maior porte, a eficiência do AG foi cinco vezes superior à eficiência do algoritmo exato branch and bound. O AG apresentou-se como uma abordagem bastante atrativa para solução de importantes problemas de gerenciamento florestal.

Metaheurística Simulated Annealing para solução de problemas de planejamento florestal com restrições de integridade

Os objetivos deste trabalho foram desenvolver e testar a metaheurística SA para solução de problemas de gerenciamento florestal com restrições de integridade. O algoritmo SA desenvolvido foi testado em quatro problemas, contendo entre 93 e 423 variáveis de decisão, sujeitos às restrições de singularidade, produção mínima e produção máxima, periodicamente. Todos os problemas tiveram como objetivo a maximização do valor presente líquido. O algoritmo SA foi codificado em liguagem delphi 5.0 e os testes foram efetuados em um microcomputador AMD K6II 500 MHZ, com memória RAM de 64 MB e disco rígido de 15GB. O desempenho da SA foi avaliado de acordo com as medidas de eficácia e eficiência. Os diferentes valores ou categorias dos parâmetros da SA foram testados e comparados quanto aos seus efeitos na eficácia do algoritmo. A seleção da melhor configuração de parâmetros foi feita com o teste L&O, a 1% de probabilidade, e as análises foram realizadas através de estatísticas descritivas. A melhor configuração de parâmetros propiciou à SA eficácia média de 95,36%, valor mínimo de 83,66%, valor máximo de 100% e coeficiente de variação igual a 3,18% do ótimo matemático obtido pelo algoritmo exato branch and bound. Para o problema de maior porte, a eficiência da SA foi dez vezes superior à eficiência do algoritmo exato branch and bound. O bom desempenho desta heurística reforçou as conclusões, tiradas em outros trabalhos, do seu enorme potencial para resolver importantes problemas de gerenciamento florestal de difícil solução pelos instrumentos computacionais da atualidade.

Marketing plan for a new service concept: case Taksipalvelu MPS Oy

Markkinointisuunnitelmatutkimukset koostuvat pääosin tuotantoalalle tai suurille yrityksille tehdyistä markkinointisuunitelmista. Vaikuttaa siltä, että pienet yritykset tekevät suunnitelmansa ilman nimenomaisesti heille suunniteltua mallia, jos tekevät suunnitelmaa ollenkaan. Kuten sanottu, sovellukset palveluyrityksille ja pk-yrityksille puuttuvat markkinointisuunnitelmiin kohdistuvasta tutkimuksesta, mikä lisää tämän tutkimuksen arvoa keskittyen juuri kyseisiin markkinointisuunnitelman osa-alueisiin. Tutkimusta sovelletaan uuteen palvelukonseptiin, jota case-yritys Taksipalvelu MPS Oy on lanseeraamassa. Palvelu on kohdistettu venäläisille matkailijoille sekä Lappeenrannan alueella eläville venäläisille, ja se perustuu ennen kaikkea korkeaan laatuun. Tutkimus on tärkeä, sillä taksiala on hyvin säännelty, mutta säännöstelyn piirissä on todennäköisesti paljon potentiaalia palveluiden differentaatioon. Segmentointi ja palveluiden kohdistus tiettyihin asiakasryhmiin on taksialalla myös hyvin minimaalista. Tutkimalla kohdistetun palvelun kysyntää ja arvoa saadaan selville olisiko tällainen toiminta kannattavaa vai ei. Venäläisten asiakkaiden määrä on kasvanut Lappeenrannan alueella paljon, minkä potentiaalia ei ole ehkä vielä täysin hyödynnetty. Tutkimuksen tarkoituksena on luoda hyödyllinen markkinointisuunnitelma case-yritykselle kiinnittäen erityisesti huomiota toimialaan ja kohdeasiakasryhmään. Tarkoituksena on antaa suuntaviivoja kuinka lähestyä kohdeasiakkaita ja kuinka markkinoida palvelua oikein. Tavoitteena on myös selvittää onko valitulla asiakassegmentillä kysyntää vai tulisiko kohdistaminen tehdä toisia määritteitä käyttäen.