yusuke1997/dblp-id-title huggingface dataset:
Algorithmic Design of the Globe Wide-Area Location Service
Battering Review Spam Through Ensemble Learning in Imbalanced Datasets
Novel Public-Key Encryption with Continuous Leakage Amplification
Plane and Stereographic Projections of Convex Polyhedra from Minimal Information
The National Giro
Cooperative Scheduling for Adaptive Duty Cycling in Asynchronous Sensor Networks
Note on Decomposition into First Order of Multi-Order Linear Differential Equations with Constant Coefficients
Computing in the Age of the Genome
Timetabling and Scheduling Problems
The Use of a Synthetic Jobstream in Performance Evaluation
Semantic and Generative Models for Lossy Text Compression
Neville's method for trigonometric interpolation
A Study of the Generalized Multiple Bus-Connected Parallel Computer
An Algorithm for Optimal Procedural Nesting
Electronic Publishing - A Journal and its Production
Nonrecursive Traversals of Trees
Reversible Data Hiding With Pattern Adaptive Prediction
A Cost-Based Admission Control Algorithm for Digital Library Multimedia Systems Storing Heterogeneous Objects
Updating an Inverted Index - A Performance Comparison of Two Techniques
On the Probability and Automatic Search of Rotational-XOR Cryptanalysis on ARX Ciphers
Verification for Non-polynomial Hybrid Systems Using Rational Invariants
Towards Better Traffic Localization of Virtual LANs Using Genetic Algorithm
Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming
A Group Bandwidth Reservation Scheme to Enhance the Driver's Safety in Vehicles and Transport Environment
An Authorization Framework using Building Information Models
A Methodology for Hardware and Software Availability Analysis
Quasi-Perfect Hashing
Green Mobile Networking and Communications
A Publicly Verifiable Optimistic Fair Exchange Protocol Using Decentralized CP-ABE
Tunicate Swarm Magnetic Optimization With Deep Convolution Neural Network For Collaborative Filter Recommendation
Privacy-Preserving Confidential Reporting System With Designated Reporters
A user oriented programming language
An Engineering Consideration of Spectral Transforms for Ternary Logic Synthesis
The growth of complexity of a general-purpose program
Bounds for Message Authentication with Distortion
Cloud-Based Personalization of New Advertising and e-Commerce Models for Video Consumption
A Soft-Edged Character Set and its Derivation
The calculation of Lamé polynomials
Priority Semaphores
A Note on the Implementation of LITHP on the I.C.T. 1905
Up and Down The Temporal Way
On an Iterative Approach to the Numerical Solution of Difference Schemes
Compact Morphic Directed Acyclic Word Graphs
Topological Approach for Testing Equivalence in Heterogeneous Relational Databases
Semantic Subgroup Discovery Systems and Workflows in the SDM-Toolkit
Detecting Proxy User Based on Communication Behavior Portrait
The Embedding of Meshes and Trees into Degree Four Chordal Ring Networks
Generalised Chebyshev Polynomials and Their Use in Numerical Approximation
R-Calculus: An Inference System for Belief Revision
A Password-Capability System
Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs
Describing Use-Case Relationships with Sequence Diagrams
Hydrographical Flow Modelling of the River Severn Using Particle Swarm Optimization
Some Aspects of Simulator Design
REFS: a novel framework for accelerated receive encrypted flow steering
Some observations on 'least time to go' scheduling
F-Code and its Implementation: A Portable Software Platform for Data Parallelism
Protocol Design and Implementation Using Formal Methods
Loopless Generation of Trees with Specified Degrees
Untangling Binary Trees via Rotations
Doubly-Chained Tree Data Base Organisation-Analysis and Design Strategies
Two-Factor Decryption: A Better Way to Protect Data Security and Privacy
A While-Rule in Martin-Löf's Theory of Types
An Appreciation of Dina St Johnston (1930-2007) Founder of the UK's First Software House
CODIL, Part2. The CODIL Language and its Interpreter
ANEEC: A Quasi-Automatic System for Massive Named Entity Extraction and Categorization
A Novel Approach to Adaptive Resource Allocation for Energy Saving in Reconfigurable Heterogeneous Networks
An ID-Based Mutual Authentication and Key Exchange Protocol for Low-Power Mobile Devices
Road Extraction and Topographic Data Validation Using Area Topology
A Multicast Routing Scheme for a Universal Spiking Neural Network Architecture
Editorship of The Computer Journal
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems
CCA-Secure IB-KEM from Identity-Based Extractable Hash Proof System
An Evaluation On The Entropy Supplying Capability Of Smartphone Sensors
A Program Suite for the Production of Articulated Subject Indexes
Inverting Laguerre Tessellations
A Survey on the Development of Security Mechanisms for Body Area Networks
Book Review (concluded)
Tracking Animal Location and Activity with an Automated Radio Telemetry System in a Tropical Rainforest
The London CPL1 compiler
The 'Window' Terminal
Neural-Aided Statistical Attack for Cryptanalysis
Annual Prizes: Result of 1960-61 Competition
Constructing Natural Language Sentences from Database Tuples
A Recursive Algorithm for the Optimal Solution of a Complex Allocation Problem Using a Dynamic Programming Formulation
Integrating Geospatial Data and Social Media in Bidirectional Long-Short Term Memory Models to Capture Human Nature Interactions
A Generic Method for the Analysis of a Class of Cache Attacks: A Case Study for AES
A Hierarchical Technique for Constructing Efficient Declustering Schemes for Range Queries
Towards a Formal Specification of Floating Point
Lattice-Based Homomorphic Encryption For Privacy-Preserving Smart Meter Data Analytics
A Simple Analysis of the n th Order Polyphase Sort
Evaluation of Permutation Algorithms
The Numerical Solution of Linear Stiff Boundary Value Problems
A New Construction for Linkable Secret Handshake
A Hybrid Machine Learning Approach for Performance Modeling of Cloud-Based Big Data Applications
A Location Prediction-Based Reactive Routing Protocol to Minimize the Number of Route Discoveries and Hop Count per Path in Mobile Ad Hoc Networks
Enhancing an Embedded Processor Core for Efficient and Isolated Execution of Cryptographic Algorithms
Optimization Algorithms for Student Scheduling via Constraint Satisfiability
Crossword Compiler-Compilation
Performance of Priority Queue Structures in a Virtual Memory Environment
A General Procedure for Evaluating the Controllability of Time Delay Feedback Control Systems
Software for the Linesman Radar Data Processing System
Analysis and Detection of Parallel Processable Code
Unity Doesn't Imply Unification or Overcoming Heterogeneity Problems in Distributed Software Engineering Environments
Modelling of Indexed Sequential Files: Monitoring Disc Transfers
Energy Efficient Data Fragmentation for Ubiquitous Computing
Fairness in Real-Time Energy Pricing for Smart Grid Using Unsupervised Learning
Effective Fault Diagnosis Approaches for Multiphath Networks
Two Dimensional Interpolation from Random Data
Software to Translate TELCOMP Programs into KDF9 ALGOL
An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications
Flowchart Schemata and the Problem of Nomenclature
Human Action Recognition from Video Sequences by Enforcing Tri-view Constraints
On The Batch Outsourcing Of Pairing Computations
A Proxy User Authentication Protocol Using Source-Based Image Morphing
Techniques for the Recording of, and Reference to data in a Computer
KEFSAR: A Solar-Aware Routing Strategy For Rechargeable IoT Based On High-Accuracy Prediction
Some Facilities for Speech Processing by Computer
Book Review: Signals and Noise in Communication Systems, by Harrison E. Rowe, 1966; 341 pages
Job Control Languages and Job Control Programs
A Simulation of a Minicomputer Controlled System and its Use as a Debugging Tool
Design of Scalable Java Communication Middleware for Multi-Core Systems
Packet Delay and Energy Consumption in Non-homogeneous Networks
The Tower of Hanoi with Forbidden Moves
A Miniature CCA Public Key Encryption Scheme Based on Non-abelian Factorization Problem in Finite Groups of Lie Type
An Efficient Deep Learning Approach To IoT Intrusion Detection
Resistance Distances In Simplicial Networks
A method for finite-difference approximation to ordinary differential equations
Reusing Shares in Secret Sharing Schemes
The Principles of Sorting
A Highly Parallelized Decoder for Random Network Coding leveraging GPGPU
A SIMULA-Based Structure Oriented Language for the Dynamic Simulation of Chemical Plants
Write-Aware Replacement Policies for PCM-Based Systems
On Using an Abstract Model of Distributed Database Concurrency Control Methods
Modelling Offices Through Discourse Analysis: The SAMPO Approach
The Stepwise Dimensionality Increasing (SDI) Index for High-Dimensional Data
Modular Description of Programming Languages
Hybrid Computation of the Dynamics of a Distributed System
Evaluating Measures of Program Quality
Visual Cryptography Schemes with Reversing
Auditing magnetic-tape systems
Implementation of Flexible Arrays Using Balanced Trees
Quality of Service Estimation Enabled With Trust-Based Resource Allocation in Collaborative Cloud Using Improved Grey Wolf Optimization
Faulty Node Detection in HMM-Based Cooperative Spectrum Sensing For Cognitive Radio Networks
Fast Inversions in Small Finite Fields by Using Binary Trees
ICL and the Evolution of the British Mainframe
Two Contributions to the Techniques of Queuing Problems
Simple Algorithms for the Partial Singular Value Decomposition
Generation of regular expressions for automata by the integral of regular expressions
Conditional Markov Processes and their application to the Theory of Optimal Control
The 'On-Ground' Compression of Satellite Data
Monarch-EWA: Monarch-Earthworm-Based Secure Routing Protocol in IoT
Coarse-Grained Parallel Transitive Closure Algorithm: Path Decomposition Technique
The Use of Character Sets and Character Mappings in Icon
Ambient Ecologies in Smart Homes
The identification of variable-length, equifrequent character strings in a natural language data base
Efficient On-line/Off-line Signature Schemes Based on Multiple-Collision Trapdoor Hash Families
Binary Programming: A Decision Rule for Selecting Optimal vs Heuristic Techniques
Junction Optimisation Technique
Iterative procedures for solving finite-difference approximations to separable partial differential equations
User's experience of RAPIDWRITE
Editorial: Mobile and Pervasive Computing
Hybrid ITÖ Algorithm for Maximum Scatter Colored Traveling Salesman Problem
FedEVCP: Federated Learning-Based Anomalies Detection for Electric Vehicle Charging Pile
Browsing à la Carte in Object-Oriented Databases
A High-Order Solution to the Characteristic Initial Value Problem in Hyperbolic Partial Differential Equations
Integration over Multidimensional Hypercubes I. A Progressive Procedure
Computer Fraud and Abuse
Characterizing 1-Metric Antidimensional Trees and Unicyclic Graphs
Edge-Orienting on Split, Planar and Treelike Graphs
ELSM: Evidence-Based Line Segment Merging
Book Review: Programming Real-Time Computer Systems, by James Martin, 1965; 386 pages
Evaluation of Performability Parameters in Client-Server Environments
Authorization Identification by Watermarking in Log-polar Coordinate System
Energy Efficient IP-Connectivity with IEEE 802.11 for Home M2M Networks
Jean Tabaka: Collaboration Explained: Facilitation Skills for Software Project Leaders Addison Wesley (2006) ISBN-13 978-0321268778
A Linear Algorithm for Computing the Optimum University Timetable
Constant Time Algorithm for Template Matching on a Reconfigurable Array of Processors
A Petri-Net-Based Virtual Deployment Testing Environment for Enterprise Software Systems
Reliability Analysis of Alternating Group Graphs and Split-Stars
Lossless Image Compression by Block Matching
New MRC Adder-Based Reverse Converter for the Moduli Set {2 n , 2 2 n +1 - 1, 2 2 n +2 - 1}
Order-Sorted Term Rewriting
Feature Analysis of Contemporary Information Systems Methodologies
Efficient Implementation of Rendezvous
Reliability Evaluation Of Multiprocessor System Based On The Balanced Complete Multipartite Graphs
Drawing Contours from Arbitrary Data Points
Solving the Converter Placement Problem in WDM Ring Networks using Genetic Algorithms
Sorting a Random Access File in Situ
Improved Methods for Signature-Tree Construction
Aspectual Collaborations: Combining Modules and Aspects
SE-Compression: A Generalization of Dictionary-Based Compression
A Representation Approach to the Tower of Hanoi Problem
A New Parallel Sorting Algorithm and its Efficient VLSI Implementation
Effects of Random Forest Parameters in the Selection of Biomarkers
AUTOSTAT: a Language for Statistical Data Processing
Generative Neural Networks for Multi-task Life-Long Learning
Application of Simple Power Analysis to Stream Ciphers Constructed Using Feedback Shift Registers
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations
Improved Meet-in-the-Middle Attacks on Reduced-Round Deoxys-BC-256
SimpleLock + : Fast and Accurate Hybrid Data Race Detection
Correctness of Compiling Occam to Transputer Code
A Short Note on Perfectly Balanced Binary Search Trees
The latent roots and vectors of a singular matrix
A Controlled Environment for Meta-Message Processing
The runs up and down test
Practical Experience with ALGOL 68-RT
Circus Models for Safety-Critical Java Programs
Maximal Structuring of Acyclic Process Models
I-Pigs: An Interactive Graphical Environment for Concurrent Programming
Curve Fitting with a Digital Computer
Generating Structured Flow Diagrams: The Nature of Unstructuredness
A Certificateless Linearly Homomorphic Signature Scheme Based on Lattice for Network Coding
The QR Algorithm for Real Symmetric Matrices with Multiple Eigenvalues
A Stock-Control and Invoicing System using a Gamma 3 Computer
Building a Semantic Description for a Data Modelling Language
Software Functional Variability
Perceptual Hash Function based on Scale-Invariant Feature Transform and Singular Value Decomposition
A Technique for the Composition of Music in a Computer
An Evaluation of Site Selection Algorithms for Distributed Query Processing
Weakly Supervised Sentiment-Specific Region Discovery for VSA
Permutation Groups and Set Union Algorithms
Implementation of Karp-Luby Monte Carlo Method: An Exercise in Approximate Counting
A Left-to-Right Preprocessing Computation for the Boyer-Moore String Matching Algorithm
Design and Performance Evaluation of a Transport Protocol for Ad hoc Networks
Public-Key Encryption In The Standard Model Against Strong Leakage Adversary
Relational Formalism for the Management of Spatial Data
Optimal and Random Partitions of Random Graphs
Future Papers
Efficient Identity-Based Proxy Signature in the Standard Model
Book Review: Learning Machines, by Nils J. Nilsson, 1965; 132 pages
An Approach to the Problem of Detranslation of Computer Programs
Electronic Computer Exhibition
Deferred approach to the limit in non-linear hyperbolic systems
Postmodern Software Development
Lifetime Maximization in Wireless Sensor Networks Using a Mobile Sink with Nonzero Traveling Time
SPG - A Programming System for Commercial Transaction Processing
A program for the construction of PERT flow charts
Meaningful Share Generation for (2, 2)-Multiple Visual Secret Sharing Scheme Without Pixel Expansion
Bracketing Technique in Elastic Matching
Thinking on the Web: Berners-Lee, Gödel and Turing
Effective Resource Allocation and Load Balancing in Hierarchical HetNets: Toward QoS-Aware Multi-Access Edge Computing
A Searchable Asymmetric Encryption Scheme with Support for Boolean Queries for Cloud Applications
Computer Network Usage Control Through Peak Load Pricing
sasa: a SimulAtor of Self-stabilizing Algorithms
Self Authenticating Proxies
A Novel SGD-U-Network-Based Pixel-Level Road Crack Segmentation and Classification
Fast Stable Merging and Sorting in Constant Extra Space
A Practical Usage of Outer and Inner Syntax
Analysing the Impact of Adding a New Software System on Main Memory Usage
A Tutorial on Optimization for Multi-Agent Systems
Legal Protection for Computer Programs
A Simulation Model Supporting Time and Non-time Metrics for Web Service Composition
A shilling attack detector based on convolutional neural network for collaborative recommender system in social aware network
Reconciling OO with Turing Machines
A Note on the Generalised Euler Transformation
Improving the Start-up Performance of the TFRC Protocol
Embedded Macro Processors
Causal Prediction of Top-k Event Types Over Real-Time Event Streams
A Calculus of Incomplete Fusions
Many-Sorted First-Order Logic Database Language
Two Tools for Interprocess Communication in Distributed Data-Flow Systems
Adaptive Federated Learning With Non-IID Data
A Natural Channel Coding for the Finite and Infinite Time Axes
A Survey on Prediction of Suicidal Ideation Using Machine and Ensemble Learning
Computer programs for monothetic classification ("Association analysis")
A Time-Aware Recommender System Based on Dependency Network of Items
Average Time to Travel on Two-headed, Non-linear Discs
A Hybrid Intelligent Text Watermarking and Natural Language Processing Approach for Transferring and Receiving an Authentic English Text Via Internet
Statistical Cipher Feedback of Stream Ciphers
Hyperion - Next-Generation Battlespace Information Services
Discrete Approximation in the L 1 Norm
An Efficient Graph Query Framework with Structural Recursion
Federated Learning Communication-Efficiency Framework via Corset Construction
A General Blockchain-Based Automatic Audit Scheme For Proofs Of Retrievability
A New Steganography Method Using Integer Wavelet Transform and Least Significant Bit Substitution
The Possible Impact of Minicomputers and Microprocessors on Mainframe Computer Manufacturers
Automatic Generation of Payroll Programs
Weighed query-specific distance and hybrid NARX neural network for video object retrieval
A Simple Program for Use in the "Conversational Mode"
Note on the Integrals of Products of Associated Legendre Functions
DHCL-BR: Dual Hypergraph Contrastive Learning for Bundle Recommendation
A generalised compactifying garbage collector
Link Residual Closeness of Graphs with Fixed Parameters
Fitting Data to Nonlinear Functions with Uncertainties in all Measurement Variables
New Integral Distinguishers On Permutation Of Whirlpool
Integrating Security with Fault-Tolerant Distributed Databases
Certificateless Broadcast Encryption with Authorization Suitable for Storing Personal Health Records
On Safety and Security Requirements in Emerging Ubiquitous Computing Models
Data Collection and Transmission
Simulation Studies of Data Communication Networks Operating in Datagram Mode
A programmer's utility filing system
A Well-informed Approach to Distributed Task Assignment
Branch-Coverage Testability Transformation for Unstructured Programs
A Layer-2 Framework for Interconnecting Ad Hoc Networks to Fixed Internet: Test-bed Implementation and Experimental Evaluation
SocLaKE: Social Latent Knowledge Explorator
Necessary Conditions for a Minimax Approximation
Atomic Hypermedia
On the Design of a Machine-Independent Perfect Hashing Scheme
Multiple Blind Signature for e-Voting and e-Cash
Novel Smooth Hash Proof Systems Based on Lattices
Optimal Drivers for the 'Random' Iteration Algorithm
Concurrency: Simple Concepts and Powerful Tools
Dual-feature adaptive framework for multimodal disinformation detection
A Hybrid-Convolution Spatial-Temporal Recurrent Network For Traffic Flow Prediction
Regression-Based Self-Tuning Modeling of Smooth User-Defined Function Costs for an Object-Relational Database Management System Query Optimizer
Robust Image Hashing With Saliency Map And Sparse Model
Review: Beowulf Cluster Computing with Linux, Second Edition
Automatic Specilisation of Standard Designs
An Efficient Lossless Compression Algorithm for Tiny Nodes of Monitoring Wireless Sensor Networks
Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles
Hypothesis Selection and Testing by the MDL Principle
Estimation of Errors of Gauss-Chebyshev Quadratures
Estimation of the truncation error in Runge-Kutta and allied processes
Privacy and Security for Multimedia Content shared on OSNs: Issues and Countermeasures
The Stability of Predictor-Corrector Methods
Individualized Time-Series Segmentation for Mining Mobile Phone User Behavior
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organization
On Equivalence of Cascade Connections of Two Nonlinear Feedback Shift Registers
A Comparison of JSD and DFD as Descriptive Tools
An Efficient Construction Algorithm for a Class of Implicit Double-Ended Priority Queues
Pipelined Decision Trees for Online Traffic Classification on FPGAs
CWOA: Hybrid Approach for Task Scheduling in Cloud Environment
A secure fault detection for digital microfluidic biochips
On the Generation of the Pseudo-Remainder in Polynomial Division
Rational Interpolation and Extrapolation for SUMT
Further Study of a Stack-Length Model
Practical Perfect Hashing
Modeling DNA/RNA Strings Using Resistor - Capacitor (RC) Ladder Networks
LAM: Scrutinizing Leading APIs For Detecting Suspicious Call Sequences
p -Adic Modelling of the Genome and the Genetic Code
Autodescriptivity: Beware!
Book Review: Modern Control Theory, by J. T. Tou, 1964; 427 pages
Enabling Smart City With Intelligent Congestion Control Using Hops With a Hybrid Computational Approach
Eliminating Null Rules in Linear Time
Indistinguishable Leakage-Resilient Circuit Compiler
Proving Properties of Programs by Structural Induction
Solving Rummikub Problems by Integer Linear Programming
An Improved Seed Point Selection-Based Unsupervised Color Clustering for Content-Based Image Retrieval Application
Vulcan: A Modified Viewdata System with Improved Indexing and Formal Hierarchy Definition Language
LR algorithm with Laguerre shift for symmetric tridiagonal matrices
Nondeterminism with Referential Transparency in Functional Programming Languages
Modelling and Managing Time in Database Systems
Optimal Distributed Auction for Mobile Crowd Sensing
A FORTRAN Interface to the CODASYL Database Task Group Specifications
Data Transmission and the New Outlook for the Computer Field
Signposting in Documents
An optimized hardware implementation of SHA-256 round computation
A Cloud-Distributed GPU Architecture for Pattern Identification in Segmented Detectors Big-Data Surveys
An Approximation Algorithm for Space-Optimal Encoding of a Text
The deferred approach to the limit in ordinary differential equations
Secure and Robust DV-Hop Localization Based on the Vector Refinement Feedback Method for Wireless Sensor Networks
A Method for Speeding up Serial Processing in Dataflow Computers by Means of a Program Counter
Systematic Composition of Distributed Objects: Processes and Sessions
Inverting Dirichlet Tessellations
A Probabilistic Model for Information and Sensor Validation
Trees, Forests and Rearranging
Comparing the Service Component Architecture and Fractal Component Model
Adaptive and Optimal Parallel Algorithms for Enumerating Permutations and Combinations
Sequential Diagnosis with Asymmetrical Tests
Mean Error Rate Weighted Online Boosting Method
Line Tracking for Incremental Plotters
Algebraic inference of pattern similarity
A Novel Image Thresholding Method Combining Entropy With Parzen Window Estimation
The Cyclic Towers of Hanoi: An Iterative Solution Produced by Transformation
Review: Book review: Computers in research
BSP-style Computation: a Semantic Investigation
Information Propagation and Public Opinion Evolution Model Based on Artificial Neural Network in Online Social Network
A Hierarchical Protocol for Decentralising Information Dissemination in Distributed Systems
A Comprehensive Review of Brain Tumour Detection Mechanisms
On the Use of Graph Grammers for the Control of a Distributed Software Allocation
Translating Pascal for Execution on a Prolog-Based System
Leakage-free ID-Based Signature, Revisited
Efficient Query-Based Data Collection for Mobile Wireless Monitoring Applications