LEADER 02650nam 2200613 a 450 001 9910465179803321 005 20200520144314.0 010 $a1-78170-246-2 010 $a1-84779-453-X 035 $a(CKB)2560000000085835 035 $a(EBL)1069704 035 $a(OCoLC)818847503 035 $a(SSID)ssj0000712798 035 $a(PQKBManifestationID)12296312 035 $a(PQKBTitleCode)TC0000712798 035 $a(PQKBWorkID)10650602 035 $a(PQKB)11518505 035 $a(StDuBDS)EDZ0000086950 035 $a(MiAaPQ)EBC1069704 035 $a(OCoLC)1132670244 035 $a(MdBmJHUP)muse77999 035 $a(Au-PeEL)EBL1069704 035 $a(CaPaEBR)ebr10627269 035 $a(CaONFJC)MIL843782 035 $a(EXLCZ)992560000000085835 100 $a20110120d2010 ub 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aJohn Hume and the revision of Irish nationalism$b[electronic resource] /$fP.J. McLoughlin 210 $aManchester ;$aNew York $cManchester University Press ;$aNew York $cDistributed by Palgrave Macmillan$d2010 215 $a1 online resource (289 p.) 300 $aDescription based upon print version of record. 311 $a0-7190-8689-2 311 $a0-7190-7956-X 320 $aIncludes bibliographical references and index. 327 $aCopyright; Contents; Acknowledgements; Note on terminology; Abbreviations; Preface; Introduction; 1. You can't eat a flag; 2. A united Ireland or nothing; 3. Dublin is just a Sunningdale away; 4. The two traditions; 5. An agreed Ireland; 6. Internationalising the conflict; 7. The totality of relationships; 8. No selfish strategic or economic interest; 9. Two balls of roasted snow; 10. Sunningdale for slow learners; 11. A new Ireland in a new Europe; Conclusions; Bibliography; Index 330 8 $aThis title explores the politics of the most important Irish nationalist leader of his generation, John Hume. The book shows Hume to be one of the chief architects of the Northern Ireland peace process, and a key figure in the making of the 1998 Good Friday Agreement. 606 $aNationalism$zNorthern Ireland 607 $aNorthern Ireland$xHistory$y1969-1994 607 $aNorthern Ireland$xHistory$y1994- 608 $aElectronic books. 615 0$aNationalism 676 $a320.9416 700 $aMcLoughlin$b P. J$g(Peter John)$01036531 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910465179803321 996 $aJohn Hume and the revision of Irish nationalism$92456936 997 $aUNINA LEADER 04764nam 22007815 450 001 9910913777303321 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 $a9910913777303321 996 $aFormal Methods and Software Engineering$94299587 997 $aUNINA