Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Controle social do espaço público: uma análise do conselho turístico pólo costa das dunas

The managing Conselho of public politics constitute one of the main experiences of democracy in Brazil contemporary representing a conquest for construction of a democratic institutionalism. The historical newness consists of the intensification and the institutionalization of the dialogue between government and society - in public and plural canals - as condition for an allocation more efficient joust and of the public resources. In this context the present study it objectified to understand from readings of the performance of represented group of bencheses the dynamics of functioning of the Tourist Conselho Pólo Costa das Dunas while space of participation and social control. The bibliographical research contemplated diverse sources in order to compile knowledge of credential authors in the quarrel of inherent subjects to the civil society and the public sphere to the construction of the citizenship to the conception formation and dynamics of the social control through Conselho of public politics. A qualitative perspective the case study was adopted as research method and for attainment of the data interviews with the members of the Conselho had been carried through beyond consultation the referring documents the dynamics of functioning of the Conselho. The profiles capacities and limitations of the members of the Conselho had been identified constitution social and dynamic organization of functioning of the Conselho and the readings of the members of the Conselho concerning the power to decide instances and participation. The results had shown that the allotment of being able in the Conselho does not occur of equal form. The functions of coordination of the activities of the Conselho are assumed by the representatives of the public agencies. Level of qualification of council members also if presents as difficulty to development of activities of Conselho since the majority of the interviewed ones disclosed unreliability and unfamiliarity when thematic specific that runs away from its organizacional reality they are boarded in the assemblies. Of this form the Conselho if presents more as half of institutional legitimation of what half of characterization of the creation of a public sphere properly said. Finally he could himself be concluded that a democratic culture inexists that inside crosses practical the institutional ones of the Conselho thus limiting the possibility to reach the effective social control of the public politics of tourism in the Rio Grande do Norte

O Modelo de gestão participativa do Plano Nacional do Turismo (PNT-2003/2007): a atuação do CONETUR/RN

To implement policies and plans at the tourist sector involve disposition to the establishment of parceries among government and private initiative, space to the action of studious, researchers and professionals of several areas of knowledge and formation, able of to give new courses no only at the tourism, but to the economy how a every, seen which the tourism had a effect multiplicator, reaching 52 sectors of the economy. At this sense, the Brazil came pruning for a new phase of politic actuation at the touristy activity. Until the year 2002, the tourism politic in the Brazil no had detail, because herself treated of isolated actions and many without continuity. However, at to start 2003, several actions were developed in order to contribute for the national touristy planning. The principal was the creation of Ministério do Turismo, accompanied of the formulation and implementation of the Plano Nacional do Turismo (2003/2007). This work pretend to understand the implementation at the Rio Grande do Norte of the model of participative administration extolled by Plano Nacional do Turismo. The your centre detail the action of the Conselho Estadual de Turismo do Rio Grande do Norte (CONETUR), to promote the participation at the tourism public policies. The bibliographical research contemplated diverse sources in order to compile knowledge of credential authors in the quarrel of inherent subjects to the participation and to the tourism public policies, especially at the Brazil. A qualitative perspective the case study was adapted as research method and for attainment of the data interviews with the members of the Conselho had been carried through beyond consultation the referring documents the dynamics of functioning of the Conselho. The principal actuations of the CONETUR, the directives tourism public policies already made and directed to implementation, the type of participation at made decision, the principal difficulties of the implementation of the participative administration model of the Plano Nacional do Turismo and the degree of participation of the members of the Conselho at the reunions had been identified. The results had shown that exist some difficulties at the implementation of the participation at the Conselho Estadual de Turismo do Rio Grande do Norte, knowledge of the Conselheiros of CONETUR function, the presence of bodies which doesn t directly connected at the touristy activity; the absence of time of the Conselheiros to be presents at reunions; the discontinuity of the presidency of the Conselho; among others. So, the CONETUR show himself how a Conselho with participative characteristics, but with some adapted needs.

Gestão ambiental em cadeias produtivas agroindustriais: um estudo em um aglomerado produtivo da caprinovinocultura no Estado do Rio Grande do Norte

This thesis aims to investigate the perception and behavior of goat and sheep rural producers from Central Cabugi Region of Rio Grande do Norte state, in terms of the sector competitiveness, the cooperation mechanisms, information and environmental practices integration in the supply chain, including their customers, and also among the local producers and other institutions that support this agribusiness cluster. The research problem is related to the environmental impacts from goat and sheep breeding. This problem can also be intensified by the organization of producers in a cluster. Then, it is important to examine how the environmental issues are considered by the rural producers and their perception of their suppliers, customers and the institutions that support this activity. The methodology used in this work involved literature review of the topics of supply chain management, green supply chain, clusters development and sustainable livestock. An exploratory survey research was also conducted by personal interviews using questionnaires. Three statistic techniques were used to compile the gathered data: descriptive statistics, cluster analysis, and Chi-square tests. Two clusters were found in this study, however, the entire sample believes the sector of goat and sheep breeding is a medium competitive activity. On the other hand, for the variables of the importance of environmental practices for competitiveness , perception of environmental impacts and environmental benefits from farm vegetation management , the research found 2 distinct groups of individuals when those variables were analyzed together the green supply chain management group of variables in the cluster analysis. Beyond competitiveness perception, no degree of difference was found for the use of insecticides too. The chi-square tests present that producers having at least elementary education, lands bigger 100 hectares and located in the cities of Angicos or Lajes tend to have a higher perception to supply chain management and environmental awareness issues than those with no or incomplete first-level education, producing in lands smaller than 100 hectares and located in the cities of Afonso Bezerra or Pedro Avelino. The chi-square tests also show the amount of milk produced, family s income and associational condition are not related with the variables used in the clusters composition. In this context, this work contributes to planning clusters development strategies and enhancing the production chain sustainability. This Master of Science Thesis can also help to introduce the environmental variable in the project, assessment and monitoring of development policies as well

Disponibilidade de nutrientes no solo: decomposição e liberação de compostos orgânicos de resíduos vegetais

O objetivo principal desta revisão foi reunir informações a respeito da ação de compostos orgânicos produzidos por plantas na disponibilidade de nutrientes nos solos, principalmente sobre os cátions Ca, Mg e K e sobre o ânion fosfato. O sistema de cultivo adotado ocasiona mudanças nas propriedades químicas e físicas do solo, especialmente na disponibilidade de nutrientes e condicionamento físico do solo. Tem-se observado o acúmulo de nutrientes nas camadas superficiais do solo no sistema de semeadura direta, pelo não-revolvimento do solo e pela deposição de resíduos de culturas na superfície. Os ácidos orgânicos provenientes de plantas podem interagir com a fase sólida e ocupar os sítios de adsorção de nutrientes, competindo diretamente com eles e aumentando sua disponibilidade no solo. A adição de resíduos vegetais pode promover, antes da humificação, a elevação do pH, por promover complexação de H e Al com compostos do resíduo vegetal, deixando Ca, Mg e K mais livres em solução, o que pode ocasionar aumento na saturação da CTC por estes cátions de reação básica. Também é normal observar o aumento na disponibilidade de P no solo com a adição de resíduos vegetais, tanto pelo P presente no resíduo como por competição de compostos orgânicos dos resíduos pelos sítios de troca no solo. A persistência dos compostos orgânicos também é fator que tem grande interferência nos processos de sorção/dessorção de cátions e ânions, dependendo da atividade microbiana, da disponibilidade metabólica do substrato carbonado e da sorção aos colóides do solo.

A Review of Analytical Techniques for Determination of Glimepiride: Present and Perspectives

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

Proposta e implementação de uma arquitetura reconfigurável híbrida para aplicações baseadas em fluxo de dados

The increase of applications complexity has demanded hardware even more flexible and able to achieve higher performance. Traditional hardware solutions have not been successful in providing these applications constraints. General purpose processors have inherent flexibility, since they perform several tasks, however, they can not reach high performance when compared to application-specific devices. Moreover, since application-specific devices perform only few tasks, they achieve high performance, although they have less flexibility. Reconfigurable architectures emerged as an alternative to traditional approaches and have become an area of rising interest over the last decades. The purpose of this new paradigm is to modify the device s behavior according to the application. Thus, it is possible to balance flexibility and performance and also to attend the applications constraints. This work presents the design and implementation of a coarse grained hybrid reconfigurable architecture to stream-based applications. The architecture, named RoSA, consists of a reconfigurable logic attached to a processor. Its goal is to exploit the instruction level parallelism from intensive data-flow applications to accelerate the application s execution on the reconfigurable logic. The instruction level parallelism extraction is done at compile time, thus, this work also presents an optimization phase to the RoSA architecture to be included in the GCC compiler. To design the architecture, this work also presents a methodology based on hardware reuse of datapaths, named RoSE. RoSE aims to visualize the reconfigurable units through reusability levels, which provides area saving and datapath simplification. The architecture presented was implemented in hardware description language (VHDL). It was validated through simulations and prototyping. To characterize performance analysis some benchmarks were used and they demonstrated a speedup of 11x on the execution of some applications

AutoWebS: um Ambiente para Modelagem e Geração Automática de ServiçosWeb Semânticos

Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services

Karyotype differentiation patterns in species of the subfamily Scarabaeinae (Scarabaeidae, Coleoptera)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

The STATFLUX code: a statistical method for calculation of flow and set of parameters, based on the Multiple-Compartment Biokinetical Model

The code STATFLUX, implementing a new and simple statistical procedure for the calculation of transfer coefficients in radionuclide transport to animals and plants, is proposed. The method is based on the general multiple-compartment model, which uses a system of linear equations involving geometrical volume considerations. Flow parameters were estimated by employing two different least-squares procedures: Derivative and Gauss-Marquardt methods, with the available experimental data of radionuclide concentrations as the input functions of time. The solution of the inverse problem, which relates a given set of flow parameter with the time evolution of concentration functions, is achieved via a Monte Carlo Simulation procedure.Program summaryTitle of program: STATFLUXCatalogue identifier: ADYS_v1_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADYS_v1_0Program obtainable from: CPC Program Library, Queen's University of Belfast, N. IrelandLicensing provisions: noneComputer for which the program is designed and others on which it has been tested: Micro-computer with Intel Pentium III, 3.0 GHzInstallation: Laboratory of Linear Accelerator, Department of Experimental Physics, University of São Paulo, BrazilOperating system: Windows 2000 and Windows XPProgramming language used: Fortran-77 as implemented in Microsoft Fortran 4.0. NOTE: Microsoft Fortran includes non-standard features which are used in this program. Standard Fortran compilers such as, g77, f77, ifort and NAG95, are not able to compile the code and therefore it has not been possible for the CPC Program Library to test the program.Memory, required to execute with typical data: 8 Mbytes of RAM memory and 100 MB of Hard disk memoryNo. of bits in a word: 16No. of lines in distributed program, including test data, etc.: 6912No. of bytes in distributed Program, including test data, etc.: 229 541Distribution format: tar.gzNature of the physical problem: the investigation of transport mechanisms for radioactive substances, through environmental pathways, is very important for radiological protection of populations. One such pathway, associated with the food chain, is the grass-animal-man sequence. The distribution of trace elements in humans and laboratory animals has been intensively studied over the past 60 years [R.C. Pendlenton, C.W. Mays, R.D. Lloyd, A.L. Brooks, Differential accumulation of iodine-131 from local fallout in people and milk, Health Phys. 9 (1963) 1253-1262]. In addition, investigations on the incidence of cancer in humans, and a possible causal relationship to radioactive fallout, have been undertaken [E.S. Weiss, M.L. Rallison, W.T. London, W.T. Carlyle Thompson, Thyroid nodularity in southwestern Utah school children exposed to fallout radiation, Amer. J. Public Health 61 (1971) 241-249; M.L. Rallison, B.M. Dobyns, F.R. Keating, J.E. Rall, F.H. Tyler, Thyroid diseases in children, Amer. J. Med. 56 (1974) 457-463; J.L. Lyon, M.R. Klauber, J.W. Gardner, K.S. Udall, Childhood leukemia associated with fallout from nuclear testing, N. Engl. J. Med. 300 (1979) 397-402]. From the pathways of entry of radionuclides in the human (or animal) body, ingestion is the most important because it is closely related to life-long alimentary (or dietary) habits. Those radionuclides which are able to enter the living cells by either metabolic or other processes give rise to localized doses which can be very high. The evaluation of these internally localized doses is of paramount importance for the assessment of radiobiological risks and radiological protection. The time behavior of trace concentration in organs is the principal input for prediction of internal doses after acute or chronic exposure. The General Multiple-Compartment Model (GMCM) is the powerful and more accepted method for biokinetical studies, which allows the calculation of concentration of trace elements in organs as a function of time, when the flow parameters of the model are known. However, few biokinetics data exist in the literature, and the determination of flow and transfer parameters by statistical fitting for each system is an open problem.Restriction on the complexity of the problem: This version of the code works with the constant volume approximation, which is valid for many situations where the biological half-live of a trace is lower than the volume rise time. Another restriction is related to the central flux model. The model considered in the code assumes that exist one central compartment (e.g., blood), that connect the flow with all compartments, and the flow between other compartments is not included.Typical running time: Depends on the choice for calculations. Using the Derivative Method the time is very short (a few minutes) for any number of compartments considered. When the Gauss-Marquardt iterative method is used the calculation time can be approximately 5-6 hours when similar to 15 compartments are considered. (C) 2006 Elsevier B.V. All rights reserved.

Molecular fingerprinting methods for the discrimination between C-albicans and C-dubliniensis

Opportunistic fungal pathogens are becoming increasingly important causes of both community-acquired and nosocomial infections. The most important fungal pathogens are yeast species belonging to the genus Candida. These species show differences in levels of resistance to antifungal agents and mortality. Consequently, it is important to correctly identify the causative organism to the species level. Identification of Candida dubliniensis in particular remains problematic because of the high degree of phenotypic similarity between this species and Candida albicans. However, as the differences between both are most pronounced at the genetic level, several studies have been conducted in order to provide a specific and rapid identification fingerprinting molecular test. In most candidal infectious, no single DNA fingerprinting technique has evolved as a dominant method, and each method has its advantages, disadvantages and limitations. Moreover, the current challenge of these techniques is to compile standardized patterns in a database for interlaboratory use and future reference. This review provides an overview of most common molecular fingerprinting techniques currently available for discrimination of C. albicans and C. dubliniensis.

Female reproductive system of ant species of the subfamily ponerinae: Review and new data

Literature data about the female reproductive system of some species in the subfamily Ponerinae are presented. Our project objective to compile a report containing the largest possible number of data about the reproductive system in Ponerinae for a better understanding of the reproductive biology of these Insects, was completed.

Use of homeopathic preparations in experimental studies with healthy plants

Background. The last comprehensive review of experimental research on effects of homeopathic treatments on plants was published in 1984, and lacked formal predefined criteria to assess study quality. Since then several new studies with more advanced methods have been published.Objectives: To compile a review of the literature on basic research in homeopathy with healthy plants with particular reference to studies investigating specific effects of homeopathic remedies.Methods: The literature search included English, French, German, Italian, Portuguese and Spanish publications from 1920 to April 2009, using predefined selection criteria. We included experiments with healthy whole plants, seeds, plant parts and cells. The outcomes had to be measured by established procedures and statistically evaluated. We developed a Manuscript Information Score (MIS) and included only publications which provided enough information for proper interpretation (MIS >= 5). A formallised Study Methods Evaluation Procedure (SMEP) was used to evaluate these studies, and the subgroup of studies with adequate controls to identify specific effects.Results: A total of 86 studies in 79 publications was identified, 43 studies included statistics, 29 had MIS >= 5, and 15 studies investigated the specificity of homeopathic preparations. Specific effects of decimal, centesimal and fifty millesimal potencies were found including dilution levels far beyond the Avogadro number. In consecutive series of potencies only some of the tested potencies showed effects. There were many individual studies with diverse methods and very few reproduction trials.Conclusions: Healthy plant models seem an useful approach to investigate basic research questions about the specificity of homeopathic preparations. More investigations with more advanced methods are recommended, especially in the sectors of potentisation techniques, effective potency levels and conditions for reproducibility. Systematic negative control experiments should become a routine procedure to control the stability of the experimental systems. Homeopathy (2009) 98, 228-243.

Caracterizaçõ da linguagem na síndrome do X-frágil: estudo bibliográfico.

BACKGROUND: X-Fragile Syndrome. AIM: To compile information about the language, cognitive and behavior alterations in the X-Fragile Syndrome, using the results of previously published studies and to present the standardized instruments used as testing materials. CONCLUSION: studies used formal and informal testing to assess language. The results present variability regarding the linguistic deficits, which are influenced by the level of the cognitive deficit and behavior alterations. Alterations of the oral praxes and of speech articulation are also expected.

PLA and Montmorilonite Nanocomposites: Properties, Biodegradation and Potential Toxicity

The concern related to solid waste increases efforts to develop products based on biodegradable materials. At present, PLA has one of the highest potentials among biopolyesters, particularly for packaging. However, its application is limited in some fields. In order to optimize PLA properties, organo-modified montmorilonites have been extensively used to obtain nanocomposites. Although PLA nanocomposites studies are widely reported in the literature, there is still few information about the influence of organoclays on de biodegradation process, which is a relevant information, since one of the main purposals related to the final disposal of biopolymers as PLA is composting. Besides, in the last years some research has been conducted in order to evaluate the potential toxicity of montmorilonite, unmodified or organo-modified. Since the use of montmorilonite is expanding in different applications, human exposure and risk assessment are important issues to be investigated. In this context, this review intends to compile available information related to common organoclays used for PLA nanocomposites, its properties, biodegradation analysis and potential toxicity evaluation of nanocomposites, focused on montmorilonite as filler. Two issues of relevance were pointed out. The first is food safety and quality, and the second consideration is the environmental effect. © 2013 Springer Science+Business Media New York.