yusuke1997/dblp-id-title huggingface dataset:
Failing to Hash Into Supersingular Isogeny Graphs
MBST: Detecting Packet-Level Traffic Anomalies by Feature Stability
Relative Suffix Trees
Adaptation of the Jacobi Method for a Computer with Magnetic-tape Backing Store
Blockchain-Based Confidential Multiparty Contract Signing Protocol Without TTP Using Elliptic Curve Cryptography
Privacy-preserving Multimedia Data Analysis
Implementation of BEDSOCS: An Interactive Simulation Language
Communication-Aware Energy Consumption Model in Heterogeneous Computing Systems
Biobjective Scheduling Algorithms for Execution Time?Reliability Trade-off in Heterogeneous Computing Systems
A tau-Restricted Key Agreement Scheme
A Method to Bound the Number of Active S-Boxes for a Kind of AES-Like Structure
Requirements for Parallel Programming in Object-oriented Distributed Systems
The Computer Journal Special Issue on Parameterized Complexity: Foreword by the Guest Editors
Efficient Storage Management for Functional Languages
Incorporating Biterm Correlation Knowledge into Topic Modeling for Short Texts
Cryptanalysis of Modular Exponentiation Outsourcing Protocols
UeLP: accurate user linkage across social platforms against location errors
Data Locality-Aware Big Data Query Evaluation in Distributed Clouds
The structure of a multiprogramming supervisor
Hybrid Interpretation of 'No Match' and 'Multiple Match' in Induction
Dynamic Service Execution in Sensor Networks
Towards Combining Model Checking and Proof Checking
Book Review: Information Transmission, by Elwyn Edwards, 1964; 133 pages
Efficient Load-Balancing Aware Cloud Resource Scheduling for Mobile User
A Fast SVC-Based Channel-Recommendation System for an IPTV on a Cloud and P2P Hybrid Platform
Microcomputer Networks
Generic Commands - A Tool for Partial Correctness Formalisms
The I.S.O. character code
Faults in Functions, in ALGOL and FORTRAN
A Strategy for Using Genetic Algorithms to Automate Branch and Fault-Based Testing
An Empirical Study on Mutation Testing of WS-BPEL Programs
Impacts of Task Re-Execution Policy on MapReduce Jobs
A Structured Programming Experiment
Frank Y. Shih Digital Watermarking and Steganography: Fundamentals and Techniques . CRC/Taylor & Francis (2008).ISBN-13: 9781420047578, 180 pp. Hardcover
A Graphically Interacting Program Monitor
Discussion and Correspondence: An established U.K. software development
Polynomial Silent Self-Stabilizing p-Star Decomposition†
Proof by Semantic Attributes of a LISP Compiler
A Profit-maximizing Mechanism for Query-based Data Trading with Personalized Differential Privacy
Optimization of Climatic Conditions Affecting Determination of the Amount of Water Needed by Plants in Relation to Their Life Cycle with Particle Swarm Optimization, and Determining the Optimum Irrigation Schedule
A Modified Round Robin Scheduler for Time-Sharing Systems
Resource Directed Loop Pipelining: Exposing Just Enough Parallelism
Information, the Life Blood of Organisation
Reusable Fuzzy Extractor Based on the LPN Assumption
The 'Cross' Rectangle Intersection Problem
Authorized Equi-join for Multiple Data Contributors in the PKC-Based Setting
Sentiment Analysis of Fast Food Companies With Deep Learning Models
eBiBa: A Post-Quantum Hash-Based Signature With Small Signature Size in the Continuous Communication of Large-Scale Data
Energy-Efficient Cloud Computing
On the Hardness of the Sum of k Mins Problem
A Suggestion for a Fast Residue Multiplier for a Family of Moduli of the Form (2 n - (2 p [plusmn] 1))
Design Considerations for Scalable Parallel File Systems
Disjunctive Total Domination In Harary Graphs
Facilitating Efficient Object Tracking in Large-Scale Traceability Networks
Experiments on the Mechanization of Game-Learning. 2-Rule-Based Learning and the Human Window
Speed-up of Parallel Processing of Divisible Loads on k-dimensional Meshes and Tori
Review: From P2P to Web Services and Grids: Peers in a Client/Server World
Adaptively Secure KP-ABE For Circuits With Fan-In n And Fan-Out 1
Power Saving Proxies for Web Servers
Optimal Joint Path Computation and Rate Allocation for Real-time Traffic
Construction and Validation of Early Software Size Estimation Models Based on ADAF-Adjusted ACD Metrics
College Timetabel Construction by Computer
The Second Decade of Computer Development
Erratum: Self-Healing Key Distribution Schemes for Wireless Networks: A Survey
Reversible Steganographic Method Using Complexity Control and Human Visual System
A Multi-objective Virtual Machine Migration Policy in Cloud Systems
Information Flow Analysis for Fail-Secure Devices
State-Optimal Alternator for Uniform Synchronous Rings
K Autocode
On the Design of RNS Inter-Modulo Processing Units for the Arithmetic-Friendly Moduli Sets {2n+k, 2n - 1, 2n+1 - 1}
The MU5 Name Store
Parallel Generation of Permutations
On-Line State Estimation with a Small Computer
An Experimental Testbed for Numerical Software
Towards FORTRAN VI? Part 2. FORTRAN in the Modern World
Programming Objectives: An Analysis
A Top-Down Inference Procedure for Template Dependencies
Determining Exact Solutions for Structural Parameters on Hierarchical Networks With Density Feature
Approximations for lambda-Colorings of Graphs
Video Hashing with DCT and NMF
Object-oriented Techniques for the Management of Geographic and Environmental Data
New Security Risk Value Estimate Method for Android Applications
RAPIDWRITE - A New Approach to COBOL Readability
A Policy-Driven Service Composition Method for Adaptation in Pervasive Computing Environment
Independent Spanning Trees in RTCC-Pyramids
Polynomial approximation and the τ-method
A Computational Algorithm for Sequential Estimation
Future papers
Quadtrees: Storage and Scan Conversion
A Discussion of Communication Schemes for Process Execution Histories to Enforce Entailment Constraints in Process-Driven SOAs
An Application of a Computer to Wind Tunnel Design: 1
Tensor Product Approximations to Data Defined on Rectangular Meshes in N-Space
Integrating Information Theory in Agent-Based Crowd Simulation Behavior Models
ALGOL 68 with fewer tears
Wearable Sensor-Based Human Activity Recognition System Employing Bi-LSTM Algorithm
Computing Dirichlet Tessellations in the Plane
Review: Book review: Automatic control
Automatic Application Program Interface to a Data Base
Enable Traditional Laptops with Virtual Writing Capability Leveraging Acoustic Signals
Joint Fusion and Blind Restoration For Multiple Image Scenarios With Missing Data
Events Algebra of Triggers
Automatic Sales Forecasting
Generalized Inverse Methods for the Best Least Squares Solution of Systems of Non-Linear Equations
An Efficient Link Polling Policy by Pattern Matching for Bluetooth Piconet
SEFE = C-Planarity?
Research on Reversible Visible Watermarking Algorithms Based on Vectorization Compression Method
On Primality Testing using Purely Divisionless Operations
Enhancing Deep-Learning Based Side-Channel Analysis Through Simultaneously Multi-Byte Training
Management of Server Farms for Performance and Profit
Enumerating Ordered Trees Lexicographically
Information Systems Development Research: An Exploration of Ideas in Practice
Integrity of a Mass Storage Filing System
A Content-Based Model for Tag Recommendation in Software Information Sites
Restoration of Bayer-sampled Image Sequences
Generating training events for building cyber-physical security skills
An Attack on a Proposed Construction of Small-State Stream Ciphers and Proposals for New Constructions
First British Computer Society Conference
Security, Trust and Risk in Multimedia Social Networks
Criteria for Choosing Subsets to Obtain Maximum Relative Entropy
DeepSTF: A Deep Spatial-Temporal Forecast Model of Taxi Flow
Constrained Longest Common Subsequences with Run-Length-Encoded Strings
Computers as an Aid in Computer Design Assessment
Approximate Modelling of Cognitive Activity with and Expert System: A Theory-Based Strategy for Developing an Interactive Design Tool
Learning Representation From Concurrence-Words Graph For Aspect Sentiment Classification
Scheduling jobs with resource-dependent ready times and processing times depending on their starting times and positions
An Ensemble Method based on Selection Using Bat Algorithm for Intrusion Detection
Protection Structures in Multithreaded Systems
Compression Cryptosystem
Another Postage Stamp Problem
GreenOCR: An Energy-Efficient Optimal Clustering Routing Protocol
Job Control in the MU5 Operating System
Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation
Interface/implementation Separation Mechanism for Integrating Object-oriented Management Systems and General-purpose Programming Languages
Web Data Management Practices - Emerging Techniques and Technologies
Combining Interpretive Code with Machine Code
Digital Simulation of Analogue Methods
User Navigation in the IRS Conceptual Structure through a Semantic Association Function
Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines
A note on Program Debugging in an On-Line Environment
The Analysis of Surveys: Processing and Printed the Basic Tables
An Efficient Starvation-Free Semaphore Solution for the Graphical Mutual Exclusion Problem
Efficient Comparison Of Independence Structures Of Log-Linear Models
Adapted Transfer of Distance Measures for Quantitative Structure-Activity Relationships and Data-Driven Selection of Source Datasets
An Approach to Persistent Programming
Deriving a Quantum Information Retrieval Basis
Order-Hiding Range Query over Encrypted Data without Search Pattern Leakage
Leakage-Free ID-Based Signature
Considerations in Choosing a Character Code for Computers and Punched Tapes
Comparison and Extension of Theories of Zipf and Halstead
Data Transmission - Problems and Prospects
On The Security of a Group Key Agreement Protocol
Hierarchical Approach to Detect Fractures in CT DICOM Images
User's experience of CLEO
Note on a comparison of evaluation schemes for the interpolating polynomial
The Solution of Real Instances of the Timetabling Problem
Evaluating Object-Oriented Query Languages
A Note on Dynamic File Organization Models
Dictionary Machine with Improved Performance
Near-Optimal Tracking for Residents' Comfort in Context-Aware Heterogeneous Smart Environments
A Real Time Hidden Surface Technique
LINEAL: A System for Numerical Linear Algebra
FLAKE: Fuzzy Graph Centrality-based Automatic Keyword Extraction
Privacy Preserving, Verifiable and Resilient Data Aggregation in Grid-Based Networks
A note on list-processing in BCL
Concurrent Maintenance of Data Structures in a Distributed Environment
Improved Tactile Perception of 3D Geometric Bumps Using Coupled Electrovibration and Mechanical Vibration Stimuli
A PEPA Specification of an Industrial Production Cell
Segmentation and virtual address topology - an essay in virtual research
Multiple Generation Text Files Using Overlapping Tree Structures
Equivalence of Two Algorithms for Cooper's Generalised Factorial Function
An analogue computer simulation of a Cowper Stove
Analysis of Comparison-Based Diagnosable Systems Using Temporal Criteria
The Software Process: A Perspective on Improvement
The Generalized 3-Connectivity Of The Folded Hypercube FQn
A Framework for Energy-Aware Routing in Packet Networks
Objective Bayesian Analysis of a Cokriging Model for Hierarchical Multifidelity Codes
Using Coupling Methods to Estimate Sample Quality of Stochastic Differential Equations
An Energy-Based Model Approach to Rare Event Probability Estimation
Multilevel Markov Chain Monte Carlo for Bayesian Inversion of Parabolic Partial Differential Equations under Gaussian Prior
A Generalized Kernel Method for Global Sensitivity Analysis
Randomize-Then-Optimize for Sampling and Uncertainty Quantification in Electrical Impedance Tomography
Model Calibration via Deformation
Space-time Multilevel Quadrature Methods and their Application for Cardiac Electrophysiology
Multipoint Distribution of Saturation for Stochastic Nonlinear Two-Phase Transport
Propagation of Uncertainties Using Improved Surrogate Models
A Hybrid Gibbs Sampler for Edge-Preserving Tomographic Reconstruction with Uncertain View Angles
Polynomial Chaos Surrogate Construction for Random Fields with Parametric Uncertainty
Efficient Estimation of the ANOVA Mean Dimension, with an Application to Neural Net Classification
Multifidelity Preconditioning of the Cross-Entropy Method for Rare Event Simulation and Failure Probability Estimation
A Measure-Theoretic Computational Method for Inverse Sensitivity Problems III: Multiple Quantities of Interest
Calculation of Lagrange Multipliers in the Construction of Maximum Entropy Distributions in High Stochastic Dimension
Error Bounds for a Kernel-Based Constrained Optimal Smoothing Approximation
A Multilevel Monte Carlo Method for Computing Failure Probabilities
Diffusion Map-based Algorithm for Gain Function Approximation in the Feedback Particle Filter
Minimum Distance Estimation of Milky Way Model Parameters and Related Inference
Bayesian Inference via Filtering Equations for Ultrahigh Frequency Data (I): Model and Estimation
Adaptive Multilevel Subset Simulation with Selective Refinement
A Study of Elliptic Partial Differential Equations with Jump Diffusion Coefficients
Bayesian Analysis of Hierarchical Multifidelity Codes
Compressed Sensing with Sparse Corruptions: Fault-Tolerant Sparse Collocation Approximations
Perturbation Analysis for the Darcy Problem with Log-Normal Permeability
Adaptive Numerical Designs for the Calibration of Computer Codes
Variance Components and Generalized Sobol' Indices
A Spline Chaos Expansion
Weak Convergence of Finite Element Approximations of Linear Stochastic Evolution Equations with Additive Lévy Noise
Kernel Approximation: From Regression to Interpolation
Feature Calibration for Computer Models
Scaled Gaussian Stochastic Process for Computer Model Calibration and Prediction
An Evolve-Filter-Relax Stabilized Reduced Order Stochastic Collocation Method for the Time-Dependent Navier-Stokes Equations
Computational Aspects of Stochastic Collocation with Multifidelity Models
Accelerating Stochastic Collocation Methods for Partial Differential Equations with Random Input Data
Tensor Algorithms for Advanced Sensitivity Metrics
Dimension Reduction for Gaussian Process Emulation: An Application to the Influence of Bathymetry on Tsunami Heights
Scalable Physics-Based Maximum Likelihood Estimation Using Hierarchical Matrices
Stochastic Galerkin Methods for Linear Stability Analysis of Systems with Parametric Uncertainty
Estimation of Ordinary Differential Equation Models with Discretization Error Quantification
Deep Surrogate Accelerated Delayed-Acceptance Hamiltonian Monte Carlo for Bayesian Inference of Spatio-Temporal Heat Fluxes in Rotating Disc Systems
A Variational Inference Approach to Inverse Problems with Gamma Hyperpriors
Parameter Selection and Verification Techniques Based on Global Sensitivity Analysis Illustrated for an HIV Model
Quasi-Monte Carlo and Multilevel Monte Carlo Methods for Computing Posterior Expectations in Elliptic Inverse Problems
A Hybrid Sparse-Grid Approach for Nonlinear Filtering Problems Based on Adaptive-Domain of the Zakai Equation Approximations
Post hoc Uncertainty Quantification for Remote Sensing Observing Systems
Group Kernels for Gaussian Process Metamodels with Categorical Inputs
Extreme Event Quantification in Dynamical Systems with Random Components
Comparison of Surrogate-Based Uncertainty Quantification Methods for Computationally Expensive Simulators
Empirical Regression Method for Backward Doubly Stochastic Differential Equations
Power-Law Noises over General Spatial Domains and on Nonstandard Meshes
Analysis of the Ensemble and Polynomial Chaos Kalman Filters in Bayesian Inverse Problems
A Preconditioner for Fictitious Domain Formulations of Elliptic PDEs on Uncertain Parameterized Domains
Estimating Shape Constrained Functions Using Gaussian Processes
Frequency-Explicit Shape Holomorphy in Uncertainty Quantification for Acoustic Scattering
On the Saturation Phenomenon of Stochastic Gradient Descent for Linear Inverse Problems
Projective Integral Updates for High-Dimensional Variational Inference
On the Application of McDiarmid's Inequality to Complex Systems
Perron-Frobenius Operator Filter for Stochastic Dynamical Systems
Asymptotic Theory of \(\boldsymbol \ell _1\) -Regularized PDE Identification from a Single Noisy Trajectory
EzGP: Easy-to-Interpret Gaussian Process Models for Computer Experiments with Both Quantitative and Qualitative Factors
Efficient Distribution Estimation and Uncertainty Quantification for Elliptic Problems on Domains with Stochastic Boundaries
Regularization for the Approximation of Functions by Mollified Discretization Methods
Sampling, Metamodeling, and Sensitivity Analysis of Numerical Simulators with Functional Stochastic Inputs
An Adaptive Stochastic Galerkin Tensor Train Discretization for Randomly Perturbed Domains
Estimates of System Response Maxima by Extreme Value Theory and Surrogate Models
Transport Reversal for Model Reduction of Hyperbolic Partial Differential Equations
Stochastic Galerkin Methods for Analyzing Equilibria of Random Dynamical Systems
Stability for a Stochastic Inverse Source Problem in Eddy Current Equations
Computer Model Calibration with Time Series Data Using Deep Learning and Quantile Regression
Gaussian Process Modeling of Finite Element Models with Functional Inputs
Massively Parallel Approximate Gaussian Process Regression
Mercer Kernels and Integrated Variance Experimental Design: Connections Between Gaussian Process Regression and Polynomial Approximation
Active Learning via Heteroskedastic Rational Kriging
Calibration of Inexact Computer Models with Heteroscedastic Errors
Identification of Complex Models
A Probabilistic Clustering Approach for Identifying Primary Subnetworks of Discrete Fracture Networks with Quantified Uncertainty
Unbiased Markov Chain Quasi-Monte Carlo for Gibbs Samplers
Bayesian Calibration of the Community Land Model Using Surrogates
The Bayesian Approach to Inverse Robin Problems
Asymptotic Forecast Uncertainty and the Unstable Subspace in the Presence of Additive Model Error
Multilevel Ensemble Kalman-Bucy Filters
Multifidelity Surrogate Modeling for Time-Series Outputs
Effectively Subsampled Quadratures for Least Squares Polynomial Approximations
Mean-Variance Risk-Averse Optimal Control of Systems Governed by PDEs with Random Parameter Fields Using Quadratic Approximations
Oracle Inequality for a Statistical Raus-Gfrerer-Type Rule
Goal-Oriented Error Estimation and Adaptivity for Stochastic Collocation FEM
Overlapping Clustering Based Technique for Scalable Uncertainty Quantification in Physical Systems
One-Shot Learning of Surrogates in PDE-Constrained Optimization under Uncertainty
Stacking Designs: Designing Multifidelity Computer Experiments with Target Predictive Accuracy
Scalable Simulation-Based Inference for Implicitly Defined Models Using a Metamodel for Monte Carlo Log-Likelihood Estimator
Nonasymptotic Bounds for Suboptimal Importance Sampling
Efficient Adaptive Algorithms for Elliptic PDEs with Random Data
Inverse Subspace Iteration for Spectral Stochastic Finite Element Methods
Emulation of Stochastic Simulators Using Generalized Lambda Models
Conglomerate Multi-fidelity Gaussian Process Modeling, with Application to Heavy-Ion Collisions
Landmark-Warped Emulators for Models with Misaligned Functional Response
Reduced Basis Methods for Uncertainty Quantification
Evolving Surface Finite Element Methods for Random Advection-Diffusion Equations
Surrogate Models for Oscillatory Systems Using Sparse Polynomial Chaos Expansions and Stochastic Time Warping
Higher Order Quasi-Monte Carlo Integration for Holomorphic, Parametric Operator Equations
Variance Reduction for Estimation of Shapley Effects and Adaptation to Unknown Input Distribution
Probabilistic Gradients for Fast Calibration of Differential Equation Models
A Higher Order Unscented Transform
Hyperparameter Estimation for Sparse Bayesian Learning Models
Deep Learning for Model Correction of Dynamical Systems with Data Scarcity
Generative Stochastic Modeling of Strongly Nonlinear Flows with Non-Gaussian Statistics
Numerical Approximation of Optimal Convergence for Fractional Elliptic Equations with Additive Fractional Gaussian Noise
Sparse Inverse Cholesky Factorization of Dense Kernel Matrices by Greedy Conditional Selection
Quantifying Domain Uncertainty in Linear Elasticity
An Approximate Control Variates Approach to Multifidelity Distribution Estimation
Cross-Validation-based Adaptive Sampling for Gaussian Process Models
Scenario Generation Methods that Replicate Crossing Times in Spatially Distributed Stochastic Systems
Optimal Design of Large-scale Bayesian Linear Inverse Problems Under Reducible Model Uncertainty: Good to Know What You Don't Know
(Sub-)Gradient Formulae for Probability Functions of Random Inequality Systems under Gaussian Distribution
Sliced-Inverse-Regression-Aided Rotated Compressive Sensing Method for Uncertainty Quantification
Stochastic Convergence Analysis of the Inverse Potential Problem
A Bayesian Numerical Homogenization Method for Elliptic Multiscale Inverse Problems
A Combination Technique for Optimal Control Problems Constrained by Random PDEs
A General Framework of Rotational Sparse Approximation in Uncertainty Quantification
Low-Rank Solution of Unsteady Diffusion Equations with Stochastic Coefficients
Multilevel Simulation Based Policy Iteration for Optimal Stopping-Convergence and Complexity
Sequentially Refined Latin Hypercube Designs with Flexibly and Adaptively Chosen Sample Sizes
Mathematical Properties of Polynomial Dimensional Decomposition
Weighted Leave-One-Out Cross Validation
Advancing Inverse Scattering with Surrogate Modeling and Bayesian Inference for Functional Inputs
Sequential Design of Computer Experiments for the Computation of Bayesian Model Evidence
Multilevel Monte Carlo Analysis for Optimal Control of Elliptic PDEs with Random Coefficients
A Fully Parallelized and Budgeted Multilevel Monte Carlo Method and the Application to Acoustic Waves
Adaptive Uncertainty Quantification for Stochastic Hyperbolic Conservation Laws
Wasserstein Sensitivity of Risk and Uncertainty Propagation
Leveraging Viscous Hamilton-Jacobi PDEs for Uncertainty Quantification in Scientific Machine Learning
Multilevel Markov Chain Monte Carlo with Likelihood Scaling for Bayesian Inversion with High-resolution Observations
Uncertainty Quantification by Multilevel Monte Carlo and Local Time-Stepping for Wave Propagation
Multilevel Estimation of Rare Events
Extrapolated Polynomial Lattice Rule Integration in Computational Uncertainty Quantification
Adaptive Reduced Tempering for Bayesian Inverse Problems and Rare Event Simulation
Subsampling of Parametric Models with Bifidelity Boosting
A Bayesian Approach to Estimating Background Flows from a Passive Scalar
Numerical Solution of Scalar Conservation Laws with Random Flux Functions
Can We Trust Bayesian Uncertainty Quantification from Gaussian Process Priors with Squared Exponential Covariance Kernel?
A Multiscale Strategy for Bayesian Inference Using Transport Maps
Efficient State/Parameter Estimation in Nonlinear Unsteady PDEs by a Reduced Basis Ensemble Kalman Filter
Polar Gaussian Processes and Experimental Designs in Circular Domains
Deterministic Sampling for Propagating Model Covariance
Importance Sampling for Pathwise Sensitivity of Stochastic Chaotic Systems
Uncertainty Quantification in Graph-Based Classification of High Dimensional Data
An Order-Theoretic Perspective on Modes and Maximum A Posteriori Estimation in Bayesian Inverse Problems
Strong Rates of Convergence of a Splitting Scheme for Schrödinger Equations with Nonlocal Interaction Cubic Nonlinearity and White Noise Dispersion
Stochastic Normalizing Flows for Inverse Problems: A Markov Chains Viewpoint
Maximum Likelihood Estimation and Uncertainty Quantification for Gaussian Process Approximation of Deterministic Functions
Uncertainty Quantification of Unsteady Flows Generated by Line-Sources Through Heterogeneous Geological Formations
Uncertainty Quantification for the BGK Model of the Boltzmann Equation Using Multilevel Variance Reduced Monte Carlo Methods
Statistical Guarantees of Group-Invariant GANs