Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Jacek Skryzalin, Gunnar E. Carlsson	Numeric invariants from multidimensional persistence.	J. Appl. Comput. Topol.	2017	DBLP DOI BibTeX RDF
11	Peng Wang 0048, Di Wang 0017, Adam Chlipala	TiML: a functional language for practical complexity analysis with invariants.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
11	Guus Regts, Bart Sevenster	Partition functions from orthogonal and symplectic group invariants.	Electron. Notes Discret. Math.	2017	DBLP DOI BibTeX RDF
11	Yudong Zhang 0001, Jianfei Yang, Shuihua Wang, Zhengchao Dong, Preetha Phillips	Pathological brain detection in MRI scanning via Hu moment invariants and machine learning.	J. Exp. Theor. Artif. Intell.	2017	DBLP DOI BibTeX RDF
11	Michitaka Furuya, Naoki Matsumoto	Vertex-Addition Strategy for Domination-Like Invariants.	Electron. J. Comb.	2017	DBLP DOI BibTeX RDF
11	Wilfried Imrich, Rafal Kalinowski, Monika Pilsniak, Mohammad Hadi Shekarriz	Bounds for Distinguishing Invariants of Infinite Graphs.	Electron. J. Comb.	2017	DBLP DOI BibTeX RDF
11	Mohamed Ben Haj Rhouma, Jovisa D. Zunic, Mohammed Chachan Younis	Moment invariants for multi-component shapes with applications to leaf classification.	Comput. Electron. Agric.	2017	DBLP DOI BibTeX RDF
11	Hengle Jiang, Sebastian G. Elbaum, Carrick Detweiler	Inferring and monitoring invariants in robotic systems.	Auton. Robots	2017	DBLP DOI BibTeX RDF
11	Federico Flaviani	Calculation of Invariants Assertions.	CLEI Selected Papers	2017	DBLP DOI BibTeX RDF
11	Robert W. Fitzgerald, Yasanthi Kottegoda	Invariants of trace forms in odd characteristic and authentication codes.	Finite Fields Their Appl.	2017	DBLP DOI BibTeX RDF
11	Wojciech W. Czech, Wojciech Mielczarek, Witold Dzwinel	Distributed computing of distance-based graph invariants for analysis and visualization of complex networks.	Concurr. Comput. Pract. Exp.	2017	DBLP DOI BibTeX RDF
11	Bo Yang, Jitka Kostková, Jan Flusser, Tomás Suk	Scale invariants from Gaussian-Hermite moments.	Signal Process.	2017	DBLP DOI BibTeX RDF
11	Bo Yang, Zhongke Shi, Yuye Zhang, Xiaofeng Chen	Design of orthogonal moment invariants for images with N-Fold rotation symmetry.	Signal Process.	2017	DBLP DOI BibTeX RDF
11	Rong Wang, Zuohua Ding, Ning Gui, Yang Liu 0003	Detecting Bugs of Concurrent Programs With Program Invariants.	IEEE Trans. Reliab.	2017	DBLP DOI BibTeX RDF
11	Chih-Yang Pee, S. H. Ong 0002, P. Raveendran 0001	Numerically efficient algorithms for anisotropic scale and translation Tchebichef moment invariants.	Pattern Recognit. Lett.	2017	DBLP DOI BibTeX RDF
11	Marcos Vinicius Spreafico, Marcelo Firer	Invariants of MacWilliams identity: weight and ideal distribution in poset spaces.	Int. J. Inf. Coding Theory	2017	DBLP DOI BibTeX RDF
11	Gábor Ivanyos, Youming Qiao, K. V. Subrahmanyam 0001	Non-commutative Edmonds' problem and matrix semi-invariants.	Comput. Complex.	2017	DBLP DOI BibTeX RDF
11	Patricia Bouyer, Nicolas Markey, Nicolas Perrin 0001, Philipp Schlehuber-Caissier	Timed-automata abstraction of switched dynamical systems using control invariants.	Real Time Syst.	2017	DBLP DOI BibTeX RDF
11	Jie Shi 0001, Wen Zhang 0010, Miao Tang, Richard J. Caselli, Yalin Wang 0001	Conformal invariants for multiply connected surfaces: Application to landmark curve-based brain morphometry analysis.	Medical Image Anal.	2017	DBLP DOI BibTeX RDF
11	Matthew Mahowald	Open Gromov-Witten Invariants from the Augmentation Polynomial.	Symmetry	2017	DBLP DOI BibTeX RDF
11	Louis H. Kauffman, Sofia Lambropoulou	Skein Invariants of Links and Their State Sum Models.	Symmetry	2017	DBLP DOI BibTeX RDF
11	Mobeen Munir, Waqas Nazeer, Shin Min Kang, Muhammad Imran Qureshi, Abdul Rauf Nizami, Youl Chel Kwun	Some Invariants of Jahangir Graphs.	Symmetry	2017	DBLP DOI BibTeX RDF
11	Arturo Buscarino, Luigi Fortuna, Mattia Frasca, Maria Gabriella Xibilia	Positive-real systems under lossless transformations: Invariants and reduced order models.	J. Frankl. Inst.	2017	DBLP DOI BibTeX RDF
11	Chunlei Fu, Dan Yang 0001, Xiaohong Zhang 0002, Haibo Hu	An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency.	Autom. Softw. Eng.	2017	DBLP DOI BibTeX RDF
11	Kazuhito Yamasaki, Takahiro Yajima	KCC Analysis of the Normal Form of Typical Bifurcations in One-Dimensional Dynamical Systems: Geometrical Invariants of Saddle-Node, Transcritical, and Pitchfork Bifurcations.	Int. J. Bifurc. Chaos	2017	DBLP DOI BibTeX RDF
11	Michael González-Durruthy, Luciane C. Alberici, Carlos Curti, Zeki Naal, David T. Atique-Sawazaki, José Manuel Vázquez-Naya, Humberto González Díaz, Cristian R. Munteanu	Experimental-Computational Study of Carbon Nanotube Effects on Mitochondrial Respiration: In Silico Nano-QSPR Machine Learning Models Based on New Raman Spectra Transform with Markov-Shannon Entropy Invariants.	J. Chem. Inf. Model.	2017	DBLP DOI BibTeX RDF
11	Ming Gong, You Hao, Hanlin Mo, Hua Li 0009	Naturally combined shape-color moment invariants under affine transformations.	Comput. Vis. Image Underst.	2017	DBLP DOI BibTeX RDF
11	Gorjan Alagic, Catharine Lo	Quantum invariants of 3-manifolds and NP vs #P.	Quantum Inf. Comput.	2017	DBLP DOI BibTeX RDF
11	Mateusz Michalek	Finite phylogenetic complexity of Zp and invariants for Z3.	Eur. J. Comb.	2017	DBLP DOI BibTeX RDF
11	Neslihan Gügümcü, Louis H. Kauffman	New invariants of knotoids.	Eur. J. Comb.	2017	DBLP DOI BibTeX RDF
11	Qiuye Wang, Yangjia Li, Bican Xia, Naijun Zhan	Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems.	J. Syst. Sci. Complex.	2017	DBLP DOI BibTeX RDF
11	Assalé Adjé, Pierre-Loïc Garoche	Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs.	Comput. Lang. Syst. Struct.	2017	DBLP DOI BibTeX RDF
11	Yudong Zhang 0001, Yin Zhang 0002, Yi-Ding Lv, Xiao-Xia Hou, Fang-Yuan Liu, Wen-Juan Jia 0001, Meng-Meng Yang, Preetha Phillips, Shuihua Wang	Alcoholism detection by medical robots based on Hu moment invariants and predator-prey adaptive-inertia chaotic particle swarm optimization.	Comput. Electr. Eng.	2017	DBLP DOI BibTeX RDF
11	Antoine Miné	Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation.	Found. Trends Program. Lang.	2017	DBLP DOI BibTeX RDF
11	Aleksandr Karbyshev, Nikolaj S. Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham	Property-Directed Inference of Universal Invariants or Proving Their Absence.	J. ACM	2017	DBLP DOI BibTeX RDF
11	Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott	A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
11	Tobias Isenberg 0002, Marco Platzner, Heike Wehrheim, Tobias Wiersema	Proof-Carrying Hardware via Inductive Invariants.	ACM Trans. Design Autom. Electr. Syst.	2017	DBLP DOI BibTeX RDF
11	Randall Balestriero, Hervé Glotin	Linear Time Complexity Deep Fourier Scattering Network and Extension to Nonlinear Invariants.	CoRR	2017	DBLP BibTeX RDF
11	Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham	Bounded Quantifier Instantiation for Checking Inductive Invariants.	CoRR	2017	DBLP BibTeX RDF
11	Deepak D'Souza, P. Ezudheen, Pranav Garg 0001, P. Madhusudan, Daniel Neider	Horn-ICE Learning for Synthesizing Invariants and Contracts.	CoRR	2017	DBLP BibTeX RDF
11	Oliver Knill	Sphere geometry and invariants.	CoRR	2017	DBLP BibTeX RDF
11	Geoff W. Hamilton	Generating Loop Invariants for Program Verification by Transformation.	VPT@ETAPS	2017	DBLP DOI BibTeX RDF
11	Hanlin Mo, You Hao, Shirui Li, Hua Li 0009	A Kind of Affine Weighted Moment Invariants.	CoRR	2017	DBLP BibTeX RDF
11	Pengfei Zhang, Huitao Shen, Hui Zhai	Machine Learning Topological Invariants with Neural Networks.	CoRR	2017	DBLP BibTeX RDF
11	Erbo Li, Hua Li 0009	Isomorphism between Differential and Moment Invariants under Affine Transform.	CoRR	2017	DBLP BibTeX RDF
11	Caleb Voss, David Heath, William Harris	Proofs as Relational Invariants of Synthesized Execution Grammars.	CoRR	2017	DBLP BibTeX RDF
11	David Monniaux	On the decidability of the existence of polyhedral invariants in transition systems.	CoRR	2017	DBLP BibTeX RDF
11	Erbo Li, Hanlin Mo, Dong Xu 0008, Hua Li 0009	Image Projective Invariants.	CoRR	2017	DBLP BibTeX RDF
11	Sara Bernardini, Fabio Fagnani, David E. Smith 0001	Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains.	CoRR	2017	DBLP BibTeX RDF
11	Erbo Li, Yazhou Huang, Dong Xu 0008, Hua Li 0009	Shape DNA: Basic Generating Functions for Geometric Moment Invariants.	CoRR	2017	DBLP BibTeX RDF
11	Javad Doliskani, Anand Kumar Narayanan, Éric Schost	Drinfeld Modules with Complex Multiplication, Hasse Invariants and Factoring Polynomials over Finite Fields.	CoRR	2017	DBLP BibTeX RDF
11	Samir Chowdhury 0001, Facundo Mémoli	Distances and Isomorphism between Networks and the Stability of Network Invariants.	CoRR	2017	DBLP BibTeX RDF
11	Andreas Humenberger, Maximilian Jaroschek, Laura Kovács	Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences.	CoRR	2017	DBLP BibTeX RDF
11	Hanlin Mo, Shirui Li, You Hao, Hua Li 0009	Shape-Color Differential Moment Invariants under Affine Transformations.	CoRR	2017	DBLP BibTeX RDF
11	Ming Gong, You Hao, Hanlin Mo, Hua Li 0009	Naturally Combined Shape-Color Moment Invariants under Affine Transformations.	CoRR	2017	DBLP BibTeX RDF
11	Yijun Feng, Lijun Zhang 0001, David N. Jansen, Naijun Zhan, Bican Xia	Finding polynomial loop invariants for probabilistic programs.	CoRR	2017	DBLP BibTeX RDF
11	Jerry Anderson Pinheiro, Marcelo Firer	Canonical form of linear subspaces and coding invariants: the poset metric point of view.	CoRR	2017	DBLP BibTeX RDF
11	Subhrajit Bhattacharya, Robert Ghrist	Path Homotopy Invariants and their Application to Optimal Trajectory Planning.	CoRR	2017	DBLP BibTeX RDF
11	He Zhang, Hanlin Mo, You Hao, Shirui Li, Hua Li 0009	Fast and Efficient Calculations of Structural Invariants of Chirality.	CoRR	2017	DBLP BibTeX RDF
11	Ferhat Tas	On the Design and Invariants of a Ruled Surface.	CoRR	2017	DBLP BibTeX RDF
11	Paul Görlach, Evelyne Hubert, Théo Papadopoulo	Rational invariants of ternary forms under the orthogonal group.	CoRR	2017	DBLP BibTeX RDF
11	Afonso S. Bandeira, Ben Blum-Smith, Amelia Perry, Jonathan Weed, Alexander S. Wein	Estimation under group actions: recovering orbits from invariants.	CoRR	2017	DBLP BibTeX RDF
11	Thomas Barron, Christopher O'Neill, Roberto Pelayo	On dynamic algorithms for factorization invariants in numerical monoids.	Math. Comput.	2017	DBLP DOI BibTeX RDF
11	Frantisek Marko, Alexandr N. Zubkov, Martin Jurás	Public-key cryptosystem based on invariants of diagonalizable groups.	Groups Complex. Cryptol.	2017	DBLP DOI BibTeX RDF
11	Elsa M. de la Calleja, Roberto Zenit	Topological invariants can be used to quantify complexity in abstract paintings.	Knowl. Based Syst.	2017	DBLP DOI BibTeX RDF
11	George Stergiopoulos, Panayiotis Katsaros, Dimitris Gritzalis	Program analysis with risk-based classification of dynamic invariants for logical error detection.	Comput. Secur.	2017	DBLP DOI BibTeX RDF
11	Osvaldo Guzmán González, Michael Hrusák, Arturo Martínez-Celis	Cardinal invariants of strongly porous sets.	J. Log. Anal.	2017	DBLP BibTeX RDF
11	Gianluca Amato, Marco Rubino, Francesca Scozzari	Inferring linear invariants with parallelotopes.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
11	Andreas-Stephan Elsenhans	Improved methods for the construction of relative invariants for permutation groups.	J. Symb. Comput.	2017	DBLP DOI BibTeX RDF
11	Isabel Bermejo, Eva García-Llorente, Ignacio García-Marco	Algebraic invariants of projective monomial curves associated to generalized arithmetic sequences.	J. Symb. Comput.	2017	DBLP DOI BibTeX RDF
11	Hongchi Zeng, Xin Peng 0001, Wenyun Zhao	基于数据库事务的不变式推导 (Deriving Invariants from Database Transactions).	计算机科学	2017	DBLP DOI BibTeX RDF
11	Franziska Berger, Peter Gritzmann, Sven de Vries	Computing cyclic invariants for molecular graphs.	Networks	2017	DBLP DOI BibTeX RDF
11	Óscar J. Falcón, R. M. Falcón, Juan Núñez 0001, A. M. Pacheco, Maria Trinidad Villar	Computation of isotopisms of algebras over finite fields by means of graph invariants.	J. Comput. Appl. Math.	2017	DBLP DOI BibTeX RDF
11	Sverre Anmarkrud, Anne Kværnø	Order conditions for stochastic Runge-Kutta methods preserving quadratic invariants of Stratonovich SDEs.	J. Comput. Appl. Math.	2017	DBLP DOI BibTeX RDF
11	Leonie Amstein, Jörg Ackermann 0001, Jennifer Scheidel, Simone Fulda, Ivan Dikic, Ina Koch	Manatee invariants reveal functional pathways in signaling networks.	BMC Syst. Biol.	2017	DBLP DOI BibTeX RDF
11	Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson	Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types.	ACM Trans. Program. Lang. Syst.	2017	DBLP DOI BibTeX RDF
11	Elisha Falbel, Qingxue Wang	Duality and invariants of representations of fundamental groups of 3-manifolds into PGL(3, C).	J. Lond. Math. Soc.	2017	DBLP DOI BibTeX RDF
11	Wang Lin, Min Wu 0003, Zhengfeng Yang, Zhenbing Zeng	Verification for Non-polynomial Hybrid Systems Using Rational Invariants.	Comput. J.	2017	DBLP DOI BibTeX RDF
11	Guus Regts, Bart Sevenster	Graph parameters from symplectic group invariants.	J. Comb. Theory, Ser. B	2017	DBLP DOI BibTeX RDF
11	Martin Kochol	Edge cut splitting formulas for Tutte-Grothendieck invariants.	J. Comb. Theory, Ser. B	2017	DBLP DOI BibTeX RDF
11	Xiao Chang, Hao Xu	Chung-Yau Invariants and Graphs with Symmetric Hitting Times.	J. Graph Theory	2017	DBLP DOI BibTeX RDF
11	Bo Yang, Jitka Kostková, Jan Flusser, Tomás Suk, Roxana Bujack	Recognition of patterns in vector fields by Gaussian-hermite invariants.	ICIP	2017	DBLP DOI BibTeX RDF
11	Koyena Pal, Sridhar Adepu, Jonathan Goh	Effectiveness of Association Rules Mining for Invariants Generation in Cyber-Physical Systems.	HASE	2017	DBLP DOI BibTeX RDF
11	Muhammad Azmi Umer, Aditya Mathur, Khurum Nazir Junejo, Sridhar Adepu	Integrating Design and Data Centric Approaches to Generate Invariants for Distributed Attack Detection.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
11	Kenneth Roe, Scott F. Smith 0001	Using the coq theorem prover to verify complex data structure invariants.	MEMOCODE	2017	DBLP DOI BibTeX RDF
11	Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf	Quantified Heap Invariants for Object-Oriented Programs.	LPAR	2017	DBLP DOI BibTeX RDF
11	Antoine Serrurier, Pierre Badin, Louis-Jean Boë, Laurent Lamalle, Christiane Neuschaefer-Rube	Inter-Speaker Variability: Speaker Normalisation and Quantitative Estimation of Articulatory Invariants in Speech Production for French.	INTERSPEECH	2017	DBLP DOI BibTeX RDF
11	Clément Maria, Jonathan Spreer	A polynomial time algorithm to compute quantum invariants of 3-manifolds with bounded first Betti number.	SODA	2017	DBLP DOI BibTeX RDF
11	Alessio Viticchié, Cataldo Basile, Antonio Lioy	Remotely Assessing Integrity of Software Applications by Monitoring Invariants: Present Limitations and Future Directions.	CRiSIS	2017	DBLP DOI BibTeX RDF
11	Bin Li 0054, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao	A Framework for Array Invariants Synthesis in Induction-Loop Programs.	APSEC	2017	DBLP DOI BibTeX RDF
11	Mengjun Li	Generating Equality Loop Invariants with Functions Based on Random Testing, Constraint Solving and Verification.	APSEC	2017	DBLP DOI BibTeX RDF
11	Hyoukjun Kwon, William Harris, Hadi Esmaeilzadeh	Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants.	CSF	2017	DBLP DOI BibTeX RDF
11	Sridhar Adepu, Aditya Mathur	From Design to Invariants: Detecting Attacks on Cyber Physical Systems.	QRS Companion	2017	DBLP DOI BibTeX RDF
11	Mingsheng Ying, Shenggang Ying, Xiaodi Wu 0001	Invariants of quantum programs: characterisations and generation.	POPL	2017	DBLP DOI BibTeX RDF
11	Krishnendu Chatterjee, Petr Novotný 0001, Dorde Zikelic	Stochastic invariants for probabilistic termination.	POPL	2017	DBLP DOI BibTeX RDF
11	Danielle Ensign, Scott Neville, Arnab Paul, Suresh Venkatasubramanian	The Complexity of Explaining Neural Networks Through (group) Invariants.	ALT	2017	DBLP BibTeX RDF
11	Hubert Rams, Markus Schöberl	On structural invariants in the energy based control of port-Hamiltonian systems with second-order Hamiltonian.	ACC	2017	DBLP DOI BibTeX RDF
11	Steven de Oliveira, Saddek Bensalem, Virgile Prevosto	Synthesizing Invariants by Solving Solvable Loops.	ATVA	2017	DBLP DOI BibTeX RDF
11	Yijun Feng, Lijun Zhang 0001, David N. Jansen, Naijun Zhan, Bican Xia	Finding Polynomial Loop Invariants for Probabilistic Programs.	ATVA	2017	DBLP DOI BibTeX RDF
11	Abraham Chan, Stefan Winter 0001, Habib Saissi, Karthik Pattabiraman, Neeraj Suri	IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants.	ICST	2017	DBLP DOI BibTeX RDF