Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Calin Chindris, Brett Collins, Daniel Kline	Membership in moment cones, quiver semi-invariants, and generic semi-stability for bipartite quivers.	CoRR	2022	DBLP DOI BibTeX RDF
11	Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Jose J. Paulet, Fernando Cuartero, Luis Llana, Mauro Mezzini	Quantum invariants for the graph isomorphism problem.	CoRR	2022	DBLP DOI BibTeX RDF
11	Zhijia Chen, Weiyi Meng, Eduard C. Dragut	Web Record Extraction with Invariants. (PDF / PS)	Proc. VLDB Endow.	2022	DBLP DOI BibTeX RDF
11	C. R. Subramanian 0001	Inductive graph invariants and approximation algorithms .	Discret. Math. Algorithms Appl.	2022	DBLP DOI BibTeX RDF
11	Hong Lu, Huitao Wang, Jiacheng Gui, Panfeng Chen, Hao Huang	A novel data-driven approach on inferring loop invariants for C programs.	J. Comput. Lang.	2022	DBLP DOI BibTeX RDF
11	Patrick Henning, Johan Wärnegård	Superconvergence of time invariants for the Gross-Pitaevskii equation.	Math. Comput.	2022	DBLP DOI BibTeX RDF
11	Evelyne Hubert, Erick Rodríguez Bazan	Algorithms for fundamental invariants and equivariants of finite groups.	Math. Comput.	2022	DBLP DOI BibTeX RDF
11	Guillaume Bal, Daniel Massatt	Multiscale Invariants of Floquet Topological Insulators.	Multiscale Model. Simul.	2022	DBLP DOI BibTeX RDF
11	Marco Buzzelli	Angle-Retaining Chromaticity and Color Space: Invariants and Properties.	J. Imaging	2022	DBLP DOI BibTeX RDF
11	João Araújo 0002, Choiwah Chow, Mikolás Janota	Boosting isomorphic model filtering with invariants.	Constraints An Int. J.	2022	DBLP DOI BibTeX RDF
11	Lydia Dehbi, Zhenbing Zeng, Lu Yang	The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations.	J. Symb. Comput.	2022	DBLP DOI BibTeX RDF
11	Anna Maria Bigatti, Lorenzo Robbiano	Saturations of subalgebras, SAGBI bases, and U-invariants.	J. Symb. Comput.	2022	DBLP DOI BibTeX RDF
11	Salma Kanwal, Muhammad Kamran Siddiqui, Ebenezer Bonyah, Tahira Sumbal Shaikh, I. Irshad, Sadia Khalid	Ordering Acyclic Connected Structures of Trees Having Greatest Degree-Based Invariants.	Complex.	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.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
11	Weidong Gao 0001, Siao Hong, Wanzhen Hui, Xue Li, Qiuyu Yin, Pingping Zhao	Representation of zero-sum invariants by sets of zero-sum sequences over a finite abelian group.	Period. Math. Hung.	2022	DBLP DOI BibTeX RDF
11	Huai-Chun Chang, Hsiu-Chuan Hsu	Digital quantum simulation of dynamical topological invariants on near-term quantum computers.	Quantum Inf. Process.	2022	DBLP DOI BibTeX RDF
11	Huancheng Lin, Floyd M. Chitalu, Taku Komura	Isotropic ARAP Energy Using Cauchy-Green Invariants.	ACM Trans. Graph.	2022	DBLP DOI BibTeX RDF
11	Matteo Pedone, Abdelrahman Mostafa, Janne Heikkilä	Learning-Based Non-rigid Video Depth Estimation Using Invariants to Generalized Bas-Relief Transformations.	J. Math. Imaging Vis.	2022	DBLP DOI BibTeX RDF
11	Danish Hudani, Muhammad Haseeb, Muhammad Taufiq, Muhammad Azmi Umer, Nandha Kumar Kandasamy	Generated and Validated Invariants of EPIC Smart Grid.		2022	DOI RDF
11	Mateus Sangalli, Samy Blusseau, Santiago Velasco-Forero, Jesús Angulo	Differential Invariants for SE(2)-Equivariant Networks.	ICIP	2022	DBLP DOI BibTeX RDF
11	Iason Marmanis, Viktor Vafeiadis	SMT-Based Verification of Persistency Invariants of Px86 Programs.	VSTTE	2022	DBLP DOI BibTeX RDF
11	Aymene Mohammed Bouayed, Samuel Deslauriers-Gauthier, Mauro Zucchelli, Rachid Deriche	CNN and diffusion MRI’s 4th degree rotational invariants for Alzheimer’s disease identification.	LIDTA	2022	DBLP BibTeX RDF
11	Yanyan Li	Invariants for Curves in Equiform Galilean Space.	FSDM	2022	DBLP DOI BibTeX RDF
11	Zeyu Yang, Liang He 0002, Hua Yu, Chengcheng Zhao, Peng Cheng 0001, Jiming Chen 0001	Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants.	SenSys	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.	SAT-CPS@CODASPY	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.	QEST	2022	DBLP DOI BibTeX RDF
11	Jan Haltermann, Heike Wehrheim	CoVEGI: Cooperative Verification via Externally Generated Invariants.	Software Engineering	2022	DBLP DOI BibTeX RDF
11	Jendrik Brachter, Pascal Schweitzer	A Systematic Study of Isomorphism Invariants of Finite Groups via the Weisfeiler-Leman Dimension.	ESA	2022	DBLP DOI BibTeX RDF
11	J. Christian Attiogbé, Jérôme Rocheteau	Architectural Invariants and Correctness of IoT-Based Systems.	MEDI Workshops	2022	DBLP DOI BibTeX RDF
11	Zijun Hu, Pengfei Chen 0002, Guangba Yu, Zilong He, Xiaoyun Li	TS-InvarNet: Anomaly Detection and Localization based on Tempo-spatial KPI Invariants in Distributed Services.	ICWS	2022	DBLP DOI BibTeX RDF
11	Adnane Saoud, Murat Arcak	Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems.	CDC	2022	DBLP DOI BibTeX RDF
11	Zhen-Qi Liu, Yuan-Hai Shao 0001	Learning using rebalanced statistical invariants for imbalanced classification.	ITQM	2022	DBLP DOI BibTeX RDF
11	Dominic Steinhöfel, Andreas Zeller	Input invariants.	ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
11	Pylyp Prystavka, Olha Cholyshkina, Tetiana Sorokopud	Experimental study of distributions differential invariants based on spline image models.	CMiGIN	2022	DBLP BibTeX RDF
11	Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken	Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion.	TACAS (1)	2022	DBLP DOI BibTeX RDF
11	Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh	DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols.	OSDI	2022	DBLP BibTeX RDF
11	Mehran Shakerinava, Arnab Kumar Mondal, Siamak Ravanbakhsh	Structuring Representations Using Group Invariants.	NeurIPS	2022	DBLP BibTeX RDF
11	Jingbo Wang 0006, Chao Wang 0001	Learning to Synthesize Relational Invariants.	ASE	2022	DBLP DOI BibTeX RDF
11	Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng 0001	Learning Contract Invariants Using Reinforcement Learning.	ASE	2022	DBLP DOI BibTeX RDF
11	ThanhVu Nguyen, KimHao Nguyen, Hai Duong	SymInfer: Inferring Numerical Invariants using Symbolic States.	ICSE-Companion	2022	DBLP DOI BibTeX RDF
11	Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge	Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.	ICSE	2022	DBLP DOI BibTeX RDF
11	Lars Doorenbos, Raphael Sznitman, Pablo Márquez-Neila	Data Invariants to Understand Unsupervised Out-of-Distribution Detection.	ECCV (31)	2022	DBLP DOI BibTeX RDF
11	Gidon Ernst	Loop Verification with Invariants and Contracts.	VMCAI	2022	DBLP DOI BibTeX RDF
11	Muhammad Omer Shahid, Chuadhry Mujeeb Ahmed, Venkata Reddy Palleti, Jianying Zhou 0001	Curse of System Complexity and Virtue of Operational Invariants: Machine Learning based System Modeling and Attack Detection in CPS.	DSC	2022	DBLP DOI BibTeX RDF
11	Muhammad Azmi Umer, Aditya Mathur, Muhammad Taha Jilani	Effect of time patterns in mining process invariants for industrial control systems: an experimental study.	SEA4DQ@ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
11	Hao Wu 0017	QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.	FASE	2022	DBLP DOI BibTeX RDF
11	Chiara Lanni, Giorgio Figliolini, Luciano Tomassi	First and Second Order Centrodes of Slider-Crank Mechanisms by Using Instantaneous Invariants.	ARK	2022	DBLP DOI BibTeX RDF
11	Yotam M. Y. Feldman	Towards a Theory of Learning Inductive Invariants		2022	RDF
11	Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox	Learning the boundary of inductive invariants.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
11	Shengxin Lin, Donghua Pan, Bowen Wang, Ziwei Liu, Guixuan Liu, Lei Wang 0133, Liyi Li 0001	Improvement and Omnidirectional Analysis of Magnetic Gradient Tensor Invariants Method.	IEEE Trans. Ind. Electron.	2021	DBLP DOI BibTeX RDF
11	Artem A. Lopatin	Indecomposable orthogonal invariants of several matrices over a field of positive characteristic.	Int. J. Algebra Comput.	2021	DBLP DOI BibTeX RDF
11	Stavros Vologiannidis, Efstathios N. Antoniou, Nicholas P. Karampetakis, Antonis-Ioannis G. Vardulakis	Polynomial matrix equivalences: system transformations and structural invariants.	IMA J. Math. Control. Inf.	2021	DBLP DOI BibTeX RDF
11	Yunbiao Wang, Jun Xiao 0005, Lupeng Liu, Ying Wang 0030	Efficient Rock Mass Point Cloud Registration Based on Local Invariants.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
11	Frantisek Capkovic	Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets - Part 1: Invariants, Siphons and Traps in Deadlock Avoidance.	Comput. Informatics	2021	DBLP DOI BibTeX RDF
11	Pan-pan Niu, C. Wang, W. Chen, Hongying Yang, Xiangyang Wang 0001	Fast and effective Keypoint-based image copy-move forgery detection using complex-valued moment invariants.	J. Vis. Commun. Image Represent.	2021	DBLP DOI BibTeX RDF
11	N. R. Aravind, C. R. Subramanian 0001	Intersection dimension and graph invariants.	Discuss. Math. Graph Theory	2021	DBLP DOI BibTeX RDF
11	Vera Fischer, Dániel T. Soukup	More ZFC inequalities between cardinal Invariants.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
11	Omar El Ogri, Hicham Karmouni, Mohamed Yamni, Achraf Daoui, Mhamed Sayyouri, Hassan Qjidaa	A new fast algorithm to compute moment 3D invariants of generalized Laguerre modified by fractional-order for pattern recognition.	Multidimens. Syst. Signal Process.	2021	DBLP DOI BibTeX RDF
11	Hanlin Mo, Hongxiang Hao, Hua Li 0009	Geometric moment invariants to spatial transform and N-fold symmetric blur.	Pattern Recognit.	2021	DBLP DOI BibTeX RDF
11	Yufeng Zheng, Jun Huang, Tianwen Chen, Yang Ou, Wu Zhou	Transfer of Learning in the Convolutional Neural Networks on Classifying Geometric Shapes Based on Local or Global Invariants.	Frontiers Comput. Neurosci.	2021	DBLP DOI BibTeX RDF
11	Rachid Benouini, Imad Batioua, Khalid Zenkouar, Said Najah	Fractional-order generalized Laguerre moments and moment invariants for grey-scale image analysis.	IET Image Process.	2021	DBLP DOI BibTeX RDF
11	Xiucong Sun, Hao Zhang 0040, Pei Chen, Chao Han	On the Feasibility of Orbit Determination From Gravity Gradient Invariants.	IEEE Trans. Aerosp. Electron. Syst.	2021	DBLP DOI BibTeX RDF
11	Maqsood Ahmad 0005, Muhammad Haris Saeed, Muhammad Javaid	Comparative Study of Certain Synthetic Polymers via Bond-Additive Invariants.	IEEE Access	2021	DBLP DOI BibTeX RDF
11	Chih-Yang Pee, Seng-Huat Ong, Paramesran Raveendran	Efficient Translation, Rotation, and Scale Invariants of Discrete Tchebichef Moments.	IEEE Access	2021	DBLP DOI BibTeX RDF
11	Nikolay S. Kaleyski	Invariants for EA- and CCZ-equivalence of APN and AB functions.	Cryptogr. Commun.	2021	DBLP DOI BibTeX RDF
11	Achraf Daoui, Hicham Karmouni, Mhamed Sayyouri, Hassan Qjidaa	Fast and stable computation of higher-order Hahn polynomials and Hahn moment invariants for signal and image analysis.	Multim. Tools Appl.	2021	DBLP DOI BibTeX RDF
11	Mohamed Yamni, Achraf Daoui, Omar El Ogri, Hicham Karmouni, Mhamed Sayyouri, Hassan Qjidaa	Accurate 2D and 3D images classification using translation and scale invariants of Meixner moments.	Multim. Tools Appl.	2021	DBLP DOI BibTeX RDF
11	Jens Hemelaer, Morgan Rogers	Monoid Properties as Invariants of Toposes of Monoid Actions.	Appl. Categorical Struct.	2021	DBLP DOI BibTeX RDF
11	Mohamed M. S. Nasser, Matti Vuorinen	Computation of conformal invariants.	Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
11	Mohamed Yamni, Achraf Daoui, Omar El Ogri, Hicham Karmouni, Mhamed Sayyouri, Hassan Qjidaa, Mustapha Maaroufi, Badreeddine Alami	Fast and Accurate Computation of 3D Charlier Moment Invariants for 3D Image Classification.	Circuits Syst. Signal Process.	2021	DBLP DOI BibTeX RDF
11	Marcela Popescu, Paul Popescu	Noether Invariants for Nonholonomic Systems.	Symmetry	2021	DBLP DOI BibTeX RDF
11	Valentin V. Lychagin	On Metric Invariants of Spherical Harmonics.	Symmetry	2021	DBLP DOI BibTeX RDF
11	Yongjian Liu, Chunbiao Li, Aimin Liu	Analysis of Geometric Invariants for Three Types of Bifurcations in 2D Differential Systems.	Int. J. Bifurc. Chaos	2021	DBLP DOI BibTeX RDF
11	Antonis-Ioannis G. Vardulakis, Aristotelis Yannakoudakis, Cui Wei, Tianyou Chai	Denominator Assignment, Invariants, and Canonical Forms Under Dynamic Feedback Compensation in Linear Multivariable Nonsquare Systems.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
11	Brenner S. Rego, Joseph K. Scott, Davide Martino Raimondo, Guilherme V. Raffo	Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes.	Autom.	2021	DBLP DOI BibTeX RDF
11	Manousos Manouras, Sofia Lambropoulou, Louis H. Kauffman	Finite type invariants for knotoids.	Eur. J. Comb.	2021	DBLP DOI BibTeX RDF
11	Eiichi Bannai, Manabu Oura, Da Zhao	The complex conjugate invariants of Clifford groups.	Des. Codes Cryptogr.	2021	DBLP DOI BibTeX RDF
11	Cédric Bonnafé	Some Singular Curves and Surfaces Arising from Invariants of Complex Reflection Groups.	Exp. Math.	2021	DBLP DOI BibTeX RDF
11	Daniel Delbourgo, Hamish Gilmore	Computing L-Invariants for the Symmetric Square of an Elliptic Curve.	Exp. Math.	2021	DBLP DOI BibTeX RDF
11	Joshua P. Swanson, Nolan R. Wallach	Harmonic differential forms for pseudo-reflection groups I. Semi-invariants.	J. Comb. Theory, Ser. A	2021	DBLP DOI BibTeX RDF
11	Maxim Gurevich	Quantum invariants for decomposition problems in type A rings of representations.	J. Comb. Theory, Ser. A	2021	DBLP DOI BibTeX RDF
11	Ashish Tiwari	Linear Invariants for Linear Systems.	CoRR	2021	DBLP BibTeX RDF
11	Andreas Humenberger, Laura Kovács	Algebra-based Synthesis of Loops and their Invariants (Invited Paper).	CoRR	2021	DBLP BibTeX RDF
11	Pawel Dlotko, Davide Gurnari, Radmila Sazdanovic	Knot invariants and their relations: a topological perspective.	CoRR	2021	DBLP BibTeX RDF
11	Pedro Roitman, Ronaldo Garcia, Dan Reznik	New Invariants of Poncelet-Jacobi Bicentric Polygons.	CoRR	2021	DBLP BibTeX RDF
11	Javier Esparza, Mikhail A. Raskin, Christoph Welzel	Abduction of trap invariants in parameterized systems.	GandALF	2021	DBLP DOI BibTeX RDF
11	Alessio Caminata, Elisa Gorla	Solving degree, last fall degree, and related invariants.	CoRR	2021	DBLP BibTeX RDF
11	Jessica Craven, Mark Hughes, Vishnu Jejjala, Arjun Kar	Learning knot invariants across dimensions.	CoRR	2021	DBLP BibTeX RDF
11	Eimear Byrne, Giuseppe Cotardo	Tensor Codes and their Invariants.	CoRR	2021	DBLP BibTeX RDF
11	Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat	Diffy: Inductive Reasoning of Array Programs using Difference Invariants.	CoRR	2021	DBLP BibTeX RDF
11	Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell 0001	Porous Invariants.	CoRR	2021	DBLP BibTeX RDF
11	Javier Esparza, Mikhail A. Raskin, Christoph Welzel	Computing Parameterized Invariants of Parameterized Petri Nets.	CoRR	2021	DBLP BibTeX RDF
11	Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich	Beyond the Elementary Representations of Program Invariants over Algebraic Data Types.	CoRR	2021	DBLP BibTeX RDF
11	Jakob Ropers, Marco M. Mosca, Olga Anosova, Vitaliy Kurlin, Andrew I. Cooper	Fast predictions of lattice energies by continuous isometry invariants of crystal structures.	CoRR	2021	DBLP BibTeX RDF
11	Maximilian Neumann	Multidimensional Persistence: Invariants and Parameterization.	CoRR	2021	DBLP BibTeX RDF
11	Ezio Bartocci, Laura Kovács, Miroslav Stankovic	MORA - Automatic Generation of Moment-Based Invariants.	CoRR	2021	DBLP BibTeX RDF
11	Lars Doorenbos, Raphael Sznitman, Pablo Márquez-Neila	Data Invariants to Understand Unsupervised Out-of-Distribution Detection.	CoRR	2021	DBLP BibTeX RDF
11	Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken	Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion.	CoRR	2021	DBLP BibTeX RDF
11	Uwe Naumann	Differential Invariants.	CoRR	2021	DBLP BibTeX RDF
11	Noemie Combe, Philippe Combe, Hanna Nencka	Frobenius statistical manifolds & geometric invariants.	CoRR	2021	DBLP BibTeX RDF