Statistically Sound Verification and Optimization for Complex Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-11936-6_29
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Modeling, Optimization, and Verification for Complex Systems

Mathematical Problems in Engineering
MathematicsEngineering
2016English

Modeling, Optimization, and Control for Complex Networked Systems

Advances in Mechanical Engineering
Mechanical Engineering
2018English

Existence Verification for Singular Zeros of Complex Nonlinear Systems

SIAM Journal on Numerical Analysis
Computational MathematicsApplied MathematicsNumerical Analysis
2000English

A Tutorial on Statistically Sound Pattern Discovery

Data Mining and Knowledge Discovery
Computer NetworksComputer Science ApplicationsInformation SystemsCommunications
2018English

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

2015English

Calibration of Image Analysis Systems for Statistically Demanding QM Applications

Microscopy and Microanalysis
Instrumentation
2003English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Analysed Statistically Modelling and Optimization of Laser Machining by Response Surface Methodology

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2018English

A Serialization-Based Partial Decoupling Approach for Multidisciplinary Design Optimization of Complex Systems

Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture
IndustrialMechanical EngineeringManufacturing Engineering
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy