Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
94 | Bala Krushna Tripathy, Anirban Mitra, Jaladhar Ojha |
On Rough Equalities and Rough Equivalences of Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 92-102, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 74-84, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(6), pp. 457-504, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 644-659, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Sorin Stratulat |
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 351-365, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Markus Müller-Olm, Helmut Seidl, Bernhard Steffen |
Interprocedural Herbrand Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 31-45, 2005, Springer, 3-540-25435-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
58 | Konstantin Korovin, Andrei Voronkov |
Orienting Equalities with the Knuth-Bendix Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 75-, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Guoqiang Ge |
Testing Equalities of Multiplicative Representations in Polynomial Time (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 422-426, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 30(4), pp. 994-1055, 2005. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France, pp. 83-94, 2004, ACM, 1-58113-858-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Kok-Phuang Tan, T. C. Tan |
An Improved Join Dependency for Efficient Constraint Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings, pp. 182-184, 1991, Springer, 3-540-54029-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 178-192, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Benjamin Grégoire, Assia Mahboubi |
Proving Equalities in a Commutative Ring Done Right in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, pp. 98-113, 2005, Springer, 3-540-28372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Markus Müller-Olm, Oliver Rüthing, Helmut Seidl |
Checking Herbrand Equalities and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 79-96, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Oliver Rüthing, Jens Knoop, Bernhard Steffen |
Detecting Equalities of Variables: Combining Efficiency with Precision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 232-247, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.5866, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
43 | Jacques Patarin |
Introduction to Mirror Theory: Analysis of Systems of Linear Equalities and Linear Non Equalities for Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2010, pp. 287, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
43 | John Y. Lin, Ying Wu 0001, Thomas S. Huang |
Modeling the Constraints of Human Hand Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Human Motion ![In: Workshop on Human Motion, HUMO 2000, Austin, Texas, USA, December 7-8, 2000, Proceedings, pp. 121-126, 2000, IEEE Computer Society, 0-7695-0939-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 527-541, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 594-608, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Ozan Kahramanogullari |
System BV without the Equalities for Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings, pp. 986-995, 2004, Springer, 3-540-23526-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Ulrich Höhle |
Many-valued equalities, singletons and fuzzy partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 2(3), pp. 134-140, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Philippe Refalo |
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP/ALP ![In: Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings, pp. 481-496, 1998, Springer, 3-540-65012-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Peter J. Downey, Hanan Samet, Ravi Sethi |
Off-Line and On-Line Algorithms for Deducing Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 158-170, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 111(1-2), pp. 273-300, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 132-143, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 291-300, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 358-371, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Vilém Vychodil |
A note on congruence permutability and fuzzy logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(3), pp. 279-284, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 335-349, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jacques Patarin, Audrey Montreuil |
Benes and Butterfly Schemes Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2005, 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers, pp. 92-116, 2005, Springer, 3-540-33354-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 20th ACM Symposium on Computational Geometry, Brooklyn, New York, USA, June 8-11, 2004, pp. 391-400, 2004, ACM, 1-58113-885-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, pp. 280-295, 2004, Springer, 3-540-22791-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Laurent Mazaré |
Decidability of Opacity with Non-Atomic Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 71-84, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 103-117, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings |
Search Techniques for Non-linear Constraint Satisfaction Problems with Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001, Proceedings, pp. 183-193, 2001, Springer, 3-540-42144-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Jan Magott, Pawel Skrobanek |
A Method of Analysis of Fault Trees with Time Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, pp. 176-186, 2000, Springer, 3-540-41186-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 502-518, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 463-477, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings, pp. 645-656, 1993, Springer, 3-540-56939-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Martin Aronsson |
Implementational Issues in GCLA: A-Sufficiency and Definiens Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, pp. 394-417, 1992, Springer, 3-540-56454-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Egidio Astesiano, Maura Cerioli |
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89), pp. 74-88, 1989, Springer, 3-540-50939-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 33(4), pp. 2830-2857, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 650, pp. 119696, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 146, pp. 102486, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Tianliang Zhang, Weihai Zhang |
Necessary and Sufficient Conditions for Two Quadratic Equalities to Hold With Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(12), pp. 8082-8086, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Lev Gordeev, Edward Hermann Haeusler |
Proofs of Equalities NP = coNP = PSPACE: Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.17939, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Zengtai Gong, Fangdi Wang |
Operation properties and (α , β )-equalities of complex intuitionistic fuzzy sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 27(8), pp. 4369-4391, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 225, pp. 102906, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Yongge Tian |
Characterizations of Matrix Equalities for Generalized Inverses of Matrix Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(6), pp. 291, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Robert C. Williamson, Zac Cranko |
Information Processing Equalities and the Information-Risk Bridge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.11987, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Yongge Tian |
A study of range equalities for mixed products of two matrices and their generalized inverses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 41(8), December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Arkadev Chattopadhyay, Nikhil S. Mande |
A Short List of Equalities Induces Large Sign-Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 51(3), pp. 820-848, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Matieyendou Lamboni |
Derivative-based integral equalities and inequality: A proxy-measure for sensitivity analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 179, pp. 137-161, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Michael A. Bennett, Greg Martin, Kevin O'Bryant |
Multidimensional Padé approximation of binomial functions: Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.00549, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 101, pp. 101791, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang 0001 |
An Abstract Domain to Infer Linear Absolute Value Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 47-54, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Nam Kyu Kwon, Seok Young Lee |
Novel Equalities for Stability Analysis of Asynchronous Sampled-Data Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 177195-177205, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 373, pp. 125003, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Rafaël Bocquet |
Coherence of strict equalities in dependent type theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.14166, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov |
Equalities between Combinators to Evaluate Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICA*AI ![In: Proceedings of the 2020 Annual International Conference on Brain-Inspired Cognitive Architectures for Artificial Intelligence, BICA 2020, Eleventh Annual Meeting of the BICA Society, November 10-15, 2020, Virtual Event / Natal, Rio Grande do Norte, Brazil., pp. 332-340, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Marisa R. Gaetz, Will Hardt, Shruthi Sridhar |
Support Equalities Among Ribbon Schur Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 26(3), pp. 3, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Appl. Math. ![In: Comput. Methods Appl. Math. 19(2), pp. 311-322, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(4), pp. 539, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Inf. Sci. ![In: J. Data Inf. Sci. 4(1), pp. 22-31, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 64(7), pp. 4962-4992, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 78(4), pp. 1233-1253, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Balakrushna Tripathy, Radha Raman Mohanty |
Covering Based Pessimistic Multigranular Approximate Rough Equalities and Their Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Rough Sets Data Anal. ![In: Int. J. Rough Sets Data Anal. 5(1), pp. 58-78, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Arkadev Chattopadhyay, Nikhil S. Mande |
A Short List of Equalities Induces Large Sign Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 59th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2018, Paris, France, October 7-9, 2018, pp. 47-58, 2018, IEEE Computer Society, 978-1-5386-4230-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 6:1-6:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Schulze Frielinghaus |
Interprocedural Program Analysis: Herbrand Equalities and Local Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 292, pp. 336-348, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Martin Bromberger, Christoph Weidenbach |
New techniques for linear arithmetic: cubes and equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 51(3), pp. 433-461, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.10436, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Norihiro Yamada |
Game-theoretic Investigation of Intensional Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.02015, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | John C. Duchi, Feng Ruan |
Solving (most) of a set of quadratic equalities: Composite optimization for robust phase retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.02356, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl |
Inter-procedural Two-Variable Herbrand Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(2), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Antoy, Michael Hanus |
Transforming Boolean equalities into constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 29(3), pp. 475-494, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 39-46, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Charalambos D. Charalambous, Photios A. Stavrou |
Directed Information on Abstract Spaces: Properties and Variational Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 62(11), pp. 6019-6052, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Yongge Tian, Bo Jiang |
Equalities for estimators of partial parameters under linear model with restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multivar. Anal. ![In: J. Multivar. Anal. 143, pp. 299-313, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Reinhard Kahle |
Towards a Proof-Theoretic Semantics of Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Proof-Theoretic Semantics ![In: Advances in Proof-Theoretic Semantics., pp. 153-160, 2016, Springer, 978-3-319-22685-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Mumtaz Ali, Florentin Smarandache |
δ -equalities of neutrosophic sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 2016 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2016, Vancouver, BC, Canada, July 24-29, 2016, pp. 2433-2440, 2016, IEEE, 978-1-5090-0626-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Reinier Doelman, Michel Verhaegen |
Sequential convex relaxation for convex optimization with bilinear matrix equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 15th European Control Conference, ECC 2016, Aalborg, Denmark, June 29 - July 1, 2016, pp. 1946-1951, 2016, IEEE, 978-1-5090-2591-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Martin Bromberger, Christoph Weidenbach |
Computing a Complete Basis for Equalities Implied by a System of LRA Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016., pp. 15-30, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Charles Audet, Sébastien Le Digabel, Mathilde Peyrega |
Linear equalities in blackbox optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Optim. Appl. ![In: Comput. Optim. Appl. 61(1), pp. 1-23, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 9(2), pp. 283-310, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 29(3), pp. 1245-1258, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 167, pp. 569-577, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.04514, 2015. The full citation details ...](Pics/full.jpeg) |
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+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.09324, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.06873, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Vilém Vychodil |
Pseudovarieties of algebras with fuzzy equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 260, pp. 110-120, 2015. The full citation details ...](Pics/full.jpeg) |
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 λ+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015, pp. 9:1-9:11, 2015, ACM, 978-1-4503-4273-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl |
Inter-procedural Two-Variable Herbrand Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 457-482, 2015, Springer, 978-3-662-46668-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Mumtaz Ali, Vahid Behbood |
Operation Properties and delta-Equalities of Complex Fuzzy Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISKE ![In: 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015, Taipei, Taiwan, November 24-27, 2015, pp. 586-593, 2015, IEEE, 978-1-4673-9323-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Antoy, Michael Hanus |
From Boolean Equalities to Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, pp. 73-88, 2015, Springer, 978-3-319-27435-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 22(4-6), pp. 347-371, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Jianguang Zhu, Binbin Hao |
A New Noninterior Continuation Method for Solving a System of Equalities and Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2014, pp. 592540:1-592540:6, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Alka Tripathi, Kanchan Tyagi |
Approximate equalities using topological space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Granul. Comput. Rough Sets Intell. Syst. ![In: Int. J. Granul. Comput. Rough Sets Intell. Syst. 3(4), pp. 272-291, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|