yusuke1997/dblp-id-title huggingface dataset:
Distributed Pipeline Scheduling: A Framework for Distributed, Heterogeneous Real-Time System Design
Privacy-Preserving Breast Cancer Prediction Based on Logistic Regression
Compression of Chinese Document Images by Complex Shape Matching
Proximity Search with a Triangulated Spatial Model
An Information Measure for Classification
Two-Hop Relay Deployment Based on User Trajectory in Wireless Networks
A Movable Architecture for Robust Spatial Computing
On Global Adaptive Synchronization in Weighted Complex Networks
Configuration of Objects in Parallel Object-Oriented Computation
Degeneracy in Geometric Computation and the Perturbation Approach
Further Autocode Facilities for the Manchester (Mercury) Computer
Experiences in Using a Decomposition Program
TaintAttack: rapid attack investigation based on information flow tracking
Agent-Based Autonomic Semantic Context-Aware Platform for Smart Health Monitoring and Disease Detection
Time Domain Matrix Evaluation of a Digital Servomechanism Using Semi-Hybrid Computational
ISGcloud: a Security Governance Framework for Cloud Computing
Eager Term Rewriting For The Fracterm Calculus Of Common Meadows
Fast Fourier Transform Free From Tears
PKE-AET: Public Key Encryption with Authorized Equality Test
Stealthy Backdoor Attacks On Deep Point Cloud Recognization Networks
Applying Cilk in Provably Efficient Task Scheduling
Benchmark for Discriminating Power of Edge Centrality Metrics
Particle, Dimension and Cooperation-Oriented PSO Parallelization Strategies for Efficient High-Dimension Problem Optimizations on Graphics Processing Units
Statistical Foundations for Business Forecasts
Serum Proteomic Abnormality Predating Screen Detection of Ovarian Cancer
Parameterized Complexity and Biopolymer Sequence Comparison
Panoptic Segmentation with Convex Object Representation
An Integrated Security and Systems Engineering Process and Modelling Framework
Porting Virtual Object Files
Homomorphic MAC from Algebraic One-Way Functions for Network Coding with Small Key Size
A Comparative Study of Dual-Tree Algorithms for Computing Spatial Distance Histograms
Estimating Ideological Scores of Facebook Pages: An Empirical Study in Taiwan
Decentralized Data Flows for the Functional Scalability of Service-Oriented IoT Systems
Algorithm for drawing ellipses or hyperbolae with a digital plotter
A Thread of HOL Development
Experience with Adaptive Interfaces
Performance Evaluation of Learning Models for Identification of Suicidal Thoughts
A new method for solving polynomial equations
Iterative Methods for Linear Equations with Symmetric Positive Definite Matrix
Solution of Certain Large Sets of Equations on Pegasus using Matrix Methods
GA-Based Keyword Selection for the Design of an Intelligent Web Document Search System
The Influence of Object Shape on the Convergence of Active Contour Models for Image Segmentation
Self-Organising Data Management Systems
Can Unbreakable Mean Incomputable?
SIFT-Based Visual Tracking using Optical Flow and Belief Propagation Algorithm
Relationship Between Component Connectivity And Component Diagnosability Of Some Regular Networks
Message Passing for Distributed QoS-Security Tradeoffs
A Practitioner's Introduction to Database Performance Benchmarks and Measurements
Implementation of Update Operations for Interval Relations
A Necessary and Sufficient Condition for the Liveness of Normal Nets
Design Automation Framework for Reconfigurable Interconnection Networks
Enforcing Role-Based Access Control for Secure Data Storage in the Cloud
Basic Process Algebra with Iteration: Completeness of its Equational Axioms
Efficiently Querying Vector and Raster Data
A Mechanization of Algebraic Differentiation and the Automatic Generation of Formulae for Molecular Integrals of Gaussian Orbitals
A Prior-Free Spectrum Auction for Approximate Revenue Maximization
Detecting Plagiarism in Student Pascal Programs
Inverted Indexes and Multi-List Structures
Generating Permutations on a VLSI Suitable Linear Network
Sequence of Control in S 3 PMR
Improvements in Multioutput Threshold-Logic Gates
urgMAC: A New Traffic and QoS-aware Cross-Layer MAC protocol for Wireless Multimedia Sensor Networks
On Interpreter-Oriented Definitions of Programming Languages
A Linear Algorithm for Colouring Planar Graphs with Five Colours
Techniques for Producing School Timetables on a Computer and their Application to other Scheduling Problems
A Malicious-Resilient Protocol for Consistent Scheduling Problem in the Cloud Computing Environment
Designing Effective Policies for Minimal Agents
Semantic Guided Matting Net
Application-Specific Heterogeneous Network-on-Chip Design
Sample Implementation of a Special Purpose Language by the DEPOT System
Quantum Attacks on 1K-AES and PRINCE
An Optimized k-means Algorithm Based on Information Entropy
Legality of XML-Schema Type Hierarchies
Discrete, Nonlinear String Vibrations
Accelerating Analytics Using Improved Binary Particle Swarm Optimization for Discrete Feature Selection
Some Transformations of Relevance to Report Generation
The iterative solution of non-linear ordinary differential equations in Chebyshev series
A Study of COBOL Portability
Message Orientated Interactive Graphics
Forward Secure Public-key Authenticated Encryption with Conjunctive Keyword Search
Formal Specification and Verification Techniques for RISC Pipeline Conflicts
Role of Machine Learning on Key Extraction for Data Privacy Preservation of Health Care Sectors in IoT Environment
OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system
Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers
Dynamic Opponent Modelling in Fictitious Play
Optimization of Signature File Parameters for Database with Varying Record Lengths
Formalization of Block Pruning: Reducing the Number of Cells Computed in Exact Biological Sequence Comparison Algorithms
Pruning Longer Branches of Independent Spanning Trees on Folded Hyper-Stars
Development Methods for Real-Time Systems
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
Hashing of Databases with the Use of Metric Properties of the Hamming Space
Updatable Lossy Trapdoor Functions Under Consecutive Leakage
Mining Feature Models from Functional Requirements
WiPoTS: An Application Layer Protocol With Network Protocol Stack Enhancements For Wireless Power Transfer Networks
A Multidimensional Approach to the Measurement of Human-Computer Performance
Review: Active Services: Concepts, Architecture and Implementation
The strong connectivity of bubble-sort star graphs
Evaluating and Comparing Fault-Based Testing Strategies for General Boolean Specifications: A Series of Experiments
Towards the Design of Efficient Error Detection Mechanisms for Transient Data Errors
Computational Aspects of Monomial Dynamical Systems
Pure Type Systems with de Bruijn Indices
Energy-Efficient Cluster-Based Routing Protocol for WSN Based on Hybrid BSO-TLBO Optimization Model
Security in a Multi-Level Structured Model of a Data Base
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation
A Hybrid Decentralized Coordinated Approach for Multi-Robot Exploration Task
100 years of Zermelo's axiom of choice: what was the problem with it?
The NoisyOffice Database: A Corpus To Train Supervised Machine Learning Filters For Image Processing
Automated Content Metadata Extraction Services Based on MPEG Standards
Towers of Hanoi: The Derivation of Some Iterative Versions
Hierarchical Categorization and Review of Recent Techniques on Image Forgery Detection
Power Optimization in Logic Synthesis for Mixed Polarity Reed-Muller Logic Circuits
The formal definition of the BASIC language
The Calculation of Linear Best L_p Approximations
A Note on the Convergence of an Iterative Scheme for Solving a Quadratic Equation
On Detection of Bounded Global Predicates
Spatial-Aware Multi-Directional Autoencoder For Pre-Training
Provably Secure Online/Offline Identity-Based Signature Scheme Based on SM9
Transposing Matrices in a Digital Computer
Evaluating Irredundant Maximal Contained Rewritings for XPath Queries on Views
Understanding the Quality of Monitoring for Network Management
Concept Similarity in SymOntos: An Enterprise Ontology Management Tool
Balancing privacy and model performance in federated learning through contract-based data trading
Linear Cryptanalysis of PRESENT-like Ciphers with Secret Permutation
The Efficiency of Histogram-like Techniques for Database Query Optimization
An Atlas Autocode to ALGOL 60 Translator
A Federated Learning Approach for Privacy Protection in Context-Aware Recommender Systems
A Universal Data Model Holder for Data Dictionary Systems
POEMS: A Parallel Object-oriented Environment for Multi-computer Systems
Recursion Elimination with Variable Parameters
S e TPR*-tree: Efficient Buffering for Spatiotemporal Indexes Via Shared Execution
User Name-Based Compression and Encryption of Images Using Chaotic Compressive Sensing Theory
Detecting Cyberbullying across Social Media Platforms in Saudi Arabia Using Sentiment Analysis: A Case Study
Fully Retroactive Minimum Spanning Tree Problem
Arc Fault Tolerance of Maximally Arc-Connected Networks Modeled By Digraphs
A Verifier-Based Password-Authenticated Key Exchange Using Tamper-Proof Hardware
Provider-Based Optimized Personalized Viable SLA (OPV-SLA) Framework to Prevent SLA Violation
Data retrieval
An Implementation of Message-Passing Interface over VxWorks for Real-Time Embedded Multi-Core Systems
Strongly Menger Connectedness of a Class of Recursive Networks
Some Results on Minimum Discrete Bending Energy Path in Simple Polygon
Bio-Key Based AES for Personalized Image Cryptography
A Study of Time Sharing Systems Considered as Queueing Networks of Exponential Servers
Treating Partiality in a Logic of Total Functions
A Novel Hybrid Segmentation Approach for Decision Support: A Case Study in Banking
Note on an ALGOL 60 Compiler for Pegasus I
Methodology of Computer Systems Design
Electronic Data Processing for the International Vocabulary of Terms used in Information Processing
Analytic Differentiation Using a Syntax-Directed Compiler
Pulmonary Lung Nodule Detection from Computed Tomography Images Using Two-Stage Convolutional Neural Network
Improving Human Action Recognition Using Hierarchical Features And Multiple Classifier Ensembles
Blind Watermarking of Color Images Using Karhunen-Loève Transform Keying
Forward-Secure Threshold Attribute-Based Signature Scheme
An Analysis of Two In-Place Array Rotation Algorithms
A Note on the Use of the Conjugate Gradient Method in the Solution of a Large System of Sparse Equations
Human-Computer Interface Recording
CWSOGG: Catching Web Shell Obfuscation Based on Genetic Algorithm and Generative Adversarial Network
A Permutation Generation Method
Simpler Generic Constructions for Strongly Secure One-round Key Exchange from Weaker Assumptions
Multiobjective Evolutionary Optimization of Training and Topology of Recurrent Neural Networks for Time-Series Prediction
The Reve's Puzzle: An Iterative Solution Produced by Transformation
Automated Configuration of Multiple Buffer Pools
Efficient Parallel k-Set Chain Range-Join in Hypercubes
Data Base Representations of Application Models
Techniques of Program Design
Classification of Text Documents
A technique for colouring a graph applicable to large scale timetabling problems
Topological Similarity-Based Feature Selection for Graph Classification
Extending Test Sequence Overlap by Invertibility
A New Non-MDS RAID-6 Code to Support Fast Reconstruction and Balanced I/Os
One-Round Affiliation-Hiding Authenticated Asymmetric Group Key Agreement with Semi-trusted Group Authority
SST - A Program for the Automatic Generation of Symbol State Tables
Incomplete Distinguishing Sequences for Finite State Machines
The Management of a Large Commercial Computer Bureau
A Tool for the Model-Based Specification of Open Distributed Systems
Efficient and Provably Secure IP Multimedia Subsystem Authentication for UMTS
Improved Hybrid Bag-Boost Ensemble With K-Means-SMOTE-ENN Technique for Handling Noisy Class Imbalanced Data
Constructing the Convex Hull of a Set of Points in the Plane
Design of the Kernel Language for the Parallel Inference Machine
Organization of a Computing Service for Industry and Commerce
Lexical Permutation Sorting Algorithm
Structure connectivity of folded cross cubes
Computation and Computational Thinking
Himmelbett
Enhancing Auditory Brainstem Response Classification Based On Vision Transformer
Context Sensitive Rewriting Codes for Flash Memory†
Sensornet Protocol Tuning Using Principled Engineering Methods
Efficient Revocable ID-Based Encryption with a Public Channel
Five ALGOL compilers
Dynamic Round-based Resource Management for On-demand Multimedia Servers
Fundamentals of Pricing and Scheduling Computer Services and Investment in Computer Equipment
A Very Mathematical Dilemma
Fault tolerance assessment of the data center network DPCell based on g -good-neighbor conditions
Knowledge Representation with Attribute Grammars
Super-Resolution of Multispectral Images
Scheduling Algorithms for Concurrent Execution
Speech Recognition in the Office: How the Technology Supports Dictation
Direction-based Spatial Skyline for Retrieving Arbitrary-Shaped Surrounding Objects
CCA-Almost-Full Anonymous Group Signature with Verifier Local Revocation in the Standard Model
Detection of SIP-Based Denial of Service Attack Using Dual Cost Formulation of Support Vector Machine
On the Importance of Checking Multivariate Public Key Cryptography for Side-Channel Attacks: The Case of enTTS Scheme
Review: H.264 and MPEG-4 Video Compression: Video Coding for Next-generation Multimedia
The Generalized Connectivity of (n, k)-Bubble-Sort Graphs
Increasing Service Availability in a Wireless Home Network Environment
AUTO-DFD: An Intelligent Data Flow Processor
Alston S. Householder Award
Building a Mobile Programming System
Constructive Algorithm of Independent Spanning Trees on Möbius Cubes
A permutation procedure for job-shop scheduling
Computers and the Human Mind
Prediction of Stock Prices Using Statistical and Machine Learning Models: A Comparative Analysis
Studying the ML Module System in HOL
Enumeration Of Subtrees Of Two Families Of Self-Similar Networks Based On Novel Two-Forest Dual Transformations
Generating Strategies for Continuous Separation Processes
Product-Forms in Multi-Way Synchronizations
Modal Knowledge and Game Semirings
Parallel Pipelined Fractal Image Compression using Quadtree Recomposition
Fast Quicksort Implementation Using AVX Instructions
VDM: Axiomatising its Propositional Logic
Source Level Static Branch Prediction
Discussants' Comments on the Computer Journal Lecture by Peter Harrison presented at the British Computer Society on 24th February 2009
Some Aspects of Gaussian Quadrature Formulae for the Numerical Inversion of the Laplace Transform
Row-column permutation of sparse matrices
A Controlled Environment for Semantic Information Processing within Inter-process Communication
Forward with Foresight
ARP versus ES-IS: Performance Evaluation of Neighbour-Greeting Protocols
Resource Allocation in Cloud Computing Environments Based on Integer Linear Programming
A Note on the Approximation of Plane Regions
PEAR: privacy-preserving and effective aggregation for byzantine-robust federated learning in real-world scenarios
A Parallel Solution to the Approximate String Matching Problem (Short Note)
Palmprint for Individual's Personality Behavior Analysis
Evolutionary Automata: Expressiveness and Convergence of Evolutionary Computation
Formal versus Material Ontologies for Information Systems Interoperation in the Semantic Web
The Impact of Changing Technology
Automatic Frequency and Mikhailov Locus Plotting for Systems with Distributed Lags: A New Analogue Computer Technique
In Favour of System Prototypes and their Integration into the Systems Development Cycle
Action Learning for Teaching Information Systems
Experience in transmitting accounting data
A Review of SIMD Multimedia Extensions and their Usage in Scientific and Engineering Applications
A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation
A New Method for Minimising a Sum of Squares Without Calculating Gradients
Domains of Protection and the Management of Processes
From Symmetric Nets to Differential Equations exploiting Model Symmetries
Arca: A Local Network File Server
Contact Tracing Solution for Global Community
Port Directed Communication
Transforming Ill-Conditioned Constrained Problems using Projections
Set-to-Set Disjoint Paths Routing in Hierarchical Cubic Networks
BLFair: enabling proportional I/O sharing for NVMe SSD in SPDK para-virtualization architecture
Generalisation of Elematary Hermitian Matrices
An Efficient Algorithm to Compute the Candidate Keys of a Relational Database Schema
Improved Anonymous Multi-receiver Identity-Based Encryption
Positioning and Categorizing Mass Media Using Reaction Emojis on Facebook
Packetized Video Options for Interaction between the User, the Network and the Codec
Adversarial Attacks on Network Intrusion Detection Systems Using Flow Containers
Differentially Private Publication For Correlated Non-Numerical Data
Extending Deep Meta-Modelling for Practical Model-Driven Engineering
LHPD: A Practical Algorithm for Program Parallelisation
A Tuple Placement Technique For Databases
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration
Mitigating Resource Contention on Multicore Systems via Scheduling
Improving Read Throughput of Deduplicated Cloud Storage using Frequent Pattern-Based Prefetching Technique
Analytic algebraic manipulation
Uncoupling Central Processor and Storage Device Speeds
Constructing Constrained-Version of Magic Squares Using Selection Hyper-heuristics
Gradient-Based Distance Estimation for Spatial Computers
Note on An Extremum Locating Algorithm
An Overview of Vertical Partitioning in Object-Oriented Databases
Compiler Writing System for Attribute Grammars
A DDoS Detection Method for Socially Aware Networking Based on Forecasting Fusion Feature Sequence
Ord-Smith's Pseudo-Lexicographical Permutation Procedure is the Tompkins-Paige Algorithm
Non-Strict Languages - Programming and Implementation
Towards content-addressing in data bases
A Two-Step Knowledge Extraction Framework for Improving Disease Diagnosis
Simultaneous Trigonometric Approximation of the Function and its First Derivative
Bayesian-Based Spectrum Sensing and Optimal Channel Estimation for MAC Layer Protocol in Cognitive Radio Sensor Networks
Turning Back Time - What Impact on Performance?
Defog YOLO for road object detection in foggy weather
A Local Mean-Based k -Nearest Centroid Neighbor Classifier
Structure Fault Tolerance of Recursive Interconnection Networks
BOUQUET - Aggregating Network Paths in Trees to Reduce Data-Plane Forwarding State
A Language for Chemical Plant Design and Simulation Programs
A Hybrid Strategy Improved Whale Optimization Algorithm for Web Service Composition
Complexity Estimation of the H.264 Coded Video Bitstreams
On Multi-Label Linear Interval Routing Schemes
An Optimal Distributed Algorithm for Computing Bridge-Connected
Corrigendum to: Congestion Free Transient Plane(CFTP) using bandwidth sharing during link failures in SDN
Discussant of Response to the Computer Journal Lecture by Morris Sloman
General Reduction Methods for the Reliability Analysis of Distributed Computing Systems
Labelling and Implicit Routing in Networks
The Regional Computing Organisation Network
A Model for Performance Evaluation of Gracefully Degrading Systems
Programmer-Defined Control Operations
Spectra, Hitting Times and Resistance Distances of q- Subdivision Graphs
Single Versus Double Buffering in Constrained Merging
Editorial: MPEG Applications and Services
Data Compression and Automatic Programming
A Theory of Evaluative Comments in Chess with a Note on Minimaxing
Enriching Topic Coherence on Reviews for Cross-Domain Recommendation
Multiple precision arithmetic in Atlas Autocode
Efficient Parallel Algorithms for Euclidean Distance Transform
A New and Effective Approach to GML Documents Compression
Erratum to: MoG: Behavior-Obfuscation Resistance Malware Detection
Expected Worst-Case Performance of Hash Files
Myths of the Year 2000
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier
The use of higher derivatives in quadrature formulae
Implementations of Term Rewriting Systems
Majority Verdicts in Multi-Processing - Any Two from Three
Combinator Reduction in a Shared-Memory Multiprocessor
Relinearization Attack On LPN Over Large Fields
A Cascadable Random Neural Network Chip with Reconfigurable Topology
Present and Future Facilities for Data Transmission
Algorithms for Finding in the Lump Both Bounds of Chromatic Number of a Graph
A Survey of Recent Advances in Hierarchical Clustering Algorithms
On String Concepts and Their Implementation
An Axiomatic Theory of Software Complexity Measure
Solving Large and Sparse Linear Equations in Analog Circuit Simulation on a Cluster of Workstations
Link Systems for Multi-Computer Control of a Large Process: Part 2 - Fault Detection
Adaptive Grid for Polyhedral Visibility in Object Space: An Implementation
Cryptanalysis on Reduced-Round 3D and Saturnin
A Secure Automatic Fare Collection System for Time-Based or Distance-Based Services with Revocable Anonymity for Users
Computation is Symbol Manipulation
Privacy-preserving data sharing in blockchain-enabled IoT healthcare management system
A Note on the Estimation of the Coefficients in the Chebyshev Series Expansion of a Function Having a Logarithmic Singularity
Compositional Construction of SWN models
Book Review: Mathematical theory of automata, edited by Jerome Fox, 1964; 640 pages
Discovering Community of Lingual Practice for Matching Multilingual Tags from Folksonomies
Conversion of Unstructured Flow Diagrams to Structured Form
Four Years of Automatic Office Work
Matrix FHE and Its Application in Optimizing Bootstrapping
Document Retrieval Using a Substring Index
Semantic Analysis to Identify Students' Feedback
The Solution of Reactor Diffusion Problems
GNN-Based Multimodal Named Entity Recognition
Locally Balanced Binary Trees
Hierarchical Cellular Graph Automata as a Novel Architecture for Computer-Supported Cooperative Work
Fog-Cloud Assisted IoT-Based Hierarchical Approach For Controlling Dengue Infection
Mumford Dendrograms
Image forgery localization integrating multi-scale and boundary features
Generating T-ary Trees in Linked Representation
A Review of Methods for Measuring and Describing Users' Attitudes as an Essential Constituent of Systems Analysis and Design
Detection Of Normal and Novel Behaviours In Ubiquitous Domestic Environments
Areas and Record-Classes
The use of cubic splines in the solution of two-point boundary value problems
Book Review: International Journal of Computer Mathematics, Vol. 1, No. 1, edited by Peter H. Friedlander, 1964; 89 pages
The Application Controller Concept: A First Experience
Locally Equiangular Triangulations
Double-Lead Content Search And Producer Location Prediction Scheme For Producer Mobility In Named Data Networking
A Framework for Developing and Analyzing Software Architecture Specifications in SAM
Compile-Time Scheduling Algorithms for a Heterogeneous Network of Workstations
Corporate Bankruptcy Prediction: An Approach Towards Better Corporate World
Effects of graph operations on star pairwise compatibility graphs
Password-Capabilities and the Walnut Kernel
The Effect of Failures on the Performance of Long-Duration Database Transactions
The Distribution of Cycle Times in Tree-Like Networks of Queues
Stochastic Petri Net Analysis of Deadlock Detection Algorithms in Transaction Database Systems with Dynamic Locking
Faulty Instantiations of Threshold Ring Signature from Threshold Proof-of-Knowledge Protocol
Combined-Semantics Equivalence and Minimization of Conjunctive Queries
An Adaptive Materialization Method for Globally Optimized Query Evaluation in a Hierarchical Mediator System
Program Analysis by Formal Transformation
Privacy as an Integral Part of the Implementation of Cloud Solutions
The British Standard Data Code and How to Exploit it
Guarding Orthogonal Galleries with Rectangular Rooms