Numerical Verification of Affine Systems With Up to a Billion Dimensions

EasyChair Preprints
doi 10.29007/b8zr
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EasyChair

Related search

A Roadmap to Pervasive Systems Verification

Knowledge Engineering Review
Artificial IntelligenceSoftware
2014English

Visual Signature Verification Using Affine Arc-Length

English

Robustness of Signature Verification Systems to Imitators With Increasing Skills

2009English

Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems

2013English

Suitability of a New Bloom Filter for Numerical Vectors With High Dimensions

PLoS ONE
Multidisciplinary
2018English

Stability of Piecewise Affine Systems With State-Dependent Delay, and Application to Congestion Control

2013English

Krull, Gelfand–Kirillov, and Filter Dimensions of Simple Affine Algebras

Journal of Algebra
Number TheoryAlgebra
1998English

Numerical Verification of Positiveness for Solutions to Semilinear Elliptic Problems

JSIAM Letters
2015English

Numerical Relativity in Higher Dimensions

Journal of Physics: Conference Series
AstronomyPhysics
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy