yusuke1997/dblp-id-title huggingface dataset:
A Framework for the Extension of DEVS With Sensor Fusion Capabilities
DEVSML 2.0: the language and the stack
Stiffness detection and reduction in discrete stochastic simulation of biochemical systems
Avoid painting walls with a hammer: a methodology for leveraging COTS/GOTS games for military training
Using GIS vector data to build virtual environments for agent based models
Shared-memory parallelization of the fast marching method using an overlapping domain-decomposition approach
Agents with personality and emotional filters for an e-learning environment
Toward model-driven engineering principles and practices for model replicability and experiment reproducibility
Tracking constrained clustering solutions with a probability-one homotopy map
A scenario generation framework for automating instructional support in scenario-based training
PRoModel : a model-driven software environment that facilitates and expedites the development of systems that handle uncertainty
Modeling a task-based matrix-matrix multiplication application for resilience decision making
FNCS: a framework for power system and communication networks co-simulation
pRIPPLE: a parallel version of a polynomial-time piecewise linear estimation algorithm
A large-scale mobile facial recognition system using embedded GPUs
Using gaming technology to model and predict target movement
Rapid construction of simulation-driven animations in web pages using NLX and Flash
System of systems based approaches to global simulation in Africa
An aspect oriented framework to applying markov chain Monte Carlo methods with dynamic models
Improving bulk power system resilience by ranking critical nodes in the vulnerability graph
Generating domain-specific simulation environments from SMP2-based model frameworks for rapid development of simulation applications
Zonation of drug-induced, hepatic enzyme induction: falsifying fine grained mechanisms within a validated, multiscale In Silico Liver
Merging worlds: complex adaptive systems science meets systems engineering: a foundation for complex adaptive agent-based modeling architectures
Epidemic propagation of west nile virus using a multi-agent geo-simulation under various short-term climate scenarios
N to P portfolio solver using a learning algorithm
Short term wind power forecasting using time series neural networks
An agent-based system for simulating dynamic choice-sets
A comparative study of pending event set implementations for PDEVS simulation
Simulation of reducing re-association and reauthentication phases for low handoff latency
Proceedings of the High Performance Computing Symposium, SpringSim (HPC) 2018, Baltimore, MD, USA, April 15-18, 2018
Validation of two distributed, autonomous self-organisation algorithms for 802.11 mesh networks by simulation
Humans vs. Bots: investigating models of behavior in the iterated Prisoner's dilemma
Middleware architecture for sensor-based bridge infrastructure management
Solar zoning and energy in detached residential dwellings
Evolving multi-agent network structure with organizational learning
A verification method for web service composition based on discrete event system modeling and simulation
Implementing RSVP-based capacity admission in OPNET modeler
Using simulation to evaluate traffic engineering management services in maritime networks
Hybrid modeling of opto-electrical interfaces using DEVS and modelica
Proficiency Based Planner for Safe Path Planning and Applications in Surgical Training
In silico white blood cell: mechanisms underlying leukocyte rolling and adhesion during inflammation
Valid (Re-)Use of Models-of-the-Physics in Cyber-Physical Systems Using Validity Frames
Examining norm establishment and spread in different organizational structures using an extended Axelrod model
DesignDEVS: reinforcing theoretical principles in a practical and lightweight simulation environment
On the generalization of continuous-time stochastic processes simulation for industrial production modeling
Modeling interoperability between a reflex and reasoning system in a physical simulation environment
On-the-fly verification of discrete event simulations by means of simulation purposes
The need for realism when simulating network congestion
Comparative analysis of OpenMP and MPI on multi-core architecture
Autonomous systems for operations in critical environments
Modeling and simulation based development of an enhanced ground proximity warning system for multicore targets
Enabling formal analysis of energy-aware automotive embedded systems in East-adl
The SEE HLA starter kit: enabling the rapid prototyping of HLA-based simulations for space exploration
OWL ontology to Ecore metamodel transformation for designing a domain specific language to develop aviation scenarios
We didn't start the fire: using an agent-directed thermal simulator to keep servers cool
Modeling and simulation of a re-entrant manufacturing system using Colored Petri Nets
NCTCP: a network coded TCP protocol
Strategies to hide communication for a classical molecular dynamics proxy application
Agent-based modeling of interdependencies in critical infrastructures through UML
A novel algorithm to prevent man in the middle attack in LAN environment
Strategic Airlift Operationalizing Constructive Simulations
Power profiling and evaluating the effect of frequency scaling on NWChem
Takeoff vibrations of a jetliner: simulating possible cause
Towards an ontology for simulation systems engineering
EpiSimS simulation of a multi-component strategy for pandemic influenza
Energy aware scheduling on desktop grid environment with static performance prediction
Communication security in internet of thing: preventive measure and avoid DDoS attack over IoT network
On the efficiency of the accelerated processing unit for scientific computing
Integrated Simulator Of Mobile Ad-Hoc Network-Based Infrastructure : A Case Study
Assessing instructional strategies for training robot-aided ISR tasks in simulated environments
On modeling and simulation of game theory-based defense mechanisms against DoS and DDoS attacks
BGSU grid: an experimental and educational grid environment
DEVSML 3.0 stack: rapid deployment of DEVS farm in distributed cloud environment using microservices and containers
Handover oscillation reduction in ultra-dense heterogeneous cellular networks using enhanced handover approach
Quantitative analysis of the mission impact for host-level cyber defensive mitigations
Technology and the health care quadrilemma: a test
Emerging targets for military simulation-based training
Denoising of time domain responses in wireless sensor network for the structural health monitoring of transportation infrastructure
Monte Carlo methods and super-recursive algorithms
Autonomous control of issue queue utilization for simultaneous multi-threading processors
Adapting model-based testing techniques to DEVS models validation
Proceedings of the Symposium on Simulation for Architecture & Urban Design, SimAUD 2015, part of the 2015 Spring Simulation Multiconference, SpringSim '15, Alexandria, VA, USA, April 12-15, 2015
Automatic validation for multi criteria decision making models in simulation environments
A simulation-based framework for the generation and evaluation of traffic management strategies
Sharer status-based caching in tiled multiprocessor systems-on-chip
Energy efficient radio range allocation in ad hoc wireless sensor networks
Efficient algorithms for assortative edge switch in large labeled networks
HPPNetSim: a parallel simulation of large-scale interconnection networks
Modeling application availability
Solving discrete resource allocation problems using the Simultaneous Perturbation Stochastic Approximation (SPSA) algorithm
Studying the impact of web-services implementation of distributed simulation of DEVS and Cell-DEVS models
Parallel and distributed simulation of parallel DEVS models
Evaluation of Learning Curve and Peripheral Awareness Using a Novel Multiresolution Foveated Laparoscope
Development of Grid resource discovery service based on semantic information
Agent based modeling of consumer choice and aggregate demand: maximizers vs satisficers
Serious games and virtual worlds: is there a future with serious role-playing games for learning using open metaverses?
Assessing security risk for wireless sensor networks under cyber attack
Evaluating usability and precision of visual search engine
Accelerating linear solvers for reservoir simulation on GPU workstations
Optimization algorithms for multi-service IP network planning
A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures
Reconfiguration of four legged walking robot for actuator faults
Design and Implementation of A Building Control System in Real-Time Devs
A stochastic DEVS wind turbine component model for wind farm simulation
Combining DEVS with multi-agent concepts to design and simulate multi-models of complex systems (WIP)
Dynamic scheduling in parallel answer set programming solvers
Model curriculum and case study projects of simulation in undergraduate education initiative in electrical engineering
Observations on real-time simulation design and experimentation
Analyzing the performance of a self organizing framework for wireless sensor-actuator networks
FATODE: a library for forward, adjoint and tangent linear integration of stiff systems
PDEVS-based hybrid system simulation toolbox for MATLAB
Synchronizing sequences on not strongly connected Petri nets
Simulation based performance evaluation for subcarrier-and-bit allocation scheme with power saving in two-hop wireless relay networks
Simulation models verification for resilient communication on a highly adaptive energy-efficient computer
The Role Of Elites In The Diffusion Of Social Norms Of Humanitarianism
Repast HPC with optimistic time management
An agent based model of opinion dynamics using the anchoring and adjustment heuristic
How secure is WiFi MAC layer in comparison with IPsec for classified environments?
Incremental, distributed single-linkage hierarchical clustering algorithm using mapreduce
Universal simulation engine (USE): a model-independent library for discrete event simulation
On time granularity and event granularity in simulation service composition (WIP)
PerDome: a performance model for heterogeneous computing systems
Model transformation from BPMN to DEVS in the MDD4MS framework
Evaluating network simulators as extensions of real network testbeds
TRISim: triage simulation of a simulation system to exploit and assess triage operation for hospital managers
Human behavior simulation for complex scenarios based on intelligent agents
Performance evaluation of a dynamic approach for networked servers distributed virtual environments
Enhancement of IEEE 802.11 modules in ns-2 and performance evaluation with error rate
C++ reflection for high performance problem solving environments
Accelerated design space pruning for CMP memory architectures: work-in-progress
A formal approach to protocol offload for web servers applied to a TCP offload engine and web traffic
Modeling and simulation in the analysis of a joint test and evaluation methodology
Implicant based solver for XOR Boolean linear systems
Generating exact D -optimal designs for polynomial models
Simulation of an electrical network and control system in SysML
Clustering method incorporating network topology and dynamics
Implementing a distributed logistics simulation using Arena and HLA
Applying Support Vector Machine to Electronic Health Records for Cancer Classification
Cyber physical systems based model-driven development for precision agriculture
Content-based image recognition using cellular discrete-event system specifications methodology
A composable PRS-based agent meta-model for multi-agent simulation using the DEVS framework
Applying advanced user models and input technologies to augment military simulation-based training
A framework for unit testing with coarray Fortran
Integrating computational fluid dynamics with preliminary architectural design for natural ventilation
A reference model for agent-based modeling and simulation
DEVS markov modeling and simulation: formal definition and implementation
A Behavior Annex For AADL Using The DEVS Formalism
Modeling the optimized link-state routing protocol for verification
An Analysis On the Research Orientations in Healthcare Simulation Modeling
Simulation for intrusion-resilient, DDoS-resistant authentication system (IDAS)
Simulator-Based Framework towards Improved Cache Predictability for Multi-Core Avionic Systems
Efficient reversible uniform and non-uniform random number generation in UNU.RAN
A Linear-Implicit Quantized Devs Nethod For Very Stiff Electrical Networks Using A Latency Insertion Method
A parallel longest common subsequence algorithm in UPC
Modeling of a transfer task in computer assisted surgical training
Fighting fire with agents: an agent coordination model for simulated firefighting
A shared memory parallel algorithm for data reduction using the singular value decomposition
PSYOPS and CIMIC operations: from concepts to G-DEVS models
Improving the performance of optimistic time management mechanism with sub-state saving
Simulation of fully autonomous control of unmanned air vehicles for maritime surveillance
Standardizing DEVS models: an endogenous standpoint
An efficient error control mechanism for the adaptive 'parareal' time discretization algorithm
Deploy Mechanism for Virtual-Machine Based Vehicular Ad Hoc Network Simulation
Computational steering for high performance computing: applications on Blue Gene/Q system
Toward designing a dynamic CPU cap manager for timely dataflow platforms
Reactive monitoring of aggregates in Gaussian random field over wireless sensor networks
An agent-based model of regional food supply chain disintermediation
A methodological framework for the analysis of agent-based supply chain planning simulations
Social interaction in pedestrian evacuation: a cellular discrete event simulation approach
Designing a parallel OGSSim through library specificities
Bias ex silico: observations on simulationist's regress
2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 3: Proceedings of the 14th Communications and Networking Symposium (CNS)
AMR-aware in situ indexing and scalable querying
Parallel tracing of multiple trajectories in gradient descent algorithm with Cell Broadband Engine
Development and acceleration of parallel chemical transport models
Multiobjective optimization of structure and visual qualities
Asynchronous invocation of adaptations in electronic structure calculations
Explicit semantic adaptation of hybrid formalisms for FMI co-simulation
An adaptive fault-tolerance scheme for distributed load balancing systems
Stability and sensitivity measures for solutions in complex, intelligent, adaptive and autonomous systems
Revisiting Cramer's rule for solving dense linear systems
Automating instructional support for SBT: next-generation expeditionary warfare intelligent training (NEW-IT)
Comparison and justification of science and technology needs for modeling and simulation across the Department of Defense
Rigorous modeling and analysis of interoperable medical devices
An overview of cyber attack and computer network operations simulation
Simulation-based architectural design and implementation of a real-time collaborative editing system
Modeling of the sub-surface reducing environment of the Z-Area Saltstone disposal facility at the Savannah River Site
Thunder Run in the classroom
Devs modelling and simulation for healthcare process application for hospital emergency department
Simulation experiment of routing strategy for evacuees and disaster responders
Understanding organizational congruence: formal model and simulation framework
A multi-actor spatio-temporal interaction model used to geosimulate the zoonosis propagation (WIP)
Accelerating option risk analytics in R using GPUs
Unified metric calculation of sampling-based turbo-coded noncoherent MFSK for mobile channel
An efficient simulation algorithm for continuous-time agent-based linked lives models
Comparisons of core and uncore frequency scaling modes in quantum chemistry application GAMESS
Reinforcement Learning from Simulated Environments: An Encoder Decoder Framework
Explicit modelling of a CBD experimentation environment
Developing discrete event simulations from rigorous process definitions
Contextualizing emergent behavior in system of systems engineering using gap analysis
Performance evaluation of test process based on stochastic models
A new TCP and UDP network benchmark suite
ML Guided Energy-Performance Trade-Off Estimation For Uncore Frequency Scaling
Modeling Atlantic salmon fish farming industry: freshwater sub model simulation
GAMETE: general adaptable metric execution tool and environment (WIP)
Interoperability between DEVS simulators using service oriented architecture and DEVS namespace
Architectural model for grid resources discovery
Robustness of Multidimensional Optimization Outcomes: A General Approach and a Case Study
Predictive modeling of I/O characteristics in high performance computing systems
Consolidating multi-simulation environments for radio effects analysis
Modeling & simulation based approach for optimizing seal press workstation in a manufacturing system
A method for DEVS simulation of e-commerce processes for integrated business and technology evaluation (WIP)
A W3C XML schema for DEVS scenarios
Empowering business process simulation through automated model transformations
Prospects for trachoma elimination through mass treatment targeted at children
Analyzing the impact of computational heterogeneity on runtime performance of parallel scientific components
Co-simulation of cyber physical systems with HMI for human in the loop investigations
Modeling and simulation of storage space allocation at TPL systems
Analyzing interactions in a multi-agent simulation of cross replicating RNA enzymes
Along the Border: an Agent-Based Model of Migration Along the United States-Mexico Border
Using the MANA agent-based simulation tool to evaluate and compare the effectiveness of ground-based and airborne communications jammers in countering the IED threat to ground convoys
Different modeling and simulation approaches applied to industrial process plants
Validation of service oriented computing DEVS simulation models
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation
Productive parallel programming with CHARM++
Extended variability modeling using system entity structure ontology within MATLAB/Simulink
Modeling and simulation of mobile phones using dynamic topologies
Storm surge simulation and load balancing in Azure cloud
A BPMN extension for modeling non functional properties of business processes
Definition of dynamic DEVS models: Dynamic Structure CD++
Proceedings of the 17th Communications & Networking Symposium, part of the 2014 Spring Simulation Multiconference, SpringSim '14, Tampa, FL, USA, April 13-16, 2014
Reducing the state space of incompletely specified timed Moore machines
Cloud MapReduce for particle filter-based data assimilation for wildfire spread simulation
Parallel solution of the chemical master equation
Reconfigurable and updatable product-service systems: the path for sustainability and personalization
Comparative analysis of classification models in diagnosis of type 2 diabetes
The mind agents in Netlogo 3.1
Characterization of user networks in Facebook
Data assimilation in discrete event simulations: a rollback based Sequential Monte Carlo approach
CDBB: an NVRAM-based burst buffer coordination system for parallel file systems
Simulation gaming for education in MyBase: the future of air force education and training with virtual world learning
A simulation model for evaluating the impact of communication services in a functional-block-based network protocol graph
"Wide or tall" and "sparse matrix dense matrix" multiplications
GPU virtualization for high performance general purpose computing on the ESX hypervisor
A proposed method for dynamic knowledge representation via agent-directed composition from biomedical and simulation ontologies: an example using gut mucus layer dynamics
Grand challenges on the theory of modeling and simulation
Developing a general purpose simulation model for steel pipe-rack installation
Exploring parametric BIM as a conceptual tool for design and building technology teaching
Generalized template for suspension dynamic modeling with the use of bond graphs
Social emergence in organisational contexts: benefits from multi-agent simulations
Web services integration on the fly for service-oriented computing and simulation
Consideration of fluctuation and factors in election with a simulation model
Corrected model for "predicting the relative performance of CPU"
DEVS modeling of urban traffic systems (WIP)
Solving instability problem in soft body dynamics
Decomposition strategies for building envelope design optimization problems
Proceedings of the Agent-Directed Simulation Symposium, SpringSim (ADS) 2018, Baltimore, MD, USA, April 15-18, 2018
Feasibility study for automatic calibration of transportation simulation models
FAMES: fully agent-based modeling & emergent simulation
Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP)
Leveraging cloud computing and high performance computing advances for next-generation architecture, urban design and construction projects
B-737 autopilot design and implementation for simulated flight management system
Integration of test-driven agile simulation approach in service-oriented tool environment
A simulation study of the transmission case line in an automotive factory
Individual strategic behavior in a team formation agent-based simulation
Results of two global optimization algorithms applied to a problem in biomechanics
Modeling and analysis of multistage failures of a system
Modeling and simulation of fully autonomous quadrotors
A method for simulating NO x dispersion in an urban area using ENVI-met
Measurement based methods for WCDMA radio network design verification
Calibration of deployment simulation models: a multi-paradigm modelling approach
Internet traffic classification using multifractal analysis approach
Modeling privacy compromise: visibility of individuals via DRM and RFID in ubiquitous computing
Long-time simulation of calcium induced calcium release in a heart cell using the finite element method on a hybrid CPU/GPU node
TapRouter: an emulating framework to run real applications on simulated mobile ad hoc network
Designing large hybrid cache for future HPC systems
Fortran 95 implementation of QNSTOP for global and stochastic optimization
A grid-based DEVS approach to dynamic load balancing for large scale distributed simulations
Perspectives of hybrid passive optical networks and the HPON configurator
Simulating the impact of blind-spots on the frequency of side-sweep accidents
Towards a theory of interface-based design of hierarchical reactive systems
Volume Modeling of Myocard Deformation with a Spring Mass System
GeRTiSS: A Generic Multi-model Surgery Simulator
Haptic Simulation of a Tool in Contact with a Nonlinear Deformable Body
Virtual Radiofrequency Ablation of Liver Tumors
Soft-Tissue Simulation Using the Radial Elements Method
In vitro Measurement of Mechanical Properties of Liver Tissue under Compression and Elongation Using a New Test Piece Holding Method with Surgical Glue
Surgery Simulation System with Haptic Sensation and Modeling of Elastic Organ That Re.ect the Patients' Anatomy
Analysis of Myocardial Motion and Strain Patterns Using a Cylindrical B-Spline Transformation Model
Preliminary Validation Using in vivo Measures of a Macroscopic Electrical Model of the Heart
An Augmented Reality Approach Using Pre-operative Patient Specific Images to Guide Thermo-Ablation Procedures
Area-Contact Haptic Simulation
Validation of the Interval Deformation Technique for Compensating Soft Tissue Artefact in Human Motion Analysis
Tissue Cutting Using Finite Elements and Force Feedback
Real-Time Simulation of Self-collisions for Virtual Intestinal Surgery