“…—Richard Sambrook, Emeritus Professor, Cardiff University, UK and Co-Chair of The Bureau of Investigative Journalism, UK “A fantastic, timely and comprehensive look at the current state and challenges of investigative journalism.” —Henrik Örnebring, Professor of Media and Communication, Karlstad University, Sweden and winner of the 2023 AEJMC James A. …”

“…La notorit que lui valent ses travaux n'a rien envier celle de son illustre compatriote Niels Henrik Abel. Groupes et alg bres de Lie ont acquis droit de cit dans maints domaines. …”

Tabla de Contenidos: “…Froukje Maria Platjouw and Alla Pozdnakova / The environmental rule of law for oceans -- Christina Voigt / Oceans and climate change : implications for UNCLOS and the UN climate regime -- David Testa / Controlling GHG emissions from shipping : the role, relevance, and fitness for purpose of UNCLOS -- Dawoon Jung / An international legal framework for marine plastics pollution : time for a change to regulate the lifecycle of plastics -- Anastasia Telesetsky / The "thin law" of plastic regulation and a proposal for a regional or global waste tariff -- Alla Pozdnakova / Pollution of the marine environment by spaceflights -- Rozemarijn Roland Holst / Restoration activities in the marine environment : balancing diverging perceptions of 'risk' -- Brita Bohman and Henrik Ringbom / Marine geo-engineering to abate eutrophication in the Baltic Sea : how to address regulatory voids and uncertainty-- Aref Shams / Filling an iceberg-sized gap in the law of the sea : addressing an emerging demand on oceans -- Maurus Wollensa / The precautionary principle/approach and the United Nations Convention on the Law of the Sea - management of living resources -- Pierre Cloutier de Repentigny / A regime lost at sea : critical reflections on the UNCLOS conservation regime and the future of marine Biodiversity Protection -- Mitchell Lennan / Fisheries redistribution under climate change : rethinking the law to address the 'governance gap'? …”

“…Precisamente, la presencia de esclavos musulmanes, ya fueran moriscos o norteafricanos, hundía sus raíces en la Edad Media y era uno de los rasgos distintivos de la esclavitud peninsular, muy distinta de aquella que podía encontrarse en el continente americano. …”

“…El caso está cerrado y los detalles olvidados. Pero su tío Henrik Vanger, un empresario retirado, vive obsesionado con resolver el misterio antes de morir. …”

“…Vida, pasión y razón son tres conceptos que invitan al hombre actual a enfrentarse con problemas de hondo calado por hundir sus raíces en esa realidad que es la propia vida. …”

Tabla de Contenidos:

Tabla de Contenidos: “…Cover -- Copyright -- Credits -- About the Authors -- About the Reviewers -- www.PacktPub.com -- Customer Feedback -- Table of Contents -- Preface -- Chapter 1: Working with Containers -- The historical context of virtualization -- Introduction to containers -- Container components -- Types of containers -- Machine containers -- Application containers -- Types of container runtime tools -- Docker -- Rocket -- LXD -- OpenVZ -- Windows Server containers -- Hyper-V containers -- Clear container -- Installation of Docker -- Docker hands-on -- Working with Docker images -- Listing images -- Getting new images -- Searching Docker images -- Deleting images -- Working with Docker containers -- Creating containers -- Listing containers -- Checking container's logs -- Starting containers -- Deleting containers -- Summary -- Chapter 2: Working with Container Orchestration Engines -- Introduction to COE -- Docker Swarm -- Docker Swarm components -- Node -- Manager node -- Worker node -- Tasks -- Services -- Discovery service -- Scheduler -- Swarm mode -- Apache Mesos -- Apache Mesos and its components -- Master -- Slaves -- Frameworks -- Offer -- Tasks -- Zookeeper -- Kubernetes -- Kubernetes architecture -- External request -- Master node -- kube-apiserver -- etcd -- kube-controller-manager -- kube-scheduler -- Worker nodes -- kubelet -- kube-proxy -- Container runtime -- supervisord -- fluentd -- Concepts in Kubernetes -- Pod -- Replica sets and replication controllers -- Deployments -- Secrets -- Labels and selectors -- Services -- Volumes -- Kubernetes installation -- Kubernetes hands-on -- Summary -- Chapter 3: OpenStack Architecture -- Introduction to OpenStack -- OpenStack architecture -- Introduction to KeyStone, the OpenStack identity service -- Introduction to Nova, the OpenStack compute service…”

Tabla de Contenidos: “…-- 2 Creating Versatile Types -- Format a Type with ToString( ) -- Make Types Equatable -- Make Types Hashable with GetHashCode( ) -- Make Types Sortable -- Give Types an Index -- Notify Clients when Changes Happen -- Overload Appropriate Operators -- Convert One Type to Another -- Prevent Inheritance -- Allow Value Type to Be Null -- 3 General Coding -- Declare Variables -- Defer Type Checking to Runtime (Dynamic Types) -- Use Dynamic Typing to Simplify COM Interop -- Declare Arrays -- Create Multidimensional Arrays -- Alias a Namespace -- Use the Conditional Operator (?…”

Tabla de Contenidos: “…-- Understanding the foundational elements of NEAR -- Learning about the advanced concepts of NEAR -- Transactions and gas -- Data flow -- Tokens and avoiding loss -- Storage options -- Validators and consensus -- NEAR SDK -- Getting started with the NEAR blockchain -- The Contract class -- State and data structures -- Transfers and actions -- Cross contract calls -- NEAR CLI deep dive -- Creating our first project with NEAR -- Understanding the structure and rules of the crossword game -- Setting up the development environment -- Creating a smart contract skeleton -- Testing and deployment -- Interacting with the contract -- Summary -- Part 4: Polkadot and Substrate -- Chapter 9: Exploring Polkadot, Kusama, and Substrate -- Introducing Polkadot -- Interoperability -- Relay chain -- Parathreads -- Bridges -- Accounts -- Transactions -- Tokens and assets -- NFTs -- Understanding the core concepts of PolkaDot -- XCM -- Shared security -- Pallets -- Staking -- Advanced staking concepts -- Main actors -- NPoS election algorithms -- Learning about Kusama -- Governance and on-chain upgrades -- Chaos and experimentation -- Introducing Substrate -- Substrate architecture -- Client and runtime -- Network types -- Node types -- Diving deep into Substrate -- Runtime interfaces -- Core primitives -- FRAME -- Building custom pallets -- Forkless and runtime upgrades -- Consensus -- Summary -- Chapter 10: Hands-On with Substrate -- Technical requirements -- Installing Substrate -- Building our own blockchain -- Starting a local node -- Installing a frontend template -- Starting the frontend template -- Transferring the funds -- Simulating a network -- Starting the first blockchain node -- Adding more nodes…”

Tabla de Contenidos: “…Halberg -- Policies and Actions to Support Organic Agriculture / Sofia Twarog -- Comparative institutional analyses of certified organic agriculture conditions in Brazil and China / Henrik Egelyng, Lucimar de Abreau, Luping Li and Maria Fernanda Fonseca -- The dynamics and recomposition of agroecology in Latin America / L.S. de Abreu and S. …”
Enlace del recurso

Tabla de Contenidos: “…Part 1 - Introducing C# and the .NET Platform -- 1: The Philosophy of .NET -- 2: Building C# Applications -- Part 2 - Core C# Programing -- 3: Core C# Programming Constructs, Part I -- 4: Core C# Programming Constructs, Part II -- Part 3 - Object-Oriented Programming with C# -- 5: Understanding Encapsulation -- 6: Understanding Inheritance and Polymorphism -- 7: Understanding Structured Exception Handling -- 8: Working with Interfaces -- Part 4 - Advanced C# Programming -- 9: Collections and Generics -- 10: Delegates, Events, and Lambda Expressions -- 11: Advanced C# Language Features -- 12: LINQ to Objects -- 13: Understanding Object Lifetime -- Part 5 - Programming with .NET Assemblies -- 14: Building and Configuring Class Libraries -- 15: Type Reflection, Late Binding, and Attribute-Based Programming -- 16: Dynamic Types and the Dynamic Language Runtime -- 17: Processes, AppDomains, and Object Contexts -- 18: Understanding CIL and the Role of Dynamic Assemblies -- Part 6 - Introducing the .NET Base Class Libraries -- 19: Multithreaded, Parallel, and Async Programming -- 20: File I/O and Object Serialization -- 21: Data Access With ADO.NET -- 22: Introducing Entity Framework 6 -- 23: Introducing Windows Communication Foundation -- Part 7 - Windows Presentation Foundation -- 24: Introducing Windows Presentation Foundation and XAML -- 25: Programming WPF Controls -- 26: WPF Graphics Rendering Services -- 27: WPF Resources, Animations, Styles, and Templates -- 28: Notifications, Validations, Command, and MVVM -- Part 8 - ASP.NET.MVC -- 29: Introducing ASP.NET MVC -- 30: Introducing ASP.NET Web API 2.2 -- Part 9 - .NET CORE -- 31: The Philosophy of .NET Core -- 32: Introducing Entity Framework Core -- 33: Introducing ASP.NET Core Web Applications -- 34: Introducing ASP.NET Core Service Applications -- Appendicies -- Appendix A: ADO.NET Data Sets, Data Tables, and Data Adapters -- Appendix B: Introducing LINQ to XML -- Appendix C: Introducing ASP.NET Web Forms -- Appendix D: ASP.NET Web Controls, Master Pages, and Themes -- Appendix E: ASP.NET State Management Techniques…”

Tabla de Contenidos: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)…”

Tabla de Contenidos: “…Front Cover; Green Communications: Theoretical Fundamentals, Algorithms and Applications; Copyright; Dedication; Table of Contents; Preface; Editor Biographies; Part I: General Topics; 1. Runtime-Controlled Energy Reduction Techniques for FPGAs; 2. …”

Tabla de Contenidos: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)…”

Tabla de Contenidos: “…s WTO accession: Conflicts with domestic agricultural policies and institutions - MM. Hunter Colby, Xinshen Diao and Francis Tuan""; ""Trade integration and the prospects for rural enterprise development in China - Mr. …”

Tabla de Contenidos: “…Connelly -- The potential role of mindfulness in leadership / Michael Chaskalson & Jeremy Hunter -- The future of leadership / David V. Day and John Antonakis -- Change -- The history and current status of organizational and systems change theory / H. …”

Tabla de Contenidos: “…Keynote Address -- Assembling the Planetary Computer -- Location Awareness -- GeoNotes: Social and Navigational Aspects of Location-Based Information Systems -- A Probabilistic Room Location Service for Wireless Networked Environments -- Location Information Management -- Low Cost Indoor Positioning System -- Making Everyday Life Easier Using Dense Sensor Networks -- Tools and Infrastructure -- ICrafter: A Service Framework for Ubiquitous Computing Environments -- Using JIT Compilation and Configurable Runtime Systems for Efficient Deployment of Java Programs on Ubiquitous Devices -- Software Infrastructure for Ubiquitous Computing Environments: Supporting Synchronous Collaboration with Heterogeneous Devices -- Smart-Its Friends: A Technique for Users to Easily Establish Connections between Smart Artefacts -- Applications for Groups -- Integrating Meeting Capture within a Collaborative Team Environment -- A Ubiquitous Service Environment with Active Documents for Teamwork Support -- Digital Assistant for Supporting Conference Participants: An Attempt to Combine Mobile, Ubiquitous and Web Computing -- The Family Intercom: Developing a Context-Aware Audio Communication System -- Panel Discussion -- Ubiquitous Computing and The Disappearing Computer - Research Agendas, Issues, and Strategies -- Applications and Design Spaces -- The Conversational Role of Electronic Guidebooks -- Who, What, When, Where, How: Design Issues of Capture & Access Applications -- Unearthing Virtual History: Using Diverse Interfaces to Reveal Hidden Virtual Worlds -- KISS the Tram: Exploring the PDA as Support for Everyday Activities -- Subtle and Public Notification Cues for Mobile Devices -- InfoScope: Link from Real World to Digital Information Space -- Research Challenges and Novel Input -- At Home with Ubiquitous Computing: Seven Challenges -- Privacy by Design — Principles of Privacy-Aware Ubiquitous Systems -- TrekTrack: A Round Wristwatch Interface for SMS Authoring -- A Compact, Wireless, Self-Powered Pushbutton Controller -- Interacting at a Distance Using Semantic Snarfing -- Output -- The Everywhere Displays Projector: A Device to Create Ubiquitous Graphical Interfaces -- UniCast, OutCast & GroupCast: Three Steps Toward Ubiquitous, Peripheral Displays -- Multibrowsing: Moving Web Content across Multiple Displays -- On the Design of Personal & Communal Large Information Scale Appliances -- Serendipity within a Ubiquitous Computing Environment: A Case for Opportunistic Browsing…”

Tabla de Contenidos: “…The Basics, RevisitedQuerying Multiple Tables; Full-Text Searching; InnoDB Tables; Controlling Access; Analyzing the Database; Database Maintenance; Summary; Chapter 5: PHP Configuration; Modifying php.ini; PHP Configuration during Runtime; Summary; Chapter 6: Apache Tricks; URL Rewriting; URL Spell Checking; Content Compression; Using MySQL with Apache; Apache and SSL; Apache as a File Repository; Summary; Chapter 7: Site Security; Controlling Access; Website Attacks; Other Considerations; Summary; Chapter 8: PEAR and PECL; What Is PEAR?…”