Documentación de modelos y flujos de trabajo: el siguiente reto en el manejo de información ecológica

Los modelos ecológicos se han convertido en una pieza clave de esta ciencia. La generación de conocimiento se consigue en buena medida mediante procesos analíticos más o menos complejos aplicados sobre conjuntos de datos diversos. Pero buena parte del conocimiento necesario para diseñar e implementar esos modelos no está accesible a la comunidad científica. Proponemos la creación de herramientas informáticas para documentar, almacenar y ejecutar modelos ecológicos y flujos de trabajo. Estas herramientas (repositorios de modelos) están siendo desarrolladas por otras disciplinas como la biología molecular o las ciencias de la Tierra. Presentamos un repositorio de modelos (ModeleR) desarrollado en el contexto del Observatorio de seguimiento del cambio global de Sierra Nevada (Granada-Almería). Creemos que los repositorios de modelos fomentarán la cooperación entre científicos, mejorando la creación de conocimiento relevante que podría ser transferido a los tomadores de decisiones.

Como a doença de Alzheimer afeta os cuidadores informais no concelho de Abrantes

Trabalho de Projeto apresentado à Escola Superior de Educação do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gerontologias Social.

Washington, D.C., 1792 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington in the territory of Columbia : ceded by the states of Virginia and Maryland to the United States of America, and by them established as the seat of their government, after the year MDCCC, engrav'd by Sam'l Hill, Boston ; in order to execute this plan, Mr. Ellicott drew a true meridional line. Andrew Ellicott plan of Washington, D.C. It was published in 1792. Scale [ca. 1:19,800]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, block numbers and proposed government buildings, drainage, and more. Relief is shown by hachures. Depths shown by soundings. Includes text and notes. This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.

Washington, D.C., 1792 (Raster Image)

This layer is a georeferenced raster image of the historic paper map entitled: Plan of the city of Washington in the territory of Columbia : ceded by the states of Virginia and Maryland to the United States of America, and by them established as the seat of their government, after the year MDCCC, engrav'd by Thackara & Vallance Philad'a 1792 ; in order to execute this plan, Mr. Ellicott drew a true meridional line ... and left nothing to the uncertainty of the compass. Andrew Ellicott plan of Washington, D.C. It was published in 1792. Scale [ca. 1:19,800]. The image inside the map neatline is georeferenced to the surface of the earth and fit to the Maryland State Plane Coordinate System Meters NAD83 (Fipszone 1900). All map collar and inset information is also available as part of the raster image, including any inset maps, profiles, statistical tables, directories, text, illustrations, index maps, legends, or other information associated with the principal map. This map shows features such as roads, block numbers and proposed government buildings, drainage, and more. Relief is shown by hachures. Depths are shown by soundings. Includes text, notes, and coat-of-arms. This layer is part of a selection of digitally scanned and georeferenced historic maps from The Harvard Map Collection as part of the Imaging the Urban Environment project. Maps selected for this project represent major urban areas and cities of the world, at various time periods. These maps typically portray both natural and manmade features at a large scale. The selection represents a range of regions, originators, ground condition dates, scales, and purposes.

Avaliação e tratamento das alterações do equilíbrio ácido-base

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

Real options in the context of innovation and development policies and practices. ACES Working Papers, 2012

This paper proposes to build on previous research on the use of real options in strategic decision making (Carayannis and Sipp, 2010) and instill some real options-related concepts stemming from systems design, more particularly engineering. It also builds on previously-established concepts of strategic knowledge serendipity and arbitrage and strategic knowledge co-opetition, co-evolution and co-specialization developed by Carayannis (2009). The application of real options “in” system and real options to innovation and innovation policies demonstrate how embedded real options can more effectively be identified and therefore the decision to execute them or not more effectively made.

How to use WinEdt 5 as an interface for TDA

The text editor WinEdt 5 may be easily configured to provide a user interface for TDA. The configuration described below allows you to launch TDA command files directly from within WinEdt (via menu or shortcut). TDA's standard output will be written to disk and displayed in WinEdt automatically. Furthermore, you may also just execute selected parts of a command file.

Expression and processing of Plasmodium berghei SERA3 during liver stages.

Cysteine proteases mediate liberation of Plasmodium berghei merozoites from infected hepatocytes. In an attempt to identify the responsible parasite proteases, we screened the genome of P. berghei for cysteine protease-encoding genes. RT-PCR analyses revealed that transcription of four out of five P. berghei serine repeat antigen (PbSERA) genes was strongly upregulated in late liver stages briefly before the parasitophorous vacuole membrane ruptured to release merozoites into the host cell cytoplasm, suggesting a role of PbSERA proteases in these processes. In order to characterize PbSERA3 processing, we raised an antiserum against a non-conserved region of the protein and generated a transgenic P. berghei strain expressing a TAP-tagged PbSERA3 under the control of the endogenous promoter. Immunofluorescence assays revealed that PbSERA3 leaks into the host cell cytoplasm during merozoite development, where it might contribute to host cell death or activate host cell proteases that execute cell death. Importantly, processed PbSERA3 has been detected by Western blot analysis in cell extracts of schizont-infected cells and merozoite-infected detached hepatic cells.

A formação do administrador e o papel da empresa júnior: caso FGV/EAESP

Empresas inseridas em um contexto competitivo e dinâmico buscam, por meio de diversas formas e estratégias, sobressaírem sobre as demais. Diferente de como era compreendido, o ambiente de trabalho considera que o empregado não se limita mais a receber e executar instruções. Hoje, esse profissional é valorizado pelas suas competências e, mais ainda, pela forma como ele as mobiliza. Nesse contexto, o presente estudo buscou analisar a percepção dos alunos da FGV-EAESP sobre como a formação diferenciada, por meio da atuação em empresa júnior, contribui no desenvolvimento de competências profissionais do formando em administração de empresas. Foi utilizado como aporte teórico a literatura sobre aprendizagem e competências. Metodologicamente, a pesquisa possui uma abordagem qualitativa e interpretativista. A coleta de dados foi realizada por meio de entrevistas, de forma semiestruturadas, com trinta e um respondentes, composto por alunos e egressos da Instituição de Ensino. Para a análise dos dados coletados, foi utilizado a técnica de análise de conteúdo, gerando catorze categorias intermediárias e cinco categorias finais. Como resultados, foram identificados, objetivamente, como se dá aprendizagem e desenvolvimento de competências profissionais dentro do contexto de aprendizagem proporcionado pela EJ, bem como quais delas são relevantes para atuação no mercado de trabalho.

Histoire naturelle du Senegal : Coquillages. Avec la relation abrége d'un voyage fait en ce pays, pendant les années 1749, 50, 51, 52 & 53 /

Contiene: Voyage au Senegal, p. [1]-190. Histoire des coquillages, p. [I]-XCVI. Coquillages, p. [1]-269. Table alphabetique des matieres contenues dans ce volume, p. 270-275.

Helene & Writing Abuse, Shame, and Death: A Poetics of Spirit within the Failing Body

Thesis (Master's)--University of Washington, 2016-06

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Specification and validation of process constraints for flexible workflows

Workflow systems have traditionally focused on the so-called production processes which are characterized by pre-definition, high volume, and repetitiveness. Recently, the deployment of workflow systems in non-traditional domains such as collaborative applications, e-learning and cross-organizational process integration, have put forth new requirements for flexible and dynamic specification. However, this flexibility cannot be offered at the expense of control, a critical requirement of business processes. In this paper, we will present a foundation set of constraints for flexible workflow specification. These constraints are intended to provide an appropriate balance between flexibility and control. The constraint specification framework is based on the concept of pockets of flexibility which allows ad hoc changes and/or building of workflows for highly flexible processes. Basically, our approach is to provide the ability to execute on the basis of a partially specified model, where the full specification of the model is made at runtime, and may be unique to each instance. The verification of dynamically built models is essential. Where as ensuring that the model conforms to specified constraints does not pose great difficulty, ensuring that the constraint set itself does not carry conflicts and redundancy is an interesting and challenging problem. In this paper, we will provide a discussion on both the static and dynamic verification aspects. We will also briefly present Chameleon, a prototype workflow engine that implements these concepts. (c) 2004 Elsevier Ltd. All rights reserved.

Neural pathways mediating bilateral interactions between the upper limbs

The ease with which we perform tasks such as opening the lid of a jar, in which the two hands execute quite different actions, belies the fact that there is a strong tendency for the movements of the upper limbs to be drawn systematically towards one another. Mirror movements, involuntary contractions during intended unilateral engagement of the opposite limb, are considered pathological, as they occur in association with specific disorders of the CNS. Yet they are also observed frequently in normally developing children, and motor irradiation, an increase in the excitability of the (opposite) homologous motor pathways when unimanual movements are performed, is a robust feature of the mature motor system. The systematic nature of the interactions that occur between the upper limbs has also given rise to the expectation that functional improvements in the control of a paretic limb may occur when movements are performed in a bimanual context. In spite of the ubiquitous nature of these phenomena, there is remarkably little consensus concerning the neural basis of their mediation. In the present review, consideration is given to the putative roles of uncrossed corticofugal fibers, branched bilateral corticomotoroneuronal projections, and segmental networks. The potential for bilateral interactions to occur in various brain regions including the primary motor cortex, the supplementary motor area, non-primary motor areas, the basal ganglia, and the cerebellum is also explored. This information may provide principled bases upon which to evaluate and develop task and deficit-specific programs of movement rehabilitation and therapy. (c) 2005 Elsevier B.V. All rights reserved.

Quality of service in flexible workflows through process constraints

Workflow technology has delivered effectively for a large class of business processes, providing the requisite control and monitoring functions. At the same time, this technology has been the target of much criticism due to its limited ability to cope with dynamically changing business conditions which require business processes to be adapted frequently, and/or its limited ability to model business processes which cannot be entirely predefined. Requirements indicate the need for generic solutions where a balance between process control and flexibility may be achieved. In this paper we present a framework that allows the workflow to execute on the basis of a partially specified model where the full specification of the model is made at runtime, and may be unique to each instance. This framework is based on the notion of process constraints. Where as process constraints may be specified for any aspect of the workflow, such as structural, temporal, etc. our focus in this paper is on a constraint which allows dynamic selection of activities for inclusion in a given instance. We call these cardinality constraints, and this paper will discuss their specification and validation requirements.