Search results for: demagnetization problem decomposition electromagnetic modeling superposition calculus least squares approximations fem-based numerical verification magnetic analysis magnetic signatures

• International Symposium on Automated Technology for Verification and Analysis

  Conferences

• Parallel Problem Solving from Nature

  Conferences

• Geometry Modeling and Processing

  Conferences

• International Conference on Formal Engineering Methods [FEM]

  Conferences

• Computer Aided Verification

  Conferences

• International Conference on Runtime Verification

  Conferences

• IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling

  Conferences

• International Conference on Simulation and Modeling Methodologies, Technologies and Applications

  Conferences

• Verification, Model Checking and Abstract Interpretation

  Conferences

• Summer School on Modelling and Verification of Parallel Processes

  Conferences

• International Conference on Software Testing, Verification and Validation

  Conferences

• Intelligent Data Analysis

  Conferences

• Static Analysis Symposium

  Conferences

• International Conference on Pairing-based Cryptography

  Conferences

• International Workshop on MultiAgent Based Simulation

  Conferences

• International Conference on Case-Based Reasoning

  Conferences

• The International Conference on Verification and Evaluation of Computer and Communication Systems

  Conferences

• Measurement and Modeling of Computer Systems (ACM SIG on Computer and Communications Metrics and Performance)

  Conferences

• Conference on Visualization and Data Analysis

  Conferences

• Workshop on Web Usage Analysis

  Conferences

• International Conference on Web-based Modelling and Simulation

  Conferences

• International Conference on IT Based Higher Education and Training

  Conferences

• Information Integration and Web-based Applications and Services

  Conferences

• International Symposium Component-Based Software Engineering

  Conferences

• International Symposium on Search Based Software Engineering

  Conferences

• International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

  Conferences

• International Conference on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (Conference on Analysis of Algorithms)

  Conferences

• International Conference on Knowledge-based Intelligent Electronic Systems

  Conferences

• IEEE International Conference on COTS-Based Software Systems

  Conferences

• International Workshop on Realising Evidence-based Software Engineering

  Conferences

• International Symposium on Logic-based Program Synthesis and Transformation

  Conferences

• International Conference on Image Analysis and Processing

  Conferences

• International Symposium on Software Testing and Analysis

  Conferences

• International Conference on Computability and Complexity in Analysis

  Conferences

• Tools and Algorithms for Construction and Analysis of Systems

  Conferences

• International Conference on Image Analysis and Recognition

  Conferences

• International Workshop on Document Analysis Systems

  Conferences

• International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems

  Conferences

• Forum on Specification and Design Languages (Forum on Specification, Verification and Design Languages)

  Conferences

• IEEE International Conference and Workshop on the Engineering of Computer Based Systems

  Conferences

• Euromicro International Conference on Parallel, Distributed and Network Based Processing

  Conferences

• International Conference on Knowledge-Based and Intelligent Information and Engineering Systems

  Conferences

• IEEE International Conference on Advanced Video and Signal Based Surveillance

  Conferences

• International Workshop on Image Analysis and Information Fusion

  Conferences

• Exploring Modelling Methods in Systems Analysis and Design

  Conferences

• SPIE Conference on Visual Data Exploration and Analysis

  Conferences

• ENVI and IDL Data Analysis and Visualization Symposium

  Conferences

• International Conference on Information Systems Analysis and Synthesis

  Conferences

• International Conference on Computer Analysis of Images and Patterns

  Conferences

• International Conference on the Statistical Analysis of Textual Data

  Conferences