yusuke1997/dblp-id-title huggingface dataset:
Does Multi-Hop Communication Reduce Electromagnetic Exposure?
Model Learning and Test Generation Using Cover Automata
British Computer Society Conference, Cardiff: 4th to 7th September 1962
Social Aspects of Systems Analysis
Adaptive ±1 Steganography in Extended Noisy Region
A new DDoS attack detection model based on improved stacked autoencoder and gated recurrent unit for software defined network
Adaptive Neuro-Fuzzy Inference System-based Nonlinear Equalizer for CO-OFDM Systems
ZIDS: A Privacy-Preserving Intrusion Detection System Using Secure Two-Party Computation Protocols
The OPLA System: Designing Complex Systems in an Object-Oriented Logic Programming Framework
Nearest Neighbor Classifier Based on Nearest Feature Decisions
An Improved Algorithm for the Metamorphosis of Semi-Extended Regular Expressions to Deterministic Finite Automata
A Power-Saving Network Architecture for Accessing the Internet from Mobile Computers: Design, Implementation and Measurements
The Acceleration of the Peaceman-Rachford method by Chebyshev Polynomials
Energy-Efficient Approach for Effective Estimation of Delimited Node Position with Limited References
Judicial Understanding of Information Technology: The Case of the Wombat ROMs
Natural Computation
EMS-MAC: Energy Efficient Contention-Based Medium Access Control Protocol for Mobile Sensor Networks
Difference-Comparison-based Malicious Meter Inspection in Neighborhood Area Networks in Smart Grid
Fault Attack on ACORN v3
The Operation of a Model Self Organising Data Management System
A Novel Structure Tensor Modulated Chan-Vese Model for Texture Image Segmentation
A FORTRAN Preprocessor to Support Encapsulated Data Abstraction Definitions
Piggyback Statistics Collection for Query Optimization: Towards a Self-Maintaining Database Management System
A Computer Technique for Optimizing the Sites and Heights of Transmission Line Towers - a Dynamic Programming Approach
Interactive Visualization of Large Point Clouds Using an Autotuning Multiresolution Out-Of-Core Strategy
Using Wavelet Packets for Selectivity Estimation
Trapezoidal Sketch: A Sketch Structure for Frequency Estimation of Data Streams
Corrigendum: Exploring Behavioral Patterns Through Entropy in Multimedia Peer-to-Peer Traffic
Concurrency Control for Time-Constrained Transactions in Distributed Databases Systems
International Expansion Selection Model by Machine Learning - A Proprietary Model
Tagged Up/Down Sorter - A Hardware Priority Queue
A New Access Control Method Using Prime Factorisation
Super-Resolution and Blind Deconvolution For Rational Factors With an Application to Color Images
A Step Towards the Automatic Maintenance of the Semantic Integrity of Databases
The First Computer in Rhodesia
SPECOL - A Computer Enquiry Language for the Non-Programmer
Clustering Non-uniform-sized Spatial Objects to Reduce I/O Cost for Spatial-join Processing
Algorithms for Adaptive Linear Prediction
STREMA: Specifying Application Processes Using Streams
DuoSQL: towards elastic data warehousing via separated data management and processing
Exploration of Storage Architectures for Enterprise Network
Character Recognition and Document Handling in Banks
Self-adaptive smoothing model for cardinality estimation
The Unification of Systolic Differencing Algorithms
The History of Macro Processors in Programming Language Extensibility
First Passage Time Computation in Tagged GSPNs with Queue Places
Image classification with deconvolution operation and augmentation
One-day Symposium on PL/1
Time-Series Modeling of Tide Gauge Records for Monitoring of the Crustal Activities Related to Oceanic Trench Earthquakes Around Japan
The RMIT Data Flow Computer: A Hybrid Architecture
Supervisor synthesis for opacity enforcement in partially observed discrete event systems
The Science of Infocommunications (The Boole Lecture)
Use of a Remote Digital Computer on an Open-Shop Basis in Agricultural Research
Programming Denotational Semantics II
On Computational and Combinatorial Properties of the Total Co-independent Domination Number of Graphs
Efficient Ring Signature and Group Signature Schemes Based on q-ary Identification Protocols
Node-to-Set Disjoint Paths in Biswapped Networks
Optimizing Access Point Allocation Using Genetic Algorithmic Approach for Smart Home Environments
Database Caching Over the Air-Storage
3D-RP: A DHT-Based Routing Protocol for MANETs
An Efficient Framework for Mining Association Rules in the Distributed Databases
A postage stamp problem
Automatic Report Formatting from a Report Specimen
A Systematical and Parallel Approach to Solve Problems Involving Special Properties of Bit-Vectors
Allocation of Computer Resources Through Flexible Pricing
A Study of Semantic Web Services Network
Integrated Deductive Database System Implementation: A Systematic Study
Parameter Transmission Abstractions
Algorithms For Cold-Start Game Recommendation Based On GNN Pre-training Model
Finite Approximations for Model Checking Non-finite-state Processes
Parametric Curves for Graphic Design Systems
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs
A Model for Weekly Shop Loading
Systolic Number Radix Converters
A Storage Scheme for Hierarchic Structures
Optimising Two-Way Joins in Horizontally Partitioned Database Systems
A Numerical Method for Solving the Equations of Stability of General Slip Surfaces
Using B-Trees to Solve Geographic Range Queries
The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network
A Weighted Mark-Scaling Algorithm
How Far Can We Go? Towards Realistic Software-Defined Wireless Networking Experiments
Heap Construction - 50 Years Later
A Hybrid Simulation/Regression Model of a Virtual Storage System
An Asynchronous Optimistic Protocol for Atomic Multi-Two-Party Contract Signing
Laws of Timed State Machines
Philosophical and Logic-Based Argumentation-Driven Reasoning Approaches and their Realization on the WWW: A Survey
Self-Healing Key Distribution Schemes for Wireless Networks: A Survey
Modeling Higher-Order Interactions in Complex Networks by Edge Product of Graphs
The Automatic Generation of Test Data
Additive congruential pseudo-random number generators
The Microcosmic Model of Worm Propagation
Instability of the Elimination Method of Reducing a Matrix to Tri-diagonal Form
Energy-Aware Distributed QR Decomposition on Wireless Sensor Nodes
A Hybrid Heuristic for Load-Balanced Scheduling of Heterogeneous Workload on Heterogeneous Systems
Well-Formed Conversion of Unstructured One-in/one-out Schemes for Complexity Measurement and Program Maintenance
An Intelligent Retrieval and Presentation System for Management Information
A New Approach of Evaluating the Security Against Differential and Linear Cryptanalysis and Its Applications to Serpent, NOEKEON and ASCON
Employing Usability Engineering in the Development of Office Products
Modernizing Secure OLAP Applications with a Model-Driven Approach
Concurrent Object-Oriented Programming in Lisp
A Low-Cost Pupil Center Localization Algorithm Based on Maximized Integral Voting of Circular Hollow Kernels
The Pebble-Crunching Model for Fault-Tolerant Load Balancing in Hypercube Ensembles
Classical Logic: A Crash Course for Beginners
An Efficient Class of Interconnection Networks for Parallel Computations
UnfairDuelMerge: Merging with Even Fewer Moves
Fast Lookup in Hash Tables with Direct Rehashing
A New Programming Technique for Rational Fractions
Single-faced Boolean Functions and their Minimization
Effective Link Prediction with Topological and Temporal Information using Wavelet Neural Network Embedding
Structure Fault Tolerance of Exchanged Hypercube
On minimax solutions of linear equations
Programming multiple regression
Considering Fine-Grained and Coarse-Grained Information for Context-Aware Recommendations
A Linear Time Algorithm for Finding Minimal Perfect Hash Functions
Compile-time error diagnostics in syntax-directed compilers
Learning to optimize based on rate decay
A Binary Form of Horner's Method
Privacy-Preserving Aggregation of Time-Series Data with Public Verifiability from Simple Assumptions and Its Implementations
URPC: A Toolkit for Prototyping Remote Procedure Calls
Time sharing on LEO III
Correction to: Learning Disjunctive Multiplicity Expressions and Disjunctive Generalize Multiplicity Expressions From Both Positive and Negative Examples
Leakage-Free and Provably Secure Certificateless Signcryption Scheme Using Bilinear Pairings
Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods
The Solution of Railway Problems on a Digital Computer: 1
Analyzing the Research Trends of IoT Using Topic Modeling
Using Semantic Concepts to Characterise Various Knowledge Representation Formalisms: A Method of Facilitating the Interface of Knowledge Base System Components
Toward a Novel RESTFUL Big Data-Based Urban Traffic Incident Data Web Service for Connected Vehicles
A Kind Of Conditional Vertex Connectivity Of Cayley Graphs Generated By Wheel Graphs
Algorithms for Combined Inter- and Intra-Task Dynamic Voltage Scaling
Error Propagation and Recovery in Concurrent Environments
The Numerical Evaluation of Principal Value Integrals
Data Race Detection with Minimal Hardware Support
The explicit solution of the equation of heat conduction
Advanced Data Mining Tools and Methods for Social Computing
A Note on Compiling Display File from a Data Structure
A Review of Several Programs for the Teaching of Logic
Practical Issues in Deploying Mobile Agents to Explore a Sensor-Instrumented Environment
GORMANN: Gravitationally Organized Related Mapping Artificial Neural Network
Approximate String Matching with SIMD
Strategies and Metric for Resilience in Computer Networks
Protection in Data Type Abstractions Using Constraints on Data Values
A Regression Model for Predicting the Response Time of a Disc I/O System
A Transformation-Directed Compiling System
Mining Blogs And Forums To Understand the Use of Social Media in Customer Co-creation
Failure Avoidance in MPI Applications Using an Application-Level Approach
A Least Squares Surface Fitting Program
Design for a Changing Environment
Letters to the Editor: Generation of Time Delays on Analogue Computers
Semi-Custom VLSI Design and Implementation of a New Efficient RNS Division Algorithm
Book Review: Introductory Numberical Analysis of Elliptic Boundary Value Problems, by Donald Greenspan, 1965; 164 pages
A Comparative Cost Analysis of Degradable Location Management Algorithms in Wireless Networks
The Simulation of Wave Filters having Polynomial Transfer Functions on an Analogue Computer
Analysis of Algorithms on Threaded Trees
Protecting IT Systems from Cyber Crime
The Application of Functional Dependency Theory to Relational Databases
A Comment on the Evaluation of Polish Postfix Expressions
Counter-Based Power Modeling Methods: Top-Down vs. Bottom-Up
Verifiable Conjunctive Dynamic Searchable Symmetric Encryption With Forward and Backward Privacy
Logic as a Formal Method
Microprogramming and System Architecture
Steganography: A Class of Secure and Robust Algorithms
Human Visual System Guided Reversible Data Hiding Based On Multiple Histograms Modification
Measuring the profitability of a computer system
Fractional Sailfish Optimizer with Deep Convolution Neural Network for Compressive Sensing Based Magnetic Resonance Image Reconstruction
Some Practical Principles for Design of Maintainable Systems
FOCUS - A Remote Access File Handling System On-Line to a CDC 6000 Series Computer
Top-down Synthesis of Sorting Algorithms
Application of a Finite-State Model to Text Compression
TRANSPLINE - A System for Representing Curves Using Transformations Among four Spline Formulations
A Robust Watermarking Method for Mpeg-4 Based on Kurtosis
A Transputer Network for the Arbitrary Rotation of Digitised Images
Efficient Traceable Attribute-Based Signature With Update-Free Revocation For Blockchain
William G. Bickley - An appreciation
Specifying and Model Checking Distributed Control Algorithms at Meta-level
A Theory of Prioritizing Composition
Attribute-Based Oblivious Access Control
Implementation of a Prototype for PRECI
On the quadratic convergence of the Jacobi method for normal matrices
Book Review: Sequential Methods in Statisticss, by G. Barrie Wetherill, 1966; 218 pages
Associative-Commutative Matching Via Bipartite Graph Matching
MAX-DENSITY Revisited: a Generalization and a More Efficient Algorithm
A Digest and Pattern Matching-Based Intrusion Detection Engine
Anonymous Announcement System (AAS) for Electric Vehicle in VANETs
On Performance Improvement Of Reversible Data Hiding With Contrast Enhancement
Lung Lobe Segmentation and Feature Extraction-Based Hierarchical Attention Network for COVID-19 Prediction from Chest X-Ray Images
Time Optimal Mixed Radix Conversion for Residue Number Applications
Key Node Identification Method Integrating Information Transmission Probability and Path Diversity in Complex Network
API Recommendation For Mashup Creation: A Comprehensive Survey
The Cumulative Recurrence Library
A Survey of the Literature of Cluster Analysis
"Systematic"
Newton-Cotes Type Quadrature Formulas with Terminal Corrections
Resiliency in Distributed Sensor Networks for Prognostics and Health Management of the Monitoring Targets
Hash Functions for Hash-based Join Methods
The LEGOL 1 Prototype System and Language
Demonstrating Equivalence of Source Code and PROM Contents
On a Subset of all the Permutations of n Marks
An Algorithm to Generate all Topological Sorting Arrangements
Realistic Performance Characterization of CFD Applications on Intel Many Integrated Core Architecture
Information-Dynamics-Conscious Development of Routing Software: A Case of Routing Software that Improves Link-State Routing Based on Future Link-Delay-Information Estimation
Realizing Comprehensive User Profile as the Core Element of Adaptive and Personalized Communication Environments and Systems
The Star-Structure Connectivity and Star-Substructure Connectivity of Hypercubes and Folded Hypercubes
Semantically Motivated Improvements for PPM Variants
Improved (Related-Key) Differential-Based Neural Distinguishers for SIMON and SIMECK Block Ciphers
Eight Pieces Cannot Cover a Chess Board
Presumed Versus Actual Organizational Culture: Managerial Implications for Implementation of Information Systems
Designing a Hierarchical Multimedia Storage Server
Stable Linear Time Sublinear Space Merging
The MINIMOP Multi-Access Operating System
Rider-Rank Algorithm-Based Feature Extraction for Re-ranking the Webpages in the Search Engine
A Rapidly Convergent Descent Method for Minimization
An Efficient Polynomial-Time Algorithm for Three-track Gate Matrix Layout
Dynamic compact data structure for temporal reachability with unsorted contact insertions
Note on the addressing of lists by their source-language names
Solving Large Combinatorial Problems in Molecular Biology Using the ElipSys Parallel Constraint Logic Programming System
Using Clustering Techniques to Plan Indoor Femtocell Base Stations Layout in Multi-floors
Transportation Index Computation: A Development Theme Mining-Based Approach
Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching
Non-Archimedean Ergodic Theory and Pseudorandom Generators
Ordering Method to Accelerate the Solution of Mate-in-Two Chess Problems by Computer
Mel- and Mellin-cepstral Feature Extraction Algorithms for Face Recognition
A Guess-And-Determine Attack On SNOW-V Stream Cipher
Three Types of Two-Disjoint-Cycle-Cover Pancyclicity and Their Applications to Cycle Embedding in Locally Twisted Cubes
A New Technique for Automatic Contouring and Contour Representation from Machine-Readable Spatial Data
Information Diffusion Model Based on Privacy Setting in Online Social Networking Services
Dynamic SEOF: An Adaptable Object Prefetch Policy for Object-oriented Database Systems
Decentralized Data and Information Systems: Theory and Practice
Enumerating, Ranking and Unranking Binary Trees
An Inverted Index Implementation
U-Library: An Intelligent Model for Ubiquitous Library Support
The computer as an aid to lawyers
A New Fuzzy Smoothing Term Model For Stereo Matching
F2SO: An Energy Efficient Cluster Based Routing Protocol Using Fuzzy Firebug Swarm Optimization Algorithm in WSN
The Impact of Social Movements
SABER: A Real Time Problem in Tele-Processing
SP/1 - A FORTRAN Integrated String Processor
String Scanning in the Icon Programming Language
The Equivalence of Certain Computations
Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models
A Model for the Stability Analysis of Maintenance Stragies for Linear List
Extended Corona Product as an Exactly Tractable Model for Weighted Heterogeneous Networks
DOPLs: A New Style of Programming
Letter to the Editor: What is an analyst?
Optimization of Kleene closure regular path query on large RDF graphs
Rare Correlated Coherent Association Rule Mining With CLS-MMS
Formal Methods: Use and Relevance for the Development of Safety-Critical Systems
A Unified Theory of Program Logics: An Approach based on the π-Calculus
A New Calculator and Why it is Necessary
Sampling without Replacement in Linear Time
Computation of rotational energy levels of rigid asymmetric top molecules
Single-Image Shadow Detection using Quaternion Cues
Reverse Execution of Java Bytecode
Ant-based Energy-aware Disjoint Multipath Routing Algorithm for MANETs
Reference-Inspired Many-Objective Evolutionary Algorithm Based on Decomposition
Special Issue Editorial: Distributed Multimedia Systems
A Local Approach to the Testing of Real-time Systems
A dual protection technology to thwart hardware Trojan insertion based on observability
The Use of Decision Tables within Systematics
Face Identification Using Conditional Generative Adversarial Network
Convivial Ambient Technologies: Requirements, Ontology and Design
Computational Models for Information Reuse
The Computing and Data Processing Society of Canada
General Tree k -Coteries to Reduce the Degradation of Quorums
Persistent discretization errors in partial differential equations of parabolic type
Controlled Multi-Path Routing in Sensor Networks Using Bezier Curves
On the g -Extra Connectivity of the Enhanced Hypercubes
On Scheduling with Ready Times to Minimize Mean Flow Time
CNN-LSTM Base Station Traffic Prediction Based On Dual Attention Mechanism and Timing Application
Note on the Numerical Solution of Integro-Differential Equations
A White-box Implementation of SM4 with Self-equivalence Encoding
Performance of Quicksort Adapted for Virtual Memory Use
Erratum: Multiple Class Symmetric G-networks with Phase Type Service Times
The Comparison of Routines for Solving Fredholm Integral Equations of the Second Kind
Context-aware Timely Information Delivery in Mobile Environments
Grader Programs
Real-Time Identification Using Gait Pattern Analysis on a Standalone Wearable Accelerometer
When does a Mouse become a Rat? or ... Comparing Performance and Preferences in Direct Manipulation and Command Line Environment
Achieving Key Privacy and Invisibility for Unattended Wireless Sensor Networks in Healthcare
Coding Techniques for Fault-Tolerant Parallel Prefix Computations in Abelian Groups
Optimal Fault-Secure Scheduling
Saving of NAND/NOR Gates by Inhibition or D-Inhibition
Central Station-Based Demand Prediction for Determining Target Inventory in a Bike-Sharing System
An Iterative Method for Finding Stationary Values of a Function of Several Variables
Zero-Address Computers
A Reconsideration of the Recovery Block Scheme
Guest Editorial: Cloud Computing and Scientific Applications (CCSA) - Big Data Analysis in the Cloud
Analysis of a time-shared computer system
Some Considerations Regarding Arrangement of Records on Magnetic Tape
Information Retrieval as Counterfactual
The crystallographers' friend
Discussant of Response to the Computer Journal Lecture by Francois Baccelli
A Provably Secure Certificateless Proxy Signature Scheme Against Malicious-But-Passive KGC Attacks
An Extension of the Certainty Factor Model in First Order Predicate Calculus
Satisfying Privacy Requirements Before Data Anonymization
A syntax improving program
Computers and the Construction of Economic Models
Determining Blocking Factors for Sequential Files by Heuristic Methods
Is APL a Programming Language?
Compressing Integers for Fast File Access
Combining Theory and Systems Building in Pervasive Computing
An Analysis of a Software Engineering Failure
Special Issue on Social Computing and its Applications
Online Pricing for Efficient Renewable Energy Sharing in a Sustainable Microgrid
PCDP-CRLPPM: a classified regional location privacy-protection model based on personalized clustering with differential privacy in data management
Note on Two Methods of Solving Ordinary Linear Differential Equations
SmartRec: Fast Recovery from Single Failures in Heterogeneous RAID-Coded Storage Systems
Bounce-and-Skip. A Technique for Directing the Flow of Control in Programs
Prescription Adverse Drug Events System (PrescADE) Based on Ontology and Internet of Things
Carbon-aware Enterprise Network through Redesign
A Method of Software Evaluation: The Case of Programming Language Translators
An Algorithm for Unbiased Random Sampling
Multi-state System Reliability Analysis Based on Fuzzy Colored Petri Nets
CRM: A New Dynamic Cross-Layer Reputation Computation Model in Wireless Networks
The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation
An Architecture for Associative Processing of Large Knowledge Bases (LKBs)
Keyframe-guided Video Swin Transformer with Multi-path Excitation for Violence Detection
A Method for Building the Quantitative and Qualitative Part of Bayesian Networks for Intelligent Tutoring Systems
Computers and psychology
Application of a Combination of Analogue and Digital Computers to Electron Trajectory Tracing
Predicting the Propagation Path of Random Worm by Subnet Infection Situation Using Fuzzy Reasoning
Computational Prediction of Cervical Cancer Diagnosis Using Ensemble-Based Classification Algorithm
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach
Estimation of the line over-relaxation Factor and Convergence Rates of an Alternating Direction Line Over-Relaxation Technique
Improved Recursion Handling Through Integrity Constraints
Location Privacy-Preserving Method for Auction-Based Incentive Mechanisms in Mobile Crowd Sensing
A Computational Method for Evaluating Generalized Inversesyy
MOLAR: A Cost-Efficient, High-Performance SSD-Based Hybrid Storage Cache
Evolutionary Computation for Modeling and Optimization
Sorting Almost Ordered Arrays
On Estimating the Cost of Accessing Records in Blocked Database Organizations
Computer-Assisted Mathematical Programming (Modelling) System: CAMPS
A Technique for Computer Flow Chart Generation
Pruning Neural Networks Using Multi-Armed Bandits
Efficient Iceberg Query Processing in Sensor Networks
Optimized Service Level Agreement Establishment in Cloud Computing
Residual Closeness, Matching Number and Chromatic Number
RADNet: a highly and robust dynamic network for object detection in complex road scenes
Detecting Genuine Communities from Large-Scale Social Networks: A Pattern-Based Method
Service Availability in Concurrent Systems - Part I: A Theory of Hierarchical Services of Interacting Processes
Stability of the Fourth Order Runge-Kutta Method for the Solution of Systems of Differential Equations
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks
The Design of Multiple-Access Computer Systems: Part 2
The Chalmers Lazy-ML Compiler
Query Formulation as an Information Retrieval Problem
Ontology-Oriented Software Effort Estimation System for E-commerce Applications Based on Extreme Programming and Scrum Methodologies
Virtual Block Group: A Scalable Blockchain Model with Partial Node Storage and Distributed Hash Table
SS6: Online Short-Code RAID-6 Scaling by Optimizing New Disk Location and Data Migration
A Digital Approach to the Efficient Synthesis of Threshold Gates
On Enabling Attribute-Based Encryption to Be Traceable Against Traitors
Information Systems Development: A Tool Kit is not Enough
Relations Modelling Sets of Hypermedia Links and Navigation