Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Seid Kassaw Muhie, Daniele Ettore Otera, Francesco G. Russo	Factorization number and subgroup commutativity degree via spectral invariants.	Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
11	Abiam Tamburrini, Sergio M. Davis, Pablo S. Moya	Evaluating the Adiabatic Invariants in Magnetized Plasmas Using a Classical Ehrenfest Theorem.	Entropy	2023	DBLP DOI BibTeX RDF
11	Yunmei Zhao, Zhenyue Chen, Yiqun Dong	Compliance Prediction for Structural Topology Optimization on the Basis of Moment Invariants and a Generalized Regression Neural Network.	Entropy	2023	DBLP DOI BibTeX RDF
11	Tullia Padellini, Pierpaolo Brutti	Persistence Flamelets: Topological Invariants for Scale Spaces.	J. Comput. Graph. Stat.	2023	DBLP DOI BibTeX RDF
11	Bing He, Jun Liu, Guancheng Lin, Cheng Peng, Wenqiang Xi	Quaternion fractional-order weighted generalized Laguerre-Fourier moments and moment invariants for color image analysis.	Signal Process. Image Commun.	2023	DBLP DOI BibTeX RDF
11	Nuno Faria, José Pereira 0001	MRVs: Enforcing Numeric Invariants in Parallel Updates to Hotspots with Randomized Splitting.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
11	Dalibor Cimr, Damián Busovský, Hamido Fujita, Filip Studnicka, Richard Cimler, Toshitaka Hayashi	Classification of health deterioration by geometric invariants.	Comput. Methods Programs Biomed.	2023	DBLP DOI BibTeX RDF
11	Hao Wu 0017	QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
11	Yang-Hui He, Kyu-Hwan Lee, Thomas Oliver	Machine learning invariants of arithmetic curves.	J. Symb. Comput.	2023	DBLP DOI BibTeX RDF
11	Shayea Aldossari	Computing pullback function of second order differential operators by using their semi-invariants.	J. Symb. Comput.	2023	DBLP DOI BibTeX RDF
11	Alessio Caminata, Elisa Gorla	Solving degree, last fall degree, and related invariants.	J. Symb. Comput.	2023	DBLP DOI BibTeX RDF
11	Mario Jardón Santos	Questions on cardinal invariants of Boolean algebras.	Arch. Math. Log.	2023	DBLP DOI BibTeX RDF
11	Jan Flusser, Matej Lébl, Filip Sroubek, Matteo Pedone, Jitka Kostková	Blur Invariants for Image Recognition.	Int. J. Comput. Vis.	2023	DBLP DOI BibTeX RDF
11	Peter Illig, Robert Thompson 0007, Qimeng Yu	Application of Integral Invariants to Apictorial Jigsaw Puzzle Assembly.	J. Math. Imaging Vis.	2023	DBLP DOI BibTeX RDF
11	Ivan Yu. Mogilnykh, Faina I. Solov'eva	Constructions and Invariants of Optimal Codes in the Lee Metric.	Probl. Inf. Transm.	2023	DBLP DOI BibTeX RDF
11	Eldad Kronfeld, Emil Saucan	Metric Invariants for Networks' Classification.	COMPLEX NETWORKS (3)	2023	DBLP DOI BibTeX RDF
11	Avraham Itzhakov, Michael Codish	Breaking Symmetries with High Dimensional Graph Invariants and Their Combination.	CPAIOR	2023	DBLP DOI BibTeX RDF
11	Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich	Collaborative Inference of Combined Invariants.	LPAR	2023	DBLP DOI BibTeX RDF
11	Quelen Cartellier, Marc Frappier, Amel Mammar	Proving Local Invariants in ASTDs.	ICFEM	2023	DBLP DOI BibTeX RDF
11	Junjie Shen 0001, Ziwen Wan, Yunpeng Luo, Yiheng Feng, Z. Morley Mao, Qi Alfred Chen	Detecting Data Spoofing in Connected Vehicle based Intelligent Traffic Signal Control using Infrastructure-Side Sensors and Traffic Invariants.	IV	2023	DBLP DOI BibTeX RDF
11	Yann Thierry-Mieg	Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
11	Dominic Steinhöfel, Andreas Zeller	Input Invariants.	Software Engineering	2023	DBLP BibTeX RDF
11	Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta	Set-Based Invariants over Polynomial Systems.	CILC	2023	DBLP BibTeX RDF
11	Ricardo G. Sanfelice, Andrew R. Teel	On Invariants for Open Hybrid Systems and their Interconnections.	CDC	2023	DBLP DOI BibTeX RDF
11	Jan Flusser, Tomás Suk, Matej Lébl, Roxana Bujack, Ibrahim Ibrahim	Affine Moment Invariants of Tensor Fields.	SCIA (1)	2023	DBLP DOI BibTeX RDF
11	Jens Agerberg, Wojciech Chachólski, Ryan Ramanujam	Global and Relative Topological Features from Homological Invariants of Subsampled Datasets.	TAG-ML	2023	DBLP BibTeX RDF
11	Katerina V. Sklyar, Svetlana Yu. Ignatovich, Grigory M. Sklyar	Linearizability problem and invariants for multi-input non-autonomous control systems.	MED	2023	DBLP DOI BibTeX RDF
11	Aleksandar S. Dimovski	Error Invariants for Fault Localization via Abstract Interpretation.	SAS	2023	DBLP DOI BibTeX RDF
11	Anthony Kim, Jeffery A. Pitcock, Justin Zhang 0006	Efficient Computation of Causality in Globally Hyperbolic Spacetimes Using Link Invariants and Relevant Applications to Quantum Computing.	QCE	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.	CVPR	2023	DBLP DOI BibTeX RDF
11	Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja	Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.	TACAS (2)	2023	DBLP DOI BibTeX RDF
11	Roy Velich, Ron Kimmel	Learning Differential Invariants of Planar Curves.	SSVM	2023	DBLP DOI BibTeX RDF
11	Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma 0001, Nikhil Swamy	Ranking LLM-Generated Loop Invariants for Program Verification.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
11	Arkesh Thakkar, Deepak D'Souza	Data-Driven Learning of Strong Conjunctive Invariants.	FMCAD	2023	DBLP DOI BibTeX RDF
11	Jan Flusser, Tomás Suk, Leonid Bedratyuk, Tomás Karella	3D Non-separable Moment Invariants.	CAIP (1)	2023	DBLP DOI BibTeX RDF
11	Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin	Can Large Language Models Reason about Program Invariants?	ICML	2023	DBLP BibTeX RDF
11	Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	Safety Verification and Universal Invariants for Relational Action Bases.	IJCAI	2023	DBLP DOI BibTeX RDF
11	Irina A. Kogan	Invariants: Computation and Applications.	ISSAC	2023	DBLP DOI BibTeX RDF
11	George Kenison, Laura Kovács, Anton Varonka	From Polynomial Invariants to Linear Loops.	ISSAC	2023	DBLP DOI BibTeX RDF
11	Hubert Leterme	A Complex Wavelet Approach for Shift-Invariant Convolutional Neural Networks. (Ondelettes Complexes pour des Réseaux de Neurones Convolutifs Invariants par Translation).		2023	RDF
11	Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken	Induction duality: primal-dual search for invariants.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
11	Javier Esparza, Mikhail A. Raskin, Christoph Welzel	Computing Parameterized Invariants of Parameterized Petri Nets.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
11	Jesús Arturo Jiménez González	Coxeter Invariants for Non-negative Unit Forms of Dynkin Type r.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
11	Akmal-Jahan Mohamed-Abdul-Cader, Kien Nguyen Thanh, Jasmine Banks, Vinod Chandran	HOS-FingerCode: Bispectral invariants based contactless multi-finger recognition system using ridge orientation and feature fusion.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
11	Shaojun Yang 0001, Xinyi Huang 0001	Convex invariants of M-fuzzifying convex spaces.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
11	Shahid Zaman	Spectral analysis of three invariants associated to random walks on rounded networks with 2n-pentagons.	Int. J. Comput. Math.	2022	DBLP DOI BibTeX RDF
11	Hao Wu 0017	A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
11	Shaull Almagor, Dmitry Chistikov 0001, Joël Ouaknine, James Worrell 0001	O-Minimal Invariants for Discrete-Time Dynamical Systems.	ACM Trans. Comput. Log.	2022	DBLP DOI BibTeX RDF
11	Thomas Izgin, Stefan Kopecz, Andreas Meister 0003	On the Stability of Unconditionally Positive and Linear Invariants Preserving Time Integration Schemes.	SIAM J. Numer. Anal.	2022	DBLP DOI BibTeX RDF
11	Guilong Liu	Attribute Reduction Algorithms Determined by Invariants for Decision Tables.	Cogn. Comput.	2022	DBLP DOI BibTeX RDF
11	Leonid Bedratyuk, Jan Flusser, Tomás Suk, Jitka Kostková, Jaroslav Kautsky	Non-separable rotation moment invariants.	Pattern Recognit.	2022	DBLP DOI BibTeX RDF
11	Huan Lao, Xuejun Zhang	Diagnose Alzheimer's disease by combining 3D discrete wavelet transform and 3D moment invariants.	IET Image Process.	2022	DBLP DOI BibTeX RDF
11	Modjtaba Ghorbani, Mardjan Hakimi-Nezhaad	Analytical discussion on Sugammadex molecules by means of graph invariants.	J. Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
11	Pradeep Singh, Vijay Kumar Bhat	Graph invariants of the line graph of zero divisor graph of $$\mathbb {Z}_{n}$$.	J. Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
11	Zeyu Yang, Liang He 0002, Hua Yu, Chengcheng Zhao, Peng Cheng 0001, Jiming Chen 0001	Detecting PLC Intrusions Using Control Invariants.	IEEE Internet Things J.	2022	DBLP DOI BibTeX RDF
11	Nikolay S. Kaleyski	Deciding EA-equivalence via invariants.	Cryptogr. Commun.	2022	DBLP DOI BibTeX RDF
11	Jason P. Bell	Topological invariants for words of linear factor complexity.	Adv. Appl. Math.	2022	DBLP DOI BibTeX RDF
11	Achraf Daoui, Hicham Karmouni, Mhamed Sayyouri, Hassan Qjidaa	Robust 2D and 3D images zero - watermarking using dual Hahn moment invariants and Sine Cosine Algorithm.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
11	Ilham Elouariachi, Rachid Benouini, Khalid Zenkouar, Arsalane Zarghili, Hakim el Fadili	RGB-D feature extraction method for hand gesture recognition based on a new fast and accurate multi-channel cartesian Jacobi moment invariants.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
11	Winter Sinkala, Molahlehi Charles Kakuli	On the Method of Differential Invariants for Solving Higher Order Ordinary Differential Equations.	Axioms	2022	DBLP DOI BibTeX RDF
11	Jun Yin, Haixing Zhao, Sun Xie	Spectral Invariants and Their Application on Spectral Characterization of Graphs.	Axioms	2022	DBLP DOI BibTeX RDF
11	Nenad O. Vesic, Vladislava M. Milenkovic, Mica S. Stankovic	Two Invariants for Geometric Mappings.	Axioms	2022	DBLP DOI BibTeX RDF
11	Samuel Pine, Matthew Ferrara	Geometric Invariants for Radar Motion Estimation.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
11	Qingzhu Li, Zhining Li, Zhiyong Shi, Hongbo Fan	Multi-Target Magnetic Positioning Using SAFCM Clustering and Invariants-Improved Tilt Angle.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
11	Yanlin Li, Nadia Alluhaibi, Rashad A. Abdel-Baky	One-Parameter Lorentzian Dual Spherical Movements and Invariants of the Axodes.	Symmetry	2022	DBLP DOI BibTeX RDF
11	Neslihan Gügümcü, Bostjan Gabrovsek, Louis H. Kauffman	Invariants of Bonded Knotoids and Applications to Protein Folding.	Symmetry	2022	DBLP DOI BibTeX RDF
11	Olga B. Kudryashova	Dispersed Systems: Physics, Optics, Invariants, Symmetry.	Symmetry	2022	DBLP DOI BibTeX RDF
11	Lina Ji, Xiankang Luo, Jiao Zeng, Min Xiao, Yuanhua Meng	First-Order Sign-Invariants and Exact Solutions of the Radially Symmetric Nonlinear Diffusion Equations with Gradient-Dependent Diffusivities.	Symmetry	2022	DBLP DOI BibTeX RDF
11	Osvaldo Guzmán González	P-points, MAD families and Cardinal Invariants.	Bull. Symb. Log.	2022	DBLP DOI BibTeX RDF
11	Lu Li	A new symmetric linearly implicit exponential integrator preserving polynomial invariants or Lyapunov functions for conservative or dissipative systems.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
11	Michel Lavrauw, Tomasz Popiel, John Sheekey	Combinatorial invariants for nets of conics in $\mathrm {PG}(2, q)$.	Des. Codes Cryptogr.	2022	DBLP DOI BibTeX RDF
11	John D. LaGrange	Divisor graphs and isotopy invariants of commutative quasigroups.	J. Comb. Theory, Ser. A	2022	DBLP DOI BibTeX RDF
11	Dmitry A. Kondratyev, Valery A. Nepomniaschy	Automation of C Program Deductive Verification without Using Loop Invariants.	Program. Comput. Softw.	2022	DBLP DOI BibTeX RDF
11	Dmitrii I. Koshelev	Optimal Encodings to Elliptic Curves of $\boldsymbol{j}$-Invariants 0, 1728.	SIAM J. Appl. Algebra Geom.	2022	DBLP DOI BibTeX RDF
11	Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001	Approximate verification of concurrent systems using token structures and invariants.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
11	Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat	Full-program induction: verifying array programs sans loop invariants.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
11	Reza Aghayan	Generating Visual Invariants -a New Approach to Invariant Recognition.	Theory Comput. Syst.	2022	DBLP DOI BibTeX RDF
11	ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer	Using Symbolic States to Infer Numerical Invariants.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
11	Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja	Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.	CoRR	2022	DBLP DOI BibTeX RDF
11	Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker 0001	Modular Control Plane Verification via Temporal Invariants.	CoRR	2022	DBLP DOI BibTeX RDF
11	Danish Hudani, Muhammad Haseeb, Muhammad Taufiq, Muhammad Azmi Umer, Nandha Kumar Kandasamy	A Data-Centric Approach to Generate Invariants for a Smart Grid Using Machine Learning.	CoRR	2022	DBLP BibTeX RDF
11	Thomas Izgin, Stefan Kopecz, Andreas Meister 0003	On the Stability of Unconditionally Positive and Linear Invariants Preserving Time Integration Schemes.	CoRR	2022	DBLP BibTeX RDF
11	Shun Sato, Yuto Miyatake, John C. Butcher	High-order linearly implicit schemes conserving quadratic invariants.	CoRR	2022	DBLP DOI BibTeX RDF
11	Vitaliy Kurlin	Computable complete invariants for finite clouds of unlabeled points under Euclidean isometry.	CoRR	2022	DBLP DOI BibTeX RDF
11	Elisa Gorla, Cristina Landolina	Quasi optimal anticodes: structure and invariants.	CoRR	2022	DBLP BibTeX RDF
11	João Araújo 0002, Choiwah Chow, Mikolás Janota	Boosting Isomorphic Model Filtering with Invariants.	CoRR	2022	DBLP BibTeX RDF
11	Chao Wang, Zhiqiu Huang, Shu-Ren Qi, Yaoshen Yu, Guohua Shen	Shrinking the Semantic Gap: Spatial Pooling of Local Moment Invariants for Copy-Move Forgery Detection.	CoRR	2022	DBLP DOI BibTeX RDF
11	Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat	Full-Program Induction: Verifying Array Programs sans Loop Invariants.	CoRR	2022	DBLP DOI BibTeX RDF
11	Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen	Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming.	CoRR	2022	DBLP DOI BibTeX RDF
11	Jason P. Bell	Topological invariants for words of linear factor complexity.	CoRR	2022	DBLP BibTeX RDF
11	Dominic Steinhöfel, Andreas Zeller	Electronic Appendix to "Input Invariants".	CoRR	2022	DBLP DOI BibTeX RDF
11	Kilian Ollivier, Chiara Boldrini, Andrea Passarella, Marco Conti	Structural invariants and semantic fingerprints in the "ego network" of words.	CoRR	2022	DBLP DOI BibTeX RDF
11	Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura	Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.	CoRR	2022	DBLP DOI BibTeX RDF
11	Hanlin Mo, Hua Li 0009, Guoying Zhao 0001	Gaussian-Hermite Moment Invariants of General Vector Functions to Rotation-Affine Transform.	CoRR	2022	DBLP BibTeX RDF
11	Roy Velich, Ron Kimmel	Deep Signatures - Learning Invariants of Planar Curves.	CoRR	2022	DBLP BibTeX RDF
11	Tomoki Ohsawa	Preservation of Quadratic Invariants by Semiexplicit Symplectic Integrators for Non-separable Hamiltonian Systems.	CoRR	2022	DBLP DOI BibTeX RDF
11	Théo Karaboghossian	Combinatorial expressions of Hopf polynomial invariants.	CoRR	2022	DBLP DOI BibTeX RDF
11	Allison Irvine, Tan Dang, Murat Dundar, Bartek Rajwa	IM: An R-Package for Computation of Image Moments and Moment Invariants.	CoRR	2022	DBLP DOI BibTeX RDF
11	Elisa Gorla, Alberto Ravagnani	Generalized weights of codes over rings and invariants of monomial ideals.	CoRR	2022	DBLP BibTeX RDF
11	Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version).	CoRR	2022	DBLP DOI BibTeX RDF