yusuke1997/dblp-id-title huggingface dataset:
Image Processing and Recognition
Technology and Schools
Computer-Based Medical Systems
Real-Time Distributed Computer Systems
Chapter Four - Inter-line level schemes for handling hard errors in PCMs
Micro-Fluidic Cooling for Stacked 3D-ICs: Fundamentals, Modeling and Design
Cryptography Based Data Security
Chapter Three - Three Open Problems in the Context of E2E Web Testing and a Vision: NEONATE
Chapter Ten - Qubit representation of a binary tree and its operations in quantum computation
Factors Influencing Software Development Productivity - State-of-the-Art and Industrial Experiences
Software Process Appraisal and Improvement: Models and Standards
The games computers (and people) play
Privacy Protection in Information Systems
Programming Computers to Play Games
The Role of Mathematics in Computer Science and Software Engineering Education
The State of the Art in Digital Forensics
Chapter Three - NoSQL Web Crawler Application
Highly Parallel Information Processing Systems
Chapter Fourteen - Power rank: An interactive web page ranking algorithm
Advances in GUI testing
Mechanics of Managing Software Risk
Syntactic Analysis of Natural Language
Chapter Three - Temporal prefetching
Nonfunctional Requirements of Real-Time Systems
Survivability: Synergizing Security and Reliability
Chapter Five - Comparative Study of Different In-Memory (No/New) SQL Databases
Asynchronous Transfer Mode: An Emerging Network Standard for High-Speed Communications
Automated Test Oracles: A Survey
Computer-Man Communication: Using Graphics in the Instructional Process
Secure outsourcing of scientific computations
Recent Advances in Regression Testing Techniques
Illusion of Wireless Security
The Timeboxing process model for iterative software development
Privacy Challenges and Goals in mHealth Systems
Chapter Three - A power-performance balanced network-on-chip for mixed CPU-GPU systems
An Overview of Selected Heterogeneous and Reconfigurable Architectures
Parallel Sorting Algorithms
Chapter Two - A Survey of Research on Data Corruption in Cyber-Physical Critical Infrastructure Systems
Chapter Three - Cyber risks on IoT platforms and zero trust solutions
Supercomputers and VLSI: The Effect of Large-Scale Integration on Computer Architecture
Register-Level Communication in Speculative Chip Multiprocessors
Chapter Two - Spatial prefetching
Quality Problem in Software Measurement Data
Testing of Configurable Systems
Multimedia Services over Wireless Metropolitan Area Networks
Are scripting languages any good? A validation of Perl, Python, Rexx, and Tcl against C, C++, and Java
Conceptual and Logical Design of Relational Databases
Quantum computing and communication
An Overview of Web Effort Estimation
Automatic Translation of Languages Since 1960: A Linguist's View
Chapter Nine - Secure data communication using DNA computing adaptable to wireless sensor network
Chapter One - Pitfalls and Countermeasures in Software Quality Measurements and Evaluations
Computer Science and Information Technology in the People's Republic of China: The Emergence of Connectivity
Computer Design and Description Languages
Quantifying IT Energy Efficiency
Multithreaded Systems
Characterizing Resource Allocation Heuristics for Heterogeneous Computing Systems
Rapid Prototyping of Microelectronic Systems
Software model checking with SPIN
Chapter Four - Advances in Testing Software Product Lines
Chapter Eleven - Cryptographic consensus mechanisms
Cache Coherence in Multiprocessors: A Survey
Transformation-oriented programming: A development methodology for high assurance software
Machine Recognition of Spoken Words
Managers, Deterministic Models, and Computers
A Classification of Data Mining Algorithms for Wireless Sensor Networks, and Classification Extension to Concept Modeling in System of Wireless Sensor Networks Based on Natural Language Processing
Sensor-Driven Intelligent Robotics
A taxonomy of distributed real-time control systems
Chapter Eleven - Digital twin in consumer choice modeling
Uses of the Computer in Music Composition and Research
Computerized Voting
Architectures for mobile robot control
Search Engine Optimization - Black and White Hat Approaches
Classifying Problems into Complexity Classes
Data Base Computers
The Complexity of Problems
Why New Software Processes Are Not Adopted
The Structure of Design Processes
Pervasive Computing: A Vision to Realize
Chapter Twenty-One - Financial system
Chapter Three - Phase-change memory architectures
Modeling, Analysis, and Testing of System Vulnerabilities
Applications in Data-Intensive Computing
How Elasticity Property Plays an Important Role in the Cloud: A Survey
Using Data Mining to Discover the Preferences of Computer Criminals
Chapter Five - Usability evaluation for the IoT use in Enhanced Living Environments
Pragmatic Directions in Engineering Secure Dependable Systems
Chapter Five - User behavior-ensemble learning based improving QoE fairness in HTTP adaptive streaming over SDN approach
Data Hiding Tactics for Windows and Unix File Systems
The Digital Detective: An Introduction to Digital Forensics
Chapter Twelve - ClubNet: Deep learning model for computation, calibration and estimation of biotic stress in crops
Developments in Firmware Engineering
The Opportunities, Challenges and Risks of High Performance Computing in Computational Science and Engineering
On the nature and importance of archiving in the digital age
Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs
Gaining Business Value from IT Investments
Automated Extraction of GUI Models for Testing
The Virtual University: A State of the Art
Cognitive Adaptive Computer Help (COACH): A Case Study
Chapter Two - Advances in Combinatorial Testing
Computers and Publishing: Writing, Editing, and Printing
Overview of Computational Approaches for Inference of MicroRNA-Mediated and Gene Regulatory Networks
Computers in the Health Sciences
Chapter Twenty-Three - Smart grid
Multisensory Computer Vision
Chapter Four - Digital signatures
Chapter Twenty-Four - Healthcare system
Chapter One - Fast execution of RDF queries using Apache Hadoop
Chapter Nine - Reshaping agriculture using intelligent edge computing
Chapter Six - Deep learning with GPUs
The UK HPC Integration Market: Commodity-Based Clusters
The Present Status of Automatic Translation of Languages
Empirical Knowledge Discovery by Triangulation in Computer Science
Chapter Four - SSIM and ML based QoE enhancement approach in SDN context
Chapter Six - Internet of Things to enhanced living and care environments for elderly: Applications and challenges
Energy-Efficient Big Data Analytics in Datacenters
Phish Phactors: Offensive and Defensive Strategies
Some Results of Research on Automatic Programming in Eastern Europe
A Review of Software Inspections
Requirements Management for Dependable Software Systems
Advances in Testing JavaScript-Based Web Applications
Chapter One - Demystifying the blockchain technology
Chapter Six - Approximate communication for energy-efficient network-on-chip
Chapter One - Stepping into the digitally instrumented and interconnected era
Formality in specification and modeling: developments in software engineering practice
The Algorithm Selection Problem
Multidisciplinary Problem Solving Environments for Computational Science
Using domain models for system testing
Chapter Six - The Use of Blockchains: Application-Driven Analysis of Applicability
Zero Defect Software: Cleanroom Engineering
Proving Programs Terminate Using Well-Founded Orderings, Ramsey's Theorem, and Matrices
Chapter Five - The edge AI paradigm: Technologies, platforms and use cases
Impact Analysis in Software Evolution
From single word to natural dialogue
Understanding Application Contentiousness and Sensitivity on Modern Multicores
Preserving digital records and the life cycle of information
Chapter Nine - A comprehensive investigation on attack graphs
International Developments in Information Privacy
The Development of Computer Science Education
Library Automation Systems and Networks
Chapter Two - Data structures
Chapter Six - NoSQL Hands On
Chapter Four - A realtime fingerprint liveness detection method for fingerprint authentication systems
Exception handling design patterns
Chapter Five - Blockchain applications in healthcare and the opportunities and the advancements due to the new information technology framework
Functional and Nonfunctional Design Verification for Embedded Software Systems
An Environment for Conducting Families of Software Engineering Experiments
Chapter Eight - History of blockchain-Blockchain 1.0: Currency
A Reference Model for Mass Storage Systems
Chapter One - A Detailed Analysis of NoSQL and NewSQL Databases for Bigdata Analytics and Distributed Computing
Chapter Sixteen - Hyperledger
Chapter Two - Model-Based Test Cases Reuse and Optimization
Personalizing interactions with information systems
Chapter Seven - Security and Privacy of Blockchain and Quantum Computation
Using Model Checking to Analyze Requirements and Designs
Issues in the Development of Large, Distributed, and Reliable Software
Role of Verification in the Software Specification Process
A survey of empirical results on program slicing
Test Cost-Effectiveness and Defect Density: A Case Study on the Android Platform
Issues and Approaches for Web 2.0 Client Access to Enterprise Data
Specification and Implementation of Abstract Data Types
Visualization in Scientific Computing
Software quality estimation with case-based reasoning
Chapter Eight - Edge platforms, frameworks and applications
Chapter Twenty-Two - Transportation system
Advances in Large Vocabulary Continuous Speech Recognition
Chapter One - Mobile Application Quality Assurance
Chapter Thirteen - Edge computing security: Layered classification of attacks and possible countermeasures
Email Spam Filtering
Testing with Software Designs
Chapter Three - Residential energy management system (REMS) using machine learning
Chapter Five - Signature primitives
Empirical Studies of Quality Models in Object-Oriented Systems
Legal Protection of Software: A Survey
Web Searching and Browsing: A Multilingual Perspective
Chapter Six - Processing large graphs with an alternative representation
Introduction to MBASE (Model-Based [System] Architecting and Software Engineering)
The Wide World of Computer-Based Education
Advances in Video-Based Human Activity Analysis: Challenges and Approaches
Maintenance Process and Product Evaluation Using Reliability, Risk, and Test Metrics
Chapter Five - Dynamic Power Management for Dark Silicon Multicore Processors ☆
Mathematics in 1984 - The Impact of Computers
Model Transformation Specification and Design
Verification and Validation and Artificial Intelligence
The Explicit Support of Human Reasoning in Decision Support Systems
Programming Irregular Applications: Runtime Support, Compilation and Tools
Chapter Seven - Power-efficient network-on-chip design by partial topology reconfiguration
Software Fault Prevention by Language Choice: Why C is Not My Favorite Language
Artificial Intelligence - The Past Decade
Control of Information Distribution and Access
Computers and the Public's Right of Access to Government Information
Statistical Processors
Image Database Management
Recent Advances in Web Testing
Management Intelligence Systems
Parameters Effecting 2D Barcode Scanning Reliability
Chapter Five - Handling hard errors in PCMs by using intra-line level schemes
Energy Efficiency Optimization of Application Software
Brain-Computer Interfaces for the Operation of Robotic and Prosthetic Devices
Evaluation, Description and Invention: Paradigms for Human-Computer Interaction
Mobile Games- Challenges and Opportunities
Hardware and Application Profiling Tools
Automatic Optical Design
Chapter Two - Security, privacy, and trust management in DNA computing
Chapter One - Traffic-load-aware virtual channel power-gating in network-on-chips
Reliability Measurement, Analysis, and Improvement for Large Software Systems
Advanced Applications of Virtual Reality
Chapter Three - Blockchain Technology: Supply Chain Insights from ERP
The Tools Perspective on Software Reverse Engineering: Requirements, Construction, and Evaluation
The Current State of Language Data Processing
The Hows and Whys of Information Markets
State of the art in electronic payment systems
Automated Interoperability Testing of Healthcare Information Systems
Current Trends in Computer-Assisted Instruction
Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End
Chapter One - Exploring the edge AI space: Industry use cases
Microelectronics Using Electron-Beam-Activated Machining Techniques
Energy Harvesting for Sustainable Smart Spaces
Chapter Seven - The Hadoop Ecosystem Technologies and Tools
The State of the Art in Identity Theft
Combined Analog-Digital Techniques in Simulation
3-D Computer Animation
Chapter Two - Hardware accelerator systems for embedded systems
Similarity of Private Keyword Search over Encrypted Document Collection
Adapting Multi-Criteria Decision Analysis for Assessing the Quality of Software Products. Current Approaches and Future Perspectives
Binary Arithmetic
Chapter Four - Applications of Blockchain in the Financial Sector and a Peer-to-Peer Global Barter Web
Source Selection and Ranking in the WebSemantics Architecture: Using Quality of Data Metadata
Elements of High-Performance Reconfigurable Computing
Progress in internet security
Chapter Eight - Biological Big Data Analytics
Interactive Explanatory and Descriptive Natural-Language based Dialogue for Intelligent Information Filtering
Flexible and Adaptive Services in Pervasive Computing
Chapter Three - DNA computing in cryptography
Programming Languages and Computers: A Unified Metatheory
Advances in Model-Driven Security
Formula Manipulation by Computer
Communication Media Selection for Remote Interaction of Ad Hoc Groups
Chapter One - Introduction to data prefetching
Distributed Data Allocation Strategies
Chapter Fifteen - Blockchain 2.0: Smart contracts
Chapter Four - Analyzing correlation between quality and accuracy of graph clustering
Chapter Three - ClPyZ: A testbed for cloudlet federation
Chapter Six - The design of a S-box based on DNA computing and chaos theories
Chapter One - Downlink resource allocations of satellite-airborne-terrestrial networks integration
Dual Data Cache Systems: Architecture and Analysis
A Status Report on the P Versus NP Question
Computer-Aided Logic Synthesis for VLSI Chips
Optical and Optoelectronic Computing
Comparison of Security Models: Attack Graphs Versus Petri Nets
Man-Machine Interaction Using Speech
Chapter Eight - Fast exact triangle counting in large graphs using SIMD acceleration
Techniques to Improve Performance Beyond Pipelining: Superpipelining, Superscalar, and VLIW
Sorting Networks on Maxeler Dataflow Supercomputing Systems
Multiobjective Optimization for Software Refactoring and Evolution
Chapter Two - Evaluating software testing techniques: A systematic mapping study
Resource-aware meta-computing
Action Research Can Swing the Balance in Experimental Software Engineering
Chapter Seven - Architecture of neural processing unit for deep neural networks
Numerical Methods of Stress Analysis
Cellular Automata Models of Self-Replicating Systems
Computer-Aided Typesetting
Anti-Pattern Detection: Methods, Challenges, and Open Issues
Chapter Five - Digital twin: Empowering edge devices to be intelligent
Use of Computers in Biomedical Pattern Recognition
Broadcasting a Means to Disseminate Public Data in a Wireless Environment: Issues and Solutions
Magnetic Bubble Memory and Logic
Chapter Three - The screening phase in systematic reviews: Can we speed up the process?
Search and Retrieval of Compressed Text
High-Level Synthesis of Digital Circuits
Advances in Software Science
Eras of business computing
Nanobiotechnology: An Engineer's Foray into Biology
Machine translation
Balanced Magnetic Circuits for Logic and Memory Devices
WWW Site Measurement
Scalable, Secure, Cash Payment for WWW Resources with the PayMeProtocol Set
WIDL, Application Integration with XML
VBScript: active clients and servers
Christine Varney: Advancing commerce and protecting consumers
An Introduction to the Technical Papers
JavaScript: when HTML is not enough
Jim Galvin: building trust from the ground up
W30bjects: Bringing Object-Oriented Technology to the Web
Collaborative authoring: Jim Whitehead and the WebDAV group
An Introduction to XML Processing with Lark
Curl: a gentle slope language for the Web
Lilly ungilded: PNG'ing true colors to the Web
HTML 3.2 reference specification
The Web Is Ruined and I Ruined It
Capturing the State of Distributed Systems with XML
Surveying the Territory
A guide to secure electronic business using the E2S architecture
New metrics for new media: toward the development of Web measurement standards
Codifying Medical Records in XML: Philosophy and Engineering
MNG: a multiple-image format in the PNG family
Introduction to the LWP library for Perl
Low Level Securitv in Java
Larry Wall and Tom Christiansen discuss the virtues of Perl
Web Map: Concept Mapping on the Web
Introducing SSL and certificates using SSLeay
Legislating market winners: digital signature laws and the electronic commerce marketplace
User interfaces with HTML and JavaScript
Exploring CGI with Perl
Government promotion of key recovery encryption: how current government initiatives will impact Internet security
Complementing Surveying and Demographics with Automated Network Monitoring
XML, Java, and the Future of the Web
Ubiquitous Advertising on the WWW
The Road to XML: Adapting SGML to the Web
Scripting the Web with Python
Toward synchronized multimedia on the Web
Security for the domain name system
Rohit Khare: security maven
Web database connectivity with scripting languages
Commercial Hypertext Publishing: Electronic Books Using Trails and the Author-Publisher-Reader Mode
Model-Based Inference for Complete-Data Statistics
Cryptography and the Web
Nielsen/CommerceNet Internet Demographic Study
The "real" Web-TV: Philipp Hoschka and real-time multimedia
Referee: trust management for Web applications
Name server security features in BIND 4.9.5
Introducing Candleweb and Ĺ (awe), Bringing Animation Power to the World Wide Web
Data Transport Within the Distributed Oceanographic Data System
Web gateways: increasing the power of the Web
Client-side scripting and HTML
The electronic medical record: promises and threats
Jim Miller: Promoting the PICS Fix
Guidelines for multimedia on the Web
XML: From Bytes to Characters
Polls, Surveys, and Choice Processor Technology on the World Wide Web
Will the Web Democratize or Polarize the Political Process
An introduction to cascading style sheets
Digital signature label architecture
A Guide to XML
GIF animation
Document Object Model Requirements
Inserting Objects into HTML
An introduction to Amaya
Tim Berners-Lee: On Simplicity, Standards, and "Intercreativity"
DSig 1.0 signature labels: using PICS 1.1 labels for digital signatures
Extensible Markup Language (XML) Part 2: Linking
Chemical Markup Language: A Simple Introduction to Structured Documents
Supporting Collaborative Information Sharing with the WWW: The BSCW Shared Workspace System
XML and CSS
Usability engineering for the Web
People with disabilities can't access the Web!
Weaving a Web of trust
Building XML Parsers for Microsoft's IE4
Why Win-CGI?
Sally Khudairi: <TITLE>Webmaster</TITLE>
What's new in HTML 3.2: formalizing enhancements to HTML 2.0
Dave Raggett: The Working Draft
Making a test bed for the Web
The U.K. National Web Cache
JUMBO: An Object-Based XML Browser
Håkon Lie: Web Stylist
Performance Engineering of the World Wide Web
XML: Can the Desperate Perl Hacker Do It?
The Evolution of Web Documents: The Ascent of XML
Secure CGI/API programming
A Lexical Analyzer for HTML and Basic SGML
HTML-Math: Mathematical Markup Language Working Draft
The risks of key recovery, key escrow, and trusted third-party encryption
Extended Log File Format
JEPI: joint electronic payment initiative
Zum 90. Geburtstag von Prof. Dr. rer. nat. Henning Tolle - Einige sehr persönliche Erinnerungen
Vorzeichen-Steuerbarkeit und Vorzeichen-Stabilisierbarkeit
Automatisierte Elektrizitätsnetze
Kooperierende Mobile Roboter
Identifikation und Simulation optischer Verstärker für ultra-kurze Laserpulse
CAD-to-real: enabling deep neural networks for 3D pose estimation of electronic control units
Beladungsregelung einer Brennwerttherme mit Schichtladespeicher (Control of a Heating System with Stratified Storage Tank)
Prof. Dr.-Ing. habil. Hans-Helmut Wilfert zum 80. Geburtstag
The fabrication-assembly challenge in tissue engineering
Konfigurationsflachheit linearer mechanischer Systeme
Dissipativer Backstepping-basierter Beobachterentwurf für semilineare Diffusions-Reaktionssysteme
Fahrsituationsabhängiger Wechsel der Kommunikationstopologie für heterogene Platoons
Impedance Identification by POD Model Reduction Techniques (Impedanz-Identifikation mittels POD Modellreduktion)
Erhöhung des Wirkungsgrades von Stadtschnellbahnen durch Automatisierung und nachfrageabhängige Steuerung des Beförderungsangebotes (Enhancing Operational Efficiency of Automated Suburban Rapid Rail Transit with Demand-dependent Control of Train Service)
Decentralised control of an electro-pneumatic adjustable impedance actuator
Analysis of LC-MS Data Using probabilitic-based mixture regression models (Analyse von LC-MS-Daten mit wahrscheinlichkeitsbasierter Mischung von Regressionsmodellen)
Feedback Control via AmI-Networks - Managing the Limited Resource Problem by QoS-Adaptive Control (Regelungen über ressourcenbeschränkte AmI-Netzwerke durch Adaption an die Quality of Service)
Führungs- und Störgrößenaufschaltungen für lineare verteilt-parametrische Systeme (Reference and Disturbance Feedforward Controllers for Linear Distributed-parameter Systems)
Digital vernetzte Regelungssysteme
Flachheitsbasierte Steuerung und Beobachtung von Transportprozessen mit verteiltem Eingriff (Flatness-based Control and Observer Design for Transport Processes with Distributed Control)
Quantum computer-aided job scheduling for storage and retrieval systems
Minimally invasive in situ bioprinting using tube-based material transfer
Maschinelles Lernen von validierbaren Klassifikatoren zur autonomen Steuerung sicherheitsrelevanter Systeme (Machine Learning of Verifiable Classifiers for Autonomous Control of Safety-related Systems)
P- und PD-Polvorgaberegler für Regelstrecken mit begrenzter Stellgröße (P and PD Pole Assignment Controllers for Constrained Systems)
On linear-quadratic optimal transition in synchronization of homogeneous multi-agent systems
Entwurf von modellbasierten Anti-Windup-Methoden für Systeme mit Stellbegrenzungen
Semantic function module pipeline generation
Beitragsaufruf zu at-Schwerpunktheft "Kognitive Automobile"
Henning Tolle zum 80. Geburtstag
Preise der Stiftung Familie Klee
50. Regelungstechnisches Kolloquium in Boppard
Konzept eines wissensbasierten Frameworks zur Spezifikation und Diagnose von Inkonsistenzen in mechatronischen Modellen
Modellsynthese für die Testfallgenerierung sowieTestdurchführung unter Nutzung von Methoden zur Netzwerkanalyse
Robotergestütztes System für ein verbessertes neuromuskuläres Aufbautraining der Beinstrecker
Exakte Linearisierung durch quasistatische Rückführungen: Ein Überblick für eine Klasse Lagrangescher Systeme
Brockhaus, R.; Alles, W.; Luckner, R.: Flugregelung. Berlin, Heidelberg: Springer, 2011, 3., neu bearbeitete Auflage, 931 Seiten, 544 Abbildungen
Multi-objective model predictive control for microgrids
Optimizing the channel resource usage for sensor data sharing with V2X communications
Prof. Heinz Unbehauen und die Encyclopedia of Life Support Systems
Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme (Probabilistic Model Checking of Networked Automation Systems)
Contaminated site, abandoned mine, landfill Morgenstern
Intuitive Handführung von Robotern als Handlingsysteme
Hardware development and control of a motorized rollator as an extension for exoskeletons
Flexibles Framework zur Parallelisierung von simulationsbasierten Entwicklungsaufgaben in der Automatisierungstechnik
Iterativ Lernende Regelung einer Kunststoff-Spritzgießmaschine