... a five-hundred-year-old messianic man called Arcangel, who fights under the name of El Gran ... ring in the prematch show of self-promotion, Arcangel declares: I do not defend my title for ... is not a rock concert. (259)2 When Arcangel mocks the popular slogans with which the First ... the ultimate basis for a singular, collective "we." Arcangel's critical role must be understood in light of the unmistakable authority that Yamashita endows him. Arcangel is a prophet and a messiah who masquerades ... and of the Third World.3 So when Arcangel rebuts the global village sentiments, he is not ...
Tópico(s): Gender, Feminism, and Media
2007 - Johns Hopkins University Press | Modern fiction studies
... in 2004, and the latter, Masters, by Cory Arcangel, was first exhibited at the Whitney Museum of ... emulators, PC game modding, and console hacking.”1 Arcangel has described his interests in similar terms. In ... to order a pizza using command line code, Arcangel described it as “for nerds only.”2 The “ ... although similar in key respects to those by Arcangel and Condon, are of an altogether different vintage. ...
Tópico(s): Digital Games and Media
2015 - Johns Hopkins University Press | Modernism/modernity
... de la batería apareció en el homenaje, el arcángel San Miguel, de cuya voz y visión así ... dejaron el combate é hicieron silencio: entonces el arcángel dijo á los Moros: 'Si Dios mirase á ...
Tópico(s): Libraries, Manuscripts, and Books
2013 - Johns Hopkins University Press | MLN
Produção Nacional
Frank Zeyda, Marcel Oliveira, Ana Cavalcanti,
ArcAngel is a specialised tactic language devised to facilitate and automate program developments using Morgan's refinement ... In this paper, we present an implementation of ArcAngel for the ProofPower theorem prover. We discuss the ... design, explain how it implements the semantics of ArcAngel, and examine differences in expressiveness and flexibility in comparison to ProofPower's in-built tactic language. ArcAngel supports backtracking through angelic choice; this is beyond ...
Tópico(s): Software Engineering Research
2009 - Elsevier BV | Electronic Notes in Theoretical Computer Science
Produção Nacional
Revisado por pares
Frank Zeyda, Marcel Oliveira, Ana Cavalcanti,
Abstract ArcAngel is a tactic language devised to facilitate and automate program developments using Morgan’s refinement calculus. It ... In this paper, we present an implementation of ArcAngel for the ProofPower theorem prover. We discuss the ... design, explain how it implements the semantics of ArcAngel, and examine the interplay between ArcAngel tactics and the native reasoning support of the prover. We also discuss several extensions of ArcAngel that have been entailed by our implementation effort. ...
Tópico(s): Security and Verification in Computing
2011 - Springer Science+Business Media | Formal Aspects of Computing
Daniel M. González-Cueto, M Rigoli, L Gioseffi, Beatriz Lancelle, Arcángel Martínez,
Tópico(s): Pneumocystis jirovecii pneumonia detection and treatment
1970 - Elsevier BV | The American Journal of Medicine
Corrine S. Arcangel, Rich D. Johnston, Beverly Bishop,
One hundred seconds of vibration of the Achilles tendon at a frequency of fifty-three hertz suppressed both the Achilles tendon reflex (ATR) and the H-response in each of the fourteen normal subjects tested. After vibration stopped, the ATR was potentiated and the H-response returned but was depressed. Neural mechanisms are proposed to explain these interactions of the tonic and phasic stretch reflexes.
Tópico(s): Muscle activation and electromyography studies
1971 - Oxford University Press | Physical Therapy
... DC, esta esculpido con la figura de un arcángel y conserva una cantidad de ornamentación pintada sin ...
Tópico(s): Conservation Techniques and Studies
2009 - Taylor & Francis | Journal of the Institute of Conservation
Andrea Becchetti, Annarosa Arcangeli, Maria Riccarda Del Bene, Massimo Olivotto, Enzo Wanke,
... 978-1-4615-6039-5_5, (86-110), . Arcangel A, Faravelli L, Bianchi L, Rosati B, Gritti ...
Tópico(s): Lipid Membrane Structure and Behavior
1992 - Royal Society | Proceedings of the Royal Society B Biological Sciences
Produção Nacional
Revisado por pares
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock,
Tópico(s): Logic, programming, and type systems
2003 - Springer Science+Business Media | Formal Aspects of Computing
Rafael Arcangel Prado, L.E. Murr, K. F. Soto, J.C. McClure,
Tool wear and the rate of wear for hardened, steel, right-hand screws rotating at 1000 rpm in the friction-stir welding of Al 6061+20 vol.%Al2O3 particles were observed to decrease for increasing weld or traverse speeds. When sufficiently long traverse distances were reached, tool wear became small or negligible, and an optimized tool shape emerged. This shape was slightly different at 6 and 9 mm s−1 weld speeds but in each case a self-optimized tool shape emerged. This self-optimizing wear phenomena ...
Tópico(s): MXene and MAX Phase Materials
2003 - Elsevier BV | Materials Science and Engineering A
Produção Nacional
Revisado por pares
Marcel Oliveira, Frank Zeyda, Ana Cavalcanti,
... applied as single transformation rules. Here, we present ArcAngel C , a language for defining such tactics; we ...
Tópico(s): Software Testing and Debugging Techniques
2010 - Elsevier BV | Science of Computer Programming
Emily Williams Kelly, Dianne Arcangel,
Growing public interest in the phenomenon of mediumship, particularly among bereaved persons, suggests the need for renewed controlled studies of mediums, both to provide potential clients with criteria for judging mediums and to help researchers learn whether they can produce specific and accurate information to which they have had no normal access and, if so, under what conditions. Two research studies were conducted in which mediums provided readings about particular deceased persons to a proxy ...
Tópico(s): Grief, Bereavement, and Mental Health
2011 - Lippincott Williams & Wilkins | The Journal of Nervous and Mental Disease
Sansan Lin, Phillip Arcangel, Angelica Medina-Selby, Doris Coit, Philip Ng, Steve Nguyen, Colin S. McCoin, Alex Gyenes, Celine Hu, Laura Tandeske, Bruce H. Phelps, David Chien,
ABSTRACT The current commercially licensed enzyme-linked immunosorbent assays (ELISAs) for hepatitis C virus (HCV) mainly use recombinant proteins containing linear epitopes. There is evidence, however, that conformational epitopes of HCV are more immunoreactive. Thus, we have designed an HCV antibody assay that employs a conformational protein, NS3NS4a PI (with functional protease and helicase activities), and a linear fusion protein, multiple-epitope fusion antigen 7.1 (MEFA 7.1) or MEFA 7.2. We have ...
Tópico(s): Protein purification and stability
2005 - American Society for Microbiology | Journal of Clinical Microbiology
Annarosa Arcangel, Laura Faravelli, Laura Bianchi, Barbara Rosati, Angela Gritti, Angelo Vescovy, Enzo Wanke, Massimo Olivotto,
Changes in the resting potential (Vrest) and in the underlying ionic conductances were measured by the patch-clamp technique in SH-SY5Y human neuroblastoma cells exposed to substrate-bound or soluble Laminin (bLN: sLN), as compared to integrin-independent substrates (polylysine (PL); bovine serum albumin (BSA)). While PL and BSA were ineffective, both forms of LN caused an early (5-15 min) activation of a peculiar type of Inwardly Rectifying K− current (I,ir) characterised by a voltage-dependent inactivation ...
Tópico(s): Receptor Mechanisms and Signaling
1996 - Taylor & Francis | Cell adhesion and communications/Cell adhesion and communication/Cell adhesion & communication
Jorge L. León‐Cortés, Francisco Pérez‐Espinoza, Linda Marín, Arcángel Molina‐Martínez,
Abstract The unique butterfly species, Baronia brevicornis , perhaps the oldest taxon in the Papilionidae, is known to have a very restricted distribution in Mexico. Populations are restricted to southern Mexico in deciduous scrub forest where its host‐plants, Acacia trees (Leguminosae), are common and widespread. Little is known of the conservation implications of its relationship with its host trees. We recorded fine scale population data for larval and adult B. brevicornis in 22 km 2 of fragmented ...
Tópico(s): Species Distribution and Climate Change
2004 - Wiley | Animal Conservation
Venkatakrishna Shyamala, Phillip Arcangel, Joshua Cottrell, Doris Coit, Angelica Medina-Selby, Colin S. McCoin, Dennis Madriaga, David Chien, Bruce H. Phelps,
ABSTRACT Recent clinical studies suggest that hepatitis B virus (HBV) load and genotype may be independent predictors of responses to antiviral therapies. However, it is difficult for clinicians to accurately determine viral loads in patient samples because results—both the values and the units of measure—can vary greatly among different tests. Accordingly, the World Health Organization (WHO) has produced the first international standard for HBV DNA for nucleic acid amplification technology (NAT) assays. ...
Tópico(s): HIV/AIDS drug development and treatment
2004 - American Society for Microbiology | Journal of Clinical Microbiology
Arcángel Molina‐Martínez, Jorge L. León‐Cortés, Helen M. Regan,
Tópico(s): Plant and animal studies
2013 - Springer Science+Business Media | Journal of Insect Conservation
Rafael Arcangel Prado, L.E. Murr, Daisuke Shindo, K. F. Soto,
Refill Friction Stir Spot Welding (refill FSSW) is a method for joining similar and dissimilar lightweight metallic materials or thermoplastic polymers. The technique produces welds that feature suitable mechanical properties with advantages such as the possibility of industrial scalability and automation. Still, some challenges need to be overcome in order to increase the adoption of this technique in industry. Tool wear is a key issue for friction-based processes, since it impacts the process costs ...
Tópico(s): Metal Forming Simulation Techniques
2001 - Elsevier BV | Scripta Materialia
Arcángel Molina‐Martínez, Jorge L. León‐Cortés, Helen M. Regan, Owen T. Lewis, Darío Navarrete, Ubaldo Caballero, Armando Luis‐Martínez,
Abstract Aim To assess the changes in the elevational distribution of 151 butterfly species over a period of 22 years (1988–2011) and investigate whether these changes are related to regional global warming and land use change. Location Sierra de Juárez, Oaxaca, Mexico. Methods Butterflies were surveyed at eight sites spanning elevations ranging from 117 m to 3000 m in 1988, and the same sites were resurveyed in 2010–2011. Changes in the elevational distribution of species and the structure and composition ...
Tópico(s): Lepidoptera: Biology and Taxonomy
2016 - Wiley | Diversity and Distributions
David Y. Chien, Phillip Arcangel, Angelica Medina-Selby, Doris Coit, Mark A. Baumeister, Steve Nguyen, C George-Nascimento, A Gyenes, George Kuo, Pablo Valenzuela,
The genome of hepatitis C virus (HCV) consists of seven functional regions: the core, E1, E2/NS1, NS2, NS3, NS4, and NS5 regions. The U. S. Food and Drug Administration-licensed 2.0G immunoassay for the detection of anti-HCV uses proteins from the core, NS3, and NS4 regions (McHutchinson et al., Hepatology 15:19-25, 1992). The 3.0G enzyme-linked immunosorbent assay includes the protein from the NS5 region (Uyttendaele et al., Vox Sang. 66:122-129, 1994). The necessity of detecting antibodies to viral ...
Tópico(s): Protein purification and stability
1999 - American Society for Microbiology | Journal of Clinical Microbiology
... article takes up three digital artworks, by Cory Arcangel, Katherine Behar, Tega Brain and Surya Mattu, which ...
Tópico(s): Cinema and Media Studies
2017 - SAGE Publishing | Journal of Visual Culture
... also called El Tabacal), La Magdalena, San Miguel Arcángel (later renamed San Basilio de Palenque), and one ...
Tópico(s): Maritime and Coastal Archaeology
2017 - John Benjamins Publishing Company | Contact language library
Subashnie Devkaran, P. N. O'Farrell, Samer Ellahham, Randy Arcangel,
To evaluate whether hospital re-accreditation improves quality, patient safety and reliability over three accreditation cycles by testing the accreditation life cycle model on quality measures.The validity of the life cycle model was tested by calibrating interrupted time series (ITS) regression equations for 27 quality measures. The change in the variation of quality over the three accreditation cycles was evaluated using the Levene's test.A 650-bed tertiary academic hospital in Abu Dhabi, UAE.Each ...
Tópico(s): Medical Malpractice and Liability Issues
2019 - BMJ | BMJ Open
Venkatakrishna Shyamala, Joshua Cottrell, Phillip Arcangel, Dennis Madriaga, Jeff Linnen, Bruce H. Phelps, David Chien,
Nucleic-acid amplification technology (NAT) assays have been implemented for HCV and HIV-1 in the United States, and many parts of Europe, Australia and Asia. Nucleic acid detection assays utilize many different technologies, and the WHO International Standards for nucleic acid tests are widely used to compare them. Currently, several laboratories are developing an assay for simultaneous detection of HCV RNA, HIV-1 RNA and HBV DNA. In the course of such development it was observed that the WHO International ...
Tópico(s): HIV Research and Treatment
2004 - Elsevier BV | Journal of Virological Methods
Edsel Maurice T. Salvaña, Genesis May J. Samonte, Elizabeth Freda O. Telan, Katerina Leyritana, Rosario Jessica Tactacan-Abrenica, Patrick R Ching, Geraldine Arevalo, Niña Theresa Dungca, Christine Peñalosa-Ramos, Kevin Mendoza, Lyka Trinidad, Angelo dela Tonga, Jodor Lim, Raul V. Destura, Marissa Alejandria, Rontgene Solante, Lalaine Arcangel, Noel S. Palaypayon, Brian Schwem,
The Philippines has the fastest growing HIV epidemic in the Asia-Pacific. This increase was accompanied by a shift in the predominant HIV subtype from B to CRF01_AE. Increasing evidence points to a difference in treatment responses between subtypes. We examined treatment failure and acquired drug resistance (ADR) in people living with HIV (PLHIVs) after one year on antiretrovirals (ARVs).PLHIV maintained on ARVs for one year were recruited. Treatment failure was defined as a viral load of ≥1000 copies/ ...
Tópico(s): HIV/AIDS Research and Interventions
2020 - Elsevier BV | International Journal of Infectious Diseases
Luis Fernando Pérez, Miguel I. Gómez,
... One case deals with a vertically integrated business (Arcángel Miguel) while the other focuses on an association ...
Tópico(s): Wine Industry and Tourism
2022 - Emerald Publishing Limited | Journal of Agribusiness in Developing and Emerging Economies
Jessé Román, Arcángel Rodríguez-Marcano,
En el invernadero se realizaron dos experimentos para determinar el efecto del hongo Paecilomyces lilacinus sabro la población de larvas de Meloidogyne incognita y la nodulación producida en las raíces de la cultivar de tomate Floradel. Las plantas se inocularon con el hongo solo, el nematodo solo o con ambos a diferentes intervalos de tiempo. A los 60 días el hongo controló los nematodos y redujo la formación de nódulos en las raíces. En el primer experimento, las plantas que se inocularon con ...
Tópico(s): Nematode management and characterization studies
1985 - University of Puerto Rico | The Journal of Agriculture of the University of Puerto Rico
Lindsay Palmer, Sherry Pagoto, Deja Workman, Kathrine A. Lewis, Lauren R. Rudin, Nina De Luna, Valeria Herrera, Nathanial P. Brown, Jessica Bibeau, Kaylei Arcangel, Molly E. Waring,
Objective: We examined undergraduates' concerns about returning to campus and online learning from home. Participants: Undergraduates majoring in STEM (Science, Technology, Engineering, and Mathematics) at US universities/colleges. Methods: Participants completed an online survey in July 2020. We content-analyzed responses to open-ended questions about concerns about fall 2020. Results: Students (N = 64) were 52% women, 47% low socioeconomic status (SES), and 27% non-Hispanic white. Concerns about returning ...
Tópico(s): COVID-19 and Mental Health
2021 - Taylor & Francis | Journal of American College Health
Julio Vilaboa-Arròniz, Pablo Díaz‐Rivera, Díego Esteban Platas-Rosado, Eusebio Ortega-Jiménez, Miguel Arcángel Rodríguez Chessani,
Resumen es: El bajo rendimiento de carne por animal y la excesiva dependencia de insumos como: mano de obra y alimentos; asi como altos costos de produccion en los...
Tópico(s): Sustainable Agricultural Systems Analysis
2006 - Associação Interciencia | Interciencia