06892nam 22007095 450 991014388380332120200705165614.03-540-45620-110.1007/3-540-45620-1(CKB)1000000000211972(SSID)ssj0000321535(PQKBManifestationID)11232825(PQKBTitleCode)TC0000321535(PQKBWorkID)10280288(PQKB)11038609(DE-He213)978-3-540-45620-9(MiAaPQ)EBC3072742(PPN)155237160(EXLCZ)99100000000021197220121227d2002 u| 0engurnn|008mamaatxtccrAutomated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings /edited by Andrei Voronkov1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (XII, 540 p.) Lecture Notes in Artificial Intelligence ;2392Bibliographic Level Mode of Issuance: Monograph3-540-43931-5 Includes bibliographical references and index.Description Logics and Semantic Web -- Reasoning with Expressive Description Logics: Theory and Practice -- BDD-Based Decision Procedures for -- Proof-Carrying Code and Compiler Verification -- Temporal Logic for Proof-Carrying Code -- A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code -- Formal Verification of a Java Compiler in Isabelle -- Non-classical Logics -- Embedding Lax Logic into Intuitionistic Logic -- Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic -- Connection-Based Proof Search in Propositional BI Logic -- System Descriptions -- DDDLIB: A Library for Solving Quantified Difference Inequalities -- An LCF-Style Interface between HOL and First-Order Logic -- System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning -- Proof Development with ?mega -- Learn?matic: System Description -- HyLoRes 1.0: Direct Resolution for Hybrid Logics -- SAT -- Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points -- A Note on Symmetry Heuristics in SEM -- A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions -- Model Generation -- Deductive Search for Errors in Free Data Type Specifications Using Model Generation -- Reasoning by Symmetry and Function Ordering in Finite Model Generation -- Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations -- Session 7 -- A New Clausal Class Decidable by Hyperresolution -- CASC -- Spass Version 2.0 -- System Description: GrAnDe 1.0 -- The HR Program for Theorem Generation -- AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description — -- CADE-CAV Invited Talk -- The Quest for Efficient Boolean Satisfiability Solvers -- Session 9 -- Recursive Path Orderings Can Be Context-Sensitive -- Combination of Decision Procedures -- Shostak Light -- Formal Verification of a Combination Decision Procedure -- Combining Multisets with Integers -- Logical Frameworks -- The Reflection Theorem: A Study in Meta-theoretic Reasoning -- Faster Proof Checking in the Edinburgh Logical Framework -- Solving for Set Variables in Higher-Order Theorem Proving -- Model Checking -- The Complexity of the Graded ?-Calculus -- Lazy Theorem Proving for Bounded Model Checking over Infinite Domains -- Equational Reasoning -- Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation -- Basic Syntactic Mutation -- The Next Waldmeister Loop -- Proof Theory -- Focussing Proof-Net Construction as a Middleware Paradigm -- Proof Analysis by Resolution.The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ¨ Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson.Lecture Notes in Artificial Intelligence ;2392Artificial intelligenceLogic, Symbolic and mathematicalComputer logicProgramming languages (Electronic computers)Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Artificial intelligence.Logic, Symbolic and mathematical.Computer logic.Programming languages (Electronic computers)Artificial Intelligence.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.006.3/33Voronkov Andreiedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Automated DeductionMiAaPQMiAaPQMiAaPQBOOK9910143883803321Automated Deduction - CADE-182179789UNINA04331nam 22007695 450 991061636040332120251217161258.03-031-09551-010.1007/978-3-031-09551-1(MiAaPQ)EBC7105454(Au-PeEL)EBL7105454(CKB)24978728400041(DE-He213)978-3-031-09551-1(PPN)265856205(EXLCZ)992497872840004120221003d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierGroundwater and Water Quality Hydraulics, Water Resources and Coastal Engineering /edited by Ramakar Jha, Vijay P. Singh, Vivekanand Singh, L.B. Roy, Roshni Thendiyath1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (402 pages)Water Science and Technology Library,1872-4663 ;119Print version: Jha, Ramakar Groundwater and Water Quality Cham : Springer International Publishing AG,c2022 9783031095504 Identification of the parameters to estimate the capillary rise from shallow groundwater table using field crop experiments -- Study of Groundwater Table fluctuation in the command area of Bhagwanpur Distributary of the Eastern Gandak Project -- Assessment of heavy metals in sediments from exploratory wells for riverbank filtration sites impacted by extreme environmental conditions using principal component analysis -- Simulation of re-aeration coefficient using ANFIS and ARIMA models -- Identification of unknown number of clandestine groundwater pollution source locations and their release flux histories - by Anirban Chakraborty and Om Prakash. .This book deals with topics of current interest, such as climate change, floods, drought, and hydrological extremes. The impact of climate change on water resources is drawing worldwide attention these days, for water resources in many countries are already stressed and climate change along with burgeoning population, rising standard of living, and increasing demand are adding to the stress. Further, river basins are becoming less resilient to climatic vagaries. Fundamental to addressing these issues is hydrological modelling which is covered in these books. Further, integrated water resources management is vital to ensure water and food security. Integral to the management is groundwater and solute transport. The books encompass tools that will be useful to mitigate the adverse consequences of natural disasters. This book provides many new and innovative methods to assess groundwater and estimate water pollution. Groundwater recharge, solutetransport, ground water modelling are some of the important variable used to estimate the groundwater movement, hydraulic gradient and pollution movement. The water quality is another important variable of river Ganga and its tributaries in India and other rivers over the globe. .Water Science and Technology Library,1872-4663 ;119Earth sciencesPhysical geographyWaterHydrologyNatural disastersEarth SciencesEarth System SciencesWaterNatural HazardsEarth System SciencesHidrologia d'aigües subterràniesthubQualitat de l'aiguathubCanvi climàticthubLlibres electrònicsthubEarth sciences.Physical geography.Water.Hydrology.Natural disasters.Earth Sciences.Earth System Sciences.Water.Natural Hazards.Earth System Sciences.Hidrologia d'aigües subterràniesQualitat de l'aiguaCanvi climàtic628.114551.49Jha RamakarMiAaPQMiAaPQMiAaPQBOOK9910616360403321Groundwater and water quality3058828UNINA05081nam 22007331 450 991096128170332120080905141155.0978661176137097814725642831472564286978128176137812817613709781847314147184731414710.5040/9781472564283(CKB)1000000000691234(EBL)361641(OCoLC)560616851(SSID)ssj0000156819(PQKBManifestationID)12008570(PQKBTitleCode)TC0000156819(PQKBWorkID)10130072(PQKB)10468511(MiAaPQ)EBC1772432(MiAaPQ)EBC361641(UtOrBLW)bpp09256382(Au-PeEL)EBL361641(UtOrBLW)BP9781472564283BC(Perlego)810111(EXLCZ)99100000000069123420140929d2008 uy 0engur|n|---|||||txtccrForced migration, human rights and security /edited by Jane McAdam1st ed.Oxford ;Portland, Oregon :Hart Publishing,2008.1 online resource (316 p.)Studies in international law ;v. 17Description based upon print version of record.9781841137704 1841137707 Includes bibliographical references and index.Forced migration : refugees, rights and security /Guy S. Goodwin-Gill --Resolution 1373 : a call to pre-empt Asylum Seekers? (or 'Osama, the Asylum Seeker') /Penelope Mathew --National security and 'non-refoulment' in New Zealand : commentary on 'Zaoui v Attorney-General (No 2)' /Rodger Haines Q. C. --Offshore barriers to Asylum Seeker movement : the exercise of power without responsibility? /Savitri Taylor --The legal and ethical implications of extraterritorial processing of Asylum Seekers : the 'safe third country' concept /Susan Kneebone --Re-thinking the paradigms of protection : children as convention refugees in Australia /Mary Crock --Wearing thin : restrictions on Islamic headscarves and other religious symbols /Ben Saul --Subjectivity and refugee fact-finding /Arthur Glass --Towards convergence in the interpretation of the refugee convention : a proposal for the establishment of an international judicial commission for refugees /Anthony M. North and Joyce Chia --The refugee convention as a rights blueprint for persons in need of international protection /Jane McAdam --The responsibility to protect : closing the gaps in the international protection regime /Erika Feller."The international protection regime for refugees and other forced migrants seems increasingly at risk as measures designed to enhance security-of borders, of people, of institutions, and of national identity-encroach upon human rights. This timely edited collection responds to some of the contemporary challenges faced by the international protection regime, with a particular focus on the human rights of those displaced. The book begins by assessing the impact of anti-terrorism laws on refugee status, both at the international and domestic levels, before turning to examine the function of offshore immigration control mechanisms and extraterritorial processing on asylum seekers' access to territory and entitlements (both procedural and substantive). It considers the particular needs and rights of children as forced migrants, but also as children; the role of human rights law in protecting religious minorities in the context of debates about national identity; the approaches of refugee decision-makers in assessing the credibility of evidence; and the scope for an international judicial commission to provide consistent interpretative guidance on refugee law, so as to overcome (or at least diminish) the currently diverse and sometimes conflicting approaches of national courts. The last part of the book examines the status of people who benefit from 'complementary protection'-such as those who cannot be removed from a country because they face a risk of torture or cruel, inhuman or degrading treatment or punishment-and the scope for the broader concept of the 'responsibility to protect' to address gaps in the international protection regime"--Bloomsbury Publishing.Studies in international law (Oxford, England) ;v. 17.Forced migrationHuman rightsRefugeesLegal status, laws, etcInternational human rights lawForced migration.Human rights.RefugeesLegal status, laws, etc.341.48686.81bclMcAdam Jane1974-UtOrBLWUtOrBLWBOOK9910961281703321Forced migration, human rights and security4478137UNINA