Results 41 to 50 of about 26,313 (264)
Interactive Proof Presentations with Cobra [PDF]
EPTCS 239, 2017, pp. 43-52, 2017 We present Cobra, a modern proof presentation framework, leveraging cutting-edge presentation technology together with a state of the art interactive theorem prover to present formalized mathematics as active documents. Cobra provides both an easy way to present proofs and a novel approach to auditorium interaction.
arxiv +1 more source
, 2023 Data and Tool will be accessible through here. Further information will be accessible when the paper are public.
openaire +1 more source
Cobra Deities and Divine Cobras: The Ambiguous Animality of Nāgas [PDF]
Religions, 2019 In South Asia, cobras are the animals most dangerous to humans—as humans are to cobras. Paradoxically, one threat to cobras is their worship by feeding them milk, which is harmful to them, but religiously prescribed as an act of love and tenderness towards a deity.
openaire +2 more sources
Recent Advances for the Direct Introduction of the CF2Me Moiety
Frontiers in Chemistry, 2019 Fluorine-containing molecules are compounds of interest in materials as well as in pharmaceutical and agrochemical industries. Therefore, developments in that research field are tremendous and a special focus was dedicated to the design and the study of ...
Elodie Carbonnel +5 more
doaj +1 more source
Primitivism, humanism, and ambivalence: Cobra and Post-Cobra
Res: Anthropology and aesthetics, 2011 Expressionism, Freedom, and the Cold War (Chicago: University of Chicago Press, 1983), p. 113. 46. E. Laclau, On Populist Reason (New York: New Left Books, 2005). On Cobra’s relation to the popular, see K. Kurczynski, “Asger Jorn, Popular Art, and the Kitsch-Avant-Garde,” in Kitsch: History, Theory, Practice, ed. M.
Kurczynski, Karen, Pezolet, Nicola
openaire +3 more sources
A case of cobra bite complicated with basilar artery occlusion
Journal of Emergencies, Trauma and Shock, 2023 Snakebite is one of the most common complaints related to wilderness medicine. Venomous snakebite manifestation is divided into local and systemic envenomation.
Siti Nasrina Binti Yahaya +2 more
doaj +1 more source
Forensic Sciences Research, 2020 To elucidate the toxic mechanism of snake venom at the protein level, proteomics technology was applied to investigate the effect of venom on circulation in the mammalian body.
Hui Yan +4 more
doaj +1 more source
Electronics Letters, 2016 The transmission of multiple standard‐compliant long‐term evolution advance (LTE‐A) bands together with a 4‐pulse amplitude modulation (PAM) baseband signal over 50‐m‐long 1 mm core diameter polymethyl methacrylate graded‐index plastic optical fibre is ...
F. Forni +4 more
doaj +1 more source
Suppression of alpha-induced lateral surface events in the COBRA experiment using CdZnTe detectors with an instrumented guard-ring electrode [PDF]
J.-H. Arling et al 2017 JINST 12 P11025, 2017 The COBRA collaboration searches for neutrinoless double beta-decay ($0\nu\beta\beta$-decay) using CdZnTe semiconductor detectors with a coplanar-grid readout and a surrounding guard-ring structure. The operation of the COBRA demonstrator at the Gran Sasso underground laboratory (LNGS) indicates that alpha-induced lateral surface events are the ...
arxiv +1 more source