yusuke1997/dblp-id-title huggingface dataset:
The Use of Prototyping and Simulation in the Development of Large-Scale Applications
Towards effective privacy preservation in federated learning with automatic gradient clipping and gradient transformation perturbation
Current Developments in Commercial Automatic Programming
Experiments with Relaxation Algorithms for Breaking Simple Substitution Ciphers
Concept Drift-Based Intrusion Detection For Evolving Data Stream Classification In IDS: Approaches And Comparative Study
Two Mathematical Programming-Based Approaches for Wireless Mobile Robot Deployment in Disaster Environments
Discussion of the Papers by Rissanen and by Wallace and Dowe
New Insights Towards Developing Recommender Systems
A Multiple Microprocessor System for CPU-Bound Calculations
Modelling the Information Space in Physical Storage at Different Levels of Detail
LEDet: A Single-Shot Real-Time Object Detector Based on Low-Light Image Enhancement
Message Latency in Hypercubes in the Presence of Matrix-Transpose Traffic
CR Loss: Improving Biometric Using ClassRoom Learning Approach
Locking Operations for Maximum Concurrency
On Distributed Rating Systems for Peer-to-Peer Networks
MC 2 : A Framework and Service for MPEG-7 Content-Modelling Communities
A Deep Learning Model for Energy-Aware Task Scheduling Algorithm Based on Learning Automata for Fog Computing
Using Linked Data for Integrating Educational Medical Web Databases Based on BioMedical Ontologies
Work of 'New Generation' to be shown at London Computer Exhibition and Symposium
Non-IIDness Learning in Behavioral and Social Data
Advanced social media crime prevention via deep learning and cryptographic data encryption
Editorial: Aspect-oriented Programming and Separation of Crosscutting Concerns
Alternating-update-strategy based Graph Autoencoder for graph neural network
Co-SVC-MDC-Based Cooperative Video Streaming Over Vehicular Networks
Discussion on Robin Milner's First Computer Journal Lecture: Ubiquitous Computing: Shall We Understand It?
Computers and Composition in Change Ringing
The User Interface
Performance Issues in Clouds: An Evaluation of Virtual Image Propagation and I/O Paravirtualization
Formal Specification of a Data Dictionary for an Extended ER Data Model
The Syntax Directed Graph Algorithm for the Input of Equations to the Taylor Series System for Solving Ordinary Differential Equations
Continuous Leakage-Resilient Certificate-Based Encryption Scheme Without Bilinear Pairings
A Graphical Representation of the Backus-Naur Form
Interactive User-Friendly Interfaces to Statistical Packages
Compiling Techniques for Algebraic Expressions
Security Considerations and Key Negotiation Techniques for Power Constrained Sensor Networks
Hierarchical Grouping Methods and Stopping Rules: An Evaluation
Formal Hierarchical Object Models for Fast Template Matching
Knee Muscle Force Estimating Model Using Machine Learning Approach
Continuous Leakage-Amplified Public-Key Encryption With CCA Security
Partitioned Group Password-Based Authenticated Key Exchange
On Indistinguishability in Remote Data Integrity Checking
Bat Ant Lion Optimization-Based Generative Adversarial Network For Structural Heath Monitoring In IoT
Joint task offloading and resource allocation for vehicle edge computing
Compressed Zero-Knowledge Proofs for Lattice-Based Accumulator
Meet-in-the-Middle Attacks on Reduced-Round QARMA-64/128
Discussion on Hedging Predictions in Machine Learning by A. Gammerman and V. Vovk
Locality-Based Discriminant Neighborhood Embedding
Computers in research - promise and performance
Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction
Multi-Label Classification Using Dependent and Independent Dual Space Reduction
Constructing Binary Matrices with Good Implementation Properties for Low-Latency Block Ciphers based on Lai-Massey Structure
A Robust Blockchain-Based Distribution Master For Distributing Root Zone Data In DNS
Management Information Retrieval
On Implementing Two Adaptive Data-Compression Schemes
A Lumped-State Model of Clustering in Dynamic Storage Allocation
An Optimal Inherently Stabilizing 2-Neighborhood Crash Resilient Protocol for Secure and Reliable Routing in Hypercube Networks
Optimized Thread Creation for Processor Multithreading
Analysis of Rebuild Processing in RAID5 Disk Arrays
A general purpose macrogenerator
Improved Algorithms for Sign Determination and Existential Quantifier Elimination
Science and the Non-Scientist
The Optimization of Memory Access Congestion for MapReduce Applications on Manycore Systems
The Structural Stability of Corporate and Devolved Databases
The Patient Medical Record as a Database
Service Bureau or In-House Data Processing
Numerical Solution of Unstable Initial Value Problems by Invariant Imbedding
Link Associated Computation in HyperNet
Problems of Auditing Computing Data: Internal Audit Practice and External Audit Theory: Section 1: Internal Audit
A Fast Transformation of Markov Chains and Their Respective Steady-State Probability Distributions
Harmony Assumptions in Information Retrieval and Social Networks
Enhanced SVM-KPCA Method for Brain MR Image Classification
Code Generation for Distributed-Memory Architectures
A New Algorithm for the Rendering of CSG Scenes
Buddy Systems with Selective Splitting
Optimisation of Main Memory Size Versus Speed
An Intelligent Security System Using Enhanced Anomaly-Based Detection Scheme
Nonlinear Ternary Feedback Shift Registers
Seven Ways to Develop Office Systems: A Managerial Comparison of Office System Development Methodologies
Discussion: Session 4: 18 April 1962
Knowledge-Aware Dual-Channel Graph Neural Networks For Denoising Recommendation
A Hybrid Solution For The Cold Start Problem In Recommendation
Imprecision-Tolerant Location Management for Object-Tracking Wireless Sensor Network
KRAMER: New Social Medium Based on Collaborative Recognition of Important Situations
A Tree Search Approach to the M-Partition and Knapsack Problems
Description of a Program for Nonlinear Programming: Special Problem of Bivalent Nonlinear Programming
The Impacts of Write-Through Procedures and Checkpointing on Real-Time Concurrency Control
On the Physical Design of PRAMs
Analysis of Self-Indexing, Disc Files
Evaluation of hierarchical grouping techniques; a preliminary study
Estimating Software Rejuvenation Schedules in High-Assurance Systems
The Two-Good-Neighbor Connectivity and Diagnosability of the Augmented Three-Ary n-Cubes
Minimizing a function without calculating derivatives
Algorithms for Formula Translation
Byzantine Fault Detectors for Solving Consensus
An error analysis of finite-difference methods for the numerical solution of ordinary differential equations
Reliability Evaluation of Clustered Faults for Regular Networks Under the Probabilistic Diagnosis Model
Centrenet - A High Performance Local Area Network
A Free-Text Retrieval System Using Hash Codes
Detection of Cross-Site Scripting Attack under Multiple Scenarios
An Improved Procedure for Orthogonalising the Search Vectors in Rosenbrock's and Swann's Direct Search Optimisation Methods
Scheduling of Precedence-Constrained Tasks on Multiprocessors
Conceptual Data Modelling from a Categorical Perspective
Analysis on the Component Connectivity of Enhanced Hypercubes
Rainbow Tables: How Far Can CPU Go?
Simulating a Multimedia FDDI Backbone Network
Cache Management for Mobile File Service
Practical Compiler Techniques on Efficient Multithreaded Code Generation for OpenMP Programs
Risk-based framework for SLA violation abatement from the cloud service provider's perspective
Programs as Data in an Extended Prolog
The Algebraic Anatomy of Programs
A Survey of Algorithms for Contiguity-Constrained Clustering and Related Problems
A Greedy Hypercube-Labeling Algorithm
PC-Nash: QoS Provisioning Framework With Path-Classification Scheme Under Nash Equilibrium
The Calculation of the Eigenvectors of Codiagonal Matrices
From English to Formal Specifications
Excluding Regions
Appendix 2
Video Compression Standards and Quality of Service
An Efficient Double Pipe Systolic Array for Matrix Product
Computing Global Secure Set on Trees
A Neighbor-finding Algorithm for Bincode-based Images on Reconfigurable Meshes
Description of a syntax-directed translator
On the Inclusion and Placement of Documentation Graphics in Computer Typesetting
Some Techniques for Rational Interpolation
Image retrieval based on auto-encoder and clustering with centroid update
Toward a Performance Science: A Comparative Analysis of Computing Systems
A Note on the Asymptotic Error Constant of a Certain Method for Solving Equations
Analysis of the N-policy GI/M/1/K Queueing Systems with Working Breakdowns and Repairs
Detecting Cognitive Features of Videos Using EEG Signal
A Systematic Approach to Corrective Maintenance
Perceptual Image Hashing with Weighted DWT Features for Reduced-Reference Image Quality Assessment
A Distributed Directory Database System for Telecommunications
Improved Meet-in-the Middle Attacks on Reduced-Round TWINE-128
Optimum Time for Multiplication on a Digital Computer
Matrix Balancing
Corrigendum: Example-Based Regularization Deployed to Super-Resolution Reconstruction of a Single Image
The Segregation of Incompatible Duties
Downdating the Latent Semantic Indexing Model for Conceptual Information Retrieval
Kolmogorov Complexity: Sources, Theory and Applications
Parallel Huffman Decoding with Applications to JPEG Files
Utility-Based Optimal Resource Allocation in LTE-A Networks by Hybrid ACO-TS with MFA Scheme
An Interpolation Method for Grid-Based Terrain Modelling
Analysis of Linear Time Sorting Algorithms
Cluster-Based Secure Communication and Certificate Revocation Scheme for VANET
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots
An Event-Driven Middleware for Mobile Context Awareness
Generic Construction of Certificate-Based Encryption from Certificateless Encryption Revisited
A Conceptual Framework for Agent Definition and Development
Pricing Interactive Computer Services
Aggregation Dynamics in Overlay Networks and Their Implications for Self-Organized Distributed Applications
Simplifying Screen Specifications - the 'Full Screen Manager' Interface and 'Screen Form' Generating Routines
The Construction of a Majority-Voting Ensemble Based on the Interrelation and Amount of Information of Features
Protection Against Denial of Service Attacks: A Survey
HASE: A Flexible Toolset for Computer Architects
A Hardware Pattern Matching Algorithm on a Dataflow
Guidelines for the Design of Interactive Systems
A Toolbox for Migrating the Blockchain-Based Application From Ethereum to Hyperledger Fabric
An Algorithm for the 2-Median Problem on Two-Dimensional Meshes
All Graphs with at Most Seven Vertices are Pairwise Compatibility Graphs
Detection of E-Commerce Fraud Review via Self-Paced Graph Contrast Learning
Fast Calculation of Electrostatic Potentials on the GPU or the ASIC MD-GRAPE-3
Combining Watermarking and Hyper-Chaotic Map to Enhance the Security of Stored Biometric Templates
Automated Worst-Case Execution Time Analysis Based on Program Modes
Energy Efficient VM Placement for Effective Resource Utilization using Modified Binary PSO
A Computer Architecture to Support Neural Net Simulation
Optimal Time and Efficient Space Free Scheduling For Nested Loops
Reliability analysis for the n th Cartesian product of the balanced complete multipartite graph under various hypotheses
SYSTEMATICS: Its Syntax and Semantics as a Query Language (2)
Response to Prof. Baccelli's lecture on Modelling of Wireless Communication Networks by Stochastic Geometry
An Incremental Protocol Verification Method
Implementation Relations for Testing Through Asynchronous Channels
Crime Type Prediction in Saudi Arabia Based on Intelligence Gathering
Cross Layer Optimization for Energy-Constrained Wireless Sensor Networks: Joint Rate Control and Routing
Performance Analysis of a Queue by Combining Stochastic Bounds, Real Traffic Traces and Histograms
Cluster Connectivity And Super Cluster Connectivity Of DQcube
Behavior Analysis-Based IoT Services For Crowd Management
Improved YOLOv9 for underwater side scan sonar target detection
A Class of Non-Analytical Iterative Processes
A Note on Backus Naur Form
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
An Information Measure for Hierarchic Classification
Survey of Energy-Efficient and Power-Proportional Storage Systems
Formally Verifying Fault Tolerant System Designs
A Simple Time Scale Decomposition Technique for Stochastic Process Algebras
The Role of Conceptual Modelling Abstractions in Compiler Development
Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software
Comment on 'Complexity Analyses of Event Set Algorithms'
An Application of Compiler Simulation at the Source Language Level
Optimizing Erasure-Coded Data Archival for Replica-Based Storage Clusters
Resources Needed for a University Computer Science Department
The gradual acceptance of a variety of commercial English languages
A note on the numerical integration of conservative systems of first-order ordinary differential equations
On Applying Imprecise Computation to Real-Time AI Systems
Computer development from a user's point of view
Samhita - A Data Base Management System
Computers and Commerce: 2
Ontological Extension to the MOF Metamodel as a Basis for Code Generation
Interactive Visualization of SDN-Enabled Multisite Cloud Playgrounds Leveraging SmartX MultiView Visibility Framework
A KDF9 ALGOL list-processing scheme
A Binary n-Gram Technique for Automatic Correction of Substitution, Deletion, Insertion and Reversal Errors in Words
Forthcoming Publication of the Proceedings of the 1960 PICC Symposium, Rome
High-Level Programming for Process Control
AWFC: Preventing Label Flipping Attacks Towards Federated Learning for Intelligent IoT
Makespan minimization scheduling with ready times, group technology and shortening job processing times
Optimal Evaluation of Queries
A system for computing university examination timetables
A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks
A Modern View on Forward Security
An Experimental Program for Architectural Design
Machine Scheduling with Deteriorating Jobs and Modifying Maintenance Activities
Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines
Text-dependent User Verification of Handwritten Words and Signatures on Mobile Devices
Techniques for Practical Fixed-Parameter Algorithms
A Class of Semi-X Tree-Based Dictionary Machines
Multiantenna Receiver Signal Detection in AmBC Based on Cluster Analysis
A Framework for Measuring Ontology Usage on the Web
The normal form theorem - another proof
Extending CORBA Interfaces with Protocols
Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification
Influence Maximization in Social Networks Using an Improved Multi-Objective Particle Swarm Optimization
DiVA: Using Application-Specific Policies to 'Dive' into Vector Approximations
Quotient Machines, the Interface Equation and Protocol Conversion
Traffic-Centric Mesoscopic Analysis of Connectivity in VANETs
Probabilistic Models in Information Retrieval
Corrigendum to: Similarity of Sentences With Contradiction Using Semantic Similarity Measures
Automatic computing: its problems and prizes
WIVET - Benchmarking Coverage Qualities of Web Crawlers
The method of successive grids for reduction of function storage requirements
The Interactive Development and Testing System for a RISC-Style Processor
A Multivariate-Based Provably Secure Certificateless Signature Scheme With Applications To The Internet Of Medical Things
Ensemble of Deep Features for Breast Cancer Histopathological Image Classification
A Statistical-Based Light-Weight Anomaly Detection Framework for Wireless Body Area Networks
Performance Analysis of Cluster-Based PPMB Multiprocessor Systems
A Machine Description Language
Traffic-Aware Re-Grouping for Load Balance in IEEE 802.11ah IoT Network Based on the Registered Backoff Time Mechanism
A Distributed Function Computer with Dedicated Processors
A Note on Round-off
Data Preparation and Transmission in the Royal Air Force Integrated Supply System
Dropout with Tabu Strategy for Regularizing Deep Neural Networks
Some New Surface Forms for Computer Aided Geometric Design
Significance Delta Reasoning with p -Adic Neural Networks: Application to Shot Change Detection in Video
Symmetrical Precedence Relations on General Phrase Structure Grammars
A Composition and Recovery Strategy for Mobile Social Network Service in Disaster
A Mergeable Double-Ended Priority Queue
EFDM: Extended Functional Data Model
Towards a Product Form Solution for Stochastic Process Algebras
Matrix Implementation of Simultaneous Iterative Reconstruction Technique (SIRT) on GPUs
The Hardware/Software Interface of the ICL 2900 Range of Computers
On Approximate Algorithms for Distance-Based Queries using R-trees
Consistency in Point-in-Point Polygon Tests
Theoretical Performance-Based Cost-Effectiveness of Multicomputers
Strongly Universal String Hashing is Fast
Online/Offline Ciphertext Retrieval on Resource Constrained Devices
Documentation for systems design
Metrics to Evaluate the Use of Object Oriented Frameworks
On the Safety of the IO Primitive in Concurrent PASCAL
Experiences of 'Literate Programming' Using Cweb (A Variant of Knuth's WEB)
Towards Bandwidth Guaranteed Virtual Cluster Reallocation in the Cloud
Specifying Integrity Constraints in a Network DBMS
Discriminative Distance-Based Network Indices with Application to Link Prediction
An Object-Oriented Systems Modelling Method based on the Jackson Approach
HPP: A Reliable Causal Broadcast Protocol for Large-Scale Replication
Sequential vs. Binary Batched Searching
Factoring Medium-Sized Integers
CSFL: Cooperative Security Aware Federated Learning Model Using The Blockchain
A Framework for the Investigation of a Spatial Data Base
Maximal Assortative Matching and Maximal Dissortative Matching for Complex Network Graphs
What EVERYBODY should know about ALGOL
A Novel Methodology for Automatically Measuring Psychological Dimensions in Textual Data
Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences
Privacy-Preserving Query Processing by Multi-Party Computation
DGA domain embedding with deep metric learning
A Java-Based Agent Platform for Programming Wireless Sensor Networks
An Efficient Framework for a Third Party Auditor in Cloud Computing Environments
Mining Social Media for Knowledge Discovery
An Empirical Performance Study on PSIM
Identifying and Ranking Influential Spreaders in Complex Networks by Localized Decreasing Gravity Model
Lazy Functional Programs in a Concurrent Environment
Mathematical Models of File Growth
The Efficient Administration of Blocks in ALGOL
Bandwidth-Efficient Zero-Knowledge Proofs For Threshold ECDSA
Alternating Direction Methods for Parabolic Equations in Two Space Dimensions with a Mixed Derivative
Social Network Analysis of the Panama Papers Concentrating on the MENA Region
Comparison of a Continuation Method with Brent's Method for the Numerical Solution of a Single Nonlinear Equation
Assessing Idioms for a Flexible Feature Binding Time
Some considerations of the cost and value of information
Periodic and Aperiodic Task Scheduling in Strongly Partitioned Integrated Real-time Systems
Note on coding Reverse Polish expressions for single-address computers with one accumulator
The Rapid Generation of a Class of Software Tools
EDSIM - Event Based Discrete Simulation Using General Purpose Languages Such as FORTRAN
Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms
Computer Assisted Instruction
Impact FD: An Unreliable Failure Detector Based on Process Relevance and Confidence in the System
Multichannel Ordered Contention MAC Protocol For Underwater Wireless Sensor Networks
Trust-aware Task Allocation in Collaborative Crowdsourcing Model
Auditing Revocable Privacy-Preserving Access Control for EHRs in Clouds
A conversational compiler for full PL/1
A Hybrid Approach for Question Retrieval in Community Question Answerin
Connected Component Labelling Using Quadtrees - A Bottom-up Approach
Area Conscious State Assignment with Flip-Flop and Output Polarity Selection for Finite State Machine Synthesis?A Genetic Algorithm Approach
On the Theoretical and Practical Complexity of the Existential Theory of Reals
Hit Ratios
An Impossible Program*
The Green Language Exception System
A One-Sided Transformation Method for the Singular Value Decomposition and Algebraic Eigenproblem
On the Modulus in Matching Vector Codes
Collaboration Management in DiCE
Test Procedures for Measurement of Floating-Point Characteristics of Computing Environments
Book Review: The Agebraic Eigenvalue Problem, by J. H. Wilkinson, 1965; 662 pages
The Colour Towers of Hanoi: A Generalization
Linear-Time Self-Stabilizing Algorithms for Disjoint Independent Sets
Efficient Attribute-Based Data Sharing Scheme with Hidden Access Structures
Persistence of Hybrid Diagnosability of Regular Networks Under Testing Diagnostic Model
Digital Arithmetic in Nature: Continuous-Digit RNS
Cycle-Sort: A Linear Sorting Method
Computers and Commerce: 3 - Stock Recording and Control
Dynamic File Organizations For Partial Match Retrieval Based On Linear Hashing
A Parameterized Linear Array with a Reconfigurable Pipelined Bus System: LARPBS(p)
Artificial Intelligence for Games. Series in Interactive 3D Technology
Replacement Algorithms for Storage Management in Relational Data Bases
A Note on LISP Universal S-Functions
A Hash-Based Approach for Computing the Transitive Closure of Database Relations
Chainmail: A Model of First-Fit Memory Allocation
Assisting Sensor-Based Application Design and Instantiation Using Activity Recommendation
Generalizing Active Zones for Set-Theoretic Solid Models
A computer technique for game-theoretic problems I: chemin-de-fer analyzed
Implementing a Thermal-Aware Scheduler in Linux Kernel on a Multi-Core Processor
ULDC: Unsupervised Learning-Based Data Cleaning for Malicious Traffic With High Noise
Report on the EFIS 2001 Workshop
On speeding convergence of an iterative eigenvalue process
What is the Use of Operating Systems?
Affine Slices
Numerical Inversion of Laplace Transforms by Weighted Least-Squares Approximation
Editorial: Introduction to the Special Issue
Using Decision Tree Classifiers in Source Code Analysis to Recognize Algorithms: An Experiment with Sorting Algorithms
Optimal Slack Stealing Servicing for Real-Time Energy Harvesting Systems
Certificate Revocation List Distribution System for the KAD Network
Computational Robust Fuzzy Extractor
Normalization Could be Useful
A Non-Classical Logic for Information Retrieval
Trust Enhanced Security for Tenant Transactions in the Cloud Environment
Exploiting Persistent Linkage in Software Engineering Environments
Data Transmission Handbook
Solution of Linear Differential Equations
The Inversion of Sparse Matrices by a Strategy Derived from their Graphs
Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool
Simulation of Discrete Systems Using GPSS-FORTRAN
Analytical and Simulation Modelling of Zoned RAID Systems
Multi-Access on the Chilton Atlas
Algorithmic Dispute Resolution - The Automation of Professional Dispute Resolution Using AI and Blockchain Technologies
SDTA: Secure Decentralized Trading Alliance for Electronic Medical Data
Customization effort estimation of Microsoft ERP projects
Mu-Balancing M-Way Search Trees
Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm
Information-Theoretic Complexity of Program Specifications
Reliable Omega Interconnected Network for Large-Scale Multiprocessor Systems
A Progress Report on the Introduction of A.D.P. for Recording Contributions Paid under the new Graduated Pensions Scheme
Detection and Localization of Abnormalities in Surveillance Video Using Timerider-Based Neural Network
A Design Language for Asynchronous Logic
Extend the Concept of Public Key Encryption with Delegated Search
Provable Data Possession Schemes from Standard Lattices for Cloud Computing