yusuke1997/dblp-id-title huggingface dataset:
Discussion of the Papers by Rissanen, and by Wallace and Dowe
General Constructions of Rational Secret Sharing with Expected Constant-Round Reconstruction
The Effect of Parameters on the Roots of an Equation System
The extrapolated modified Aitken iteration method applied to σ1-ordered systems of linear equations
Performance Evaluation of Data-Intensive Computing Applications on a Public IaaS Cloud
Validating the AMULET Microprocessors
Deep Learning Model for Tamil Part-of-Speech Tagging
A Computer Program for Banking Multiple Choice Questions
Resolving Executing-Committing Conflicts in Distributed Real-time Database Systems
Joining Formal Concept Analysis to Feature Extraction for Data Pruning in Cloud of Things
Towards FORTRAN VI?
Mini-COBOL
Subgraph Reliability of Alternating Group Graph With Uniform and Nonuniform Vertex Fault-Free Probabilities
Interfacing Eiffel and PCTE
Reusable Group Fuzzy Extractor and Group-Shared Bitcoin Wallet
On Software-Defined Wireless Network (SDWN) Network Virtualization: Challenges and Open Issues
Reusing Garbage Data for Efficient Workflow Computation
Notice to Members of The British Computer Society
An Algorithm for Constructing University Timetables
Context-based Lossless Image Compression
Practical Blockchain-Based Steganographic Communication Via Adversarial AI: A Case Study In Bitcoin
On the Use of Fast Methods for Solving Boundary Value Problems
Modeling ODP Computational Specifications Using UML
Book Review: Mathematical Theory of Switching Circuits and Automata, by Sze-Tzen Hu, 1968; 253 pages
A System For Storing Anonymous Patient Healthcare Data Using Blockchain And Its Applications
A Cellular Automata Based Reconfigurable Architecture for Hybrid Cryptosystems
On the Acceleration of Wavefront Applications using Distributed Many-Core Architectures
A Cotton Disease Diagnosis Method Using a Combined Algorithm of Case-Based Reasoning and Fuzzy Logic
Examinations by Computer
Pancyclic And Hamiltonian Properties Of Dragonfly Networks
Fog-assisted Energy Efficient Cyber Physical System for Panic-based Evacuation during Disasters
An Approach to Handling Incomplete Information in Databases
The Conditional Distribution of Waiting Time Given Queue Length in a Computer System
An Experiment in Clock Synchronisation
The Application of Legibility Techniques to Enhance Information Visualizations
Hitting Times of Random Walks on Edge Corona Product Graphs
Efficient Implementation of a Class of Recursively Defined Functions
Blocking Sequentially Processed Magnetic Files
'Advertisements or adverse-tisements?' - An accessibility barrier for persons with visual impairments
Performance Improvement Of Pre-trained Convolutional Neural Networks For Action Recognition
A Method for Controlling the Production of Specifications in Natural Language
Task Allocation and Optimization of Distributed Embedded Systems with Simulated Annealing and Geometric Programming
mvSERS : A Secure Emergency Response Solution for Mobile Healthcare in Vehicular Environments
Thematic editorial: edge computing, fog computing, and internet of things
Grammar-Oriented Enumeration of Binary Trees
A Generalised Normal Form Theorem for Context-Free Grammars
Automatic Contouring from Scattered Data Points
A Data Structure for Family Relations
A Hess-Like Signature Scheme Based on Implicit and Explicit Certificates
Official Arbitration with Secure Cloud Storage Application
Book Review: Computer Approximations, by J. F. Hart, E. W. Cheney, C. L. Lawson, H. J. Maehly, C. K. Mesztenyi, J. R. Rice, H. C. Thacher Jr., C. Witzgall, 1968; xii, 344 pages
Lenient Execution and Concurrent Execution of Re-Entrant Routines: Efficient Implementation in Data Flow Systems
An introduction to compiler writing
Editorial Performance Modelling, Benchmarking and Simulation of High-Performance Computing Systems
SmiDCA: An Anti-Smishing Model with Machine Learning Approach
Triangulating the Human Torso
Prediction of Student Performance Using Random Forest Combined With Naïve Bayes
On the Behavioral Equivalence Between k -data Structures
The Solution of Railway Problems on a Digital Computer: 2
Visual Intrusion Detection Based On CBAM-Capsule Networks
Deep Learning-based Sentiment Analysis of Facebook Data: The Case of Turkish Users
Developing a Smartphone Software Package for Predicting Atmospheric Pollutant Concentrations at Mobile Locations
Locating a Communication Path in a Competitive Scenario
An Incremental Hierarchical Clustering Based System For Record Linkage In E-Commerce Domain
Multi-Class Liver Cancer Diseases Classification Using CT Images
An Improved Hill Climbing Algorithm for Graph Partitioning
Computer Design of Cascade Logic
Simplified Probabilistic Modelling and Analysis of Enhanced Distributed Coordination Access in IEEE 802.11
A Roadmap for the Development of the 'SP Machine' for Artificial Intelligence
Visually Lossless H.264 Compression of Natural Videos
Compile-Time Type-Matching
An Overview of Techniques for Designing Parameterized Algorithms
A Word Boundary Algorithm for Text Processing
A New Method of Solving Nonlinear Simultaneous Equations
The Ariadne-1 Blackboard System
Book Review: IFIP-ICC Vocabulary of Information Processing, 1966
Decomposition of Flowchart Schemata
Maximizing Achievable Transmission Time in Cognitive Radio Networks Under Sensor-Aided Crowdsourced Spectrum Sensing
Toward the Understandability of an Operating System
A finite element approach to surface definition
The Multipath Architecture for Prolog Programs
Tight Bounds on the Diameter of Gaussian Cubes
Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
Automated University Timetabling: The State of the Art
Structured Systems Analysis and Design Using Standard Flowcharting Symbols
Some Improved Designs for the Digital Summation Threshold Logic (DSTL) Gate
The Implicit Triangulated Irregular Network and Multiscale Spatial Databases
A Cloud Resource Evaluation Model Based on Entropy Optimization and Ant Colony Clustering
CCESHP: Causal Consistency Model of Edge Storage Based on Hash Ring and Partial Geo-Replication
A Survey of System Complexity Metrics
Collaborative Task Offloading with Computation Result Reusing for Mobile Edge Computing
White Matter, Gray Matter and Cerebrospinal Fluid Segmentation from Brain Magnetic Resonance Imaging Using Adaptive U-Net and Local Convolutional Neural Network
OCCAM- and C-Based Multiprocessor Environments for UNIX Cluster
Ten Benchmark Database Queries for Location-based Services
A Knowledge-Based Operating System
Effective Treatment of the Interpolation Factor in Marquardt's Nonlinear Least-Squares Fit Algorithm
An Approach to Computer Processing of Clinical Data
Fixed-Parameter Algorithms in Phylogenetics
Impact of COVID-19 on the Human Personality: An Analysis Based on Document Modeling Using Machine Learning Tools
Aircraft Route Analysis on a Digital Computer
A Relational Schema Description and Manipulation Facility
Convergence of the LR, QR, and Related Algorithms
Some Error Correcting Codes for Certain Transposition and Transcription Errors in Decimal Integers
Optimized Scale-Invariant Feature Transform with Local Tri-directional Patterns for Facial Expression Recognition with Deep Learning Model
MC64-Cluster: Many-Core CPU Cluster Architecture and Performance Analysis in B-Tree Searches
Almost-Tight Identity Based Encryption Against Selective Opening Attack
Dynamic Access Control Policies: Specification and Verification
Optimal Real-Time Scheduling Algorithm for Wireless Sensors with Regenerative Energy
Symposium on Experiences with the Use of Magnetic Tape - 2: Magnetic Films on a National-Elliott 405
On Making Graphic Arts Quality Output by Computer
Optimal Registration Of Aliased Images Using Variable Projection With Applications To Super-Resolution
Non-Functional Requirements Framework: A Mathematical Programming Approach
An Introduction to Reversible Latches
Example-Based Regularization Deployed to Super-Resolution Reconstruction of a Single Image
User control in a multi-access system
Privacy-Preserving Image Retrieval with Multi-Modal Query
Block Codes for Asynchronous Data Transmission Designed from Binary Trees
Pairing-Free and Secure Certificateless Signcryption Scheme
Estimating Program Reliability
The Generalized Colour Towers of Hanoi: An Iterative Algorithm
Parallel Soft Computing Techniques in High-Performance Computing Systems
A Theory for Simulators
Encoding with Combination Orientation Technique for RDH in Dual Stego Images
Finite State Automata from Regular Expression Trees
A Hill-Area-Restricted Geographic Routing Protocol for Mobile Ad Hoc and Sensor Networks
On preserving the integrity of data bases
A Logic of Access Control
Analysis of a Priority Retrial Queue with Dependent Vacation Scheme and Application to Power Saving in Wireless Communication Systems
Quantitative Analysis of UML Statechart Models of Dependable Systems
A combined graphical and iterative approach to the problem of finding zeros of functions in the complex plane
A New Intelligent Agent-based Strategy for Constrained Multiple Destination Routing Problems
COMAR: A Data Format for Integration of CFG Tools
System Conventions for non Procedural Languages
An All-Sharing Load-Balancing Scheme on the COMA/CD Network and its Analysis
Book Review: Invariant imbedding and Time-Dependent Transport Processes, by Richard E. Bellman, Harriet H. Kagiwada, Robert E. Kalaba and Marcia C. Prestrud, 1964; 256 pages
Software Requirements of Universities
Disabling Misbehavior with Traffic Constraints in WLANs
Computing Random Fields
Pipelines for Divide-and-Conquer Functions
The Solution of Non-Linear Equations and of Differential Equations with Two-Point Boundary Conditions
Agent Technologies for Sensor Networks
Algorithms Supplement
Book Review: Irascible Genius (Charles Babbage), by Maboth Moseley, 1964; 287 pages
Large-Scale Schema-Free Data Deduplication Approach with Adaptive Sliding Window Using MapReduce
Restart of an operating system having a permanent file structure
RCPCP: A Ceiling-based Protocol for Multiple-disk Environments
Resource Sharing Problem of Timing Variation-Aware Task Scheduling and Binding in MPSoC
Detection of splicing forgery using differential evolution and wavelet decomposition
An Improvement of the CS Attack to DSC Cipher
A computer application to a transport scheduling problem
An Ontology as Support for Specification of Non-functional Requirements of AAL Systems Considering Compliance Aspects
Diagonalisation of complex symmetric matrices using a modified Jacobi method
Bandwidth Analysis for A Class of Bus-Based Systems
Efficient Zero-Knowledge Identification Schemes for Smart Cards
Local Pollination-Based Moth Search Algorithm for Task-Scheduling Heterogeneous Cloud Environment
Maintaining Consistency of Imprecise Relations
DOLPHIN - A Text Filing System for University Use
SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints
Accelerating the Jacobi Method for Solving Simultaneous Equations by Chebyshev Extrapolation When the Eigenvalues of the Iteration Matrix are Complex
Principles of Descriptors
A stable explicit method for the finite-difference solution of a fourth-order parabolic partial differential equation
Dynamic Selection of a Video Content Adaptation Strategy from a Pareto Front
Effectiveness of Adopting Cloud-Based E-Learning at Qassim University
Logical Optimisation of Distributed Knowledge Base Queries
Achieving Quality of Service (QoS) Using Resource Allocation and Adaptive Scheduling in Cloud Computing with Grid Support
The Impact of Microcomputer Systems on Commercial Data Processing
Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences
A Note on the Optimal Labelling of Quadtree Nodes
The Classification of a Set of Elements with Respect to a Set of Properties
Influencing Cognitive Strategy by Manipulating Information Access
Automatic Generation of Optimized OpenCL Codes Using OCLoptimizer
Optimization Enabled Black Hole Entropic Fuzzy Clustering Approach for Medical Data
A User-Based Early Warning Service Management Framework in Cloud Computing
Hidden Markov Model-based Load Balancing in Data Center Networks
A New Framework for Conditionally Anonymous Ring Signature
On Algebraic Simplification
Improved Algorithms for the K -Maximum Subarray Problem
Elementary Divisors of the Liebmann Process
{1, 2, 3}-Restricted Connectivity of $(n, k)$-Enhanced Hypercubes
Corrigendum to: Video Anomaly Detection Using the Optimization-Enabled Deep Convolutional Neural Network
Revisiting the Performance of DNS Queries on a DNS Hierarchy Testbed over Dual-Stack
Animating Formal Proof at the Surface: The Jape Proof Calculator
A Case Study Using a Methodological Approach to Developing User Interfaces for Elderly and Disabled People
Consistent Implementations of Replicated Objects
DROP: A New RAID Architecture for Enhancing Shared RAID Performance
Axiomatic Approach to Software Metrication Through Program Decomposition
Improving Matsui's Search Algorithm For The Best Differential/Linear Trails And Its Applications For DES, DESL And GIFT
Maritime Object Segmentation Using Dynamic Background Modeling and Shadow Suppression
Deep Hashing and Sparse Representation of Abnormal Events Detection
Input and output for ALGOL 60 on KDF 9
Ubiquitous Computing: Shall we Understand It?
C 3 P : A Re-Configurable Framework to Design Cycle-sharing Computing Cloud Platforms
Celebration of David Wheeler (1927-2004)
Software for Reading, Refereeing and Browsing in the BLEND System
A Bank Adopts Automatic Data Processing
Compaction Techniques for Raster Scan Graphics Using Space-Filling Curves
The Algorithmic Transformation of Schemas to Structured Form
Commercial English Languages
An Aid to Hidden Surface Removal in Real Time CGI Systems
An Optimal Algorithm for Untangling Binary Trees via Rotations
A Secure Messaging Architecture Implementing the X.400-1988 Security Features
Robust Anomaly Detection in Feature-Evolving Time Series
Error Recovery with Attribute Grammars
Implementation of a Syntax-Driven Interpreter for Data Retrieval
DEV-ETA: An Interpretable Detection Framework for Encrypted Malicious Traffic
Semantic Specification Using Two-Level Grammars: Labels and GOTO Statements
Resilient Vector Consensus Over Random Dynamic Networks Under Mobile Malicious Attacks
The Availability of Complemental k -Coteries
Coordinate Graph Grammar for the Specification of Spatial Graphs
NP-LFA: Non-profiled Leakage Fingerprint Attacks against Improved Rotating S-box Masking Scheme
Recognition of Complex Patterns Using Cellular Arrays
Algorithms supplement
An algorithm for reducing the bandwidth of a matrix of symmetrical configuration
Gambling Domain Name Recognition via Certificate and Textual Analysis
Note on the Line Over-relaxation Factor for Small Mesh Size
Machine Code Generation Within a Compiler - A Teaching Model
Timing Problems in Electronic Lockout Chains
Using the Relational Model to Capture Topological Information of Spaces
Ensemble Framework Combining Family Information for Android Malware Detection
Observations on the Security of COMET
A Secure Role-Based Cloud Storage System For Encrypted Patient-Centric Health Records
Artificial Bee Colony-Based Feature Selection Algorithm for Cyberbullying
Multi-Swarm Cuckoo Search Algorithm with Q-Learning Model
Introduction to Davies' paper
CAM 01: A Precedence Analyser
How Weak Categorizers Based Upon Different Principles Strengthen Performance
Long Multi-digit Number Recognition from Images Empowered by Deep Convolutional Neural Networks
An Extended Autocode for Pegasus
Smart Messages: A Distributed Computing Platform for Networks of Embedded Systems
The Bidimensionality Theory and Its Algorithmic Applications
TABEMS: Tariff-Aware Building Energy Management System for Sustainability through Better Use of Electricity
Evaluation of the Execution Cost of Recursive Definitions
Observation Tree Approach: Active Learning Relying on Testing
Transitions to Ada: An Incremental Approach
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices
An Algorithm for Information Structuring and Retrieval
Efficient Generic Construction of CCA-Secure Identity-Based Encryption from Randomness Extraction
LP-Based Approximation Algorithms for Reliable Resource Allocation
Destination Image Recognition And Emotion Analysis: Evidence From User-Generated Content Of Online Travel Communities
Design and Implementation of a Relational DBMS for Microcomputers
On Formalizing and Normalizing Role-Based Access Control Systems
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems
Enhancing Aspect Category Detection Through Hybridised Contextualised Neural Language Models: A Case Study In Multi-Label Text Classification
Interactive interpolation and approximation by Bezier polynomials
Generating Permutations by Choosing
A General Factorising Algorithm
Continuous Leakage-Resilient Identity-Based Encryption with Tight Security
Non-negative Matrix Factorization: A Survey
Recognizing Multivalued Dependencies in Relation Schemas
TANE: An Efficient Algorithm for Discovering Functional and Approximate Dependencies
Digital Image Anti-Forensic Model Using Exponential Chaotic Biogeography-Based Optimization Algorithm
CCA2 Attack and Modification of Huang et al .'s Public Key Encryption with Authorized Equality Test
A Leakage-Resilient CCA-Secure Identity-Based Encryption Scheme
A Blockchain-Based Framework for IoT Data Monetization Services
A Window Manager for UNIX
The Implementation of FDL, a Functional Database Language
The State of the Art - (a) Commercial Computers in Britain, June 1959
Simulating Multiple Memory Accesses in Logarithmic Time and Linear Space
Empirical Study of the Expected Running Time of Shellsort
A Lattice-Based Redactable Signature Scheme using Cryptographic Accumulators for Trees
Minimized Error Propagation Location Method Based on Error Estimation
Book Review: Pattern Recognition, by Leonard Uhr, 1966; 393 pages
Annotated Control Flow Graph for Metamorphic Malware Detection
Centrality and Partial Correlation Coefficient-Based Assortativity Analysis of Real-World Networks
The Structure of the Cambridge Algebra System
Pipelining Data Compression Algorithms
Review: Book review: Parity-check codes
Problem Orientated Language for Logic Design
Backtrack Programming with SIMULA
Discrete-Time Quantum Walks Community Detection in Multi-Domain Networks
Reliability Assessment of Some Regular Networks
Authorized Function Homomorphic Signature
Analyzer : A Complex System for Data Analysis
The First year's Production on a Computer, and future plans
ALAM - Atlas Lisp Algebraic Manipulator
Threshold Values for Processing Distributed Queries
Leakage Resilient CCA Security in Stronger Model: Branch Hidden ABO-LTFs and Their Applications
An Overview of Media Streams Caching in Peer-to-Peer Systems
Flocoder
Developing an intelligent framework with Blockchain capabilities for environmental monitoring using a CubeSat
Affordance and Symmetry in User Interfaces
Mining Frequent Serial Positioning Episode Rules with Forward and Backward Search Technique from Event Sequences
Intermittent Fault Diagnosability of Some General Regular Networks
Data Compression Using a Sort-Based Similarity Measure
Controversy Concerning the Criteria for Taxonometric Strategies
Universal Usability: Designing Computer Interfaces for Diverse Users
Double-Layer Network Negative Public Opinion Information Propagation Modeling Based on Continuous-Time Markov Chain
An Algorithm for the Solution of Constrained Generalised Polynomial Programming Problems
A Novel Reduced Reference Image Quality Assessment Based on Formal Concept Analysis
On Testing Non-Testable Programs
A Practical Hybrid Group Key Establishment for Secure Group Communications
Adaptive Bees Algorithm - Bioinspiration from Honeybee Foraging to Optimize Fuel Economy of a Semi-Track Air-Cushion Vehicle
A Modified Congruence Method of Generating Pseudo-random Numbers
Adaptive Routing Using Expert Advice
Analysis of Speed of a Binary Multiplier Using a Variable Number of Shifts per Cycle
Theoretical Considerations of Routine Maintenance
Obituary: C. B. Haselgrove
Description of a Program for Nonlinear Programming: The Centroid Program
A New Algorithm for Generating Binary Trees Using Rotations
Controlling Multimedia QoS in the Future Home Network Using the PSQA Metric
On Davies, Swann and Campey Minimisation Process
Computers and School Timetables
Special Issue on Security and Performance of Networks and Clouds: Guest Editor's Introduction
Improving recommendation fairness with dependency-based graph collaborative filtering
A Machine Learning-Based Model to Evaluate Readability and Assess Grade Level for the Web Pages
A Comment on the Decomposition of Flowchart Schemata
An iterative method for locating turning points
Review-Based Recommender Systems: A Proposed Rating Prediction Scheme Using Word Embedding Representation of Reviews
Appliance-Aware Activity Recognition Mechanism for IoT Energy Management System
Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler
Provably Efficient Authenticated Key Agreement Protocol for Multi-Servers
Performance Analysis and Optimization of the OP2 Framework on Many-Core Architectures
A Comparative Framework of Data Modelling Paradigms and Approaches
The quadratic hash method when the table size is a power of 2
Stochastic Process Algebras: From Individuals to Populations
Protein and Nucleic Acid Sequence Database Searching: A Suitable Case for Parallel processing
Lung Cancer Detection and Severity Level Classification Using Sine Cosine Sail Fish Optimization Based Generative Adversarial Network with CT Images
Declarative Programming with Intensional Sets in Java Using JSetL
ProInfer: inference of binary protocol keywords based on probabilistic statistics
Comparative Evaluation of Hypermesh and Multi-stage Interconnection Networks
A Generic Component-Based Approach for Programming, Composing and Tuning Sensor Software
Uniquest: Determining the Semantics of Complex Uniqueness Constraints
A Note on Left Factored Languages
NIPSOM: Parallel Architecture and Implementation of a Growing SOM
Justification with Fewer Hyphens
Criteria to Aid in Solving the Problem of Allocating Copies of a File in a Computer Network
Java Memory Allocation with Lazy Worst Fit for Small Objects
A Cost-Sensitive Decision Tree Learning Algorithm Based on a Multi-Armed Bandit Framework
Certificate-Based Key-Insulated Signature in the Standard Model
On the Number of Solutions, S(k, n), to a Class of Crossword Puzzles
Algorithms for Replica Placement and Update in Tree Network
A New Graph Colouring Algorithm
Face recognition using deep learning on Raspberry Pi
An Extension in the Definition of a Petri Net Execution
Remote sensing image dehazing method in mountaineering equipment
Introduction to the Special Section on Spatiotemporal Databases
Construction of Lightweight Authenticated Joint Arithmetic Computation for 5G IoT Networks
EmailDetective: An Email Authorship Identification And Verification Model
Parametric Weighted Filter: An Efficient Dynamic Manipulation of Signature Files
Anonymous Routing Protocol Based on Weil Pairing for Wireless Mesh Networks
Integrating Context to Preferences and Goals for Goal-oriented Adaptability of Software Systems
Efficient Verification of a Multicast Protocol for Mobile Computing
Programmer Selection and Programming Errors
Cache Freshness in Named Data Networking for the Internet of Things
Some Observations on a Paper by Lance and Williams
Social Networks: An Introduction
Static Semantic Features of ALGOL60 and BASIC
Building a Fuzzy Logic-Based Artificial Neural Network to Uplift Recommendation Accuracy
A Trust Framework Utilization in Cloud Computing Environment Based on Multi-criteria Decision-Making Methods
An Approach for the Evaluation and Correction of Manually Designed Video Game Levels Using Deep Neural Networks
On the Data Expansion of the Huffman Compression Algorithm
Inheritance and Kinds of Slots
Computation of the Variance Ratio Distribution
Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions
Coordinate System-Based Trust-Aware Web Services Composition in Edge and Cloud Environment