yusuke1997/dblp-id-title huggingface dataset:
The Numerical Solution of the Heat Conduction Equation Subject to Separated Boundary Conditions
A Neural Network Simulating System
A Reduced Markov Model for the Performance Analysis of Data Structure Servers with Periodic Maintenance
The Construction of Hierarchic and Non-Hierarchic Classifications
Selectively Convertible Authenticated Encryption in the Random Oracle Model
An Efficient Memory Management Algorithm for Client-Server Database Management Systems
Scheduling Services in a Queuing System with Impatience and Setup Costs
An Analytical Model for the Performance of the DOCSIS CATV Network
On Computing Component (Edge) Connectivities of Balanced Hypercubes
Karen Spärck Jones (1935-2007): Professor (emeritus) of Computers and Information, University of Cambridge
A General Fourier Synthesis Program for the London University Atlas Computer
Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China
On Designing Resilient Location-Privacy Obfuscators
The Views of the Data Transmission Committee
Tourists' Digital Footprint: Prediction Method of Tourism Consumption Decision Preference
Information, Human Activity and the Nature of Relevant Theories
Systems Analysis Problems Encountered During a Large Computer Application
Short Signatures with a Tighter Security Reduction Without Random Oracles
Tuning to Service Standards Without Monitors
Chinese RoBERTa Distillation For Emotion Classification
Improved Integral Distinguishers on Compression Function of GOST R Hash Function
Book Review: Perspectives in programming, edited by R. T. Filep, 1963; 324 pages
Computers and Process Plant
Systematic Generation of Ordered Sequences Using Recurrence Relations
Use of data Mining in Identifying the risk factors of optic neuropathy
On the Security of LWE Cryptosystem against Subversion Attacks
A Dynamic Disc Allocation Algorithm Designed to Reduce Fragmentation During File Reloading
Clustering Related Tuples in Databases
Computing the State of the Economy
On Algorithms for Enumerating Subtrees of Hexagonal and Phenylene Chains
A Note on the Expected Behaviour of Binary Tree Traversals
Cryptanalysis of A Pairing-Free Certificateless Signcryption Scheme
A Novel CMA+DD_LMS Blind Equalization Algorithm for Underwater Acoustic Communication
Structure Fault-Tolerance of the Generalized Hypercube
Anomaly Metrics on Class Variations For Face Anti-Spoofing
Improved Matrix Product Computation Using Double-Pipeline Systolic Arrays
Note on a method of forming a sorting key for a partly ordered list, and an application
Traffic Density Prediction with Time-Related Data Mining using Genetic Network Programming
Some Computational Notes on the Shortest Route Problem
High Accuracy Difference Formulae for the Numerical Solution of the Heat Conduction Equation
Macro Processors for Enhancing High-Level Languages - Some Design Principles
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets
Compression and Approximate Matching
SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language (Short Note)
Real-Time On-Demand Motion Video Change Detection in the Sensor Web Environment
The MP1 Network Chip and its Application to Parallel Computers
Research on Reliability of DPCell structure
Guess-and-Determine Attacks on AEGIS
SYSTEMATICS: Its Syntax and Semantics as a Query Language (1)
Numerically Representing Stochastic Process Algebra Models
TinyThunder: enabling asynchronous Byzantine fault tolerance with optimal communication efficiency
RNS-Based Elliptic Curve Point Multiplication for Massive Parallel Architectures
The Diagnosability of Interconnection Networks with Missing Edges and Broken-Down Nodes Under the PMC and MM* Models
A Survey of Microprogram Verification and Validation Methods
A New Intrusion Detection System Using the Improved Dendritic Cell Algorithm
Empirical Analysis of a Moving Head Disc Model with two Heads Separated by a Fixed Number of Tracks
The Boole Lecture Quantum Information: A Glimpse at the Strange and Intriguing Future of Information
SAR: A Social-Aware Route Recommendation System for Intelligent Transportation
A Method to Find Functional Dependencies Through Refutations and Duality of Hypergraphs
A Two-Step Secure Localization for Wireless Sensor Networks
Crossword Compilation with Horn Clauses
An Adaptively Secure Functional Encryption for Randomized Functions
A Dialogue Development System for the Design and Implementation of User Interfaces in Ada
A Blockchain-Based Public Key Infrastructure For IoT-Based Healthcare Systems
Scalable Misinformation Mitigation in Social Networks Using Reverse Sampling
Virtual Infrastructure Design for Surviving Physical Link Failures
Performance Measurements on a 39 km Extended Ethernet
WIRED for Innovation: How Information Technology is Reshaping the Economy
A Study of a Multi-Agent Organizational Framework with Virtual Machine Clusters as the Unit of Granularity in Cloud Computing
RGB, a Mixed Multivariate Signature Scheme
Letters to the Editor: Some Computational Notes on the Shortest Route Problem
A Machine Learning Approach for Identification of Malignant Mesothelioma Etiological Factors in an Imbalanced Dataset
Taxonomy for Trust Models in Cloud Computing
An Evaluation of Precompilation and Interpretation in Distributed Database Management Systems
The Structure Function and Distinguishable Models of Data
Tracy-Singh Product and Genetic Whale Optimization Algorithm for Retrievable Data Perturbation for Privacy Preserved Data Publishing in Cloud Computing
An Ideographic Language Front end Processor for Accessing English Language Computer Systems
Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
CLIP-based semantic refinement method for image-text retrieval
Generic Text Summarization for Turkish
Lexicographic Listing and Ranking of t-Ary Trees
A Novel Approach For CT-Based COVID-19 Classification and Lesion Segmentation Based On Deep Learning
Extending HSI Test Generation Method for Software Product Lines
Human Resource Management and Business Success in Small, Hi-Tech Firms: Some Lessons for Data Processing
Continuous Leakage-Resilient Public-Key Encryption Scheme with CCA Security
An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes
A Study on the Evaluation of Shell's Sorting Technique
GPS-Based Replica Deletion Scheme with Anti-Packet Distribution for Vehicular Networks
High Level Form Definition in Office Information Systems
Java for On-line Distributed Monitoring of Heterogeneous Systems and Services
Improving the State Space Computation of the Time Stream Petri Nets Model
The numerical solution of non-singular integral and integro-differential equations by iteration with Chebyshev series
Guard Files: Stabbing and Intersection Queries on Fat Spatial Objects
DO cyclical : A Latency-Resistant Cyclic Multi-Threading Approach for Automatic Program Parallelization
Efficient Parameter Server Placement for Distributed Deep Learning in Edge Computing
The New Software Copyright Law
Towards Accurate Smartphone Localization Using CSI Measurements
Query Rewriting Under Ontology Change
AMPS: An Adaptive Message Push Strategy for the Energy Efficiency Optimization in Mobile Terminals
Dynamic QoS-Aware Cloud Service Selection Using Best-Worst Method and Timeslot Weighted Satisfaction Scores
A Lower Estimate of the Cumulative Truncation Error in Milne's Method
Advanced code slicing with pre-trained model fine-tuned for open-source component malware detection
Secure and Differentiated Fog-Assisted Data Access for Internet of Things
Note on Edge-Colored Graphs for Networks with Homogeneous Faults
Novel Auction Mechanism with Factor Distribution Rule for Cloud Resource Allocation
Rapidly Converging Iterative Formulae for Finding Square Roots and Their Computational Efficiencies
A Smooth Reshuffling Algorithm for Solving the Bulterman's Problem
Programming a Bounded Buffer Using the Object and Path Expression Constructs of Path Pascal
Notes on the Submission of Papers
Optimum Blocking Factors for a Mix of Sequentially Processed Jobs
Performance Analysis of a Single-File Version of Linear Hashing
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation
An Extensible Structure for Protected Systems' Design
Program Construction by Refinements Preserving Correctness
Fringe Analysis of 2-3 Trees with Lazy Parent Split
Recognizing Daily and Sports Activities in Two Open Source Machine Learning Environments Using Body-Worn Sensor Units
Identification Number Design
On the Structuring of Reliable Multicast Protocols for Distributed Mobile Systems
Salient Object Detection Based on Multiscale Segmentation and Fuzzy Broad Learning
JANUS - Reflections on DATAFAIR 69
Towards a Tool Kit for the Systems Analyst
Chebyshev Methods for Ordinary Differential Equations
The Matching Preclusion of Enhanced Hypercubes
A Weighted Voting-Based Associative Classification Algorithm
String Handling in ALGOL
A System for Measuring Function Points from an ER-DFD Specification
Software-Defined Wireless Mesh Networking: Current Status and Challenges
A Formal Analytic Approach to Credible Potential Path and Mining Algorithms for Multimedia Social Networks
Ambient and Context-Aware Services for the Future Web
A Novel Finite-Difference Approximation to the Biharmonic Operator
Improved Meet-in-the-Middle Attacks on Reduced-Round Tweakable Block Cipher Deoxys-BC
Multiplicative congruential pseudo-random number generators
A Proposed Target Language for Compilers on Atlas
The Gamma Software Engineering System
FlashFox: a secret-sharing approach to securing data deletion for Flash-based SSD
Experience with the Compiler Compiler
Reference Counting of Cyclic Graphs for Functional Programs
Red-Blue Intersection Reporting for Objects of Non-Constant Size
Robust and Simple Authentication Protocol
New Automatic Search Method for Truncated-Differential Characteristics Application to Midori, SKINNY and CRAFT
Edge-Based Congestion-Aware Datacenter Load Balancing with Smart Probing
On the Duality and File Size Hierarchy of Fractional Repetition Codes
A Predictive Video-on-Demand Bandwidth Management Using the Kalman Filter over Heterogeneous Networks
An Interactive Polynomial Approximation Algorithm
Interopera: An Efficient Cross-Chain Trading Protocol
Sequential Bayesian Prediction in the Presence of Changepoints and Faults
A Direct Method for the Solution of Large Sparse Systems of Linear Equations
Fingerprint Template Protection Using Irreversible Minutiae Tetrahedrons
Relation as text: a semantic-preserving method for relational triple extraction
A Mixed Code Approach
A Pattern-Matching Algorithm for Functional Databases
AGP: A Parallel Processor for Knowledge and Software Engineering
String Generation for Testing Regular Expressions
The solution of nonlinear ordinary differential equations in Chebyshev series
On the theory and construction of k -clusters
Height-Ratio-Balanced Trees
On Selecting the Nonce Length in Distance-Bounding Protocols
Diagnosis of Symmetric Graphs Under the BGM Model
Experience of program development with FACT
Adaptive Statistical Signatures of Network Soft-Failures in User Devices
Unifying Multiple Semantic Intentions for a Syntactic Construct
A Survey on Binary Tree Codings
Architecture and System Design for Marine Cloud Computing Assets
A realistic approach to detection test generation for combinatorial logic circuits
Standards for Non- Executable Specification Languages
Partitioning Integers in n Dimensions
A Provably Secure Construction of Certificate-Based Encryption from Certificateless Encryption
An Optimal Algorithm for Reducing Edge-Solvable Mutual Exclusion Graphs
Modular Attribute Grammars
An Information Measure for Single Link Classification
A Flexible Synonym Interface with Application Examples in CAL and Help Environments
One Man's Meat: Part I - The Uses of Adversity
Experience in the practical use of data transmission
MLS - the Titan mixed language system
The Mechanical Evaluation of Expressions
An OCCI Compliant Model for PaaS Resources Description and Provisioning
Attribute-Based Data Transfer with Filtering Scheme in Cloud Computing
A Game-based Sybil-resistant Strategy for Reputation Systems in Self-organizing MANETs
Smaller Compressed Suffix Arrays†
Asymptotic estimates for the error of the Gauss-Legendre quadrature formula
Note on the Runge-Kutta Method of Integrating Ordinary Differential Equations
An Algorithm for Automatic Construction of Class Diagrams
On the Use of Fake Sources for Source Location Privacy: Trade-Offs Between Energy and Privacy
Mean value analysis for a class of PEPA models
Bit-Parallel Algorithms for Exact Circular String Matching
A Program to Study the Effect of Random Delays on the Ability of Trains to Run to a Schedule
Improving the Mechanism of Detecting and Measuring Holes in Ad hoc Wireless Sensor Network
Watson-Crick Context-Free Grammars: Grammar Simplifications and a Parsing Algorithm
BDEA: blockchain-based secure deduplication for low-entropy data supporting public auditing
Demand-Aware NVM Capacity Management Policy for Hybrid Cache Architecture
Perlog: A Prolog With Persistence and Modules
Hints on Proofs by Recursion Induction
Alternative Scope Rules for Block-Structured Languages
Random Sampling from the Normal Distribution
The use of Roth's decomposition algorithm in multi-level design of circuits
Real-world continuous smartwatch-based user authentication
Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences
A Depth-optimal Low-complexity Distributed Wireless Multicast Algorithm
Efficient Construction of CCA-Secure Threshold PKE Based on Hashed Diffie-Hellman Assumption
Optimal Stable Merging
Temporal Object-Oriented Programming
Seek Times for Disc File Processing: Some Results from Probability Theory
To Live or Drown: When Information Systems become Critical
The Selection of ADI Iteration Parameters by Numerical Experiment for the Solution of Poisson's Equation over a Circular Area
A Predictive Visual Analytics Evaluation Approach Based on Adaptive Neuro-Fuzzy Inference System
Efficient Updates for OLAP Range Queries on Flash Memory
Programming by Numbers: A Programming Method for Novices
Fast Pattern-Matching via k -bit Filtering Based Text Decomposition
Editorial: Green Energy Management and Smart Grid
Explicit Operation Specification for Component Databases
COSMOS-7: Video-Oriented MPEG-7 Scheme for Modelling and Filtering of Semantic Content
On the Choice of Grammar and Parser for the Compact Analytical Encoding of Programs
Special Issue on Optimization in Multi-Agent Systems: Guest Editor's Introduction
Special Issue on Secure Information Systems Engineering
Query Translation Based on Hypergraph Models
Enhanced Energy-Efficient Scheduling for Parallel Tasks Using Partial Optimal Slacking
Information: Mystical Fluid or a Subject for Scientific Enquiry?
Cryptanalysis of a Compact Anonymous HIBE with Constant Size Private Keys
Design and Evaluation of a Distributed Clustering Algorithm for Mobile ad hoc Networks
BotGSL: Twitter Bot Detection with Graph Structure Learning
A Shaded-Picture Scanning Attachment for Incremental Plotters
A Comparison of Several Current Optimization Methods, and the use of Transformations in Constrained Problems
Concurrent Machines
AdSelector: A Privacy-Preserving Advertisement Selection Mechanism for Mobile Devices
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs
A Basic Approach to Remote Access
An Object-Oriented Model for Interactive Multimedia Presentations
An Error Estimation Technique for the Solution of Ordinary Differential Equations in Chebyshev Series
A Team Formation Model with Personnel Work Hours and Project Workload Quantified
Discussion: Session 2: 17 April 1962
A note on compiling arithmetic expressions
Frequent Subgraph Mining Based on Pregel
Efficient Generation of k-ary Trees in Natural Order (Short Note)
A least squares iterative method for singular equations
The Autocode Programs developed for the Manchester University Computers
Casting Ballots over Internet Connection Against Bribery and Coercion
Vulnerability Localization Based On Intermediate Code Representation and Feature Fusion
DAP-Algol: A Development System for Parallel Algorithms
The construction of examination timetables by computer
A Type-Passing Approach for the Implementation of Parametric Methods in Java
Image and Video Encryption based on Dual Space-Filling Curves
An Aid to Pattern Recognition. Part2
Public-Key Authenticated Encryption with Keyword Search: A Generic Construction and Its Quantum-Resistant Instantiation
Consideration Of The Question "What Is Computation" Considered Harmful
Lower Bounds of Differential and Linear Active S-boxes for 3D-like Structure
"An Impossible Program"
Analysis and Optimisation of Data Currency and Consistency in Replicated Distributed Databases
A Multiple-Layer Machine Learning Architecture for Improved Accuracy in Sentiment Analysis
Rewriting Systems Over Indexed Multisets
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
The Critical Grid Size and Transmission Radius for Local-Minimum-Free Grid Routing in Wireless Ad Hoc and Sensor Networks
The Case for Distributed Decision Making Systems
Record identification using variable alphanumeric names
Robust and Dynamic Graph Convolutional Network For Multi-view Data Classification
The Memory System of the Brain
Professional Pen Testing for Web Applications - Programmer to Programmer Series (P2P)
Systems Analysis Documentation: Computer-Aided Data Dictionary Definition
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
An Extended Temporal Logic for CSCW
Recognizing Algorithms Using Language Constructs, Software Metrics and Roles of Variables: An Experiment with Sorting Algorithms
The Design of Calibration Experiments for Syntheticc Jobs
Special Issue Editorial: Mobile Computing
Hybrid and Digital Computation Results in Multicomponent Distillation Simulation
Fault-Tolerant Broadcasting on the Arrangement Graph
A Resource Efficient Expectation Maximization Clustering Approach for Cloud
A Small Computer for the Direct Processing of FORTRAN Statements
Viable Architectures for High-Performance Computing
Cost-Aware Cloud Service Request Scheduling for SaaS Providers
Joint Routing and Rate Control Scheme for Multi-Stream High-Definition Video Transmission over Wireless Home Networks
Detection of Phishing Websites Based on Probabilistic Neural Networks and K-Medoids Clustering
Formal Methods and VLSI Engineering Practice
A Metric to Assess the Readability of Video Closed Captions for the Persons With Low Literacy Skills
Invited Response to Computer Journal Lecture by Prof. Jane Hillston
A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B
Crossword Compilation Using Integer Programming
Mobility and Security Aware Real-Time Task Scheduling in Fog-Cloud Computing for IoT Devices: A Fuzzy-Logic Approach
Cross-Domain Recommendation To Cold-Start Users Via Categorized Preference Transfer
Coalitional Double Auction For Ridesharing With Desired Benefit And QoE Constraints
Sequential Machines and Automata Theory
Special Issue Editorial: Other Objects, or: What is unique about Spatial Data?
Representing The Dividing Instant
Latency-Aware Sum-Rate Maximization for 5G Software-Defined Radio Access Networks
Pattern classification as interpolation in N dimensions
Detecting Affine Equivalence Of Boolean Functions And Circuit Transformation
A Mechanically Verified Verification Condition Generator
Hierarchical Directory-Based Shared Memory Architecture
Design of Reconfigurable VLSI Architecture for Hybrid Arithmetic in $GF(2^m)$
Book Review: Field Computation by Moment Methods, by Roger F. Harrington, 1968; 225 pages
On Programming and Supporting Multimedia Object Synchronisation
The Manchester University Atlas Operating System Part I: Internal Organization
Parameterized Complexity in Cognitive Modeling: Foundations, Applications and Opportunities
Numerical solution of linear differential equations and Volterra's integral equation using Lobatto quadrature formula
Enhanced IMS Handoff Mechanism for QoS Support over Heterogeneous Network
A Distributed Synchronisation Scheme for Communicating Processes
High Level Languages for Low Level Users
Retrospective Update: Data As It Was Believed To Be (Short Note)
Error Estimation in the Clenshaw-Curtis Quadrature Formula
Note on a Test for Repeating Cycles in a Pseudo-random Number Generator
Space-Time Trade-offs in the Relative Unranking of Binary Trees
Towards Comprehensive Specifications
Server-aided Revocable IBE with Identity Reuse
Pixel Prediction-Based Image Steganography by Support Vector Neural Network
Grid, Management and Self-Management
Partitioned 2D Set-Pruning Segment Trees with Compressed Buckets for Multi-Dimensional Packet Classification
Malware Family Prediction with an Awareness of Label Uncertainty
Modification of the Complex Method of Constrained Optimization
Distributed Topology Control Based on Coalition Formation Game in Wireless Networks
The Many Faces of Multics
An Algebraic Semantics of Basic Message Sequence Charts
A Heuristic Approach Towards Drawings of Graphs With High Crossing Resolution
Processing Distance Join Queries with Constraints
A Scalable Shared Queue on a Distributed Memory Machine
The Experimental Study of CODASYL Database Administration at the Secondary Storage Level
Context Model Automata for Text Compression
Series Solution of Certain Sturm-Liouville Eigenvalue Problems
An extension of binary minimisation techniques to ternary equations
An Application-Oriented Computer Approach to Inventory Control Problems Part 1: Facilities of the System
Adaptive Deadlock-Free Packet Routeing in Transputer-Based Multiprocessor Interconnection Networks
Animated cartoon design with a CRT
Addressing Mechanisms for Large Virtual Memories
Multi-Agent Architecture for Control of Heating and Cooling in a Residential Space
Squirrel Search Deer Hunting-Based Deep Recurrent Neural Network for Survival Prediction Using PAN-Cancer Gene Expression Data
Manipulating Full-Text Scientific Databases: A Logic-Based Semantico-Pragmatic Approach
Parallel Divide-and-Conquer Algorithms for Bubble Sort, Selection Sort and Insertion Sort
lambda_SAOP: A Security AOP Calculus
Applications of Redundant Number Representations to Decimal Arithmetic
Computers and the Small Firm: 2
A Real-Time Self-Adaptive Classifier for Identifying Suspicious Bidders in Online Auctions
A doubly-adaptive Clenshaw-Curtis quadrature method
An Automatic System for File Compression
Development, Analysis and Evaluation of Performance Models for Mobile Multi-Agent Networks
A Method for Curve Seeking from Scattered Points
Achieving Non-Repudiation of Receipt
A Framework for Mobile Multicast Using Dynamic Route Reconstructions
On Parameterized Intractability: Hardness and Completeness
A Necessary and Sufficient Condition for a Power Language to be LL(k)
Row, Row, Row Your Boat: How to Not Find Weak Keys in Pilsung
Book Review: Management Standards for Data Processing, by Dick H. Brandon, 1963; 404 pages
A hybrid approach to task offloading optimization: integrating hybrid whale genetic algorithm and reinforcement learning
Secure and Efficient Attribute-Based Encryption with Keyword Search
Wrapper-Enabled Feature Selection and CPLM-Based NARX Model for Stock Market Prediction
A Forward-Backward Algorithm for Nested Hidden semi-Markov Model and Application to Network Traffic
Correction to: An Attack on a Proposed Construction of Small-State Stream Ciphers and Proposals for New Constructions
A Cognitive Approach to Road Recognition with Novel Feature Indicators
A Query Language for Retrieving Information from Hierarchic Text Structures
Software Constraints for Large Application Systems
An Opinion Spread Prediction Model With Twitter Emotion Analysis During Algeria's Hirak
Review: Book review
Two New Techniques for Computing Extremal h-bases A k
Sentiment Classification Using Two Effective Optimization Methods Derived From The Artificial Bee Colony Optimization And Imperialist Competitive Algorithm