Miracle-dz/UniFAR-FTUs huggingface dataset:
Uma Arquitetura para Reduzir a Complexidade e Aumentar a Produtividade do Ciclo de Vida do Desenvolvimento de Sistemas

O presente trabalho apresenta o resultado de uma cooperação entre o Instituto de Informática da Universidade Federal do Rio Grande do Sul e a Cumerlato & Schuster Informática S.A. Esta integração permitiu a elaboração de uma dissertação de Mestrado e logo a seguir, o desenvolvimento e a implementação do projeto proposto. Através da metodologia e ambiente apresentados é possível reduzir a complexidade encontrada no desenvolvimento de sistemas de Informação. As tarefas, ferramentas e modelos utilizados no desenvolvimento são decompostos em módulos e inseridos em uma estrutura que permite a integração das várias partes, a especificação abstrata e a automação de processos. Os Sistemas são especificados em Ferramentas CASE, orientadas por uma Metodologia de Desenvolvimento. As definições são armazenadas de maneira abstrata em um repositório (independente de tecnologia), o que permite a conversão em código fonte para a linguagem (PowerBuilder, Visual Basic, HTML, etc) e arquitetura desejada (Client/Server, 3-tiers, etc.). Desta forma, é possível manter a evolução tecnológica sem reescrever a aplicação. Atualmente a Estrutura de Módulos está sendo utilizada na Cumerlato & Schuster em 3 projetos e em breve se tornará padrão para os demais. A utilização da Estrutura está permitindo atingir níveis de 98% de geração de código de Interface e de Banco de Dados (as Regras de Negócio ainda são codificadas), com redução de aproximadamente 60% do tempo de especificação. Com estas medidas, os custos dos projetos são menores e o tempo de implementação é reduzido em mais de 50%.
Service Guarantees in the Context of Professional Services - Case of Law Firms

This article focuses on the benefits of guarantees offered by law firms, as professional service firms. Can law firms even offer service guarantees, since lawyers can’t guarantee an outcome? This research expands the current knowledge on service guarantees in the context of legal services. It proves that service guarantees are considered effective means for service firms to attract and retain customers and gain a competitive edge in the marketplace. This article integrates two approaches – conceptual and empirical. The conceptual discussion of the paper draws attention on existing research and integrates the professional services (legal) and service guarantees domains. The empirical part of this study announces two examples of law firms from real business world, which are innovators in introducing their ways of doing business by service guarantees.
Identification of pro‐thymocytes in murine fetal blood: T lineage commitment can precede thymus colonization.

Phenotype and commitment of thymus‐colonizing precursors are unknown. Here we report the identification of T lineage‐committed precursors (designated prothymocytes) in murine fetal blood at day 15.5 of development. Fetal blood pro‐thymocytes are Thy‐1+c‐kit(low)CD3‐ in contrast to fetal blood‐derived pluripotent hematopoietic progenitors which are Thy‐1‐c‐kit+. Upon transfer into the thymus, fetal blood pro‐thymocytes generate a single wave of CD4+CD8+ thymocytes and subsequently mature TCR alpha beta+ peripheral T cells. However, fetal blood pro‐thymocytes lack multipotent progenitor potential since they fail to reconstitute B lymphocytes and myeloid and erythroid lineages. In contrast, T and B lymphocytes as well as myeloid and erythroid lineages are reconstituted from fetal blood‐derived pluripotent progenitors. Pro‐thymocytes are equally present in peripheral blood of athymic fetal mice, suggesting that this novel precursor population is T lineage‐committed prior to thymus colonization and represents the earliest T lineage precursor identified.
Structure and properties of generalized adaptive neural filters for signal enhancement

This article addresses the structure and properties of a new class of nonlinear adaptive filters called generalized adaptive neural filters (GANFs). Various properties, such as an upper bound of the mean absolute error of the filters, are analytically derived. Experimental results are presented to demonstrate the performance of the filters for signal and image enhancement. It is shown that GANFs not only extend the class of stack filters, but also have better performance in noise suppression.
Understanding mobile augmented reality adoption in a consumer context

Purpose The purpose of this paper is to further our knowledge of what influences users to adopt mobile augmented reality in tourism (MART). A conceptual model is proposed, combining the extension of Unified Theory of Acceptance and Usage of Technology (UTAUT2) with task technology fit (TTF), to explain behavioural intention and user behaviour of MART adopters. Design/methodology/approach A questionnaire was completed by a sample of 335 respondents in Portugal. Both UTAUT2 and TTF were combined into a new model from which several hypotheses were drawn based upon the literature. Findings The results have shown that the model explains 72 per cent of the variance in behaviour intention to use MART and 45 per cent of the variance in user behaviour. Originality/value MART is becoming increasingly known to travellers as it provides the user diverse and useful information with a real relationship with the world. By studying behaviour and what influences consumers to use MART, this study aims to advance the research into new technologies in tourism.
A Semantics for Model Management Operators

Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Extract, and Merge, that are applied to models, such as database schemas or interface specifications, and to mappings between models. To be used in practice, these operators need to be implemented for particular schema definition languages and mapping languages. To guide that implementation, we need a language-independent semantics that tells what the operators should do. In this paper we develop a state-based semantics of the operators. That is, we express the effect of applying the operators to models in terms of what the operators do to instances of these models. We show that our semantics captures previouslyproposed desiderata for the operators. We study formal properties of the operators, such as commutativity, associativity, uniqueness of results, and how the cardinality of the results corresponds to that of the inputs. Finally, we specify the statebased semantics of the operators in Rondo, the first prototype model-management system.
Src kinase activation by direct interaction with the integrin β cytoplasmic domain

Src tyrosine kinases transmit integrin-dependent signals pivotal for cell movement and proliferation. Here, we establish a mechanism for Src activation by integrins. c-Src is shown to bind constitutively and selectively to β3 integrins through an interaction involving the c-Src SH3 domain and the carboxyl-terminal region of the β3 cytoplasmic tail. Clustering of β3 integrins in vivo activates c-Src and induces phosphorylation of Tyr-418 in the c-Src activation loop, a reaction essential for adhesion-dependent phosphorylation of Syk, a c-Src substrate. Unlike c-Src, Hck, Lyn, and c-Yes bind more generally to β1A, β2, and β3 cytoplasmic tails. These results invoke a model whereby Src is primed for activation by direct interaction with an integrin β tail, and integrin clustering stabilizes activated Src by inducing intermolecular autophosphorylation. The data provide a paradigm for integrin regulation of Src and a molecular basis for the similar functional defects of osteoclasts or platelets from mice lacking β3 integrins or c-Src.
PCR AMPLIFICATION OF MITOCHONDRIAL CYTOCHROME B GENE OF ANIMALS IN MALAYSIA

The aim of this study is to acquiring basic data for identifying blood meal species of vector arthropods in Malaysia by amplify and sequence the mtDNA cytb gene of captive and domestic animals. Polymerase Chain Reaction (PCR) using universal primers complementary to the conserved region of the mitochondrial DNA (mtDNA) cytochrome b (cytb) gene fragment, was performed on DNA of blood samples of 27 captive and domestic animals in Malaysia. DNA of hosts was amplified by PCR and the products were visualized on gel electrophoresis. Twenty two sequences were obtained and compared with sequences registered in GenBank using a BLAST program. The percentage of similarity between the study species and GenBank species was in the range of 78 100%. Four sequences had no significant similarity and 3 species were mismatched with other species in the range of 78 89% similarity. Nine new gene sequences with accession number JQ812112 (Prionailurus bengalensis), JQ812113 (Prionailurus bengalensis), JQ812114 (Tapirus indicus), JQ812115 (Oryx dammah), JQ812116 (Macaca nemestrina), JQ409474 (Panthera tigris 2), JQ409475 (Panthera tigris 1), JQ409476 (Panthera tigris 4) and JQ409477 (Malayan Elephant) had been deposited in GenBank. These results will contribute to develop the GenBank database and can be applied for further epidemiological studies on vector borne diseases in tropical countries including Malaysia. keywords Cytochrome b gene, Polymerase Chain Reaction, GenBank, Mitochondrial DNA, Arthropods.
Focal dystonia as a presenting sign of spinocerebellar ataxia 17

We report on the clinical manifestation of spinocerebellar ataxia 17 (SCA17) in 3 members of a German family, in whom the pathological repeat expansion in the TATA‐binding protein gene ranged from 53 to 55 repeats (normal: 29–42). The main clinical features were focal dystonia as presenting sign, followed by cerebellar ataxia, and, in the later course of one case, dementia and marked spasticity with signs of cerebellar and cerebral atrophy on brain computed tomography (CT) scan. In conclusion, SCA17 mutations should be considered in the differential diagnosis of focal dystonia. © 2003 Movement Disorder Society
PENGARUH PENGGUNAAN MEDIA SOSIAL TERHADAP KINERJA PEGAWAI DI LINGKUNGAN UIN SUSKA RIAU

Penelitian ini melakukan suatu kajian tentang pengaruh Media Sosial terhadap Kinerja Pegawai di Lingkungan UIN Sultan Syarif Kasim Riau. Adapun objek dalam penelitian ini adalah pegawai dilingkungan UIN Sultan Syarif Kasim Riau jumlah sampel sebanyak 83 orang. Berdasarkan hasil pengolahan data kuesioner diperoleh hasil koefisien determinasi sebesar 0,096 atau 9,6% dengan signifikan 0,004 < 0,05. Hal ini membuktikan bahwa Penggunaan Media Sosial berpengaruh terhadap Kinerja Pegawai sebesar 9,6% dan sisanya sebesar 90,4% dipengaruhi faktor lain yang dapat mempengaruhi Kinerja Pegawai. Untuk meningkatkan Kinerja Pegawai maka diperlukan dukungan oleh pihak Universitas untuk menyediakan fasilitas jaringan internet sehingga penyampaian informasi baik yang terkait bidang akademik maupun administrasi umum dapat disampaikan dengan mudah dan dengan waktu yang cepat. Perbaikan-perbaikan jaringan sebaiknya dapat dilakukan dengan waktu yang cepat sehingga tidak menjadi hambatan dalam penyampaian informasi oleh pegawai kepada stakeholder.
Procurement methods and contractor's bidding strategy in Middle East construction industry

The type of procurement methods used in the implementation of the projects is vital for the client. The implementation of the projects using the unsuitable procurement method will contribute to the failure of the project being completed within the budget, time and quality. The strategy of the contractor also depends on the types of procurement used. The common method of procurement used by the client is the Traditional method. Some of the contractors and the clients do not favour this procurement method. The aim of this study is to determine the current procurement methods available in the Middle East construction industry and the factors affecting bidding strategies of the contractors. The objectives of the study are to evaluate the current procurement methods in the Middle East construction industry and to identify the preferred procurement method, to assess the factors affecting the bidding strategy of the contractors in the Middle East construction industry and to identify the factors that are taken into consideration by the contractors before deciding to bid for the project. The data are collected through questionnaires and interviews. A total of 25 respondents comprising of Project manager, Construction manager, Site engineer and Site supervisor were identified. The data is analyzed by using SPSS. From the study, the current procurement methods in the Middle East construction industry are Traditional method, Design & Build and Package Deal. The preferred procurement methods in the Middle east are contract management, Design & build, Develop & construct and turnkey method. The factors affecting the bidding strategy of the contractors in the Middle East construction industry are past experience, type of owner and past loss and profit. The factors that are taken into consideration by the contractors before deciding to bid for the project are availability of time for tendering, type of project and project size.
Event-driven data and power management in high-density neural recording microsystems

We present design approaches and circuit techniques to perform data and power management in high-density neural recording implants. The proposed strategies employs low-power automatic detectors and dedicated neural signal processing circuits to take advantage on the discontinuous nature of neural signals presenting low duty cycles. We show that the suggested approaches enable for significant data and power reductions compared with standard design practices. Also, design methods to optimize low-power analog circuits are discussed.
Attenuation of the euphoric effects of cocaine by the dopamine D1/D5 antagonist ecopipam (SCH 39166)

BACKGROUND The subjective and reinforcing effects of cocaine in humans are associated with the enhancement of endogenous dopamine function in the mesolimbic system. This study examined the role of dopamine D1-like receptors in the behavioral and mood effects of cocaine by evaluating the effects of the selective D1/D5 antagonist ecopipam (SCH 39166) on subjective responses to intravenous cocaine in 11 subjects with cocaine dependence as defined by DSM-IV. METHODS Subjects were pretreated in a randomized double-blind fashion with either placebo or 10 mg, 25 mg, or 100 mg of ecopipam orally on 4 separate occasions. Two hours later a single intravenous injection of 30 mg of cocaine was administered. Subjective and cardiovascular responses were measured and blood samples for pharmacokinetic evaluation were obtained prior to cocaine dosing and at various times after dosing. RESULTS The euphoric (P = .004) and stimulating (P = .03) effects of cocaine were attenuated in a dose-dependent manner by ecopipam, while ratings of desire to take cocaine were diminished (P = .02). Ecopipam in combination with cocaine was safe and well tolerated. CONCLUSION These data indicate a potentially important role for D1-like receptors in the acute mood-altering and rewarding effects of cocaine in humans.
Rejoining the Planning and Public Health Fields: Leveraging Comprehensive Plans to Strengthen Food Systems in an Urban versus Rural Jurisdiction

The growth of health disparities in the United States, particularly those associated with dietrelated diseases, has motivated a reconvergence of the public health and planning disciplines to address this shared challenge. However, the dynamics and mechanisms through which public health and planning agencies can systematically address food-related issues have yet to be fully understood. This study analyzes how partnership between public health professionals and planners in local, regional, and metropolitan (LRM) governments can strengthen community food systems through a more integrated and holistic approach to health. Using a national survey of
The oxidative activity of particulate fractions from germinating castor beans.

Datta, S. P., Dent, C. E. & Harris, H. (1950). Science, 112, 621. Dawson, R. M. C. (1954). Biochim. biophys. Acta, 14, 374. Desjobert, M. A. , Fleury, M. P. & Courtois, M. J. (1948). Bull. Soc. Chim. biol., Paris, 30, 159. Etienne-Petitfils, J. & Kahane, E. (1954). Bull. Soc. CAhim. biol., Paris, 36, 355. Fisher, R. B. , Parsons, D. S. & Morrison, G. A. (1948). Nature, Lond. , 161, 764. Fleury, P. (1946). Bull. Soc. Chim. biol., Paris, 28, 282. Fleury, P. (1948 a). Bull. Soc. Chim. biol., Paris, 30, 519. Fleury, P. (1948 b). Bull. Soc. Chim. biol., Paris, 30, 521. Fleury, P. (1948c). Arch. Sci. physiol. 2, 277. Fleury, P., Courtois, J. & Desjobert, A. (1948). C.R. Acad. Sci., Paris, 226, 801. Fleury, P. & Le Dizet, L. (1950). Bull. Soc. Chim. biol., Paris, 32, 495. Fleury, P. & Le Dizet, L. (1952). Bull. Soc. Chim. biol., Paris, 34, 665. Fleury, P. & Le Dizet, L. (1953). Bull. Soc. Chim. biol., Paris, 35, 882. Fleury, P. & Le Dizet, L. (1954). Bull. Soc. Chim. biol., Paris, 36, 971. Garcia, D. , Lovern, J. A. & Olley, J. (1956). Biochem. J. 62, 99. Hanes, C. S. & Isherwood, F. A. (1949). Nature, Lond. , 164, 1107. King, E. J. (1932). Biochem. J. 26, 292. Kunin, R. & Barry, R. E. (1949). Industr. Engng Chem. 41, 1269. Levine, C. & Chargaff, E. (1951). J. biol. Chem. 192, 465. LePage, G. A. & Umbreit, W. W. (1949). In Manometric Techniques and Tissue Metabolism, p. 190. Ed. by Umbreit, W. W. , Burris, R. H. & Stauffer, J. E. Minneapolis: Burgess Publishing Co. Lovern, J. A. & Olley, J. (1953). Biochem. J. 55, 686. Malengreau, F. & Prigent, G. (1911). Hoppe-Seyl. Z. 73, 68. McKibbin, J. M. & Taylor, W. E. (1952). J. biol. Chem. 196, 427. Olley, J. & Blewett, M. (1950). Biochem. J. 47, 564. Olley, J. & Lovern, J. A. (1953). Biochem. J. 54, 559. Olley, J. & Lovern, J. A. (1954). Biochem. J. 57, 610. Pangborn, M. C. (1947). J. biol. Chem. 168, 351. Partridge, S. M. & Brimley, R. C. (1952). Biochem. J. 51,628. Plimmer, R. H. A. (1913). Biochem. J. 7, 43. Schmidt, G. , Greenbaum, L. M. , Fallot, P., Walker, A. C. & Thannhauser, S. J. (1955). J. biol. Chem. 212, 887. Swoboda, P. A. T. & Crook, E. M. (1955). Biochem. J. 59, xxiv. Thudichum, J. L. W. (1884). A Treatise on the Chemical Constitution of the Brain, p. 133. London: Bailliere, Tindall and Cox. Trevelyan, W. E. , Proctor, D. P. & Harrison, J. S. (1950). Nature, Lond. , 166, 444.
A NMF algorithm for blind separation of uncorrelated signals

Most of the proposed algorithms for blind sources separation are not able to extract the source signals when the unknown sources are not mutually statistically independent. In this paper, the blind separation problem for uncorrelated signals is explored. A novel algorithm is proposed based on the nonnegative matrix factorization methods with the least correlated component constraints. The algorithm relaxes the source independence assumption and has low-complexity algebraic computations, and thus is computationally efficient. Simulation results show that the proposed algorithm can provide an efficient separation performance for the uncorrelated source signals.
Prevention of urinary tract infection in spinal cord-injured patients: safety and efficacy of a weekly oral cyclic antibiotic (WOCA) programme with a 2 year follow-up--an observational prospective study.

POPULATION Spinal cord injury (SCI) patients with neurogenic bladder have an increased risk for symptomatic urinary tract infection (UTI). Recurrent UTI requires multiple courses of antibiotic therapy, markedly increasing the incidence of multidrug-resistant (MDR) bacteria. METHODS During an observational prospective study, we determined the safety and efficacy of a weekly oral cyclic antibiotic (WOCA) regimen to prevent UTI in SCI adult patients with neurogenic bladder undergoing clean intermittent catheterization. The WOCA regimen consisted of the alternate administration of an antibiotic once per week over a period of at least 2 years. The antibiotics chosen were efficient for UTI, well tolerated and with low selection pressure. RESULTS There was a significant decrease in antimicrobial consumption linked to the dramatic decrease in the incidence of UTI. Before intervention, there were 9.4 symptomatic UTIs per patient-year, including 197 episodes of febrile UTI responsible for 45 hospitalizations. Under the WOCA regimen there were 1.8 symptomatic UTIs per patient-year, including 19 episodes of febrile UTI. No severe adverse events and no new cases of colonization with MDR bacteria were reported. CONCLUSIONS In this prospective, observational pilot study a novel approach to the prevention and treatment of UTI in SCI was investigated. Our study shows the benefit of WOCA in preventing UTI in SCI patients.
Computer-based vs manual health maintenance tracking. A controlled trial.

OBJECTIVE To compare computer-based with manual health maintenance tracking systems to determine whether (1) a computer-based system will result in better provider compliance with the practice health maintenance protocol, (2) the incremental cost of operating a computer-based vs a manual health maintenance tracking system differs, and (3) inactive patients will respond to health maintenance reminders. DESIGN Two-year prospective, randomized, controlled trial. SETTING Rural, multiple-office, nonprofit, fee-for-service family practice. PATIENTS Adult members of families in which at least one member had been seen by the practice within the past 2 years. INTERVENTION A computer-based health maintenance tracking system that generated annual provider and patient reminders for all patients regardless of appointment status compared with a manual flowchart-based tracking system in which patient reminders were triggered by provider request. OUTCOME MEASURES Provider compliance with the health maintenance protocol determined by preintervention and postintervention chart audits, costs of computer-based tracking, and response of inactive patients to health maintenance reminders. RESULTS Overall provider compliance with the health maintenance protocol increased 15 percentage points in the computer-based tracking group and four percentage points in the manual group. The computer-based tracking group had significantly higher provider compliance than the manual group for eight of 11 procedures. The computer-based tracking system cost 78 cents per patient per year to operate. It was not associated with increased office visits or patient billings. CONCLUSIONS Computer-based health maintenance tracking improved provider health maintenance compliance compared with a manual system. The finding that health maintenance compliance improved without a significant increase in patient visits or billings requires confirmation in other settings but suggests that considerable health maintenance can be incorporated into ongoing patient care.
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini

In this paper, we deal with the satisfiability problem for systems of constraints over hereditarily finite sets. This problem is central for integrating sets in programming languages, and particularly for constraint logic programming languages. The approach we propose here is based on reducing systems of set constraints into systems of linear integer equalities and inequalities (with bounded domain). The complexity of the reduction is on O(n 3 ).