Search Results - "Blockchain"

Electronic Health Record-Oriented Knowledge Graph System for Collaborative Clinical Decision Support Using Multicenter Fragmented Medical Data: Design and Application Study by Yong Shang, Yu Tian, Kewei Lyu, Tianshu Zhou, Ping Zhang, Jianghua Chen, Jingsong Li

Connect to this object online.

Shaping the Future of IoT with Edge Intelligence How Edge Computing Enables the Next Generation of IoT Applications

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

Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Swi...

Table of Contents: “…Making Flow-Based Security Detection Parallel -- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts -- Achieving Reproducible Network Environments with INSALATA -- Towards a Software-Defined Security Framework for Supporting Distributed Cloud -- Optimal Service Function Chain Composition in Network Functions Virtualization -- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services -- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications -- Towards Internet Scale Quality-of-Experience Measurement with Twitter -- Hunting SIP Authentication Attacks Efficiently -- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks -- Flow-Based Detection of IPv6-specific Network Layer Attacks -- Towards a Hybrid Cloud Platform Using Apache Mesos -- Visual Analytics for Network Security and Critical Infrastructures -- Preserving Relations in Parallel Flow Data Processing -- SmartDEMAP: A Smart Contract Deployment and Management Platform -- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads -- Situational Awareness: Detecting Critical Dependencies and Devices in a Network -- A Framework for SFC Integrity in NFV Environments -- Multi-domain DDoS Mitigation based on Blockchains.…”
Link to Metadata

Challenges and Research Trends of Energy Business and Management

DOAB: download the publication
DOAB: description of the publication

Requirements of Health Data Management Systems for Biomedical Care and Research: Scoping Review by Ismail, Leila, Materwala, Huned, Karduck, Achim P, Adem, Abdu

Connect to this object online.

THEORETICAL AND METHODOLOGICAL ASPECTS OF USING INFORMATION ANDCOGNITIVE TECHNOLOGIES IN THE TRAINING OF TRANSPORT SPECIALISTS by Lavrentieva Olena, Krupskyi Oleksandr

Connect to this object online.

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...

Table of Contents: “…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

Advanced Mathematical Science for Mobility Society

Table of Contents: “…Graph optimization problems and algorithms for DAG-type blockchains -- Part 4. Algorithm for mobility society -- Chapter 8. …”
Link to Metadata

Cognitive Hyperconnected Digital Transformation Internet of Things Intelligence Evolution

DOAB: download the publication
DOAB: description of the publication

Cognitive Hyperconnected Digital Transformation Internet of Things Intelligence Evolution

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

Digital Entrepreneurship Impact on Business and Society /

Table of Contents: “…PART 1: Characteristics of Digital Entrepreneurs -- Developing a digital entrepreneurial mindset for data-driven, cloud-enabled, platform-centric business activities: Practical implications and the impact on society -- Unleashing the creativity of entrepreneurs with digital technologies -- Digital entrepreneurship and agile methods in a hackathon case study -- PART 2: Perspectives on Digital Business Models -- Business model development and validation in digital entrepreneurship -- Development and validation of platform businesses in digital entrepreneurship -- Blockchain as an approach for secure data storage on digital consulting platforms -- Artificial intelligence-enhanced business models for digital entrepreneurs -- PART 3: Settings/Contexts of Mobilising Digital Entrepreneurship -- The role of an entrepreneurial mindset in digital transformation: A case study of the Estonian Business School -- Digitalcreativity: Upgrading creativity in digital business -- Corporate digital entrepreneurship: Leveraging the industrial Internet of things and emerging technologies -- New sources of entrepreneurial finance -- Digital intrapreneurship: The corporate solution to a rapid digitalisation -- PART 4: Global Environments and Digital Entrepreneurship -- Pursuing international opportunities in a digitally-enabled world -- Challenges and opportunities for digital entrepreneurship in developing countries -- Digital entrepreneurship for the 'decade of action'.…”
Link to Metadata

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

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...

Table of Contents: “…-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

Overview of Technologies Implemented During the First Wave of the COVID-19 Pandemic: Scoping Review by Alaa Abd-Alrazaq, Asmaa Hassan, Israa Abuelezz, Arfan Ahmed, Mahmood Saleh Alzubaidi, Uzair Shah, Dari Alhuwail, Anna Giannicchi, Mowafa Househ

Connect to this object online.

Multi-dimensional Approaches Towards New Technology Insights on Innovation, Patents and Competition /

Table of Contents: “…The Role of the European Commission in the Development of the ETSI IPR Policy and the nature of FRAND in Standardization -- Blockchain Technology in Aid of Trademark Protection -- Understanding the Nuances in the Interplay Between IPRs and Competition Law -- Do Strategic Actions Speak Louder Than Words? …”
Link to Metadata

Introduction to Digital Humanism A Textbook /

Table of Contents: “…-- The Re-Enchanted Universe of AI: the Place for Human Agency -- Aesthetic Aspects of Digital Humanism: An Aesthetic-Philosophical Analysis of Whether AI Can Create Art -- Approaches to Ethical AI[1] -- Promises and Perils in Moralizing Technologies -- The Road Less Taken: Pathways to Ethical and Responsible Technologies -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Governance for Digital Humanism: The role of regulation, standardization, and certification -- Value-Sensitive Software Design: Ethical Deliberation in Agile Development Processes -- Humans in the loop: people at the heart of systems development -- Resilience: the Key to Planetary and Societal Sustainability -- How blockchain technology can help to arrive at fair ecosystems and platforms -- Introduction to Security and Privacy -- Part 3: Critical and Societal Issues of Digital Systems -- Recommender Systems: Techniques, Effects, and Measures Towards Pluralism and Fairness -- Bias and the Web -- Copyright enforcement on social media platforms: On Algorithmic Content Moderation -- DEMOCRACY IN THE DIGITAL ERA -- Are Cryptocurrencies and Decentralized Finance Democratic? …”
Link to Metadata

Datenwirtschaft und Datentechnologie Wie aus Daten Wert entsteht /

Table of Contents: “…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

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers /

Table of Contents: “…Preventing Ecosystem Death through Lessons in Ecosystem Health -- Genesis of a Wood Harvesting B2B Software Platform -- Towards aTaxonomy of Impact Factors for Digital Platform Pricing -- Assessing the Health of the Dark Web: An Analysis of Dark Web Open Source Software Projects -- Using Guilds to Foster Internal Startups in Large Organizations: A case study -- Employee-Driven Innovation to Fuel Internal Software Startups: Preliminary Findings -- Towards a framework to guide the development of practices for software startups -- 2nd Workshop on Agility with Microservice Programming -- Towards Integrating Blockchains with Microservice Architecture Using Model-Driven Engineering -- A service mesh for collaboration between geo-distributed services: the replication case -- Implementation of a microservice-based certification platform -- Poster presentations -- Multiple Roles of Middle Managers in Agile Project Governance: An Activity Theory Perspective -- Cherry Picking - Agile Software Development Teams Applying Design Thinking Tools -- From Project to Product -- Panels -- The Stories We Tell: Experience, Research, or Patterns? …”
Link to Metadata

Technology and Agency in International Relations

DOAB: description of the publication

Technology and Agency in International Relations

OAPEN Library: description of the publication