yusuke1997/dblp-id-title huggingface dataset:
Very Small FPGA Processor for Multivariate Signatures
Some Further Theoretical Results about Computer Viruses
Combinatorial Optimization on Graphs of Bounded Treewidth
Bounded Revocable and Outsourceable ABE for Secure Data Sharing
Compression of Digital Images by Block Truncation Coding: A Survey
Parallel Logic Programming
A File Index for Document Storage and Retrieval Utilizing. Descriptor Fragments
A Light Weight Depthwise Separable Layer Optimized CNN Architecture for Object-Based Forgery Detection in Surveillance Videos
Two-Party Signing For ISO/IEC Digital Signature Standards
Introduction to What is Computation
A General Theory of Classificatory Sorting Strategies: 1. Hierarchical Systems
A FORTRAN to FORTRAN Optimising Compiler
Converting Decision Tables to Computer Programs
Resource-Efficient Data Gathering in Sensor Networks for Environment Reconstruction
Irreducible Fuzzy Multiset Finite Automaton
Database Instances, Abstract Data Types and Database Specification
Correspondence between two types of trees
Adding Flexibility to Hybrid Number Systems
An Efficient Algorithm for Node-to-Node Routing in Hypercubes with Faulty Clusters
Attitudes, Association and Success of MIS: Some Empirical Results from Research in the Context of a Business Game
Structure Clashes
Simultaneous Fault Models for the Generation and Location of Efficient Error Detection Mechanisms
Context-Aware Authentication with Dynamic Credentials using Electricity Consumption Data
Event-Driven Object-Oriented System Modelling
Decision tables
The 3-extra Connectivity and Faulty Diagnosability
Medical Monitoring Applications for Wearable Computing
LITHP - an ALGOL List Processor
Boosting Text Compression with Word-Based Statistical Encoding
Syntactic Definition and Parsing of Molecular Formulae, Part 2: Graphical Synthesis of Molecular Formulae for Data Base Queries
Ternary logic in parallel multipliers
Compression with Wildcards: From CNFs to Orthogonal DNFs by Imposing the Clauses One-by-One
Prognosis and Prediction of Breast Cancer Using Machine Learning and Ensemble-Based Training Model
On Using Handoff Statistics and Velocity for Location Management in Cellular Wireless Networks
Diakoptics, Domain Decomposition and Parallel Computing
Decomposition of the Gozinto's Graph with the Use of a Nesting Store
FEDOS: A Finite Element Database for Offshore Structures
Software Quality Prediction for High-Assurance Network Telecommunications Systems
A Multipath Analysis of Biswapped Networks
Non-interactive Boolean Searchable Asymmetric Encryption With Bilateral Access Control
Aperiodic Tilings: Breaking Translational Symmetry
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
Optimal Fit Of Arbitrary Sized Segments
On the Application of Queueing Theory to Analysing On-Line Computing Systems
Turing Memorial Lecture
Data transmission optimization based on multi-objective deep reinforcement learning
Review: Book review: Data processing
Filters in SL5
Technical Note: Relating to the Parameter Values Given by Nelder and Mead in their Algorithm
CODIL: The Architecture of an Information Language
Evaluating Computer Systems through Simulation
Analysis of Speed of a Binary Divider Using a Variable Number of Shifts per Cycle
The Numerical Solution of Second-Order Differential Equations not Containing the First Derivative Explicitly
MapReduce and Optimized Deep Network for Rainfall Prediction in Agriculture
CalBehav: A Machine Learning-Based Personalized Calendar Behavioral Model Using Time-Series Smartphone Data
Implementation And Evaluation Of The mCityPASS Protocol For Secure And Private Access To Associated Touristic Services
Malicious Nodes Identification for Complex Network Based on Local Views
Acceptance Trials of Computer Systems for Government Use
Exploring Directional Path-Consistency for Solving Constraint Networks
Univariate Decision Tree Induction using Maximum Margin Classification
Analysis of a Modified Address Calculation Sorting Algorithm
Hierarchical Identity-Based Signature in Polynomial Rings
Randomized Receiver Initiated Load-balancing Algorithms for Tree-shaped Computations
A Source Code Similarity System for Plagiarism Detection
Unbiased training framework on deep reinforcement learning
Packet Scheduling and Congestion Control Schemes for Multipath Datagram Congestion Control Protocol
XENO: Computer-Assisted Compilation of Crossword Puzzles
Insecurity of 'Improved Anonymous Multi-Receiver Identity-Based Encryption'
Symbolic Gray Code As A Data Allocation Scheme For Two-Disc Systems
Montecode - an Interpretive Program for Monte Carlo Simulations
Library Planning for Automation
Optimal Algorithms for 2 [times] n Mastermind Games-a Graph-Partition Approach
Estimating computer performance
Note on the solution of certain tri-diagonal systems of linear equations
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks
The Definition and Implementation of Lsix in BCL
Corporate Planning, Models and Computer Systems
Criteria-Based Encryption
Building Sub-Knowledge Bases Using Concept Lattices
A Performance Optimization Mechanism for SSD in Virtualized Environment
Dynamic Task Allocation for Heterogeneous Agents in Disaster Environments Under Time, Space and Communication Constraints
Comment on 'A Framework for Modelling Trojans and Computer Virus Infection'
A Modified Firefly Deep Ensemble for Microarray Data Classification
Obtaining Solutions of the Navier-Stokes Equation by Relaxation Processes
BFT-TO: Intrusion Tolerance with Less Replicas
Comparing the Optimal Performance of Parallel Architectures
Face Recognition with Discriminating 3D DCT Coefficients
Improved Partial-Match Search Algorithms for BD Trees
Towards a Framework to Choose Appropriate IS Approaches
Computer Design of Electricity Supply Networks by a Heuristic Method
ALGOL Survey Program
A Direct Ordering, Recording and Invoicing System
K th min Threshold Encryption for Privacy-preserving Data Evaluation
Book Review: Nonlinear Programming - Sequential Unconstrained Minimization Techniques, by A. V. Fiacco and G. P. McCormick, 1969; 210 pages
A Seamed Quadratic Element for Contouring
Disjoint paths construction algorithm in the data center network DPCell
Discriminative Correlation Filter for Long-Time Tracking
Planar and Quasi-Planar Simultaneous Geometric Embedding
Communication-Minimal Partitioning and Data Alignment for Affine Nested Loops
Fast Multi-Scale Detection of Relevant Communities in Large-Scale Networks
A Method to Estimate the I/O Buffer Size in a Computer System
Occupancy of a Rectangular Array
The Coordination of Distributed Active Messages in a Dynamic Network Topology
Individual and Organisational Factors and the Design of IPSEs
Database Consistency and the CODASYL DBTG Proposals
Decentralized Monitoring of Moving Objects in a Transportation Network Augmented with Checkpoints
O(1) Time Algorithms for Combinatorial Generation by Tree Traversal
Detection of 2D and 3D Video Transitions Based on EEG Power
HopeDetect: a multicomponent deep learning framework for hope detection in Kurdish language
Characterizations of Minimum Structure- and Substructure-Cuts of Hypercubes
Security Risk Assessment of Critical Infrastructure Systems: A Comparative Study
A hybrid architecture for secure data sharing in multi-clouds system
Combining Encryption and Proof of Knowledge in the Random Oracle Model
A Fast Radix-4 Floating-Point Divider with Quotient Digit Selection by Comparison Multiples
Accounting for the soldier's pay
Q Charts - A Method of Specification
Glaucoma Detection Using Multiple Feature Set With Recurrent Neural Network
A Highly Adaptive and Efficient Router Architecture for Network-on-Chip
A New Approach to the 'Hidden Line' Problem
An Entropy Approach to Solving Some Network Reliability Problems
Machine Learning Support for EU Funding Project Categorization
A Novel Permission Hierarchy for RBAC for Dealing with SoD in MAC Models
Derivation of Sorting Algorithms from a Specification
Weighted Stego-Image Steganalysis of Messages Hidden into Each Bit Plane
Numerical quadrature in n dimensions
Boolean Minimisation
QoS Enhancement In VoD Systems: Load Management And Replication Policy Optimization Perspectives
Editorial: Working with Multimedia Standards: MPEG-7, MPEG-21 and H.264
Comparing Degrees of Non-Determinism in Expression Evaluation
Formatting and display of ALGOL expressions
Super Structure Fault-Tolerance Assessment of the Generalized Hypercube
A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages
Workflow Concurrency Control
A One-Dimensional Probabilistic Convolutional Neural Network for Prediction of Breast Cancer Survivability
A Novel Framework for Self-Organizing Lists in Environments with Locality of Reference: Lists-on-Lists
Clustering-Evolutionary Random Support Vector Machine Ensemble for fMRI-Based Asperger Syndrome Diagnosis
Summarization of Twitter Microblogs
Cancellation Meadows: A Generic Basis Theorem and Some Applications
Source Language Debugging on a Small Computer
Cryptanalysis of Loiss Stream Cipher
Novel Leakage-Resilient Attribute-Based Encryption from Hash Proof System
Combinatorial Compression and Partitioning of Large Dictionaries
Effects of Edge Centrality on Random Walks on Graphs
Fixed Point Solutions of Recursive Operations on Boolean Arrays
Batched Interpolation Search
Chronos: An Efficient Asynchronous Byzantine Ordered Consensus
Comments on the BCS Lecture "The Future of Computer Technology and its Implications for the Computer Industry" by Professor Steve Furber
Parallel Multisection Applied to the Eigenvalue Problem
Design and Implementation of Video Streaming Hot-plug between Wired and Wireless Networks Using SCTP
A least squares method for Laplace's equation with Dirichlet boundary conditions
The use of comparison series in analysing iteration functions
An Improved Algorithm for the Jardine-Sibson Method of Generating Overlapping Clusters
A Geometric Reasoning Tool Based on a Successive Improvement Approach
Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
Impact of Semantic Heterogeneity and Federating Databases
The Collision Avoidance and Situation-Aware Media Access Scheme Using the Registered-Backoff-Time Method for the IEEE 802.11ah-Based IoT Wireless Networks
External Sorting on Flash Memory Via Natural Page Run Generation
A Grid Service-Based Virtual Screening System
Hamiltonian Cycle and Path Embeddings in k-Ary n-Cubes Based on Structure Faults
Corrigendum to: IoT Data Quality Issues and Potential Solutions: A Literature Review
CyberEyes: Cybersecurity Entity Recognition Model Based on Graph Convolutional Network
DoA-Based Event Localization Using Uniform Concentric Circular Array in the IoT Environment
Distributed Programming with a Logic Channel Based Coordination Model
Generating Regular k-ary Trees Efficiently
Generation of Permutation Sequences: Part 1
The Expected Distribution of Degrees in Random Binary Search Trees
Some Properties of the Rotation Lattice of Binary Trees
Computer Efficiency and Linear Programming
A Formal Specification of the QMC Message System: The Underlying Abstract Model
Automated Detection of Oral Pre-Cancerous Tongue Lesions Using Deep Learning for Early Diagnosis of Oral Cavity Cancer
Conditions for Underflow and Overflow of an Arithmetic Stack
A New Technique for Enhancing Linked-List Data Retrieval: Reorganize Data Using Artificially synthesized Queries
Sensitivity Analysis of Conflicting Goals in the i * Goal Model
Provably Secure Password-Based Three-Party Key Exchange With Optimal Message Steps
Cascaded Multi-level Transformed Dirichlet Process for Multi-pose Facial Expression Recognition
A Temporal Database Model Supporting Relative and Absolute Time
Speeding Up GDL-Based Message Passing Algorithms for Large-Scale DCOPs
Computation of the Latent Roots of a Hessenberg Matrix by Bairstow's Method
Loopless Generation of Schröder Trees
Worst Case Fragmentation of First Fit and Best Fit Storage Allocation Strategies
Automatic Error Bounds for Real Roots of Polynomials Having Interval Coefficients
The Random Neural Network: A Survey
A Multiprocessor Architecture for Solving Spatial Problems
Marking and Evaluating Class Tests and Examinations by Computer
Book Reveiw: The Application of Matrix Theory to Electrical Engineering, by W. E. Lewis and D. G. Pryce, 1966; 195 pages
Editorial Performance Engineering of Communication Systems and Applications
Fair Energy-Efficient Sensing Task Allocation in Participatory Sensing with Smartphones
Some Parameterized Problems On Digraphs
Reliability of Complete Cubic Networks under the Condition of g-Good-Neighbor
Combining MPEG Tools to Generate Video Summaries Adapted to the Terminal and Network
Locating Information with Uncertainty in Fully Interconnected Networks with Applications to World Wide Web Information Retrieval
Simulating the Behaviour of Computer Systems: Co-Simulation of Hardware/Software
Parameterized Complexity of Cardinality Constrained Optimization Problems
The handling of multiway tables on computers
Structuring Spatially Related Meta-Information for Effective Entry and Retrieval
Point Visibility of Polygonal Regions
A Web Browser Fingerprinting Method Based on the Web Audio API
Retrieving Semantic Image Using Shape Descriptors and Latent-Dynamic Conditional Random Fields
An Attempt to Simulate the Liver on a Computer
F2PQNN: a fast and secure two-party inference on quantized convolutional neural networks
The Cyclic Towers of Hanoi: A Representation Approach
Computation, Uncertainty and Risk
Liveness for Synchronized Choice Petri Nets
Iterative schemes for high speed division
On Data Compaction of Scanning Curves
Weighted Decision Tables - An Alternative Solution for Ambiguity
ARC: A Specification Language for Communicating Systems
Symmetries in Data Parallelism
A Systolic Array Solution for the Assignment Problem
On Instruction Set Encoding
Self-Adjusting of Ternary Search Tries Using Conditional Rotations and Randomized Heuristics
A Random Forest Classification Algorithm Based Personal Thermal Sensation Model for Personalized Conditioning System in Office Buildings
Levenberg - Marquardt Training Algorithms for Random Neural Networks
All-Against-All Circular Pattern Matching
Error Correction and Detection, a Geometric Approach
A Recursive Performance Formula of the Disc Modulo Allocation Method for Binary Cartesian Product Files
An Introduction to the Formal Specification of Relational Query Languages
Chronological Sailfish Optimizer for Preserving Privacy in Cloud Based on Khatri-Rao Product
Throughput Optimization for Energy Harvesting Cognitive Radio Networks with Save-Then-Transmit Protocol
Towards a Problem-Solving Methodology for Coping with Increasing Complexity: An Engineering Approach
A specialized autocode for the analysis of replicated experiments
Romberg integration for a class of singular integrands
Friends-Based Crowdsourcing: Algorithms For Task Dissemination Over Social Groups
Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions
Automating Data Mart Construction from Semi-structured Data Sources
Local Memory Design Space Exploration for High-Performance Computing
Minimum Linear Arrangement of Incomplete Hypercubes
Decentralized Dynamic Task Allocation Using Overlapping Potential Games
Integrating Wireless Sensors and RFID Tags into Energy-Efficient and Dynamic Context Networks
Expanding the Solutions of Implicit Sets of Ordinary Differential Equations in Power Series
Efficient and Fully CCA Secure Conditional Proxy Re-Encryption from Hierarchical Identity-Based Encryption
PMCTrack: Delivering Performance Monitoring Counter Support to the OS Scheduler
Predicting the Location and Time of Mobile Phone Users by Using Sequential Pattern Mining Techniques
Construction of Deadlock-free Designs of Communication Protocols from Observation
GPU Prefilter for Accurate Cubic B-spline Interpolation
Self-Stabilizing Local Routing in Ad Hoc Networks
Performance Comparison of I/0 Access Disciplines for Transaction-Processing Systems
MS-DFA: Multiple-Stride Pattern Matching for Scalable Deep Packet Inspection
A tree-search algorithm for mixed integer programming problems
On F5 Steganography in Images
The L (2, 1)-Labeling Problem on Oriented Regular Grids
Orange4WS Environment for Service-Oriented Data Mining
Security Analysis and Improvement of a Redactable Consortium Blockchain for Industrial Internet-of-Things
Simulation Tools in Computer System Design Methodologies
Parallel Fuzzy Regular Expression and its Conversion to Epsilon-Free Fuzzy Automaton
Functional Programming for Concurrent and Distributed Computing
A Binary Tree Representation and Related Algorithms for Generating Partitions
Cooperative Overtaking Assistance System Based on V2V Communications and RTDB
An Advice Program for a Complex Chess Programming Task
Object-Oriented Graph-Based Geometric Feature Recognition
Applied Multi-Dimensional Fusion
Hybridized Cuckoo Search with Multi-Verse Optimization-Based Patch Matching and Deep Learning Concept for Enhancing Video Inpainting
Book Review: Semi-Groups of Operators and Approximation, by Paul L. Butzer and Hubert Berens, 1967; 318 pages
Jumping About and Getting into a State
Intra-Tile Parallelization for Two-Level Perfectly Nested Loops With Non-Uniform Dependences
Solving Nonlinear Vandermonde Systems
ALP: An Autocode List-Processing Language
An Electrical Circuit and Computer System Analogy
Smart-Context: A Context Ontology for Pervasive Mobile Computing
Query Optimisation in Distributed Object-Oriented Database Systems
Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland
On Optimal Blocking of Sequential Files
Similarity of XML-Schema Elements: A Structural and Information Content Approach
Orthogonal Persistence in a Heterogeneous Distributed Object-Oriented Environment
A Reified Temporal Logic
Efficient Implementation of Binary Trees in LISP Systems
KALDAS, an Algorithmically Based Digital Simulation of Analogue Computation
Book Review: Elementary Numerical Analysis (an algorithmic approach), by S. D. Conte, 1965; 278 pages
Arguments and Results
The Checking of Computer Logic by Simulation on a Computer
Debugging and assessment of control programs for an automatic radar
Non-transferable Proxy Re-encryption
A Roman Urdu Corpus for sentiment analysis
NODSTAC: Novel Outlier Detection Technique Based on Spatial, Temporal and Attribute Correlations on IoT Bigdata
Semantic Image Retrieval in a Grid Computing Environment Using Support Vector Machines
The auditor and electronic data processing
Fully Privacy-Preserving ID-Based Broadcast Encryption with Authorization
A Break Of Barrier To Classical Differential Fault Attack On The Nonce-Based Authenticated Encryption Algorithm
Procedure Closure in EL1
Corrigendum: "Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion"
SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy
The Automatic Solution of Systems of Ordinary Differential Equations by the Method of Taylor Series
Computers and Commerce: 1
A Simulation of Melting Shop Operations
Research on Unexpected DNS Response from Open DNS Resolvers
On the Effect of the Key-Expansion Algorithm in Simon-like Ciphers
Adaptive Cross-Lingual Question Generation with Minimal Resources
Selling Television Time: An Optimisation Problem
Review: Network Recovery: Protection and Restoration of Optical, SONET-SDH, IP, and MPLS
The Cyclic Diagnosability Of Hypercubes Under The PMC Model And The MM* Model
Explicit Upper Bound Of Impossible Differentials For AES-Like Ciphers: Application To uBlock And Midori
SMML Estimators for 1-Dimensional Continuous Data
UK Performance Engineering Workshop 2010
Cost-Aware Capacity Provisioning for Internet Video Streaming CDNs
A Yolo-like lightweight ship detection network for unmanned surface vehicles
Spatio-temporal traffic flow forecasting based on second-order continuous graph neural network
Video Anomaly Detection Using the Optimization-Enabled Deep Convolutional Neural Network
Finding a Friendly Community in Social Networks Considering Bad Relationships
Double Auction for Joint Channel and Power Allocation in Cognitive Radio Networks
The Guide Language
NEBULA: A Programming Language for Data Processing
Function Minimisation Using the Nelder and Mead Simplex Method with Limited Arithmetic Precision: The Self Regenerative Simplex
2D Motif Basis Applied to the Classification of Digital Images
Formal Specification of Concurrent Systems: A Structured Approach
BigFeel - A Distributed Processing Environment for the Integration of Sentiment Analysis Methods
Proof and validation of program correctness
Iterative analogue computation applied to inventory policy simulation
Computation and Information
An algorithm for scheduling storage on a non-paged computer
Probabilistic Retrieval Revisited
A SNAP-Based Community Resource Broker Using a Three-Phase Commit Protocol: A Performance Study
Refinements of MDL and MML Coding
On the File Allocation for Power-2 Cartesian Product Files
The Need for Being Explicit: Failed Attempts to Construct Implicit Certificates from Lattices
Analysis Performance Of Image Processing Technique Its Application by Decision Support Systems On Covid-19 Disease Prediction Using Convolution Neural Network
Probabilistic Public Key Encryption for Controlled Equijoin in Relational Databases
Review: Distributed Multimedia Database Technologies Supported by MPEG-7 and MPEG-21
An Empirical Evaluation of Random Testing
Bounded Leakage-Resilient Functional Encryption with Hidden Vector Predicate
Identification and Localization of the Jammer in Wireless Sensor Networks
Join and Semi-join Algorithms Based on Partial-relation Schemes
Gaussian process regression based on random projections and dynamic pseudo-input selection
LraSched: Admitting More Long-Running Applications via Auto-Estimating Container Size and Affinity
An impossible program
Compressed Quad Trees
Variable metric methods of minimisation
Reply to 'Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen
Secure Image Retrieval Based on Visual Content and Watermarking Protocol
The Deadly Embrace - A Finite State Model Approach
Software Failure Prediction Based On Program State and First-Error Characteristics
Book-Review
The underground storage of compressed air for gas turbines: a dynamic study on an analogue computer
The Expected Performance of Traversal Algorithms in Binary Trees
Implicit integration processes with error estimate for the numerical solution of differential equations
A Software Engineering Model for Case Memory System
A Data Dictionary for Learning Data Analysis
Book Review: Indices and Primitive Rootss, by A. E. Western and J. C. P. Miller 1968; 385 pages
Software-Defined System Support for Enabling Ubiquitous Mobile Edge Computing
Attacking Anonymous Web Browsing at Local Area Networks Through Browsing Dynamics
An Identity-Based Multi-Proxy Multi-Signature Scheme Without Bilinear Pairings and its Variants
Some Rules for Introducing Indexing Paths in a Primary File
An Historical Study of the Beginnings of Packet Switching
A Parallel Framework for In-Memory Construction of Term-Partitioned Inverted Indexes
CRESTS - Courtaulds Rapid Extract, Sort and Tabulate System
Femur Bone Volumetric Estimation for Osteoporosis Classification Using Optimization-Based Deep Belief Network in X-Ray Images
The State of the Art - (b) Computers in British Universities
Compilation via an Intermediate Language
Run Time Interaction with FORTRAN Using Mixed Code
The Performance Impact of Exploiting Branch ILP with Tree Representation of ILP Code
A generic multi-level framework for building term-weighting schemes in text classification
Computer Architecture for Solving Consistent Labelling Problems
Byte2vec: Malware Representation and Feature Selection for Android
GRIDS - A Parallel Programming System for Grid-Based Algorithms
An Introduction to Analogue Computer Methods
A Truly Random Number Generator Based on a Pulse-Excited Cross-Coupled Chaotic Oscillator
Compression of a Set of Files with Natural Language Content