yusuke1997/dblp-id-title huggingface dataset:
Design and Evaluation of a Low-Latency Checkpointing Scheme for Mobile Computing Systems
An Introduction to ALGOL 60
Finding the Shortest Route between Two Points in a Network
Nimbus 4 SCR Data Handling
Machine Learning Model for Multi-View Visualization of Medical Images
STPCH: strongly traceable policy-based chameleon hash for blockchain rewriting
Experiences from Implementation and Evaluation of Event Processing and Distribution of Notifications in an Object Monitoring Service
Two-Dimensional Cellular Automata: Properties and Applications of a New VLSI Architecture
Efficient Revocable Certificateless Encryption Secure in the Standard Model
Dynamic On-Chip Thermal Optimization for Three-Dimensional Networks-On-Chip
Conversion between Analogue and Digital Measures
Age-Group Estimation Using Feature and Decision Level Fusion
Deriving homing sequences for Finite State Machines with timeouts
The Evaluation of Definite Integrals Using High-Order Formulae
An Adaptive GA - PSO Approach with Gene Clustering to Infer S-system Models of Gene Regulatory Networks
Estimate of the maximum error in best polynomial approximations
On the Complexity of Quantifier Elimination: the Structural Approach
Masked Interval Routing: A New Routing Scheme
Global Constraints in Distributed Constraint Satisfaction and Optimization
Variable Elimination in Linear Constraints
Logic Design of a Fast Circuit for Iterative Additions in Redundant Hybrid
Rectangular Point Location in d Dimensions with Applications
Incomplete Information and the Functional Data Model
Threshold Homomorphic Encryption From Provably Secure NTRU
Weighted twin support vector machine with rescaled hinge loss
Generating Sample Relational Databases on Small Machines
Modeling and Approximating the Visit of a Set of Sites With a Fleet of UAVs
An AES-Like Cipher and Its White-Box Implementation
Alternating Direction Methods for Parabolic Equations in Three Space Dimensions with Mixed Derivatives
Reversing is Not Inherent in Lexiocographical Permutation Generation
Making the Grid Predictable through Reservations and Performance Modelling
Reducing FSM-Based Test Suites with Guaranteed Fault Coverage
Editorial Board - Corrigendum
Simplified High Level Parallelism Expression on Heterogeneous Systems through Data Partition Pattern Description
Querying Tenuous Group in Attributed Networks
An Abstract Interface for System Software on Large-Scale Clusters
Hybrid-based Deep Belief Network Model for Cement Compressive Strength Prediction
An Empirical Investigation of the Impact of Server Virtualization on Energy Efficiency for Green Data Center
TLS: A Tabu Search Based Scheduling Algorithm for Behavioral Synthesis of Functional Pipelines
A New Coding Algorithm for TreesVladimir B. Balakirsky
Discriminative Subspace Learning With Adaptive Graph Regularization
Security analysis of the MAP-T IPv6 transition technology
Problems of Life Assurance data processing
A Method for the Reduction of Empirical Multi-Variable Functions
Optimising Disc Head Movements in Secondary Key Retrievals
An Agent-Based Distributed Coordination Mechanism for Wireless Visual Sensor Nodes Using Dynamic Programming
Arbitrary Code Injection through Self-propagating Worms in Von Neumann Architecture Devices
On the Automatic Numerical Evaluation of Definite Integrals
Book Review: Programming, Games and Transportation Networks, by Claude Berge and A. Ghouila-Houri, 1965; 248 pages
An Interleaving Algorithm
BLRL: Accurate and Efficient Warmup for Sampled Processor Simulation
The Evolution of Computation
Algorithms on Permutation Trees
Translation to and from Polish Notation
Coordinated Intelligent Power Management and the Heterogeneous Sensing Coverage Problem
The Measurement of Locality and the Behaviour of Programs
Concurrent Interconnect for Parallel Systems
Achieving Small-World Properties using Bio-Inspired Techniques in Wireless Networks
Tolerance to Inaccuracy in Computer Programs
A One-Step Method for the Numerical Integration of the Differential Equation y″ = f(x)y + g(x)
Free Store Distribution Under Random Fit Allocation: Part 2
Explaining the Behaviour of Binary Search Trees Under Prolonged Updates: A Model and Simulations
A Software Base For Environmental Studies
The Worst Case Permutation for Median-of-Three Quicksort
The realization of ALGOL procedures and designational expressions
A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels
Approaches to Conversational FORTRAN
Privacy-Preserving Data Publication with Features of Independent ℓ-Diversity
Tokyo-Edinburgh Dialogue on Robots in Artificial Intelligence Research
Efficient Utilization of SIMD Engines for General-Purpose Processors
Image sentiment analysis based on distillation and sentiment region localization network
Safe Browsing in a Strongly Typed Persistent Environment
Index Structuring in Inverted Data Bases by TRIES
On Unconditional ϵ-Security of Private Key Encryption
MNVPCS: Multinode Virtual-Point-Based Charging Scheme to Prolong the Lifetime of Wireless Rechargeable Sensor Networks
Drawing Ellipses, Hyperbolas or Parabolas with a Fixed Number of Points and Maximum Inscribed Area
Real-Time Topic Detection with Dynamic Windows
Implementations of the CSP Notation for Concurrent Systems
A facility for real-time program development
New Strategies To Improve Differential-Linear Attacks With Applications To Chaskey
Multilevel Analysis to Detect Covert Social Botnet in Multimedia Social Networks
Discussion on Kolmogorov Complexity and Statistical Analysis
Gathering Over Heterogeneous Meeting Nodes
Automatic Detection of Autism in Young Children Using Weighted Logarithmic Transformed Data with Optimized Deep Learning
An Information Protection Scheme Based Upon Number Theory
The Generalized Three-Connectivity of Two Kinds of Cayley Graphs
Voting in Multi-Agent Systems
Incremental Determinization of Expanding Automata
Multilingual knowledge graph completion based on structural features
Acceptance trials for a real time system
A Novel Collaboration Paradigm for Reducing Energy Consumption and Carbon Dioxide Emissions in Data Centres
IPv6 Security Issues in Cooperative Intelligent Transportation Systems
A Smart Contract-Based Access Control Framework For Smart Healthcare Systems
On Structuring Cooperative and Competitive Concurrent Systems
File design fallacies
Semantic Analysis of Field Sports Video using a Petri-Net of Audio-Visual Concepts
Audit Test Packs and Computer Audit Programs
Redundancy-Aware and Budget-Feasible Incentive Mechanism in Crowd Sensing
Efficient Stochastic Source Coding and an Application to a Bayesian Network Source Model
The Segment-Page Indexing Method for Large Multidimensional Queries
Are There New Models of Computation? Reply to Wegner and Eberbach
Use of Modern Processors in Safety-Critical Applications
Survivability Modeling and Analysis of Cloud Service in Distributed Data Centers
An Analytic Model for Performance Analysis of Concurrency Control Strategies in Mobile Environments
Heuristics for the Maximum 2-Layer RAC Subgraph Problem
Strong Anonymous Communication System Based on Segment Routing Over SDN
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems
Revocable and Decentralized Attribute-Based Encryption
Book Review: Optimisation in Control and Practice, by I. Gumowski and C. Mira, 1968; 242 pages
A Class of Contracting Stream Operators
Secure multi-party shuffling with optimal communication
Control Systems on Automata and Grammars
Transparency-Orientated Encoding Strategies for Voice-over-IP Steganography
Constructing Programs as Executable Attribute Grammars
Verifiable attribute-based multi-keyword ranked search scheme in blockchain
Algorithms, Protocols and Future Applications of Wireless Sensor Networks
Probability-based Fault-tolerant Routing in Hypercubes
Special Issue Editorial: Parallel Processing
Arming text-based gender inference with partition membership filtering and feature selection for online social network users
Fast Distributed Near-Optimum Assignment of Assets to Tasks
A Family of Gradient Methods for Optimization
Single-Point And Triple-Point Queries Visibility Constrained Minimum Link Paths In Simple Polygons
Dynamic Resource Allocation and Supervision with the Programming Language MODULA
Effect of a Binary Symmetric Channel on the Synchronisations Recovery of Variable Length Codes
A Rational Iteration Function for Solving Equations
User-Experience-Oriented Fuzzy Logic Controller for Adaptive Streaming
Improving the Reliability of the Operating System Inside a VM
Constraints for Safe Partition Testing Strategies
Concurrency Control Using Timestamp Ordering in Broadcast Environments
Interactive Temporal Behaviours and Modelling for Multimedia Presentations in te WWW Environment
AKGF: Automatic Kernel Generation for DNN on CPU-FPGA
The Component Diagnosability of Hypercubes with Large-Scale Faulty Nodes
David Wheeler: A Personal Memoir
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants
SFP: Statistical Filtering Policy for Caching in Content-Centric Networking
The Standard EMAS Subsystem
An Efficient Heuristic Subtraction Deployment Strategy to Guarantee Quality of Event Detection for WSNs
Attribute-Based Information Flow Control
Report on the Elliott ALGOL Translator
Analytical Honeycomb Geometry for Raster and Volume Graphics
Hamiltonian Properties of DCell Networks
MAPBFT: multilevel adaptive PBFT algorithm based on discourse and reputation models
Complexity Control in Logic-Based Programming
A Packing Problem Approach to Lightpath Assignment in an Optical Ring
Dragonfly Political Optimizer Algorithm-Based Rider Deep Long Short-Term Memory for Soil Moisture and Heat Level Prediction in IoT
Prolog in Practical Compiler Writing
Algebraic Optimisation of NAND-NOR Switching Circuits
LEO and its Applications: The Beginning of Business Computing
A Formal Basis for Removing Goto Statements
Allocation Algorithms for Dynamically Microprogrammable Multiprocessor Systems
SPAW-SMOTE: Space Partitioning Adaptive Weighted Synthetic Minority Oversampling Technique For Imbalanced Data Set Learning
Eventually Strong Failure Detector with Unknown Membership
Extracting and Displaying Temporal and Geospatial Entities from Articles on Historical Events
Similarity and Dissimilarity Methods for Processing Chemical Structure Databases
Reuse Detector: Improving the Management of STT-RAM SLLCs
Aggregate Profile Clustering for Streaming Analytics
On the Minimality of Stream X-machines
A Utilization-Based Schedulability Test of Real-Time Systems Running on a Multiprocessor Virtual Machine
Do-it-yourself software experience
Co-Relationships, Levels of Significance, and the Source of the Connection Trap in Relational Databases
Layered Architecture for Real-Time Sign Recognition
Parallel Algorithms for the Iterative Solution to Linear Systems
Some Lessons Drawn from the History of the Binary Search Algorithm
A Note on the Evaluation of Trigonometric Series
LUISA: Decoupling the Frequency Model From the Context Model in Prediction-Based Compression
Book Review: Mathematics and Computer Science in Biology and Medicine, edited by the Medical Research Council, 1965; 311 pages
Notice: Newsletter for Numerical Analysts
Correction to: Intelligent Forecast of Stock Markets to Handle COVID-19 Economic Crisis by Modified Generative Adversarial Networks
Knowledge Acquisition from Technical Texts Using Attribute Grammars
A Semantic Comparison of Fusion and Syntropy
Special Issue on Adversarial AI to IoT Security and Privacy Protection: Attacks and Defenses
Correction to: Adaptive Laplacian Support Vector Machine for Semi-supervised Learning
A Note on the DMC Data Compression Scheme
Book Review: Reliable computation in the presence of noise, by S. Winograd and J. D. Cowan, 1964; 96 pages
The Problem of Lock by Value in Large Data Bases
Systematics - a Non-Programming Language for Designing and Specifying Commercial Systems for Computers
Password Capabilities Revisited
S-DIRECT: Scalable and Dynamically Reconfigurable TCAM Architecture for High-Speed IP Lookup
Discussion: Session 1: 17 April 1962 (Morning)
Description of a Program for Solving Problems of Nonlinear Programming
Design of On-Chip Crossbar Network Topology Using Chained Edge Partitioning
Clinical Dataset Classification Using Feature Ranking And Satin Bower Bird Optimized SVMs
Exact Short Products From Truncated Multipliers
Some Proposals for the Realization of a Certain Assembly Program
A Modification to Paulson's Approximation to the Variance Ratio Distribution
A Synopsis of the Book Alan Turing and his Contemporaries: Building the World's First Computers
The EMAS Archiving Program
Reducing the Read-Miss Penalty for Flat COMA Protocols
Algorithms Based on Path Contraction Carrying Weights for Enumerating Subtrees of Tricyclic Graphs
The Conditional Reliability Evaluation of Data Center Network BCDC
Instruction Level Parallelism through Microthreading - A Scalable Approach to Chip Multiprocessors
Interval Routing
A Family of Perfect Hashing Methods
PerTiMo: A Model of Spatial Migration with Safe Access Permissions
Foreword re C. S. Wallace
Formal systems and analysis of context sensitive languages
Research on blind reversible database watermarking algorithm based on dual embedding strategy
On the Performance Merits of Bypass Channels in Hypermeshes and k -Ary n -Cubes
Automatic Retrieval of Recorded Information
The Orbits of Folded Crossed Cubes
A Novel Image Signature Method for Content Authentication
i-ProSE: Inferring User Profiles in a Scientific Context
Graph neural network based phishing account detection in Ethereum
Revisiting the Software-Efficient Stream Ciphers RCR-64 and RCR-32
A High-Speed Link Layer Architecture for Low Latency and Memory Cost Reduction
Efficiently Monitoring Reverse k -Nearest Neighbors in Spatial Networks
Fault-Tolerant Data Transfer in a Multiprocessor System by Forward and Backward Hardware Error Recovery
PHISH_ATTENTION: achieving robust phishing website detection with balanced datasets and advanced URL features
Software Development for Microcomputer Data Processing Systems
Improved Proofs Of Retrievability And Replication For Data Availability In Cloud Storage
Defense Mechanism for Malicious and Selective Forwarding Attacks in Large and Mobile Wireless Networks
Fault Diagnosis of Digital Systems - A Review
Heuristic Approaches for Transmission Scheduling in Sensor Networks with Multiple Mobile Sinks
A New Strategy for Multiple Stacks Manipulation
BRMQ: A Database Interface Facility Based on Graph Traversals and Extended Relationships on Groups of Entities
A Numerical Approach to Biharmonic Problems
Deterministic Deep Pushdown Transducer and its Parallel Version
Detecting Substitutions and Transpositions of Characters
Grand Challenges for Computing Research
Intermittent Fault Diagnosis Of Product Network Based On PMC Model
Some Remarks on the Game "Dama" which can be played on a Digital Computer
Simulink Implementation of the Data Distribution Service for Vehicular Controllers on Top of GBE and AFDX
Iterative Tree Traversal Using Refinements and Pointer Rotation
Autumnal Quadtrees
Exploring Behavioral Patterns Through Entropy in Multimedia Peer-to-Peer Traffic
MDedup++: Exploiting Temporal and Spatial Page-Sharing Behaviors for Memory Deduplication Enhancement
An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm
Experiments on the Mechanization of Game-Learning Part I. Characterization of the Model and its parameters
Process Algebra with Iteration and Nesting
Key Reuse Attacks on Post-quantum Cryptosystems, Revisited
A Compaction Procedure for Variable-Length Storage Elements
Benchmarking Energy Efficiency, Power Costs and Carbon Emissions on Heterogeneous Systems
The Computer Journal - Honorary Editors
Open Source Software Reliability Model with the Decreasing Trend of Fault Detection Rate
A Basic Approach to Pattern Recognition
Fault-Tolerant Strongly Hamiltonian Laceability and Hyper-Hamiltonian Laceability of Cayley Graphs Generated by Transposition Trees
Video Hashing with Tensor Robust PCA and Histogram of Optical Flow for Copy Detection
The utilisation of graphic display units as the main form of computer input
Use of Case Studies in Teaching Data Processing
Probabilistic Branching in Markovian Process Algebras
Path-Rank-Based Data Chunk Scheduling for Concurrent Multipath Transmission
MU6P: An Advanced Microprocessor Architecure
Non-Malleable Zero-Knowledge Arguments with Lower Round Complexity
A New Approach for Resource Recommendation in the Fog-Based IoT Using a Hybrid Algorithm
Region Management by Finite-State Robots
Robust Object Detection and Localization Using Semantic Segmentation Network
A Program for Solving Word Sum Puzzles
A Note on Compacting Garbage Collection
Early Experiences with an E.D.P. System
A Modelling Approach for Handling Business Rules and Exceptions
Right-to Left Code Generation for Arithmetic Expressions
Efficient Algorithms for Integer Division by Constants Using Multiplication
A Note on Assignment Problems
Artificial Societies in a Community-Based Approach to Ambient Intelligence
Improving Hit Ratio of ILP-based Concept Discovery System with Memoization
The Proposed COBOL Standard - Its Significance
Trends in High Performance Computing
Synthesis and Structural Analysis of Abstract Programs
A Recursive Algorithm for Determining the Eigenvalues of a Quindiagonal Matrix
A Fair and Secure Bandwidth Allocation for AMI Mesh Network in Smart Grid
PAPR Reduction in OFDM via Active Constellation Extension-Projection Onto Convex Sets Combined with Particle Swarm Optimization
Self-Adjusting Mapping: A Heuristic Mapping Algorithm for Mapping Parallel Programs on to Transputer Networks
Some Theoretical and Computational Matters Relating to Predictor-corrector Methods of Numerical Integration
Event-Driven High-Priority First Data Scheduling Scheme for P2P VoD Streaming
A Program for Numerical Classification
System and Program Models of Storage Allocation for Reducing Seek Delay
Two-Level Grammar as a Functional Programming Language
A Multi-Machine Order Scheduling with Learning Using the Genetic Algorithm and Particle Swarm Optimization
An Estimate of Seek Time for Batched Searching of Random or Index Sequential Structured Files
Free Store Distribution Under Random Fit Allocation: Part 1
Editorial: On the Security of the First Leakage-Free Certificateless Signcryption Scheme
Attribute and Global Boosting: A Rating Prediction Method in Context-Aware Recommendation
A Denial of Service Detector based on Maximum Likelihood Detection and the Random Neural Network
Linear and Extended Linear Transformations for Shared-Memory Multiprocessors
Diagnosing Workflow Processes using Woflan
Cyberworld Security-the Good, the Bad and the Ugly*
Distributed Caching and Broadcast in a Wireless Mobile Computing Environment
Exact Analyses of a Simple Heuristic Employed in Array Compression
Bit Energy Consumption Minimization for Multi-path Routing in Ad Hoc Networks
A Key Escrow Scheme with Time-Limited Monitoring for One-way Communication Masayuki Abe and Masayuki Kanda
Use of Large Computers at a Distance
The Other Turing Machine
Context-Adaptive Coordination of Pervasive Services by Interpreting Models during Runtime
Householder's Method for the Solution of the Algebraic Eigenproblem
An Efficient Algorithm for Approximate Betweenness Centrality Computation
COVID-19 virus mutation prediction with LSTM and attention mechanisms
One Man's Meat: Part 2 - Now Let's Pretend
On the Meaning of Safety and Security
Super-Resolution in Medical Imaging
The MU5 instruction pipeline
Permutation Backtracking in Lexicographic Order
Simulation of Real-Time Program Faults
Phrase-Structure Grammars: Normal Forms and Reduction
Algorithmic Government: Automating Public Services and Supporting Civil Servants in using Data Science Technologies
A Novel Hybrid UE Selection Scheme for Efficient Data Offloading Using D2D Communication
Computing in British Universities: The Computer Board 1966-1991
Themes and Trends in Information Systems: TC8, 1975-1985
An Algorithm for Minimax Approximation in the Nonlinear Case
Mining Latent User Community for Tag-Based and Content-Based Search in Social Media
The logic of Boolean matrices
Overfull: Too Large Aggregate Signatures Based on Lattices
An Efficient Algorithm Which Determines the Output from a Sequential Machine for Regular Inputs
Weighting Without Waiting: The Weighted Path Length Tree
Program Analysis Probably Counts: Discussant Contribution for the Computer Journal Lecture by Chris Hankin
An Experimental Testbed for Numerical Software, Part 2: ALGOL 68
The Dynamics of Paging
Algorithmic Complexity and Stochastic Properties of Finite Binary Sequences
An Efficient Skip-Search Approach to Swap Matching
On the Security of Secure Server-Designation Public Key Encryption with Keyword Search
Dynamic debugging in BASIC
Node-edge hybrid diagnosability and conditional node-edge hybrid diagnosability under the HPMC* model
Analysis of Probabilistic Error Checking Procedures on Storage Systems
DeepDetect: Detection of Distributed Denial of Service Attacks Using Deep Learning
Image Zooming Using a Multi-layer Neural Network
Large-Scale Programing Code Dissemination for Software-Defined Wireless Networks
BlackjackBench: Portable Hardware Characterization with Automated Results' Analysis
Cluster-Based MAC Protocol for Collision Avoidance and TDMA Scheduling in Underwater Wireless Sensor Networks
Notice: Future publication of Algorithms Supplement
A Novel Generation Method for Diverse Privacy Image Based on Machine Learning
The Mechanical Transformation of Data Types
The Numerical Solution of Sequential Decision Problems Involving Parabolic Equations with Moving Boundaries
Symposium on Experiences with the Use of Magnetic Tape - 1: Magnetic Tapes on a Ferranti Pegasus
Optimal selection of software reliability growth model for open-source software using weighted Grey relational analysis method
Extended Control and Simulation Language
On 2-Interval Pairwise Compatibility Properties of Two Classes of Grid Graphs
RSD Fault Block Model for Highly Efficient Fault-Tolerant Manhattan Routing Algorithms in 2D Mesh
Multi-Query Augmentation-Based Web Landmark Photo Retrieval
The List Processing Language, SLPL - An Informal Outline
Private Set Operations Over Encrypted Cloud Dataset and Applications
Balancing Traffic Load for Multi-Node Multicast in a Wormhole 2-D Torus/Mesh
Real time languages for process control
An Improved Lattice-Based Ring Signature With Unclaimable Anonymity in the Standard Model
Unravelling Unstructured Programs
Cost-driven provisioning and execution of a computing-intensive service on the Amazon EC2
MILP-based automatic search algorithms for differential-linear distinguishers
A (Zero-Knowledge) Vector Commitment with Sum Binding and its Applications
Revisiting Assumptions in Backoff Process Modeling and Queueing Analysis of Wireless Local Area Networks (WLANs)
Recursive Relationships and Natural Quantifier Set Theoretic Expression Techniques
Christopher S. Wallace Statistical and Inductive Inference by Minimum Message Length. Springer (2005), ISBN 038723795X 432 pp, Hardbound
Continuity Conditions for Spline Curves
A Novel Representation and Prediction Initiative for Underground Water by Using Deep Learning Technique of Remote Sensing Images
A Note on Generating Well-Formed Parenthesis Strings Lexicographically
Efficient Privacy-Preserving Data Sanitization over Cloud Using Optimal GSA Algorithm
Trust-Based Secure Routing in Mobile Ad Hoc Network Using Hybrid Optimization Algorithm
A novel curriculum learning framework for multi-label emotion classification
SLA-Based Time-Aware Provisioning Mechanisms in Shared Mesh Protected Optical Networks
Formal Specification - A Comparison of Two Techniques
A Language Enhancement Facility for COBOL - its Design and Implementation
Using Data Base Abstractions for Logical Design
Standards for Structured Documents
Identity-Based Broadcast Encryption for Inner Products
ECLAIR: An Extensible Class Library for Information Retrieval
An Algorithm for Approximating Convex Functions by Means of First Degree Splines
Partial-Match Retrieval in an Index Sequential Directory