Skip to search formSkip to main contentSkip to account menu

Simulation preorder

Known as: Simulation (disambiguation) 
In theoretical computer science a simulation preorder is a relation between state transition systems associating systems which behave in the same way… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
BisimulationCoinductionLecture Notes in Computer ScienceOperational semantics

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Printed Embedded Transducers: Capacitive Touch Sensors Integrated Into the Organic Coating of Metalic Substrates
We present the first realization of printed capacitive touch buttons and touch pads integrated into the organic coatings on sheet… 
2013
2013
Computation-Risk Tradeoffs for Covariance-Thresholded Regression
We present a family of linear regression estimators that provides a fine-grained tradeoff between statistical accuracy and… 
2012
2012
Analysis of the convergence behavior of the complex Gaussian kernel LMS algorithm
Kernel-based adaptive filters present a new opportunity to re-cast nonlinear optimization problems over a Reproducing Kernel… 
2011
2011
Energy efficient AF relaying under error performance constraints with application to M2M networks
In this paper, we present a machine to machine (M2M) communication scheme, where the source communicates with the corresponding… 
2010
2010
Electronic Structure of InN/GaN Quantum Dots: Multimillion-Atom Tight-Binding Simulations
The theoretical calculation of the electronic structure of any constituent materials is the first step toward the interpretation… 
2006
2006
Task Switching in Mobile Wireless Sensor Networks
Mobile wireless sensor networks have the ability to monitor wide geographical areas. A suitable distribution of sensors can… 
2004
2004
An Agent-Based Model of Innovation Emergence in Organizations: Renault and Ford Through the Lens of Evolutionism
Based on evolutionist theories and project management knowledge, a connectionist model based on genetic algorithm is built to… 
Highly Cited
1997
Highly Cited
1997
Classification of linear modulations by a combination of different orders cyclic cumulants
The search for discriminating features is a crucial point when a modulation classification task is aimed. This paper introduces… 
1997
1997
Dynamical simulations of probabilities
1997
1997
VIBRATIONAL RELAXATION OF CLUSTERS : RELATION TO POTENTIAL SURFACE TOPOGRAPHY
Simulations by isothermal and isoergic molecular dynamics show that vibrationally-cold clusters, initially at some high-energy… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)