LEADER 01044nam 2200361 450 001 996475754303316 005 20221123044912.0 010 $a3-8394-6125-1 035 $a(CKB)5670000000358068 035 $a(NjHacI)995670000000358068 035 $a(EXLCZ)995670000000358068 100 $a20221123d2022 uy 0 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aDas Karussell - Schwindel, Tausch und Ta?uschung $eSzenen einer Medienphilosophie /$fRalf Bohn 210 1$aBielefeld :$cTranscript Verlag,$d[2022] 210 4$d©2022 215 $a1 online resource (414 pages) 606 $aMass media 606 $aMedia philosophy 615 0$aMass media. 615 0$aMedia philosophy. 676 $a302.23 700 $aBohn$b Ralf$01265489 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a996475754303316 996 $aDas Karussell - Schwindel, Tausch und Ta?uschung$92967842 997 $aUNISA LEADER 04112nam 22005293 450 001 996635564103316 005 20241230084506.0 010 $a9783111244433 010 $a3111244431 024 7 $a10.1515/9783111244433 035 $a(CKB)37051273100041 035 $a(MiAaPQ)EBC31860294 035 $a(Au-PeEL)EBL31860294 035 $a(OCoLC)1482825701 035 $a(Exl-AI)31860294 035 $a(NjHacI)9937051273100041 035 $a(EXLCZ)9937051273100041 100 $a20241230d2024 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStudies in the Atharvaveda $eProceedings of the 3rd Zurich International Conference on Indian Literature and Philosophy 205 $a1st ed. 210 1$aBerlin/Boston :$cWalter de Gruyter GmbH,$d2024. 210 4$d©2025. 215 $a1 online resource (442 pages) 225 1 $aWelten Süd- und Zentralasiens / Worlds of South and Inner Asia / Mondes de l'Asie du Sud et de l'Asie Centrale Series ;$vv.15 311 08$a9783111244419 311 08$a3111244415 327 $aIntro -- Preface -- Contents -- Introduction -- The ETÁD-YÁD Construction in Vedic -- Discontinuous Linearization of Vedic Nominal Expressions -- Remarks on the Chronology of the Paippal?da Sa?hit? -- The Three Grand Divisions of the ?aunakasamhit? from a Lexico-Statistic Perspective -- And I Will Fix You: A 'Chariot-simile' in PS 4.15.6-7, ?S 4.12.6-7 -- The Funeral Ceremony Described in the 13< -- sup> -- th< -- /sup> -- Anuv?ka of the Mahatk???a (K???a 18) of the Paippal?da-Sam?hit? vs Its ?aunaka- Sam?hit? Parallel, Interpreted from the Perspective of Their Textual Differences -- What Does the páńcaudana- ajá- Represent in the ?aunak?ya- and Paippal?da-Sa?hit?s? A Tentative Reading through the Lens of Jaimin?ya-Br?hma?a II 53-54 -- Some Remarks on Apsarases, Dogs and Gandharvas -- Believing in Magic and Other Pitfalls with Interpreting the Atharvaveda -- The Marginality of the Atharvaveda in Its Historical Context -- Rites to Subdue: abhic?ra and k?ty? in the Mah?bh?rata -- Influence of the Atharvaveda on Rituals in the Maitr?ya?? Sam?hit? -- Quotations from the Paippal?da-Sam?hit? in Patańjali's Mah?bh??ya -- The ?aunaka and the Paippal?da ??kh?s of the Atharvaveda -- The Textual Divisions and the Conventions mantr?dhik?ra and phal?dhik?ra in Classifying the Rites in the Kau?ika S?tra: A Case Study of the Construction Rites -- The Neonatal Rites in the Paippal?da ??kh?: The J?takarm?dyannapr??an?ntakarm??i Section in the Karmapańjik? -- Index. 330 $aThis volume compiles scholarly articles presented at the 3rd Zurich International Conference on Indian Literature and Philosophy, focusing on the Atharvaveda and its South Asian contexts. The book explores the linguistic, philological, and ritualistic dimensions of the Atharvaveda, emphasizing its historical and cultural significance within Vedic literature. Contributions include critical analyses of the Paippal?da and ?aunaka recensions, comparative studies of domestic rituals, and the influence of the Atharvaveda on later texts and practices. The work represents a significant advancement in Atharvaveda research, contextualizing it within broader scholarly efforts to understand Vedic traditions. This interdisciplinary collection is intended for academics and researchers in the fields of Indology, philology, and South Asian studies.$7Generated by AI. 410 0$aWelten Süd- und Zentralasiens / Worlds of South and Inner Asia / Mondes de l'Asie du Sud et de l'Asie Centrale Series 606 $aHinduism 615 0$aHinduism. 676 $a294.59215 700 $aLeach$b Robert$0294885 701 $aHellwig$b Oliver$01782957 701 $aZehnder$b Thomas$0223020 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996635564103316 996 $aStudies in the Atharvaveda$94309595 997 $aUNISA LEADER 04762nam 22007815 450 001 996630872203316 005 20251225200449.0 010 $a9789819606177 010 $a9819606179 024 7 $a10.1007/978-981-96-0617-7 035 $a(CKB)36702043100041 035 $a(MiAaPQ)EBC31806894 035 $a(Au-PeEL)EBL31806894 035 $a(DE-He213)978-981-96-0617-7 035 $a(OCoLC)1481795520 035 $a(EXLCZ)9936702043100041 100 $a20241129d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods and Software Engineering $e25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2?6, 2024, Proceedings /$fedited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu 205 $a1st ed. 2024. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2024. 215 $a1 online resource (421 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15394 311 08$a9789819606160 311 08$a9819606160 327 $a -- NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. -- Repairing Event-B Models through Quantifier Elimination. -- Tuning Trains Speed in Railway Scheduling. -- The Bright Side of Timed Opacity. -- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. -- Efficient State Estimation of Discrete-Timed Automata. -- LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. -- Quantitative Symbolic Robustness Verification for Quantized Neural Networks. -- Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. -- Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. -- Deciding the synthesis problem for hybrid games through bisimulation. -- Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. -- Differential Property Monitoring for Backdoor Detection. -- MemSpate: Memory Usage Protocol Guided Fuzzing. -- The Continuum Hypothesis Implies the Existence of Non-Principal Arithmetical Ultrafilters ? A Coq Formal Verification. -- Observability of Boolean Control Networks: New Definition and Verification Algorithm. -- Formalizing Potential Flows using the HOL Light Theorem Prover. -- On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. -- Efficient SMT-Based Model Checking for HyperTWTL. -- A Tableau-based Approach to Model Checking Linear Temporal Properties. -- Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. -- Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. 330 $aThis volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15394 606 $aComputer science 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aApplication software 606 $aNatural language processing (Computer science) 606 $aTheory of Computation 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer and Information Systems Applications 606 $aNatural Language Processing (NLP) 615 0$aComputer science. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aApplication software. 615 0$aNatural language processing (Computer science) 615 14$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer and Information Systems Applications. 615 24$aNatural Language Processing (NLP). 676 $a004.0151 700 $aOgata$b Kazuhiro$01777785 701 $aMe?ry$b Dominique$00 701 $aSun$b Meng$01369709 701 $aLiu$b Shaoying$01742754 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996630872203316 996 $aFormal Methods and Software Engineering$94299587 997 $aUNISA