Search results for "equality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Ranko Lazic 0001, David Nowak	A Unifying Approach to Data-Independence.	CONCUR	2000	DBLP DOI BibTeX RDF
14	Salvatore La Torre, Margherita Napoli	A Decidable Dense Branching-Time Temporal Logic.	FSTTCS	2000	DBLP DOI BibTeX RDF
14	Harald Ganzinger, Christoph Meyer 0001, Margus Veanes	The Two-Variable Guarded Fragment with Transitive Relations.	LICS	1999	DBLP DOI BibTeX RDF	Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment
14	Adriana B. Compagnoni, Healfdene Goguen	Anti-Symmetry of Higher-Order Subtyping.	CSL	1999	DBLP DOI BibTeX RDF
14	Michel Bidoit, Rolf Hennicker	Modular Correctness Proofs of Behavioural Implementations.	Acta Informatica	1998	DBLP DOI BibTeX RDF
14	Andrew Berman, Linda G. Shapiro	Selecting Good Keys for Triangle-Inequality-Based Pruning Algorithms.	CAIVD	1998	DBLP DOI BibTeX RDF
14	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
14	Amir M. Ben-Amram, Holger Petersen 0001	CONS-Free Programs with Tree Input (Extended Abstract).	ICALP	1998	DBLP DOI BibTeX RDF
14	R. W. L. Kam, Jimmy Ho-Man Lee	Fuzzifying the Constraint Hierarchies Framework.	CP	1998	DBLP DOI BibTeX RDF
14	Yohji Akama	SN Combinators and Partial Combinatory Algebras.	RTA	1998	DBLP DOI BibTeX RDF
14	Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov	The Decidability of Simultaneous Rigid E-Unification with One Variable.	RTA	1998	DBLP DOI BibTeX RDF
14	T. S. E. Maibaum	Conservative Extensions, Interpretations Between Theories and All That!	TAPSOFT	1997	DBLP DOI BibTeX RDF
14	Roberto Di Cosmo, Neil Ghani	On Modular Properties of Higher Order Extensional Lambda Calculi.	ICALP	1997	DBLP DOI BibTeX RDF
14	Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel	A Downward Translation in the Polynomial Hierarchy.	STACS	1997	DBLP DOI BibTeX RDF
14	Anatoli Degtyarev, Andrei Voronkov	What You Always Wanted to Know About Rigid E-Unification.	JELIA	1996	DBLP DOI BibTeX RDF
14	Anton Setzer	Inductive Definitions with Decidable Atomic Formulas.	CSL	1996	DBLP DOI BibTeX RDF
14	Nobuko Yoshida	Graph Types for Monadic Mobile Processes.	FSTTCS	1996	DBLP DOI BibTeX RDF
14	Robert Nieuwenhuis	On Narrowing, Refutation Proofs and Constraints.	RTA	1995	DBLP DOI BibTeX RDF
14	Anatoli Degtyarev, Andrei Voronkov	Simultaneous Regid E-Unification Is Undecidable.	CSL	1995	DBLP DOI BibTeX RDF
14	Michele Boreale, Luca Trevisan	On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract).	FSTTCS	1995	DBLP DOI BibTeX RDF
14	Michel Bidoit, Rolf Hennicker	Proving Behavioural Theorems with Standard First-Order Logic.	ALP	1994	DBLP DOI BibTeX RDF
14	Manolis Gergatsoulis, Maria Katzouraki	Unfold/Fold Transformations For Definite Clause Programs.	PLILP	1994	DBLP DOI BibTeX RDF
14	Paris C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson	An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction.	ICALP	1994	DBLP DOI BibTeX RDF
14	Inderpal Singh Mumick, Hamid Pirahesh	Implementation of Magic-sets in a Relational Database System.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF	SQL
14	Breanndán Ó Nualláin	Mixing metafor.	LPAR	1993	DBLP DOI BibTeX RDF
14	Christian G. Fermüller, Gernot Salzer	Ordered Paramodulation and Resolution as Decision Procedure.	LPAR	1993	DBLP DOI BibTeX RDF
14	Robert Muller	M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	fexprs, metalinguistic constructs, unquote, reflection, LISP, reification
14	Peter Baumgartner 0001	An Order Theory Resolution Calculus.	LPAR	1992	DBLP DOI BibTeX RDF	Theory Resolution, Automated Theorem Proving
14	Robert Nieuwenhuis, Albert Rubio	Basic Superposition is Complete.	ESOP	1992	DBLP DOI BibTeX RDF
14	Zohar Manna, Richard J. Waldinger	The Special-Relation Rules are Incomplete.	CADE	1992	DBLP DOI BibTeX RDF
14	Tobias Nipkow, Zhenyu Qian	Reduction and Unification in Lambda Calculi with Subtypes.	CADE	1992	DBLP DOI BibTeX RDF
14	Geoff Sutcliffe	The Semantically Guided Linear Deduction System.	CADE	1992	DBLP DOI BibTeX RDF
14	Ramón Pino Pérez	An Extensional Partial Combinatory Algebra Based on Lamda-Terms.	MFCS	1991	DBLP DOI BibTeX RDF
14	Leo Bachmair, Harald Ganzinger	On Restrictions of Ordered Paramodulation with Simplification.	CADE	1990	DBLP DOI BibTeX RDF
14	Robert Nieuwenhuis, Fernando Orejas, Albert Rubio	TRIP: An Implementation of Clausal Rewriting.	CADE	1990	DBLP DOI BibTeX RDF
14	Lenwood S. Heath, Arnold L. Rosenberg, Bruce T. Smith	The physical mapping problem for parallel architectures.	J. ACM	1988	DBLP DOI BibTeX RDF
14	Christoph Beierle, Udo Pletat	Integrating Logic Programming and Equational Specification of Abstract Data Types.	ALP	1988	DBLP DOI BibTeX RDF
14	Tie-Cheng Wang	Elements of Z-Module Reasoning.	CADE	1988	DBLP DOI BibTeX RDF
14	Oded Shmueli	Decidability and Expressiveness of Logic Queries.	PODS	1987	DBLP DOI BibTeX RDF
14	Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi	Notions of dependency satisfaction.	J. ACM	1986	DBLP DOI BibTeX RDF
14	Younghwan Lim	The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution.	CADE	1986	DBLP DOI BibTeX RDF
14	Marc H. Graham, Alberto O. Mendelzon	Notions of Dependency Satisfaction.	PODS	1982	DBLP DOI BibTeX RDF
14	Ashok K. Chandra	Programming Primitives for Database Languages.	POPL	1981	DBLP DOI BibTeX RDF
14	Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla	The Concept of Demodulation in Theorem Proving.	J. ACM	1967	DBLP DOI BibTeX RDF
12	Thomas Koehler 0005, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer	Guided Equality Saturation.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
12	Wen-Ting Lin, Chaojie Li	Distributed asynchronous non-smooth optimization with coupled equality and bounded constraints.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
12	Mingxuan Sun, Xing Li, Guomin Zhong	Performance enhancing ZNN models for time-variant equality-constraint convex optimization solving: A transition-state based attracting system approach.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
12	Shuyan Yang, Changfeng Li, Wangshu Mu	Locating Senior-Friendly Restaurants in a Community: A Bi-Objective Optimization Approach for Enhanced Equality and Convenience.	ISPRS Int. J. Geo Inf.	2024	DBLP DOI BibTeX RDF
12	Kaifeng Xiao, Xinjian Chen 0004, Hongbo Li 0004, Jianye Huang, Willy Susilo, Qiong Huang 0001	A fully secure lattice-based signcryption with designated equality test in standard model.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
12	Sha Ma, Zhiqing Ye, Qiong Huang 0001, Chengyu Jiang	Controllable forward secure identity-based encryption with equality test in privacy-preserving text similarity analysis.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
12	Qiuyan Zhang, Chen Wang, Baoxue Zhang, Hu Yang 0003	An RIHT statistic for testing the equality of several high-dimensional mean vectors under homoskedasticity.	Comput. Stat. Data Anal.	2024	DBLP DOI BibTeX RDF
12	Yingzhe Hou, Yue Cao 0002, Hu Xiong, Yulin Hu, Mahmoud Hashem Eiza	Heterogeneous Signcryption Scheme With Group Equality Test for Satellite-Enabled IoVs.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
12	Xiaodong Yang 0006, Songyu Li, Muzi Li, Xiaoni Du, Caifen Wang	Heterogeneous Signcryption Scheme From PKI to IBC With Multi-Ciphertext Equality Test in Internet of Vehicles.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
12	Yang Shi 0003, Wangrong Sheng, Shuai Li 0002, Bin Li 0006, Xiaobing Sun 0001	Neurodynamics for Equality-Constrained Time-Variant Nonlinear Optimization Using Discretization.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
12	Tomohiro Suzuki, Tatsuya Nomura	Gender preferences for robots and gender equality orientation in communication situations.	AI Soc.	2024	DBLP DOI BibTeX RDF
12	Hao Lin, Gaohua Zhao, Shouyou Song, Wei Wu, Wei Jiang	A new lightweight public key encryption with equality test for cloud storage.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Peiguang Zhang, Haibin Zhu, Dongning Liu	Equality or Equity? E-CARGO Perspectives on the Fairness of Education.	IEEE Trans. Comput. Soc. Syst.	2024	DBLP DOI BibTeX RDF
12	Kyoichi Asano, Keita Emura, Atsushi Takayasu	More Efficient Adaptively Secure Lattice-Based IBE with Equality Test in the Standard Model.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Robin F. Conchas, Alexander G. Loukianov, Edgar N. Sánchez, Alma Y. Alanis	Finite time convergent recurrent neural network for variational inequality problems subject to equality constraints.	J. Frankl. Inst.	2024	DBLP DOI BibTeX RDF
12	Fang Chen, Qiuchen Hai, Min Wang 0004	Bayesian hypothesis testing for equality of high-dimensional means using cluster subspaces.	Comput. Stat.	2024	DBLP DOI BibTeX RDF
12	Jingwei Lu, Hongbo Li 0004, Jianye Huang, Sha Ma, Man Ho Allen Au, Qiong Huang 0001	An Identity-Based Encryption with Equality Test scheme for healthcare social apps.	Comput. Stand. Interfaces	2024	DBLP DOI BibTeX RDF
12	Kaifeng Xiao, Xinjian Chen 0004, Jianye Huang, Hongbo Li 0004, Qiong Huang 0001	A lattice-based public key encryption scheme with delegated equality test.	Comput. Stand. Interfaces	2024	DBLP DOI BibTeX RDF
12	Evan Yifan Xu, Pan Xu 0001	Exploring the Tradeoff Between System Profit and Income Equality Among Ride-hailing Drivers.	J. Artif. Intell. Res.	2024	DBLP DOI BibTeX RDF
12	Kanoy Kumar Das	Equality of Ordinary and Symbolic Powers of Some Classes of Monomial Ideals.	Graphs Comb.	2024	DBLP DOI BibTeX RDF
12	Richard Heusdens, Guoqiang Zhang 0003	Distributed Optimisation With Linear Equality and Inequality Constraints Using PDMM.	IEEE Trans. Signal Inf. Process. over Networks	2024	DBLP DOI BibTeX RDF
12	Leonardo Pedroso, Andrea Agazzi, W. P. M. H. Heemels, Mauro Salazar	Fair Artificial Currency Incentives in Repeated Weighted Congestion Games: Equity vs. Equality.	CoRR	2024	DBLP DOI BibTeX RDF
12	Hao Chen, Gonzalo E. Constante-Flores, Can Li	Physics-Informed Neural Networks with Hard Linear Equality Constraints.	CoRR	2024	DBLP DOI BibTeX RDF
12	Gianluca Garofalo	Compliant Hierarchical Control for Arbitrary Equality and Inequality Tasks with Strict and Soft Priorities.	CoRR	2024	DBLP DOI BibTeX RDF
12	Andrew Bell, João Fonseca, Carlo Abrate, Francesco Bonchi, Julia Stoyanovich	Fairness in Algorithmic Recourse Through the Lens of Substantive Equality of Opportunity.	CoRR	2024	DBLP DOI BibTeX RDF
12	Suthee Ruangwises, Tomoki Ono, Yoshiki Abe, Kyosuke Hatsugai, Mitsugu Iwamoto	Card-Based Overwriting Protocol for Equality Function and Applications.	CoRR	2024	DBLP DOI BibTeX RDF
12	Siviwe Bangani	Academic libraries' contribution to gender equality in a patriarchal, femicidal society.	J. Libr. Inf. Sci.	2024	DBLP DOI BibTeX RDF
12	Frank E. Curtis, Michael O'Neill, Daniel P. Robinson	Worst-case complexity of an SQP method for nonlinear equality constrained stochastic optimization.	Math. Program.	2024	DBLP DOI BibTeX RDF
12	Xin-long Luo 0001, Hang Xiao, Sen Zhang	The Regularization Continuation Method for Optimization Problems with Nonlinear Equality Constraints.	J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
12	Bart Bogaerts 0001, Maxime Jakubowski, Jan Van den Bussche	Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Zhiping Qiu, Jiangyuan Fan, Jin-Ting Zhang, Jianwei Chen	Tests for equality of several covariance matrix functions for multivariate functional data.	J. Multivar. Anal.	2024	DBLP DOI BibTeX RDF
12	Gaspard Bernard, Thomas Verdebout	On testing the equality of latent roots of scatter matrices under ellipticity.	J. Multivar. Anal.	2024	DBLP DOI BibTeX RDF
12	Rémi Beisson, Pascal Vallet, Audrey Giremus, Guillaume Ginolhac	A New Statistic for Testing Covariance Equality in High-Dimensional Gaussian Low-Rank Models.	IEEE Trans. Signal Process.	2024	DBLP DOI BibTeX RDF
12	Yishuo Peng, Yu Cao, Luoyi Shi, Yasong Chen	Convergence analysis for solving the split equality equilibrium problem in Hilbert spaces.	Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
12	Kenji Miyamoto, Georg Moser	Herbrand complexity and the epsilon calculus with equality.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
12	Seunga Venus Jin	"In the Metaverse We (Mis)trust?" Third-Level Digital (In)equality, Social Phobia, Neo-Luddism, and Blockchain/Cryptocurrency Transparency in the Artificial Intelligence-Powered Metaverse.	Cyberpsychology Behav. Soc. Netw.	2024	DBLP DOI BibTeX RDF
12	Tian Yang, Sha Ma, Jiaojiao Du, Chengyu Jiang, Qiong Huang 0001	Revocable Public Key Encryption with Equality Test without Pairing in Cloud Storage.	Comput. J.	2024	DBLP DOI BibTeX RDF
12	Jonathan Van der Cruysse, Christophe Dubach	Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation.	CGO	2024	DBLP DOI BibTeX RDF
12	Loïc Pujet, Nicolas Tabareau	Observational Equality Meets CIC.	ESOP (1)	2024	DBLP DOI BibTeX RDF
12	Kirill S. Evdokimov	Equality in legislative bargaining.	J. Econ. Theory	2023	DBLP DOI BibTeX RDF
12	Jean-Luc Lupien, Antoine Lesage-Landry	An Online Newton's Method for Time-Varying Linear Equality Constraints.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
12	Yingzhe Hou, Yue Cao 0002, Hu Xiong, Yujie Song, Lexi Xu	An Efficient Online/Offline Heterogeneous Signcryption Scheme With Equality Test for IoVs.	IEEE Trans. Veh. Technol.	2023	DBLP DOI BibTeX RDF
12	Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi	Equality Saturation Theory Exploration à la Carte.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Loïc Pujet, Nicolas Tabareau	Impredicative Observational Equality.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Yiyun Liu, Stephanie Weirich	Dependently-Typed Programming with Logical Equality Reflection.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Yihong Zhang 0004, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey	Better Together: Unifying Datalog and Equality Saturation.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Meng Zhao, Yong Ding 0005, Shijie Tang, Hai Liang, Changsong Yang, Huiyong Wang	Dual-server certificateless public key encryption with authorized equality test for outsourced IoT data.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
12	Munish Saini, Sulaimon Oyeniyi Adebayo, Harnoor Singh, Harpreet Singh, Suchita Sharma	Sustainable development goals for gender equality: Extracting associations among the indicators of SDG 5 using numerical association rule mining.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
12	Yu-Chi Chen	Security analysis of public key encryption with filtered equality test.	Adv. Math. Commun.	2023	DBLP DOI BibTeX RDF
12	Laya Targa, Silvia Rueda, José Vicente Riera, Sergio Casas 0001, Cristina Portalés	Enhancing the Understanding of the EU Gender Equality Index through Spatiotemporal Visualizations.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
12	Xinxin Zhou, Yujie Chen, Yingying Li, Bingjie Liu, Zhaoyuan Yu	Spatiotemporal Data-Driven Multiperiod Relocation Optimization of Emergency Medical Services: Maximum Equality Objective.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
12	Yan Tang, Haiyun Zhou 0006	New iterative algorithms with self-adaptive step size for solving split equality fixed point problem and its applications.	Optim. Methods Softw.	2023	DBLP DOI BibTeX RDF
12	Maxim V. Dolgopolik	Steering exact penalty DCA for nonsmooth DC optimisation problems with equality and inequality constraints.	Optim. Methods Softw.	2023	DBLP DOI BibTeX RDF
12	Chuan He, Zhaosong Lu, Ting Kei Pong	A Newton-CG Based Augmented Lagrangian Method for Finding a Second-Order Stationary Point of Nonconvex Equality Constrained Optimization with Complexity Guarantees.	SIAM J. Optim.	2023	DBLP DOI BibTeX RDF
12	Harbir Antil, Drew P. Kouri, Denis Ridzal	ALESQP: An Augmented Lagrangian Equality-Constrained SQP Method for Optimization with General Constraints.	SIAM J. Optim.	2023	DBLP DOI BibTeX RDF
12	Jorge L. Contreras	The Equality Machine: Harnessing Digital Technology for a Brighter, More Inclusive Future, by Orly Lobel.	Int. J. Law Inf. Technol.	2023	DBLP DOI BibTeX RDF