Sentence examples for verification of complex from inspiring English sources

The procedures in this work provide a method for the verification of complex boundary conditions as well as shed physical insight for different problem configurations.

The model presented in this work is useful for the design and interpretation of experiments in laboratory bench scale aquifers, certain homogeneous subsurface formations, and for the verification of complex numerical codes.

It is the design and verification of complex software systems that require to be addressed at the architectural level, following methodologies which permit us to clearly identify and design the components of a system, to understand precisely their interactions, and to formally verify the properties of the systems.

These dosimeters can provide a much more comprehensive verification of complex radiation therapy treatments than can be achieved by conventional planar and point dosimeters.

For the large workload histories, a multidimensional space of candidate patterns is still finite, however, in practice it is too large for the efficient generation and verification of complex periodic patterns.

He received PhD in 2010 from UiO and has worked since in different areas of computer science, including modelling of security protocols; modelling languages and verification of complex systems; models and tools for parallel programming and concurrent systems; (legal) electronic contracts.

Therefore, the proposed solution can be used for the verification of more complex models and the preliminary design of a horizontal well system.

The methodological approach implemented in this study can be used to guide the proposal, early-stage design and verification of these complex unsteady thermodynamic systems, while offering important suggestions for improved performance and system optimization.

The present work extends this effort and presents the first application of the PRESAGE/optical-CT system for the verification of a complex IMRT distribution.

With the development and integration of cyber physical and safety critical systems, there is an increasing need for computational tools for verification and control of complex systems from rich, temporal logic specifications.

Algorithm developmentThe development, verification and tuning of complex SST algorithms can be accelerated using using cloud-based technologies.