खोज परिणाम - "Statelessness"

Chapter 6 "The Ones We Love Are Enemies of the State" Mourners and Trespassers in Kamila Shamsie's Home Fire (2017) द्वारा Sánchez-Palencia, Carolina

DOAB: download the publication
DOAB: description of the publication

Chapter 6 "The Ones We Love Are Enemies of the State" Mourners and Trespassers in Kamila Shamsie's Home Fire (2017) द्वारा Sánchez-Palencia, Carolina

OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter 12 Genesis of state space Frontier commodification in Malaysian Borneo द्वारा Ishikawa, Noboru

DOAB: download the publication
DOAB: description of the publication

Chapter 12 Genesis of state space Frontier commodification in Malaysian Borneo द्वारा Ishikawa, Noboru

OAPEN Library: download the publication
OAPEN Library: description of the publication

Regulating the Metaverse Economy How to Prevent Money Laundering and the Financing of Terrorism / द्वारा Mooij, Annelieke

विषय - सूची: “…-- Chapter 3: The virtual currency schemes -- Chapter 4: Money Laundering & Financing of Terrorism via the Metaverse -- Chapter 5: Regulating the Technology (placement) -- Chapter 6: Currency (layering) -- Chapter 7: Integration into the legal economy -- Chapter 8: Non-Fungible Tokens and Stateless firms -- Chapter 9: Conclusion.…”
Link to Metadata

Keys to Understanding the Middle East द्वारा Payind, Alam, McClimans, Melinda

विषय - सूची: “…-- Chapter Three: The Middle East and the Impact of Imperialism -- The Middle East and the Impact of Imperialism -- Defining the Term "Middle East" -- National Borders as Foreign Intervention -- The Impact of Imperialism on the Region -- Modernization Versus Westernization -- Gamal Abdul Nasser and Non-Alignment -- Nation States and Stateless Nations -- The U.S. and Post-Bandung Imperial Dominance…”
Access online version

Migration in Southeast Asia IMISCOE Regional Reader /

विषय - सूची: “…Birth Registration, Legal Identity and Impacts on Migration in ASEAN -- Chapter 5. Forgotten Stateless Vietnamese in Thailand -- Chapter 6. Gender, Race, Culture and Identity at the Internal Border of Marriage Migration of Vietnamese Women in South Korea -- Chapter 7. …”
Link to Metadata

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

विषय - सूची: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

विषय - सूची: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata

The Comfort of Strangers द्वारा Jinmi Adisa

DOAB: download the publication
DOAB: description of the publication

Living with Others. Living like Others. An ethical basis for intercultural education द्वारा Paola Martino

Connect to this object online.

LOW INTERACTION HONEYPOT UNTUK MEMINIMALISIR SERANGAN DISTRIBUTED DENIAL OF SERVICE (DDOS) : Slowloris Terhadap Web Server द्वारा Nadya Richna Fitri, -

Link Metadata

The Rights of Children on the Move and the Budapest Declaration द्वारा Charles Oberg

Connect to this object online.

Yvan Goll ed il crollo del mito d'Europa द्वारा Terigi, Elisabetta

DOAB: download the publication
DOAB: description of the publication

Yvan Goll ed il crollo del mito d'Europa द्वारा Terigi, Elisabetta

OAPEN Library: download the publication
OAPEN Library: description of the publication

Digitalisation of birth registration system in Malaysia: Boon or bane for the hard-to-reach and marginalised? द्वारा Rodziana Mohamed Razali, Tamara Joan Duraisingam, Nessa Ni Xuan Lee

Connect to this object online.

Adolescents in Humanitarian Crisis Displacement, Gender and Social Inequalities

DOAB: download the publication
DOAB: description of the publication

Cumani Migrazioni, strutture di potere e società nell'Eurasia dei nomadi (secoli X-XIII) द्वारा Pubblici, Lorenzo

DOAB: download the publication
DOAB: description of the publication

Effective Houses Property Rights and Settlement in Iron Age Eastern Norway द्वारा Gjerpe, Lars Erik

DOAB: download the publication
DOAB: description of the publication

INTERNATIONALIZATION OF HIGHER EDUCATION IN THE CONTEXT OF RECOVERY OF UKRAINE: GOALS AND CHALLENGES द्वारा Mariia Debych

Connect to this object online.