Log in

Relevant bibliographies by topics / Boogie framework

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers

Academic literature on the topic 'Boogie framework'

Author: Grafiati

Published: 6 September 2023

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Boogie framework.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Boogie framework"

1

Dardinier, Thibault, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, and Peter Müller. "Formal Foundations for Translational Separation Logic Verifiers." Proceedings of the ACM on Programming Languages 9, POPL (2025): 569–99. https://doi.org/10.1145/3704856.

Full text

Abstract:

Program verification tools are often implemented as front-end translations of an input program into an intermediate verification language (IVL) such as Boogie, GIL, Viper, or Why3. The resulting IVL program is then verified using an existing back-end verifier. A soundness proof for such a translational verifier needs to relate the input program and verification logic to the semantics of the IVL, which in turn needs to be connected with the verification logic implemented in the back-end verifiers. Performing such proofs is challenging due to the large semantic gap between the input and output p

APA, Harvard, Vancouver, ISO, and other styles

2

Son, Jaeyoung. "Online to Offline Expansion Strategy of Digital Contents: A Case study of Chinese Digital Animation Boonie Bears." Academic Association of Global Cultural Contents 39 (May 31, 2019): 114–29. http://dx.doi.org/10.32611/jgcc.2019.5.39.114.

Full text

Abstract:

<Boonie Bears> has been one of the most successful digital animation products in China since 2012. The reason why we focus on this animation series is that the IP holder Huaqiang group make the animation a bigger business through combining it with “space business” in offline. This article tried to analyze <Boonie Bears> case as a strategy of expansion from online digital content to offline space business and license merchandise, based on case study research methodology of Dr. Robert K Yin. I summarized two theories of online and offline cross marketing and transmedia storytelling a

APA, Harvard, Vancouver, ISO, and other styles

3

Honma, Todd, and Anthony Francoso. "A Sun that Never Sets: Eastern Cherokee Tattoo Artist John Henry Gloyne and the Aesthetics of Reimagining." American Indian Quarterly 47, no. 4 (2023): 324–51. http://dx.doi.org/10.1353/aiq.2023.a921873.

Full text

Abstract:

Abstract: This article examines a selection of work by contemporary tattoo artist John Henry Gloyne (Eastern Band of Cherokee Indians) to understand how tattooing functions as an Indigenous creative practice that can imagine alternative realities and reestablish connections to Native pasts and presents. Gloyne's work redefines contemporary Native tattooing by highlighting its continuing significance and artistic innovations in the present. In doing so, Gloyne's work challenges the settler notion that Native cultural practices are static and stuck in the past. The authors' analysis includes Glo

APA, Harvard, Vancouver, ISO, and other styles

4

Zerina, Bruçi, and Bozdo Anilda. "A Literature Review on the Determinants and Measures of Competition in Banking Sector." ECONOMICUS, no. 14 (June 24, 2016): 106–27. https://doi.org/10.5281/zenodo.7584962.

Full text

Abstract:

Abstract The level of competition in the banking sector is important to the performance of the sector and has different implications in other key markets in the economy. Competition in the banking sector is extremely important because of the central role that banks have in (1) welfare enhancing for consumers and businesses, (2) the transmission of monetary policy and (3)the maintenance of financial stability. The complexity of the notion of competition and its importance for the overall economic development has led to the development of different models and measures to assess its level in the

APA, Harvard, Vancouver, ISO, and other styles

5

Kanagavalli, C. "Gynocentric concerns in the choreopoems of Ntozake Shange." Sexuality, Gender & Policy, December 19, 2024. https://doi.org/10.1002/sgp2.12110.

Full text

Abstract:

AbstractChoreopoetry is a unique form of artistic expression that combines poetry, music, and dance to create a multi‐dimensional performance art form. Shange's choreopoems challenged societal norms around gender, sexuality, and race, and helped to pave the way for feminist and African‐American literature. This research paper analyzes the gynocentric concerns in Ntozake Shange's choreopoems, which are a combination of poetry, music, and dance. Through the lens of gynocentrism, the paper explores how Shange's works prioritize the experiences and perspectives of Black women and challenge societa

APA, Harvard, Vancouver, ISO, and other styles

6

Zendaki, Yaman, Ba‐Trung Cao, Janosch Stascheit, et al. "Coupling process controlling data and numerical simulation in mechanised tunnelling." Geomechanics and Tunnelling, June 11, 2024. http://dx.doi.org/10.1002/geot.202400011.

Full text

Abstract:

AbstractNowadays, both process data management and numerical analysis are necessary for decision‐making in a tunnel project from its early design stage to the construction phase. Traditional generation of simulation models largely depends on tunnel design and reports, which are error prone due to the involvement of manual intervention. This article presents the application of a digital workflow to efficiently transfer automatically acquired data from tunnel projects to computational simulations. The application workflow is developed and executed through a web‐based environment. Project data fr

APA, Harvard, Vancouver, ISO, and other styles

7

Zeng, Wenna, and Kara Chan. "Heroism as Narrative Strategy: Children’s Animation and Modernity in Chinese TV." Television & New Media, June 25, 2020, 152747642093358. http://dx.doi.org/10.1177/1527476420933584.

Full text

Abstract:

Entertaining animated television programs often carry significant educational and national discourses that are rarely given much scholarly attention. This article examines the Chinese children’s animation program Boonie Bears and explores its narrative strategies in portraying heroism. By employing content analyses, in-depth interviews, and focus groups, the article discusses how producers construct animation heroes according to the ideological framework of the Communist Party, economic preferences embedded in the Chinese market, and broader cultural expectations held by society. Finally, this

APA, Harvard, Vancouver, ISO, and other styles

8

Villain, Nicolas, Bernard J. Hanseeuw та Vincent Planche. "Towards a sole β‐amyloid‐centered definition of Alzheimer’s disease? Risks and alternatives". Alzheimer's & Dementia 20, S5 (2024). https://doi.org/10.1002/alz.089096.

Full text

Abstract:

AbstractAimsThe Alzheimer Association (AA) has proposed new diagnostic criteria for Alzheimer’s disease (AD) based on biomarkers coinciding with β‐amyloidosis onset. However, there are concerns regarding the implications of these criteria.MethodsWe reviewed several perspectives, including disease definition, public health, philosophy, therapeutic, and diagnostic.Results1. Disease definition – the AA definition displays limited and heterogeneous predictive capabilities of lifetime clinical progression in asymptomatic individuals, and a different disease label may be used, as seen in other examp

APA, Harvard, Vancouver, ISO, and other styles

9

Nicoll, Malcolm A. C., Audrey Jaeger, Aurelie Hector, Jake Letori, Gerard Rocamora, and Matthieu Le Corre. "Sub-colony variation in foraging behaviour and at-sea distribution of a breeding tropical seabird and consequences for marine spatial planning." Marine Biology 172, no. 1 (2024). https://doi.org/10.1007/s00227-024-04573-5.

Full text

Abstract:

AbstractMany species of seabirds are threatened and understanding their at-sea distributions during breeding is a priority for their conservation. Recent developments in tracking technology, data analytical frameworks and tools are proving invaluable in the identification of at-sea areas of high use and hence conservation importance, which can be used to inform marine spatial planning. However, the outputs from these frameworks and tools are contingent on the underlying tracking data, which are shaped by the myriad of decisions made when designing and implementing a tracking program. These dec

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Boogie framework"

1

Reicherdt, Robert [Verfasser], Sabine [Akademischer Betreuer] Glesner, Holger [Gutachter] Giese, Odej [Gutachter] Kao, and Sabine [Gutachter] Glesner. "A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie / Robert Reicherdt ; Gutachter: Holger Giese, Odej Kao, Sabine Glesner ; Betreuer: Sabine Glesner." Berlin : Technische Universität Berlin, 2015. http://d-nb.info/1156276586/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Booyse, Johannes Jacobus. "Managing outsource agreements between client organisations and suppliers / Booyse J.J." Thesis, North-West University, 2011. http://hdl.handle.net/10394/7338.

Full text

Abstract:

The outsourcing of non–core Information and Communication Technology services in the ICT industry has been successfully conducted for many years based on various models and frameworks. Client organisations embark on this for many reasons including cost savings, access to specialised skills and access to global resources to name but a few. This study identified and evaluated the management of outsource agreements between client organisations and suppliers with specific focus on creating an understanding of those factors that has a direct impact on the success of outsource agreements. The primar

APA, Harvard, Vancouver, ISO, and other styles

3

Arora, Himanshu. "Checking Observational Purity of Procedures." Thesis, 2018. https://etd.iisc.ac.in/handle/2005/5298.

Full text

Abstract:

We provide two static analysis approaches(using theorem proving) that check if a given (recursive) procedure behaves as if it were stateless, even when it maintains state in global variables. In other words, we check if the given procedure behaves like a mathematical function. In order to eliminate the need for manual annotations, we make use of an invariant that makes use of uninterpreted function symbols. This invariant captures the set of reachable global states in all runs of the procedure, if the procedure is observationally pure. If the procedure is not observationally pure, this i

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Boogie framework"

1

Booij, Geert. Inheritance and motivation in Construction Morphology. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198712329.003.0002.

Full text

Abstract:

The basic question to be addressed in this chapter is: what is the status of the notions ‘inheritance’ and ‘default inheritance’ in the theoretical framework of Construction Morphology (CM)? This framework, developed in Booij (2010), assumes a hierarchical lexicon with both abstract morphological schemas and stored complex words that instantiate these schemas. The lexicon of a language can be modelled in such a way that the abstract word formation schemas dominate their individual instantiations. Thus, the lexicon is partially conceived of as a hierarchical network in which lower nodes, the ex

APA, Harvard, Vancouver, ISO, and other styles

2

Durham, William H. Exuberant Life. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780197531518.001.0001.

Full text

Abstract:

Why is Galápagos so endlessly fascinating, whether to read about, to visit, or both? Reasons include its menagerie of truly unusual organisms (like tree daisies, marine iguanas, and flightless cormorants), its relatively low human impact (most of its endemic biodiversity is still extant), and its unrivalled role in the history of science ever since Charles Darwin. Exuberant Life offers a contemporary synthesis of what is known about the evolution of the curiously wonderful organisms of Galápagos, of how they are faring in the tumultuous world of human-induced change, and how evolution can guid

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Boogie framework"

1

Palmiano Federer, Julia. "New Kids on the Block: The Rise of NGO Mediators in Peace Mediation." In Twenty-first Century Perspectives on War, Peace, and Human Conflict. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-42174-7_3.

Full text

Abstract:

AbstractIn this chapter, I describe the emergence of NGO mediators in peace mediation. To avoid confusion regarding the unit of analysis, I focus on the normative frameworks and normative socializations of NGO mediators primarily as institutions, and not individuals. While the normative agency of NGOs as institutions and individuals may be closely interlinked, assessing the normative agency of individuals employed by NGOs require psychological and sociological methodologies that fall beyond the scope of this bookI view NGO mediators as private actors who take on discreet or public mediative or

APA, Harvard, Vancouver, ISO, and other styles

2

Paradis, Carole. "Non-transparent Constraint Effects in Gere: From Cycles to Derivations." In Derivations and Constraints in Phonology. Oxford University PressOxford, 1997. http://dx.doi.org/10.1093/oso/9780198236894.003.0017.

Full text

Abstract:

Abstract This chapter addresses the case of a constraint in Gere which holds across the board—that is, an undominated (unviolated) constraint in Optimality Theory‘s (OT) terms—but whose effects are none the less non-transparent on the surface in some cases, although easily recoverable in a derivational framework. I will show that the often non-transparent effects of this constraint evidence the need for a cyclic application of constraints, and support more generally a derivational approach as advocated in Paradis (1995, 1996). More precisely, I aim at showing that phonological rules / constrai

APA, Harvard, Vancouver, ISO, and other styles

3

Milbrath, Susan. "Scholarly Research on the Unique Narrative on Borgia 29–46." In Decoding the Codex Borgia. University Press of Florida, 2024. http://dx.doi.org/10.5744/florida/9780813069920.003.0002.

Full text

Abstract:

Chapter 2 provides background for the narrative section on Codex Borgia pages 29–46, with a synopsis of the most prominent interpretations of the narrative, including original commentary by Eduard Seler published in 1904–1909, an analysis of the narrative by Elizabeth Boone published in 2007, and the interpretations published by Maarten Jansen over the past three decades. This chapter explores how the narrative incorporates ancient Mexican legends known from colonial-period Aztec chronicles, especially those related to astronomical cycles. Chapter 2 also analyzes key iconographic images in the

APA, Harvard, Vancouver, ISO, and other styles

4

"Modal Logics of Truth and Falsity I. Conceptual and Logical Framework, and Logics of the Matrix Approach of Boole." In Logik, Begriffe, Prinzipien des Handelns. mentis Verlag, 2007. http://dx.doi.org/10.30965/9783969750629_008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Boogie framework"

1

Lee, Keumsuk, Salvatore Di Simone, Arindam Pal, Seunghak Yoo, and Yousuf Al-Aufi. "High-Resolution Sequence Stratigraphy of Upper Shuaiba Member Aptian 5, Lower Cretaceous, In the Southeast of United Arab Emirates." In ADIPEC. SPE, 2024. http://dx.doi.org/10.2118/223027-ms.

Full text

Abstract:

The Upper Shuaiba Member (USM) or Apt 5 (Whitecomb et al. 2021; Alsuwaidi et al. 2022) has proven significantly prolific hydrocarbon potential, as evidenced by numerous oil fields (e.g., Safah, Malaan, Deleel Fields), particularly along the eastern margin of the Bab Basin (Al Habsi et al. 2014), in relation to the currently recognized position of the intrashelf basin (Murris 1980; Sharland et al. 2001; van Buchem et al. 2002; Yose et al. 2010; Yamamoto et al. 2013). In order to understand the depositional environments and the internal architecture of the Aptian sediments, numerous wells have b

APA, Harvard, Vancouver, ISO, and other styles

2

Abodeely, Jared M., David J. Muth, Joshua Koch, and Kenneth M. Bryden. "An Integrated Model Approach for Quantifying Carbon Emissions From Residue-Based Biofuel Production." In ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/detc2013-13491.

Full text

Abstract:

This paper presents an agricultural residue removal decision framework that couples the environmental process models WEPS, RUSLE2, SCI, and DAYCENT. One of the goals of this integrated model is to quantify the impacts of land management strategies on soil organic carbon and CO2 emissions. Soil, climate, and land management practices are considered in determining sustainable residue removal rates using wind- and water-induced soil erosion and qualitative soil organic carbon constraints and to quantify the long-term impacts of sustainable residue removal on soil organic carbon and greenhouse gas

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!