Graduate School and University Center Archives Finding Aid - Record Group II: Centers and Institutes

This is part of the finding aid to the Graduate School and University Center (GSUC) Archives, City University of New York. Record Group II is material collected from research centers and institutes at the GSUC.

Graduate School and University Center Archives Finding Aid - Record Group I: Subjects

This is part of the finding aid to the Graduate School and University Center (GSUC) Archives, City University of New York. Record Group I lists the subjects covered in the collection.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.

Medical treatment and the good death: an ethical analysis of euthanasia, physician assisted suicide, and the right to die

Frequent advances in medical technologies have brought fonh many innovative treatments that allow medical teams to treal many patients with grave illness and serious trauma who would have died only a few years earlier. These changes have given some patients a second chance at life, but for others. these new treatments have merely prolonged their dying. Instead of dying relatively painlessly, these unfortunate patients often suffer from painful tenninal illnesses or exist in a comatose state that robs them of their dignity, since they cannot survive without advanced and often dehumanizing forms of treatment. Due to many of these concerns, euthanasia has become a central issue in medical ethics. Additionally, the debate is impacted by those who believe that patients have the right make choices about the method and timing of their deaths. Euthanasia is defined as a deliberate act by a physician to hasten the death of a patient, whether through active methods such as an injection of morphine, or through the withdrawal of advanced forms of medical care, for reasons of mercy because of a medical condition that they have. This study explores the question of whether euthanasia is an ethical practice and, as determined by ethical theories and professional codes of ethics, whether the physician is allowed to provide the means to give the patient a path to a "good death," rather than one filled with physical and mental suffering. The paper also asks if there is a relevant moral difference between the active and passive forms of euthanasia and seeks to define requirements to ensure fully voluntary decision making through an evaluation of the factors necessary to produce fully informed consent. Additionally, the proper treatments for patients who suffer from painful terminal illnesses, those who exist in persistent vegetative states and infants born with many diverse medical problems are examined. The ultimate conclusions that are reached in the paper are that euthanasia is an ethical practice in certain specific circumstances for patients who have a very low quality of life due to pain, illness or serious mental deficits as a result of irreversible coma, persistent vegetative state or end-stage clinical dementia. This is defended by the fact that the rights of the patient to determine his or her own fate and to autonomously decide the way that he or she dies are paramount to all other factors in decisions of life and death. There are also circumstances where decisions can be made by health care teams in conjunction with the family to hasten the deaths of incompetent patients when continued existence is clearly not in their best interest, as is the case of infants who are born with serious physical anomalies, who are either 'born dying' or have no prospect for a life that is of a reasonable quality. I have rejected the distinction between active and passive methods of euthanasia and have instead chosen to focus on the intentions of the treating physician and the voluntary nature of the patient's request. When applied in equivalent circumstances, active and passive methods of euthanasia produce the same effects, and if the choice to hasten the death of the patient is ethical, then the use of either method can be accepted. The use of active methods of euthanasia and active forms of withdrawal of life support, such as the removal of a respirator are both conscious decisions to end the life of the patient and both bring death within a short period of time. It is false to maintain a distinction that believes that one is active killing. whereas the other form only allows nature to take it's course. Both are conscious choices to hasten the patient's death and should be evaluated as such. Additionally, through an examination of the Hippocratic Oath, and statements made by the American Medical Association and the American College of physicians, it can be shown that the ideals that the medical profession maintains and the respect for the interests of the patient that it holds allows the physician to give aid to patients who wish to choose death as an alternative to continued suffering. The physician is also allowed to and in some circumstances, is morally required, to help dying patients whether through active or passive forms of euthanasia or through assisted suicide. Euthanasia is a difficult topic to think about, but in the end, we should support the choice that respects the patient's autonomous choice or clear best interest and the respect that we have for their dignity and personal worth.

Library Permanently Closed: See Google

magine if you will the near perfect statefunded program. Yes, I know, such words sound like an oxymoron, given the track record of both state and federally-funded programs, past, present and undoubtedly in the future. Indeed, such words sound almost mythological in light of recent attempts by the federal government to spend us out of the current recession with still doubtful results (so far, a record deficit). Yet, you’re an imaginative individual and can put aside petty political persiflage and visualize such a program. Not only does this program do precisely what it said it would do, it does it so surprisingly well that, as a taxpayer, you’re completely astonished and whole-heartedly impressed.

Uma metodologia multicritério construtivista de avaliação de alternativas para o planejamento de recursos hídricos de bacias hidrográficas

De acordo com a Lei Federal n° 9.433/97, que instituiu a Política e o Sistema Nacional de Gerenciamento dos Recursos Hídricos, o planejamento de recursos hídricos deve ter um enfoque sistêmico, de uso múltiplo das águas e descentralização das decisões, adotando a bacia hidrográfica como unidade de gestão. Dentro deste contexto, de descentralização de decisões e participação de grandes grupos no processo de tomada de decisão sobre a gestão dos recursos hídricos, os procedimentos clássicos de avaliação de alternativas para planejar o uso, controle e proteção das águas tornam-se limitados por sua impossibilidade de incluir outros critérios, além da minimização dos custos ou da maximização dos benefícios, e por não considerarem a subjetividade inerente ao processo de tomada de decisão, que corresponde ao sistema de valores dos atores envolvidos na tomada de decisões. Assim, este trabalho apresenta um Método Multicritério em Apoio à Decisão para o planejamento de recursos hídricos de bacias hidrográficas, que além de incorporar vários critérios na avaliação de alternativas, por adotar uma abordagem construtivista, propicia a participação de todos os atores envolvidos no processo de tomada de decisão. Para testar a aplicabilidade prática do método proposto foi escolhida a bacia hidrográfica do rio dos Sinos, localizada no estado do Rio Grande do Sul, sendo construído um Modelo Multicritério de Avaliação de Alternativas para o Plano da Bacia Hidrográfica do Rio dos Sinos. Os resultados do trabalho demonstraram a robustez da proposta que, ao possibilitar a geração e avaliação de alternativas para o Plano da Bacia Hidrográfica do Rio dos Sinos, a partir de diversos critérios, e levando em conta o sistema de valores dos decisores, se constituiu em um diferencial capaz de conferir maior legitimidade ao processo de tomada de decisões sobre o planejamento de recursos hídricos de bacias hidrográficas.

Desestatização da Rede Ferroviária Federal S/A: impactos sobre os recursos humanos da administração geral

o presente trabalho buscou descrever a solução adotada pela Rede Ferroviária Federal SI A-RFFSA, para redução de seu quadro de pessoal, com vistas à desestatização, escolhida esta corno via para sua sobrevivência em meio à grave crise econômico-financeira que vinha atravessando nos seus últimos anos como empresa controlada pelo governo federaL Procurou-se apresentar os impactos do Programa de Incentivo ao DesligamentoPID sobre o quadro de pessoal da Administração Geral-AG da RFFSA, fazendo-se as necessárias ligações para mostrar que o Programa de Desligamentos Incentivados da Rede Ferroviária Federal insere-se num quadro maior, seguindo as linhas de uma política pública determinada pelo governo federal para seus recursos humanos. Tanto no passado quanto no seu presente de transição, a RFFSA carece de definições consistentes sobre sua Missão e sua Filosofia Empresarial. A incongruência manifestada em sua cultura organizacional encontra nesta falta de bússola segura uma de suas causas. Como reflexo, as medidas desestatizantes na Rede Ferroviária Federal atingiram diretamente seu patrimônio humano. conforme busca-se descrever no presente trabalho. Por outro lado, a Rede Ferroviária Federal, mesmo concedendo à iniciativa privada o direito às operações da ferrovia, não perde seu caráter de empresa pública. Seu papel estratégico, por tratar-se de empresa do ramo de transporte, diretamente responsável pela circulação da produção nacional, amplia o compromisso social que deve caracterizar as empresas estatais. Diante da alteração de seu papeL o órgão da Rede Ferroviária Federal objeto deste estudo, a Administração Geral, será colocado frente à necessidade de também alterar sua estrutura organizacional. As novas relações com o poder público e com as concessionárias exigirão novas posturas a serem adotadas proativamente pela AG. Por isso, buscou-se fornecer melhor entendimento do quadro atual da RFFSA, a partir de seu passado, realçando as relações governo/ferrovia/empresários. Estas relações mostram a prevalecência dos interesses políticos sobre os aspectos técnicos, em muitas decisões da vida da ferrovia brasileira, com conseqüências prejudiciais ao desfecho da história ferroviária. Para se chegar ao entendimento dos caminhos tornados pela RFFSA na formulação de suas políticas, foi necessário levantar a política do governo federal para as empresas estatais, uma vez que estas foram perdendo gradativamente sua autonomia, ficando cada vez mais dependentes das restrições colocadas a nível federal.. Neste cenário maior, inserese o Programa de Desligamentos Incentivados implantado na AG da RFFSA Finalmente, buscou o presente trabalho levantar os desafios para a AG-RFFSA neste novo papel da Rede Ferroviária no cenário do transporte ferroviário concedido à iniciativa privada.

Antes de uma fundação, um conceito: um estudo sobre a disciplina jurídica das fundações de apoio na cooperação entre universidade e empresa

A presença crescente de pessoas jurídicas sob o regime de direito privado exercendo funções e atividades desempenhadas por pessoas jurídicas sob o regime de direito público tem apresentado desafios importantes para o estudo do Direito. A atuação das Fundações de Apoio no auxílio às Universidades Públicas Federais brasileiras são um exemplo disso. De um fenômeno espontâneo, timidamente regulado pela Lei n.º 8.958/1994, transformaram-se em um universo diversificado, em que se questiona a sua atuação junto à Instituições Federais de Ensino Superior. Ao desempenhar funções e atividades de auxílio à Universidades Federais, executam recursos públicos orçamentários e de Agências de Fomento. O questionamento da obrigatoriedade destas entidades realizarem prévio procedimento licitatório para contratação de terceiros quando estiverem auxiliando às Universidades Federais, a necessidade de cumprimento das regras de recolhimento de recursos público à Conta Única do Tesouro Nacional e a possibilidade de contratação de pessoal sem concurso público para trabalhar nas atividades de auxílio fazem parte das controvérsias enfrentadas no trabalho. Este trabalho procurou refletir sobre este fenômeno a partir de três frentes, uma proposta de análise do fenômeno fundacional, em que fundações de apoio são compreendidas como organizações de intermediação entre universidade e empresa, um levantamento das principais questões de compatibilização entre o regime de direito público e a atuação das fundações no contexto de auxílio ao desenvolvimento tecnológico das Universidades Públicas Federais e, por fim, o estudo de um caso em que há a compatibilização entre um modelo de fundação de apoio e o regime de direito público, o caso da Fundação de Apoio Institucional ao Desenvolvimento Científico e Tecnológico (FAI) da Universidade Federal de São Carlos (UFSCAR). Propomos um recorte específico para o estudo do auxílio realizado pelas fundações de apoio, caracterizando-as como organizações de intermediação da cooperação entre universidade e empresa, pois acreditamos que dado o conjunto significativo de transformações no papel desempenhado por universidades de pesquisa no âmbito da produção industrial, uma nova forma de leitura da intermediação é necessária para a compreensão do papel e da missão das Universidades de Pesquisa no desenvolvimento econômico do país. As universidades, além de formadoras da mão de obra especializada e da geração de conhecimento, passam a ser centros de geração de tecnologia, se aproximando da indústria, pois substituiria em parte os antigos departamentos de pesquisa e desenvolvimento de indústrias nacionais, ao mesmo tempo que também desempenharia o papel de fomentadora da geração de empresas de inovação, criando incubadoras de empresas e facilitando o intercâmbio entre seus professores e técnicos e profissionais da matriz industrial dos países. No Brasil, esta transformação se depara com um hiato importante. O país, por meio de suas Universidades Públicas é produtor de conhecimento, com um número significativo de publicações internacionais, contudo, não tem conseguido converter este conhecimento em aplicação industrial, em inovação tecnológica, medida pelo registro de patentes e pela transferência de tecnologia para a indústria. Em segundo lugar, a Lei de Inovação Tecnológica (Lei n.º 10.973/2004) como a primeira tentativa de estabelecer formas de reduzir este hiato, criou instrumentos jurídicos para permitir a cooperação entre Universidades Públicas Federais e Empresas Nacionais, posicionando as fundações de apoio como intermediadoras da relação entre Universidade e Empresa, ao lado dos Núcleos de Inovação. A Lei, por um lado, foi capaz de criar os instrumentos jurídicos para que a cooperação entre Universidade Pública e Empresa Nacional seja lícita, contudo, não enfrentou questões jurídicas importantes, além das questões sobre incidência do regime de direito público na intermediação realizada pelas fundações, também não definiu a função das fundações de apoio na captação e gestão de projetos de tecnologia, ou na gestão da propriedade intelectual e sua relação com os Núcleos de Inovação, ou a participação das fundações na formação de empresas de inovação por meio do processo de incubação de empresas nas Universidades Federais. Foi o Tribunal de Contas da União, como órgão de controle do emprego dos recursos públicos, o principal local de debate sobre as controvérsias jurídicas envolvendo a relação entre Fundações de Apoio e Universidades Federais. Em nosso entendimento, o Tribunal na Decisão n.º 655/2002, iniciou um processo de compatibilização entre a atuação das fundações de apoio e o regime de direito público, ao definir as fundações de apoio ligadas à projetos de desenvolvimento e transferência de tecnologia das Universidades Federais como organizações de intermediação, contudo, retrocedeu no Acórdão n.º 2.731/2008, ao definir de forma ampla o conceito de recurso público e recomendar aos Ministérios da Educação e da Ciência e Tecnologia que proibissem os repasses diretos de recursos de Agências de Fomento à Fundações de Apoio no âmbito federal. O caso da FAI é paradigmático, pois não apenas é um caso que reforça a nossa avaliação de que é possível haver compatibilidade entre o regime de direito público e a atuação das fundações apoio, como sinaliza para soluções de desenho institucional relevantes para a reflexão sobre a regulação das fundações de apoio no âmbito federal. A FAI como uma fundação voltada para a Universidade Federal de São Carlos é capaz de cumprir com as potencialidades de uma fundação almeja contribuir para o desenvolvimento tecnológico de Universidades Públicas Federais, uma vez que funciona como um “outro eu” da UFSCAR, um duplo positivo, executando atividades que se fossem feitas pela Universidade não teriam a mesma agilidade ou até não seriam realizadas.

Mutação constitucional do controle difuso no Brasil? Uma análise do papel do Senado Federal diante do art. 52, X, da Constituição

O objetivo do presente estudo é testar a plausibilidade da tese de que teria ocorrido mutação constitucional no sistema de controle de constitucionalidade no Brasil, especificamente quanto à competência conferida pela Constituição ao Senado Federal para suspender a eficácia de lei ou ato normativo declarado inconstitucional no controle difuso de constitucionalidade. Esse argumento foi empregado pelo Ministro Gilmar Mendes, do Supremo Tribunal Federal, no julgamento da Reclamação 4335-5/AC. Para analisar a consistência dessa tese, (a) discutiu-se as condições necessárias à plausibilidade de um argumento de mutação constitucional na ordem jurídica brasileira e (b) realizou-se uma análise empírica do papel do Senado Federal diante do art. 52, X da Constituição. Feita a coleta de dados, e aplicado o conceito de mutação constitucional sobre eles, concluiu-se que não merece prosperar a tese do Min. Gilmar Mendes em que defende o reconhecimento de “autêntica mutação constitucional” do art. 52, X da Constituição Federal. Como resultado, defende se não ser possível dar plausibilidade a esse tipo de argumentação apenas tendo por base jurisprudência, doutrina e argumentação tipicamente constitucional, necessitando de base empírica que o permita atribuir mais solidez e consistência a qualquer argumento de mutação constitucional na ordem jurídica brasileira.

Um estudo sobre a distribuição das transferências condicionais no setor de saúde no Brasil

Este trabalho estuda empiricamente alguns fatores determinantes das transferências intergovernamentais na área da saúde no Brasil. Em especial, discute e investiga a existência de uma relação positiva entre arrecadação municipal e o recebimento de recursos federais através do Sistema Único de Saúde (SUS) pelos municípios brasileiros. Como a legislação do SUS atrela gastos dos municípios obrigatórios em saúde a uma parcela de sua arrecadação, o fenômeno também pôde ser investigado à luz da teoria do flypaper effect. A análise empírica foi realizada através da estimação de modelos em painel com efeitos fixos. Para tanto, utilizou-se dados dos municípios brasileiros no período de 2002 a 2010, obtidos, em sua maioria, através do Departamento de Informações do SUS (DATASUS) e do Sistema de Informações sobre Orçamentos Públicos em Saúde (SIOPS), ambos do Ministério da Saúde. Os resultados apontam que a arrecadação municipal exerce, de fato, um impacto positivo e significante sobre o recebimento de transferências. Considerando o aspecto redistributivo, essa relação pode não ser desejável. Argumentamos sobre a possibilidade de que os recursos repassados pelo SUS não sejam suficientes, de modo que uma contrapartida financeira dos governos locais seria necessária para cobrir os custos dos programas e serviços em sua totalidade. Foram identificados também indícios de que pode haver fatores políticos influenciando o recebimento de recursos do SUS.

A motivação no serviço público federal: o caso da perícia criminal federal

O presente trabalho objetivou identificar se os Peritos Criminais Federais que exercem suas atividades na função fim da Perícia Criminal encontram-se motivados para exercerem suas atribuições, bem como procurar relacionar as causas de desmotivação. Para tanto foram feitas duas pesquisas: uma de ordem qualitativa, em que foram entrevistados 10 (dez) Peritos Criminais Federais, pertencentes a áreas de atuação e lotações diversas, com a finalidade de constatar o que os respectivos profissionais apontavam como questões motivadoras e desmotivadoras no trabalho pericial. Posteriormente foi elaborado um questionário composto de 46 (quarenta e seis) perguntas fechadas e 2 (duas) abertas, o qual foi respondido por dirigentes e por servidores lotados nas unidades descentralizadas da Criminalística da Polícia Federal, com o objetivo de mapear a motivação do Perito Criminal Federal. Dos resultados revelados na pesquisa de campo, concluiu-se que os Peritos Criminais Federais estão desmotivados segundo a ótica de todas as teorias motivacionais abordadas no presente estudo. A desmotivação ocorre devido a diversos fatores: alguns de ordem técnica, como a falta de um feedback sobre a efetividade dos trabalhos realizados ou a falta de igualdade na distribuição dos serviços; outros de ordem filosófica, como a falta de um espírito de corpo - uma identidade profissional - e uma autonomia relativizada; ou ainda de ordem organizacional, como a falta de reconhecimento, por parte do Departamento de Polícia Federal, da importância da Perícia Criminal Federal, ou problemas relacionados à forma de gestão baseada na hierarquia e disciplina. Todavia, o problema mais nocivo - e que, portanto, deve ser tratado urgentemente - é o clima organizacional contaminado por disputas entre classes, que está promovendo um clima de inimizade e desmotivação, desfavorecendo o crescimento da Criminalística.

Uncertainty of aid inflows and the growth relationship

This paper contributes to the literature on aid and economic growth. We posit that it is not the levei of aid flows per se but the stability of such flows that determines the impact of aid on economic growth. Three measures of aid instability are employed. One is a simple deviation from trend, and measures overall instability. The other measures are based on auto-regressive estimates to capture deviations from an expected trend. These measures are intended to proxy for uncertainty in aid receipts. We posit that such uncertainty will influence the relationship between aid and investment and how recipient governments respond to aid, and will therefore affect how aid impacts on growth. We estimate a standard cross-country growth regression including the leveI of aid, and find aid to be insignificant (in line with other results in the literature). We then introduce measures of instability. Aid remains insignificant when we account for overall instability. However, when we account for uncertainty (which is negative and significant), we find that aid has a significant positive effect on growth. We conduct stability tests that show that the significance of aid is largely due to its effect on the volume of investment. The finding that uncertainty of aid receipts reduces the effectiveness of aid is robust. When we control for this, aid appears to have a significant positive influence on growth. When the regression is estimated for the sub-sample of African countries these findings hold, although the effectiveness of aid appears weaker than for the full sample.

Bancos comunitários de desenvolvimento como instrumento de políticas públicas: o caso do Banco Cidade de Deus

O objetivo dessa dissertação foi investigar os desafios da utilização dos Bancos Comunitários de Desenvolvimento (BCDs) como política pública. Segundo a Rede Brasileira de Bancos Comunitários estes podem ser definidos como serviços financeiros solidários, de natureza associativa e comunitária, voltados para a geração de trabalho e renda na perspectiva de reorganização das economias locais por meio da constituição de redes de economia solidária. Desde o surgimento da primeira experiência de banco comunitário, em 1998 em Fortelza/CE, até o presente momento os BCDs foram replicados em mais de 100 localidades. Pela singularidade em lidar com a concessão de microcrédito e por conseguir uma capilaridade junto as populações em situação de pobreza ou extrema pobreza, os BCDs despontaram como alternativas a algumas políticas públicas do microcrédito tradicional e tem recebido apoio do governo federal para replicação de novas experiências e consolidação das já existentes. Além disso, os governos estaduais e municipais também vem adotando políticas de replicação dos bancos comunitários e em alguns casos, como é o estudo de caso desta investigação, a iniciativa para a constituição dos BCDs tem partido das prefeituras. A pergunta de pesquisa que norteia este trabalho foi analisada por meio de uma abordagem qualitativa, com a utilização de entrevistas e observação participante junto ao Banco Comunitário Cidade de Deus, situado na cidade de Rio de Janeiro/RJ. A pesquisa de campo abrangeu os meses de maio a agosto do corrente e ano e os resultados apontam para existência de três dimensões de desafios aos processos de instrumentalização dos BCDs como políticas públicas, quais sejam: eficiência técnica, sustentabilidade financeira e conflitos políticos internos.

Guia para representação de coleção viva temática de plantas medicinais em jardins botânicos

O cenário mundial que foi se desenhando na segunda metade do século XX, relacionado às questões do ambiente e cujos reflexos se fizeram sentir no estado das espécies vivas, despertou as autoridades a pensarem em ações estratégicas garantidoras da vida. Dessa preocupação emergiu o compromisso assumido por jardins botânicos, voltado para o desenvolvimento de programas de conservação da diversidade vegetal e educação ambiental, capazes de promover mudanças na forma de pensar as questões relacionadas com o ambiente. As coleções vivas em jardins botânicos se colocam como instrumentos e cenário para trabalhar questões ambientais, promovendo debates e discussões sobre questões que afetam a vida. Neste sentido, a coleção medicinal, por sua constituição, facilita o trabalho construtivo, as articulações e conexões necessárias para despertar interesse do público através do reconhecimento dos seus significados da vida cotidiana. A experiência na condução da coleção, a observação ostensiva e o desenvolvimento de atividades evidenciaram o potencial da coleção medicinal como lugar de experiência, que permite trabalhar com uma diversidade de grupos: o público em geral, grupos comunitários, de saber popular, comunidade científica na área da medicina, da farmácia, da divulgação científica, da educação ambiental, da etnobotânica e da biologia. Assim, um guia contemplando os itens que facilitam o trabalho do curador é uma maneira de estimular a representação dessa tipologia de coleção em jardins botânicos e, por conseguinte, permitir que seu jardim desempenhe o papel de interlocutor entre ciência e sociedade e venha a ser protagonista da mudança para uma nova forma de relação com os recursos naturais.