Search Results - "Arcuri, A."

Whole Test Suite Generation by Fraser, G., Arcuri, A.

“…Not all bugs lead to program crashes, and not always is there a formal specification to check the correctness of a software test's outcome. A common scenario…”
Get full text

Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing by Arcuri, A., Briand, L.

“…Modern systems are becoming highly configurable to satisfy the varying needs of customers and users. Software product lines are hence becoming a common trend…”
Get full text

A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage by Arcuri, A.

“…In the presence of an internal state, often a sequence of function calls is required to test software. In fact, to cover a particular branch of the code, a…”
Get full text

Impact-triggered nanoscale Pb clustering and Pb loss domains in Archean zircon by Arcuri, G. A., Moser, D. E., Reinhard, D. A., Langelier, B., Larson, D. J.

“…Zircon microcrystals are found in many planetary crustal rocks and nanoscale research on grains from well-characterized impact environments on Earth provide a…”
Get full text

Decline of giant impacts on Mars by 4.48 billion years ago and an early opportunity for habitability by Moser, D. E., Arcuri, G. A., Reinhard, D. A., White, L. F., Darling, J. R., Barker, I. R., Larson, D. J., Irving, A. J., McCubbin, F. M., Tait, K. T., Roszjar, J., Wittmann, A., Davis, C.

“…The timing of the wane in heavy meteorite bombardment of the inner planets is debated. Its timing determines the onset of crustal conditions consistently below…”
Get full text

Understanding the structure, activity and inhibition of chorismate synthase from Mycobacterium tuberculosis by Arcuri, H A, Palma, M S

“…Tuberculosis is considered a worldwide health problem mainly due to co-infection with HIV and proliferation of multi-drug-resistant strains. The enzymes of the…”
Get more information

Design of self-stable nanocrystalline high-entropy alloy by Adaan-Nyiak, Moses A., Alam, Intekhab, Arcuri, Gabriel A., Tiamiyu, Ahmed A.

“…Nanocrystalline (NC) materials are prone to grain-coarsening at low temperatures—requiring extra solute-element addition for stability. While this approach is…”
Get full text

Pb Isotope Mapping of Paleoproterozoic Gneisses in the SW Grenville Province: Evidence for a Cryptic Continental Suture by Arcuri, Gabriel, Dickin, Alan

“…New whole-rock lead (Pb) isotope analyses are presented in this study for granitoid orthogneisses from the Southwest Grenville Province in Ontario and Western…”
Get full text

A single nucleotide deletion at the C1 inhibitor gene as the cause of hereditary angioedema: insights from a Brazilian family by Ferraro, M. F., Moreno, A. S., Castelli, E. C., Donadi, E. A., Palma, M. S., Arcuri, H. A., Lange, A. P., Bork, K., Sarti, W., Arruda, L. K.

“…To cite this article: Ferraro MF, Moreno AS, Castelli EC, Donadi EA, Palma MS, Arcuri HA, Lange AP, Bork K, Sarti W, Arruda LK. A single nucleotide deletion at…”
Get full text

Agelaia MP-I: A peptide isolated from the venom of the social wasp, Agelaia pallipes pallipes, enhances insulin secretion in mice pancreatic islets by Baptista-Saidemberg, N.B., Saidemberg, D.M., Ribeiro, R.A., Arcuri, H.A., Palma, M.S., Carneiro, E.M.

“…Peptides isolated from animal venoms have shown the ability to regulate pancreatic beta cell function. Characterization of wasp venoms is important, since some…”
Get full text

New insights regarding HCV-NS5A structure/function and indication of genotypic differences by Yamasaki, Lilian Ht, Arcuri, Helen A, Jardim, Ana Carolina G, Bittar, Cintia, de Carvalho-Mello, Isabel Maria Vg, Rahal, Paula

“…HCV is prevalent throughout the world. It is a major cause of chronic liver disease. There is no effective vaccine and the most common therapy, based on…”
Get full text

SKPDB: a structural database of shikimate pathway enzymes by Arcuri, Helen A, Zafalon, Geraldo Fd, Marucci, Evandro A, Bonalumi, Carlos E, da Silveira, Nelson Jf, Machado, José M, de Azevedo, Jr, Walter F, Palma, Mário S

“…The functional and structural characterisation of enzymes that belong to microbial metabolic pathways is very important for structure-based drug design. The…”
Get full text

Elective neck dissection versus observation in stage I squamous cell carcinomas of the tongue and floor of the mouth by Dias, Fernando L., Kligerman, Jacob, Matos de Sá, Geraldo, Arcuri, Roberto A., Freitas, Emilson Q., Farias, Terence, Matos, Fátima, Lima, Roberto A.

“…A retrospective study was undertaken of patients with T1N0M0 squamous cell carcinoma of the oral tongue and floor of the mouth who underwent surgical treatment…”
Get full text

Applying state‐of‐the‐art microscopy techniques to understand the degradation of copper for nuclear waste canisters by Persaud, Suraj. Y., Binns, Wilfred J., Guo, Mengnan, Williams, Desmond, Dong, Qingshan, Arcuri, Gabriel A., Daub, Kevin, Newman, Roger C., Daymond, Mark R., Keech, Peter G.

“…The metallurgy, mechanical properties, and corrosion of Cu, proposed as the corrosion barrier for Canadian used fuel containers (UFCs) for use in a deep…”
Get full text

Structural studies of Helicase NS3 variants from Hepatitis C virus genotype 3 in virological sustained responder and non-responder patients by Provazzi, Paola Js, Arcuri, Helen A, de Carvalho-Mello, Isabel Maria Vg, Pinho, João Renato R, Nogueira, Maurício L, Palma, Mário S, Rahal, Paula

“…About 130 million people are infected with the hepatitis C virus (HCV) worldwide, but effective treatment options are not yet available. One of the most…”
Get full text

A practical guide for using statistical tests to assess randomized algorithms in software engineering by Arcuri, Andrea, Briand, Lionel

“…Randomized algorithms have been used to successfully address many different types of software engineering problems. This type of algorithms employ a degree of…”
Get full text

Assessing the Safety of Glyphosate: Comparing IARC, EFSA and EPA procedures, transparency, and outcomes for environmental health by Y, Hendlin, A, Arcuri

Get full text

Methods for Helping Students Avoid Plagiarism by Landau, Joshua D., Druen, Perri B., Arcuri, Jennifer A.

“…Evidence has suggested that some forms of plagiarism might result from students' inadequate knowledge of proper citation techniques (Roig, 1997). We taught…”
Get full text

Very late hepatic arterial thrombosis manifesting as central biliary necrosis: A rare presentation by Soares, Vitor A., Arcuri, Roberto A., Parente, Daniella B., Marchiori, Edson

“…Key Clinical Message Hepatic artery thrombosis should always be considered on a liver graft recipient with mild and nonspecific symptoms, even after a decade…”
Get full text

Hyperalgesic and edematogenic effects of Secapin-2, a peptide isolated from Africanized honeybee (Apis mellifera) venom by Mourelle, D., Brigatte, P., Bringanti, L.D.B., De Souza, B.M., Arcuri, H.A., Gomes, P.C., Baptista-Saidemberg, N.B., Ruggiero Neto, J., Palma, M.S.

“…•Secapin was described in bee venom 38 years ago, and despite of this nothing is known about its action.•A novel variant form of the peptide Secapin was…”
Get full text