yusuke1997/dblp-id-title huggingface dataset:
Asymptotically optimal allocation of stratified sampling with adaptive variance reduction by strata
HCSM: A Framework for Behavior and Scenario in Virtual Environments
Bayesian Optimisation vs. Input Uncertainty Reduction
Confidence intervals for quantiles when applying variance-reduction techniques
Corrigendum: Behavior of the NORTA method for correlated random vector generation as the dimension increases
Adaptive Newton-based multivariate smoothed functional algorithms for simulation optimization
In Defense of Discrete-Event Simulation
Random Variate Generation for Multivariate Unimodal Densities
Virtual Time III, Part 1: Unified Virtual Time Synchronization for Parallel Discrete Event Simulation
Quick Simulation of ATM Buffers with On-Off Multiclass Markov Fluid Sources
Efficient and portable multiple recursive generators of large order
Flexible reference trace reduction for VM simulations
Analysis of nonstationary stochastic simulations using classical time-series models
Production and Playback of Human Figure Motion for Visual Simulation
ParTejas: A Parallel Simulator for Multicore Processors
Using Permutations in Regenerative Simulations to Reduce Variance
Importance sampling for sums of random variables with regularly varying tails
An Integrated Approach to System Modeling Using a Synthesis of Artificial Intelligence, Software Engineering, and Simulation Methodologies
An Improved Model of Wavelet Leader Covariance for Estimating Multifractal Properties
Model representation with aesthetic computing: Method and empirical study
Combining importance sampling and temporal difference control variates to simulate Markov Chains
Morphological Coevolution for Fluid Dynamical-Related Risk Mitigation
A Method Using Generative Adversarial Networks for Robustness Optimization
A component-based approach to modeling and simulating mixed-signal and hybrid systems
State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
Efficient importance sampling schemes for a feed-forward network
Analysis of state-independent importance-sampling measures for the two-node tandem queue
Symbiotic adaptive multisimulation: An autonomic simulation framework for real-time decision support under uncertainty
Development of a simulation model of colorectal cancer
A combined procedure for optimization via simulation
Reproducibility Report for the Paper: "A Toolset for Predicting Performance of Legacy Real-Time Software Based on the RAST Approach"
Predicting the Simulation Budget in Ranking and Selection Procedures
Getting rid of correlations among pseudorandom numbers: discarding versus tempering
Empirical evidence concerning AES
A Bayesian Approach to Parameter Inference in Queueing Networks
Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems"
An efficient single-pass trace compression technique utilizing instruction streams
Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems"
LN: A Flexible Algorithmic Framework for Layered Queueing Network Analysis
Multilevel Sequential Monte Carlo Samplers for Normalizing Constants
Toward a Theory of Superdense Time in Simulation Models
A Virtual WLAN Device Model for High-Fidelity Wireless Network Emulation
Intelligent Manufacturing-Simulation Agents Tool (IMSAT)
The DEVStone Metric: Performance Analysis of DEVS Simulation Engines
Replicated Computational Results (RCR) Report for "Fast Random Integer Generation in an Interval"
Guest Editorial for the TOMACS Special Issue on the Principles of Advanced Discrete Simulation (PADS)
Fast simulation of overflow probabilities in a queue with Gaussian input
Exact-Differential Simulation: Differential Processing of Large-Scale Discrete Event Simulations
Cross-entropy and rare events for maximal cut and partition problems
Risk Quantification in Stochastic Simulation under Input Uncertainty
Cycle-Accurate Network on Chip Simulation with Noxim
Uncertainty-aware Simulation of Adaptive Systems
The Effect of Robust Decisions on the Cost of Uncertainty in Military Airlift Operations
Approximate Inference for Observation-Driven Time Series Models with Intractable Likelihoods
Automatic Runtime Adaptation for Component-Based Simulation Algorithms
Efficient Simulation for Expectations over the Union of Half-Spaces
A Methodology to Model the Execution of Communication Software for Accurate Network Simulation
A Scalable Quantum Key Distribution Network Testbed Using Parallel Discrete-Event Simulation
ENHANCE: Multilevel Heterogeneous Performance-Aware Re-Partitioning Algorithm For Microscopic Vehicle Traffic Simulation
Gradient Extrapolated Stochastic Kriging
Generalized Probabilistic Bisection for Stochastic Root Finding
Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools"
Selection Procedures for Simulations with Multiple Constraints under Independent and Correlated Sampling
Introduction to the Special Issue on QEST 2022, Part 2
Efficient Parallel Simulation over Large-scale Social Contact Networks
Sharpening comparisons via gaussian copulas and semidefinite programming
TADSim: Discrete Event-Based Performance Prediction for Temperature-Accelerated Dynamics
A Modest Approach to Markov Automata
Indemics: An interactive high-performance computing framework for data-intensive epidemic modeling
Automated Estimation of Extreme Steady-State Quantiles via the Maximum Transformation
A Role-Dependent Data-Driven Approach for High-Density Crowd Behavior Modeling
Introduction to special issue on healthcare modeling and simulation
Replicated Computational Results (RCR) Report for"A Practical Approach to Subset Selection for Multi-Objective Optimization via Simulation"
Synchronous Relaxation for Parallel Simulations with Applications to Circuit-Switched Networks
On Transience and Recurrence in Irreducible Finite-State Stochastic Systems
Space-Time Matching Algorithms for Interest Management in Distributed Virtual Environments
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version
A Decision Support System for Placement of Intrusion Detection and Prevention Devices in Large-Scale Networks
Perwez Shahabuddin, 1962-2005: A professional appreciation
Guest editors' introduction to special issue on the third INFORMS simulation society research workshop
Efficient simulation of queues in heavy traffic
Characterizing per-application network traffic using entropy
Self-Avoiding Random Dynamics on Integer Complex Systems
Inverse transformed density rejection for unbounded monotone densities
Computing blocking probabilities in multiclass wavelength routing networks
A fully sequential procedure for indifference-zone selection in simulation
Constructing nearly orthogonal latin hypercubes for any nonsaturated run-variable combination
Guest Editors' Introduction to Special Issue Honoring Donald L. Iglehart
Conversion of high-period random numbers to floating point
A Variational Inference-Based Heteroscedastic Gaussian Process Approach for Simulation Metamodeling
Generalized Halton sequences in 2008: A comparative study
The Mean Square Discrepancy of Randomized Nets
Staged simulation: A general technique for improving simulation scale and performance
Bootstrap confidence intervals for ratios of expectations
Batching Adaptive Variance Reduction
DGHPSIM: : Generic simulation of hospital performance
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems
Theory and Application of Marsaglia's Monkey Test for Pseudorandom Number Generators
Sufficient Conditions for Central Limit Theorems and Confidence Intervals for Randomized Quasi-Monte Carlo Methods
Analysis of Bounded Time Warp and Comparison with YAWNS
How Hard are Steady-State Queueing Simulations?
Strong Deviations from Randomness in m-Sequences Based on Trinomials
Stochastic approximation algorithms for constrained optimization via simulation
On the Marginal Standard Error Rule and the Testing of Initial Transient Deletion Methods
Efficient simulation of buffer overflow probabilities in Jackson Networks with feedback
Regenerative steady-state simulation of discrete-event systems
Generating Triangulations at Random
An Analysis of Three C/C++ Cluster-Computing Libraries for Agent-Based Models
Automated container transport system between inland port and terminals
Computing the distribution function of a conditional expectation via monte carlo: Discrete conditioning spaces
Deterministic and stochastic models for the detection of random constant scanning worms
Deriving Feasible Deployment Alternatives for Parallel and Distributed Simulation Systems
Temporal Integration of Emulation and Network Simulators on Linux Multiprocessors
Parallel Execution for Serial Simulators
A framework for simulation of surrounding vehicles in driving simulators
RCR Report for the Paper : "Using (Not-so) Large Language Models to Generate Simulation Models in a Formal DSL: A Study on Reaction Networks"
End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models
Evaluating Models of Memory Allocation
Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language
Fidelity of network simulation and emulation: A case study of TCP-targeted denial of service attacks
An Efficient Budget Allocation Approach for Quantifying the Impact of Input Uncertainty in Stochastic Simulation
Finding feasible systems in the presence of constraints on multiple performance measures
AIR: Application-Level Interference Resilience for PDES on Multicore Systems
A fuzzy set theoretic approach to validate simulation models
Declaration of unknowns in DAE-based hybrid system specification
Replicated Computational Results (RCR) Report for "Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems"
Performance and fluid simulations of a novel shared buffer management system
Two-stage stochastic optimization for optimal power flow under renewable generation uncertainty
Resampled Regenerative Estimators
Introduction to the Special Issue for Towards an Ecosystem of Simulation Models and Data
Exploiting Social Capabilities in the Minority Game
Dimensionally Aware Multi-Objective Genetic Programming for Automatic Crowd Behavior Modeling
Toward Data Center Digital Twins via Knowledge-based Model Calibration and Reduction
Parallel Data Distribution Management on Shared-memory Multiprocessors
Ideas towards Model Families for Multi-Criteria Decision Support: A COVID-19 Case Study
A Prescriptive Simulation Framework with Realistic Behavioural Modelling for Emergency Evacuations
Posterior Expectation of Regularly Paved Random Histograms
Statistical Debugging for Simulations
Guest editorial - Simulation for training foundations and techniques
Editor's introduction: Special issue honoring Perwez Shahabuddin
Instability and Performance Limits of Distributed Simulators of Feedforward Queueing Networks
Towards a Polynomial-Time Randomized Algorithm for Closed Product-Form Networks
A Cross-Entropy Scheme for Mixtures
Spatial/Temporal Locality-Based Load-sharing in Speculative Discrete Event Simulation on Multi-core Machines
Guest editors' introduction to special issue on the first INFORMS simulation society research workshop
A Tool for xMAS-Based Modeling and Analysis of Communication Fabrics in Simulink
Forwarding devices: From measurements to simulations
Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology
Sample-based estimation of correlation ratio with polynomial approximation
Performance and Reliability Analysis of Relevance Filtering for Scalable Distributed Interactive Simulation
Approximate bivariate gamma generator with prespecified correlation and different marginal shapes
A Case Study of Verification, Validation, and Accreditation for Advanced Distributed Simulation
Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools
How heavy-tailed distributions affect simulation-generated time averages
Data Farming: Methods for the Present, Opportunities for the Future
Enhancing P4-Based Network Emulation Fidelity Through a Lightweight Virtual Time System and Application Evaluation
Verifier's Dilemma in Proof-of-Work Public Blockchains: A Quantitative Analysis
Implementation and Tests of Low Discrepancy Sequences
Adaptive Memory Management and Optimism Control in Time Warp
Technical Note: A Hierarchical Computer Architecture Design and Simulation Environment
Statistical Independence Properties of Inversive Pseudorandom Vectors Over Parts of the Period
Generating Hidden Markov Models from Process Models Through Nonnegative Tensor Factorization
A Characterization of the Simple Failure-Biasing Method for Simulations of Highly Reliable Markovian Systems
Discrete-Event Modeling and Simulation of Diffusion Processes in Multiplex Networks
The Hierarchical Simulation Language HSL: A Versatile Tool for Process-Oriented Simulation
Parallel Simulation and Virtual-Machine-Based Emulation of Software-Defined Networks
Random number generation with primitive pentanomials
Time-space consistency in large-scale distributed virtual environments
A system of high-dimensional, efficient, long-cycle and portable uniform random number generators
Introduction to the Special Issue for INFORMS Simulation Society (I-Sim) Workshop, 2021
Discrete-event simulation optimization using ranking, selection, and multiple comparison procedures: A survey
Synchronised range queries in distributed simulations of multiagent systems
Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim
An Analysis of Rollback-Based Simulation
Tables of 64-bit Mersenne twisters
Replicated Computations Results (RCR) Report for "MNO-PQRS: Max Nonnegativity Ordering - Piecewise-Quadratic Rate Smoothing"
New Performance Modeling Methods for Parallel Data Processing Applications
Computational Issues for Accessibility in Discrete Event Simulation
Computation Offloading and Band Selection for IoT Devices in Multi-Access Edge Computing
Efficient Protocol Testing Under Temporal Uncertain Event Using Discrete-event Network Simulations
Dynamic structures in modeling and simulation: a reflective approach
Site-Specific Models for Realistic Wireless Network Simulation
The Purdue University network-computing hubs: running unmodified simulation tools via the WWW
Fixed-Confidence, Fixed-Tolerance Guarantees for Ranking-and-Selection Procedures
Formalization of Weak Emergence in Multiagent Systems
Relaxing Synchronization in Parallel Agent-Based Road Traffic Simulation
The distributed mission training integrated threat environment system architecture and design
A Survey of Statistical Model Checking
A discrete event method for wave simulation
Minimum cost adaptive synchronization: experiments with the ParaSol system
Extending Temporal Logic to Support High-Level Simulations
A model of the spread of randomly scanning Internet worms that saturate access links
Setwise and filtered gibbs samplers for teletraffic analysis
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction
Simulation optimization with countably infinite feasible regions: Efficiency and convergence
Variance and Derivative Estimation of Virtual Performance
Packet delay in models of data networks
Stochastic Approximation for Estimating the Price of Stability in Stochastic Nash Games
Modeling and simulation of SIP tandem server with finite buffer
Green Simulation with Database Monte Carlo
Green Simulation: Reusing the Output of Repeated Experiments
Distributed Approaches to Supply Chain Simulation: A Review
Exact Simulation for a Class of Tempered Stable and Related Distributions
Modeling train movements through complex rail networks
Drug Resistance or Re-Emergence? Simulating Equine Parasites
A federated approach to distributed network simulation
Fast Algorithms for Generating Discrete Random Variates with Changing Distributions
Variance estimation and sequential stopping in steady-state simulations using linear regression
The implementation of temporal intervals in qualitative simulation graphs
Inhomogeneous CTMC Birth-and-Death Models Solved by Uniformization with Steady-State Detection
Computing Global Virtual Time in Shared-Memory Multiprocessors
Inversive and Linear Congruential Pseudorandom Number Generators in Empirical Tests
Performance Evaluation of Spintronic-Based Spiking Neural Networks using Parallel Discrete-Event Simulation
Network simulation enhancing network management in real-time
Accelerating the convergence of random search methods for discrete stochastic optimization
Knowledge Discovery in Simulation Data
Asynchronous Algorithms for the Parallel Simulation of Event-Driven Dynamical Systems
The Weighted Spectral Test: Diaphony
Discrete Event Execution with One-Sided and Two-Sided GVT Algorithms on 216, 000 Processor Cores
Distributed simulation of agent-based systems with HLA
Bounded Relative Error in Estimating Transient Measures of Highly Dependable Non-Markovian Systems
Bad Subsequences of Well-Known Linear Congruential Pseudo-Random Number Generators
Fluid Approximation-based Analysis for Mode-switching Population Dynamics
A Multimodel Methodology for Qualitative Model Engineering
Scalable Cloning on Large-Scale GPU Platforms with Application to Time-Stepped Simulations on Grids
Optimized Real-Time Stochastic Model of Power Electronic Converters based on FPGA
Efficient Simulation of Sparse Graphs of Point Processes
On the Statistical Independence of Nonlinear Congruential Pseudorandom Numbers
ASAP3: a batch means procedure for steady-state simulation analysis
Improving the aircraft design process using Web-based modeling and simulation
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)
Reflective Nested Simulations Supporting Optimizations within Sequential Railway Traffic Simulators
Replicated Computations Results (RCR) Report for "Green Simulation: Reusing the Output of Repeated Experiments"
Static Network Reliability Estimation under the Marshall-Olkin Copula
Asymptotic Simulation Efficiency Based on Large Deviations
Replication of Computational Results Report for " Green Simulation with Database Monte Carlo "
Variance Reduction Applied to Product-Form Multiclass Queuing Networks
Replicated Computational Results (RCR) Report for "A New Test for Hamming-Weight Dependencies"
Simulation, Technology, and the Decision Process
ConceVE: Conceptual modeling and formal validation for everyone
Editorial for Principles of Advanced Discrete Simulation
Exposing Inter-process Information for Efficient PDES of Spatial Stochastic Systems on Multicores
Modeling methodology for integrated simulation of embedded systems
Application of Simulation in Healthcare Service Operations: A Review and Research Agenda
Omnithermal Perfect Simulation for Multi-server Queues
An Introduction to Multiobjective Simulation Optimization
Evolutionary optimization of low-discrepancy sequences
Modeling and generating multivariate time-series input processes using a vector autoregressive technique
Estimating Multiclass Service Demand Distributions Using Markovian Arrival Processes
A variant of importance splitting for rare event estimation: Fixed number of successes
Bounds and Approximations for Self-Initiating Distributed Simulation Without Lookahead
Stochastic approximation over multidimensional discrete sets with applications to inventory systems and admission control of queueing networks
Model Continuity in Discrete Event Simulation: A Framework for Model-Driven Development of Simulation Models
Rejection-Inversion to Generate Variates from Monotone Discrete Distributions
An alternative time management mechanism for distributed simulations
Visualizing Real-Time Multivariate Data Using Preattentive Processing
SpecSims: A Scalable Speculative Tree-based Simulation Cloning Framework for Finite Memory Machines
Bridging the gap: A standards-based approach to OR/MS distributed simulation
Model Reconstruction for Moment-Based Stochastic Chemical Kinetics
The optimizing-simulator: An illustration using the military airlift problem
Modeling Infectious Disease Epidemics in Mass Religious Gatherings: A Systematic Review
Path-ZVA: General, Efficient, and Automated Importance Sampling for Highly Reliable Markovian Systems
A Uniform Error Bound for Stochastic Kriging: Properties and Implications on Simulation Experimental Design
Supporting large-scale distributed simulation using HLA
A stochastic approximation method with max-norm projections and its applications to the Q-learning algorithm
Divergence Reduction in Monte Carlo Neutron Transport with On-GPU Asynchronous Scheduling
Trap-Driven Memory Simulation with Tapeworm II
Guest editors' introduction: Special issue on modeling and simulation of cross-layer interactions in communication networks
SubsetTrio: An evolutionary, geometric, and statistical benchmark subsetting framework
An analysis of queuing network simulation using GPU-based hardware acceleration
Moment-Matching-Based Conjugacy Approximation for Bayesian Ranking and Selection
Simulation-based models of emergency departments: : Operational, tactical, and strategic staffing
Extensions of Soft Ideals Over Semigroups
New Concepts of Cubic Vague Graphs with Novel Application
Synthesis of Quantum Multiple-Valued Circuits
Pseudo-Iséki Algebras. Connection with Pseudo-BL Algebras
New Robust Portfolio Selection Models Based on the Principal Components Analysis: An Application on the Turkish Holding Stocks
An Application of Fuzzy Coding in Multiple Correspondence Analysis for Transforming Data from Continuous to Categorical
On Scalar Products and Decomposition Theorems of Fuzzy Soft Sets
Completions in Subvarieties of BL-algebras
Fuzzy Rules for Joint Integration of Production Schedule and Maintenance Planning
Performance Analysis of Swarm Intelligence Algorithms for the 3D-AB off-lattice Protein Folding Problem
Cubic Intuitionistic Fuzzy Sets and its Fundamental Properties
Extension of Threshold Graphs Under Complex Intuitionistic Fuzzy Environment
Hyper Commutative Basic Algebras, Hyper MV-algebras, and States
Threshold Logic Realization of Discrete Functions Through Heterogeneous Decision Diagrams
Neurocomputing for Fuzzy Finite Element Analysis of Structures Based on Fuzzy Coefficient Programming
Binary-Coded Tug of War Optimization Algorithm for Attribute Reduction Based on Rough Set
Strong Fuzzy Subsethood Measures and Strong Equalities Via Implication Functions
Doubling Tolerances and Coalition Lattices
Computation of Fuzzy Truth Values for The Liar and Related Self-Referential Systems
Fuzzy MCDM-procedure for Design Evaluation: Capturing Redundant Information with an Interaction Matrix
Deciding the Existence of QuasiWeak Near Unanimity Terms in Finite Algebras
Efficient Computation of Galois Field Expressions on Hybrid CPU-GPU Platforms
The Decomposition of U( n ) into XU( n ) and ZU( n )
The Mathematics of Ivo Rosenberg
Constructions on P-Choice Algebras
A Primer in Understanding Retirement Planning with Fuzzy Mathematics
Soft Intersection Interior Ideals, Quasi-ideals and Generalized Bi-Ideals: A New Approach to Semigroup Theory II
Digital Learning for Students and its Impact on the Present System of Education
An Integrated Evaluation Model for Service Quality of Hospitals: A Case Study From Turkey
A Granulation-Interpolation Computing Approach for Constructing a Collection of Fuzzy Sets
α-Ideals and α-Deductive Systems in Bounded Hilbert Algebras
Partially Pair-critical Digraphs
Energy Management Maturity Model Based on Fuzzy Probabilistic Linguistic Term Sets
Variable Weighted Maximal Relevance Minimal Redundancy Criterion for Feature Selection Using Normalized Mutual Information
Localization of m -generalized Łukasiewicz Algebras of Order n
Introduction: Special Issue SOCO 2015
Connection Between Triangular or Trapezoidal Fuzzy Numbers and Ideals
Aggregation Operators of Fuzzy Bi-Polar Soft Sets and its Application in Decision Making
A Gene Expression Programming Algorithm for Multi-Label Classification
Representation Theory for Complete L-lattices
The Structure and Automorphisms of Semi-directed Graphs
Three Classes of Maximal Hyperclones