yusuke1997/dblp-id-title huggingface dataset:
Multiple Class Symmetric G-networks with Phase Type Service Times
Book Review: Readings in Automatic Lanuage Processing, edited by David G. Hays, 1966, 202 pages
An e-Coin Based Construction for Unlinkable Priced Oblivious Transfer
Partial Non-Underflow and Non-Overflow of an Arithmetic Stack
The Solution of Certain Banded Systems of Linear Equations Using the Folding Algorithm
On the Scheduling of Jobs by Computer
Applications of UET Scheduling Theory to the Implementation of Declarative Languages
The IMP Language and Compiler
Understanding the Naive Computer User
Market Research Applications on LEO
Description of a Program for Nonlinear Programming
Supporting Cooperative Work in Virtual Environments
On the Complexity of Some Verification Problems in Process Control Specifications
Explaining Polymorphic Types
Underwater Image Enhancement With Optimal Histogram Using Hybridized Particle Swarm and Dragonfly
Filter-enhanced Contrast Variational AutoEncoders for sequential recommendation
A Revised Theory of Action and Time Based on Intervals and Points
Parallel Implementations of Functional Programming Languages
Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfaction and Database Problems
Algorithms for Moving Objects Databases
A convention to distinguish letter O from numeral zero
Relationship Between Extra Connectivity And Component Connectivity In Networks
An Efficient Pending Interest Table Content Search In NDN through Stable Bloom Filter
UNRAVEL - A Programming Language to Put Intelligence Into Dumps
Area-Feature Boundary Labeling
Loop Optimisation for Parallel Processing
A Method of Generating Surfaces as a Composite of Cyclide Patches
An Audit Approach to Computers
A proposed framework for cloud-aware multimodal multimedia big data analysis toward optimal resource allocation
A Model for Disc Locality Referencing
Adaptive logic circuits
Detecting Group Shilling Attacks In Recommender Systems Based On User Multi-dimensional Features And Collusive Behaviour Analysis
Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems
L -graph Automata And Some Applications
Co-Expressions in Icon
Adaptive Desktop Delivery Scheme for Provisioning Quality of Experience in Cloud Desktop as a Service
A Simple Algorithm for Generating Non-Regular Trees in Lexicographic Order
Segment-Based Features for Time Series Classification
A new method for the solution of eigenvalue problems
A Model-based Keyword Search Approach for Detecting Top-k Effective Answers
Integrating Human Computer Interaction with Jackson System Development
Adaptation of Near-Perfect Packet-Level FEC Interleaving in Mobile Media Streaming
Harvesting File Download Exploits in the Web: A Hacker's View
A Dueling DQN-Based Computational Offloading Method in MEC-Enabled IIoT Network
The Period of Pseudo-Random Numbers Generated by Lehmer's Congruential Method
Deep Multi-Stage Approach For Emotional Body Gesture Recognition In Job Interview
Application of a Digital Computer Simulation Language to Control Hybrid Computer Monte Carlo Studies
The numerical solution of eigenvalue problems in which the eigenvalue problems in which the eigenvalue parameter appears nonlinearly, with an application to differential equations
Small object detection in remote sensing images through multi-scale feature fusion
A Hybrid Network Processor with Support for High-Speed Execution of CPN and Upper Layer IP Protocols
The Architecture of a Generalised Distributed Database System - PRECI
Consensus-based Timestamps in Distributed Temporal Databases
A Semantic Embedding Enhanced Topic Model For User-Generated Textual Content Modeling In Social Ecosystems
Blockchain-Based Internet-of-Things for Secure Transmission of Medical Data in Rural Areas
The Solution in Chebyshev Series of Systems of Linear Differential Equations with General Boundary Conditions
Some Experiences with the Johnson-Trotter Permutation Generation Algorithm
Congestion-Free Transient Plane (CFTP) Using Bandwidth Sharing During Link Failures in SDN
Unlinkable and Revocable Secret Handshake
A Plotter Sequencing System
A Cross Compiler for Pocket Calculators
Characterization of Diagnosabilities on the Bounded PMC Model
Implementation of Learning Path in Process Control Model
Dynamically Emerging Semantics in an MPEG-7 Image Database
Tree Driven Data Input and its Validation
Autonomous Discovery and Management in Virtual Container Clusters
Computing with Time: From Neural Networks to Sensor Networks
Krzysztof J. Cios, Witold Pedrycz, Roman W. Swiniarski and Lukasz A. Kurgan: Data Mining: A Knowledge Discovery Approach Springer (2007) ISBN 978-0387333335
SAS aids for the jet age: Telecommunication for electronic reservations
Algorithms for Piecewise Straight Line Approximations
WaaS: Workflow-as-a-Service for the Cloud with Scheduling of Continuous and Data-Intensive Workflows
Enhancing the Scalability of Non-Spatial Concurrent Queries in Wireless Sensor Networks
Quantum-Inspired Linear Genetic Programming as a Knowledge Management System
Automated Theorem-Proving for the Theories of Partial and Total Ordering
Performance Studies on Asynchronous Communication Server for Local Area Networks
HYPERTEXT - Moving Towards Large Volumes
Oggetto: An Object Oriented Database Layered on a Triple Store
A Verifiable Multi-Authority Secret Election Allowing Abstention from Voting
Decimal CORDIC Rotation based on Selection by Rounding: Algorithm and Architecture
Recovery Procedures for Direct Access Commercial Systems
The Teaching Language Pascal-FC
Axially symmetric steady motion of a viscous incompressible fluid: some numerical experiments
Efficient Schemes to Evaluate Transaction Performance in Distributed Database Systems
The a -average Degree Edge-Connectivity of Bijective Connection Networks
Special Issue on Discovery Science: Guest Editor's Introduction
The Future of Computer Technology and its Implications for the Computer Industry
Generalized Bottom Up Parsers With Reduced Stack Activity
PRAXIS: A Program for Reproducing Proforma Design Calculations
The Atlas compiler system
Multimodal Sentiment Analysis Based on Composite Hierarchical Fusion
A Transformation on Ordered Trees
A Compiler Definition Facility Based on the Syntactic Macro
APL as a Software Design Specification Language
An Efficient and Secure Protocol for Multi-party Key Establishment
The h -Restricted Connectivity of a Class of Hypercube-Based Compound Networks
Fractal Compression and the Jigsaw Property I
The development of on-line computing facilities for the KDF9 part 1; COSEC - a single on-line console
Functional Encryption Resilient to Hard-to-Invert Leakage
Plant Image Retrieval Using Color, Shape and Texture Features
A Scalable and Efficient Algorithm for Computing the City Block Distance Transform on Reconfigurable Meshes
How Many Clusters? Which Clustering Method? Answers Via Model-Based Cluster Analysis
Defining System Requirements to Meet Business Needs: A Case Study Example
A Study of the Concurrency Control and Recovery Algorithms in Nested Transaction Environment
The h -faulty-block connectivity of k -ary n -cubes
Book Review: Principles of Coding, Filtering and Information Theory, by Leonard S. Schwarz, 1963; 255 pages
A Short Note on Doubly-Linked List Reorganizing Heuristics
A Las Vegas Graph Colouring Algorithm
Flexible Arrays: Evaluation of the B-Tree Based System (Short Note)
Time-Space Opportunistic Routing in Wireless Ad hoc Networks: Algorithms and Performance Optimization by Stochastic Geometry
Software-Defined Mobility Support in IP Networks
Electronic Computers as Tools for Management in the United States of America: 1956
Reducing Power Consumption in Wireless Sensor Networks Using a Novel Approach to Data Aggregation
A Robust Multi-Party Key Agreement Protocol Resistant to Malicious Participants
Evaluation of certain definite integrals frequently encountered in radiational and diffraction problems involving circular geometry
Identity-Based Signature Schemes for Multivariate Public Key Cryptosystems
A Collaborative Learning-Based Algorithm for Task Offloading in UAV-Aided Wireless Sensor Networks
Evaluation and Optimization of Kernel File Readaheads Based on Markov Decision Models
Biometric Layering with Fingerprints: Template Security and Privacy Through Multi-Biometric Template Fusion
ALEC - A User Extensible Scientific Programming Language
Computer Simulation Techniques
Access Path Selection in Databases with Intelligent Disc Subsystems
Some Techniques for dealing with Two-Level Storage
Mobility in Wireless Sensor Networks
A Dual Mobility Model with User Profiling: Decoupling User Mobile Patterns from Association Patterns
Correspondence: The Principles of Sorting
GitHub project recommendation based on knowledge graph and developer similarity
Exact Multi-Objective Virtual Network Embedding in Cloud Environments
A Method for Minimizing a Sum of Squares of Non-Linear Functions Without Calculating Derivatives
Analysis and Construction of Zero-Knowledge Proofs for the MinRank Problem
A rapidly convergent iterative method for the solution of the generalised nonlinear least squares problem
The Application of Chow Parameters and Rademacher Walsh Matrices in the Synthesis of Binary Functions
Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking
Discussion and Correspondence KATE: A Macro-Processor for Extending Command Languages
On Constructing Minimal Formulae
Optimality Properties of the Disc Modulo Allocation Method for k-ary Multiple Key Hashing Files
Practical and secure policy-based chameleon hash for redactable blockchains
Integrated Analysis of Complex Safety Critical Systems
The Elliott ALGOL input/output system
Structured Abstract Schematics
UFL: An Experimental Frame Language Based on Abstract Data Types
Principles of the DelPhi Parallel Inference Machine
UMIST OBJ: A Language for Executable Program Specifications
Automatic Diagnosis of Diabetic Retinopathy from Retinal Abnormalities: Improved Jaya-Based Feature Selection and Recurrent Neural Network
Auto-Scale Resource Provisioning In IaaS Clouds
A Proposal for an Extended Form of Type Checking of Expressions
Running Pegasus Autocode Programs on Mercury
Approximating Closest Vector Problem in ℓ ∞-Norm Revisited
A Survey on Recommender Systems for Internet of Things: Techniques, Applications and Future Directions
Cost- and Time-Based Data Deployment for Improving Scheduling Efficiency in Distributed Clouds
Correction to: Metaheuristic-Enabled Artificial Neural Network Framework For Multimodal Biometric Recognition With Local Fusion Visual Features
A New Multi-Objective Optimal Programming Model for Task Scheduling using Genetic Gray Wolf Optimization in Cloud Computing
Performance Study of a Centralized Concurrency Control Algorithm for Distributed Database Systems Using SIMULA
Reference Ontology for Cybersecurity Operational Information
How Many Pop-Stacks Does It Take To Sort A Permutation?
QPRR: QoS-Aware Peering Routing Protocol for Reliability Sensitive Data in Body Area Network Communication
Architectural Considerations of the Parallel SIMULA Machine
A Case for Type and Form Flow Analysis
Quantum Guess and Determine Attack on Stream Ciphers
Improving the Performance of Feature Selection Methods with Low-Sample-Size Data
In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models
Techniques for Genetic Software Architecture Design
Real-time and Personalized Search over a Microblogging System
Newton's Method in Discrete-Time Nonlinear Data Smoothing
Atoms and Lists
A Parametrized Loop Fusion Algorithm for Improving Parallelism and Cache Locality
The Preparation of Guidelines for Portable Programming in High-Level Languages
A Resource Exchange Architecture for Peer-to-Peer File Sharing Applications
Joint Alignment Networks For Few-Shot Website Fingerprinting Attack
Clustering Media Items Stemming from Multiple Social Networks
The Implementation of Syntax Analysis Using Algol, and Some Mathematical Applications
The theory of left factored languages: Part 1
A Locally Correctable B-Tree Implementation
Counting Multidimensional Polyominoes
Efficient Certificateless Signcryption in the Standard Model: Revisiting Luo and Wan's Scheme from Wireless Personal Communications (2018)
Object-Oriented Modelling Based on Logbooks
Text Image Compression Using Soft Pattern Matching
NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT
Fundamental Errors in Legal Logic Programming
Some Computational Results of an Improved A.D.I. Method for the Dirichlet Problem
Data Dependencies in Deductive Databases
A Unified Model for Spatial and Temporal Information
From Ephemerizer to Timed-Ephemerizer: Achieve Assured Lifecycle Enforcement for Sensitive Data
The Determination of Eigenvalues of Symmetric Quindiagonal Matrices
Security Analysis of the First Certificateless Proxy Signature Scheme Against Malicious-But-Passive KGC Attacks
A Single Data-Display Structure: A New View on Interactive Computer Graphics in CAD
Discourse and Natural-Language Text Analysis: a Functional Grammar Approach
A Dynamic Storage Allocation Scheme
Formal Methods of Diagnosis in Engineering and Medicine
Loopless Generation of Non-regular Trees with a Prescribed Branching Sequence
Thematic Editorial, It Is Hard To Imagine A World Without Algorithms and Data Science
Stratified Hypermedia Structures for Information Disclosure
Multiple-Choice Hardware/Software Partitioning for Tree Task-Graph on MPSoC
A Comprehensive Program for Network Problems
Improving the Transmission Efficiency by Considering Non-Cooperation in Ad Hoc Networks
Practical Earley Parsing
Dijkstra's Rallying Cry for Generalization: The Advent of the Recursive Procedure, Late 1950s-Early 1960s
Multipoint Iterative Methods for Solving Certain Equations
Proof of Correctness of Decision Table Programs
Some Orthogonal Methods of Curve and Surface Fitting
A Snap-Stabilizing m-wave Algorithm for Tree Networks
Ashman: A Bandwidth Fragmentation-Based Dynamic Flow Scheduling for Data Center Networks
Closed Rational Integration Formulas
Sensational Headline Identification By Normalized Cross Entropy-Based Metric
An Informal Approach to Formal (Algebraic) Specifications
On Taking the Square Root of a Complex Number
Improvement of Parallelism in a Finite Buffer Sharing Policy
A Large-Scale Mobile Traffic Dataset For Mobile Application Identification
Greedy File - a New Data Organisation Concept for Partial Match Retrieval
On an Algorithm for Discrete Nonlinear L 1 Approximation
Functional Programs for Generating Permutations
The COMPL Language and Operating System
List Processing Facilities in Atlas Autocode
Recursive Templates Segmentation and Exemplars Matching for Human Parsing
Statistical Estimation and Dynamic Adaptation Algorithms for the iTrust Publication, Search and Retrieval System
A Pragmatic Methodology for Testing Intrusion Prevention Systems
Structured Programming in COBOL - The Corrent Options
Variance Algorithm for Minimization
A resource-aware workload scheduling method for unbalanced GEMMs on GPUs
Fast Prototyping of a Goal-Oriented Simulation Environment System
New Corecs and New Cosets in Admin
The DEUCE Alphacode Translator
An Adaptive Overflow Technique to Defer Splitting in B-Trees
Comparatative Performance Evaluation of Modified Prototype Filter Bank Multicarrier Cognitive Radio Under Constraints of Lp, K, N and D
Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design
Pairwise Compatibility Graphs of Caterpillars
Policy-Based Remote User Authentication From Multi-Biometrics
Operation of a disc data base
Affinity-Based Routing in Zoned Mirrored Disks
Performance Evaluation of Forwarding Strategies for Location Management in Mobile Networks
CSEA: A Fine-Grained Framework of Climate-Season-Based Energy-Aware in Cloud Storage Systems
Pad Structures for the Rainbow Workstation
Architecture/OS Support for Embedded Multi-core Systems
IoT Analytics-inspired Real-time Monitoring for Early Prediction of COVID-19 Symptoms
The Influence of Storage Access Time on Merging Processes in a Computer
A Hybrid Pull-Based with Piggybacked Push Protocol for Cache Sharing
Smart Affect Recognition System for Real-Time Biometric Surveillance Using Hybrid Features and Multilayered Binary Structured Support Vector Machine
A Genetic Algorithm Based Scheduling Method With Carrier Aggregation In 5G Networks
Chess Metaphors, Artificial Intelligence and the Human Mind
A Hybrid Multiple Processor Garbage Collection Algorithm
Correlation Keystroke Verification Scheme for User Access Control in Cloud Computing Environment
The First Year with a Business Computer
Multicast Key Management without Rekeying Processes
Reliability Assessment of Combined Hardware-Software Non-repairable Time-Critical Systems
Networks for real-time programming
Predicting Student Success in an Introductory Programming Course
Computer Programs for Hierarchical Polythetic Classification ("Similarity Analyses")
An Optimal Rotation Distance Set
The C-ODA Project: Experiences and Tools
Improving Bitcoin Transaction Propagation Efficiency through Local Clique Network
Data Classification Management with its Interfacing Structure for Hybrid SLC/MLC PRAM Main Memory
Networks of Concepts and Ideas
An Assembly and Loading System for Computers with Parallel Peripheral Operation
The PACE Scaling Routine for Mercury
Benchmark Techniques: A Constructive Approach
Improved Meet-in-the-Middle Attacks on Reduced-Round Kiasu-BC and Joltik-BC
An Agent-Based Event Processing Middleware for Sensor Networks and RFID Systems
Towards Automated Memory Model Generation Via Event Tracing
The Effect of Inadequate Convergence Criteria in Automatic Routines
On Conditional Edge-Fault-Tolerant Strong Menger Edge Connectivity Of Folded Hypercubes
On the Connectivity of Ad Hoc Networks
Formal Methods in Computation
Enhancing security of medical images using code-based intermittent encryption and convolutional neural network
Affiliation-Hiding Authenticated Asymmetric Group Key Agreement Based on Short Signature
Effectively Detecting Operational Anomalies In Large-Scale IoT Data Infrastructures By Using A GAN-Based Predictive Model
A Social Utility-Based Dissemination Scheme for Emergency Warning Messages in Vehicular Social Networks
CHURNs: Freshness Assurance for Humans
Uniform k -circle formation by asynchronous fat robots
Application of List-Processing Methods to the Design of Interconnections for A Fast Logic System
Methods of Computing Event Times in Project Networks
A Trust Evaluation Model for Cloud Computing Using Service Level Agreement
Review: Book reviews: Mathematical tables
ASCENT: A Provably Terminating Decentralized Logging Service
Discussion on The Ideal of Program Correctness: Responses from Tony Hoare
An Improved Optimal-Fit Procedure for Dynamic Storage Allocation
Minimum Status, Matching and Domination of Graphs
Self-optimized Cognitive Network of Networks
The Data Base Approach
Minimum Message Length and Kolmogorov Complexity
Designing Reliable Test Architectures for Communication Protocols
Traffic Modelling and Probabilistic Process Abstraction
Incorporating Change Management Within Dynamic Requirements-Based Model-Driven Agent Development
Prediction Analysis
Hybrid Fault Diagnosis Capability Analysis of Highly Connected Graphs
The evaluation of definite integrals by interval subdivision
The L ( h , k )-Labelling Problem: An Updated Survey and Annotated Bibliography
Implementation and Performance of QoS-aware Java Applications over ATM Networks
The Design of a System for Distributing Shared Objects
Improving Polynomial Evaluation at an Approximate Root
Face Identification System Based on Synthesizing Realistic Image using Edge-Aided GANs
A Blocking-based Approach to Protocol Validation
Oscillation-Free Video Adaptation at Application Layer on Server Side and Experiments Using DCCP
Energy-Efficient K -Cover Problem in Hybrid Sensor Networks
Refinement of Complex Systems: A Case Study
The Multiple Variate Counter
3D Flattering Amplified Neural Network-Based Segmentation of Amygdala and Hippocampus
A Kind of Conditional Connectivity of Cayley Graphs Generated by 2-trees
An Alternative Prototyping Classification
A Context-Aware Similarity Search for a Handwritten Digit Image Database
Basic Subroutine for the Input of Numbers, Words, and Special Characters
The Kolmogorov Lecture* The Universal Distribution and Machine Learning
An Alternative for the 'Completer' Function
The Terminology Work of IFIP and ICC
Optimized Cooperative Spectrum Sensing Algorithms in Cognitive Radio Networks
Resource-Aware Multimedia Content Delivery: A Gambling Approach
An Introduction to Knuth-Bendix Completion
A Note on a New Divisive Classificatory Program for Mixed Data
Measuring and Evaluating the Visual Complexity Of Chinese Ink Paintings
Reverse Chaining for Answering Temporal Logical Queries (Short Note)
An integer linear programming model of a school timetabling problem
Variations towards an efficient drug-drug interaction
Christel Baier and Joost-Pieter Katoen Principles of Model Checking . MIT Press (May 2008).ISBN: 978-0-262-02649-9, 975 pp. Hardcover
Re-engineering Security as a Crosscutting Concern
E.S.P. The Elliott Simulator Package
Can LLMs deeply detect complex malicious queries? A framework for jailbreaking via obfuscating intent
Reflections on a Symposium on Computation
Is an Information Theory Enough?
Interaction Between User's Needs and Language-Compiler-Computer Systems
Practical Attacks on Reduced-Round 3D and Saturnin
Intelligent Forecast of Stock Markets to Handle COVID-19 Economic Crisis by Modified Generative Adversarial Networks
Continuous Leakage-Resilient Identity-Based Encryption without Random Oracles
Brains, Machines and Mathematics
Cooperative Energy Efficiency Modeling and Performance Analysis in Co-Channel Interference Cellular Networks
Rumor Identification and Verification for Text in Social Media Content
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra
Convergence Time and Memory Capacity of Higher-order Hopfield Associative Memory with Multi-valued Neurons
Multi-Measure Multi-Weight Ranking Approach for the Identification of the Network Features for the Detection of DoS and Probe Attacks
Decreasing Proof Size of BLS Scheme
A Method for Improving the Convergence of Chebyshev Series
A Self-Tallying Electronic Voting Based on Blockchain
The Computer in the University
A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems
A New Blind Watermark Embedding Model: Spiral Updated Rider Optimization Algorithm
Remote Capabilities
Hybrid Multi-Biometric Template Protection Using Watermarking
Unique Sets Oriented Parallelization of Loops with Non-Uniform Dependences
PRBS Cross-Correlation Measurements by Hybrid Computational Techniques
A Canonical Schema for a Generalised Data Model with Local Interfaces
An Efficient Predictor-Corrector Algorithm
Context-Driven Progressive Enhancement of Mobile Web Applications: A Multicriteria Decision-Making Approach
Fast Packet Classification using Recursive Endpoint-Cutting and Bucket Compression on FPGA
State Estimation Algorithms for Non-Linar Stochastic Sequential Machines
Road traffic simulation on a small computer
Planning for IT Literacy in an Institution of Higher Education: A Case Study
Inversion Coding
The Problems of Data Transmission Systems in a General Manufacturing Data Processing Installation
Caching and prefetching algorithms for programs with looping reference patterns
Data Placement Schemes to Reduce Conflicts in Interleaved Memories
Operational experience of time sharing and parallel processing
The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal
An Investigation into Logical Optimization of Relational Query Languages
A Fuzzy Extension to the OWL 2 RL Ontology Language
The Key-Dependent Capacity in Multidimensional Linear Cryptanalysis
Closing Statement: What Have We Said About Computation?
Primary Emotions and Recognition of Their Intensities
Design of Traffic Light Control Systems Using Statecharts
Optimising Self-Replicating Programs
The Ferranti Perseus Data-Processing System
Rethinking Software Component Security: Software Component Level Integrity and Cross Verification