Results 121 to 130 of about 1,721,646 (174)
Matrix-Free Inexact Preconditioning Techniques for Isogeometric Tensor-Product Discretizations. [PDF]
Mika MŁ, Hiemstra RR, Schillinger D.
europepmc +1 more source
In-sensor computing with halide perovskite-based optoelectronic reservoir networks.
de Boer JJ +3 more
europepmc +1 more source
Using pangenome variation graphs to improve mutation detection in a large DNA virus
Downing T +3 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Pattern Recognition, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Z Y Hu
exaly +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Z Y Hu
exaly +2 more sources
Linear and nonlinear mapping of patterns
Pattern Recognition, 1980Abstract Discrete Karhunen-Loeve-transform and a newly developed nonlinear mapping are used to obtain a structure-preserving mapping of high-dimensional data to a plane. It seems that the potential power of nonlinear mappings is needed only for artificial data.
Heinrich Niemann
exaly +3 more sources
Proceedings of the 5th ACM workshop on Programming languages meets program verification, 2011
Verification of large programs is impossible without proof techniques that allow local reasoning and information hiding. In this paper, we take the approach of modeling the heap as a collection of partial functions with disjoint domains. We call each such partial function a linear map. Programmers may select objects from linear maps, update linear maps
Shuvendu K. Lahiri +2 more
openaire +1 more source
Verification of large programs is impossible without proof techniques that allow local reasoning and information hiding. In this paper, we take the approach of modeling the heap as a collection of partial functions with disjoint domains. We call each such partial function a linear map. Programmers may select objects from linear maps, update linear maps
Shuvendu K. Lahiri +2 more
openaire +1 more source

