Results 41 to 50 of about 717 (181)
Invariant Generation in Vampire [PDF]
, 2011 This paper describes a loop invariant generator implemented in the theorem prover Vampire. It is based on the symbol elimination method proposed by two authors of this paper. The generator accepts a program written in a subset of C, finds loops in it, analyses the loops, generates and outputs invariants.
Krystof Hoder +2 more
openaire +2 more sources
Cladistics, EarlyView.Abstract We present a morphology‐based backbone phylogeny of Cerambycidae beetles inferred by parsimony analyses using 77 adult characters scored for 101 species. This phylogeny is largely consistent with recent phylogenomic studies regarding key placements (e.g., Parandrini stat. rev. within Prioninae, Necydalini stat. rev.
Burcu Şabanoğlu Şimşek +2 more
wiley +1 more source
Dreaming and Living the Globalized World Through IELTS: A Case Study of Bangladeshi Test‐Takers
International Journal of Applied Linguistics, EarlyView.ABSTRACT This case study investigated the lived experiences of 10 IELTS test‐takers from Bangladesh. It explored their motivations for taking the test as well as their test experiences during and after the test. It demonstrates how the participants sought to position themselves in the imagined community through renegotiating their identities to climb ...
Tazin Ahmed +2 more
wiley +1 more source
Exposure to Climate Change and Earnings Manipulation
Journal of Business Finance &Accounting, EarlyView.ABSTRACT This study investigates whether and how climate change exposure (CCE) influences corporate financial reporting practices. Using a newly developed firm‐specific CCE measure from conference calls, we find that US firms with higher CCE exhibit greater real earnings management (REM).
Ramzi Benkraiem +4 more
wiley +1 more source
Journal of Fish Diseases, EarlyView.ABSTRACT Examination of round sardinella Sardinella aurita Valenciennes, 1847 (Clupeidae) from the Gulf of Tunis (Tunisia) revealed the first local and Mediterranean record of Anthobothrium sp. 1 sensu Jensen & Bullard, 2010 (Tetraphyllidea incertae sedis, Anthobothrium).
Chiraz Ben Saad +6 more
wiley +1 more source
Images of vampires in stories by V.I. Dal and A.K. Tolstoy in the context of European Romanticism
Studia Humanitatis, 2016 The article considers the interpretation of an image of a vampire in Dahl and Tolstoy’s works. The author of the article makes comparison with the works written on the same topic by European romantics.
Nikolsky Evgeny Vladimirovich
doaj
Bat bites and rabies: the Canadian scene
FACETS, 2020 Bats are susceptible to rabies. Although bats may appear to be asymptomatic carriers of rabies for a few days, eventually they fall ill to the viral infection and die.
M. Brock Fenton +2 more
doaj +1 more source
Blankness in post‐post‐postmodern poetry
Orbis Litterarum, EarlyView.Abstract Jameson's “myth” identifies reification as the leading cause of cultural change. The myth also adumbrates the semiotic form of post‐postmodernism and post‐post‐postmodernism, which Jameson himself did not explore. One of the most extreme varieties of post‐post‐postmodern verse is the would‐be blank poem, pursued by Russian Futurists, Lettrists,
Shawn Normandin
wiley +1 more source
Modal Logic and Modal Metaphysics: An Avicennian Division of Labour
Theoria, EarlyView.ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley +1 more source
Speculative Fiction, Post Human Desire and Inquiry of Currere
Journal of Curriculum Theorizing, 2019 Every generation has its monsters. They evoke our deepest desires, our fears, and our curiosities. They are the unknown…the uncontrollable; fraught with terror and possibility. Possibility oftentimes emerges through fiction.
Morna McDermott McNulty
doaj +1 more source