yusuke1997/dblp-id-title huggingface dataset:
Identity-Based Encryption With Continuous Leakage-Resilient CCA Security From Static Complexity Assumption
An Application of the Monte Carlo Method to the Evaluation of Some Molecular Integrals
A Bayesian Optimization Approach to Compute Nash Equilibrium of Potential Games Using Bandit Feedback
Application Level Microcode to Speed Data Base Management
A Fast Algorithm for the Towers of Hanoi Problem
Image Retrieval System Based on Adaptive Color Histogram and Texture Features
Innovative Computational Methods for Transcriptomic Data Analysis: A Case Study in the Use of FPT for Practical Algorithm Design and Implementation
Test Sequence Generation For Integration Testing Of Component Software
Performance Study of Independent Anchor Spaces for Similarity Searching
Automation Theory and Learning Systems
Elements of BLM
A Novel Data Mining on Breast Cancer Survivability Using MLP Ensemble Learners
Parallel Sorting on a Re-Circulating Systolic Sorter
Numerical method for Calculating the Dynamic Behaviour of a Trolley Wire Overhead Contact System for Electric Railways
A Randomized Partitioning Approach for CBR-Based Autonomic Systems to Improve Retrieval Performance
CM-UTC: A Cost-sensitive Matrix based Method for Unknown Encrypted Traffic Classification
SCHEMAL: Yet Another Conceptual Schema Definition Language
Denotational Semantics of a Command Interpreter and Their Implementation in Standard ML
Bringing Cost Into File Design Decisions
MeSH-Based Semantic Indexing Approach to Enhance Biomedical Information Retrieval
Jumping to Some Purpose
Key Space Compression and Hashing in PRECI
Target-specific sentiment analysis method combining word-masking data enhancement and adversarial learning
The Theory of Left Factored Languages: Part 2
The Rotating Bus as a Basis for Interprocess Communication in Distributed Systems
Erratum to: A Hybrid Machine Learning Approach for Performance Modeling of Cloud-Based Big Data Applications
Methods of profile optimisation by iterative analogue computation
The Implications of SGML for the Preparation of Scientific Publications
Dynamic-SoS: An Approach for the Simulation of Systems-of-Systems Dynamic Architectures
Hardware Accelerator to Detect Multi-Segment Virus Patterns
Determining the Worst-case Synchronous Message Response Time in FDDI Networks
Editorial: Building Adaptivity into Computer Networks
Adapting Calculational Logic to the Undefined
PNCTS: A Prediction and Network Coding-Based Transmission Scheme for Efficient Screen Updates Delivery in DaaS
CONSIM: A Study of Control Issues in Conversational Simulation
Design of a MANET Testbed Management System
The Incremental Searcher Satisfaction Model for Information Retrieval
A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory
Metric Space- Based Test-Data Adequacy Criteria
The (Im)Possibility on Constructing Verifiable Random Functions
Operating Experience with FORTRAN
On the Consistency of Multi-Valued Functions
Using Ontologies for Business Capability modelling: Describing What Services and Processes Achieve
Information Transferral Within a Distributed Data Base Via a Generalised Mapping Language
A Framework for Cooperative Control Applied to a Distributed Sensor Network
Efficient Semantic Information Exchange for Ambient Intelligence
Book Review: Switching Theory, by R. E. Miller. Vol. I, Combinational circuits, 1965; 351 pages. Vol. II, Sequential circuits and machines, 1966; 250 pages
Prediction of Li-Ion Battery Discharge Patterns in IoT Devices Under Random Use Via Machine Learning Algorithms
Optimising and Executing DAPLEX Queries Using Prolog
Brousentsov's Ternary Principle, Bergman's Number System and Ternary Mirror-symmetrical Arithmetic
Some general implicit processes for the numerical solution of differential equations
Privacy-Aware Image Authentication from Cryptographic Primitives
Review: Book review: Computer organization
Techniques for program error diagnosis on EDSAC 2
Analysis of Disc Fragmentation Using Markov Chains
Drawability of Complete Graphs Using a Minimal Slope Set
An Algorithm for Solving Nonlinear Programming Problems Subject to Nonlinear Inequatlity Constraints
Yet More Circle Generators
The background of the PERT algorithm
A Secure Diverse Ticket-Sale System in a Distributed Cloud Environment
A Trust Routing for Multimedia Social Networks
Internet Failures: an Emergent Sea of Complex Systems and Critical Design Errors?
Database - The Ideas Behind the Ideas
Lists and Why They are Useful
MAC-REALM: A Video Content Feature Extraction and Modelling Framework
Lower Bounds for One-to-one Packet Routing on Trees using Hot-Potato Algorithms
Toward Both Privacy and Efficiency of Homomorphic MACs for Polynomial Functions and Its Applications
Using Distributed Hypermedia for Collaborative Learning in Universities
A clustering ensemble algorithm for handling deep embeddings using cluster confidence
Path Problems in Structured Graphs
A University Faculty Timetable
Coverless Image Steganography Using Content-Based Image Patch Retrieval
An Offset Vector Iteration Method for Solving Two-Point Boundary-Value Problems
International Conference on Information Processing Paris 15-20 June 1959
A Verifiable Symmetric Searchable Encryption Scheme Based on the AVL Tree
Conditional Diagnosability of Burnt Pancake Networks Under the PMC Model
On Instantiation and Integration Commutability of Design Pattern
A Fast-Carry Adder with CMOS Transmission Gates
On the Origin of Recursive Procedures
CD-BCM:Cross-Domain Batch Certificates Management Based On Blockchain
Artificial Intelligence Surpassing Human Intelligence: Factual or Hoax
A Comprehensive Framework for Specifying Clairvoyance, Constraints and Periodicity in Real-Time Scheduling
Ultra Dense Cells Management and Resource Allocation in Green Software-Defined Wireless Networks
Spiral - A New Algorithm for Non-Linear Parameter Estimation Using Least Squares
Flow-Level Analysis of Energy Efficiency Performance for Device-to-Device Communications in OFDM Cellular Networks
A Unified Framework to Discover Permutation Generation Algorithms
A Multimedia Information System For IC Failure Analysis
Non-Deterministic FORTRAN
Sorting Trains
Perceptual Image Hashing Based on Canny Operator and Tensor for Copy-Move Forgery Detection
Note on Rapid Instruction Analysis by Table Lookup
Programming a Parallel Computer for Robot Vision
A Smart Disaster Management Framework For Wildfire Detection and Prediction
Interrogating Data-Sensitive Files
The Solution of Mutual Exclusion Problems which can be Described Graphically
An Energy-Efficient Routing Protocol Using Movement Trends in Vehicular Ad hoc Networks
An empirical estimate of the relative error of the computed solution x of Ax = b
Quadtree Algorithms for Contouring Functions of Two Variables
Efficient Implementation of Detection of Undefined Variables
A Dynamic Database Which Automatically Removes Unwanted Generalisation for the Efficient Analysis of Language Features that Exhibit a Disparate Frequency Distribution
The Solution of Linear Differential Equations in Chebyshev Series
A Keyword Index File of British Book Titles
Area Convergence of Monoculus Robots With Additional Capabilities
Pyramidic Clustering of Large-Scale Microarray Images
Complex Network Analysis-Based Graph Theoretic Metrics to Determine Stable Data Gathering Trees for Mobile Sensor Networks
Hybrid Computing Techniques for Solving Parabolic and Hyperbolic Partial Differential Equations
Intelligent Computing: Knowledge Acquisition Method Based on the Management Scale Transformation
Functional Dependencies with null Markers
Computers and Commerce: 4 - Management and Control
Full Table Quadratic Quotient Searching
Weakness and Improvement of a Certificate-Based Key-Insulated Signature in the Standard Model
Improved HotStuff consensus algorithm based on reputation mechanism grouping
Properties of Binary Trees Related to Position
Program Generators and Generation Software
Ordered Ports - A Language Concept for High-Level Distributed Programming
A Flexible Algorithm for Multiprocessor Ray Tracing
LEAPS - the first three years
A Chebyshev series method for the numerical solution of Fredholm integral equations
The Reduced Ceiling Protocol for Concurrency Control in Real-time Databases with Mixed Transactions
'Will I Regret for This Tweet?' - Twitter User's Behavior Analysis System for Private Data Disclosure
The Windscale On-Line Computing System
A Runge-Kutta Method for the Numerical Solution of the Goursat Problem in Hyperbolic Partial Differential Equations
Encrypted Pointers in Protection System Design
A Resilient P2P Architecture for Mobile Resource Sharing
Loading Cost-Aware Model Caching And Request Routing In Edge-enabled Wireless Sensor Networks
SEL - A Self-Extensible Programming Language
Specifying a New Requirement Model for Secure Adaptive Systems
A Web-Based Personalized Mobility Service for Smartphone Applications
A graphical technique for numerical input
A Linear-Time Constant-Space Algorithm for the Boundary Fill Problem
Text Summarization as a Multi-objective Optimization Task: Applying Harmony Search to Extractive Multi-Document Summarization
Integrated accounting using a variety of equipment
An Implementation of Structured Programming in APL
Space Efficient Copying Storage Recovery
A Categorization Framework for Common Computer Vulnerabilities and Exposures
An Improved Contextual Advertising Matching Approach based on Wikipedia Knowledge
Computing Dirichlet Tessellations
A Bayesian Discretizer for Real-Valued Attributes
On Grain-Like Small State Stream Ciphers Against Fast Correlation Attacks: Cryptanalysis of Plantlet, Fruit-v2 and Fruit-80
An Automatic Method for Finding the Greatest or Least Value of a Function
An Analysis of a Hydro-electric System
A System Program Generator
Control and Simulation Language
Automatic Translation of VDM Specifications into Standard ML Programs (Short Note)
Simulation of a paging computer system
Exact Distance Query in Large Graphs through Fast Graph Simplification
An Energy-Efficient Distributed Cut Vertex Detection Algorithm for Wireless Sensor Networks
User Tracking and Mobility Management Algorithm for Wireless Networks
Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics
Deep Reinforcement Learning with Adaptive Update Target Combination
Deadlock Prevention in Process Control Computer Systems
Biological Computation
Online/Offline Attribute-Based Boolean Keyword Search For Internet Of Things
Writing Concurrent Object-Oriented Programs Using Smalltalk-80
On Estimating Best Approximations of Functions Defined by Integral Equations
Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining
Classification Model on Big Data in Medical Diagnosis Based on Semi-Supervised Learning
A High-Order Crank-Nicholson Technique for Solving Differential Equations
On the Role of Ambiguity and Incompleteness in the Design of Decision Tables and Rule-Based Systems
Breast Cancer Mass Classification Using Machine Learning, Binary-Coded Genetic Algorithms and an Ensemble of Deep Transfer Learning
Impulse-Noise Resistant Color-Texture Classification Approach Using Hybrid Color Local Binary Patterns and Kullback-Leibler Divergence
Modeling the Input History of Programs for Improved Instruction-Memory Performance
Certificateless Signatures: New Schemes and Security Models
Recognition and Representation of Hierarchy of Polygons with Holes
Anonymization of face images with Contrastive Learning
Removing Watermarks For Image Processing Networks Via Referenced Subspace Attention
The Period of Search for the Quadratic and Related Hash Methods
A Message-Passing Approach to Decentralized Parallel Machine Scheduling
Persistent Views-A Mechanism for Managing Ageing Data
Computers and the small firm: 1
An Assembly Program for a Phrase Structure Language
A Data Dictionary Approach to Teaching Information Systems Analysis
A Technique for Detecting Plagiarism in Computer Code
Group Migration by Mobile Agents in Wireless Sensor Networks
Relating Event and Trace Semantics of Hardware Description Languages
Optimum Extrapolated ADI Iterative Difference Schemes for the Solution of Laplace's Equation in Three Space Variables
A Model for an ISAM File with Multiple Overflow Chains
A Modification of the Osborne and Watson Algorithm for Nonlinear Minimax Approximation
OS6 - an experimental operating system for a small computer. Part 1: general principles and structure
Swarm Robots: From Self-assembly to Locomotion
Aging Facial Recognition for Feature Extraction Using Adaptive Fully Recurrent Deep Neural Learning
Nonlinear Programming Test Problems
New Meet-in-the-Middle Attacks on FOX Block Cipher
Hash Table Collision Handling on Storage Devices with Latency
Improving Problem-Oriented Language by Stratifying It
FunZ: An Intermediate Specification Language
Structural analysis and classification of search interfaces for the deep web
Computer Assisted Animation: 2D or not 2D?
Correction to: Perceptual Image Hashing Based on Canny Operator and Tensor for Copy-Move Forgery Detection
An Augmented Pancyclicity Problem of Crossed Cubes
The Probable Outcomes of a Data Processing Project
Two Decades of Random Neural Networks
Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems
ISLAND - An Interactive Graphics System for Mathematical Analysis
A Phase-Based Approach for On-Chip Bus Architecture Optimization
Problems of Auditing Computer Data: Section 2: The External Auditor and Computers
Safe Structural Conformance for Java
Design and Implementation of Extended Boolean and Comparison Operators for Time-Oriented Query Languages
Ten Years of Computer Development
Wait-Free Handshaking Using Rainbow Colouring
Template Attack Assisted Linear Cryptanalysis on Outer Rounds Protected DES Implementations
Machine Intelligence 2
Low-Data Cryptanalysis On SKINNY Block Cipher
The Performance of a Relational Interface to a Codasyl Database
Extensions to the Heuristic Algorithm for University Timetables
Exploiting Wikipedia Knowledge for Conceptual Hierarchical Clustering of Documents
A Deductive Approach to Temporal Databases
A Concept Forensic Methodology For The Investigation Of IoT Cyberincidents
An Efficient External Sort Algorithm with no Additional Space (Short Note)
Note on the Classification of Multi-Level Data
Designing Scenarios for In-Organization Training Using the CyberCIEGE Game
Cyclic Properties of Pseudo-Random Sequences of Mersenne Prime Residues
A Structural Evolution-Based Anomaly Detection Method for Generalized Evolving Social Networks
Secure Testable S-box Architecture for Cryptographic Hardware Implementation
Deep Learning-Based Cyberbullying Detection in Kurdish Language
2L-LSH: A Locality-Sensitive Hash Function-Based Method For Rapid Point Cloud Indexing
Hardware Addition Over Finite Fields Based On Booth-Karatsuba Algorithm
Lessen Interflow Interference Using Virtual Channels Partitioning
On the Expressiveness of Links in Hypertext Systems
An Algebra for Structured Text Search and a Framework for its Implementation
The Alpha of Indulgent Consensus
Invitation to Fixed-Parameter Algorithms: Parameterized Complexity Theory: Parameterized Algorithmics: Theory, Practice and Prospects
Where Next? Some Conjectures on the Future of the Large-scale Computer in Integrated Commercial Work
Interval Domains and Computable Sequences: A Case Study of Domain Reductions
Corrigendum to: Deep Learning in Age-invariant Face Recognition: A Comparative Study
Note on the Numerical Solution of Linear Differential Equations with Constant Coefficients
Moppet: A Model-Driven Performance Engineering Framework for Wireless Sensor Networks
A Stochastic Causality-Based Process Algebra
Numerical solution of the differential equations of a synchronous generator
Discussion and Correspondence: Note on the twenty-five most cited papers in some leading journals
A Multi-Objective Load Balancing System for Cloud Environments
The structure of the MU5 operating system
A Policy Model and Framework for Context-Aware Access Control to Information Resources†
Type Inference to Optimize a Hybrid Statically and Dynamically Typed Language
On the calculation of orthogonal vectors
An Interactive Approach for the Solution of a Class of Discrete Optimisation Problems
Binary-Relational Storage Structures
CATI++: empirical study and evaluation for adjacent instruction enhanced type inference
Starting Approximations for the Iterative Calculation of Square Roots
An error analysis of Goertzel's (Watt's) method for computing Fourier coefficients
An Approximation Algorithm for Secondary Index Selection in Relational Database Physical Design
In situ, Stable Merging by Way of the Perfect Shuffle
Improved File-injection Attacks on Searchable Encryption Using Finite Set Theory
CORPS: Building a Community of Reputable PeerS in Distributed Hash Tables
An Optimized Deep Belief Network for Land Cover Classification Using Synthetic-Aperture Radar Images and Landsat Images
Book Review: Mathematical Linguistics in Eastern Europe, by Ferenc Kiefer, 1968; 180 pages
Efficient Algorithms for MultiPolynomial Resultant
Quantum Programming Languages: An Introductory Overview
Super-Resolution Reconstruction Algorithm To MODIS Remote Sensing Images
Context-Aware Integrated Scheme for Mobile Cloud Service Allocation
An Algorithm for the Calculation of the Pseudo-Inverse of a Singular Matrix
Multiple Error Filtering in Cyclic Systems
VLSI Binary-Residue Converters for Pipelined Processing
Local Smoothing by Polynomials in n Dimensions
Effective User Preference Clustering in Web Service Applications
Extended Attribute Grammars
The Path-Structure Connectivity of Augmented k -ary n -cubes
Errata to Errata
An Architectural Framework for the Design, Analysis and Implementation of Interactive Systems
Experiments with Word-by-Word Compression of English Text using Lexicons
An Energy-Efficient Step-Counting Algorithm for Smartphones
Space Multiplexing of Waveguides in Optically Interconnected Multiprocessor Systems
An Evaluation of Real-Time Transaction Management Issues in Mobile Database Systems
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras
An Analysis of Spiral Hashing
Probabilistic Estimation for Routing Space
CAM02: A Structured Precedence Analyser
Optimizing Object-based Multimedia Delivery Across Bandwidth Constrained Networks
MLH-IDS: A Multi-Level Hybrid Intrusion Detection Method
How Not To Design An Efficient FHE-Friendly Block Cipher: Seljuk
Combinatorial methods in the theory of stochastic processes
A Chinese Grammatical Error Correction Model Based On Grammatical Generalization And Parameter Sharing
S.O.R. and Membranes
The impact on Universities of the expansion in their computer facilities
Mobility Management Scheme for Fixed Mobility Pattern Mobile Users in IPv4 Networks
Incorrectly Generated RSA Keys: How I Learned To Stop Worrying And Recover Lost Plaintexts
Calculating Earthworks Volumes - An Exercise in Geometric Algorithms
SOAP - A Program which Documents and Edits ALGOL 60 Programs
Algorithm-Switching-Based Last-Level Cache Structure with Hybrid Main Memory Architecture
A Generic Analogy-Centered Software Cost Estimation Based on Differential Evolution Exploration Process
Fixed versus selfmodifying programs
An Orthogonal Genetic Algorithm for QoS-Aware Service Composition
Managing Latency and Buffer Requirements in Processing Graph Chains
Book Review: Journal of Differential Equations, Volume 1, Number 1, edited by J. P. La Salle, 1965; 113 pages
Validation of an Analytic Model of Computer Performance
Computer Usage Control
Minimizing the Range for k -Covered Paths on Sensor Networks
Enhance Trust Management in Composite Services with Indirect Ratings
Function minimization by conjugate gradients
Simultaneous Equations and Linear Programming
A New Residue Number System with 5-Moduli Set: {2 2 q , 2 q ±3, 2 q ±1}
Bounds for the optimum over-relaxation factor for the S.O.R. solution of Laplace type equations over irregular regions
Language and List Structure of a Compiler for Experimental Control
Study on the Limitations of WS-BPEL Compositions Under Load Conditions
Pattern Matching Model for Recognition of Stone Inscription Characters
Problems of Local Authorities in Data Processing
Enumerating Proofs of Positive Formulae
Efficient Reversible Data Hiding Using Multiple Predictors
A New Barrier Certificate for Safety Verification of Hybrid Systems
Forward-Secure Edge Authentication for Graphs
Corrigendum: User-Experience-Oriented Fuzzy Logic Controller for Adaptive Streaming
Heterogeneous Signcryption with Key Privacy
A Self-Stabilizing Distance-2 Edge Coloring Algorithm
Corrigendum: A Team Formation Model with Personnel Work Hours and Project Workload Quantified
Solution of Simultaneous Linear Equations using a Magnetic-Tape Store
On the Power of List Iteration
Online Optimization Method of Learning Process for Meta-Learning
A Survey of the Teaching of Programming to Computer Undergraduates in U.K. Universities and Polytechnics (Short Note)
A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls
Note on "three-dimensional" plotting as a technique for finding the zeros of functions in the complex plane
The Need for Reduced Byte Stream Instruction Sets
Design and testing of the System 4 random number generator
On the Specification, Validation and Verification of Security in Access Control Systems
Optimized Clustering Techniques for Gait Profiling in Children with Cerebral Palsy for Rehabilitation
Grand Challenges in Computing: Education - A Summary
Improving Firing Control via Explicit Enabling Rules in Petri Nets
High Assurance Software Systems
Hamiltonian Properties of the Data Center Network HSDC with Faulty Elements
Computing Machines for Teaching and Research
Prime Number Code for Information Retrieval
Evaluating Membership Inference Through Adversarial Robustness
Choice of Block Sizes for Magnetic Tape Files
How To Bind A TPM's Attestation Keys With Its Endorsement Key
A Method for Finding the Optimum Successive Over-Relaxation Parameter
Proof of a Recursive Program: Quicksort
Security Proofs for Protocols Involving Humans
Deep Extreme Learning Machine-Based Optical Character Recognition System for Nastalique Urdu-Like Script Languages
Implementation of Overlapping B-Trees for Time and Space Efficient Representation of Collections of Similar Files
Fault Model Independent, Maximal Compaction of Test Responses in the Presence of Unknown Response Bits
A Comprehensive Analysis of 2D&3D Video Watching of EEG Signals by Increasing PLSR and SVM Classification Results
The Significance of the 1974 COBOL Standard
Special Issue Editorial: Computational Quantifier Elimination
Preserving the Fault-Containment of Ring Protocols Executed on Trees
Overview of Parallel Architectures for Databases
Personal Recollections of Programming DEUCE in the Late 1950s
Transport Protocol Requirements for Distributed Multimedia Information Systems
A Technique for Comparing Automatic Quadrature Routines
An Improved Density Peaks Clustering Algorithm Based On Density Ratio
Hardness Results and Heuristic for Multi-groups Interconnection
A Partitioned Cellular Automaton Approach for Efficient Implementation of Asynchronous Circuits
On a Family of Cubature Formulae
On a Novel Self-Test Approach to Digital Testing
A new method of determining eigenvalues and eigenfunctions
Neural Network-Based Approach for Predicting Trust Values Based on Non-uniform Input in Mobile Applications
Discussion on The Ideal of Program Correctness by Tony Hoare
Fully Secure Wicked Identity-Based Encryption Against Key Leakage Attacks
Special Issue on Profiling Expertise and Behaviour
Cluster analysis on the Atlas computer
A Model of a Self-Organising Data Management System
A New Framework of IND-CCA Secure Public Key Encryption with Keyword Search
Some Scheduling Problems With Job Rejection And A Learning Effect
Some Elemental Operations on Linear Quadtrees for Geographic Information Systems
Multiway Replacement Selection Sort with Dynamic Reservoir
An Empirical Study of Deploying Storage Class Memory into the I/O Path of Portable Systems
Virtual Network Mapping in Cloud Computing: A Graph Pattern Matching Approach