A subset-oriented algorithm for minimizing the number of steps required for synthesis of cyclic-peptide libraries

Libraries of cyclic peptides are being synthesized using combinatorial chemistry for high throughput screening in the drug discovery process. This paper describes the min_syn_steps.cpp program (available at http://www.imb.uq.edu.au/groups/smythe/tran), which after inputting a list of cyclic peptides to be synthesized, removes cyclic redundant sequences and calculates synthetic strategies which minimize the synthetic steps as well as the reagent requirements. The synthetic steps and reagent requirements could be minimized by finding common subsets within the sequences for block synthesis. Since a brute-force approach to search for optimum synthetic strategies is impractically large, a subset-orientated approach is utilized here to limit the size of the search. (C) 2002 Elsevier Science Ltd. All rights reserved.

The use of stochastic dynamic programming in optimal landscape reconstruction for metapopulations

A decision theory framework can be a powerful technique to derive optimal management decisions for endangered species. We built a spatially realistic stochastic metapopulation model for the Mount Lofty Ranges Southern Emu-wren (Stipiturus malachurus intermedius), a critically endangered Australian bird. Using diserete-time Markov,chains to describe the dynamics of a metapopulation and stochastic dynamic programming (SDP) to find optimal solutions, we evaluated the following different management decisions: enlarging existing patches, linking patches via corridors, and creating a new patch. This is the first application of SDP to optimal landscape reconstruction and one of the few times that landscape reconstruction dynamics have been integrated with population dynamics. SDP is a powerful tool that has advantages over standard Monte Carlo simulation methods because it can give the exact optimal strategy for every landscape configuration (combination of patch areas and presence of corridors) and pattern of metapopulation occupancy, as well as a trajectory of strategies. It is useful when a sequence of management actions can be performed over a given time horizon, as is the case for many endangered species recovery programs, where only fixed amounts of resources are available in each time step. However, it is generally limited by computational constraints to rather small networks of patches. The model shows that optimal metapopulation, management decisions depend greatly on the current state of the metapopulation,. and there is no strategy that is universally the best. The extinction probability over 30 yr for the optimal state-dependent management actions is 50-80% better than no management, whereas the best fixed state-independent sets of strategies are only 30% better than no management. This highlights the advantages of using a decision theory tool to investigate conservation strategies for metapopulations. It is clear from these results that the sequence of management actions is critical, and this can only be effectively derived from stochastic dynamic programming. The model illustrates the underlying difficulty in determining simple rules of thumb for the sequence of management actions for a metapopulation. This use of a decision theory framework extends the capacity of population viability analysis (PVA) to manage threatened species.

Plano de implementa????o do projeto de desenvolvimento de capacidade de governan??a

Desde a d??cada de 1990, o Governo Federal brasileiro vem implementando uma agenda ambiciosa de reformas do Estado, centradas na redu????o da pobreza e na melhoria da efici??ncia dos servi??os p??blicos. As principais prioridades, conforme previstas no Plano Plurianual (PPA) para o per??odo 2003-2007, s??o as seguintes: inclus??o social e redu????o da desigualdade; crescimento econ??mico com gera????o de emprego; distribui????o de renda e respeito ao meio ambiente; promo????o e amplia????o dos direitos de cidadania; e fortalecimento da democracia. No in??cio de 2006, o Governo criou a Pol??tica Nacional de Desenvolvimento de Pessoal (Decreto 5.707), com o objetivo de melhorar e aumentar a efici??ncia e a efic??cia na presta????o de servi??os p??blicos. No marco dessa pol??tica recente, as escolas de administra????o p??blica desempenham um papel fundamental na identifica????o das compet??ncias que precisam ser desenvolvidas nas institui????es do governo, bem como na implementa????o de pol??ticas de capacita????o para os servidores p??blicos, diretamente e/ou em parceria com escolas de governo nos n??veis federal, estadual ou local. O Canad?? tamb??m est?? criando uma estrutura para levantar as compet??ncias necess??rias para os servidores p??blicos e desenvolv??-las como um componente da Renova????o do Servi??o P??blico em todo o governo. Como institui????es l??deres no desenvolvimento de compet??ncias de servidores p??blicos, a Canada School of Public Service (CSPS) e a Escola Nacional de Administra????o P??blica (ENAP) firmaram uma parceria para implementar o Projeto de Desenvolvimento de Capacidade de Governan??a no Brasil. A finalidade do Projeto ?? melhorar a capacidade de servidores p??blicos federais, estaduais e municipais do Brasil para desenvolver e implementar programas de capacita????o e gerenciar pol??ticas p??blicas descentralizadas. Espera-se que essa parceria e o resultante compartilhamento de experi??ncias em capacita????o para governan??a efetiva contribuam para a redu????o da pobreza e das desigualdades no Brasil, por meio do desenvolvimento de compet??ncias de servidores na presta????o de servi??os p??blicos eficazes e eficientes, voltados para o cidad??o. O Projeto re??ne, al??m das duas principais Escolas de Governo no Canad?? e no Brasil, seis Escolas Brasileiras de Administra????o P??blica regionais e duas renomadas Institui????es Acad??micas Canadenses ??? a Queen???s University e a Western Ontario University. O Minist??rio do Desenvolvimento Social e Combate ?? Fome (MDS) e tr??s Secretarias Especiais do Governo Federal ??? Ra??a (SEPPIR), Direitos Humanos (SEDH) e Pol??ticas para as Mulheres (SPM) ??? tamb??m se envolver??o nas atividades de compartilhamento de conhecimentos com o Human Resources and Skills Development Canada (HRSDC) e a Canada Public Service Agency (CPSA). A CIDA fornecer?? CND$1.700.000 por meio do Programa Brasil-Canad?? de Interc??mbio de Conhecimentos para a Promo????o da Equidade (PIPE). A contribui????o da ENAP ser?? de CND$1.069.707 em esp??cie. A CSPS contribuir?? com cursos, al??m de conhecimentos e suporte t??cnicos, avaliados em CND$1.000.000. Aproveitando a parceria entre a CSPS e a ENAP, que resultou na transfer??ncia e na adapta????o bem sucedidas de cursos e metodologias canadenses, o novo projeto extrapola o n??cleo do servi??o p??blico em Bras??lia, alcan??ando escolas de governo em regi??es brasileiras em situa????o de desvantagem. ?? semelhan??a do papel da CSPS no primeiro projeto, a ENAP fortalecer?? a capacidade das escolas parceiras regionais para capacitar servidores p??blicos envolvidos na presta????o de servi??os aos brasileiros. O interc??mbio estruturado entre Minist??rios dos Governos canadense e brasileiro tamb??m aplicar?? a aprendizagem mais diretamente a quest??es de pol??ticas e programas sociais do Brasil. O desafio assumido neste Projeto ?? a adapta????o de conhecimentos e aprendizagem, com vistas a melhorar a implementa????o de pol??ticas e programas sociais. Para tanto, a CSPS e a ENAP introduzir??o novos cursos nos curr??culos das escolas parceiras e incorporar??o novos m??todos e tecnologias de aprendizagem como, por exemplo, comunidades de pr??tica virtuais e um componente de tutoria (mentoring) envolvendo o Human Resources and Skills Development Canada e o Minist??rio do Desenvolvimento Social e Combate ?? Fome do Brasil. Seis institui????es da Rede Nacional de Escolas de Governo do Brasil e do Programa de Parceria da ENAP foram selecionadas e convidadas a se unir ?? CSPS e ?? ENAP nesse novo Projeto: a Universidade Federal do Par?? (UFPA), de Bel??m (estado do Par?? ??? regi??o Norte); a Funda????o Joaquim Nabuco (FUNDAJ), de Recife (Pernambuco ??? Nordeste); a Universidade Corporativa do Servi??o P??blico / Secretaria de Administra????o do Estado da Bahia (UCS/SAEB), Salvador (Bahia ??? Nordeste); a Escola de Governo do Mato Grosso do Sul (ESCOLAGOV), Campo Grande (estado do Mato Grosso do Sul ??? Centro-Oeste); a Escola Nacional de Ci??ncias Estat??sticas / Instituto Brasileiro de Geografia e Estat??stica (ENCE/IBGE), Rio de Janeiro (estado do Rio de Janeiro ??? Sudeste); e o Instituto Municipal de Administra????o P??blica (IMAP) de Curitiba (Paran?? ??? Sul). Essas escolas de refer??ncia foram escolhidas segundo sua capacidade de trabalhar como p??los de pr??ticas inovadoras em pol??ticas p??blicas e disseminar os benef??cios do Projeto para outras escolas em suas regi??es, por meio da Rede Nacional coordenada pela ENAP. O objetivo dessa parceria ?? fortalecer as escolas de governo locais, para que estas desenvolvam, por meio de eventos de aprendizagem, compet??ncias em servidores p??blicos, a fim de aumentar a capacidade do governo na implementa????o e gest??o de pol??ticas p??blicas. O Plano de Implementa????o do Projeto (PIP) descreve o trabalho a ser realizado por essas institui????es nos pr??ximos 30 meses, ao tempo em que serve de guia para os Parceiros do Projeto no que se refere ??s a????es e aos recursos necess??rios para a obten????o dos resultados acordados. Na medida em que o Projeto estiver em andamento e os parceiros iniciarem um interc??mbio produtivo de conhecimentos, o Plano de Trabalho Anual ser?? atualizado e revisto por meio de reuni??es anuais de avalia????o e encontros do Comit?? Diretor do Projeto, com vistas a assegurar que os resultados descritos no PIP sejam alcan??ados com sucesso

An SPSS R-Menu for Ordinal Factor Analysis

Exploratory factor analysis is a widely used statistical technique in the social sciences. It attempts to identify underlying factors that explain the pattern of correlations within a set of observed variables. A statistical software package is needed to perform the calcula- tions. However, there are some limitations with popular statistical software packages, like SPSS. The R programming language is a free software package for statistical and graphical computing. It o ers many packages written by contributors from all over the world and programming resources that allow it to overcome the dialog limitations of SPSS. This paper o ers an SPSS dialog written in the R programming language with the help of some packages, so that researchers with little or no knowledge in programming, or those who are accustomed to making their calculations based on statistical dialogs, have more options when applying factor analysis to their data and hence can adopt a better approach when dealing with ordinal, Likert-type data.

Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

IDEA MANAGEMENT SYSTEM - AN ESSENTIAL COMPONENT IN THE CONTINUOUS IMPROVEMENT OF QUALITY AND INNOVATION

It is known the power of ideas is tremendous. But there are employees in many companies who have good ideas but not put them into practice. On the other hand, there are many others who have good ideas and are encouraged to contribute their ideas for innovation in the company. This study attempts to identify factors that contribute to success in managing ideas and consequent business innovation. The method used was the case study applied to two companies. During the investigation, factors considered essential for the success of an idea management program were identified, of which we highlight, among others, evidences the results, involvement of the top management, establishment of goals and objectives; recognition; dissemination of good results. Companies with these implemented systems, capture the best ideas from their collaborators and apply them internally. This study intends to contribute to business innovation in enterprises through creation and idea management, mainly through collecting the best ideas of their own employees. The results of this study can be used to help improving deployed suggestions systems, as well as, all managers who wish to implement suggestions systems/ideas management systems.

Projecto timecloud: software de gestão de tempo laboral numa plataforma cloud

O presente projecto tem como objectivo a disponibilização de uma plataforma de serviços para gestão e contabilização de tempo remunerável, através da marcação de horas de trabalho, férias e faltas (com ou sem justificação). Pretende-se a disponibilização de relatórios com base nesta informação e a possibilidade de análise automática dos dados, como por exemplo excesso de faltas e férias sobrepostas de trabalhadores. A ênfase do projecto está na disponibilização de uma arquitectura que facilite a inclusão destas funcionalidades. O projecto está implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solução sob o paradigma de Software as a Service, com garantia de disponibilidade e replicação de dados. A plataforma foi escolhida a partir da análise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as características de cada plataforma, nomeadamente os modelos de programação, os modelos de dados disponibilizados, os serviços existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas características à data de iniciação do presente projecto. A solução está estruturada em camadas, com as seguintes componentes: interface da plataforma, lógica de negócio e lógica de acesso a dados. A interface disponibilizada está concebida com observação dos princípios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autorização, suportada em Spring-Security, sendo a autenticação delegada para os serviços Google Acounts. De forma a permitir o desacoplamento entre as várias camadas foi utilizado o padrão Dependency Injection. A utilização deste padrão reduz a dependência das tecnologias utilizadas nas diversas camadas. Foi implementado um protótipo, para a demonstração do trabalho realizado, que permite interagir com as funcionalidades do serviço implementadas, via pedidos AJAX. Neste protótipo tirou-se partido de várias bibliotecas javascript e padrões que simplificaram a sua realização, tal como o model-view-viewmodel através de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ágil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementação do serviço foram realizados testes unitários, sendo também feita previamente a análise da funcionalidade e posteriormente produzida a documentação recorrendo a diagramas UML.