Results 231 to 240 of about 25,150 (268)
Some of the next articles are maybe not open access.
Fundamenta Informaticae, 2014
Opacity testing is formalized and studied. We specify opacity testers as well as tested systems by (timed) process algebras. We model various testers according to how sophisticated observations of tested system they can make and which kind of conclusions they can obtain. We use this technique to define several realistic security properties.
openaire +2 more sources
Opacity testing is formalized and studied. We specify opacity testers as well as tested systems by (timed) process algebras. We model various testers according to how sophisticated observations of tested system they can make and which kind of conclusions they can obtain. We use this technique to define several realistic security properties.
openaire +2 more sources
Artificial Intelligence, 1986
Qualitative simulation is a key inference process in qualitative causal reasoning. However, the precise meaning of the different proposals and their relation with differential equations is often unclear. In this paper, we present a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and ...
openaire +1 more source
Qualitative simulation is a key inference process in qualitative causal reasoning. However, the precise meaning of the different proposals and their relation with differential equations is often unclear. In this paper, we present a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and ...
openaire +1 more source
American Journal of Mathematical and Management Sciences, 1988
SYNOPTIC ABSTRACTThe principal shortcoming of simulated annealing (SA) is that it takes too much computer time. We present a few “swindling” ideas for speeding up SA by simulating its action on a problem. The increase in speed is attained at the cost of decreasing generality — the methods all require the use of problem-specific information.
openaire +1 more source
SYNOPTIC ABSTRACTThe principal shortcoming of simulated annealing (SA) is that it takes too much computer time. We present a few “swindling” ideas for speeding up SA by simulating its action on a problem. The increase in speed is attained at the cost of decreasing generality — the methods all require the use of problem-specific information.
openaire +1 more source
Simulators in Educational Robotics: A Review
Education Sciences, 2021Sokrátis Tselegkaridis +2 more
exaly
Swarm Robotics: Simulators, Platforms and Applications Review
Computation, 2022Cindy Calderón-Arce +2 more
exaly
Systematic Literature Review of Realistic Simulators Applied in Educational Robotics Context
Sensors, 2021Caio Camargo +2 more
exaly
Dripping Rainfall Simulators for Soil Research—Design Review
Water (Switzerland), 2022Vukašin Rončević +2 more
exaly