[HTML][HTML] The design and verification of MuMax3

A Vansteenkiste, J Leliaert, M Dvornik, M Helsen… - AIP advances, 2014 - pubs.aip.org
We report on the design, verification and performance of MuMax3, an open-source GPU-…
We verified each part of the software by comparing results to analytical values where …

Verifying spatial queries using voronoi neighbors

L Hu, WS Ku, S Bakiras, C Shahabi - Proceedings of the 18th …, 2010 - dl.acm.org
… Once the aggregate signature is verified, the client computes the Voronoi cell of p1 and
checks whether q lies inside VC(p1). Since this is true, p1 is proven to be the 1st NN of q. Conse…

Authentication of k nearest neighbor query on road networks

Y Jing, L Hu, WS Ku, C Shahabi - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
… based verification scheme to accelerate the verification on … based verification approach that
utilizes the network Voronoi cell … Voronoi cell is presented for kNN query verification to further …

Spatial query integrity with voronoi neighbors

L Hu, WS Ku, S Bakiras… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
… Once the aggregate signature is verified, the client computes the Voronoi cell of p1 and
checks whether q lies inside V Cðp1Þ. Since this is true, p1 is proven to be the first NN of q. …

Self-optimizing neighbor cell list for UTRA FDD networks using detected set reporting

D Soldani, I Ore - 2007 IEEE 65th Vehicular Technology …, 2007 - ieeexplore.ieee.org
… DETECTED CELLS In this paper, a basic neighbor is a cellneighbor is a cell not included
in the NCL of a source cell. Yet… missing neighbors at once, ie without any verification of the …

Reachable polyhedral marching (rpm): A safety verification algorithm for robotic systems with deep neural network components

JA Vincent, M Schwager - 2021 IEEE International Conference …, 2021 - ieeexplore.ieee.org
… IV-B we show how cell representations are reduced to a minimal form, which is used in
Sec. IV-C to determine neighboring polyhedra given a current polyhedron. This leads to a …

Neighborhood repulsed metric learning for kinship verification

J Lu, X Zhou, YP Tan, Y Shang… - IEEE transactions on …, 2013 - ieeexplore.ieee.org
… the grid at level l has 2l cells along each dimension, where 0 … Then, we extracted the LE
feature in each cell and … employed: the nearest neighbor (NN) and k-nearest neighbors (KNN) …

A configuration management assessment method for SON verification

T Tsvetkov, S Nováczki, H Sanneck… - 2014 11th International …, 2014 - ieeexplore.ieee.org
… Obviously, this affects the Handover (HO) performance of neighboring cells which is monitored
… of our verification method detecting a temporal Physical Cell Identity (PCI) collision case. …

Experimental verification of backward-wave radiation from a negative refractive index metamaterial

A Grbic, GV Eleftheriades - Journal of applied physics, 2002 - pubs.aip.org
… Mutual impedance effects between neighboring cells are neglected and ideal transmission
lines are assumed in this diagram. The variable ko represents the propagation constant in …

Verification of balancing architectures for modular batteries

M Lukasiewycz, S Steinhorst… - Proceedings of the 2014 …, 2014 - dl.acm.org
… with seven cells in series to enable also the verification of non-neighbor and concurrent …
non-neighboring cells. The flaw only appears in case the distance between neighboring cells is …