Zoekresultaten - "Smart contract

Technologies and Applications for Big Data Value

Inhoudsopgave: “…Technologies and Applications for Big Data Value -- Part I: Technologies and Methods -- Trade-Offs and Challenges of Serverless Data Analytics -- Big Data and AI Pipeline Framework: Technology Analysis from a Benchmarking Perspective -- An Elastic Software Architecture for Extreme-Scale Big Data Analytics -- Privacy-Preserving Technologies for Trusted Data Spaces -- Leveraging Data-Driven Infrastructure Management to Facilitate AIOps for Big Data Applications and Operations -- Leveraging High-Performance Computing and Cloud Computing with Unified Big-DataWorkflows: The LEXIS Project -- Part II: Processes and Applications -- The DeepHealth Toolkit: A Key European Free and Open-Source Software for Deep Learning and Computer Vision Ready to Exploit Heterogeneous HPC and Cloud Architectures -- Applying AI to Manage Acute and Chronic Clinical Condition -- 3D Human Big Data Exchange Between the Healthcare and Garment Sectors -- Using a Legal Knowledge Graph for Multilingual Compliance Services in Labor Law, Contract Management, and Geothermal Energy -- Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case -- Data-Driven Artificial Intelligence and Predictive Analytics for the Maintenance of Industrial Machinery with Hybrid and Cognitive Digital Twins -- Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case -- Next-Generation Big Data-Driven Factory 4.0 Operations and Optimization: The Boost 4.0 Experience -- Big Data-Driven Industry 4.0 Service Engineering Large-Scale Trials: The Boost 4.0 Experience -- Model-Based Engineering and Semantic Interoperability for Trusted Digital Twins Big Data Connection Across the Product Lifecycle -- A Data SciencePipeline for Big Linked Earth Observation Data -- Towards Cognitive Ports of the Futures -- Distributed Big Data Analytics in a Smart City -- Processing Big Data in Motion: Core Components and System Architectures with Applications to the Maritime Domain -- Knowledge Modeling and Incident Analysis for Special Cargo.…”
Link to Metadata

Blockchain Integration With Digital Technology and the Future of Health Care Ecosystems: Systematic Review door Hanaa Fatoum, Sam Hanna, John D Halamka, Douglas C Sicker, Peter Spangenberg, Shahrukh K Hashmi

Connect to this object online.

Å kjøpe for Norge

DOAB: download the publication
DOAB: description of the publication

Å kjøpe for Norge

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

Blockchain and Crypto Currency Building a High Quality Marketplace for Crypto Data /

Inhoudsopgave: “…Preface -- Chapter 1 Creation of Blockchain and a New Ecosystem -- Chapter 2 Market Quality Approach to IoT Data on Blockchain Big Data -- Chapter 3 Industrial Applications of Blockchain to IoT Data -- Chapter 4 Theory of Money: From Ancient Japanese Copper Coins to Virtual Currencies -- Chapter 5 Ethereum, Smart Contracts, DApps -- Chapter 6 DEX: A Dapp for the Decentralized Marketplace -- Chapter 7 Blockchain Business and its Regulation -- Chapter 8 Bitcoin and Blockchain Technology.-.…”
Link to Metadata

PERAN ORGANISASI KEMAHASISWAAN DALAM MENUMBUHKAN NILAI SOLIDARITAS ANTAR MAHASISWAL: Studi Deskriptif Terhadap Mahasiswa Himpunan Mahasiswa Civic Hukum Jurusan Pendidikan Kewargan... door Prawira, Adika

Link Metadata

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

Inhoudsopgave: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

Blockchain Applications Transforming Industries, Enhancing Security, and Addressing Ethical Considerations

DOAB: download the publication
DOAB: description of the publication

Swiss Finance Banking, Finance, and Digitalization door Meier, Henri B.

DOAB: download the publication
DOAB: description of the publication

Swiss Finance Banking, Finance, and Digitalization door Meier, Henri B.

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

Blockchain Technology and the Health System Decentralization door Sara Emamgholipour, Rouhollah Yaghoubi

Connect to this object online.

Design of a Vaccine Passport Validation System Using Blockchain-based Architecture: Development Study door Hsiu An Lee, Wei-Chen Wu, Hsin-Hua Kung, Jai Ganesh Udayasankaran, Yu-Chih Wei, Boonchai Kijsanayotin, Alvin B Marcelo, Chien-Yeh Hsu

Connect to this object online.

Datenwirtschaft und Datentechnologie Wie aus Daten Wert entsteht /

Inhoudsopgave: “…Einleitung: Wie aus Daten Wert entsteht - Datenwirtschaft und Datentechnologie -- Teil 1 - Daten als Wirtschaftsgut: Einleitung: Daten als Wirtschaftsgut -- Grenzkostenfreie IoT-Services in den Datenmarktplätzen der Zukunft -- Besonderheiten datenbasierter Geschäftsmodellentwicklung -- Das Dilemma der Preisbildung datenbasierter Geschäftsmodelle in der produzierenden Industrie -- Bewertung von Unternehmensdatenbeständen: Wege zur Wertermittlung des wertvollsten immateriellen Vermögensgegenstandes -- Teil 2 - Datenrecht: Einleitung: Datenrecht -- Compliant Programming - Rechtssicherer Einsatz von Blockchains und anderen Datentechnologien -- Data Governance und Datenökonomie - Datenteilung in Ökosystemen rechtskonform gestalten -- Herausforderung und Grenzen bei der Gestaltung von Datenverträgen -- Vertragsdurchführung mit Smart Contracts - rechtliche Rahmenbedingungen und Herausforderungen -- Teil 3 - Kontrolle über Daten: Einleitung: Kontrolle über Daten -- Datenhoheit und Datenschutz aus Nutzer-, Verbraucher- und Patientenperspektive -- Verfahren zur Anonymisierung und Pseudonymisierung von Daten -- Datensouveränität in Digitalen Ökosystemen: Daten nutzbar machen, Kontrolle behalten -- Teil 4 - Vertrauen in Daten: Einleitung: Vertrauen in Daten -- Unternehmensdaten - Informationen aus gewachsenen, komplexen Systemen herausarbeiten -- Datenqualitätssicherung entloang der Datenwertschöpfungskette im Industriekontext -- Nationale und internationale Standardisierung und Zertifizierung von Datendiensten.…”
Link to Metadata

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

Inhoudsopgave: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni... door Ralf Küsters

DOAB: download the publication
DOAB: description of the publication

Chapter: 'The Blockchain and Kudos: A Distributed System for Educational Record, Reputation and Reward' from book: Adaptive and Adaptable Learning: 11th European Conference on Tech... door Mike Sharples

DOAB: download the publication
DOAB: description of the publication

A Blockchain-based privacy preserving mechanism for mobile crowdsensing door Hilmand Khan, Hajra Khan, Ayesha Shauqat, Sibgha Tahir, Sarmad Hanif, Hafiz Hamza

Connect to this object online.

Dezentrale autonome Organisationen (DAOs) und Gesellschaftsrecht Zum Spannungsverhältnis Blockchain-basierter und juristischer Regeln door Mienert, Biyan

DOAB: download the publication
DOAB: description of the publication

Law, Technology and Dispute Resolution The Privatisation of Coercion door Koulu, Riikka

DOAB: download the publication
DOAB: description of the publication

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

Inhoudsopgave: “…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).…”
Link to Metadata