Search Results - "computing"

Machine Learning Advanced Techniques and Emerging Applications

Subjects: “…deep learning, big data, malaria, data mining, cloud computing, fpga…”
DOAB: download the publication
DOAB: description of the publication

Network Coding

Subjects: “…iot, industry 4.0, fog computing, iiot, wireless networks…”
DOAB: download the publication
DOAB: description of the publication

Theoretical Foundations and Application of Photonic Crystals

Subjects: “…liquid crystal, electromagnetic field, silicon photonics, self-organization, optical computing…”
DOAB: download the publication
DOAB: description of the publication

e-Services

Subjects: “…entrepreneurship, cloud computing, security, corruption, e-learning, e-commerce…”
DOAB: download the publication
DOAB: description of the publication

Data Sovereignty From the Digital Silk Road to the Return of the State

Subjects: “…Computing & information technology bicssc…”
DOAB: download the publication
DOAB: description of the publication

Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Anatomy and Plasticity in Large-Scale Brain Models by Arjen van Ooyen

Subjects: “…high-performance computing…”
DOAB: download the publication
DOAB: description of the publication

Organic traffic control by Prothmann, Holger

Subjects: “…organic computing…”
DOAB: download the publication
DOAB: description of the publication

Policy-Oriented Technology Assessment Across Europe by Klüver, Lars

Subjects: “…Computing and Information Technology…”
DOAB: download the publication
DOAB: description of the publication

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach by Horn, Tassilo

Subjects: “…Computing & information technology bicssc…”
DOAB: download the publication
DOAB: description of the publication

Chapter Quality of Information within Internet of Things Data by Tomás, Alcañiz

Subjects: “…Computing & information technology bicssc…”
DOAB: download the publication
DOAB: description of the publication

Artificial Intelligence Technology by Huawei Technologies Co., Ltd

Subjects: “…Cloud Computing…”
DOAB: download the publication
DOAB: description of the publication

Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012

Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter Quality of Information within Internet of Things Data by Tomás, Alcañiz

Subjects: “…Computing & information technology bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Artificial Intelligence Technology by Huawei Technologies Co., Ltd

Subjects: “…Cloud Computing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Data Sovereignty From the Digital Silk Road to the Return of the State

Subjects: “…Computing & information technology bicssc…”
OAPEN Library: download the publication
OAPEN Library: 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...

Subjects: “…Computer science.…”
Link to Metadata

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

Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata

Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /

Subjects: “…Computer engineering.…”
Link to Metadata

Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings /

Subjects: “…Computer networks .…”
Link to Metadata