yusuke1997/dblp-id-title huggingface dataset:
Online Film Production in China Using Blockchain and Smart Contracts - The Development of Collaborative Platforms for Emerging Creative Talents
Reliability Aspect of Cloud Computing Environment
A First Introduction to Quantum Computing and Information
High-Speed Networks - A Tutorial
Automated Firewall Analytics - Design, Configuration and Optimization
Sprachkonzepte für benutzergerechte Systeme
Implementing IT Processes - The Main 17 IT Processes and Directions for a Successful Implementation
Parallel Operator Splitting Algorithms with Application to Imaging Inverse Problems
Termination Proofs for Logic Programs
Digitale Hardware/Software-Systeme: Synthese und Optimierung, 2. Auflage
Fuzzy Logic in Computer Science
The Heart of Computer Science
Introduction and Prologue
High Performance Computing and Communication (HPCC)
The Hardware Side
Operating Systems (OS)
Multivariate Complexity Theory
Numerical Thinking in Algorithm Design and Analysis
Computation: Brief History Prior to the 1900s
Programming for Distributed Computing: From Physical to Logical Networks
Statistics of the Field
Computer Security and Public Key Cryptography
The Software Side of Computer Science - Computer Programming
Translation, Brains and the Computer - A Neurolinguistic Solution to Ambiguity and Complexity in Machine Translation
Wireless Indoor Localization - A Crowdsourcing Approach
Relational Matching
Digitalisierung im Spannungsfeld von Politik, Wirtschaft, Wissenschaft und Recht, 1. Band: Politik und Wirtschaft
Symbolic Algebraic Methods and Verification Methods
Taxonomy Matching Using Background Knowledge, Linked Data, Semantic Web and Heterogeneous Repositories
Quantum Finance - Intelligent Forecast and Trading Systems
Control Performance Assessment: Theoretical Analyses and Industrial Practice
Network Behavior Analysis - Measurement, Models, and Applications
Fully Integrated High-Voltage DC-DC and AC-DC Conversion
Web Service Implementation and Composition Techniques
From Emerging Technologies to Business Opportunities - Interviews with Academics and Business Experts
Automatic Indexing and Abstracting of Document Texts
Systems Programming in Unix/Linux
Information Extraction: Algorithms and Prospects in a Retrieval Context
Marginal Space Learning for Medical Image Analysis - Efficient Detection and Segmentation of Anatomical Structures
Context-Aware Machine Learning and Mobile Data Analytics - Automated Rule-based Services with Intelligent Decision-Making
Control and Filtering of Fuzzy Systems with Switched Parameters
Games to Play and Games not to Play - Strategic Decisions via Extensions of Game Theory
Data Visualisation with R - 100 Examples
Robustness Optimization for IoT Topology
Web Data Management: A Warehouse Approach
Artificial Intelligence Today: Recent Trends and Developments
Source Code Modularization - Theory and Techniques
Practical Azure Application Development - A Step-by-Step Approach to Build Feature-Rich Cloud-Ready Solutions
12 × 12 Schlüsselkonzepte zur Mathematik
From Logarithmic Advice to Single-Bit Advice
A Sample of Samplers: A Computational Perspective on Sampling
Strong Proofs of Knowledge
Proving Computational Ability
Basic Facts about Expander Graphs
Another Proof That BPP Í PH \mathcal{BPP}\subseteq \mathcal{PH} (and More)
On Probabilistic versus Deterministic Provers in the Definition of Proofs of Knowledge
Randomness and Computation
Average Case Complexity, Revisited
Using the FGLSS-Reduction to Prove Inapproximability Results for Minimum Vertex Cover in Hypergraphs
Short Locally Testable Codes and Proofs
Another Motivation for Reducing the Randomness Complexity of Algorithms
Simplified Derandomization of BPP Using a Hitting Set Generator
Basing Non-Interactive Zero-Knowledge on (Enhanced) Trapdoor Permutations: The State of the Art
From Absolute Distinguishability to Positive Distinguishability
Bravely, Moderately: A Common Theme in Four Recent Works
Finding the Shortest Move-Sequence in the Graph-Generalized 15-Puzzle Is NP-Hard
On the Complexity of Computational Problems Regarding Distributions
The GGM Construction Does NOT Yield Correlation Intractable Function Ensembles
Data Analytics in the Era of the Industrial Internet of Things
Preference-based Spatial Co-location Pattern Mining
Coordinative Practices in the Building Process - An Ethnographic Perspective
Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources: Semi-Automatic Approaches and Tools
Machine Learning in Social Networks - Embedding Nodes, Edges, Communities, and Graphs
Visualization in Medicine and Life Sciences
A Holistic View of Software and Hardware Reuse - Dependable Reuse of Components and Systems
Excel-VBA - From Solving Mathematical Puzzles to Analysing Complex Engineering Problems
Attribute Grammars: Definitions, Systems, and Bibliography
Guide to Cisco Routers Configuration - Becoming a Router Geek, Second Edition
Neural Networks and Deep Learning - A Textbook
Complex Data Analytics with Formal Concept Analysis
New Frontiers in Cryptography - Quantum, Blockchain, Lightweight, Chaotic and DNA
Matrix Eigensystem Routines - EISPACK Guide, Second Edition
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Erfahrung und Berechnung: Kritik der Expertensystemtechnik
The Storage and Retrieval of Continuous Media Data
Retrieval of Pictures Using Approximate Matching
A Unified Approach to Data Modeling and Retrieval for a Class of Image Database Applications
Multimedia Athoring Systems
Stream-based Versus Structured Video Objects: Issues, Solutions, and Challenges
Querying Multimedia Databases in SQL
Metadata for Building the MultiMedia Patch Quilt
Indexing for Retrieval by Similarity
Towards a Theory of Multimedia Database Systems
Design and Implementation of QBISM, a 3D Medical Image Database System
Ink as a First-Class Datatype in Multimedia Databases
A Data Access Structure for Filtering Distance Queries in Image Retrieval
Development of Clinical Decision Support Systems using Bayesian Networks - With an example of a Multi-Disciplinary Treatment Decision for Laryngeal Cancer
Medical Data Privacy Handbook
Software Frameworks and Embedded Control Systems
Petri Nets - Theoretical Models and Analysis Methods for Concurrent Systems
Business Process Management Cases, Digital Innovation and Business Transformation in Practice
Security and Privacy Trends in the Industrial Internet of Things
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Bildanalyse allgemeiner Dokumente
Computing Attitude and Affect in Text: Theory and Applications
Learning to Play - Reinforcement Learning and Games
The Graph Isomorphism Problem: Its Structural Complexity
More than a Chatbot - Language Models Demystified
Introduction to Functional Differential Equations
Smart Log Data Analytics - Techniques for Advanced Security Analysis
Datenbanksysteme: Konzepte und Techniken der Implementierung, 2. Auflage
Dependability of Engineering Systems - A Markov Minimal Cut Approach
Distributed Graph Analytics - Programming, Languages, and Their Compilation
Analytical Methods in Fuzzy Modeling and Control
Reactive Programming with Angular and ngrx - Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions
Materialflusssysteme (3. Auflage)
Mehrbenutzerkontrolle in Nicht-Standard-Datenbanksystemen
Group Verbal Decision Analysis - Theory and Applications
Classical and Modern Cryptography for Beginners
Modeling Handover from the Access Networks' Perspective
Tools and Modeling Approaches for Simulating Hardware and Systems
Modeling Security Aspects of Networks
Selected System Models
Channel Modeling
Physical Layer Modeling
Open WNS
Modeling Mobility
Modeling the Network Topology
The ns-3 Network Simulator
Modeling User Behavior in P2P Systems
Modeling the Internet Delay Space and its Application in Large Scale P2P Simulations
From Simulations to Deployments
Modeling Application Traffic
Link Layer Modeling
Wireless Networking Use Cases
Modeling the Network Layer and Routing Protocols
Modeling Transport Layer Protocols
IKR Simulation Library
Machine Learning in Complex Networks
Introduction to Software Design with Java
Fehlertolerante dezentrale Prozeßautomatisierung
Fast Fourier Transform Algorithms for Parallel Computers
Workflows for e-Science, Scientific Workflows for Grids
On the Shape of Mathematical Arguments
Parallel C++ - Efficient and Scalable High-Performance Parallel Programming Using HPX
Foundations of Inductive Logic Programming
Approaches in Integrative Bioinformatics - Towards the Virtual Cell
Fuzzy Rationality - A Critique and Methodological Unity of Classical, Bounded and Other Rationalities
Synchronizing E-Security
Solving Fault Diagnosis Problems - Linear Synthesis Techniques with Julia Code Examples, Second Edition
Museums and Digital Culture, New Perspectives and Research
Information Theoretic Learning - Renyi's Entropy and Kernel Perspectives
Linguistic Linked Data - Representation, Generation and Applications
Axiomatising the Logic of Computer Programming
Fractal Dimensions of Networks, New
Privacy and Identity Management for Life
The Computational Complexity of Equivalence and Isomorphism Problems
Practical Post-Quantum Signatures - FALCON and SOLMAE with Python
Self-Organization and Associative Memory, Third Edition
The Automated City - Internet of Things and Ubiquitous Artificial Intelligence, 1
Multi-Objective Optimization - Evolutionary to Hybrid Framework
Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types
Cooperative Interfaces to Information Systems
Trustworthy Cyber-Physical Systems - A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
Network Security Metrics
Stochastic Automata: Stability, Nondeterminism, and Prediction
The Automation of Reasoning with Incomplete Information, From Semantic Foundations to Efficient Computation
Edinburgh LCF
Beginning Build and Release Management with TFS 2017 and VSTS - Leveraging Continuous Delivery for Your Business
Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security
Recognizing Vessel Movements from Historical Data
Assessing Trust for Determining the Reliability of Information
Online Fault Localization and Health Monitoring for Software Systems
Improving Situation Awareness in the Maritime Domain
The POLIPO Security Framework
Specification and Generation of Adapters for System Integration
The POSEIDON Demonstrator
Prioritizing Tests for Fault Localization
The Simple Event Model
Density-Based Anomaly Detection in the Maritime Domain
Analyzing Vessel Behavior Using Process Mining
On the Architecture of Systems for Situation Awareness
Visualization of Vessel Traffic
Extending Track Analysis from Animals in the Lab to Moving Objects Anywhere
Point Cloud Compression - Technologies and Standardization
Embedded Firmware Solutions - Development Best Practices for the Internet of Things
Scalable Pattern Recognition Algorithms - Applications in Computational Biology and Bioinformatics
Geometric Algebra Computing - in Engineering and Computer Science
A Framework for Studying Autonomic Computing Models in Cyber Deception
XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings
Collaborations Between Industry and University
Digital Storytelling
Optimization in Software Engineering: A Pragmatic Approach
Kinematics Reconstruction of Static Calligraphic Traces from Curvilinear Shape Features
Visual Computing for Cultural Heritage
Introduction to Smart Service Architectures
Reaching Broad Audiences from a Research Institute Setting
Path Planning for a Multi-robot System with Decentralized Control Architecture
Cross-Modality Video Segment Retrieval with Ensemble Learning
Autonomic Decentralized Microservices: The Gru Approach and Its Evaluation
ENMPC Versus PID Control Strategies Applied to a Quadcopter
Generalized Ordinal Sum Constructions of t-norms on Bounded Lattices
The Roles of Incubators, Accelerators, Co-working Spaces, Mentors, and Events in the Startup Development Process
Towards New Quantitative Cybersecurity Risk Analysis Models for Information Systems: A Cloud Computing Case Study
Trajectory Detection and Summarization over Surveillance Data Streams
SSD Forensics: Evidence Generation and Analysis
Classifying the Kinematics of Fast Pen Strokes in Children with ADHD using Different Machine Learning Models
Explanation-Based Learning of Action Models
Crossing Layout in Non-planar Graph Drawings
Bedrohung von Finanzdienstleistern durch FinTechs
Imagining the Future of Quantum Computing
Big Data and Privacy: Challenges and Opportunities
Robust Interference Management and Network Design for Heterogeneous Full-Duplex Communication Networks
Epidemic Modelling for the Spread of Bots Through DDoS Attack in E-Commerce Network
Valued Constraint Satisfaction Problems
Forensic Investigation of Ransomware Activities - Part 1
The Future of Testing
Stream and Event Processing Services for Real-time Linked Dataspaces
Argument-Based Plan Explanation
Measuring Progress on an Approach for Interactive Learning of Context-Driven Actions
Preserving the Legacy of IT Innovation
Alexa/Google Home Forensics
Challenge for Society of Scale and Speed of Technological Change
Investigating the Sigma-Lognormal Model for Disease Classification by Handwriting
Auswahlprozess für den Blockchain-Einsatz
Using Augmented Reality, Gaming Technologies, and Transmedial Storytelling to Develop and Co-design Local Cultural Heritage Experiences
Dissemination of Internet of Things Streams in a Real-time Linked Dataspace
DFRWS IoT Forensic Challenge Report 1
Emotional States Detection Approaches Based on Physiological Signals for Healthcare Applications: A Review
Autonomic Source Selection for Real-time Predictive Analytics Using the Internet of Things and Open Data
Bayesian Data Analysis in Empirical Software Engineering: The Case of Missing Data
Towards the Digital Factory: A Microservices-Based Middleware for Real-to-Digital Synchronization
Startup Ecosystem Maturity and Visualization: The Cases of New York, Tel Aviv, and San Paolo
Reference Architecture Models for Smart Services
Microservices Anti-patterns: A Taxonomy
CCTV Forensics in the Big Data Era: Challenges and Approaches
Intelligent Vehicular Networking Protocols
A Resource Perspective on E-Waste: A Global Problem with Local Solutions?
Fuzzy Primeness in Quantales
DFRWS IoT Forensic Challenge Report 2
An Empirical Study of Secret Security Patch in Open Source Software
On the Complex Behaviour of Natural and Artificial Machines and Systems
Constrained Clustering: Current and New Trends
Reflections on Visualization for Broad Audiences
Computer Graphics for Archaeology
An Interactive Tablet-based System to Run Neuromuscular Tests
Digital Forensics of Raspberry Pi Used for MITM
Artificial Intelligence and Bioinformatics
Toward Uniform Smart Healthcare Ecosystems: A Survey on Prospects, Security, and Privacy Considerations
Right Angle Crossing Drawings of Graphs
Automated Cyber Risk Mitigation: Making Informed Cost-Effective Decisions
Challenges and Open Issues in Visualization for Broad Audiences
Decision Under Uncertainty
Industrial and Artificial Internet of Things with Augmented Reality
A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms
DFRWS IoT Forensic Challenge Report 4
Handbook of Big Data Privacy
Dynamic Modeling of a Quadrotor UAV Prototype
Health Test Bed Group
Security and Privacy in Social Networks: Data and Structural Anonymity
To Centralize or Decentralize: What is the Question? An Application to Digital Payments
Modeling 3D Movements with the Kinematic Theory of Rapid Human Movements
A Gesture-Based Interface for Remote Surgery
Building Internet of Things-Enabled Digital Twins and Intelligent Applications Using a Real-time Linked Dataspace
Argumentation and Inconsistency-Tolerant Reasoning
Validation and Explanation
Heuristically Ordered Search in State Graphs
Dataspaces: Fundamentals, Principles, and Techniques
Exploring Adversarial Artificial Intelligence for Autonomous Adaptive Cyber Defense
Human-in-the-Loop Tasks for Data Management, Citizen Sensing, and Actuation in Smart Environments
Fog Computing: Data Analytics for Time-Sensitive Applications
Biometric Measurement in Software Engineering
1-Planar Graphs
A Novel Scheme for an IoT-Based Weather Monitoring System Using a Wireless Sensor Network
Empirical Software Engineering Experimentation with Human Computation
Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration
The Design Science Paradigm as a Frame for Empirical Software Engineering
Tackling Problems of Marker-Based Augmented Reality Under Water
Living Safety Testbed Group
Testing in the Digital Age
Data Support Services for Real-time Linked Dataspaces
Formal Specification of Robotic Architectures for Experimental Robotics
Providing Access to Old Greek Documents Using Keyword Spotting Techniques
Designing a Smart Service for Customer Need Identification in B2B Ticketing Systems
Game Theoretic Cyber Deception to Foil Adversarial Network Reconnaissance
Incorporating Artificial Intelligence into Medical Cyber Physical Systems: A Survey
Fundamentals of Real-time Linked Dataspaces
A Guided Tour of Artificial Intelligence Research: Volume III: Interfaces and Applications of Artificial Intelligence
Everyone Is not a Gamer! Developing Cultural Heritage Experiences for Diverse Audiences
Elements for a History of Artificial Intelligence
Six Pillars of Modern Entrepreneurial Theory and How to Use Them
Beyond Clustered Planar Graphs
Transformations, Mappings, and Data Summaries
Reaching Broad Audiences from a Large Agency Setting
Music and Artificial Intelligence
Research Synthesis in Software Engineering
Professionalism in IT
Back to Classics: Controlling Smart Thermostats with Natural Language... with Personalization
Secure Data Management Technology
Databases and Artificial Intelligence
Which is Better for Mobile Robot Trajectory Optimization: PSO or GA?
Smart Service Management - Design Guidelines and Best Practices
Distributed Storage of Large Knowledge Graphs with Mobility Data
Procedural Modeling for Cultural Heritage
The Why, How and What of Agile Transformations
A Hybrid Deep Generative Local Metric Learning Method for Intrusion Detection
Introduction to Smart Service Use Cases
Social Media Data in Digital Forensics Investigations
Fog Computing: Applications and Secure Data Aggregation
The Next Generation Tester: Meeting the Challenges of a Changing IT World
Transformation oder Disruption im Energiemarkt?
Thick Separators
Contemporary Empirical Methods in Software Engineering
Digital Forensic Investigation of Internet of Thing Devices: A Proposed Model and Case Studies
How Quantum Computing Can Help with (Continuous) Optimization
Collaborating Successfully with Domain Experts
DeepDGA-MINet: Cost-Sensitive Deep Learning Based Framework for Handling Multiclass Imbalanced DGA Detection
Extracting the Motor Program of Handwriting from its Lognormal Representation
Subconscious Requirements: The Fright of Every Tester
Online Learning Methods for Controlling Dynamic Cyber Deception Strategies
The Laws and Regulation of AI and Autonomous Systems
Foundations of Data Visualization
Knowledge-Assisted Visualization and Guidance
Market Launch of Smart Services
Introduction to Smart Service Design
Technologies for Motion Measurements in Connected Health Scenario
Big Data Thinning: Knowledge Discovery from Relevant Data
Privacy Preserving Abnormality Detection: A Deep Learning Approach
Industrial Big Data Analytics: Challenges and Opportunities
Fuzzy Systems Are Universal Approximators for Random Dependencies: A Simplified Proof
Quasi-planar Graphs
Blockchain-Integration in ERP-Systeme - Fallbeispiel Daimler AG
Web Browser Forensics in Google Chrome, Mozilla Firefox, and the Tor Browser Bundle
Antenna/RF Design and Analog Self-Interference Cancellation
SOI FinFET for Computer Networks and Cyber Security Systems
Knowledge Engineering Tools and Techniques for AI Planning
Compact Representation of Preferences
Collective Decision Making
Beyond Planar Graphs, Communications of NII Shonan Meetings
Exoskeletons Control via Computed Torque for Lower Limb Rehabilitation
Software-Defined Networking Framework Securing Internet of Things
Guidelines for Case Survey Research in Software Engineering
Domain Adaptation for Visual Understanding
A Short Introduction to Collective Defense in Weighted Abstract Argumentation Problems
The Lognormality Principle: A Personalized Survey
The Tester Skills Program
On Diversity, Equity, and Inclusion in Computing: Finding Allies in Overrepresented Populations
Toward Smart Urban Development Through Intelligent Edge Analytics
Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum
Finite Time Consensus for Higher Order Multi Agent Systems with Mismatched Uncertainties
Digital Forensic Approaches for Cloud Service Models: A Survey
Cross-Fertilisation Between Human-Computer Interaction and Artificial Intelligence
Querying and Searching Heterogeneous Knowledge Graphs in Real-time Linked Dataspaces
Internet of Things: Reformation of Garment Stores and Retail Shop Business Process
Towards Ubiquitous Privacy Decision Support: Machine Prediction of Privacy Decisions in IoT
A Privacy Protection Key Agreement Protocol Based on ECC for Smart Grid
Decision Making under Constraints
Integrating Data by Discovering Topological and Proximity Relations Among Spatiotemporal Entities
Using Constraint Propagation for Cooperative UAV Localization from Vision and Ranging
Intuition Learning
The CAPTCHA: Perspectives and Challenges - Perspectives and Challenges in Artificial Intelligence
How Neural Networks (NN) Can (Hopefully) Learn Faster by Taking into Account Known Constraints
Triggers of Business Success of IT Startup Owners in Russia
Software Startup Education: A Transition from Theory to Practice
Permutation-Substitution Based Image Encryption Algorithms Using Pseudorandom Number Generators
Software Engineering, Across Two Centuries
The Future of Software Quality Assurance
Impact of IoT-Based Smart Cities on Human Daily Life
"Isms" in Visualization
Security Infrastructure Technology for Integrated Utilization of Big Data - Applied to the Living Safety and Medical Fields
Medical Image Watermarking in Four Levels Decomposition of DWT Using Multiple Wavelets in IoT Emergence
Healthcare Systems: An Overview of the Most Important Aspects of Current and Future m-Health Applications
The Internet of Things: Opportunities, Challenges, and Social Implications of an Emerging Paradigm
Why Convex Optimization Is Ubiquitous and Why Pessimism Is Widely Spread
Constraint Reasoning
Flexible-Link Manipulators: Dynamic Analysis and Advanced Control Strategies
So, What's Next?
Formalization of Cognitive-Agent Systems, Trust, and Emotions
Capturing the Value: How to Charge for Smart Services
Machine Learning Techniques for Wireless-Powered Ambient Backscatter Communications: Enabling Intelligent IoT Networks in 6G Era
QKD Protocols Security Between Theory and Engineering Implementation
Meta-heuristics and Artificial Intelligence
Custom Tokens und Smart Contracts zur Projektsteuerung
Responsible Software Engineering
A Comparison of Some t-Norms and t-Conorms over the Steady State of a Fuzzy Markov Chain
Beyond Virtual Museums: Adopting Serious Games and Extended Reality (XR) for User-Centred Cultural Experiences
When Artificial Intelligence and Computational Neuroscience Meet
Security Issues in Cognitive Radio Ad Hoc Networks
Lean Internal Startups: Challenges and Lessons Learned
Designing Algorithms for Machine Learning and Data Mining
Stabilization of Second Order Underactuated System Using Fast Terminal Synergetic Control
Recent Trends in Text Steganography with Experimental Study
Web Recommendations Systems
An Investigation Study of Privacy Preserving in Cloud Computing Environment
Italian Folk Multiplication Algorithm Is Indeed Better: It Is More Parallelizable
Belief Graphical Models for Uncertainty Representation and Reasoning
The Role of National, Regional and International Professional ICT Bodies