Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	J. T. Lopez-Raya	A criterion on thinning in digital pictures.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	topological invariants of bitmaps, Data compression, Euler characteristic
13	Gunnar Sparr	A Common Framework for Kinetic Depth, Reconstruction and Motion for Deformable Objects.	ECCV (2)	1994	DBLP DOI BibTeX RDF	reconstruction, shape, motion, invariants, Depth
13	Chuang Lin 0002, Abhijit Chaudhury, Andrew B. Whinston, Dan C. Marinescu	Logical Inference of Horn Clauses in Petri Net Models.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	net model, logical inconsistency check, T-invariants, one-literal, pure-literal, splitting clauses, Petri nets, inference mechanisms, resolution, propositional logic, Horn clauses, Horn clauses, Petri net models, first-order predicate logic, logical inference
13	A. Udaya Shankar	An Introduction to Assertional Reasoning for Concurrent Systems.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	generation of preconditions, leads-to, progress properties, invariants, Hoare logic, weakest preconditions, safety properties, state transition systems, assertional reasoning
13	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
13	Wolfgang Maass 0001, György Turán	On the Complexity of Learning From Counterexamples (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	combinatorial invariants, complexity of learning, d-dimensional discrete space, lower bound, upper bound, finite domain
13	Yoon-Hwa Choi, Miroslaw Malek	A Fault-Tolerant Systolic Sorter.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	VLSI sorter, fault-tolerant systolic sorter, permanent computation errors, error-checking code, redundant cells, single faulty cell, offline fault-testing, permanent stuck-at faults, testing, fault tolerant computing, reconfiguration, redundancy, integrated circuit testing, sorting, automatic testing, invariants, error detection codes, cellular arrays, algorithm-based fault tolerance, digital integrated circuits, hardware overhead, time overhead
13	J. C. Dunn	Group Averaged Linear Transforms that Detect Corners and Edges.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Artificial neurons, group averaging, plane figures, scale-invariant features, transformation invariants, threshold logic networks, edge detection, pattern classification, corner detection, linear transforms
11	Facundo Mémoli, Anastasios Stefanou, Ling Zhou 0001	Persistent cup product structures and related invariants.	J. Appl. Comput. Topol.	2024	DBLP DOI BibTeX RDF
11	Peng Xun, Ziyu Yang, Haoyang Zhu, Zhu Tang	Locating collaborative attack targets based on physical invariants toward cyber-physical systems.	Int. J. Inf. Sec.	2024	DBLP DOI BibTeX RDF
11	Hüsnü Anil Çoban	Detecting similarities of rational plane curves using complex differential invariants.	Int. J. Algebra Comput.	2024	DBLP DOI BibTeX RDF
11	Adnane Saoud, Murat Arcak	Characterization, verification and computation of robust controlled invariants for monotone dynamical systems.	Math. Control. Signals Syst.	2024	DBLP DOI BibTeX RDF
11	Ramachandran S. Raghavan	Maximal Invariants for Subspace Signal Detection in Unknown Interference With Multiple Observations.	IEEE Trans. Aerosp. Electron. Syst.	2024	DBLP DOI BibTeX RDF
11	Dmitry Muzalevskiy, Ivan Yu. Torshin	Image Classification of Leukemic Cells Using Invariants of Triangle-Free Graphs as Synthetic Features.	IEEE Access	2024	DBLP DOI BibTeX RDF
11	Joseph E. Bonin, Kevin Long	Connectivity gaps among matroids with the same enumerative invariants.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Joseph Cummings, Benjamin Hollering, Christopher Manon	Invariants for level-1 phylogenetic networks under the Cavendar-Farris-Neyman model.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Luca Candelori, Vladimir Y. Chernyak, John R. Klein, Nick Rekuski	Rational local unitary invariants of symmetrically mixed states of two qubits.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Youyu Yan, Jianguo Liu, Shenggang Yan, Siyuan Shen, Xiangang Li	An Effective Magnetic Anomaly Detection Using Orthonormal Basis of Magnetic Gradient Tensor Invariants.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
11	Ziyao Xu, Chi-Wang Shu	Local Characteristic Decomposition-Free High-Order Finite Difference WENO Schemes for Hyperbolic Systems Endowed with a Coordinate System of Riemann Invariants.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
11	Projesh Nath Choudhury, Apoorva Khare	Distance matrices of a tree: Two more invariants, and in a unified framework.	Eur. J. Comb.	2024	DBLP DOI BibTeX RDF
11	Mingze He, Hongxia Wang 0001, Fei Zhang, Yuyuan Xiang	Exploring Accurate Invariants on Polar Harmonic Fourier Moments in Polar Coordinates for Robust Image Watermarking.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
11	Alex Ushveridze	Understanding Learning through the Lens of Dynamical Invariants.	CoRR	2024	DBLP DOI BibTeX RDF
11	Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan	A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata.	CoRR	2024	DBLP DOI BibTeX RDF
11	Ting-Ting Zhu, Yuan-Hai Shao 0001, Chun-Na Li, Tian Liu	Learning using granularity statistical invariants for classification.	CoRR	2024	DBLP DOI BibTeX RDF
11	Dirk Beyer 0001, Po-Chun Chien, Nian-Ze Lee	Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version).	CoRR	2024	DBLP DOI BibTeX RDF
11	Jonathan Balasingham, Viktor Zamaraev, Vitaliy Kurlin	Accelerating Material Property Prediction using Generically Complete Isometry Invariants.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jarek Duda 0001	Simple inexpensive vertex and edge invariants distinguishing dataset strongly regular graphs.	CoRR	2024	DBLP DOI BibTeX RDF
11	Emma Andersdotter, Fredrik Ohlsson	Equivariant Manifold Neural ODEs and Differential Invariants.	CoRR	2024	DBLP DOI BibTeX RDF
11	Gérard Memmi	Home Spaces and Invariants to Analyze Parameterized Petri Nets.	CoRR	2024	DBLP DOI BibTeX RDF
11	Enide Andrade Martins, Eber Lenes, Pamela Pizarro, María Robbiano, Jonnathan Rodríguez	On spectral invariants of the α-mixed adjacency matrix.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
11	Anand Kumar Narayanan, Youming Qiao, Gang Tang	Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism Invariants.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
11	Julia Lindberg, Jose Israel Rodriguez	Invariants of SDP exactness in quadratic programming.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
11	Dalibor Cimr, Hamido Fujita, Damián Busovský, Richard Cimler	Enhancing EEG signal analysis with geometry invariants for multichannel fusion.	Inf. Fusion	2024	DBLP DOI BibTeX RDF
11	Anand Kumar Narayanan, Youming Qiao, Gang Tang	Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism Invariants.	EUROCRYPT (3)	2024	DBLP DOI BibTeX RDF
11	S. Hitarth, George Kenison, Laura Kovács, Anton Varonka	Linear Loop Synthesis for Quadratic Invariants.	STACS	2024	DBLP DOI BibTeX RDF
11	Vikraman Arvind, Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky 0001	On a Hierarchy of Spectral Invariants for Graphs.	STACS	2024	DBLP DOI BibTeX RDF
11	Samir Chowdhury 0001, Facundo Mémoli	Distances and isomorphism between networks: stability and convergence of network invariants.	J. Appl. Comput. Topol.	2023	DBLP DOI BibTeX RDF
11	A. F. Gomez-Bastidas, Oleg Rubel	Software implementation for calculating Chern and Z2 topological invariants of crystalline solids with WIEN2k all-electron density functional package.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
11	In-Ho Lee, Seoleun Shin	Crystal structure search with principal invariants.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
11	Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker 0001	Modular Control Plane Verification via Temporal Invariants.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
11	Hao Guan, Farukh Ejaz, Atiq ur Rehman, Muhammad Hussain, Saeed Kosari	Fuzzy topological invariants in uniform fuzzy graphs.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
11	Dongbo Zhang, Xi Fang, Huachun Wu, Xiaoyu Zhang, Suxiang He, Chenwei Liu	Recognition classification based on Hu moment invariants and imperial competitive algorithm for axis trajectory of magnetic bearing-rotor system.	Pers. Ubiquitous Comput.	2023	DBLP DOI BibTeX RDF
11	Leo van Iersel, Vincent Moulton, Yukihiro Murakami	Polynomial invariants for cactuses.	Inf. Process. Lett.	2023	DBLP DOI BibTeX RDF
11	Tomoki Ohsawa	Preservation of Quadratic Invariants by Semiexplicit Symplectic Integrators for Nonseparable Hamiltonian Systems.	SIAM J. Numer. Anal.	2023	DBLP DOI BibTeX RDF
11	Joscha Diehl, Rosa Preiß, Michael Ruddy, Nikolas Tapia	The Moving-Frame Method for the Iterated-Integrals Signature: Orthogonal Invariants.	Found. Comput. Math.	2023	DBLP DOI BibTeX RDF
11	Henry M. Walker	Curricular Syncopations: Where/How Do Loop Invariants Fit?	Inroads	2023	DBLP DOI BibTeX RDF
11	Chih-Yang Pee, Seng Huat Ong, P. Raveendran 0001, Lai-Kuan Wong	Efficient anisotropic scaling and translation invariants of Tchebichef moments using image normalization.	Pattern Recognit. Lett.	2023	DBLP DOI BibTeX RDF
11	René Rodríguez, Yongzhuang Wei, Enes Pasalic	A theoretical analysis of generalized invariants of bijective S-boxes.	Cryptogr. Commun.	2023	DBLP DOI BibTeX RDF
11	Samuel L. Krushkal	Quasiconformal Homeomorphisms Explicitly Determining the Basic Curve Quasi-Invariants.	Axioms	2023	DBLP DOI BibTeX RDF
11	Adrien Scalea	On Correlation Functions as Higher-Spin Invariants.	Symmetry	2023	DBLP DOI BibTeX RDF
11	Sümeyye Gür Mazlum, Süleyman Senyurt, Luca Grilli 0003	The Invariants of Dual Parallel Equidistant Ruled Surfaces.	Symmetry	2023	DBLP DOI BibTeX RDF
11	Nataliia Baziv, Andriy Zagorodnyuk	Analytic Invariants of Semidirect Products of Symmetric Groups on Banach Spaces.	Symmetry	2023	DBLP DOI BibTeX RDF
11	Eimear Byrne, Giuseppe Cotardo	Tensor Codes and Their Invariants.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
11	Henning Fernau	Editorial 2023: changes and invariants.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Elisa Gorla, Cristina Landolina	Quasi optimal anticodes: structure and invariants.	Des. Codes Cryptogr.	2023	DBLP DOI BibTeX RDF
11	Sungkeun Kim, Farabi Mahmud, Jiayi Huang 0001, Pritam Majumder, Chia-Che Tsai, Abdullah Muzahid, Eun Jung Kim 0001	WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
11	Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell 0001	On Strongest Algebraic Program Invariants.	J. ACM	2023	DBLP DOI BibTeX RDF
11	Yair Hayut, David Lehavi	Complete \({\boldsymbol{SE(3)}}\) Invariants for a Comeagre Set of \({\boldsymbol{C^3}}\) Compact Orientable Surfaces in \(\mathbb{R}^{\boldsymbol{3}}\).	SIAM J. Appl. Algebra Geom.	2023	DBLP DOI BibTeX RDF
11	Hannes Gernandt, Francisco Martínez Pería, Friedrich Philipp, Carsten Trunk	On Characteristic Invariants of Matrix Pencils and Linear Relations.	SIAM J. Matrix Anal. Appl.	2023	DBLP DOI BibTeX RDF
11	Yagmur Çakiroglu, Mesut Sahin	Algebraic Invariants of Codes on Weighted Projective Spaces.	CoRR	2023	DBLP DOI BibTeX RDF
11	Adnane Saoud, Murat Arcak	Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
11	Hanlin Mo, Hongxiang Hao, Guoying Zhao 0001	Image Moment Invariants to Rotational Motion Blur.	CoRR	2023	DBLP DOI BibTeX RDF
11	Colleen Delaney, Clément Maria, Eric Samperton	An algorithm for Tambara-Yamagami quantum invariants of 3-manifolds, parameterized by the first Betti number.	CoRR	2023	DBLP DOI BibTeX RDF
11	Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer, William Mansky	Proving Logical Atomicity using Lock Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	William Simmons, André Platzer	Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
11	Jason A. Platt, Stephen G. Penny, Timothy A. Smith, Tse-Chun Chen, Henry D. I. Abarbanel	Constraining Chaos: Enforcing dynamical invariants in the training of recurrent neural networks.	CoRR	2023	DBLP DOI BibTeX RDF
11	Ziming Liu, Patrick Obin Sturm, Saketh Bharadwaj, Sam Silva, Max Tegmark	Discovering New Interpretable Conservation Laws as Sparse Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Jone Uria-Albizuri, Giovanni Sirio Carmantini, Peter beim Graben, Serafim Rodrigues	Invariants for neural automata.	CoRR	2023	DBLP DOI BibTeX RDF
11	Oliver Knill	Characteristic Topological Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Shaoan Wang, Mingzhu Zhu, Yaoqing Hu, Dongyue Li, Fusong Yuan, Junzhi Yu	CylinderTag: An Accurate and Flexible Marker for Cylinder-Shape Objects Pose Estimation Based on Projective Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Sebastian Bleecke, Hendrik Ranocha	Step size control for explicit relaxation Runge-Kutta methods preserving invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Milan Basic, Marko Milenkovic	Maximum values of the Sombor-index-like graph invariants of connected graphs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Noa Moriel, Matthew Ricci, Mor Nitzan	Let's do the time-warp-attend: Learning topological invariants of dynamical systems.	CoRR	2023	DBLP DOI BibTeX RDF
11	Roy Velich, Ron Kimmel	Learning Differential Invariants of Planar Curves.	CoRR	2023	DBLP DOI BibTeX RDF
11	Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma 0001, Nikhil Swamy	Ranking LLM-Generated Loop Invariants for Program Verification.	CoRR	2023	DBLP DOI BibTeX RDF
11	George Kenison, Laura Kovács, Anton Varonka	From Polynomial Invariants to Linear Loops.	CoRR	2023	DBLP DOI BibTeX RDF
11	Rui Zhang, Qi Meng, Zhi-Ming Ma	Deciphering and integrating invariants for neural operator learning with various physical mechanisms.	CoRR	2023	DBLP DOI BibTeX RDF
11	S. Hitarth, George Kenison, Laura Kovács, Anton Varonka	Linear Loop Synthesis for Quadratic Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Pierre Fernandez, Guillaume Couairon, Teddy Furon, Matthijs Douze	Functional Invariants to Watermark Large Transformers.	CoRR	2023	DBLP DOI BibTeX RDF
11	Alexander Kushkuley	Some Remarks on Random Vectors and O(n)-Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Jan Flusser, Matej Lébl, Matteo Pedone, Filip Sroubek, Jitka Kostková	Blur Invariants for Image Recognition.	CoRR	2023	DBLP DOI BibTeX RDF
11	Daniel Widdowson, Vitaliy Kurlin	Recognizing Rigid Patterns of Unlabeled Point Clouds by Complete and Continuous Isometry Invariants with no False Negatives and no False Positives.	CoRR	2023	DBLP DOI BibTeX RDF
11	Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy 0001, Rahul Sharma 0001	Finding Inductive Loop Invariants using Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
11	Vikraman Arvind, Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky 0001	On a Hierarchy of Spectral Isomorphism Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Siqi Chen, Pierre-Philippe Dechant, Yang-Hui He, Elli Heyes, Edward Hirst, Dmitrii Riabchenko	Machine Learning Clifford invariants of ADE Coxeter elements.	CoRR	2023	DBLP DOI BibTeX RDF
11	Alexei Lisitsa 0001, Mateo Salles, Alexei Vernitski	Machine learning discovers invariants of braids and flat braids.	CoRR	2023	DBLP DOI BibTeX RDF
11	Kartik Krishna, Aditya G. Nair, Anand Krishnan, Steven L. Brunton, Eurika Kaiser	Control of Vortex Dynamics using Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Hao Wu, Qiuye Wang, Bai Xue 0001, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang	Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.	CoRR	2023	DBLP DOI BibTeX RDF
11	Juan D. Yepes, Daniel Raviv	Time-based Mapping of Space Using Visual Motion Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Qifeng Zhang, Tong Yan, Guang-hua Gao	The energy method for high-order invariants in shallow water wave equations.	CoRR	2023	DBLP DOI BibTeX RDF
11	Gérard Memmi	Invariants and Home Spaces in Transition Systems and Petri Nets.	CoRR	2023	DBLP DOI BibTeX RDF
11	Jameson Cahill, Joseph W. Iverson, Dustin G. Mixon	Bilipschitz group invariants.	CoRR	2023	DBLP DOI BibTeX RDF
11	Yuriy G. Bulychev	An Indirect Single-Position Coordinate Determination Method Considering Motion Invariants under Singular Measurement Errors.	Autom. Remote. Control.	2023	DBLP DOI BibTeX RDF
11	Jianwei Yang, Chunyan Liu, Fei Li	Polar radius moment with application for affine invariants.	Pattern Anal. Appl.	2023	DBLP DOI BibTeX RDF
11	Qifeng Zhang, Tong Yan, Guang-hua Gao	The energy method for high-order invariants in shallow water wave equations.	Appl. Math. Lett.	2023	DBLP DOI BibTeX RDF
11	Rémi Cocou Avohou, Joseph Ben Geloun, Mahouton Norbert Hounkonnou	Universality for polynomial invariants for ribbon graphs with half-ribbons.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
11	Milica Milivojevic Danas	The difference between several metric dimension graph invariants.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
11	Hongbo Hua, Xiaolan Hu	Relations between degree-based graph invariants.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
11	Shuai Wang, Liming Zhang, Qihang Zhang, Yu Li	A zero-watermarking algorithm for vector geographic data based on feature invariants.	Earth Sci. Informatics	2023	DBLP DOI BibTeX RDF
11	Chao Wang, Zhiqiu Huang, Shuren Qi, Yaoshen Yu, Guohua Shen, Yushu Zhang	Shrinking the Semantic Gap: Spatial Pooling of Local Moment Invariants for Copy-Move Forgery Detection.	IEEE Trans. Inf. Forensics Secur.	2023	DBLP DOI BibTeX RDF