Search results for "equalities"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Bala Krushna Tripathy, Anirban Mitra, Jaladhar Ojha	On Rough Equalities and Rough Equivalences of Sets.	RSCTC	2008	DBLP DOI BibTeX RDF	bottom R-equal, top R-equal, R-equal, bottom R-equivalent, top R-equivalent and R-equivalent
76	Sumit Gulwani, George C. Necula	Discovering affine equalities using random interpretation.	POPL	2003	DBLP DOI BibTeX RDF	affine relationships, linear equalities, random interpretation, randomized algorithm
73	Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm	A Logic-Based Approach to Program Flow Analysis.	Acta Informatica	1998	DBLP DOI BibTeX RDF
58	Helmut Seidl, Vesal Vojdani, Varmo Vene	A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.	FM	2009	DBLP DOI BibTeX RDF
58	Sorin Stratulat	Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities.	RTA	2008	DBLP DOI BibTeX RDF
58	Markus Müller-Olm, Helmut Seidl, Bernhard Steffen	Interprocedural Herbrand Equalities.	ESOP	2005	DBLP DOI BibTeX RDF
58	Konstantin Korovin, Andrei Voronkov	Orienting Equalities with the Knuth-Bendix Order.	LICS	2003	DBLP DOI BibTeX RDF
52	Guoqiang Ge	Testing Equalities of Multiplicative Representations in Polynomial Time (Extended Abstract)	FOCS	1993	DBLP DOI BibTeX RDF	deterministic polynomial time algorithm, testing equalities, nonzero elements, rational integers, polynomial time, multiplicative representations, algebraic number field
49	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001, Wang Chiew Tan	Composing schema mappings: Second-order dependencies to the rescue.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	computational complexity, data integration, composition, dependencies, Data exchange, schema mapping, conjunctive queries, chase, query answering, certain answers, second-order logic, metadata model management, universal solution
49	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001, Wang Chiew Tan	Composing Schema Mappings: Second-Order Dependencies to the Rescue. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
49	Kok-Phuang Tan, T. C. Tan	An Improved Join Dependency for Efficient Constraint Checking.	ICCI	1991	DBLP DOI BibTeX RDF	Database design, join dependency, constraint checking
46	Markus Müller-Olm, Helmut Seidl	Upper Adjoints for Fast Inter-procedural Variable Equalities.	ESOP	2008	DBLP DOI BibTeX RDF
46	Benjamin Grégoire, Assia Mahboubi	Proving Equalities in a Commutative Ring Done Right in Coq.	TPHOLs	2005	DBLP DOI BibTeX RDF
46	Markus Müller-Olm, Oliver Rüthing, Helmut Seidl	Checking Herbrand Equalities and Beyond.	VMCAI	2005	DBLP DOI BibTeX RDF
46	Oliver Rüthing, Jens Knoop, Bernhard Steffen	Detecting Equalities of Variables: Combining Efficiency with Precision.	SAS	1999	DBLP DOI BibTeX RDF
43	B. K. Tripathy 0001, G. K. Panda	Approximate Equalities on Rough Intuitionistic Fuzzy Sets and an Analysis of Approximate Equalities	CoRR	2012	DBLP BibTeX RDF
43	Jacques Patarin	Introduction to Mirror Theory: Analysis of Systems of Linear Equalities and Linear Non Equalities for Cryptography.	IACR Cryptol. ePrint Arch.	2010	DBLP BibTeX RDF
43	John Y. Lin, Ying Wu 0001, Thomas S. Huang	Modeling the Constraints of Human Hand Motion.	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	human hand motion, motion constraint modelling, hand motion capture, large search space, learning approach, hand configuration space, lower-dimensional subspace, finger motion, linear behavior, video inputs, optimisation, redundancy, gesture recognition, nonlinear optimization, gesture interfaces, biomechanics, equalities, data gloves, inequalities, redundancy elimination, constraint theory, image motion analysis, articulated motion, CyberGlove
36	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani	Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.	LPAR	2006	DBLP DOI BibTeX RDF
36	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination.	ICTAC	2005	DBLP DOI BibTeX RDF
34	Ozan Kahramanogullari	System BV without the Equalities for Unit.	ISCIS	2004	DBLP DOI BibTeX RDF
34	Ulrich Höhle	Many-valued equalities, singletons and fuzzy partitions.	Soft Comput.	1998	DBLP DOI BibTeX RDF
34	Philippe Refalo	Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
34	Peter J. Downey, Hanan Samet, Ravi Sethi	Off-Line and On-Line Algorithms for Deducing Equalities.	POPL	1978	DBLP DOI BibTeX RDF
24	Hugo D. Scolnik, Nélida E. Echebest, M. T. Guardarucci, M. C. Vacchino	Incomplete oblique projections for solving large inconsistent linear systems.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C25, 90C30
24	Henrik Björklund, Wim Martens, Thomas Schwentick	Optimizing Conjunctive Queries over Trees Using Schema Information.	MFCS	2008	DBLP DOI BibTeX RDF
24	Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere	Type inference for datalog and its application to query optimisation.	PODS	2008	DBLP DOI BibTeX RDF	query optimization, datalog, type inference
24	Emmanuel Hebrard, Barry O'Sullivan, Igor Razgon	A Soft Constraint of Equality: Complexity and Approximability.	CP	2008	DBLP DOI BibTeX RDF
24	Vilém Vychodil	A note on congruence permutability and fuzzy logic.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Mal'cev-condition, Fuzzy logic, Permutability, Fuzzy equality
24	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani	Efficient Satisfiability Modulo Theories via Delayed Theory Combination.	CAV	2005	DBLP DOI BibTeX RDF
24	Jacques Patarin, Audrey Montreuil	Benes and Butterfly Schemes Revisited.	ICISC	2005	DBLP DOI BibTeX RDF	information-theoretic primitive, design of keyed hash functions. (An extended version of this paper is available from the authors), unconditional security, Pseudo-random functions
24	Rom Pinchasi, Rados Radoicic, Micha Sharir	On empty convex polygons in a planar point set.	SCG	2004	DBLP DOI BibTeX RDF	continuous motion, empty ?-gon, empty hexagon
24	Enric Rodríguez-Carbonell, Deepak Kapur	An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants.	SAS	2004	DBLP DOI BibTeX RDF
24	Laurent Mazaré	Decidability of Opacity with Non-Atomic Keys.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	Dolev-Yao Constraints, Security, Formal Verification, Decidability, Rewriting Systems, Opacity
24	Christelle Scharff, Leo Bachmair	On the Combination of Congruence Closure and Completion.	AISC	2004	DBLP DOI BibTeX RDF
24	Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings	Search Techniques for Non-linear Constraint Satisfaction Problems with Inequalities.	AI	2001	DBLP DOI BibTeX RDF
24	Jan Magott, Pawel Skrobanek	A Method of Analysis of Fault Trees with Time Dependencies.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Safety-Critical System, Protection, Time Petri Net, Fault Tree, Time Dependency
24	Patrícia D. L. Machado	On Oracles for Interpreting Test Results against Algebraic Specifications.	AMAST	1998	DBLP DOI BibTeX RDF	formal verification, correctness, algebraic specification, specification based-testing, oracle
24	David Cyrluk, Patrick Lincoln, Natarajan Shankar	On Shostak's Decision Procedure for Combinations of Theories.	CADE	1996	DBLP DOI BibTeX RDF
24	Roberto Di Cosmo, Delia Kesner	A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object.	ICALP	1993	DBLP DOI BibTeX RDF
24	Martin Aronsson	Implementational Issues in GCLA: A-Sufficiency and Definiens Operation.	ELP	1992	DBLP DOI BibTeX RDF
24	Egidio Astesiano, Maura Cerioli	On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
21	Olga Kuryatnikova, Bissan Ghaddar, Daniel K. Molzahn	Two-Stage Robust Quadratic Optimization with Equalities and Its Application to Optimal Power Flow.	SIAM J. Optim.	2023	DBLP DOI BibTeX RDF
21	Amin Ghodousian, Mohammad Sedigh Chopannavaz	Solving linear optimization problems subject to bipolar fuzzy relational equalities defined with max-strict compositions.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
21	Yan Fan, Ernest X. W. Xia, Xiang Zhao	New equalities and inequalities for the ranks and cranks of partitions.	Adv. Appl. Math.	2023	DBLP DOI BibTeX RDF
21	Tianliang Zhang, Weihai Zhang	Necessary and Sufficient Conditions for Two Quadratic Equalities to Hold With Applications.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
21	Lev Gordeev, Edward Hermann Haeusler	Proofs of Equalities NP = coNP = PSPACE: Simplification.	CoRR	2023	DBLP DOI BibTeX RDF
21	Zengtai Gong, Fangdi Wang	Operation properties and (α , β )-equalities of complex intuitionistic fuzzy sets.	Soft Comput.	2023	DBLP DOI BibTeX RDF
21	Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang 0001	Static analysis of linear absolute value equalities among variables of a program.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
21	Yongge Tian	Characterizations of Matrix Equalities for Generalized Inverses of Matrix Products.	Axioms	2022	DBLP DOI BibTeX RDF
21	Robert C. Williamson, Zac Cranko	Information Processing Equalities and the Information-Risk Bridge.	CoRR	2022	DBLP DOI BibTeX RDF
21	Yongge Tian	A study of range equalities for mixed products of two matrices and their generalized inverses.	Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
21	Arkadev Chattopadhyay, Nikhil S. Mande	A Short List of Equalities Induces Large Sign-Rank.	SIAM J. Comput.	2022	DBLP DOI BibTeX RDF
21	Matieyendou Lamboni	Derivative-based integral equalities and inequality: A proxy-measure for sensitivity analysis.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
21	Michael A. Bennett, Greg Martin, Kevin O'Bryant	Multidimensional Padé approximation of binomial functions: Equalities.	CoRR	2021	DBLP BibTeX RDF
21	Martin Schäler, Christine Tex, Veit Köppen, David Broneske, Gunter Saake	Towards multi-purpose main-memory storage structures: Exploiting sub-space distance equalities in totally ordered data sets for exact knn queries.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
21	Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang 0001	An Abstract Domain to Infer Linear Absolute Value Equalities.	TASE	2021	DBLP DOI BibTeX RDF
21	Nam Kyu Kwon, Seok Young Lee	Novel Equalities for Stability Analysis of Asynchronous Sampled-Data Systems.	IEEE Access	2020	DBLP DOI BibTeX RDF
21	Seung-Hoon Lee, Palanisamy Selvaraj, Myeong-Jin Park, Oh-Min Kwon 0001	Improved results on H∞ stability analysis of sampled-data systems via looped-functionals and zero equalities.	Appl. Math. Comput.	2020	DBLP DOI BibTeX RDF
21	Rafaël Bocquet	Coherence of strict equalities in dependent type theories.	CoRR	2020	DBLP BibTeX RDF
21	Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov	Equalities between Combinators to Evaluate Expressions.	BICA*AI	2020	DBLP DOI BibTeX RDF
21	Marisa R. Gaetz, Will Hardt, Shruthi Sridhar	Support Equalities Among Ribbon Schur Functions.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
21	Immanuel Anjam, Dirk Pauly	An Elementary Method of Deriving A Posteriori Error Equalities and Estimates for Linear Partial Differential Equations.	Comput. Methods Appl. Math.	2019	DBLP DOI BibTeX RDF
21	Wenjie Wang, Sanzhang Xu, Julio Benítez	Rank Equalities Related to the Generalized Inverses A‖(B1, C1), D‖(B2, C2) of Two Matrices A and D.	Symmetry	2019	DBLP DOI BibTeX RDF
21	Leo Egghe, Yves Fassin, Ronald Rousseau 0001	Equalities between h-type Indices and Definitions of Rational h-type Indicators.	J. Data Inf. Sci.	2019	DBLP DOI BibTeX RDF
21	Christos K. Kourtellaris, Charalambos D. Charalambous	Information Structures for Feedback Capacity of Channels With Memory and Transmission Cost: Stochastic Optimal Control and Variational Equalities.	IEEE Trans. Inf. Theory	2018	DBLP DOI BibTeX RDF
21	Chao Gu, Detong Zhu, Yonggang Pei	A new inexact SQP algorithm for nonlinear systems of mixed equalities and inequalities.	Numer. Algorithms	2018	DBLP DOI BibTeX RDF
21	Balakrushna Tripathy, Radha Raman Mohanty	Covering Based Pessimistic Multigranular Approximate Rough Equalities and Their Properties.	Int. J. Rough Sets Data Anal.	2018	DBLP DOI BibTeX RDF
21	Arkadev Chattopadhyay, Nikhil S. Mande	A Short List of Equalities Induces Large Sign Rank.	FOCS	2018	DBLP DOI BibTeX RDF
21	Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper 0001	Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities.	CSL	2018	DBLP DOI BibTeX RDF
21	Stefan Schulze Frielinghaus	Interprocedural Program Analysis: Herbrand Equalities and Local Solvers.		2018	RDF
21	Seok Young Lee, Won Il Lee, PooGyeon Park	Improved stability criteria for linear systems with interval time-varying delays: Generalized zero equalities approach.	Appl. Math. Comput.	2017	DBLP DOI BibTeX RDF
21	Martin Bromberger, Christoph Weidenbach	New techniques for linear arithmetic: cubes and equalities.	Formal Methods Syst. Des.	2017	DBLP DOI BibTeX RDF
21	Stéphane Rivaud, François Pachet	Sampling Markov Models under Constraints: Complexity Results for Binary Equalities and Grammar Membership.	CoRR	2017	DBLP BibTeX RDF
21	Norihiro Yamada	Game-theoretic Investigation of Intensional Equalities.	CoRR	2017	DBLP BibTeX RDF
21	John C. Duchi, Feng Ruan	Solving (most) of a set of quadratic equalities: Composite optimization for robust phase retrieval.	CoRR	2017	DBLP BibTeX RDF
21	Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl	Inter-procedural Two-Variable Herbrand Equalities.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
21	Sergio Antoy, Michael Hanus	Transforming Boolean equalities into constraints.	Formal Aspects Comput.	2017	DBLP DOI BibTeX RDF
21	Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina	Duality-based interpolation for quantifier-free equalities and uninterpreted functions.	FMCAD	2017	DBLP DOI BibTeX RDF
21	Charalambos D. Charalambous, Photios A. Stavrou	Directed Information on Abstract Spaces: Properties and Variational Equalities.	IEEE Trans. Inf. Theory	2016	DBLP DOI BibTeX RDF
21	Yongge Tian, Bo Jiang	Equalities for estimators of partial parameters under linear model with restrictions.	J. Multivar. Anal.	2016	DBLP DOI BibTeX RDF
21	Reinhard Kahle	Towards a Proof-Theoretic Semantics of Equalities.	Advances in Proof-Theoretic Semantics	2016	DBLP DOI BibTeX RDF
21	Mumtaz Ali, Florentin Smarandache	δ -equalities of neutrosophic sets.	FUZZ-IEEE	2016	DBLP DOI BibTeX RDF
21	Reinier Doelman, Michel Verhaegen	Sequential convex relaxation for convex optimization with bilinear matrix equalities.	ECC	2016	DBLP DOI BibTeX RDF
21	Martin Bromberger, Christoph Weidenbach	Computing a Complete Basis for Equalities Implied by a System of LRA Constraints.	SMT@IJCAR	2016	DBLP BibTeX RDF
21	Charles Audet, Sébastien Le Digabel, Mathilde Peyrega	Linear equalities in blackbox optimization.	Comput. Optim. Appl.	2015	DBLP DOI BibTeX RDF
21	D. Ataee Tarzanagh, Z. Saeidian, M. Reza Peyghami, Hamid Mesgrani	A new trust region method for solving least-square transformation of system of equalities and inequalities.	Optim. Lett.	2015	DBLP DOI BibTeX RDF
21	Miriam Farber, Charles R. Johnson, Leon Zhang	The Number of Interlacing Equalities Resulting from Removal of a Vertex from a Tree.	SIAM J. Discret. Math.	2015	DBLP DOI BibTeX RDF
21	Hangjun Che, Chuandong Li 0001, Xing He 0001, Tingwen Huang	An intelligent method of swarm neural networks for equalities-constrained nonconvex optimization.	Neurocomputing	2015	DBLP DOI BibTeX RDF
21	Christos K. Kourtellaris, Charalambos D. Charalambous	Information Structures of Capacity Achieving Distributions for Feedback Channels with Memory and Transmission Cost: Stochastic Optimal Control & Variational Equalities-Part I.	CoRR	2015	DBLP BibTeX RDF
21	Alejandro Díaz-Caro, Pablo E. Martínez López	Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+.	CoRR	2015	DBLP BibTeX RDF
21	Roberto Mínguez, Enrique F. Castillo, Rosa Eva Pruneda, Cristina Solares	Truss Analysis Discussion and Interpretation Using Linear Systems of Equalities and Inequalities.	CoRR	2015	DBLP BibTeX RDF
21	Vilém Vychodil	Pseudovarieties of algebras with fuzzy equalities.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
21	Alejandro Díaz-Caro, Pablo E. Martínez López	Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of λ+.	IFL	2015	DBLP DOI BibTeX RDF
21	Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl	Inter-procedural Two-Variable Herbrand Equalities.	ESOP	2015	DBLP DOI BibTeX RDF
21	Mumtaz Ali, Vahid Behbood	Operation Properties and delta-Equalities of Complex Fuzzy Classes.	ISKE	2015	DBLP DOI BibTeX RDF
21	Sergio Antoy, Michael Hanus	From Boolean Equalities to Constraints.	LOPSTR	2015	DBLP DOI BibTeX RDF
21	Daniel Paternain, Humberto Bustince, Javier Fernández 0002, José Antonio Sanz 0001, Michal Baczynski 0001, Gleb Beliakov, Radko Mesiar	Strong Fuzzy Subsethood Measures and Strong Equalities Via Implication Functions.	J. Multiple Valued Log. Soft Comput.	2014	DBLP BibTeX RDF
21	Jianguang Zhu, Binbin Hao	A New Noninterior Continuation Method for Solving a System of Equalities and Inequalities.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
21	Alka Tripathi, Kanchan Tyagi	Approximate equalities using topological space.	Int. J. Granul. Comput. Rough Sets Intell. Syst.	2014	DBLP DOI BibTeX RDF