yusuke1997/dblp-id-title huggingface dataset:
A Genetically Based Combination of Visual Saliency and Roughness for FR 3D Mesh Quality Assessment: A Statistical Study
Fault Tolerance in Data Gathering Wireless Sensor Networks
A New and Efficient Lattice-Based Online/Offline Signature From Perspective of Abort
A Philosophy for the Teaching of Computer Science and Information Technology
Protecting Users against Phishing Attacks
Predicting Distributions of Staff
Applying Linear Quantifier Elimination
EDSAC: A Programmer Remembers
A Relational Database Simulator
Caviar-Sunflower Optimization Algorithm-Based Deep Learning Classifier for Multi-Document Summarization
Public-Key Encryption with Tight Simulation-Based Selective-Opening Security
Gaze Estimation Using Neural Network And Logistic Regression
Entities, Functions and Binary Relations: Steps to a Conceptual Schema
Inclusion and Exclusion in the Digital World: Turing Lecture 2006
Deduplication-Based Energy Efficient Storage System in Cloud Environment
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis
Ensemble Technique for Toxicity Prediction of Small Drug Molecules of the Antioxidant Response Element Signalling Pathway
NDN-RBE: An Accountable Privacy Aware Access Control Framework For NDN
Software Methods for Virtual Storage of Executable Code
An ALGOL Line-Syntax Checker
CoinFA: an efficient coin mixing scheme with flexible amounts
Multiscale fingerprinting for robust website fingerprinting attack
Development of Japanese Digital Computers
A Comparison of Modified Newton Methods for Unconstrained Optimisation
Disc Access Algorithms
Fine-Grain Register Allocation and Instruction Scheduling in a Reference Flow
Development of a Conceptual Query Language: Adopting the User-Centered Methodology
Synthesis of TANT networks using a Boolean analyser
Review: Book review: Threshold decoding
An Efficient New Way to Represent Multi-Dimensional Data
High-speed Motion Estimation Architecture for Real-time Video Transmission
Minimal Rare Pattern-Based Outlier Detection Approach For Uncertain Data Streams Under Monotonic Constraints
Robust Image Hashing With Singular Values Of Quaternion SVD
Global and Local Structure Preservation for Nonlinear High-dimensional Spectral Clustering
A Heuristic Solution of the Rectangular Cutting Stock Problem
Multi-view Dynamic Heterogeneous Information Network Embedding
Data Communication User Research in the Post Office: Part 1
Binary Diagrams for Storing Ascending Compositions
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes
Review: Book review: Linear programming
Classes of Admissible Permutations that are Generatable by Depth-First Traversals of Ordered Trees
Modified Multi-Key Fully Homomorphic Encryption Scheme in the Plain Model
Game Theory-Based Requirements Analysis in the i* Framework
Harmonic Analysis Using a Digital Computer
Closing a System in the Dynamic Input/Output Automata Model
Ageing of magnetic tape: A critical bibliography and comparison of literature sources
On the Use of Macros for Iteration
Ransomware Detection by Distinguishing API Call Sequences through LSTM and BERT Models
Ranking and Unranking t -ary Trees in a Gray-Code Order
Markov-Based Distributed Approach for Mitigating Self-Coexistence Problem in IEEE 802.22 WRANs
Real-World Networks Are Not Always Fast Mixing
Deterministic Identity-Based Signatures for Partial Aggregation
Learning in Unknown Reward Games: Application to Sensor Networks
An Improved RFID-Based Locating Algorithm by Eliminating Diversity of Active Tags for Indoor Environment
Graphical Modelling Using Contextually Implied Functions
D 2 PS: Direction and Distance Positioning System in Wireless Networks
Optimal Independent Spanning Trees on Cartesian Product of Hybrid Graphs
ID Repetition in Structured P2P Networks
A Unitable Computing Architecture for Chip Multiprocessors
Internal Pricing for Computer Services
Generative Models for Parallel Processes
A Text to Animation System for Physical Exercises
Performance Characteristics of Hybrid MPI/OpenMP Implementations of NAS Parallel Benchmarks SP and BT on Large-Scale Multicore Clusters
A Compiler Compiler and Methodology for Problem Oriented Language Compiler Implementors
Content-Based Image Retrieval using Local Binary Curvelet Co-occurrence Pattern - A Multiresolution Technique
Crank and Nicolson's procedure
FDP-FL: differentially private federated learning with flexible privacy budget allocation
A Divide & Conquer Approach to Leads-to Model Checking
An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints
Tightly Secure Encryption Schemes against Related-Key Attacks
Non-Procedural Data Processing
A Programmed, Skeleton Formal Specification Method: The OUFDM
Using a macro processor to aid software implementation
Expressive Flexibility of a Constraint-Oriented Notation
Analysis and Enhancements to Probabilistic Caching in Content-Centric Networking
Events and Exception Handling in PS-Algol
Improved Related-Key Rectangle Attacks On GIFT
Bayesian Methods for Image Super-Resolution
Multi-Agent Group Programming Based On Co-evolution
Decidable Subsets of CCS
A Pedagogical Verification Condition Generator
Parallel Threshold Voting
Proteus - A Microcoded Multiprocessor System
DEUCE Interpretive Programs
The Oracle Problem When Testing from MSCs
Practical Concurrent Programming for Parallel Machines
The Use of Computers for Economic Planning in the Petroleum Chemical Industry
On Finding the Eigenvalues of Real Symmetric Tridiagonal Matrices
SAAChain: release and storage platform of digital works based on non-fungible tokens
The Use of ALGOL 68 for Trees
Resistance of IID Noise in Differentially Private Schemes for Trajectory Publishing
Strong Menger Connectedness of Augmented k-ary n-cubes
Practical Attribute-Based Encryption: Traitor Tracing, Revocation and Large Universe
Automated irrelevant individuals recognition algorithm in video via motion trajectories
Some Stable Implicit Difference Methods for Heat Equation with Derivative Boundary Condition
Guaranteeing Fault-Tolerant Requirement Load Balancing Scheme Based on VM Migration
The Permutation of a Certain Class of Matrices
The Enduring Legacy of the Turing Machine
A Forward-Secure Certificate-Based Signature Scheme
An Analysis, both Theoretical and by Simulation, of a Time-Shared Computer System
Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java
On the Selection of a Reduced Set of Indexes
Book Review: Numerical Solution of Partial Differential Equations, by G. D. Smith, 1965; 179 pages
Pattern-Based Representation of Chess End-Game Knowledge
Complexity Analyses of Event Set Algorithms
Integration of Batch and Timesharing Services
Securing Causal Relationships in Distributed Systems
Robust Image Hashing Combining 3D Space Contour and Vector Angle Features
Correction to: Automatic Diagnosis of Diabetic Retinopathy from Retinal Abnormalities: Improved Jaya-Based Feature Selection and Recurrent Neural Network
A Simple Method for Building up Large Computer Systems from Small Computers
Estimating Disc Access Patterns Using Diffusion Models
Practical and veritable threshold multi-factor authentication for mobile devices
Bayesian Belief Networks: Odds and Ends
The Siting of Fragments
Securing Outsourced Data in the Multi-Authority Cloud with Fine-Grained Access Control and Efficient Attribute Revocation
CutTheTail: An Accurate and Space-Efficient Heuristic Algorithm for Influence Maximization
Expressions That Talk About Themselves
Analysis and Detection Of Errors In Implementation Of SHA-512 Algorithms On FPGAs
Semantically Driven Parsing of Context-Free Languages
An Iterative Method of Numerical Differentiation
Fundamental Principles of Expressing a Procedure for a Computer Application
Area-Thickness Trade-Offs for Straight-Line Drawings of Planar Graphs
Spanning Tree Manipulation and the Travelling Salesman Problem
When Absolute Approximations are Optimal in Function Subroutines
VQCNN: variational quantum convolutional neural networks based on quantum filters and fully connected layers
Methodology for the security analysis of IPv4-as-a-Service IPv6 transition technologies
On The Maximum Cliques Of The Subgraphs Induced By Binary Constant Weight Codes In Powers Of Hypercubes
Runge-Kutta Methods for Integrating Differential Equations on High Speed Digital Computers
DSA - A Tool for Descriptive Text Analysis
UML Modeling of User and Database Interaction
CCA Security for Self-Updatable Encryption: Protecting Cloud Data When Clients Read/Write Ciphertexts
k-NMF Anonymization in Social Network Data Publishing
An Educational Data Mining System For Predicting And Enhancing Tertiary Students' Programming Skill
Special Issue on Dependable Software Systems: Associate Editor's Introduction
Performability-Based Workflow Scheduling in Grids
Computer-Aided Diagnosis System for Chronic Obstructive Pulmonary Disease Using Empirical Wavelet Transform on Auscultation Sounds
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach
Analysing Electroencephalograms
Algorithm Classification Through Synthesis
Link Systems for Multi-Computer Control of a Large Process: Part 1
An Experimental Approach to Exact and Random Boolean-Widths and Their Comparison with Other Width Parameters
Automated Cryptanalysis of Transposition Ciphers
Corrigendum to: A Multi-Objective Randomly Updated Beetle Swarm and Multi-Verse Optimization for Brain Tumor Segmentation and Classification
Numerical solution of Fredholm integral equations of first kind
SEDD: Robust Blind Image Watermarking With Single Encoder And Dual Decoders
Flower pollination-enhanced CNN for lung disease diagnosis
Interest Drifts in User Profiling: A Relevance-Based Approach and Analysis of Scenarios
Toward a Taxonomy of Malware Behaviors
Urdu Named Entity Recognition System Using Deep Learning Approaches
MP/1 - A FORTRAN Macroprocessor
MBSO Algorithm For Handling Energy-Throughput Trade-Off In Cognitive Radio Networks
Family Relationships between Requirements and Design Specification Methods
Array Processors Design for Division-free Linear System Solving
Computer Tree - the Power of Parallel Computations
Data Processing in University Administration
On Random-Oracle-Free Top-Level Secure Certificateless Signature Schemes
Error estimates for Runge-Kutta type solutions to systems of ordinary differential equations
An Input Routine for the Ferranti Mercury Computer
Computerised Analytic Solutions of Second Order Differential Equations
Data Structures and Descriptors in the ICL 2900 Series and Beyond
Construction of Symmetrical Reversible Variable Length Codes Using Backtracking
Balancing Demand in a Hierarchical Structure
The BLEND-LINC Project on 'Electronic Journals' After Two Years
Parallel File System Analysis Through Application I/O Tracing
Proposed Artificial Bee Colony Algorithm as Feature Selector to Predict the Leadership Perception of Site Managers
Composition of Self-Adapting Components for Customizable Systems
Operating Experience with ALGOL 60
Automation: Men and Money
Remote Monitoring by Edges and Faces of Maximal Outerplanar Graphs
Node-to-Set Disjoint-Path Routing in Hierarchical Cubic Networks
Scheduling Workflow Applications Based on Multi-source Parallel Data Retrieval in Distributed Computing Networks
Re-engineering Loops
A Performance-Oriented Monitoring System for Security Properties in Cloud Computing Applications
Automated Proofs for Computational Indistinguishability
Optimal Algorithms for Finding a Trunk on a Tree Network and its Applications
A Progress Report on NEBULA
Book Reviews: Numerical Analysis
Using Formal Concept Analysis for Organizing and Discovering Sensor Capabilities
Optimal Feature Selection and Hybrid Classification for Autism Detection in Young Children
A More Precise Implementation Relation for Distributed Testing
A user's view of A.D.P. systems design
An Assessment of Locally Least-Cost Error Recovery
The Design of a Storage Server for Continuous Media
A Logical Approach to Home Healthcare with Intelligent Sensor-Network Support
User's experience of COBOL
On the Minimality of Finite Automata and Stream X-machines for Finite Languages
On Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping
Computing and Computation
Fast Learning Through Deep Multi-Net CNN Model For Violence Recognition In Video Surveillance
Repeatable Experiments with Mobile Nodes in a Relocatable WSN Testbed
Difficult Data Placement Problems
Interlingual Machine Translation
A Simple Data Structure for Interactive Graphic Design/Drafting
A New Real-Time Link Prediction Method Based on User Community Changes in Online Social Networks
Multi-criteria Scheduling of Precedence Task Graphs on Heterogeneous Platforms
Heuristic-based computation of tailored spanning trees to speed up compact planar graphs
Practical Key-Recovery Attacks On Round-Reduced Ketje Jr, Xoodoo-AE And Xoodyak
S-DolLion-MSVNN: A Hybrid Model for Developing the Super-Resolution Image From the Multispectral Satellite Image
SSA Transformations to Facilitate Type Inference in Dynamically Typed Code
Lagrangian interpolation at the Chebyshev points x n, [ngr] [equiv]cos([ngr][pgr]/n), [ngr]=0(1) n; some unnoted advantages
On Criteria For Assessing An Information Theory
Classically time-controlled quantum automata: definition and properties
Improving the Performance of an Intelligent Data Management System
Optimization of Data Assignment for Parallel Processing in a Hybrid Heterogeneous Environment Using Integer Linear Programming
Design Techniques Targeting Low-Area-Power-Delay Product in Hyperbolic CORDIC Algorithm
British Computer Society Conference: June 1959
Stability problems in non-statistical classification
Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions
Review: Book review: ALGOL on the KDF9
A New Locally Adaptive Data Compression Scheme using Multilist Structure
Trusted Validation for Geolocation of Cloud Data
Low Latency Fault Tolerance System
Congestion-Aware Multi-Agent Path Planning: Distributed Algorithm and Applications
RSCOEWR: Radical-Based Sentiment Classification of Online Education Website Reviews
Hairy Search Trees
A Multilevel Information Mining Approach for Expert Recommendation in Online Scientific Communities
Research on convex resource allocation scheduling with exponential time-dependent learning effects
Speeding up Programs
Single Machine Total Absolute Differences Penalties Minimization Scheduling with a Deteriorating and Resource-Dependent Maintenance Activity
A General Temporal Theory
The Partitioning of Network Equations for Block Iteration
The Programming Language BPL
A Runtime Available Resource Capacity Evaluation Model Based on the Concept of Similar Tasks
The sofa problem
Separating Graphics from Application in the Design of User Interfaces
Systems with State Re-Set
Book Review: Modelling of Thinking and the Mind, by N. M. Amosov, 1969; 192 pages
An Approach to Systems Design II: The Popularisation of PROPLAN
Leveraging Meta-Learning To Improve Unsupervised Domain Adaptation
The Place of Own Variables in Programming Language Theory
Distributed Multi-Objective Metaheuristics for Real-World Structural Optimization Problems
Clustered RAID Arrays and Their Access Costs
Embedded Socio-oriented Model for End-to-End Reliable Stream Schedules by Using Collaborative Outsourcing in MP2P Systems
Ambient Intelligence for Supporting Task Continuity across Multiple Devices and Implementation Languages
Computing Quasi-Upward Planar Drawings of Mixed Graphs
Dynamic Frequency Scaling of a Single-Core Processor Using Machine Learning Paradigms
Computation and Fundamental Physics
Fully Deniable Message Authentication Protocols Preserving Confidentiality
Statistics and Trends
Investigating Inter-Subject and Inter-Activity Variations in Activity Recognition Using Wearable Motion Sensors
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries
User-Oriented Feature Selection for Machine Learning
Multi-Keyword Ranked Searchable Encryption with the Wildcard Keyword for Data Sharing in Cloud Computing
A Query Facility to a Network DBMS
Error Curves for Lanczos Selected Points Method
Parameterized Complexity and Approximation Algorithms
Adaptive Laplacian Support Vector Machine for Semi-supervised Learning
Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks
Symposium on the Selection and Training of Programmers - 1: A Business User's Approach
Establishing Secure Ethernet LANs Using Intelligent Switching Hubs in Internet Environments
A Fault-tolerant Adaptive and Minimal Routing Scheme in $n$-D Meshes
Solution of Systems of Ordinary and Partial Differential Equations by Quasi-Diagonal Matrices
A Dual Neural Network Scheme for Solving the Assignment Problem
Edge Fault Tolerance of Cartesian Product Graphs on Super Restricted Edge Connectivity
MEI: Mutual Enhanced Infinite Community-Topic Model for Analyzing Text-Augmented Social Networks
A computer in insurance
Node-Pancyclic Properties of Biswapped Networks Based on Cycles in Their Factor Networks
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence
Learning Saliency-Aware Correlation Filters for Visual Tracking
A Document-Oriented Paradigm for the Construction of Content-Intensive Applications
Unstable Linear Time O(1) Space Merging
Information Security Risk Modeling Using Bayesian Index
On the Security Of A Certificateless Signcryption With Known Session-Specific Temporary Information Security In The Standard Model
Competition for memory access in the KDF9
Information Systems and User Resistance: Theory and Practice
An Approach to the Support of Software Evolution
Structuring Two-Level Grammar Specifications
VLSI and WSI Associative String Processors for Cost-Effective Parallel Processing
A Refinement of Key Mismatch Attack on NewHope
Distributed Atomic Actions in Ada 95
Rank Order Distributions and Secondary Key Indexing
Secure Top-k Preference Query for Location-based Services in Crowd-outsourcing Environments
Performance Analysis of Prioritization and Contention Control Algorithm in Wireless Body Area Networks
Detecting Communities with Different Sizes for Social Network Analysis
One Man's Meat: Part 3 - It's all Good Grist that Comes to our Mill
A New and Efficient Fail-stop Signature Scheme
A Preliminary Investigation of Function Optimisation by a Combination of Methods
On a generalised alternating direction implicit method for solving Laplace's equation
SH-CRBAC: Integrating Attribute and Status Constraints into the RBAC Model in Smart Home Systems
Corrigendum to: A Self-Tallying Electronic Voting Based on Blockchain
Combining Object-oriented Systems and Open Transaction Processing
Generalized Template Splay: A Basic Theory and Calculus
Artificial Intelligence-Based Model For Drought Prediction and Forecasting
A Comparison of Pascal and Ada
A Conceptual Approach for Supporting Traffic Data Wrangling Tasks
An Efficient Scheme for the Co-diagonalization of a Symmetric Matrix by Givens' Method in a Computer with a Two-level Store
Conversion of Fortran to Ada Using an Intermediate Tree Representation
A Letter-Oriented Minimal Perfect Hashing Scheme
On the equivalence of SOR, SSOR and USSOR as applied to σ1-ordered systems of linear equations
The Use of Derivatives in the Optimisation of the Truncation Error of Polynomial Approximations
A Mark-Scaling Algorithm
An End-to-End Security Approach for Digital Document Management
The Local Diagnosability of a Class of Cayley Graphs with Conditional Faulty Edges Under the PMC Model
Restructuring Pascal Programs Containing Goto Statements
Multi-Stride String Searching for High-Speed Content Inspection
Distributed Hash Table-Based Interrogating-Call Session Control Function Network in the Internet Protocol Multimedia Subsystem for Efficient Query Services
Computation is Process
On The (k, t)-Metric Dimension Of Graphs
An Improved Self Attention Mechanism Based on Optimized BERT-BiLSTM Model for Accurate Polarity Prediction
SPDPOA: Student Psychology Dragonfly Political Optimizer Algorithm-Based Soil Moisture and Heat-Level Prediction for Plant Health Monitoring in Internet of Things
Token-Leakage Tolerant and Vector Obfuscated IPE and Application in Privacy-Preserving Two-Party Point/Polynomial Evaluations
Double Syntax Oriented Processing
A Constructive Logic for Services and Information Flow in Computer Networks
ACLE: A Software Package for SIMD Computer Simulation
Relational Biterm Topic Model: Short-Text Topic Modeling using Word Embeddings
A Note on the Least Squares Solution of a Band System of Linear Equations by Householder Reductions
EAR: An Energy and Activity-Aware Routing Protocol for Wireless Sensor Networks in Smart Environments
An Evolutionary Genetic Algorithm for Optimization of Distributed Database Queries
An Investigation Into Direct Numerical Methods for Solving Some Calculus of Variations Problems. Part 1 - Second Order Methods
Romberg tables for singular integrands
The Nature of Information
Finding Influencers in Complex Networks: An Effective Deep Reinforcement Learning Approach
Signcryption Secure Against Linear Related-Key Attacks
The Atlas ALGOL Preprocessor for Non-Standard Dialects
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas
A Generalised Interactive System for the Acquisition of Structured Data
The Size of Arrays for a Prime Implicant Generating Algorithm
Solution of systems of non-linear equations by parameter variation
The Formal Specification of the ISO Open Document Architecture (ODA) Standard
Service Availability in Concurrent Systems - Part II: Analysis and Case Studies Using HSIP
Efficient Region Layouts for Region-based Video Servers Employing Multi-zone Disks
The Stability of the Du Fort-Frankel Method for the Diffusion Equation with Boundary Conditions Involving Space Derivatives
How Powerful Are Run-Time Monitors with Static Information?
The QR Transformation A Unitary Analogue to the LR Transformation - Part 1
Accelerated Network Coding with Dynamic Stream Decomposition on Graphics Processing Unit
Integrating a Program Design Calculus and a Subset of UML
KORGAN: An Efficient PKI Architecture Based on PBFT Through Dynamic Threshold Signatures
A Translation Routine for the DEUCE Computer
A data collection and display system for a large-scale simulation
The Relational Model as a Basis for Document Retrieval System Design
An Integrated Approach to Automatic Management of Virtualized Resources in Cloud Environments
Ludgate's Analytical Machine of 1909
Feature Extraction Based Deep Indexing by Deep Fuzzy Clustering for Image Retrieval Using Jaro Winkler Distance
A Note on the Automatic Pretreatment of Polynomials
Experience with a Digital Computer in an Aeroplane Testing Establishment
Improved Results of Impossible Differential Cryptanalysis on Reduced FOX
Note on a New Information-Statistic Classificatory Program
Dataflow-Based Scheduling for Scientific Workflows in HPC with Storage Constraints
A New Parameterized Algorithm for Predicting the Secondary Structure of RNA Sequences Including Pseudoknots
An ALGOL 68 Package for Implementing Graph Algorithms
On Generating Set Index Functions for Randomized Caches
Revisiting Security Against the Arbitrator in Optimistic Fair Exchange
Computing Grounded Extensions Of Abstract Argumentation Frameworks
RCC - A User-Extensible Systems Implementation Language
MILP-based Related-Key Rectangle Attack and Its Application to GIFT, Khudra, MIBS
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets
And How to Avoid Them
An Application of a Computer to Wind Tunnel Design: 2
ChatGPT-driven machine learning code generation for android malware detection
Content-based image retrieval based on luminance and texture decomposition
From Entity-Relationship Diagrams to Fourth Normal Form: A Pictorial Aid to Analysis
High Storage Utilisation for Single-Probe Retrieval Linear Hashing
Fewer Monitors and More Efficient Controllability for Deadlock Control in S 3 PGR 2 (Systems of Simple Sequential Processes with General Resource Requirements)
A Design of a Data Model Based on Abstraction of Symbols
Binary Tree Code Words as Context-Free Languages