Search Results - Refco~

Unmanned Vehicle Systems & Operations on Air, Sea, Land by Nichols, Randall K., Mumm, Hans C., Lonstein, Wayne D., Ryan, Julie J.C.H, Carter, Candice M.

Table of Contents: “…Front Matter -- Foreword -- Contributors -- Abbreviations, Acronyms, and References -- Table of Contents, Figures, Tables, Equations and Appendices -- Chapter 1 - Information Advances, Remote ID, & Extreme Persistence ISR -- Chapter 2 - Unmanned Aerial Vehicles & How They Can Augment Mesonet Weather Tower Data Collection -- Chapter 3 - Tour de Drones for the Discerning Palate -- Chapter 4 - Underwater Autonomous Navigation & other UUV Advances -- Chapter 5 - Asymmetric Autonomous Maritime Systems -- Chapter 6 - UUV Integrated Autonomous Missions & Drone Management -- Chapter 7 - Principles of Naval Architecture Applied to UUVs -- Chapter 8 - Unmanned Logistics Operating Safely & Efficiently Across Multiple Domains -- Chapter 9 - Chinese Advances in Stealth UAV Penetration Path Planning in Combat Environment -- Chapter 10 - UV, Social Networks & COVID-19 Defense -- Chapter 11 - UV & Disinformation Misinformation Channels -- Chapter 12 - Chinese UAS Proliferation along New Silk Road Sea Land Routes -- Chapter 13 - Automaton, AI, Law, Ethics, Crossing the Machine – Human Barrier -- Chapter 14 - Maritime Cybersecurity -- Appendices Chapters 10 & 12…”
Access online version

Primary Angioplasty A Practical Guide /

Table of Contents: “…-- Methods of reducing infarct size and reperfusion injury in primary PCI -- Time to reperfusion, door to balloon times, and how to reduce them -- Utilization of facilitated and rescue angioplasty in primary PCI -- Primary angioplasty: the economics -- Role of bypass surgery in acute myocardial infarction: indications, timing, outcome -- Role of intravascular imaging in emergency PCI -- Patients ineligible for primary PCI .…”
Link to Metadata

Local Governance of Peatland Restoration in Riau, Indonesia A Transdisciplinary Analysis /

Table of Contents: “…Inferring Recent Changes in Fish Fauna in the Middle Reaches of the Kampar River: Survey Results from the Fishing Village of Rantau Baru -- Chapter 5. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Researching Values Methodological Approaches for Understanding Values Work in Organisations and Leadership /

Table of Contents: “…Searching for Mysteries in Research Projects about Values in Organisational and Leadership Studies -- 4 Intentionality and agency in values work research -- 5 Extending knowledge, improving practice, and refining values - research informed by the concept of phronesis -- 6 Dilemmas and Craftsmanship Practices: Strategies for Empirically Uncovering Values and Value Conflicts -- Part II: Methods for collecting and analysing data -- 7 Research interview to investigate and co-create values -- 8 Observation and Shadowing: Two Methods to Research Values and Values Work in Organisations and Leadership -- 9 Thematic analysis: Making values emerge from texts -- 10 Identifying values through discourse analysis -- 11 A narrative approach to exploring values in organisations -- 12 Researchers' role reflexivity when studying values work -- 13 Participant validation-A strategy to strengthen the trustworthiness of your study and address ethical concerns -- Part III: Researching values through practical cases -- 14 The 'telos' as a lens that illuminates values in practice -- 15 Applying a qualitative case study approach to study values in public-private partnerships -- 16 Values-Based Participatory Action Research in Development Ethics.…”
Link to Metadata

Narrative Ethics in Public Health: The Value of Stories

Table of Contents: “…Boyle's "The Fugitive" -- Addressing Historical Trauma among US American Indian/Alaskan Natives: The Ethics of Making Space for Multiple Narratives in Public Health Research and Practice -- Using paired poems to crystallize and (re)consider public health breastfeeding promotion -- Database of Individual Patient Experiences (DIPEx): Potential for Public Health Considerations -- Poverty as Trauma: Considering Social Determinants of Health through the Lens of Narrative Ethics -- Ethical Imperatives and Challenges with Community-based Participatory Research in Public Health: Reflections of One Academic -- Disclosure of HIV Status during a Household HIV Survey in Namibia -- Vaccine Refusal: Stories from the Front Lines of Immunization Education -- What Is This All About: Tipping theBalance toward Treatment and Recovery -- The Boys Under My Deck: Fostering Resilience In Diverse Urban Neighborhoods -- Overweight and Obesity: A New Narrative -- Voices of Our Fathers: Narrative (Care) Ethics, Pragmatic Bioethics, Trust and Trustworthiness -- Stories, Stigma and Sequences: HIV Cluster Detection and Response Activities Through a Narrative Ethics Lens -- A Novel Approach to Public Health Crises Using Narrative Ethics -- Patient Rights versus Public Health.…”
Link to Metadata

Big Data and Artificial Intelligence in Digital Finance Increasing Personalization and Trust in Digital Finance using Big Data and AI /

Table of Contents: “…Introduction -- Part I: Novel Big Data and AI Technologies for Digital Finance -- A Reference Architecture for Big Data Systems and AI Applications in the Finance Sector -- Hybrid Transactional and Analytical Processing for Integrated Data Management in Digital Finance and FinTech Applications -- Semantic Interoperability Modelling for Digital Finance Applications -- Semantic Streaming for Digital Finance Applications -- Part II: Blockchain Technologies and Digital Currencies for Digital Finance Applications -- Central Bank Digital Currencies and a Euro for the Future -- Efficient and Accelerated KYC Using Blockchain Technologies -- Part III: Applications of Big Data and AI in Digital Finance -- AI-based platform for Intelligent and Automated Accounting -- Addressing Intra-Day Volatility in Risk Assessments for Forex Trading -- Next-Generation Personalized Investment Recommendations -- Personalized Finance Management for Small Medium Businesses -- AML/CF supervision empowered by AI -- AnalyzingLarge Scale Blockchain Transaction Graphs for Fraudulent Activities -- Cybersecurity and Fraud Detection in Financial Transactions -- Part IV: Applications of Big Data and AI in Insurance -- Risk assessment for personalized health insurance products -- Alternative Data for Personalized Insurance products -- Part V: Technologies for Regulatory Compliance in the Finance Sector -- AI Governance -Trustworthy and Responsible use of AI -- Large Scale Data Anonymization for GDPR Compliance -- Conclusion.…”
Link to Metadata

Revising the Integration-Citizenship Nexus in Europe Sites, Policies, and Bureaucracies of Belonging /

Table of Contents: “…Citizenship and naturalisation for migrants in the UK after Brexit (Marina Fernandez Reino and Madeleine Sumption) -- Part 2. Integration from Below -- 5. …”
Link to Metadata

Creating a Roadmap Towards Circularity in the Built Environment

Table of Contents: “…Circular Construction Principles: From Theoretical Perspective to Practical Application in Public Procurement -- Procedure for Waste Prevention and Management to Implement Best Practices in the Design and Construction of a Building -- Reuse of Steel Sheet Piles - Best Practice -- Design Strategies and Technical Practices for Reusable Steel-concrete Composite Structural Systems -- How Circular Economy Strategies Can Be Implemented in the Dwelling Renovation Design Phase -- Design for Disassembly and Reuse of Timber in Construction: Identification of Trends and Knowledge Gaps -- A Dynamic-based Methodology for Optimising Insulation Retrofit to Reduce Total Carbon -- Circular Strategies in Lightweight Steel-framed (Lsf) Buildings and the Research Project Tyre4buildins -- The Recycling of Construction Foams: An Overview -- By-product Phosphogypsum Valorisation Possibilities in the Context of Circular Economy of Building Materials -- Identifying Abandoned Industrial Zones in City X and Evaluating thePotential of Extending Their Useful Lifespan by Adaptive Reuse -- The Materials Bank of the City of Porto: Flow of Processes to Recover Tiles in Urban Operations of Historic Buildings -- Focus on Skills for a Circular Built Environment in a New Curriculum Development -- Efficient Recovery of Valuable Resources from Construction and Demolition Waste Towards Circular Economy in Construction Industry - Sustainability Assessment and a Case Study -- Albanian Green Economy Trends -- Pv and Thermal Solar Systems Application in Buildings. …”
Link to Metadata

Opening Science The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing /

Table of Contents: “…The Potential of Social Network Sites in the Scholarly Realm -- Reference Management -- Open Access: A State of the Art -- Novel Scholarly Journal Concepts -- The Public Knowledge Project: Open Source Tools for Open Access to Scholarly Communication -- Altmetrics and Other Novel Measures for Scientific Impact -- Dynamic Publication Formats and Collaborative Authoring -- Open Research Data -- Intellectual Property and Computational Science -- Research Funding in Science 2.0 -- Open Innovation and Crowdsourcing in the Sciences -- The Social Factor in Open Science -- Case: Creative Commons -- Case: Collaborative Authoring using Google Documents and Cloud Software -- Case: Unique Identity for a Researcher -- Case: Challenges in Open Data in Medical Research -- Case: On the Sociology of Science 2.0 -- Case: How This Book Was Created Using Collaborative Text Editing -- Case: History 2.0 -- Case: Making Data Citeable: Datacite.…”
Link to Metadata

High Mountain Conservation in a Changing World

Table of Contents: “…High soil carbon stocks in mountain grasslands may be compromised by land use changes -- 13. Why recovering large carnivore populations in high mountains? …”
Link to Metadata

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

Table of Contents: “…HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers -- HBasechainDB -- A Scalable Blockchain Framework on Hadoop Ecosystem -- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric -- Querying Large Scientific Data Sets with Adaptable IO System ADIOS -- On the Performance of Spark on HPC Systems: Towards a Complete Picture -- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems -- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use -- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers -- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems -- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics -- Machine Learning Predictions for Underestimation of Job Runtime on HPC System -- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPCSystems -- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation -- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner -- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code -- Optimization of Hierarchical matrix computation on GPU.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Contextualised open educational practices Towards student agency and self-directed learning

Table of Contents: “…Chapter 1: Open educational practices for self-directed learning: An open educational resources fellowship as a case study -- Chapter 2: Multilingual digital education for social justice through localised self-directed open educational practices in South Africa -- Chapter 3: What open educational resources’ incorporation in education might contribute including implications for self-directed learning -- Chapter 4: Multilingual philosophy glossaries: Steps towards socially just pedagogical praxis -- Chapter 5: Designing an open educational resource as part of a technology-enhanced practice environment developing the oral interactional competence of beginner language learners -- Chapter 6: Decolonising the journalism curriculum through co-creating an OER textbook with students -- Chapter 7: Stories students tell about their learning experiences creating open educational resources in a music education module -- Chapter 8: Second-year health students’ perspectives on developing open educational resources -- Chapter 9: An open educational resource as a tool to create awareness around infectious diseases: A focus on the human immunodeficiency virus, Mycobacterium tuberculosis and the severe acute respiratory syndrome coronavirus -- Chapter 10: How decolonial practices can assist with researching open educational resources and developing open legal pedagogies from a South African perspective -- References -- Index…”
Access online version

Reliability and Validity of International Large-Scale Assessment Understanding IEA's Comparative Studies of Student Achievement /

Table of Contents: “…Foreword; Dirk Hastedt -- 1 Introduction to Reliability and Validity of International Large-Scale Assessment; Hans Wagemaker -- 2 Study Design and Evolution, and the Imperatives of Reliability and Validity; Hans Wagemaker -- 3 Framework Development in International Large-Scale Assessment Studies; John Ainley and Wolfram Schulz -- 4 Assessment Content Development; Liz Twist and Julian Fraillon -- 5 Questionnaire Development in International Large-Scale Assessment Studies; Wolfram Schulz and Ralph Carstens -- 6 Translation: The Preparation of National Language Versions of Assessment Instruments; Paula Korsnakova, Steve Dept, and David Ebbs -- 7 Sampling, Weighting, and Variance Estimation; Sabine Meinck -- 8 Quality Control during Data Collection: Refining for Rigor; Lauren Musu, Sandra Dohr, and Andrea Netten -- 9 Post-collection Data Capture, Processing, and Scoring; Alena Becker -- 10 Technology and Assessment; Heiko Sibberns -- 11 Ensuring Validity in International Comparisons Using State-of-the-art Psychometric Methodologies; Matthias von Davier, Eugene Gonzalez, and Wolfram Schulz -- 12 Publishing and Dissemination; Seamus Hegarty and Sive Finlay -- 13 Consequential Validity: Data Access, Data Use, Analytical Support, and Training; Sabine Meinck, Eugene Gonzalez, and Hans Wagemaker -- 14 Using IEA Studies to Inform Policymaking and Program Development: The Case of Singapore; Hui Leng Ng, Chew Leng Poon, and Elizabeth Pang -- 15 Understanding the Policy Influence of International Large-Scale Assessments in Education; David Rutkowski, Greg Thompson, and Leslie Rutkowski.-.…”
Link to Metadata

The Palgrave Handbook of Positive Education

Table of Contents: “…Section I: Overview of Positive Education -- Chapter 1: An Introduction to Positive Education -- Chapter 2: Positive Education Around the World -- Section II: Core Goals for Positive Education -- Chapter 3: Wellbeing and Flourishing -- Chapter 4: Resilience -- Chapter 5: Social and Emotional Learning -- Chapter 6: Skills for the 21st Century Workplace -- Chapter 7: Approaches to Positive Education -- Section III: Foundations of Positive Education -- Chapter 8: Strength-Based Interventions in Educational Systems -- Chapter 9: Building Positive Emotions and Playfulness -- Chapter 10: Creativity and Intelligence -- Chapter 11: Growth Mindset -- Chapter 12: Perseverance, SelfC-control, and Grit -- Chapter 13: Engagement -- Chapter 14: Mindfulness, Meditation, and Related Practices -- Chapter 15: Relationships -- Chapter 16: Meaning and Purpose in Life -- Chapter 17: Civic Character -- Chapter 17: Moral Education -- Chapter 18: Trauma Informed Approaches -- Chapter 19: Reaching the Disadvantaged -- Chapter 20: Making positive education fun -- Section IV: Enablers of Wellbeing and Resilience -- Chapter 18: Self-Determination -- Chapter 19: Positive Youth Development -- Chapter 20: Career and Life Design -- Chapter 21: Assessing and Enabling Wellbeing in the Community -- Chapter 22: Teacher and Staff Wellbeing -- Chapter 23: Positive Leadership -- Chapter 24: Positive Communities -- Section VI: Applications and Implications -- Chapter 25: Systems Approaches to Positive Education -- Chapter 26: Cultural issues in positive education -- Chapter 27: Positive Education in Practice -- Chapter 28: Integration and Visions for the Future.…”
Link to Metadata

Digital Writing Technologies in Higher Education Theory, Research, and Practice /

Table of Contents: “…Introduction -- Section1: Word processing software -- Name of chapter -- The Beginnings of Word Processing: A Historical Account -- Establishing the Standard: The Rise of Microsoft Word -- Expansions and Alternatives: Beyond Microsoft Word -- Section2: Web applications and platform technology -- Name of chapter -- Hypertext, Hyperlinks, and the World Wide Web -- Creativity Software and Idea Mapping Technology -- Digital tools for Written Argumentation -- Digital Note-taking for Writing -- Synchronous and Asynchronous Collaborative Writing -- Social Annotation: Promising Technologies and Practices in Writing -- Multimodal chat-based apps: enhancing copresence when writing -- Learning Management Systems (LMSs) -- Digital Teacher Feedback Tools -- Digital Student Peer Review Systems -- Reference Management Systems -- Plagiarism Detection and Intertextuality Software -- The Electronic Portfolio: self-regulation and reflective practice -- CMS 3.0: The All-in-One Digital Writing Workspace -- Section3: Writing analytics and language technologies -- Name of chapter -- Automated Text Generation and Summarization -- Information Retrieval and Knowledge Extraction for Academic Writing -- Analytic Techniques for Automated Analysis of Writing -- Automated Scoring of Writing -- Automated Feedback on Writing -- Intelligent Tutoring for Writing -- On Corpora and Writing -- Investigating Writing Processes with Keystroke Logging -- Section4: Implications -- Writing and Learning: What Changed with Digitalization? …”
Link to Metadata

The Future of the Law of the Sea Bridging Gaps Between National, Individual and Common Interests /

Table of Contents: “…Martin Perez, The environmental legal framework for the development of blue energy in Europe -- Monserrat Abad Castellos, The Black Sea and Blue Energy: challenges, opportunities and the role of the European Union -- Part II - The national and international response to maritime crimes: Giorgia Bevilacqua, Exploring the Ambiguity of Operation Sophia between Military and Search and Rescue Activities -- Jasenko Marin, Miso Mudric and Robert Mikac, Private Maritime Security Contractors and Use of Lethal Force in Maritime Domain -- Magne Frostad, United Nations authorized Embargoes and Maritime Interdiction: a Special Focus on Somalia -- Pirjo Kleemola-Juntunen, The Right of Innocent Passage: The Challenge of the Proliferation Security Initiative and the Implications for the Territorial Waters of the Åland Islands.…”
Link to Metadata