Добірка наукової літератури з теми "Boogie framework"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Boogie framework".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Boogie framework"

1

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.

Повний текст джерела
Анотація:
<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 as the research framework. And I made a conclusion of 5 strategies of <Boonie Bears> for its expansion from online to offline. The result of the research shows as below. First, the players widened the audience and customer pool via multimedia expansion. Second, they took transmedia storytelling as the expansion strategy rather than traditional OSMU. Third, all the media contents are enough to be understood and are able to be entry point of content consumers. These are the way of product portfolio planning. Fourth, media contents of online and offline are related each other and are planned to make bigger contents world. Fifth, digital contents were empowered to be used as marketing activities for offline goods in the process of marketing funnel. Those results imply that digital content products that aim Chinese market should be designed considering online and offline transmedia expansion. And further, the way to Chinese market should be a transmedia storytelling strategy rather than traditional (or simple) OSMU strategy especially in the media channel acquisition.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Singh, Jagadish, and Tyokyaa K. Richard. "The Motion of Out-of-Plane Equilibrium Points in the Elliptic Restricted Three-Body Problem at J4." International Frontier Science Letters 17 (April 2021): 1–11. http://dx.doi.org/10.18052/www.scipress.com/ifsl.17.1.

Повний текст джерела
Анотація:
We have investigated the motion of the out-of-plane equilibrium points within the framework of the Elliptic Restricted Three-Body Problem (ER3BP) at J4 of the smaller primary in the field of stellar binary systems: Xi- Bootis and Sirius around their common center of mass in elliptic orbits. The positions and stability of the out-of-plane equilibrium points are greatly affected on the premise of the oblateness at J4 of the smaller primary, semi-major axis and the eccentricity of their orbits. The positions L6, 7 of the infinitesimal body lie in the xz-plane almost directly above and below the center of each oblate primary. Numerically, we have computed the positions and stability of L6, 7 for the aforementioned binary systems and found that their positions are affected by the oblateness of the primaries, the semi-major axis and eccentricity of their orbits. It is observed that, for each set of values, there exist at least one complex root with positive real part and hence in Lyapunov sense, the stability of the out-of-plane equilibrium points are unstable.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Narayan, Ashutosh, and Nutan Singh. "Higher order resonance stability of triangular libration points for radiating primaries in ER3BP." International Journal of Advanced Astronomy 3, no. 1 (March 24, 2015): 26. http://dx.doi.org/10.14419/ijaa.v3i1.4334.

Повний текст джерела
Анотація:
<p>The main aim of this paper is to study the existence of resonance and stability of the triangular equilibrium points in the framework of ER3BP when both the attracting bodies are sources of radiation at w<sub>1</sub>=w<sub>2</sub>, w<sub>1</sub>=2w<sub>2</sub>, w<sub>1</sub>=3w<sub>2</sub> in both circular and elliptical cases .A practical application of this model could be seen in the case of binary systems ( Achird, Luyten, α Cen- AB, Kruger 60, Xi Bootis). The study is carried out both analytically and numerically by considering various values of radiation pressures and around binary systems .In both cases (CR3BP and ER3BP) it is found that w<sub>1</sub>=w<sub>2</sub> corresponds to the boundary region of the stability for the system, whereas the other two cases w<sub>1</sub>=2w<sub>2</sub>, w<sub>1</sub>=3w<sub>2</sub> correspond to the resonant cases. In order to investigate the stability, the Hamiltonian is normalized up to the fourth order by using linear canonical transformation of variables. Then KAM theorem is applied to investigate the stability for different values of radiation pressures in general and around the binary systems in particular. Finally, simulation technique is applied to study the correlation between radiation pressures and mass ratio in circular case; mass ratio and eccentricity in elliptical case. It is found that all the binary systems considered are stable. Also, it is found that except for some values of the radiation pressure parameters and for m&lt;=m<sub>c</sub> =0.0385209 the triangular equilibrium points are stable.</p>
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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.

Повний текст джерела
Анотація:
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 article offers a preliminary exploration of the collaboration between political power and market forces in children’s animation, thus revealing the changing needs and interests of the government, producers, and audiences in the process of modernization, and the social significance of animation in Chinese modernity.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Hutchinson, Jonathon. "I Can Haz Likes: Cultural Intermediation to Facilitate “Petworking”." M/C Journal 17, no. 2 (March 5, 2014). http://dx.doi.org/10.5204/mcj.792.

Повний текст джерела
Анотація:
Introduction This paper highlights the efforts of cultural intermediaries operating social networks for pets, known as petworking. Petworking aligns with the ever-increasing use of social media platforms where “one in ten pet owners have a social media account especially for their pet” (Schroeder). Petworking represents the increased affect of connectivity between pets and their owners within the broader pet community. Although it is true that “no one knows you are a dog on the Internet” (Steiner), it is fair to say that petworking is not the work of the animals directly, but the cultural intermediaries who construct the environment for pets to interact with others. Boo the Pomeranian is one example of a highly networked, cute and celebrity pet, whose antics are broadcast across a plethora of online networks including Facebook, Twitter and Instagram. However, to contradict the rhetoric that cats rule the Internet, it is instead the strategic efforts of cultural intermediaries that take the banal activities of Boo and his “petworked individualism” to his global fan base. The research within this paper, through the lens of animal celebrity, extends recent work undertaken in the celebrity studies field that seeks to understand the connection between celebrities and ‘ordinary folk’, or rather ordinary folk as celebrities. In that regard, the connection between ordinary and celebrity animals is explored through the work of the cultural intermediary who capitalises on the authenticity and cute characteristics of animals. This paper also seeks to understand the role of the petworking cultural intermediary by exploring the cyclic process of disintermediation/remediation/intermediation of Internet communication. Celebrity Studies, Cute Culture and Petworking It is appropriate to first outline the connection of cute with celebrity, and how they relate to petworking. In the first instance, the notion of celebrity is primarily a phenomenon associated with humans. Historically, one of the earliest studies on celebrity focused on the “the person who is known for his well-knownness” (Boorstin 57). Further, celebrity has been noted as a construct by the media industries that has developed “entertainment figures as transmitted via the 20th century mass media” (Feeley 468). Celebrity has a history with the 19th and 20th century literature on the Hollywood star system and its transmission of fame to the mass audiences. As media and cultural studies adopted celebrity as a focus, celebrity studies became fascinated with “how the star image was produced and consumed and how it both shaped and reflected social and cultural identity” (Feeley 470). A more contemporary study into the exploration of celebrity is, as Turner suggests, a demotic turn that sees the media create ‘celebrities’ from ordinary folk. Dyer has argued that one of the core characteristics of celebrity is the ability for one to identify and imitate the star. In each of these examples of celebrity studies, it is assumed that the celebrity is indeed a human being. The humanistic value of celebrity then is problematic when considering how it relates to animals, specifically one’s pet. One way of approaching the study of celebrity and pets is through the lens of animal celebrity. There have been numerous cases of famous animals, with one of the earliest records in Hanno, a famous elephant who was a gift for Pope Leo X on his coronation from King Manuel I of Portugal, 1514. More recent animal celebrity has been demonstrated in cases of Paul the octopus whose celebrity status was reached through his ability to predict the winning teams during the 2010 World Cup, or Dolly the sheep who is infamous as being not only the first cloned sheep but also the first cloned being. Other famous pets are struck by celebrity status for non-favourable acts, for example Tilikum, or Tilly as he is known. TIlly is a bull orca that has been responsible for the deaths of three people during his time in captivity. His story, which also represents his association with celebrity, is documented in the 2013 documentary, Blackfish. Each of these cases of famous animals demonstrates that animal celebrity is not a new issue, but highlights the significance between ‘ordinary’ animals and ‘celebrity’ animals. It could be argued it is the impact of the mass media’s depiction of these animals that defines them as celebrity animals beyond their ordinary counterparts. Yet, in attempting to understand the appeal of animal celebrity, Blewitt notes that pets “wear the badge of authenticity that is held to be so important for credible image-management; there is never any question as to whether or not they are ‘being themselves’” (117). The appeal of animal celebrity for humans is represented through the animal’s authenticity because they are incapable of misrepresenting facts. Often the authentic animal characteristic is combined with ‘cute’ characteristics to increase their appeal, or their relational value with humans, and thereby their popularity. This is certainly the case with giant pandas where they “have the credibility of being an endangered species, look cuddly, have big moony eyes and so have automatic non-human conservation charisma” (Blewitt 326). In this scenario, the giant panda represents the popular qualities of animal cuteness which increases their relational value with humans. McVeigh suggests cute is a symbol of daily aesthetic equaling a “standard attribute” (230) to facilitate high reading of cultural texts and goods. Kinsella argues that cute builds on cutie, which “takes cuteness as its starting point, but on top of the basic ingredient of childlikeness, Cutie style is also chic, eccentric, androgynous and humorous” (Fetishism 229). Cute can shift from pop culture signifiers, to high cultural symbols that represent young, amusing and helpless representations. When cute is in dialogue with celebrity, specifically animal celebrity, it is the cute appeal, or the “silent desperation of the lost puppy dog” (Harris 179) that propels humans to increasingly construct and consume celebrity through animals. Distributing the appeal of cute animal celebrities across digital communication technologies provides the opportunity to explore and understand the petworking phenomenon. The authentic representation of cute animals outlined above has demonstrated the increased relational value of animal celebrity in a non-networked environment. However, when contextualised in a digitally connected environment that engages the affordances of social media platforms, the exploration of petworking can answer some animal celebrity questions raised by Giles. In his taxonomy of animal celebrity, Giles defines four categories that distinguish famous pets: “(a) public figures; (b) the meritocratically famous; (c) show business ‘stars’; and (d) the accidentally famous” (118). He suggests the first two categories are exemplified by the pets of politicians, or the biggest or smallest of a species. However he notes “it is impossible to distinguish between the remaining categories since ‘accidental fame’ presupposes that the other famous animals have engineered their own celebrity to some extent” (ibid.). This is precisely the space that petworking occupies. Pets do not engineer their own celebrity; rather, it is the strategic and coordinated efforts of their owners that create “accidentally famous” animals. The example of petworking demonstrates the role of the intermediary who constructs the identity of the non-ordinary pet with high relational value. A pet with high relational value does not occur serendipitously nor is it the work of a famous animal engineering his or her own celebrity. Rather, it is the work of human intermediaries who strategically utilise authenticity and cute as animal characteristics that increase the animal’s appeal, and thereby its popularity. To successfully engage in petworking, intermediaries use social media platforms to disseminate or broadcast the celebrity animal’s characteristics. The following case study of Boo the Pomeranian demonstrates the connection of celebrity studies with cute culture that is disseminated through social media platforms – a petworking example. The Case of BooThe conceptual framework for this research draws from the media’s coverage of petworking. In that environment, petworking is referenced wherever journalists refer to the practice of “cute” animals engaging in social networking activities. Warr suggests petworking represents “people who want to set up personal social profiles on behalf of their pets”. Ortiz suggests petworking aims to “employ a network marketing strategy for social, political or commercial gain using animals, pets, and goods and services related to animals and pets”. Interestingly, much of the discussion of petworking relates to the act of networking through pets to break the ice with other pet owners to engage in more complex interactions. To move the existing work beyond pets to break the ice, Williams notes that “one in 10 of all UK pets have their own Facebook page, Twitter account or YouTube channel” and “14 per cent of dog owners maintain a Facebook page for their pet, whereas 6 per cent boast Twitter accounts”. Regardless of the motivation of pet owners to engage in petworking, there is an increasing presence of pets in an online environment. Boo the Pomeranian, rose to fame as the world’s cutest dog during 2009. His Facebook page has 10,435,458 likes at the time of writing, making him the most popular dog on Facebook and aligning him with the Public Figure page category, a key celebrity indicator. His tagline reads, “My name is Boo. I am a dog. Life is good.” His connection to popularity came on 26 October 2010, when celebrity blogger Khloé Kardashian wrote “OMG, I just found this dog named Boo on facebook and I am seriously in LOVE […] If you are in facebook, go like this page because it’s beyond cute!” Boo’s popularity gained momentum across the Internet and since then he has featured on television shows, has produced a line of plush toys and has a book for sale on Amazon, “Boo: The life of the World’s Cutest Dog”. This example of Kardashian’s public call to action is a clear celebrity endorsement which trades on both cute and celebrity. Boo’s rise to fame also aligns with Giles’ fourth category of animal celebrity, accidentally famous. If it were not for Khloé Kardashian’s celebrity endorsement, the distinction between Boo as an ordinary pet and a celebrity pet would be very clear. Boo’s rise to a celebrity status is a clear example of how a human intermediary can create and develop a high relational value of a pet through the endorsement of cute. The connection between cute and popularity also suggests cute creates strong Internet connections between individuals with a compulsion to belong to the larger fan group. Although Boo’s owner remains anonymous under the moniker of J.H. Lee, it would appear the motivation behind Boo, although started as a joke Facebook page (Lee), is to commodify the pet. The popularity of Boo’s cuteness has bolstered the dog as a cultural product with production of countless novelty items, indicative of the creative vernacular of the pet’s owner. In this example, the soft power that accompanies Boo is persuasive and invisible. Soft power in this context is a “concept of strategic narrative […] especially in regard to how influence works in a new media environment” (Roselle et al. 70). In the context of globalisation, Boo is the ideal transnational cultural icon that embodies an ideology, disseminated through the instrument of cute. When cute is used as an ideological construct, it is rarely the object that generates soft power but rather the intermediary constructing the cultural artefact. The following section explores the cultural intermediary as the individual responsible for the mediation of ideology through cultural production and consumption. The cultural intermediary determines how cute shapes and redefines social and cultural identity. Petworking as Cultural Intermediation Much of the existing literature on cute culture has focussed on the impact of cute upon culture, negating the process of their cultural construction. Their construction is, like other creative discourses, the result of mediation by multiple roles between the production and consumption of cultural artefacts. The cultural intermediary plays a crucial role in aligning the construction of meaning that aligns the perspectives of both cultural artefact producers and consumers. For example, cute is constructed by designers and stylists, whereas celebrity is the work of the public relations agent. Cultural intermediation was first used by Pierre Bourdieu as a way of describing the individual who mediates between and connects different cultural fields. Negus reappropriated the idea by contextualising the cultural intermediary within the creative industries as a means of bridging the gap between cultural production and consumption. Negus focuses on roles such as accountants, A&R agents and senior executives within the creative industries, and concluded that instead of bridging the gap, these roles increase the distance between production and consumption. Disintermediation – a process that involves a direct connection between producer and consumer, or artist and audience – would be more appropriate. I have previously argued for a combined producer/consumer production model (Hutchinson) that is facilitated by cultural intermediation within the context of media institutions. The cultural intermediary plays a crucial role in aligning the perspective of the contributing authors with the regulatory frameworks of the hosting institutions. Cultural intermediaries may be community managers, program producers, legal teams, or archivists that interface between the contributors and the institutional regulatory framework. For example, an artist might contribute work to a participatory project with little understanding of the regulatory constraints of the project. It is the role of the cultural intermediary to ensure the work maintains its creative and thematic aspiration while aligning with the governing rules of the institution. To turn cultural intermediation to the practice of petworking, there are two distinct stakeholders: the pets and pet fans. Within petworking, the cultural intermediary is responsible for understanding the interests of pet fans and an understanding of how to represent pets to align with those interests: a process Blewitt described as increasing high relational value. As described earlier, cute is a powerful instrument to promote the popularity of pets and increase their prominence across online spaces. It is therefore not the cuteness of the pets that determine their popularity and virality, but rather the strategic efforts of the cultural intermediary who engages in cute as a useful communication tool. Boo is a clear example of how cultural intermediaries engage in cute as an apparatus to increase the high relational value of animals for their human counterparts. It is not necessarily the animal themselves as they are not, as Giles suggests, within the first two categories of public figures or the meritocratically famous. They are ordinary pets that have been aligned with the authentic and cute characteristics of animal celebrity by their cultural intermediaries which increases their relational value, thereby creating celebrity pets. In this example, Boo the Pomeranian demonstrates how a cultural icon has been created, or mediated, by his owner, the cultural intermediary, by embracing authentic and cute characteristics and distributing the cultural artefact across social media platforms. In these instances, the agency of the cultural intermediary becomes increasingly important. Conclusion If constructed correctly, cute can be used as a powerful instrument to create a cultural artefact. This paper has highlighted the similarities between animal celebrity and cute culture through authenticity and popularity, or “knownness”, of animals. The cute/celebrity framework aligns with petworking to highlight how cute pets are created, mediated and distributed across social media platforms. In this context, it is the role of the cultural intermediary to mediate these celebrity animals by identifying the stakeholder groups associated with petworking, understanding their interests and producing cultural artefacts that address those interests. In the case study of Boo the Pomeranian, it has been demonstrated that the authenticity and cute characteristics are directly connected to popularity. In this situation, the role of the cultural intermediary is to promote those characteristics for the stakeholder groups interested in the cultural artefact, to increase its popularity. The role of the cultural intermediary also demonstrates the significance of intermediation within the production and distribution of cultural goods. Acknowledgements Andrew Whelan, Grace O’Neil, Mikaela Griffith, Elizabeth Arnold, Greta Mayr. References Blewitt, John. “What’s New Pussycat? A Genealogy of Animal Celebrity.” Celebrity Studies 4.3 (2013): 325-338. Boorstin, D.J. The Image: A Guide to Pseudo-Events in America. New York: Harper and Row, 1962. Bourdieu, Pierre. A Social Critique of the Judgement of Taste. 1st ed. London: Routledge, 1984. Dyer, Richard. Stars. London: British Film Institute, 1979. Feeley, Kathleen. "Gossip as News: On Modern U.S. Celebrity Culture and Journalism." History Compass 10.6 (2012): 467-82. Giles, David. “Animal Celebrities.” Celebrity Studies 4.2 (2013): 115-128. Harris, Daniel. “Cuteness.” Salmagundi 96 (1992): 177-186. Hutchinson, Jonathon. “Communication Models of Institutional Online Communities: The Role of the ABC Cultural Intermediary.” Platform: Journal of Media and Communication 5.1 (2013). 29 Apr. 2014 ‹http://journals.culture-communication.unimelb.edu.au/platform/v5i1_hutchinson.html›. Kardashian, Khloé. "Introducing the Cutest Dog on the Planet… Boo!!!!!!". Khloé Kardashian Blog, 2010. 29 Apr. 2014 ‹http://khloekardashian.celebuzz.com/introducing_the_cutest_dog_on_the_planetboo-10-2010›. Kinsella, Sharon. "What's behind the Fetishism of Japanese School Uniforms?" Fashion Theory 6.2 (2000): 215-38. McVeigh, Brian J. “How Hello Kitty Commodifies the Cute, Cool and Camp: ‘Consumutopia’ versus ‘Control’ in Japan.” Journal of Material Culture 5.2 (2000): 225-245. Negus, Keith. "The Work of Cultural Intermediaries and the Enduring Distance between Production and Consumption." Cultural Studies 16.4 (2002): 501-15. Ortiz, Robert. "Petworking — Defined by Robert Ortiz." The GOD BOLT, 23 Jan. 2009. ‹http://thegodbolt.blogspot.com.au/2009/01/petworking-defined-by-robert-ortiz.html›. Roselle, Laura, Alister Miskimmon, and Ben O’Loughlin. “Strategic Narrative: A New Means to Understanding Soft Power.” Media, War & Conflict 7.1 (2014): 70-84. Schroeder, Stan. “1 in 10 Pets Have a Social Networking Profile.” Mashable 13 July 2011. 29 Apr. 2014 ‹http://mashable.com/2011/07/13/pets-social-networking›. Steiner, Peter. “On the Internet, Nobody Knows You're a Dog.” Cartoon. The New Yorker, 5 July 1993. Turner, Graeme. “Surrendering the Space.” Cultural Studies 25.4-5 (2011): 685-99. Warr, Philippa. “My Social Petwork: Facebook for Your Pets.” Wired.co.uk 12 Apr. 2013. 29 Apr. 2014 ‹http://www.wired.co.uk/news/archive/2013-04/12/my-social-petwork›. Williams, Rhiannon. “Dogs Dominate Social 'Petworking'.” The Telegraph 15 Feb. 2014.
Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 primary objective of the research study was to provide a comprehensive management guideline for client organisations embarking on outsource initiatives or planning to renew existing agreements. The secondary objective was to assist service providers with guidance on pitfalls and issues experienced in the management of such agreements and to highlight the lessons learned from the industry at large. The research was conducted by means of a literature study and empirical study. The literature study included background information on outsourcing, outsourcing theories as well as outsource management frameworks. Furthermore, it addressed lessons learned and issues and pitfalls to avoid by service providers. The literature review formed the basis for creating an understanding of those factors that has a direct impact on the success of outsource agreements. Based on the evaluation of the empirical study, it was concluded that client organisations that are planning to embark on the outsourcing or renewal of services need to follow a management framework with a full lifecycle in order to ensure success. The top issues that suppliers need to address are to ensure that a climate of trust exists between them and the client; they need to be as transparent as possible and ensure that they carry extensive business knowledge of the client being serviced.
Thesis (M.B.A.)--North-West University, Potchefstroom Campus, 2012.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Анотація:
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 invariant has no semantics. Allowing function symbols makes it easier to generate the invariant automatically. The two static analysis are an existential checker and an impurity witness checker. The impurity witness checker outputs a formula whose unsatis fiability implies that the procedure is observationally pure. Whereas, the existential checker outputs a formula that constrains the de finition of the function that the given procedure may implement. Satisfi ability of the formula generated by the existential checker implies that the given procedure is observationally pure. The impurity witness approach works better (empirically) with SMT solvers, whereas the existential approach is more precise on paper. We illustrate our work on examples such as matrix chain multiplication. Examples such as these are not addressable by related techniques in the literature. The closest work to our is by Barnett et al.; this work cannot handle procedures with self recursion. We prove both our approaches to be sound. We have implemented the two static analyses using the Boogie framework and the Z3 SMT solver, and have evaluated our implementation on a number of examples
Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "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.

Повний текст джерела
Анотація:
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 existing complex words, can be assumed to inherit information from dominating higher nodes. Advantages of a full-entry theory over an impoverished entry theory are outlined, and the chapter includes discussion of polysemy, allomorphy, and the class of items that fall between derivatives and compounds using ‘affixoids’.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Анотація:
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 guide efforts today for their conservation. In eight case-study chapters, the book looks at each organism’s ancestry, at how and when it came to Galápagos, and how and why it changed since its arrival, all with an eye to its conservation today. Such analysis often provides surprises and suggestions not previously considered, like the potential benefits to joint conservation efforts with tree daisies and tree finches, for example, or ways that a new explanation for peculiar behaviors in Nazca and blue-footed boobies can benefit both species today. In each chapter, a social-ecological systems framework is used, because human influence is always present, and because it allows an explicit link to evolution. We see how the evolutionary fitnesses of Galápagos organisms are now a product of both ecological conditions and human impact, including climate change. Historically, Galápagos has played a central role in the understanding of evolution; what it now offers to teach us about conservation may well prove indispensable for the future of the planet.
Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Boogie framework"

1

"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, 95–112. mentis Verlag, 2007. http://dx.doi.org/10.30965/9783969750629_008.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Boogie framework"

1

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.

Повний текст джерела
Анотація:
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 emissions. Using this integrated model sustainable residue removal for four crop rotations, three tillage regimes, and four soil types representing nearly 70% of the arable acres in Boone County, Iowa are examined. Each scenario was performed for a twenty-year period. Soil organic carbon and CO2 emission results are aggregated by soil type using crop rotation and tillage statistics. The soil type results are aggregated using a normalized percentage area to provide a county level estimate of soil organic carbon changes and CO2 emissions. Results show that for the largest sustainable residue removal rate that soil organic carbon increased 3.53–6.63 Mg/ha over the 20 year simulation and that CO2 emissions ranged from 3.50–4.23 Mg/ha across the four soil types resulting in an average increase of soil organic carbon of 4.85 Mg/ha and CO2 emission of 3.77 Mg/ha at the county level.
Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії