yusuke1997/dblp-id-title huggingface dataset:
Principles and Problems of a Universal Computer-Oriented Language
Review: Book review - Analogue computers
Narrowing the Complexity Gap for Colouring ( C s , P t )-Free Graphs
A Data-Parallel Formulation for Divide and Conquer Algorithms
On the Conversion of Filled Polygonal Regions from Raster to Vector Representation
What is the Right Computational Model for Continuous Scientific Problems?
Automated Computer-Aided Diagnosis of Diabetic Retinopathy Based on Segmentation and Classification using K-nearest neighbor algorithm in retinal images
Data Compression for a Source with Markov Characteristics
A Parallel Multiobjective Approach based on Honey Bees for Traffic Grooming in Optical Networks
A Systematic and Practical Approach to the Definition of Data
Joint Utilization of Appearance, Geometry and Chance for Scene Logo Retrieval
Group-Size Depencence: A Rationale for Choice Between Numerical Classifications
The outer and inner syntax of a programming language
The Extrapolated Modified Aitken Iteration Method for Solving Elliptic Difference Equations
The Robust Measurement Method for Security Metrics Generation
Deploying Power-Aware, Wireless Sensor Agents
A Compact Storage Scheme for the Solution of Symmetric Linear Simultaneous Equations
A Fixed Routing Problem in Large and High Connectivity Networks
A Topology Reconfiguration Mechanism for Distributed Computer Systems
An Efficient Algorithm for a Complete Link Method
On Equivalent Systolic Designs of LU Decomposition and Its Algebraic Representation (Short Note)
A New Method for the Optimization of a Nonlinear Function Subject to Nonlinear Constraints
Debugging Tools for Concurrent Logic Programming
Exploiting Context-Awareness to Enhance Source-Location Privacy in Wireless Sensor Networks
The Notion of Transparency Order, Revisited
A Proof of Revised Yahalom Protocol in the Bellare and Rogaway (1993) Model
Balanced Off-Chain Payment Channel Network Routing Strategy Based On Weight Calculation
Book Review: Error in Digital Computation, Volume II, edited by L. B. Rail, 1965; 228 pages
The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems
EOL - a symbol manipulation language
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development
Early Diabetes Discovery From Tongue Images
Generalization Bounds and Uniform Bounds for Multi-Dividing Ontology Algorithms with Convex Ontology Loss Function
Toward an Understanding of (Actual) Data Structures
Some Combinatorial Problems in Power-Law Graphs
Interpreting Deep Structures of Information Systems Security
Analysis of a Cyclic Placement Scheme
Persistent Semi-Dynamic Ordered Partition Index
Index to Advertisers
LEO Automatic Office at the Ministry of Pensions and National Insurance
The Relationship between Forward Slicing and Backward Slicing for Software Architecture
Inventing the User: EDSAC in Context
Scatter Storage Techniques: A Unifying Viewpoint and a Method for Reducing Retrieval Times
Detecting Review Spammer Groups via Bipartite Graph Projection
Controlling the Dependency of User Access Control Mechanisms on Correctness of User Identification
A Novel Construction Of Certificateless Aggregate Signature Scheme For Healthcare Wireless Medical Sensor Networks
Algorithms for De Bruijn Sequences - A Case Study in the Empirical Analysis of Algorithms
A Technique for Program Monitoring by Interruption
An Application-Oriented Computer Approach to Inventory Control Problems: Part 2: Implementation and Operational Experience
Rigorous Error Bounds for Computer Eigensystems
Correction to "Eigenvectors of the successive over-relaxation process, and its combination with Chebyshev semi-iteration", by G. J. Tee
Search Times Using Hash Tables for Records with Non-Unique Keys
Efficient Algorithms For Storage Load Balancing Of Outsourced Data In Blockchain Network
Large Scheduling Problems with Bivalent Costs
Natural Language Understanding, Where Are We Going? Where Could We Go?
Integrated Structured Analysis and Formal Specification Techniques
Menger-Type Connectivity of Line Graphs of Generalized Hypercubes With Faulty Edges
Hitting Times for Random Walks on Sierpiński Graphs and Hierarchical Graphs
NVR-BIP: Nuclear Vector Replacement using Binary Integer Programming for NMR Structure-Based Assignments
The Minimisation of Distance in Placement Algorithms
Opening Statement: What is Computation?
Packing Rectangular Pieces - A Heuristic Approach
An Integrated Engineering Study Scheme in Computing
A Survey of Coverage-Based Testing Tools
Interactive Computation and Data Management for Power System Studies
Algorithms for Calculating Cubic Beta-Splines
Thematic editorial: sentiment analysis
Linear Attacks On SNOW 3G And SNOW-V Using Automatic Search
A Function Interpretive Scheme for Pegasus
An upper bound for the chromatic number of a graph and its application to timetabling problems
Iterative, Finite Difference Solution of Interior Eigenvalues and Eigenfunctions of Laplace's Operator
Model-based Alignment of Heartbeat Morphology for Enhancing Human Recognition Capability
Note on the matrix equation Ax = λBx
A New Code-Based Blind Signature Scheme
Hedging Predictions in Machine Learning: The Second Computer Journal Lecture
Stationary points of quadratic functions under linear constraints
Error estimates for smoothing and extrapolation formulae
Integrating and Querying OpenStreetMap and Linked Geo Open Data
On Stable Correctors
A Two-Phase Optimization Algorithm For Mastermind
Insight, not numbers
An Iterative Least-Square Method Suitable for Solving Large Sparse Matrices
Edge Preserved Multispectral Image Compression Using Extended Shearlet Transform
Evolution-Based Scheduling of Computations and Communications on Distributed Memory Multicomputers
A Simple Method of Data Correction
Lightweight Public Key Encryption With Equality Test Supporting Partial Authorization in Cloud Storage
RASCAL: Calculation of Graph Similarity using Maximum Common Edge Subgraphs
Surfaces for Interactive Graphical Design
An Algorithm for Drawing the Curve f(x, y) = 0
Similarity Regression Of Functions In Different Compiled Forms With Neural Attentions On Dual Control-Flow Graphs
Character-Based Value Factorization For MADRL
SeqMask: Behavior Extraction Over Cyber Threat Intelligence Via Multi-Instance Learning
An Experimental Paging Unit
Analysis of Sequential Logic Circuits
One-to-Many Node-Disjoint Paths Routing in Dense Gaussian Networks
An improved sensing data cleaning scheme for object localization in edge computing environment
Global-local graph attention: unifying global and local attention for node classification
RGIM: An Integrated Approach to Improve QoS in AODV, DSR and DSDV Routing Protocols for FANETS Using the Chain Mobility Model
The Use of Lanczos τ-Methods in the Numerical Solution of a Stefan Problem
Improving the Scheduler's Energy Saving Capability by Noting both Job and Resource Characteristics
A New HEAPSORT Algorithm and the Analysis of Its Complexity
Correction to: Performance Evaluation of FPGA-Based LSTM Neural Networks for Pulse Signal Detection on Real-Time Radar Warning Receivers
A Scheme for Manipulative Algebra on a Computer
On the Use of C# Partial Classes for the Implementation of Software Product Lines
Analysis of Reliability Models for Interconnecting MIMD Systems
HIDEL: A Language for Hierarchical VLSI Design
Yves Pochet and Laurence A. Wolsey: Production Planning Using Mixed Integer Programming Springer (2006) ISBN 978-0-387-29959-4
An Efficient 2-Party Private Function Evaluation Protocol Based on Half Gates
Improving I/O Performance Through an In-Kernel Disk Simulator
Some Applications of Continuations
Book Review: Error in Digital Computation, Volume 1, edited by L. B. Rail, 1965; 324 pages
Critique on Multi-Criteria Assessment Applied to Alternative Data Processing Systems
DAP Prolog: A Set-Oriented Approach to Prolog
Entity Life Cycle Models and Their Applicability to Information Systems Development Life Cycles
The Hierarchy of Program Control Structures
Initialising Geoffrion's implicit enumeration algorithm for the zero-one linear programming problem
Determining the Asynchronous Threshold Values of the Timed Token Medium Access Protocol
Choice of Methods for Automatic Classification
Timing Properties of the FDDI-M Medium Access Protocol
Towards secure healthcare: SA-GBO-ODBN model utilizing Blockchain and deep learning for data handling and diagnosis
Change Area B-Trees: A Technique to Aid Error Recovery
An Efficient Algorithm for Crosswood Puzzle Solutions
Data Structures for a Network Design System
The interpretation of limited entry decision table format and relationships among conditions
Combining Data Flow and Control Flow Computing
Some Experiences in Price Mapping
The S.S.O.R. Iteration Scheme for Equations with σ1 Ordering
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension
Computers and Change-Ringing
Reliability of DQcube Based on g-Extra Conditional Fault
A Method for Defining General Networks for CAD, Using Interactive Computer Graphics
Deep Belief Network and Closed Polygonal Line for Lung Segmentation in Chest Radiographs
A Comparison of PASCAL and ALGOL 68
On Codd Families of Keys over Incomplete Relations
Editorial: Grid Performability
The QR Transformation - Part 2
Efficient Privacy-Preserving Charging Station Reservation System for Electric Vehicles
Optimizing arrhythmia identification using chaos theory and deep learning analysis
Verifying an ATM Protocol Using a Combination of Formal Techniques
Competition: A Model of AND-Parallel Execution of Logic Programs
System Design and Structuring
Learning Disjunctive Multiplicity Expressions and Disjunctive Generalize Multiplicity Expressions From Both Positive and Negative Examples
Algorithm for solving quantum linear systems of equations with coherent superposition and extended applications
Function Minimization Without Evaluating Derivatives - a Review
Visputer - A Graphical Visualization Tool for Parallel Programming
Priority Queue Administration by Sublist Index
Dynamic Virtual Machine Scheduling Using Residual Optimum Power-Efficiency In The Cloud Data Center
Flexible and Controllable Access Policy Update for Encrypted Data Sharing in the Cloud
Mechanizing a Large Index
A Methodology to Define External Schemas in ODMG Databases
On Finding the Height of a Binary Search Tree
An Analysis of Real and Simulated Statistics for System Design Purposes
Multiplier Evolution: A Family of Multiplier VLSI Implementations
Think Ahead: Enabling Continuous Sharing of Location Data in Real-Time with Privacy Guarantee
Optimization of the Address Field Compilation in the ILLIAC 2 Assembler
On a Class of Allocation Strategies Inducing Bounded Delays Only
Practical Length-limited Coding for Large Alphabets
The 'Queensway' Mersey Tunnel Entrance Control Project
A Control Structure for a Variable Number of Nested Loops
A review of algebraic manipulative programs and their application
Some methods for the solution of non-singular Volterra integro-differential equations
MEMBERS - A Microprogrammed Experimental Machine with a Basic Executive for Real-Time Systems
Extended Synchronized Choice Nets
An Implementation of 7-Bit Character Encoding for Standard Computer Graphics Environments
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions
The Rainbow Workstation
Early Operating Experience with Language H
Relative Assortativity Index: A Quantitative Metric to Assess the Impact of Link Prediction Techniques on Assortativity of Complex Networks
A multiple-precision floating-point interpretive program for the Control Data 1604
Small Target Recognition Using Dynamic Time Warping and Visual Attention
An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2
Overlapping Linear Quadtrees and Spatio-Temporal Query Processing
CRESCENT: A Reliable Framework for Durable Composite Web Services Management
Using Bloom Filters to Speed-up Name Lookup in Distributed Systems
A Safety Message Broadcast Strategy in Hybrid Vehicular Network Environment
Short Circuits in Buffered Multi-Stage Interconnection Networks
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications
Matching Inquiries to an Index
Adaptive Replica Creation and Selection Strategies for Latency-Aware Application in Collaborative Edge-Cloud System
Indexing for Multi-Attribute Retrieval (Short Note)
Attack-Oblivious Node Protection Strategy for survivable routing in airborne tactical networks under uncertainty
Conceptual Graphs and First Order Logic
Revocable Public Key Encryption with Equality Test without Pairing in Cloud Storage
Path Tracking in Motion Planning
Stable high order implicit methods for the numerical solution of systems of differential equations
What is SP?
Eigenvectors of the Successive Over-Relaxation Process, and its Combination with Chebyshev Semi-Iteration
Computers and the Small Firm: 3
Cryptanalysis of WG Family of Stream Ciphers
Modified ALGOL 60 and the Step-Until Element
A PMS Level Notation for the Description and Simulation of Digital Systems
A Quadtree-Based Dynamic Attribute Indexing Method
Test Translation for Embedded Finite State Machine Components
A New Method for Computational Private Information Retrieval
Feature refinement and attention enhancement for click-through rate prediction
A Survey of Language-Oriented Systems for Numerical Linear Algebra
Special Issue Editorial: High Assurance Systems
Layout of the Cube-connected Cycles without Long Wires
Feature Extraction from Degree Distribution for Comparison and Analysis of Complex Networks
A Statistically Rigorous Analysis of 2D Path-Planning Algorithms
On the Interplay Between Throughput, Fairness and Energy Efficiency on Asymmetric Multicore Processors
SDN-Based SYN Proxy - A Solution to Enhance Performance of Attack Mitigation Under TCP SYN Flood
Excellent-student learning method for decentralized MARL with networked agents system
Numerical integration over an N-dimensional rectangular region
On Detecting Multiple Faults in Baseline Interconnection Networks
A Generic Adaptive Sorting Algorithm
π and pi
Some Remarks on Computer Acquisition
Text Compression Using a 4 Bit Coding Scheme
A Prescheduling Algorithm-Scheduling a Suitable Mix Prior to Processing
Pattern Models: A Dynamic Epistemic Logic For Distributed Systems
RKA-Secure Public Key Encryptions Against Efficiently Invertible Functions
Numerical Studies of Prototype Cavity Flow Problems
Computer Production Control - The Second Year
Semantic Tag-based Profile Framework for Social Tagging Systems
Object Models for Distributed or Persistent Programming
Step Size Adjustment at Discontinuities for Fourth Order Runge-Kutta Methods
Review: Book review: Mathematical programming
A Study of I/O Performance of Virtual Machines
An Algorithm for the Solution of the Postman's Problem
A Selective Detector Ensemble for Concept Drift Detection
Detection of Structural Defects in Fabric Parts Using a Novel Edge Detection Method
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions
Dynamic Memory Allocation - A Markovian Analysis
The Provision of Digital Computers to British Universities up to the Flowers Report (1966)
Computers in a new steelworks
Secure Delegation of Signing Power from Factorization
The LLT and QR methods for symmetric tridiagonal matrices
Inpainting and Zooming Using Sparse Representations
Robust Filtering-Based Thinning Algorithm for Pattern Recognition
The Effect of the Distributed Test Architecture on the Power of Testing
Multi-Partition RAID: A New Method for Improving Performance of Disk Arrays under Failure
The Supplier's Role in the Design of Products for Organisations
KVFL: Key-Value-Based Persistent Fuzzing for IoT Web Servers
Table Look-Up (with Examples in COBOL)
Pervasive Computing on Active Networks
A FORTRAN to ALGOL translator
Multithreaded Processors
The Reliability Analysis of Distributed Computing Systems with Imperfect Nodes
Improved Linear Cryptanalysis of Block Cipher BORON
Test Selection for Hierarchical and Communicating Finite State Machines
ImposeSVD: Incrementing PureSVD For Top-N Recommendations for Cold-Start Problems and Sparse Datasets
Tor Trace in Images: A Novel Multi-Tab Website Fingerprinting Attack With Object Detection
Introduction to the Special Issue on Probability Models in Performance Analysis
Network Initialization in Low-Power Wireless Networks: A Comprehensive Study
Youtube Trending Videos: Boosting Machine Learning Results Using Exploratory Data Analysis
Towards More Portable COBOL
FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions
iMIG: Toward an Adaptive Live Migration Method for KVM Virtual Machines
A Weakest Precondition Semantics for Z
A Transformer Based Encodings for Detection of Semantically Equivalent Questions in cQA
Human Activity Recognition Based On Video Summarization And Deep Convolutional Neural Network
System Design for the Remote Execution of Library Routines
'MotorcycleSim': An Evaluation of Rider Interaction with an Innovative Motorcycle Simulator
Value-Coded Trie Structure for High-Performance IPv6 Lookup
A partial analysis of Go
Book Review: Principles of tunnel dioded circuits, by W. F. Chow, 1964; 387 pages
A Model for Representing and Retrieving Heterogeneous Structured Documents Based on Evidential Reasoning
Chebyshev Collocation Methods for Ordinary Differential Equations
Efficient Adaptive and Dynamic Mesh Refinement Based on a Non-recursive Strategy
Cell Transmission Model-Based Multiagent Q-Learning for Network-Scale Signal Control With Transit Priority
A Natural Language Data Base Interface to the User
Static Task Scheduling with a Unified Objective on Time and Resource Domains
Efficient Optimal Recompression
Towards a More Precise Analysis of an Algorithm to Generate Binary Trees: A Tutorial
The Crout reduction for sparse matrices
Accelerated Convergence of Numerical Solution of Linear and Non-Linear Vector Field Problems
A Structured Semantic Design of Distributed Operating Systems
Programming Replicated Systems in Ada 95
Gaussian Numerical Integration of a Function Depending on a Parameter
GB-PMIPv6: A Group-Based Handover Control Scheme for PMIPv6 Using the 'Hitch on' Concept
PATCOSY - A Database System for the National Health Service
A Note on the Nonrecursive Traversal of Binary Trees
Plagiarism à la Mode: A Comparison of Automated Systems for Detecting Suspected Plagiarism
A Decision Tree Ensemble Model for Predicting Bus Bunching
Appraisal of Two Arabic Opinion Summarization Methods: Statistical Versus Machine Learning
Functional Database Constraints
The Egdon System for the KDF9
A Hybrid Scheme Combining Duplications and LDPC Decoding to Reduce NAND Flash
A Proposed Standard for Measuring Crossword Compilation Efficiency
A Note on Transforming Context-Free Grammars to Wirth-Weber Precedence Form
Performance Evaluation of Depth Adjustment and Void Aware Pressure Routing (DA-VAPR) Protocol for Underwater Wireless Sensor Networks
Dynamic Multipath Allocation in Ad Hoc Networks
Authorization and control of input in the Royal Army Pay Corps Computer Centre application
Addressing Magnetic Tape on the Atlas 1 Computing Machine
An Approach to the Run-Time Monitoring of Parallel Programs
Security issues in a group key establishment protocol
A Variable Delay Method for Improving Recognition of Parallel Processable Code in Computer Programs
An Autonomous Time-Dependent SLA Negotiation Strategy for Cloud Computing
Operations on Quadtree Leaves and Related Image Areas
The Explicit Quad Tree as a Structure for Computer Graphics
Lemuria: A Novel Future Crop Prediction Algorithm Using Data Mining
Partial gathering of mobile agents in dynamic tori
The Number of States of a Dynamic Storage Allocation System
Complete Balancing via Rotation
Enhanced Fibonacci Cubes
Covering Array Constructors: An Experimental Analysis of Their Interaction Coverage and Fault Detection
Device placement using Laplacian PCA and graph attention networks
Enterprise-Ready Virtual Cloud Pools: Vision, Opportunities and Challenges
A High-Order Method of Solution for the Lyapunov Matrix Equation
A Genetic Algorithm for Vertical Fragmentation and Access Path Selection
The Least Squares Problem and Pseudo-Inverses
Security Metrics Foundations for Computer Security
Efficient Statistical Modeling for the Compression of Tree Structured Intermediate Code
The Parallel Interpretation of Logic Programs in Distributed Architectures
Hybrid Optimal Ensemble SVM Forest Classifier for Task Offloading in Mobile Cloud Computing
Polynomial Curve Fitting When Abscissas and Ordinates are both Subject to Error
Optimizing Average Job Response Time via Decentralized Probabilistic Job Dispatching in Heterogeneous Multiple Computer Systems
Performance-Aware Workflow Management for Grid Computing
A Self-Stabilizing O ( k )-Time k -Clustering Algorithm
Just-In-Time Cache for Capsule-Based Active Networks
On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness
Management in the Computer Business
GRNet: a graph reasoning network for enhanced multi-modal learning in scene text recognition
A Low-Storage Precise IP Traceback Technique Based on Packet Marking and Logging
Critique of the ISO Data Processing Vocabulary
Practical Attribute-Based Conjunctive Keyword Search Scheme
A General PASCAL Program for Map Overlay of Quadtrees and Related Problems
The Atlas Scheduling System
Colleen McCue: Data Mining and Predictive Analytics: Intelligence Gathering and Crime Analysis Elsevier (2007) ISBN 0-7506-7796-1
ASCUE: An Adversarial Network-Based Semantical Conformance Checking Method for Unsupervised Event Extraction in Social Internet of Things
Programmer Experience-Level Indicators
Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark
RTIM Hashing: Robust and Compact Video Hashing With a Rotation- and Translation-Invariant Model
An Efficient Frequent Itemset Mining Method over High-speed Data Streams
A Flexible Approach to Secure and Fair Document Exchange
Automatic Generation of Quadrature Formulae for Oscillatory Integrals
Notes on the State of Digital Computing in the U.S.S.R
Testing Programs with Finite Sets of Data
Developments in SPECOL - A Retrieval Language for the Non-Programmer
Scheduling-Oriented Models for Real-Time Systems
Applying Quantifier Elimination to Stability Analysis of Difference Schemes
COVID-19 Diagnostic System Using Medical Image Classification and Retrieval: A Novel Method for Image Analysis
An Inline Detection and Prevention Framework for Distributed Denial of Service Attacks
Conditions for Extended Operator Precedence Parsing
CFAuditChain: Audit BlockChain Based On Cuckoo Filter
Computer-Aided Methodology of Computer Systems Design
Book Review: Analogue Computing Methods, by D. Welbourne, 1965; 136 pages.
Logics, Lattices and Probability: The Missing Links to Information Retrieval
Continuations Implement Generators and Streams
On the Complexity of Conclusive Update
Thematic Editorial: Mostly Artificial Intelligence (AI) or Machine Learning (ML) Now in the Engine Room, in Pursuit of a Green Agenda
Matrix Separation Based on LMaFit-Seed
From Keys to Databases - Real-World Applications of Secure Multi-Party Computation
An Algebraic Theory for Parallel Processor Design
Computing Best l_p Approximations by Functions Nonlinear in one Parameter
Triodic Logic and its Use in Structured Program
Modular Analysis of Petri Nets
Parametric Curve Fitting
A note on the arrangement of Chebyshev series
A Replication Scheme for Multiple Fragmentations with Overlapping Fragments
On Synchronizing Readers and Writers with Semaphores
An Efficient Algorithm to Extract Control Flow-Based Features for IoT Malware Detection
An Improvement Algorithm for School Timetabling
Providing Secret Authentication in Clustered Security Architecture for Cloud-Based WBAN
The L ( h, k )-Labelling Problem: A Survey and Annotated Bibliography
Letters to the Editor: A New Method for Solving Polynomial Equations
A Note on Heapsort (Short Note)
On the (In)Security of Recent Group Key Distribution Protocols
An Interactive Graphical Minicomputer System for the Management and Exploration of Clinical Renal Data