scholarly journals A Contribution to Virtual Experimentation in Optics

10.5772/18713 ◽  
2011 ◽  
Author(s):  
Javier Gamo
Keyword(s):  
Virtual Experimentation

A Model Based Approach for Digital Testbed Development supporting Virtual Experimentation of an Unmanned Surface Vehicle

2022 ◽  
Author(s):  
Sarah Chu ◽  
Cameron Johnstone ◽  
Cem Yumuk ◽  
Xiao Wei ◽  
Michael G. Balchanos ◽  
...  
Keyword(s):  
Unmanned Surface Vehicle ◽  
Model Based ◽  
Virtual Experimentation

Leveraging Virtual Experimentation and Simulation in R&D

2016 ◽  
Vol 59 (6) ◽  
pp. 12-17 ◽  
Author(s):  
Anita Friis Sommer ◽  
Steven Moskowitz
Keyword(s):  
Virtual Experimentation

A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION

2011 ◽  
Vol 22 (01) ◽  
pp. 107-118 ◽  
Author(s):  
M. A. MARTÍNEZ-DEL-AMOR ◽  
I. PÉREZ-HURTADO ◽  
M. J. PÉREZ-JIMÉNEZ ◽  
A. RISCOS-NÚÑEZ ◽  
F. SANCHO-CAPARRINI
Keyword(s):  
Formal Verification ◽  
Critical Point ◽  
Population Biology ◽  
P Systems ◽  
Simulation Algorithm ◽  
Simulation Algorithms ◽  
Virtual Experimentation

Multienvironment probabilistic P systems provide a framework of specification for modeling population biology. It has been used to model real ecosystems in a comprehensible, modular and probabilistic way. However, simulators are needed for virtual experimentation. Hence, the development of correct simulation algorithms becomes a critical point. In this paper we present a formal verification of a new algorithm of simulation designed for this kind of probabilistic P systems.

scholarly journals Virtual experimentation with Dose-Response simulator as a teaching tool in biology

Apertura ◽  
2016 ◽  
Vol 8 (2) ◽  
pp. 22-37
Author(s):  
Arturo Reyes Lazalde ◽  
Marleni Reyes Monreal ◽  
María Eugenia Pérez Bonilla
Keyword(s):  
Dose Response ◽  
Teaching Tool ◽  
Virtual Experimentation
Sign in / Sign up

Export Citation Format

Share Document