yusuke1997/dblp-id-title huggingface dataset:
Timetable Construction - An Annotated Bibliography
A Bit Comparison Program for Algorithm Testing
Foundations of Antcycle: Self-synchronized Duty-cycling in Mobile Sensor Networks
Relational Pascal Data Base Interface
A special-purpose compiler
Fidelity Homogenous Genesis Recommendation Model for User Trust with Item Ratings
Direct methods for the solution of finite-difference approximations to separable partial differential equations
Conference on Automatic Computing and Data Processing in Australia
Dynamic Concurrency Control Algorithms for Large Distributed Database Systems
The Categorical Multi-Combinator Machine: CMCM
Computation of Elementary Siphons in Petri Nets For Deadlock Control
Comparison of Hierarchie Agglomerative Clustering Methods for Document Retrieval
Run-Time Security Traceability for Evolving Systems
A Technique for Analyzing the Effects of Changes in Formal Specifications
Secure and Efficient Masking of Lightweight Ciphers in Software and Hardware
Automatic segmentation of programs for a two-level store computer
Extended k-Nearest Neighbours based on Evidence Theory
A Fast Algorithm for Generating Set Partitions
Boolean Simplification and Integer Inequalities
Book Review: Automation in Bankwesen, by Hans Peter Bauer, 1962; 151 pages
The Use of Symbol-State Tables
Intercode, a Simplified Coding Scheme for AMOS
A Recovery Mechanism for Shells
Klepto for Ring-LWE Encryption
Toward Effective and Reliable Digital Forensics
Some Comments on C. S. Wallace's Random Number Generators
A Novel Collaborate Neural Dynamic System Model for Solving a Class of Min-Max Optimization Problems with an Application in Portfolio Management
Modeling and Analysis of High Availability Techniques in a Virtualized System
ALGOL 68 as a Metalanguage for Denotational Semantics
A New Neural Distinguisher Considering Features Derived From Multiple Ciphertext Pairs
Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability
Trees and Routines
Vertex-ordering Algorithms for Automatic Differentiation of Computer Codes
Virtual Machine Customization and Task Mapping Architecture for Efficient Allocation of Cloud Data Center Resources
An Investigation Into Database Resilience
Who Face Me? Neighbor Identification With LED Camera Communication
Interval Heaps
Adaptive IoT Empowered Smart Road Traffic Congestion Control System Using Supervised Machine Learning Algorithm
An Efficient Location Management Scheme for Hybrid Wireless Asynchronous Transfer Mode Networks
Internet of vehicles intrusion detection method based on CFS-COA feature selection and spatio-temporal feature extraction
A Case Study of Optimization
A Vulnerability Life Cycle-Based Security Modeling and Evaluation Approach
The Calculation of Eigenvectors by the Method of Lanczos
A Taxonomy of Current Approaches to Systems Analysis
aDORe: A Modular, Standards-Based Digital Object Repository
Comparative Notes on ALGOL 68 and PL/I
The Automatic Evolution of Distributed Controllers to Configure Sensor Network Operation
European Computing Curricula: A Guide and Comparative Analysis
Error Correction by Structural Simplicity: Correcting Samplable Additive Errors
Validation of Systems of Parallel Processes
A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network
Describing Software Design Methodologies
An Algorithm with Guaranteed Convergence for Finding a Zero of a Function
Quadtrees and Hypercubes: Grid Embedding Strategies Based on Spatial Data Structure Addressing
Character String Handling in FORTRAN
Modifications to the Forsythe-Moler Algorithm for Solving Linear Algebraic Systems
Implementation of ALGOL 60 for the English Electric KDF9
A Record-Oriented Cryptosystem for Database Sharing (Short Note)
Computational Model for Prediction of Malignant Mesothelioma Diagnosis
Practical Attacks of Round-Reduced SIMON Based on Deep Learning
Bounding Aggregations for Transient and Stationary Performance Analysis of Subnetworks
Metaheuristic-Enabled Artificial Neural Network Framework For Multimodal Biometric Recognition With Local Fusion Visual Features
On Some Properties of the Optimally Refined Proportional Sampling Strategy
Note on timing simulation of a large asynchronous computer
Secure-TWS: Authenticating Node to Multi-user Communication in Shared Sensor Networks
On Decomposition of Multi-Valued Switching Functions
Book Review: Digital Communicationss with Space Applications, by S. W. Golomb et al., 1965; 210 pages
A Further Note on Top-Down Deterministic Languages
Bresenham's Algorithm with Run Line Coding Shortcut
A comparison of some inverse Laplace transform techniques for use in circuit design
Zero-correlation Linear Cryptanalysis of SAFER Block Cipher Family Using the Undisturbed Bits
Inferring User Situations from Interaction Events in Social Media
Balsa: An Asynchronous Hardware Synthesis Language
Related Blogs' Summarization With Natural Language Processing
A New Node-to-Set Disjoint-Path Algorithm in Perfect Hierarchical Hypercubes
The Reduction of a Matrix to Codiagonal Form by Eliminations
Hybrid Learning Approach Toward Situation Recognition and Handling
Accurate and Efficient Cache Warmup for Sampled Processor Simulation Through NSL-BLRL
Robust Detection of Copy-Move Forgery Based on Wavelet Decomposition and Firefly Algorithm
Optimal fixed batch sizes for real-time inquiry systems
On the Design of an Integrated Systolic Array for Solving Simultaneous Linear Equations
The Development and Testing of a Processor Self-Test Program
Flexibility of Block-Length for Magnetic Files
Programming Improvements to Fike's Algorithm for Generating Permutations
Localization Algorithms for Wireless Sensor Retrieval
Identity-Based Encryption with Verifiable Outsourced Revocation
Leakage-Resilient Dual-Form Signatures
Multi-Dimensional Map-Folding
Pruning of Health Data in Mobile-Assisted Remote Healthcare Service Delivery
Constant-time Algorithms for Minimum Spanning Tree and Related Problems on Processor Array with Reconfigurable Bus Systems
Operations on Quadtree Encoded Images
Current Theory and Practice of Automatic Programming
2-Layer k -Planar Graphs Density, Crossing Lemma, Relationships And Pathwidth
Error and attack vulnerability of Apollonian networks
Ring Paxos: High-Throughput Atomic Broadcast
Constructing Natural Language Interpreters in a Lazy Functional Language
Some Techniques for Structuring Chained Hash Tables
New Blind Filter Protocol: An Improved Privacy-Preserving Scheme for Location-Based Services
Discussant Contributions for the Computer Journal Lecture by Erol Gelenbe
Multi-View Memory Support to Operating Systems in Locking for Transaction and Database Systems
Realistic Safety Cases for the Timing of Systems
Revised report on the algorithmic language ALGOL 60
A Tool for Checking the CSP sat Property
Locating Maximal Multirepeats in Multiple Strings Under Various Constraints
Editorial: Engineering Knowledge and Semantic Systems
Scalable Federated Broker Management for Selection of Web Services
The Performance of Algorithms for Colouring Planar Graphs
Desirable computing facilities for a College of Advanced Technology
A Literal Code Method For Minimizing Boolean Functions
Admission control algorithm for visible light communication random access network under delay and jitter constraints
Decentralized Detection of Topological Events in Evolving Spatial Regions
Numerical Integration in two and Three Dimensions
Role Mining Heuristics for Permission-Role-Usage Cardinality Constraints
Cryptanalysis of an Off-Line Electronic Cash Scheme Based on Proxy Blind Signature
Analysis of Numerical Iterative Methods for Solving Integral and Integrodifferential Equations
Medium-Term Scheduler as a Solution for the Thrashing Effect
Guest Editorial to the Special Issue on Automation of Software Testing
Trip Planning Queries in Indoor Venues
Error Curves for Lanczos' "Selected Points" Method
Asymmetric Allocation in a Shared Flexible Signature Module for Multicore Processors
Binding and Type Checking in Database Programming Languages
Diagnosability of the Cayley Graph Generated by Complete Graph with Missing Edges under the MM$^{\ast }$ Model
The Application of Precedence Operations to Interactive Canadian Income Tax Calculations
Insecurity of an Efficient Identity-Based Proxy Signature in the Standard Model
An Ensemble-Based Credit Card Fraud Detection Algorithm Using an Efficient Voting Strategy
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS
Data Cache Prefetching With Dynamic Adaptation
A Distributed File System with Variable Sized Objects for Enhanced Random Writes
Constructive Rewriting
Progress in the Application of Natural Language Processing to Information Retrieval Tasks
NOR and NAND Operators in Boolean Algebra Applied to Switching Circuit Design
Parallel Functional Programming with Arrays
Note on the Numerical Evaluation of a First Derivative from a Table of a Function Satisfying a Second Order Differential Equation
Low-Power Scheduling Algorithms for Sporadic Task with Shared Resources in Hard Real-Time Systems
An Adaptive On Line Data Compression System
Classifying Video Documents by Hierarchical Structure of Video Contents
Fast Generation of t -ary Trees
A Computer Controlled Circulation System
MC-2D: An Efficient and Scalable Multicoupon Scheme
A Hybrid Adaptive Protocol for Reliable Data Delivery in WSNs with Multiple Mobile Sinks
An Adaptive MAC Protocol Based on Time-Domain Interference Alignment for UWANs
On O(1) Time Algorithms for Combinatorial Generation
A Small Business Computer at Work
Modelling Offices Through Discourse Analysis: A Comparison and Evaluation of SAMPO with OSSAD and ICN
A Dialogue System to Teach Database Concepts
Book Review: Optimization Theory and the Design of Feedback Control Systems, by C. W. Merriam III, 1964; 390 pages
On the Partition Dimension of Circulant Graphs
Optimizing Database Accesses for Parallel Processing of Multikey Range Searches
A Note on Performance of VM/370 in the Integration of Models and Data Bases
Information Processing
Secure Computing Resource Allocation Framework For Open Fog Computing
Algebraic Transformation Techniques for Functional Languages
Teaching Mathematics by Computer
Reducing Online Model-Development Time by Agents Using Constraints Between Shared Observations
The application of the electronic computer to the 1961 population census of Great Britain
A Parallel Approach to Link Sign Prediction in Large-Scale Online Social Networks
A Parallel Computation Approach to Topological Sorting
The Millar Polyhedron and its use in the Construction of Octrees
Agent Support for Policy-Driven Collaborative Mission Planning
Autonomous Wireless Sensor Networks: Implementation of Transient Computing and Energy Prediction for Improved Node Performance and Link Quality
RTsFCM: a robust two-stage flow correlation method for traffic tracking in anonymous communication
Memoryless Subsystems
Graph Matching-Based Distributed Clustering and Backbone Formation Algorithms for Sensor Networks
A Virtual Network Embedding Algorithm Based On Double-Layer Reinforcement Learning
Randomized Competitive Algorithms for Successful and Unsuccessful Search
Multi-Destination Secure Electronic Mail
On an Optimal and Faster Construction of Linear Quadtrees from Raster-Scanned Images
Detecting Urban Anomalies Using Factor Analysis and One Class Support Vector Machine
The Calculation of Power Spectra
Towards Structured Programs in APL
Intrusion detection based on hybrid metaheuristic feature selection
A simple algebra system
Some Extensions on Threshold Visual Cryptography Schemes
Deletion Algorithms for Coalesced Hashing
Wi-Crack: a smartphone keystroke recognition system based on multi-dimensional information
Contact Probing Mechanisms for Opportunistic Sensor Data Collection
Concurrency Control in Admin
Defending Against Data Poisoning Attacks: From Distributed Learning to Federated Learning
How BCPL Evolved from CPL
The Goblin Quadtree
AVPEU: anonymous verifiable presentations with extended usability
Affiliation-Hiding Authenticated Asymmetric Group Key Agreement
A method of storing the orthogonal polynomials used for curve and surface fitting
An Advanced EEG Motion Artifacts Eradication Algorithm
Syntax Analysis by Domölki's Algorithm
Filters for XML-based Service Discovery in Pervasive Computing
Operating Experience with COBOL in a Service Bureau
An In-Out Combined Dynamic Weighted Round-Robin Method for Network Load Balancing
Efficient Multi-Signature Scheme Using Lattice
The Eldon 2 Operating System for KDF9
"Irascible Genius"
Some File Structure Considerations Pertaining to Magnetic Bubble Memory
Optimization of Small Updates for Erasure-Coded In-memory Stores
Iterative Key Distribution Based on MAD Neighborhood in Underwater Mobile Sensor Networks
More Combinatorial Properties of Certain Trees
Approximation algorithms for maximum weighted internal spanning trees in regular graphs and subdivisions of graphs
The Calculation of e to Many Significant Digits
The Nested Relation Type Model: An Application of Domain Theory to Databases
A Memory System for Education
The Computability of Stack Non-Underflow
Differential-Aided Preimage Attacks On Round-Reduced Keccak
A Note on the Construction of a General Survey Program in Extended Mercury Autocode
A Framework for the Analysis of Denial of Service Attacks
Two Livelock-Free Protocols for Slotted Rings
Mahalanobis Distance Similarity Measure Based Higher Order Optimal Distinguisher
Perspectives on Web Services-Applying SOAP, WSDL and UDDIto Real-World Projects
A general theory of classificatory sorting strategies: II. Clustering systems
Video-on-Demand Based on Delayed-Multicast: Algorithmic Support
Advances in Network and System Security: Editorial Statement
A Strong and Weak Ties Feedback-Based Trust Model in Multimedia Social Networks
Algebra and Query Language for A Historical Data Model
Optimal Placement of Web Proxies for Replicated Web Servers in the Internet
A Degradable B link -Tree with Periodic Data Reorganization
Data Analysis and System Design by Entity-Relationship Modelling. A Practiacal Example
YOLO-fall: a YOLO-based fall detection model with high precision, shrunk size, and low latency
A Trading Service for COTS Components
Extremely Lightweight Constant-Round Membership-Authenticated Group Key Establishment for Resource-Constrained Smart Environments toward 5G
Cryptanalysis Of A Type Of White-Box Implementations Of The SM4 Block Cipher
An Object-Based Taxonomy for Abstract Structure in Document Models
A Language for Complex Real-Time Systems
A Case Study in the Design of a Distributed System Using the Calculus of Communicating Systems
Novel Compression Algorithm Based on Sparse Sampling of 3-D Laser Range Scans
Computer Programs Which Play Music with Microtones
Game Theory-Based Reasoning of Opposing Non-functional Requirements using Inter-actor Dependencies
Blockchain-based Fair and Decentralized Data Trading Model
The Pegasus Autocode
A Generating Function Approach to the Edge Surface Area of the Arrangement Graphs
Piecewise Cubic Interpolation and Two-Point Boundary Problems
Borehole Depth Recognition Based on Improved YOLOX Detection
Two Kinds of Probabilistic Induction
Channel Estimation for Millimeter Wave Massive MIMO System: Proposed Hybrid Optimization with Heuristic-Enabled Precoding and Combining
DTKI: A New Formalized PKI with Verifiable Trusted Parties
Electre: A Language for Control Structuring in Real Time
The Teaching and Learning of Programming: A Survey of Supporting Software Tools
A Graph Grammar Approach to the Design and Validation of Floor Plans
Use of Doubly Chained Tree Structures in File Organisation for Optimal Searching
Ensemble Technique to Predict Breast Cancer on Multiple Dataset
Closeness Centralities of Lollipop Graphs
A Rule-Based Fuzzy Inference System for Adaptive Image Contrast Enhancement
CODIL, Part1. The Importance of Flexibility
Is APL a Viable Programming Language?
Information System Planning and Selection: A Multiattribute Theoretic Approach
Dewey Indexing of Prolog Traces
Interference Control in SuperPascal - A Block-Structured Parallel Language
Efficient object detector via dynamic prior and dynamic feature fusion
FHSD: An Improved IP Spoof Detection Method for Web DDoS Attacks
A Novel Decision-Making Process for COVID-19 Fighting Based on Association Rules and Bayesian Methods
The Design of a Canonical Database System (PRECI)
Data Processing Society of the Netherlands
Fast Learning Automaton-Based Image Examination and Retrieval
A Complete L-system Specification for Generating an Exact Self-affine Growth-Decay Function with a Random Walk Scaling Property
The Implementation of the Exegesis System
Deriving Specifications of Control Programs for Cyber Physical Systems
An Aid to Pattern Recognition
Efficient Publish/Subscribe Through a Self-Organizing Broker Overlay and its Application to SIENA
Network Traffic Classification Based On A Deep Learning Approach Using NetFlow Data
Hash Trees Versus B-Trees
High-performance IP Lookup Engine with Compact Clustered Trie Search
Parameterized Complexity of Geometric Problems
Editorial on the Occasion of Volume 50 of The Computer Journal
An Examination of the Resolution of Structure Clashes by Structure Inversion
Constraint Maintenance as a Data Model Design Criterion
Rider Chicken Optimization Algorithm-Based Recurrent Neural Network for Big Data Classification in Spark Architecture
A Dynamic Heterogeneous Graph Convolution Network For Traffic Flow Prediction
Hybrid Data Structures Defined by Indirection
Experience in using a Deuce Computer for the Family Expenditure Survey
Logical Image Modelling and Retrieval
EigenBots for the Okey Social Board Game
Proving Linearizability Using Reduction
Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions
All-But-Many Lossy Trapdoor Functions under Decisional RSA Subgroup Assumption and Application
Block Sorting of a Large File in External Storage by a 2-Component Key
TBFL: blockchain-enabled trusted byzantine-robust federated learning framework for photovoltaic power generation forecasting
Text Compression with an Associative Parallel Processor
Book Review: Extended Mercury Autocode (EMA) for I.C.T. Atlas and Orion Computers, I.C.T. Ltd., 199 pages
Entity Model Clustering: Structuring A Data Model By Abstraction
Cascade Generalization with Reweighting Data for Handling Imbalanced Problems
Probing and Fault Injection of Dependable Distributed Protocols
Integration of Information Systems Using an Object-Oriented Approach
A Call Center System based on Expert Systems for the Acquisition of Agricultural Knowledge Transferred from Text-to-Speech in China
Exploiting Vector Computers by Replication
Bounds and Techniques for Efficient Redistribution of Secret Shares to New Access Structures
An Algorithm to Construct Completely Independent Spanning Trees in Line Graphs
Heuristic-Guided Abstraction Refinement
Width Parameters Beyond Tree-width and their Applications
A Petri Nets Model for Blockchain Analysis
High-Performance Operations Using a Compressed Database Architecture
The Determination of the Optimum Database Maintenance Points
Diagnosability Evaluation of the Data Center Network DCell
CAIMP: Cross-Architecture IoT Malware Detection and Prediction Based On Static Feature
A Method for Displaying the Intersection Curve of Two Quadric Surfaces
Automatic Demirci-Selçuk Meet-In-The-Middle Attack On SIMON
Comparative Performance of Overlapping Connectivity Multiprocessor Interconnection Networks
Enhanced SAC-RNN-based collision-avoidance methods in UAV networks with leader-follower scenario
WHDA-FCM: Wolf Hunting-Based Dragonfly With Fuzzy C-Mean Clustering For Change Detection In SAR Images
A Model of Nonmorphological Data Collection Based on Sentential Calculus
Reliability Analysis of the Cactus-Based Networks Based on Subsystem
Secure and Compact Elliptic Curve Scalar Multiplication with Optimized Inversion
Defence Applications of Agent-Based Information Fusion
Memory Trace Compression and Replay for SPMD Systems Using Extended PRSDs
Computing the Chromatic Index of Steiner Triple Systems
Achieving Hash Table Searches In One Or Two Bucket Probes
Design of an autonomous multi-agent-based defense system against DDoS attacks in the Industrial Internet of Things (IIoT) environment
Formal Methods - Mathematics, Theory, Recipes or What?
DROL: A Distributed and Real-Time Object-Oriented Logic Environment
Notice to Members of the British Computer Society
Book Review: Theory of Recursive Functions and Effective Computability, by H. Rogers Jr., 1967; 482 pages
A Simple Modification of Xunrang and Yuzhang's HEAPSORT Variant Improving its Complexity Significantly
A Self-enriching Methodology for Clustering Narrow Domain Short Texts
Note on Robust and Simple Authentication Protocol
Advanced Computer Technologies and Applications in Grid and Cloud Computing
Seasonal Adjustment and Forecasting in the Presence of Trend
A Comparative Study of Different Motif Occurrence Models Applied to a Hybrid Multiobjective Shuffle Frog Leaping Algorithm
The Study of the Application of a Computer to Production Control
Efficient Embeddings into Hypercube-like Topologies
Discussion of Paper 'Minimum Message Length and Kolmogorov Complexity' by C. S. Wallace and D. L. Dowe
An Algorithm for the Removal of Hidden Lines in 3D Scenes
Performance Analysis of a Multiprocessor System Model with Process Communication
The Use of an Electronic Computer in Research Statistics: Four Years' Experience
Understanding Performance of a Vulnerable Heterogeneous Edge Data Center: A Modeling Approach
Permutations by Interchanges
A Novel Aspect-based Sentiment Analysis Network Model Based on Multilingual Hierarchy in Online Social Network
Data Definition Facilities in Admin
An Analysis of Associated Dividends in the DBM Algorithm for Division by Constants Using Multiplication
Computer Control of Industrial Processes
Information-Theoretic Channel for Multi-exposure Image Fusion
Genetic Algorithms for Large-Scale Clustering Problems
From Relation Algebra to Semi-join Algebra: An Approach to Graph Query Optimization
Forming Grouped Teams with Efficient Collaboration in Social Networks
Cubic spline solutions to two-point boundary value problems
Overcoming the Curse of Dimensionality in Clustering by Means of the Wavelet Transform
A syntax for ALGOL input/output formats
A hardware representation for ALGOL 60 using Creed teleprinter equipment
Representing and Managing the Context of a Situation
A Symbolic Calculator for Non-Strict Functional Programs
Analysis of a Multimedia Stream using Stochastic Process Algebra
A Green Energy Model for Resource Allocation in Computational Grid
Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
What is Information: Beyond the Jungle of Information Theories
The Amoeba-Prolog System
Server-Aided Signature Verification for Lightweight Devices
An Expert System for Diagnosis and Repair
Using Coupling-Based Weights for the Class Integration and Test Order Problem
Game-Theoretic Target Selection in Contagion-Based Domains
Medium Access Control Schemes for Local Area Networks with Multiple Priority Function
Lookback-Guess-Next Optimizer: Feedback-Guided Random Search Technique with Biased Mapping for Solving Unconstrained Optimization Problems
Customer Segmentation Using K-Means Clustering and the Hybrid Particle Swarm Optimization Algorithm
WS-BD-Based Two-Level Match: Interesting Sequential Patterns and Bayesian Fuzzy Clustering for Predicting the Web Pages from Weblogs
Using GHZ-State for Multiparty Quantum Secret Sharing Without Code Table
An Approach for Image Search and Retrieval by Cluster-Based Indexing of Binary MKSIFT Codes
DRL-Tomo: a deep reinforcement learning-based approach to augmented data generation for network tomography
Computer Assisted Analysis of Cryptic Crosswords
Similarity of Sentences With Contradiction Using Semantic Similarity Measures
A Remark on a Contouring Algorithm
Gray or Gros?
Transformational Hierarchical Reasoning
Data Encryption Based Upon Time Reversal Transformations
Some Results on Open-Edge and Open Mobile Guarding of Polygons and Triangulations
Mapping from a Conceptual Schema to a Target Internal Schema
Numerical methods for Volterra integral equations of the first kind