Literatura académica sobre el tema "Checkley, John"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Checkley, John".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Checkley, John"

1

Ho, Son, Aymeric Fromherz, and Jonathan Protzenko. "Sound Borrow-Checking for Rust via Symbolic Semantics." Proceedings of the ACM on Programming Languages 8, ICFP (2024): 426–54. http://dx.doi.org/10.1145/3674640.

Texto completo
Resumen
The Rust programming language continues to rise in popularity, and as such, warrants the close attention of the programming languages community. In this work, we present a new foundational contribution towards the theoretical understanding of Rust’s semantics. We prove that LLBC, a high-level, borrow-centric model previously proposed for Rust’s semantics and execution, is sound with regards to a low-level pointer-based language à la CompCert. Specifically, we prove the following: that LLBC is a correct view over a traditional model of execution; that LLBC’s symbolic semantics are a correct abs
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Finch, John. "The outcome of transferring patients positive for COVID-19 from hospitals to care homes." Nursing and Residential Care 24, no. 5 (2022): 1–2. http://dx.doi.org/10.12968/nrec.2022.0025.

Texto completo
Resumen
On 27 April 2022 the Divisional Court of the Queen's Bench Division of the High Court ruled that the Government committed an unlawful act in the early days of the COVID-19 pandemic when it directed that thousands of hospital patients should be transferred to care homes without being checked for infection. This direction was a response to the massive pressure on hospital beds caused by the unexpected onset and rapid spread of the virus. John Finch examines the circumstances which led to this decision being made and the reasons why the courts ruled it as unlawful.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Guzzini, Stefano. "Militarizing politics, essentializing identities: Interpretivist process tracing and the power of geopolitics." Cooperation and Conflict 52, no. 3 (2017): 423–45. http://dx.doi.org/10.1177/0010836717719735.

Texto completo
Resumen
This reply to the Symposium on Stefano Guzzini (ed.) The return of geopolitics in Europe?, answers the criticisms by John Agnew, Jeffrey Checkel, Dan Deudney and Jennifer Mitzen. It justifies (1) its specific definition and critique of geopolitics as a theory – and not just a foreign policy strategy; (2) its proposed interpretivist process tracing; (3) the role of mechanisms in constructivist theorizing and foreign policy theory; and (4) its usage of non-Humean causality in the analysis of multiple parallel processes and their interaction. At the same time, it develops the logic of the book’s
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Martin, Lily. "Review of the Johns Hopkins Coronavirus (COVID-19) Self-Checker: An Interactive Consumer Health Information Experience." Journal of Consumer Health on the Internet 25, no. 1 (2021): 77–90. http://dx.doi.org/10.1080/15398285.2020.1827858.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Purrostami, Hamed. "Examination of the View of John Burton Concerning the Relationship between Abrogation and Collection of the Qurʾān". Review of European Studies 9, № 1 (2017): 254. http://dx.doi.org/10.5539/res.v9n1p254.

Texto completo
Resumen
The British Qurʾānic researcher, John Burton, believes that the extant Qurʾān was organised and approved by the Prophet of Islam himself. The role of the Prophet of Islam in collection and promulgation of the Qurʾān was negated in favour of the concept of abrogation. Abrogation of both wording and ruling and abrogation of wording, but not of ruling are ideas fabricated by Muslim jurists attempting to base their juristic decrees on the Qurʾān even though the Qurʾānic text lacked any reference to such decrees. If the Prophet of Islam had, in fact, edited, checked, and promulgated the Qurʾānic do
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Norman, J. W., and A. N. Sparks. "Control of SPW in Cotton, 1991." Insecticide and Acaricide Tests 17, no. 1 (1992): 239. http://dx.doi.org/10.1093/iat/17.1.239.

Texto completo
Resumen
Abstract In Test 1 Temik and Thimet were applied to 6-row, irrigated plots (38 inch row widths), clay loam soil type, which accounted for approximately 0.3 acres each, replicated 4 times on 8 Mar. Applications were made either at-planting with a John Deere Max Emerge planter/applicator and/or side-dressed at bloom stage with a Gandy brand insecticide applicator. In Test 2 Temik at the rate of 3.0 lb(AI)/acre was applied side-dress at bloom. Gandy brand insecticide applicators were used to apply the material to the 4 replicated plots arranged in a randomized complete block. SPW (adults, eggs, i
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

L., J. F. "SMEAR." Pediatrics 84, no. 4 (1989): A68. http://dx.doi.org/10.1542/peds.84.4.a68.

Texto completo
Resumen
Imagine that you won a Nobel Prize at age 37. That you've published some 400 papers on genetics and the human immune system. That you've built from scratch a highly respected scientific research center, the Whitehead Institute in Cambridge, Mass. And then imagine that you wake up one morning and read in the hometown paper that you're accused of what "appears to be fraud and misrepresentation." The accusation is from a "Pete Stockton," whom you've never met, but who the paper says is a "staff member for Rep. John Dingell." That's more or less what happened to David Baltimore a year ago. His exp
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Magodora, Mangwiro, Hiranmoy Mondal, Sandile Motsa, and Precious Sibanda. "Effect on Entropy Generation Analysis for Heat Transfer Nanofluid Near a Rotating Disk Using Quasilinearization Method." Journal of Nanofluids 11, no. 3 (2022): 318–27. http://dx.doi.org/10.1166/jon.2022.1848.

Texto completo
Resumen
The study considers gold-water nanofluid flow past a porous rotating disk while accounting for prescribed heat flux and suction at the boundary layer of the disk. The physical parameters of the nanoparticle volume fraction, magnetic parameter and entropy generation are investigated and presented in this paper. The numerically solved nonlinear equations by the spectral quasilinearization technique. The main findings are presented in graphical form and discussed for variations of the flow parameters. The findings indicate that increased nanoparticle volume concentration fall in velocity but a ov
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Gangadhar, K., M. Venkata Subba Rao, K. Venkata Ramana, Ch Suresh Kumar, and Ali J. Chamkha. "Thermal Slip Flow of a Three-Dimensional Casson Fluid Embedded in a Porous Medium with Internal Heat Generation." Journal of Nanofluids 10, no. 1 (2021): 58–66. http://dx.doi.org/10.1166/jon.2021.1770.

Texto completo
Resumen
Present assessment is considered to analysis flow as well as heat characteristics of steady, thermal slip flow of three-dimensional Casson fluid embedded in a porous medium with internal heat generation. Geometry of the present analysis is linearly stretched surface. Later, all the PDEs corresponding to the study are altered to set of nonlinear equations ODEs by means of appropriate similarity transformations. An efficient numerical scheme of spectral relaxation method (SRM) is applied to solve the nonlinear ordinary system. Variations of Nusselt number, temperature, velocity, and local skin f
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Mahmood, Tahir, Sumera Khalid, and Urwah Iftikhar. "Coverage of Cross Border Terrorism by Op-Ed of Global Press: A War and Peace Journalism Perspective." Global Political Review IV, no. I (2019): 11–21. http://dx.doi.org/10.31703/gpr.2019(iv-i).02.

Texto completo
Resumen
This study is a content analysis of Op-rd from US, Chinese, Indian and Pakistani press. It is based on the war journalism frame and peace journalism frame devised by John Galtung. Convenient sampling method was used and each paragraph was taken as a unit of analysis. Statistical analysis was done using SPSS 20.0. The study checked the overall inclination of a countrys press with the perspective of war and peace journalism. The study analyzed the data from three year and found the significant results. It was observed that press of almost all countries are doing war journalism in sizeable measur
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Checkley, John"

1

Slafter, Edmund F. 1816-1906. John Checkley; or, the Evolution of Religious Tolerance in Massachusetts Bay. Including Mr. Checkley's Controversial Writings; His Letters and Other Papers: V. 2. Creative Media Partners, LLC, 2018.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Index to 1851 census, parish of Reay, County of Caithness: Checked and indexed by John & Beryl Durham. Highland Family History Society, 2001.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Stille, Mark, and John Rogers. New Guinea 1942–43. Bloomsbury Publishing Plc, 2025. https://doi.org/10.5040/9781472866578.

Texto completo
Resumen
Lavishly illustrated, this book studies the role of airpower in the New Guinea battles of 1942–43, as the Allies checked and halted Japan's last significant offensives. Mark Stille and John Rogers offer a new history of a previously neglected part of the South Pacific air war - the battles over New Guinea and the waters around it. The first of two books on the subject, drawing on Japanese, American and Australian sources, it details operations from February 1942 until April 1943, which saw the Allies stop the last Japanese efforts to expand their faltering empire. Allied air operations focused
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Checkley, John"

1

Bell, James B. "A Handmaiden for Episcopacy: John Checkley of Boston." In A War of Religion. Palgrave Macmillan UK, 2008. http://dx.doi.org/10.1057/9780230583214_3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Noë, Alva. "What Is a Fact?" In Learning to Look. Oxford University Press, 2022. http://dx.doi.org/10.1093/oso/9780190928216.003.0043.

Texto completo
Resumen
This chapter reflects on facts. It looks at John D'Agata and Jim Fingal's book The Lifespan of a Fact. D'Agata is an essayist, while Fingal is a much younger man who had been hired by The Believer as a fact-checker to review one of D'Agata's essays for publication. Fingal ended up writing more than a hundred pages’ worth of corrections on D'Agata's essay. However, D'Agata defended his facts and his choices. He gave up in the end, though; the version of the essay that appeared in The Believer was a fact-checked, corrected version. The Lifespan of a Fact is a book they put together after the dus
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Schachter, Carl. "A Commentary on Schenker’s Free Composition." In Unfoldings, edited by Joseph N. Straus. Oxford University PressNew York, NY, 1998. http://dx.doi.org/10.1093/oso/9780195120134.003.0008.

Texto completo
Resumen
Abstract Heinrich Schenker’s Der freie Satz is surely one of the most important books on music in the entire Western tradition; it is also one of the most difficult. Free Composition is the late Ernst Oster’s magnificent English translation of this work, amplified by extremely helpful annotations, most of them by Oster himself, but some by Oswald Jonas, who edited the second German edition, and by John Rothgeb, who checked the translation after Oster’s untimely death.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Pennington, T. Hugh. "The Inspectors Fail." In When Food Kills. Oxford University PressOxford, 2003. http://dx.doi.org/10.1093/oso/9780198525172.003.0004.

Texto completo
Resumen
Abstract What went wrong at Barr’s was not due to bad food law. If good modern legislation was there to protect the public by setting hygiene standards in food businesses and by creating incentives for good practice by punishing those who sold products dangerous to health, why were the laws not being enforced? It was not because Barr’s was being ignored. In the two years before the outbreak his premises had been visited by inspectors eight times, and checked in an informal way by one of his big customers, John Devine.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Osborne, Thomas J. "Footprints in Sand." In Coastal Sage. University of California Press, 2017. http://dx.doi.org/10.1525/california/9780520283084.003.0007.

Texto completo
Resumen
News of Douglas’s death triggered a plethora of newspaper obituaries and other valedictory pronouncements from the California legislature and Congress. Most of these hailed his leadership; some compared him to John Muir. During a 34-year career with the Coastal Commission Douglas witnessed an overall severe cut in the agency’s funding and staffing; still, development had been checked and regulated while California registered the nation’s largest coastal economy, proving that effective regulation and economic growth could be compatible. Moreover, beach access had been increased substantially. T
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Oghabi Giti, Bentahar Jamal, and Benharref Abdelghani. "Model Checking Single Web Services using Markov Chains and MDPs." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2011. https://doi.org/10.3233/978-1-60750-831-1-20.

Texto completo
Resumen
This paper proposes a new verification method for individual web service specified using OWL-S, the Ontology Web Language for semantic web Services, where probabilities are introduced to model uncertain choices. The approach makes use of a probabilistic model checker named PRISM. The web service description is received as an input in form of OWL-S, which is analyzed and automatically transformed into a Discrete Time Markov Chain (DTMC) or a Markov Decision Process (MDP). The obtained DTMC/MDP is then processed and coded into the PRISM language. This code is parsed and verified by the PRISM mod
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Janney, Caroline E. "To Johnston’s Army." In Ends of War. University of North Carolina Press, 2021. http://dx.doi.org/10.5149/northcarolina/9781469663371.003.0009.

Texto completo
Resumen
By late April, many of those Confederates who had absconded from Appomattox were nearing their North Carolina destinations determined to join forces with Johnston's Army of Tennessee. The presence of both paroled and unparoled rebel soldiers in the state spiraled out of control when some began to ransack warehouses filled with much needed goods in Greensboro. Even when such chaos was checked, the soldiers from Lee's army discovered that Johnston would not accept their service. Some finally gave up their war. But others remained determined to continue the fighting, pressing farther south in sea
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Wilson, Sondra Kathryn. "The Negro and the Supreme Court." In In Search of Democracy. Oxford University PressNew York, NY, 1999. http://dx.doi.org/10.1093/oso/9780195116335.003.0044.

Texto completo
Resumen
Abstract President Hoover nominated Judge John J. Parker, a circuit court judge from North Carolina, to be an associate justice of the Supreme Court. Within one week Walter White had checked into Parker’s record and learned that ten years before, when Parker was a candidate for governor of North Car olina, the Greensboro Daily News quoted him as saying, “The participation of the Negro in politics is a source of evil and danger to both races and is not desired by the wise men in either race or in the Republican Party of N.C.” Walter White believed that any jurist who maintained such a view poin
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Devi, A. Sangeerani, C. Saffina, Kiran Sree Pokkuluri, Shraddha V. Pandit, M. V. Rama Prasad, and Goutam Tanty. "Collective Dynamics of “Small-World” Networks Enhanced by Quantum Technology for Trusted AI Transactions." In Advances in Computational Intelligence and Robotics. IGI Global, 2024. http://dx.doi.org/10.4018/979-8-3693-5832-0.ch009.

Texto completo
Resumen
Based on this research, the authors think that quantum technologies could be used to make small-world networks work better so that AI transactions can be trusted. The goal is to build small-world networks powered by quantum mechanics to reduce the risks that come from bad actors and people who don't have permission to join them. This will make it possible for AI agents to converse and do business safely. The ability of AI agents to carry out deals that can be trusted and checked is looked into in terms of the new features of quantum-enhanced small-world networks. The authors also look into how
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Chu, C. Y. Cyrus. "Introduction." In Population Dynamics. Oxford University Press, 1998. http://dx.doi.org/10.1093/oso/9780195121582.003.0004.

Texto completo
Resumen
The classical model of Malthus ([1783] 1970) can be described as a supply-side, dynamic, macro theory of population. It is a supply-side theory because Malthus did not emphasize the role of individual demand decisions on population-related variables. Individuals in ancient times certainly had their preferences for children and marriage; but Malthus assumed that such preferences would by and large be checked by natural constraints and that only when families had sufficient incomes would their preferences for children and marriage be effectively revealed (Schultz, 1981). In ancient times, when t
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Checkley, John"

1

Dewan, Prasun, Andrew Worley, Samuel George, et al. "Hands-On, Instructor-Light, Checked and Tracked Training of Trainers in Java Fork-Join Abstractions." In 2022 IEEE 29th International Conference on High Performance Computing, Data and Analytics Workshop (HiPCW). IEEE, 2022. http://dx.doi.org/10.1109/hipcw57629.2022.00009.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Ershov, Sergey, Alexey Voloboy, Dmitriy Zhdanov, and Andrey Zhdanov. "Calculation of MIS Weights for Bidirectional Path Tracing with Photon Maps." In International Conference "Computing for Physics and Technology - CPT2020". Bryansk State Technical University, 2020. http://dx.doi.org/10.30987/conferencearticle_5fce2770c2a855.82436756.

Texto completo
Resumen
A widely used method for noise reduction in Monte-Carlo ray tracing is combing different means of sampling, known as multiple importance sampling (MIS). For bi-directional Monte-Carlo ray tracing with photon maps (BDPM), the join paths are obtained by merging camera and light sub-paths, and since several light paths are checked again the same camera path, and vice versa, the join paths obtained are not statistically independent. Thus the noise in this method obeys laws different from those in simple classic Monte-Carlo with independent samples so the weights that minimize that noise must also
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Ershov, Sergey, Alexey Voloboy, Dmitriy Zhdanov, Andrey Zhdanov, and Vladimir Frolov. "Direct calculation of the optimal weight for MIS." In International Conference "Computing for Physics and Technology - CPT2020". Bryansk State Technical University, 2020. http://dx.doi.org/10.30987/conferencearticle_5fce2770d0d3a2.87759820.

Texto completo
Resumen
A Monte-Carlo ray tracing is nowadays standard approach for lighting simulation and generation of realistic images. A widely used method for noise reduction in Monte-Carlo ray tracing is combing different means of sampling, known as Multiple Importance Sampling (MIS). For bi-directional Monte-Carlo ray tracing with photon maps (BDPM) the join paths are obtained by merging camera and light sub-paths. Since several light paths are checked against the same camera path and vice versa, the join paths obtained are not statistically independent. Thus the noise in this method does not obey the laws wh
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Sousa, Tiago, Benoˆıt Ries, and Nicolas Guelfi. "Formal Verification of Ecosystem Restoration Requirements using UML and Alloy." In 4th International Conference on Machine Learning Techniques and NLP. Academy & Industry Research Collaboration, 2023. http://dx.doi.org/10.5121/csit.2023.131609.

Texto completo
Resumen
United Nations have declared the current decade (2021-2030) as the ”UN Decade on Ecosystem Restoration” to join R&D forces to fight against the ongoing environmental crisis. Given the ongoing degradation of earth ecosystems and the related crucial services that they offer to the human society, ecosystem restoration has become a major society-critical issue. It is required to develop rigorously software applications managing ecosystem restoration. Reliable models of ecosystems and restoration goals are necessary. This paper proposes a rigorous approach for ecosystem requirements modeling us
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Liu, Zhenhui, Ragnar Igland, Sindre Bruaseth, and Luca Ercoli-Malacari. "Dynamic Analysis of a Subsea Spool Under Dropped Container Impact Loads." In ASME 2020 39th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/omae2020-18578.

Texto completo
Resumen
Abstract A rigid subsea spool is used to connect the riser of a jacket platform to oil export pipeline in Johan Sverdrup oil field. The location is within the lifting zones of the platform. Consequently, the dropped object hazard has potential high risk and needs to be checked. This paper presents a numerical model on accessing the structural dynamics of subsea spool under the dropped container impact loads by using de-coupled local and global model. The impact impulse was obtained from local impact analysis by Abaqus Explicit solver, in which deformations from container and pipeline are both
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Hourmouziadis, Jean, Norbert Schroeder, Klaus Biegi, Klaus-Juergen Schmidt, Stephan Servaty, and Wolfgang Gärtner. "A Multimedia Aeroengine Design Course With Industry Support." In ASME Turbo Expo 2000: Power for Land, Sea, and Air. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/2000-gt-0585.

Texto completo
Resumen
The Jet Propulsion Laboratory at the Berlin University of Technology has recently introduced a multimedia aeroengine design project under the working title “Project Jet Propulsion”. The seminar, in which the German aeroengine industry is actively involved, is directed at students who have successfully finished their basic engineering training course. The objective of the course is to provide experience of all stages of the complete design process of an engine component in a genuine industrial working environment. The component is selected to ensure that a wide range of design requirements, inc
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Checkley, John"

1

Johnson, Emily, Sofia Andeskie, Justin Tweet, and Vincent Santucci. Mojave National Preserve: Paleontological resource inventory (public version). National Park Service, 2023. http://dx.doi.org/10.36967/2299742.

Texto completo
Resumen
Mojave National Preserve (MOJA) in the Mojave Desert of southern California hosts an extensive geologic record, with units ranging in age from the Paleoproterozoic (2.5 to 1.7 billion years ago) to the Quaternary (present day). MOJA topography is dominated by numerous mountain ranges hosting extensive geological exposures divided by expansive valleys, dunes, and a low elevation dry salt lake. Some geological units are fossil-bearing, both within the preserve and in adjacent lands outside the boundaries of the preserve. The fossils preserved within MOJA span from the Proterozoic Eon (uncertain
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Johnson, Emily, Sofia Andeskie, Justin Tweet, and Vincent Santucci. Mojave National Preserve: Paleontological resource inventory (sensitive version). National Park Service, 2023. http://dx.doi.org/10.36967/2299463.

Texto completo
Resumen
Mojave National Preserve (MOJA) in the Mojave Desert of southern California hosts an extensive geologic record, with units ranging in age from the Paleoproterozoic (2.5 to 1.7 billion years ago) to the Quaternary (present day). MOJA topography is dominated by numerous mountain ranges hosting extensive geological exposures divided by expansive valleys, dunes, and a low elevation dry salt lake. Some geological units are fossil-bearing, both within the preserve and in adjacent lands outside the boundaries of the preserve. The fossils preserved within MOJA span from the Proterozoic Eon (uncertain
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!