Laws of nature and laws of ecology

We address the question of whether there are laws in ecology. Although there has been a great deal of recent interest in this topic, much of the relevant debate has been conducted under some common misconceptions about what laws of nature are. Once these misconceptions are cleared up, the case for ecology having laws is much stronger. Indeed, we suggest that the case for laws in ecology is no better or worse than the case for laws in physics.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

SPAnDX: a process-based population dynamics model to explore management and climate change impacts on an invasive alien plant, Acacia nilotica

This paper describes a process-based metapopulation dynamics and phenology model of prickly acacia, Acacia nilotica, an invasive alien species in Australia. The model, SPAnDX, describes the interactions between riparian and upland sub-populations of A. nilotica within livestock paddocks, including the effects of extrinsic factors such as temperature, soil moisture availability and atmospheric concentrations of carbon dioxide. The model includes the effects of management events such as changing the livestock species or stocking rate, applying fire, and herbicide application. The predicted population behaviour of A. nilotica was sensitive to climate. Using 35 years daily weather datasets for five representative sites spanning the range of conditions that A. nilotica is found in Australia, the model predicted biomass levels that closely accord with expected values at each site. SPAnDX can be used as a decision-support tool in integrated weed management, and to explore the sensitivity of cultural management practices to climate change throughout the range of A. nilotica. The cohort-based DYMEX modelling package used to build and run SPAnDX provided several advantages over more traditional population modelling approaches (e.g. an appropriate specific formalism (discrete time, cohort-based, process-oriented), user-friendly graphical environment, extensible library of reusable components, and useful and flexible input/output support framework). (C) 2003 Published by Elsevier Science B.V.

Carreiras p??blicas em uma ordem democr??tica: entre os modelos burocr??tico e gerencial

Refletindo sobre modelo de carreira mais adequado para a Administra????o P??blica nesta era de economia globalizada e de maiores exig??ncias de efici??ncia e flexibilidade na gest??o dos aparatos governamentais, questiona-se aqui a id??ia de que o modelo burocr??tico deva ser substitu??do pelo modelo gerencial. Considerando essa id??ia apenas parcialmente verdadeira, nossa argumenta????o vai na seguinte dire????o: como a burocracia ?? a forma espec??fica de organiza????o do aparato administrativo do Estado de Direito, este modelo n??o pode ser rejeitado, sob pena de comprometimento desse Estado. Mas ele precisa ser flexibilizado, superando e reduzindo o formalismo excessivo e a rigidez que sua realiza????o hist??rica possa ter gerado nos diferentes pa??ses. Igualmente, deve ser aperfei??oado em seus mecanismos de controle, at?? como condi????o para sua manuten????o eficaz nos governos democr??ticos contempor??neos.

A disciplina de história da educação em perspectiva histórica : da Faculdade de Filosofia, Ciências e Letras à Universidade Federal do Espírito Santo (1951-2000)

A pesquisa analisa da constituição histórica da disciplina História da Educação ministrada na Faculdade de Filosofia Ciências e Letras do Estado do Espírito Santo, posteriormente incorporada a Universidade Federal do Espírito Santo entre os anos de 1951 e 2000. Investiga a constituição histórica da disciplina, as transformações programáticas, legais e institucionais referentes à disciplina de História da Educação, como também as abordagens historiográficas, periodizações e os conceitos de tempo, história e educação. A fundamentação teórica e metodológica articula-se dialogicamente a partir das construções conceituais e metodológicas de Carlo Ginzburg e Mikhail Bakhtin. A partir dos conceitos de polifonia e dialogismo, comum a ambos, investigou-se as vozes e diálogos impressos nas narrativas da disciplina de História da Educação e seu ensino, sejam em camadas mais superficiais ou profundas, encontradas no corpus documental consultado e analisado, que correspondem a: programas de ensino, transparências, leis, estruturas curriculares, documentos de departamento; resenhas e fichamentos de textos, bibliografia obrigatória e complementar, avaliações e entrevistas. Procurou-se no corpus documental dados aparentemente negligenciáveis – pistas, indícios e sinais – remontar uma realidade histórica complexa e não experimentável diretamente. Ao investigar historicamente a trajetória da disciplina História da Educação e seu ensino a partir dos parâmetros legais, programáticos e institucionais, foi possível perceber que as mudanças mais profundas operadas na disciplina não se originam das legislações e reestruturações curriculares, mas dos locais de produção e socialização do conhecimento histórico. Durante o período analisado, as duas esferas de produção historiográficas que mais influenciaram nas abordagens, periodizações e conceitos de tempo, história e educação da disciplina História da Educação do curso de pedagogia pesquisado foram: a editora responsável pela publicação e divulgação dos Manuais de História da Educação da coleção Atualidades Pedagógicas (1951-1979) e os Programas de Pós-graduação em Educação e História (1980 - 2000). Entre 1951 e finais de 1970 observa-se a influência dos Manuais de História da Educação, na organização e programação do ensino de História da Educação e uma abordagem filosófica voltada para a história das ideias pedagógicas e análises do pensamento de filósofos e educadores sobre a educação e respectivas inserções em doutrinas filosóficas europeias. A partir de 1980 as abordagens de cunho econômico, político e ideológico dos contextos históricos educativos passaram a predominar nos programas de ensino das disciplinas de História da Educação I e II, e vigoraram até meados nos anos de 1990. Na disciplina de História da Educação I a abordagem é marcada por análises do contexto de produção e organização das classes sociais; com relação à disciplina História da Educação II, até meados de 1995, trata da educação brasileira. A partir da abordagem fundamentada na Teoria da Dependência após 1995, os documentos consultados começam a mostrar outras marcas que sugerem uma abordagem voltada para a dimensão política e social, abordando a História da Educação Brasileira, a partir dos movimentos sociais e seus respectivos projetos educacionais.

Para além do biológico, o sujeito com a síndrome de Klinefelter

Este estudo traz à tona nossa intenção de pesquisa: Compreender a história de vida de um sujeito com a Síndrome de Klinefelter, o Ramon. A Síndrome de Klinefelter é muito peculiar e vem ganhando destaque na área médica, não por sua prevalência na população, mas por sua complexidade. Na área da educação, a produção acerca dessa síndrome é incipiente encontramos apenas um estudo em Portugal. No nosso país, no entanto, ressalta-se o ineditismo dessa pesquisa. Nesse estudo pensamos, juntamente com Lev Semionovich Vigotski e outros autores que imprimem em seus textos raízes sócio-históricas, num Ramon para além do biológico, ou seja, para além dos seus limites orgânicos: um sujeito rico em subjetividade que foi valorizada. Objetivamos, assim, compreender a subjetividade desse sujeito que é singular na coletividade, assim, pensar no Ramon é pensar nos outros, nos seus pares e nas intrínsecas redes de dialogismos tecidas na imensa trama que é a vida. Buscamos também observar como ocorreu a inclusão desse sujeito no âmbito escolar. A fim de atingir os objetivos traçados, utilizamos a perspectiva histórico-cultural do desenvolvimento humano atrelando os pressupostos dessa opção teórica à metodologia história de vida. Para entender os detalhes, os indícios, as miudezas, os resquícios da história de vida do sujeito que parecem insignificantes, mas que são imprescindíveis para se compreender alguns processos de grande dimensão, nos apoiamos no paradigma indiciário de Ginzburg. Nessa pesquisa, nossos encontros com esse jovem de 22 anos são descritos e analisados, levando em conta os aspectos subjetivos. Nesses encontros, ouvimos várias narrativas para compor a história de vida do sujeito pesquisado: a do próprio Ramon, da sua mãe Marlene e das professoras da APAE e da Educação de Jovens e Adultos, ouvimos, portanto, Ramon em diferentes contextos: em casa, na APAE, na escola de ensino comum (EJA) e na casa da professora da APAE. Para colher os dados, recorremos às entrevistas biográficas semiestruturadas, as quais foram adequadas à singularidade de cada sujeito ouvido. Todas as entrevistas foram gravadas e transcritas em sua totalidade e os dados obtidos foram analisados levando-se em conta o contexto histórico e social de Ramon, assim, observamos as relações dialógicas estabelecidas por Ramon com seus pares e tentamos compreendê-las para melhor entender a construção subjetiva desse sujeito que para além de biológico, é social, cultural, que aprende, apreende e que, para além disso...muito nos ensina!

As mulheres na escolarização da educação física no Espírito Santo : professoras e autoras (1931-1936)

Busca compreender a participação de 23 professoras normalistas formadas no Curso de Educação Física do Espírito Santo, na década de 1930, na escolarização da disciplina. Objetiva analisar como elas significaram sua presença como professoras e autoras da Educação Física capixaba. Como referencial teórico, utiliza os conceitos de lutas de representações (CHARTIER, 1990), estratégia e táticas (CERTEAU, 1994) e do paradigma indiciário (GINZBURG, 1999). Metodologicamente, faz uso da crítica documental (BLOCH, 2001). Como fontes, mobiliza documentos da Escola Normal, do Colégio Nossa Senhora Auxiliadora, do Arquivo Permanente do Centro de Educação Física e Desportos da Universidade Federal do Espírito Santo (Cefd/Ufes) (1931-1961), documentos do Arquivo Público do Estado do Espírito Santo, a Revista de Educação (1934-1937), o Diário da Manhã (1908-1937) e a revista Vida Capichaba (1923-1959). O Curso de Educação Física foi criado em 1931 e mantido por militares formados no Centro Militar de Educação Física. Apesar de a historiografia apontar o curso como espaço de irradiação de uma pretensa militarização e esportivização da Educação Física, os achados indicam outros intuitos. Essas outras intencionalidades são percebidas por meio de monografias produzidas pelos primeiros docentes formados no curso que, em sua maioria, eram mulheres. Foi possível perceber as apropriações e os usos realizados da cultura em circulação pelas alunas para a construção de seus trabalhos finais, que foram divulgados em impressos locais. Com as publicações, as mulheres alcançaram destaque e passaram a ocupar cadeiras em importantes instituições educacionais da região. Ao dar visibilidade à atuação das 23 professoras de Educação Física, torna-se possível perceber como elas fizeram uso de um capital simbólico acumulado ao longo de suas carreiras como professoras, autoras, enfim, como mulheres que se moviam de forma tática em meio aos discursos que buscavam determinar seus papéis sociais.

A constituição do Instituto de Educação de Vitória/ES e a formação de professores primários no Espírito Santo (1971-2000)

Investiga o processo de transição da Escola Normal para outro espaço físico sob a forma de Instituto de Educação e os desdobramentos dessa mudança na formação de professores no Espírito Santo, segundo as diretrizes instituídas pela Lei nº. 5.692/71, durante o Regime Ditatorial Brasileiro (1964-1985). O recorte temporal inicia-se em 1971, quando ocorreu a transição, e encerra-se no ano 2000, momento em que o Instituto passa a denominar-se Escola Estadual de 2º grau Professor Fernando Duarte Rabelo. Privilegia, como interlocutores teóricos, os historiadores Carlo Ginzburg (1986, 2006), Marc Bloch (2001) e Michel de Certeau (2004) e toma, como corpus documental, propostas curriculares do Estado, portarias, matérias de jornais, fotografias de eventos realizados pela instituição e entrevistas com sujeitos que atuaram naquele espaço como professoras, diretora e aluna. As fontes foram interrogadas a partir das seguintes questões: como se deu a transição da Escola Normal D. Pedro II para o Instituto de Educação de Vitória? Que motivos levaram a essa transição? Como se configurou a formação de professores no Instituto de Educação? Quais os desdobramentos das mudanças ocorridas, em se tratando da formação de professores capixabas? Pareceram intrigantes silêncios e lacunas observados em relação à transição da Escola Normal para o Instituto de Educação e aos motivos que desencadearam essa mudança. Das falas das professoras, depreende-se que decisões sobre a transferência do espaço físico e as modificações no currículo vieram prontas, de cima para baixo. O discurso da modernização alardeia a técnica e o tecnicismo e anuncia novidades. A Escola Normal e as suas tradições passam a habitar o passado como algo que se apaga em nome do avanço técnico. Ainda que sutilmente, o cheiro do cafezinho gratuito e do mingau fizessem espargir o aroma da saudade de um outro tempo em que o lanche dos professores da Escola Normal era um encontro “solene”. Conclui-se que a abrupta descontinuidade da Escola Normal, cujo prédio passou a abrigar a atual Escola Estadual Maria Ortiz, possivelmente não se esgota nas questões de ordem técnico-pedagógica que os documentos deixam explícitas. Entretanto, tendo em vista o cronograma limitado desta pesquisa e a lacuna das fontes, não foi possível explorar outras possibilidades de resposta.

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

Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

Slicing functional programs 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 targeting either the imperative or the object oriented 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

O planejamento econômico no Brasil: considerações críticas

In the past thirty years, a series of plans have been developed by successive Brazilian governments in a continuing effort to maximize the nation's resources for economic and social growth. This planning history has been quantitatively rich but qualitatively poor. The disjunction has stimulated Professor Mello e Souza to address himself to the problem of national planning and to offer some criticisms of Brazilian planning experience. Though political instability has obviously been a factor promoting discontinuity, his criticisms are aimed at the attitudes and strategic concepts which have sought to link planning to national goals and administration. He criticizes the fascination with techniques and plans to the exclusion of proper diagnosis of the socio-political reality, developing instruments to coordinate and carry out objectives, and creating an administrative structure centralized enough to make national decisions and decentralized enough to perform on the basis of those decisions. Thus, fixed, quantified objectives abound while the problem of functioning mechanisms for the coordinated, rational use of resources has been left unattended. Although his interest and criticism are focused on the process and experience of national planning, he recognized variation in the level and results of Brazilian planning. National plans have failed due to faulty conception of the function of planning. Sectorial plans, save in the sector of the petroleum industry under government responsibility, ha e not succeeded in overcoming the problems of formulation and execution thereby repeating old technical errors. Planning for the private sector has a somewhat brighter history due to the use of Grupos Executivos which has enabled the planning process to transcend the formalism and tradition-bound attitudes of the regular bureaucracy. Regional planning offers two relatively successful experiences, Sudene and the strategy of the regionally oriented autarchy. Thus, planning history in Brazil is not entirely black but a certain shade of grey. The major part of the article, however, is devoted to a descriptive analysis of the national planning experience. The plans included in this analysis are: The Works and Equipment Plan (POE); The Health, Food, Transportation and Energy Plan (Salte); The Program of Goals; The Trienal Plan of Economic and Social Development; and the Plan of Governmental Economic Action (Paeg). Using these five plans for his historical experience the author sets out a series of errors of formulation and execution by which he analyzes that experience. With respect to formulation, he speaks of a lack of elaboration of programs and projects, of coordination among diverse goals, and of provision of qualified staff and techniques. He mentions the absence of the definition of resources necessary to the financing of the plan and the inadequate quantification of sectorial and national goals due to the lack of reliable statistical information. Finally, he notes the failure to coordinate the annual budget with the multi-year plans. He sees the problems of execution as beginning in the absence of coordination between the various sectors of the public administration, the failure to develop an operative system of decentralization, the absence of any system of financial and fiscal control over execution, the difficulties imposed by the system of public accounting, and the absence of an adequate program of allocation for the liberation of resources. He ends by pointing to the failure to develop and use an integrated system of political economic tools in a mode compatible with the objective of the plans. The body of the article analyzes national planning experience in Brazil using these lists of errors as rough model of criticism. Several conclusions emerge from this analysis with regard to planning in Brazil and in developing countries, in general. Plans have generally been of little avail in Brazil because of the lack of a continuous, bureaucratized (in the Weberian sense) planning organization set in an instrumentally suitable administrative structure and based on thorough diagnoses of socio-economic conditions and problems. Plans have become the justification for planning. Planning has come to be conceived as a rational method of orienting the process of decisions through the establishment of a precise and quantified relation between means and ends. But this conception has led to a planning history rimmed with frustration, and failure, because of its rigidity in the face of flexible and changing reality. Rather, he suggests a conception of planning which understands it "as a rational process of formulating decisions about the policy, economy, and society whose only demand is that of managing the instrumentarium in a harmonious and integrated form in order to reach explicit, but not quantified ends". He calls this "planning without plans": the establishment of broad-scale tendencies through diagnosis whose implementation is carried out through an adjustable, coherent instrumentarium of political-economic tools. Administration according to a plan of multiple, integrated goals is a sound procedure if the nation's administrative machinery contains the technical development needed to control the multiple variables linked to any situation of socio-economic change. Brazil does not possess this level of refinement and any strategy of planning relevant to its problems must recognize this. The reforms which have been attempted fail to make this recognition as is true of the conception of planning informing the Brazilian experience. Therefore, unworkable plans, ill-diagnosed with little or no supportive instrumentarium or flexibility have been Brazil's legacy. This legacy seems likely to continue until the conception of planning comes to live in the reality of Brazil.

CP properties of symmetry-constrained two-Higgs-doublet models

The two-Higgs-doublet model can be constrained by imposing Higgs-family symmetries and/or generalized CP symmetries. It is known that there are only six independent classes of such symmetry-constrained models. We study the CP properties of all cases in the bilinear formalism. An exact symmetry implies CP conservation. We show that soft breaking of the symmetry can lead to spontaneous CP violation (CPV) in three of the classes.

Scaling of the elastic contribution to the surface free energy of a nematic liquid crystal on a sawtoothed substrate

We characterize the elastic contribution to the surface free energy of a nematic liquid crystal in the presence of a sawtooth substrate. Our findings are based on numerical minimization of the Landau-de Gennes model and analytical calculations on the Frank-Oseen theory. The nucleation of disclination lines (characterized by non-half-integer winding numbers) in the wedges and apexes of the substrate induces a leading order proportional to q ln q to the elastic contribution to the surface free-energy density, with q being the wave number associated with the substrate periodicity.

Nematic wetting and filling of crenellated surfaces

We investigate nematic wetting and filling transitions of crenellated surfaces (rectangular gratings) by numerical minimization of the Landau-de Gennes free energy as a function of the anchoring strength, for a wide range of the surface geometrical parameters: depth, width, and separation of the crenels. We have found a rich phase behavior that depends in detail on the combination of the surface parameters. By comparison to simple fluids, which undergo a continuous filling or unbending transition, where the surface changes from a dry to a filled state, followed by a wetting or unbinding transition, where the thickness of the adsorbed fluid becomes macroscopic and the interface unbinds from the surface, nematics at crenellated surfaces reveal an intriguingly rich behavior: in shallow crenels only wetting is observed, while in deep crenels, only filling transitions occur; for intermediate surface geometrical parameters, a new class of filled states is found, characterized by bent isotropic-nematic interfaces, which persist for surfaces structured on large scales, compared to the nematic correlation length. The global phase diagram displays two wet and four filled states, all separated by first-order transitions. For crenels in the intermediate regime re-entrant filling transitions driven by the anchoring strength are observed.