A Complexity Based Model for Quantifying Forensic Evidential Probabilities

An operational complexity model (OCM) is proposed to enable the complexity of both the cognitive and the computational components of a process to be determined. From the complexity of formation of a set of traces via a specified route a measure of the probability of that route can be determined. By determining the complexities of alternative routes leading to the formation of the same set of traces, the odds ratio indicating the relative plausibility of the alternative routes can be found. An illustrative application to a BitTorrent piracy case is presented, and the results obtained suggest that the OCM is capable of providing a realistic estimate of the odds ratio for two competing hypotheses. It is also demonstrated that the OCM can be straightforwardly refined to encompass a variety of circumstances.

Model Configuration And Data Management In The Short-Term Water Information Forecasting Tools

The Short-term Water Information and Forecasting Tools (SWIFT) is a suite of tools for flood and short-term streamflow forecasting, consisting of a collection of hydrologic model components and utilities. Catchments are modeled using conceptual subareas and a node-link structure for channel routing. The tools comprise modules for calibration, model state updating, output error correction, ensemble runs and data assimilation. Given the combinatorial nature of the modelling experiments and the sub-daily time steps typically used for simulations, the volume of model configurations and time series data is substantial and its management is not trivial. SWIFT is currently used mostly for research purposes but has also been used operationally, with intersecting but significantly different requirements. Early versions of SWIFT used mostly ad-hoc text files handled via Fortran code, with limited use of netCDF for time series data. The configuration and data handling modules have since been redesigned. The model configuration now follows a design where the data model is decoupled from the on-disk persistence mechanism. For research purposes the preferred on-disk format is JSON, to leverage numerous software libraries in a variety of languages, while retaining the legacy option of custom tab-separated text formats when it is a preferred access arrangement for the researcher. By decoupling data model and data persistence, it is much easier to interchangeably use for instance relational databases to provide stricter provenance and audit trail capabilities in an operational flood forecasting context. For the time series data, given the volume and required throughput, text based formats are usually inadequate. A schema derived from CF conventions has been designed to efficiently handle time series for SWIFT.

Software Tools For Large Scale Interactive Hydrodynamic Modeling

Running hydrodynamic models interactively allows both visual exploration and change of model state during simulation. One of the main characteristics of an interactive model is that it should provide immediate feedback to the user, for example respond to changes in model state or view settings. For this reason, such features are usually only available for models with a relatively small number of computational cells, which are used mainly for demonstration and educational purposes. It would be useful if interactive modeling would also work for models typically used in consultancy projects involving large scale simulations. This results in a number of technical challenges related to the combination of the model itself and the visualisation tools (scalability, implementation of an appropriate API for control and access to the internal state). While model parallelisation is increasingly addressed by the environmental modeling community, little effort has been spent on developing a high-performance interactive environment. What can we learn from other high-end visualisation domains such as 3D animation, gaming, virtual globes (Autodesk 3ds Max, Second Life, Google Earth) that also focus on efficient interaction with 3D environments? In these domains high efficiency is usually achieved by the use of computer graphics algorithms such as surface simplification depending on current view, distance to objects, and efficient caching of the aggregated representation of object meshes. We investigate how these algorithms can be re-used in the context of interactive hydrodynamic modeling without significant changes to the model code and allowing model operation on both multi-core CPU personal computers and high-performance computer clusters.

A Tree Tools informática e o processo de implantação da mudança administrativa de formação do tipo de capital e suas conseqüências nas áreas motivacionais e de satisfação

A organização do trabalho constitui-se a partir da caracterização de sua estrutura e dos respectivos impactos do desempenho de papéis profissionais. O relacionamento interpessoal no ambiente de trabalho reflete o grau de participação e colaboração dos indivíduos. Os indivíduos diferem uns dos outros pelas suas atitudes em relação a um trabalho "estimulante" ou não. O valor prático do estudo, busca analisar o grau de satisfação I insatisfação dos indivíduos em relação a si próprios e em relação a empresa. Também foi feito um estudo das abordagens motivacionais e suas ligações com os indivíduos acima citados. A maior parte dos autores que contribuíram ao desenvolvimento dos temas considerados neste estudo parecem ter querido conciliar dois imperativos: aumentar a rendimento dos trabalhadores e elevar o seu nível de satisfação no trabalho (este segundo imperativo foi reformulado recentemente em termos de melhora da qualidade de vida no trabalho). Ainda no corpo do trabalho foram apresentados resultados da pesquisa realizada e discutidas algumas das abordagens motivacionais, com a finalidade de fundamentar teoricamente a questão principal que é a forma de administração da empresa o que se trata de satisfação I motivação na empresa TREE TOOLS, escolhida como agente deste estudo de caso.

A efetividade do laudo pericial: um estudo sobre a influência do laudo pericial de informática na decisão judicial

O presente trabalho apresenta um estudo sobre a efetividade dos Laudos Periciais Criminais de Informática no que diz respeito ao auxílio na formação da convicção do magistrado para elaborar as sentenças. Para tanto, foram realizadas pesquisas nos laudos e nas sentenças que utilizaram esses laudos, buscando encontrar relação entre ambos com vistas a analisar a qualidade do Laudo produzido e sua importância para a decisão judicial e, consequentemente, para a promoção da justiça social. O estudo realizado permite afirmar que o trabalho pericial é relevante, na maioria dos casos analisados, para auxiliar os magistrados em suas tomadas de decisões. O resultado da pesquisa revelou que algumas variáveis que não dependem do trabalho pericial, como os questionamentos formulados pelo requisitante do laudo e o tipo penal, são relevantes para que os exames periciais sejam ainda mais efetivos e auxiliem na promoção da Justiça. Esta pesquisa pode ser um instrumento de gestão da Diretoria Técnico-Científica do Departamento de Polícia Federal no sentido de preencher a lacuna hoje existente, tendo em vista que os peritos criminais federais não possuem feedback sobre o trabalho desenvolvido, ao tempo em que demonstra a importância do trabalho pericial para a comprovação de delitos. Servirá também para auxiliar os gestores no desenvolvimento de metodologia de elaboração de laudos periciais de informática que busquem indicar autoria e materialidade delitiva em seus exames. A sociedade precisa que seus órgãos públicos atuem de maneira a promover justiça social para os cidadãos. Nesse cenário, o laudo pericial de informática é um dos instrumentos que podem auxiliar a efetivação da justiça de forma mais concreta.

Segurança e gestão de riscos na atividade pericial

Os riscos fazem parte da vida das pessoas quaisquer que sejam suas profissões ou atividades. No caso dos policiais estes riscos são ampliados devido às situações as quais estão sujeitos e em particular no caso dos peritos criminais federais, que além dos relacionados às suas atividades policiais tem outras que são inerentes à perícia. Esta dissertação teve como objetivo identificar os principais riscos de segurança no ambiente de trabalho dos peritos criminais da Polícia Federal. A pesquisa, sob seu ponto de vista metodológico foi classificada quanto à sua natureza como aplicada; no tocante à abordagem do problema se classifica como qualitativa e quanto aos seus objetivos trata-se de pesquisa descritiva. A respeito dos procedimentos técnicos a pesquisa foi classificada como bibliográfica, pesquisa de levantamento e estudo de caso com aplicação na perícia criminal federal. Para tanto foram utilizados instrumentos de coleta de dados online os quais foram disponibilizados para peritos criminais de todas as áreas e unidades de federação. Os dados demonstraram que apesar de existirem diversos riscos relacionados com a atividade-fim pericial há outros com potencial para se transformarem em acidentes, principalmente os relacionados com questões policiais como abordagens, missões e operações. Os riscos foram mapeados por áreas da perícia utilizando-se como base a NR-5 que trata dos mapas de riscos. Com a pesquisa provocou-se a discussão a respeito dos riscos a que estão sujeitos os peritos e com isso criou-se uma conscientização da necessidade de tratamento dos mesmos. Com a participação dos peritos de todas as áreas de formação e unidades da federação, conseguiu-se numa perspectiva qualitativa identificar os principais riscos por grupos (físicos, químicos, biológicos, ergonômicos e de acidentes). Conclui-se que se faz necessário, em caráter de urgência, maior aprofundamento e discussões a respeitos dos riscos, bem como a criação de procedimentos mínimos a serem adotados para que os mesmos não se concretizem. A visão necessária para tratar estes riscos não pode ficar restrita a área pericial, mas precisa ser estendida para toda a Polícia Federal, e precisa ser inserida na filosofia, práticas e processos que permitam criar uma verdadeira cultura de gestão estratégica de riscos.

Designing for workstyle transitions: interaction design tools for software engineering

Supervisor: Duarte Nuno Jardim Nunes

New experimental tools for bioassays with whitefly in laboratory

O objetivo deste trabalho foi desenvolver um kit experimental para avaliações de repelência, deterrência à oviposição e atividade inseticida a adultos de mosca-branca, Bemisia tabaci biótipo B. O kit, constituído de arenas e nebulizador, foi eficaz para realização dos bioensaios, e a aplicação de extratos aquosos com o inalador foi adequada. As técnicas são simples, baratas e podem contribuir para as pesquisas com este inseto.

Coupling Surface-Enhanced Resonance Raman Scattering and Electronic Tongue as Characterization Tools to Investigate Biological Membrane Mimetic Systems

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Evaluation of four molecular typing Methodologies as tools for determining taxonomy relations and for identifying. species among Yersinia isolates

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Accentuated polymorphism of heterochromatin and nucleolar organizer regions in Astyanax scabripinnis (Pisces, Characidae): tools for understanding karyotypic evolution

Astyanax scabripinnis has been considered a species complex because it presents high karyotypic and morphological variability among its populations. In this work, individuals of two A. scabripinnis populations from different streams in the same hydrographic basin were analyzed through C-banding and AgNOR. Although they present distinct diploid numbers, they show meta and submetacentric chromosome groups highly conserved (numerically and morphologically). Other chromosomal characteristics are also shared by both populations, as the pattern of constitutive heterochromatin distribution (large blocks in the telomeric regions of subtelocentric and acrocentric chromosomes) and some nucleolar chromosomes. Inter-individual variations both in the number and size of heterochromatic blocks, and in the number and localization of NORs were verified in the studied populations, characterizing them as polymorphics for these regions. The mechanisms involved in the dispersion of heterochromatin and NORs through the karyotypes, as well as the possible events related to the generation of polymorphism of those regions are discussed. Furthermore, relationships between these populations and within the context of the scabripinnis complex are also approached.

A combination of implicit and adaptative upwind tools for the numerical solution of incompressible free surface flows

This paper is concerned with the numerical solutions of time dependent two-dimensional incompressible flows. By using the primitive variables of velocity and pressure, the Navier-Stokes and mass conservation equations are solved by a semi-implicit finite difference projection method. A new bounded higher order upwind convection scheme is employed to deal with the non-linear (advective) terms. The procedure is an adaptation of the GENSMAC (J. Comput. Phys. 1994; 110: 171-186) methodology for calculating confined and free surface fluid flows at both low and high Reynolds numbers. The calculations were performed by using the 2D version of the Freeflow simulation system (J. Comp. Visual. Science 2000; 2:199-210). In order to demonstrate the capabilities of the numerical method, various test cases are presented. These are the fully developed flow in a channel, the flow over a backward facing step, the die-swell problem, the broken dam flow, and an impinging jet onto a flat plate. The numerical results compare favourably with the experimental data and the analytical solutions. Copyright (c) 2006 John Wiley & Sons, Ltd.

Quantitative fractography by digital image processing: NIH Image macro tools for stereo pair analysis and 3-D reconstruction

A set of NIH Image macro programs was developed to make qualitative and quantitative analyses from digital stereo pictures produced by scanning electron microscopes. These tools were designed for image alignment, anaglyph representation, animation, reconstruction of true elevation surfaces, reconstruction of elevation profiles, true-scale elevation mapping and, for the quantitative approach, surface area and roughness calculations. Limitations on time processing, scanning techniques and programming concepts are also discussed.

Simulation Tools of DC-DC Converters for Power Electronics Education

This paper presents interactive simulation tools to support the enhancement of power electronics education considering DC to DC converters. These interactive tools make use of the benefits of Java language to provide a dynamic and interactive visualization of simulations in steady-state for idealized non-isolated DC to DC converters. Additionally, this paper discusses the features and the usage of the interactive educational tools to serve as a first design tool for the laboratory experiments in the power electronics courses. In this way, some results were confronted with a well-known simulator package and with experimental results in order to validate the developed interactive simulation tools.