988 resultados para federated search tool


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Commonwealth Government's Principles Based Review of the Law of Negligence recently recommended reforms aimed at limiting liability and damages arising from personal injury and death, in response to the growing perception that the current system of compensating personal injury had become financially unsustainable. Recent increases in medical liability and damages have eroded the confidence of doctors and their professional bodies, with fears of unprecedented desertion from and reduced recruitment into high risk areas, and one of the primary foci of the review concerned medical negligence. The article analyses proposals to redefine the principles necessary for the finding of negligence, against the terms of reference of the review. The article assumes that for the foreseeable future, Australia will persist with tort-based compensation for personal injury rather than developing a no-fault scheme. If the suggested changes to the fundamental principles of negligence are unlikely to reduce medical liability, greater attention might be given to the processes which come into play after the finding of negligence, where reform is more likely to benefit both plaintiffs and defendants.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A further progress has been made in defining the ionosonde deduced equator (IDE) which characterises a latitudinal transition from the northern to southern hemisphere. It is now possible to define the global IDE location as the locus of the average position between geographic and geomagnetic equators. A more complete insight to the phenomenon of the third equator (i.e. after geographic and geomagnetic equators) was made possible due to availability of ionospheric height (h'F) data from three stations positioned close to the IDE in the American and the far-east sectors. The IDE ionospheric signature (or E-type signature), detected at these stations, consists of bi-annual h'F height increases. This signature however is not consistently observed during solar cycle and at times, particularly at sunspot minimum, a weak hemispheric signature is observed (i.e. the northern or southern hemisphere signature). In general, the height increase at the IDE are considerably smaller (by a factor of 4) than at other equatorial locations, indicating that the ionosphere at the IDE location becomes less disturbed. It is suggested that the equatorial longitudinal regions which can be associated with more consistent E-type signature are located in the central Pacific and at the east coast of America, close to the intersection points of the geographic and geomagnetic equators. (C) 2003 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este artigo objetiva propor o debate sobre qual ser?? o papel das ouvidorias judiciais no processo de comunica????o social do Poder Judici??rio brasileiro. A inten????o ?? iniciar a discuss??o em busca de quais podem ser as contribui????es dessa importante ferramenta de participa????o popular e promo????o da cidadania para a melhoria da comunica????o p??blica realizada pelos tribunais. Essa reflex??o se faz necess??ria no atual cen??rio em que a sociedade brasileira vem, cada vez mais, exigindo maior transpar??ncia da administra????o p??blica, mormente ap??s a edi????o da Lei de Acesso ?? Informa????o.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Recent observations from type Ia Supernovae and from cosmic microwave background (CMB) anisotropies have revealed that most of the matter of the Universe interacts in a repulsive manner, composing the so-called dark energy constituent of the Universe. Determining the properties of dark energy is one of the most important tasks of modern cosmology and this is the main motivation for this work. The analysis of cosmic gravitational waves (GW) represents, besides the CMB temperature and polarization anisotropies, an additional approach in the determination of parameters that may constrain the dark energy models and their consistence. In recent work, a generalized Chaplygin gas model was considered in a flat universe and the corresponding spectrum of gravitational waves was obtained. In the present work we have added a massless gas component to that model and the new spectrum has been compared to the previous one. The Chaplygin gas is also used to simulate a L-CDM model by means of a particular combination of parameters so that the Chaplygin gas and the L-CDM models can be easily distinguished in the theoretical scenarios here established. We find that the models are strongly degenerated in the range of frequencies studied. This degeneracy is in part expected since the models must converge to each other when some particular combinations of parameters are considered.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A distribuição geográfica de um táxon é limitada por aspectos ecológicos e históricos. Muitas atividades humanas têm causado modificações na cobertura vegetal, o que leva à fragmentação e perda do habitat. Isso tem levado à extinção local de populações de várias espécies, alterando sua distribuição geográfica. Entre elas estão as duas espécies do gênero Brachyteles (os muriquis), que são primatas endêmicos de um dos biomas mais afetados por esses processos, a Mata Atlântica. A União Internacional para a Conservação da Natureza (UICN) é uma organização que busca conservar a biodiversidade. Entre outros critérios, utiliza o conhecimento sobre as distribuições geográficas restritas das espécies para classificá-las em categorias de ameaça de extinção, nas chamadas listas vermelhas. Para isso, utiliza parâmetros espaciais, cujos resultados indicam o risco de extinção de determinado táxon em relação à sua distribuição geográfica. Muitas vezes os cálculos desses parâmetros são realizados de maneira subjetiva, de maneira que é importante a busca de métodos que tornem as classificações mais objetivas, precisas e replicáveis. Nesse contexto, o presente trabalho testou diferentes métodos de cálculos de três parâmetros relacionados à distribuição geográfica de B. hypoxanthus e B. arachnoides. Tratam-se de espécies ameaçadas de extinção, com localidades de ocorrência bem conhecidas, que foram profundamente afetadas pela degradação da Mata Atlântica. Assim, podem ser consideradas bons modelos para essas análises. Foi construído um banco de dados de localidades de ocorrência atuais das duas espécies. Por meio de abordagens de Sistemas de Informação Geográfica (SIG), foram estimadas a Extensão de Ocorrência (EOO) através de Mínimo Polígono Convexo e α-hull e Área de Ocupação (AOO) e Subpopulações por meio de métodos de grids, buffers circulares e α-hull, em diferentes escalas espaciais. Os resultados dos cálculos desses parâmetros foram comparados para identificar as abordagens e escalas mais adequadas para a avaliação de risco de extinção. Esses resultados indicam que as listas de localidades e os mapas de distribuição disponibilizados pela UICN precisam ser atualizados. Além disso, sugerem que α-hull é uma abordagem vantajosa para EOO e o método de buffers é mais adequado para os parâmetros de AOO e Subpopulações, quando utiliza escalas espaciais menores. Também foi utilizada a ferramenta GeoCAT, para as duas espécies. Essa ferramenta, por realizar análises de EOO e AOO instantâneas e por seus resultados serem semelhantes aos de outras análises, serve como uma abordagem preliminar de risco de extinção baseado no critério de distribuição geográfica.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Crambe (Crambe abyssinica) pertence à família Brassicaceae, originário da Etiópia e principalmente destinado à produção de forragem (30 a 32% de proteína bruta). Atualmente, tem sido bastante cultivado visando à extração de óleo vegetal. Com os atuais incentivos à busca de fontes de energias renováveis, o cultivo de crambe vem ganhando papel de destaque na produção de biodiesel por suas diversas vantagens, como: (a) rápido ciclo de vida (colhida em torno de 90 dias); (b) alta produção de biomassa; (c) alta produtividade de sementes (1000 e 1500 kg ha-1); (d) menor custo de produção em relação a outras fontes oleaginosas, como, canola, girassol e soja; (e) um percentual de óleo total na semente entre 32 e 38%, superando, por exemplo, a soja; (f) potencial de fitorremediação, eficiente na descontaminação de arsênio, cromo e outros metais pesados; e (g) elevado percentual de ácido erúcico (50 a 60%) sendo útil na indústria de plástico e lubrificante. Devido aos poucos trabalhos realizados com crambe, abre-se um vasto campo de investigações científicas que tenham como objetivo desenvolver as potencialidades dessa cultura e, consequentemente, melhorar os aspectos agronômicos e tecnológicos para seu emprego na indústria de biodiesel. Nesse contexto, as técnicas de cultivo in vitro foram importantes tanto para a propagação massal, quanto como ferramenta para uma possível aplicação de outras técnicas biotecnológicas, contribuindo para uma produção homogênea, fiel e em larga escala. Portanto, este trabalho teve como objetivo geral avaliar as condições mais favoráveis à germinação, estabelecimento in vitro e micropropagação de Crambe abyssinica Hochst., além de verificar possíveis alterações genéticas e anatômicas, possibilitando a regeneração e produção de plântulas viáveis. Para a germinação e estabecimento in vitro de crambe, as condições mais favoráveis foram em meio B5 ou WPM, na presença ou ausência de pericarpo e na presença de luz. Na micropropagação dessa espécie, uma frequência satisfatória de regeneração de brotos foi obtida a partir de segmentos apicais utilizados como explante em meio contendo 5 μM de BAP (6- benzilaminopurina), e o alongamento foi satisfatório com 1 μM de GA3 (ácido giberélico). Os marcadores moleculares ISSR (Inter-Simples Sequence Repeats) utilizados para a análise da estabilidade genética indicaram que o segmento apical de crambe é um explante confiável para a micropropagação de plantas geneticamente verdadeiras (true-to-tipe), ou seja, mantém a estabilidade genética. As diversas fontes de citocininas e concentrações utilizadas neste trabalho não promoveram mudanças, no sentido de alterar a organização e/ou a espessura em relação ao controle, e as alterações observadas na estrutura e espessura das folhas dos tratamentos de aclimatização prejudicaram o processo de estabelecimento da plântula ex vitro. Contudo, existe a necessidade de um enraizamento e aclimatização eficiente para completa propagação in vitro de crambe. Portanto, este protocolo de regeneração de plantas in vitro de crambe pode ser útil no processo de criação e desenvolvimento de novas cultivares em um tempo mais curto e no melhoramento genético usando explantes apicais.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Purpose – Castings defects are usually easy to characterize, but to eradicate them can be a difficult task. In many cases, defects are caused by the combined effect of different factors, whose identification is often difficult. Besides, the real non-quality costs are usually unknown, and even neglected. This paper aims to describe the development of a modular tool for quality improvement in foundries, and its main objective is to present the application potential and the foundry process areas that are covered and taken into account. Design/methodology/approach – The integrated model was conceived as an expert system, designated Qualifound, which performs both qualitative and quantitative analyses. For the qualitative analyses mode, the nomenclature and the description of defects are based on the classification suggested by the International Committee of the Foundry Technical Association. Thus, a database of defects was established, enabling one to associate the defects with the relevant process operations and the identification of their possible causes. The quantitative analysis mode deals with the number of produced and rejected castings and includes the calculation of the non-quality costs. Findings – The validation of Qualifound was carried out in a Portuguese foundry, whose quality system had been certified according to the ISO 9000 standards. Qualifound was used in every management area and it was concluded that the application had the required technological requisites to provide the necessary information for the foundry management to improve process quality. Originality/value – The paper presents a successful application of an informatics tool on quality improvement in foundries.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Survival analysis is applied when the time until the occurrence of an event is of interest. Such data are routinely collected in plant diseases, although applications of the method are uncommon. The objective of this study was to use two studies on post-harvest diseases of peaches, considering two harvests together and the existence of random effect shared by fruits of a same tree, in order to describe the main techniques in survival analysis. The nonparametric Kaplan-Meier method, the log-rank test and the semi-parametric Cox's proportional hazards model were used to estimate the effect of cultivars and the number of days after full bloom on the survival to the brown rot symptom and the instantaneous risk of expressing it in two consecutive harvests. The joint analysis with baseline effect, varying between harvests, and the confirmation of the tree effect as a grouping factor with random effect were appropriate to interpret the phenomenon (disease) evaluated and can be important tools to replace or complement the conventional analysis, respecting the nature of the variable and the phenomenon.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A fast and direct surface plasmon resonance (SPR) method for the kinetic analysis of the interactions between peptide antigens and immobilised monoclonal antibodies (mAb) has been established. Protocols have been developed to overcome the problems posed by the small size of the analytes (< 1600 Da). The interactions were well described by a simple 1:1 bimolecular interaction and the rate constants were self-consistent and reproducible. The key features for the accuracy of the kinetic constants measured were high buffer flow rates, medium antibody surface densities and high peptide concentrations. The method was applied to an extensive analysis of over 40 peptide analogues towards two distinct anti-FMDV antibodies, providing data in total agreement with previous competition ELISA experiments. Eleven linear 15-residue synthetic peptides, reproducing all possible combinations of the four replacements found in foot-and-mouth disease virus (FMDV) field isolate C-S30, were evaluated. The direct kinetic SPR analysis of the interactions between these peptides and three anti-site A mAbs suggested additivity in all combinations of the four relevant mutations, which was confirmed by parallel ELISA analysis. The four-point mutant peptide (A15S30) reproducing site A from the C-S30 strain was the least antigenic of the set, in disagreement with previously reported studies with the virus isolate. Increasing peptide size from 15 to 21 residues did not significantly improve antigenicity. Overnight incubation of A15S30 with mAb 4C4 in solution showed a marked increase in peptide antigenicity not observed for other peptide analogues, suggesting that conformational rearrangement could lead to a stable peptide-antibody complex. In fact, peptide cyclization clearly improved antigenicity, confirming an antigenic reversion in a multiply substituted peptide. Solution NMR studies of both linear and cyclic versions of the antigenic loop of FMDV C-S30 showed that structural features previously correlated with antigenicity were more pronounced in the cyclic peptide. Twenty-six synthetic peptides, corresponding to all possible combinations of five single-point antigenicity-enhancing replacements in the GH loop of FMDV C-S8c1, were also studied. SPR kinetic screening of these peptides was not possible due to problems mainly related to the high mAb affinities displayed by these synthetic antigens. Solution affinity SPR analysis was employed and affinities displayed were generally comparable to or even higher than those corresponding to the C-S8c1 reference peptide A15. The NMR characterisation of one of these multiple mutants in solution showed that it had a conformational behaviour quite similar to that of the native sequence A15 and the X-ray diffraction crystallographic analysis of the peptide ? mAb 4C4 complex showed paratope ? epitope interactions identical to all FMDV peptide ? mAb complexes studied so far. Key residues for these interactions are those directly involved in epitope ? paratope contacts (141Arg, 143Asp, 146His) as well as residues able to stabilise a particular peptide global folding. A quasi-cyclic conformation is held up by a hydrophobic cavity defined by residues 138, 144 and 147 and by other key intrapeptide hydrogen bonds, delineating an open turn at positions 141, 142 and 143 (corresponding to the Arg-Gly-Asp motif).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The participation of citizens in public policies is an opportunity not only to educate them, but also to increase their empowerment. However, the best way for deploying participatory policies, defining their scope and approach, still remains an open and continuous debate. Using as a case study the Brazilian National Agency of Electric Energy (Aneel), with its public hearings about tariff review, this paper aims at analyzing the democratic aspects of these hearings and challenges the hypothesis of many scholars about the social participation bias in this kind of procedure. This study points out a majority participation of experts, contrasting with the political content of discussions. And, this way, it contributes to a critical analysis of the public hearings as a participatory tool, indicating their strengths and their aspects which deserve a special attention.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The essay analises Sir Walter Raleigh's report (1595) of his search for Guiana, as well as his reflection on the New World and its inhabitants, which is, in many aspects, different from his contemporaries.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The reaction of nine vector species of Chagas' disease to infection by seven different Trypanosoma cruzi strains; Berenice, Y, FL, CL, S. Felipe, Colombiana and Gávea, are examined and compared. On the basis of the insects' ability to establish and maintain the infection, vector species could be divided into two distinct groups which differ in their reaction to an acute infection by T. cruzi. While the proportion of positive bugs was found to be low in Triatoma infestans and Triatoma dimidiata it was high, ranging from 96.9% to 100% in the group of wild (Rhodnius neglectus, Triatoma rubrovaria)and essentially sylvatic vectors in process of adaptation to human dwellings, maintained under control following successful insecticidal elimination of Triatoma infestans (Panstrongylus megistus, Triatoma sordida and Triatoma pseudomaculata). An intermediate position is held by Triatoma brasiliensis and Rhodnius prolixus. This latter has been found to interchange between domestic and sylvatic environments. The most important finding is the strikingly good reaction between each species of the sylvatic bugs and practically all T. cruzi strains herein studied, thus indicating that the factors responsible for the excellent reaction of P.megistus to infection by Y strain, as previously reported also come into operation in the reaction of the same vector species to acute infections by five of the remaining T.cruzi strains. Comparison or data reported by other investigators with those herein described form the basis of the discussion of Dipetalogaster maximus as regards its superiority as a xenodiagnostic agent.