Search Results - "computation"

Cyberinsurance Policy Rethinking Risk in an Age of Ransomware, Computer Fraud, Data Breaches, and Cyberattacks by Wolff, Josephine

DOAB: download the publication
DOAB: description of the publication

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

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

The Future Internet Future Internet Assembly 2013: Validated Results and New Horizons /

Table of Contents: “…Software Driven Networks, Virtualisation, Programmability and Autonomic Management -- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) -- The NEBULA Future Internet Architecture -- Open the Way to Future Networks - A Viewpoint Framework from ITU-T -- Towards a Minimal Core for Information-Centric Networking -- Managing QoS for Future Internet Applications over Virtual Sensor Networks -- High Availability in the Future Internet -- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation -- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds -- Cloud-Based Evaluation Framework for Big Data -- Optimizing Service Ecosystems in the Cloud -- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles -- Towards a Secure Network Virtualization Architecture for the Future Internet -- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures -- Internet of Things -- IoT6 - Moving to an IPv6-Based Future IoT -- SmartSantander: Internet of Things Research and Innovation through Citizen Participation -- A Cognitive Management Framework for Empowering the Internet of Things -- Building Modular Middlewares for the Internet of Things with OSGi -- Towards an Architecture for Future Internet Applications -- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability -- Test-Enabled Architecture for IoT Service Creation and Provisioning -- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet -- The EARTH Project -- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces -- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices -- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities -- User Involvement in Future Internet Projects -- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play -- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life -- CONCORD Project Management of the Future Internet -- FLAMINGO NoE Project Management of the Future Internet -- The GEYSERS Concept and Major Outcomes -- iCore: A Cognitive Management Framework for the Internet of Things -- IoT6 Project in a Nutshell -- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand -- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet -- The SmartSantander Project -- UniverSelf, Realizing Autonomics for Future Networks.…”
Link to Metadata

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings by Rio Yokota

Subjects: “…computer science…”
DOAB: download the publication
DOAB: description of the publication

Visualization of Time-Oriented Data by Aigner, Wolfgang, Miksch, Silvia, Schumann, Heidrun, Tominski, Christian

Table of Contents: “…1 Introduction -- 2 Historical Background -- 3 Time & Time-Oriented Data -- 4 Crafting Visualizations of Time-Oriented Data -- 5 Involving the Human via Interaction -- 6 Computational Analysis Support -- 7 Guiding the Selection of Visualization Techniques -- 8 Conclusion.…”
Link to Metadata

Special Topics in Information Technology

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

Special Topics in Information Technology

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

3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation /

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

Special Topics in Information Technology

Table of Contents: “…Reducing the Gap between Theory and Applications in Algorithmic Bayesian Persuasion -- Modern High-Level Synthesis: improving productivity with a multi level approach -- FPGA-based design and implementation of a code-based post quantum KEM -- Model-Driven Development of Formally Verified Human-Robot Interactions -- Electronic bio-reconfigurable impedance platform for high sensitivity detection of target analytes -- Development of Crosspoint Memory Arrays for Neuromorphic Computing -- Reconciling deep learning and control theory: recurrent neural networks for indirect data-driven control -- On data-driven optimization methods in the design and control of autonomous systems -- Model predictive control for constrained navigation of autonomous vehicles -- Cooperative Processing and Learning Methods for High-Resolution Environmental Perception -- Synthesis of Filters and Filtering Antennas for Micro and Millimeter Waves Applications -- Innovative Cross-Layer Optimization Techniques for the Design of Optical Networks.…”
Link to Metadata

Musical Haptics

Subjects: “…User interfaces (Computer systems).…”
Link to Metadata

Review Papers in Big Data, Cloud-Based Data Analysis and Learning Systems

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Pro Git by Chacon, Scott

Subjects: “…computer science…”
DOAB: download the publication
DOAB: description of the publication

Informação, conhecimento, ação autônoma e big data continuidade ou revolução?

Subjects: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

The Silicon Jungle by Rothman, David H.

Subjects: “…Computers -- Miscellanea…”
Get full text

The Real Cyberpunk Fakebook by Nagel, Bart; Sirius, R. U., 1952-; St. Jude

Subjects: “…Computer hackers…”
Get full text

Electronic Voting 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings /

Subjects: “…Data encryption (Computer science).…”
Link to Metadata

Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings /

Subjects: “…Data encryption (Computer science).…”
Link to Metadata

Cyber Security 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers /

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

Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman

Subjects: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication