Search results for "equality"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Lin Xiao 0002	A nonlinearly-activated neurodynamic model and its finite-time solution to equality-constrained quadratic optimization with nonstationary coefficients.	Appl. Soft Comput.	2016	DBLP DOI BibTeX RDF
12	Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna	Exploiting Equality Generating Dependencies in Checking Chase Termination. (PDF / PS)	Proc. VLDB Endow.	2016	DBLP DOI BibTeX RDF
12	José D. Alvarado, Simone Dantas, Dieter Rautenbach	Strong equality of Roman and weak Roman domination in trees.	Discret. Appl. Math.	2016	DBLP DOI BibTeX RDF
12	Yong Xia 0002, Shu Wang, Ruey-Lin Sheu	S-lemma with equality and its applications.	Math. Program.	2016	DBLP DOI BibTeX RDF
12	Pavel Martinek	On equality between fuzzy context-free and fuzzy adult 0L languages.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
12	Lucian C. Coroianu	Necessary and sufficient conditions for the equality of the interactive and non-interactive sums of two fuzzy numbers.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
12	Yuan Shen, Hongyong Wang	New Augmented Lagrangian-Based Proximal Point Algorithm for Convex Optimization with Equality Constraints.	J. Optim. Theory Appl.	2016	DBLP DOI BibTeX RDF
12	Suntaree Unhapipat, Montip Tiensuwan, Nabendu Pal	A revisit to testing the equality of several Poisson parameters.	Model. Assist. Stat. Appl.	2016	DBLP DOI BibTeX RDF
12	Hyung Tae Lee, San Ling, Jae Hong Seo, Huaxiong Wang, Taek-Young Youn	Public Key Encryption with Equality Test in the Standard Model.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
12	Olivier Blazy, David Derler, Daniel Slamanig, Raphael Spreitzer	Non-Interactive Plaintext (In-)Equality Proofs and Group Signatures with Verifiable Controllable Linkability.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
12		Certificateless Public Key Encryption with Equality Test.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
12	Xi Jun Lin, Haipeng Qu, Xiaoshuai Zhang	Public Key Encryption Supporting Equality Test and Flexible Authorization without Bilinear Pairings.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
12	Hachem Slimani, Mohammed Said Radjef	Generalized Fritz John optimality in nonlinear programming in the presence of equality and inequality constraints.	Oper. Res.	2016	DBLP DOI BibTeX RDF
12	Julian Frank, Bernhard Klar	Methods to test for equality of two normal distributions.	Stat. Methods Appl.	2016	DBLP DOI BibTeX RDF
12	Hyun-Wook Kang, Hyeok-Ki Hong, Sanghoon Park, Ki-Jin Kim, Kwang-Ho Ahn, Seung-Tak Ryu	A Sign-Equality-Based Background Timing-Mismatch Calibration Algorithm for Time-Interleaved ADCs.	IEEE Trans. Circuits Syst. II Express Briefs	2016	DBLP DOI BibTeX RDF
12	Hyung Tae Lee, San Ling, Jae Hong Seo, Huaxiong Wang	CCA2 Attack and Modification of Huang et al.'s Public Key Encryption with Authorized Equality Test.	Comput. J.	2016	DBLP DOI BibTeX RDF
12	Bolin Liao, Yunong Zhang, Long Jin 0001	Taylor O(h3) Discretization of ZNN Models for Dynamic Equality-Constrained Quadratic Programming With Application to Manipulators.	IEEE Trans. Neural Networks Learn. Syst.	2016	DBLP DOI BibTeX RDF
12	Quan Quan, Kai-Yuan Cai	A New Continuous-Time Equality-Constrained Optimization to Avoid Singularity.	IEEE Trans. Neural Networks Learn. Syst.	2016	DBLP DOI BibTeX RDF
12	Johannes H. Hattingh, Ernst J. Joubert	Equality in a bound that relates the size and the restrained domination number of a graph.	J. Comb. Optim.	2016	DBLP DOI BibTeX RDF
12	Takaya Arita, Reiji Suzuki, Kazuaki Kojima	Equality seekers or moderate monopolists: Social structure affects the evolution of distributive norms.	ALIFE	2016	DBLP DOI BibTeX RDF
12	Shu Qin Ren, Benjamin Hong Meng Tan, Yibin Ng, Khin Mi Mi Aung	Privacy-Preserved Multi-Party Data Merging with Secure Equality Evaluation.	ICCCRI	2016	DBLP DOI BibTeX RDF
12	Varunkumar Jayapaul, Venkatesh Raman 0001, Srinivasa Rao Satti	Finding Mode Using Equality Comparisons.	WALCOM	2016	DBLP DOI BibTeX RDF
12	Majid Nateghizad, Zekeriya Erkin, Reginald L. Lagendijk	Efficient and secure equality tests.	WIFS	2016	DBLP DOI BibTeX RDF
12	Arthur Perais, Fernando A. Endo, André Seznec	Register sharing for equality prediction.	MICRO	2016	DBLP DOI BibTeX RDF
12	Carlos M. Fonseca, Elizabeth Fialho Wanner	A quadratic approximation-based local search operator for handling two equality constraints in continuous optimization problems.	CEC	2016	DBLP DOI BibTeX RDF
12	Karla A. P. Lagares, Jaqueline S. Angelo, Heder S. Bernardino, Helio J. C. Barbosa	A differential evolution algorithm for bilevel problems including linear equality constraints.	CEC	2016	DBLP DOI BibTeX RDF
12	Samineh Bagheri, Wolfgang Konen, Thomas Bäck	Equality constraint handling for surrogate-assisted constrained optimization.	CEC	2016	DBLP DOI BibTeX RDF
12	Arnaud Carayol, Christof Löding, Olivier Serre	Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings.	LICS	2016	DBLP DOI BibTeX RDF
12	Amirhossein Vakili, Nancy A. Day	Finite Model Finding Using the Logic of Equality with Uninterpreted Functions.	FM	2016	DBLP DOI BibTeX RDF
12	Tuan T. Nguyen, Mircea Lazar, Hans Butler	A Hessian-free algorithm for solving quadratic optimization problems with nonlinear equality constraints.	CDC	2016	DBLP DOI BibTeX RDF
12	Aram V. Arutyunov, Ilya A. Shvartsman, Zuhra T. Zhukovskaya	Second order conditions in optimal control problems with equality constraints.	CDC	2016	DBLP DOI BibTeX RDF
12	Alexander Prolubnikov	Reduction of the Graph Isomorphism Problem to Equality Checking of n-variables Polynomials and the Algorithms that Use the Reduction.	DOOR (Supplement)	2016	DBLP BibTeX RDF
12	Hugues Bersini	An ABM Java Applet to Explore the Free Market Equality/Efficiency Tradeoff.	PAAMS	2016	DBLP DOI BibTeX RDF
12	Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna	Leveraging Equality Generating Dependencies for Chase Termination.	SEBD	2016	DBLP BibTeX RDF
12	Zhong-li Wang, Xian Wu, Baigen Cai, Chuanqi Tao, Zhiyi Zhang, Yinling Wang	A fusion-based localization method of mobile robot with equality geometric constraint.	RCAR	2016	DBLP DOI BibTeX RDF
12	Badri N. Vellambi, Jörg Kliewer	Sufficient conditions for the equality of exact and Wyner common information.	Allerton	2016	DBLP DOI BibTeX RDF
12	Ashish Cherukuri, Jorge Cortés 0001	Distributed algorithms for convex network optimization under non-sparse equality constraints.	Allerton	2016	DBLP DOI BibTeX RDF
12	Rocio C. Chavela Guerra, Stephanie Farrell, Alexandra Longo	Promoting LGBTQ equality in engineering via online Safe Zone workshops.	FIE	2016	DBLP DOI BibTeX RDF
12	Kirsti Pesola, Heidi Anttila, Outi Mäkitie, Sanna Leppäjoki, Sinikka Hiekkala	Functioning and Challenges in Equality and Accessibility Among People with Short Stature.	UD	2016	DBLP DOI BibTeX RDF
12	Ángela Blanco-Fernández, Ana Belén Ramos-Guajardo	Independent k-Sample Equality Distribution Test Based on the Fuzzy Representation.	SMPS	2016	DBLP DOI BibTeX RDF
12	Moritz Hardt, Eric Price 0001, Nati Srebro	Equality of Opportunity in Supervised Learning.	NIPS	2016	DBLP BibTeX RDF
12	Linlin Cao, Ran He 0001, Bao-Gang Hu	Locally imposing function for Generalized Constraint Neural Networks - A study on equality constraints.	IJCNN	2016	DBLP DOI BibTeX RDF
12	Olivier Blazy, David Derler, Daniel Slamanig, Raphael Spreitzer	Non-Interactive Plaintext (In-)Equality Proofs and Group Signatures with Verifiable Controllable Linkability.	CT-RSA	2016	DBLP DOI BibTeX RDF
12	Chongwon Cho, Dana Dachman-Soled, Stanislaw Jarecki	Efficient Concurrent Covert Computation of String Equality and Set Intersection.	CT-RSA	2016	DBLP DOI BibTeX RDF
12	Barnaby Martin, András Pongrácz, Michal Wrona	The Complexity of Counting Quantifiers on Equality Languages.	CiE	2016	DBLP DOI BibTeX RDF
12	Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi	Guarded Cubical Type Theory: Path Equality for Guarded Recursion.	CSL	2016	DBLP DOI BibTeX RDF
12	Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus	Extending Homotopy Type Theory with Strict Equality.	CSL	2016	DBLP DOI BibTeX RDF
12	Katherine Ellis, Moisés Goldszmidt, Gert R. G. Lanckriet, Nina Mishra, Omer Reingold	Equality and Social Mobility in Twitter Discussion Groups.	WSDM	2016	DBLP DOI BibTeX RDF
12	Munmun De Choudhury, Shagun Jhaver, Benjamin Sugar, Ingmar Weber	Social Media Participation in an Activist Movement for Racial Equality.	ICWSM	2016	DBLP BibTeX RDF
12	Ke Chen 0004, Zhaoxiang Zhang 0001	An Improved Recurrent Network for Online Equality-Constrained Quadratic Programming.	BICS	2016	DBLP DOI BibTeX RDF
12	Hyerim Bae, Sung-Hyun Sim, Yulim Choi, Ling Liu 0001	Statistical Verification of Process Conformance Based on Log Equality Test.	CIC	2016	DBLP DOI BibTeX RDF
12	Badong Chen, Zhengda Qin, Nanning Zheng 0001, José C. Príncipe	Kernel adaptive filtering subject to equality function constraints.	EUSIPCO	2016	DBLP DOI BibTeX RDF
12	Giannis Haralabopoulos	Online social networks: real-time graph sampling, multilayered information diffusion, and equality issues		2016	RDF
12	Sophie Tourret	Abduction in first order logic with equality. (Prime implicate generation in equational logic).		2016	RDF
12	Agathe Rouaix, Charles Figuieres, Marc Willinger	The trade-off between welfare and equality in a public good experiment.	Soc. Choice Welf.	2015	DBLP DOI BibTeX RDF
12	Xiao Wang, Yaxiang Yuan	An augmented Lagrangian trust region method for equality constrained optimization.	Optim. Methods Softw.	2015	DBLP DOI BibTeX RDF
12	Tadeusz Antczak	Saddle point criteria and Wolfe duality in nonsmooth (Φ, ρ)-invex vector optimization problems with inequality and equality constraints.	Int. J. Comput. Math.	2015	DBLP DOI BibTeX RDF
12	Zakaria Chihani, Dale Miller 0001	Proof Certificates for Equality Reasoning.	LSFA	2015	DBLP DOI BibTeX RDF
12	Mengjun Li	Automatic proving or disproving equality loop invariants based on finite difference techniques.	Inf. Process. Lett.	2015	DBLP DOI BibTeX RDF
12	Keld Helsgaun	Solving the equality generalized traveling salesman problem using the Lin-Kernighan-Helsgaun Algorithm.	Math. Program. Comput.	2015	DBLP DOI BibTeX RDF
12	Phillipe Rodrigues Sampaio, Philippe L. Toint	A derivative-free trust-funnel method for equality-constrained nonlinear optimization.	Comput. Optim. Appl.	2015	DBLP DOI BibTeX RDF
12	Zhansheng Duan, X. Rong Li	Analysis, design, and estimation of linear equality-constrained dynamic systems.	IEEE Trans. Aerosp. Electron. Syst.	2015	DBLP DOI BibTeX RDF
12	Zhi Liu 0005, Xiaochao Xia, Wang Zhou	A test for equality of two distributions via jackknife empirical likelihood and characteristic functions.	Comput. Stat. Data Anal.	2015	DBLP DOI BibTeX RDF
12	Songlin Zhang, Kun Zhang 0003	Corrigendum to 'On a basic multivariate EIV model with linear equality constraints' [Applied Mathematics and Computation 236 (2014) 247-252].	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
12	Zhujun Wang 0004, Li Cai, Detong Zhu	Line search filter inexact secant methods for nonlinear equality constrained optimization.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
12	Dongsheng Guo, Yunong Zhang	ZNN for solving online time-varying linear matrix-vector inequality via equality conversion.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
12	Jason E. Hicken, Alp Dener	A Flexible Iterative Solver for Nonconvex, Equality-Constrained Quadratic Subproblems.	SIAM J. Sci. Comput.	2015	DBLP DOI BibTeX RDF
12	Tarek Sayed Ahmed	On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality.	Math. Log. Q.	2015	DBLP DOI BibTeX RDF
12	Paul T. Jaeger	Disability, human rights, and social justice: The ongoing struggle for online accessibility and equality.	First Monday	2015	DBLP DOI BibTeX RDF
12	Mark Zhandry	A note on the quantum collision and set equality problems.	Quantum Inf. Comput.	2015	DBLP DOI BibTeX RDF
12	Nathanael Leedom Ackerman	Vaught's Conjecture Without Equality.	Notre Dame J. Formal Log.	2015	DBLP DOI BibTeX RDF
12	Sebastián Benítez Larghi, Magdalena Lemus, Marina Moguillansky, Nicolás Welschinger	Digital and Social Inequalities: A Qualitative Assessment of the Impact of the Connecting Equality Program on Argentinean Youth.	Electron. J. Inf. Syst. Dev. Ctries.	2015	DBLP DOI BibTeX RDF
12	Chao Gu, Detong Zhu	A dwindling filter line search algorithm for nonlinear equality constrained optimization.	J. Syst. Sci. Complex.	2015	DBLP DOI BibTeX RDF
12	Chunlin Sha, Hongyong Zhao, Fengli Ren	A new delayed projection neural network for solving quadratic programming problems with equality and inequality constraints.	Neurocomputing	2015	DBLP DOI BibTeX RDF
12	Sergei A. Grechanik	Proving properties of functional programs by equality saturation.	Program. Comput. Softw.	2015	DBLP DOI BibTeX RDF
12	Liansheng Tan, Yongchang Zhang	Optimal Resource Allocation with Principle of Equality and Diminishing Marginal Utility in Wireless Networks.	Wirel. Pers. Commun.	2015	DBLP DOI BibTeX RDF
12	Eric Showers, Nathan Tindall, Todd Davies	Equality of Participation Online Versus Face to Face: Condensed Analysis of the Community Forum Deliberative Methods Demonstration.	CoRR	2015	DBLP BibTeX RDF
12	Simon Castellan, Pierre Clairambault, Peter Dybjer	Undecidability of Equality in the Free Locally Cartesian Closed Category.	CoRR	2015	DBLP BibTeX RDF
12	Marek Chrobak, Mordecai J. Golin, J. Ian Munro, Neal E. Young	Optimal search trees with equality tests.	CoRR	2015	DBLP BibTeX RDF
12	Ralph C. Bottesch, Dmitry Gavinsky, Hartmut Klauck	Equality, Revisited.	CoRR	2015	DBLP BibTeX RDF
12	Alexander V. Prolubnikov	Reduction of the graph isomorphism problem to equality checking of $n$-variables polynomials and the algorithms that use the reduction.	CoRR	2015	DBLP BibTeX RDF
12	Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks 0001	Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.	CoRR	2015	DBLP BibTeX RDF
12	Yangjia Li, Hui Lu, Naijun Zhan, Mingshuai Chen, Guohua Wu	Termination Analysis of Polynomial Programs with Equality Conditions.	CoRR	2015	DBLP BibTeX RDF
12	Lavinia Corina Ciungu	Internal states on equality algebras.	Soft Comput.	2015	DBLP DOI BibTeX RDF
12	Guohua Wu 0001, Witold Pedrycz, Ponnuthurai N. Suganthan, Rammohan Mallipeddi	A variable reduction strategy for evolutionary algorithms handling equality constraints.	Appl. Soft Comput.	2015	DBLP DOI BibTeX RDF
12	Stephen Finbow, Christopher M. van Bommel	Triangulations and equality in the domination chain.	Discret. Appl. Math.	2015	DBLP DOI BibTeX RDF
12	Anuradha Roy, Ricardo Leiva, Ivan Zezula, Daniel Klein	Testing the equality of mean vectors for paired doubly multivariate observations in blocked compound symmetric covariance matrix setup.	J. Multivar. Anal.	2015	DBLP DOI BibTeX RDF
12	Tommaso Drammatico	A New Proof of the Equality of Mixed Second Partial Derivatives.	Am. Math. Mon.	2015	DBLP DOI BibTeX RDF
12	Reza Arablouei, Kutluyil Dogancay	Performance Analysis of Linear-Equality-Constrained Least-Squares Estimation.	IEEE Trans. Signal Process.	2015	DBLP DOI BibTeX RDF
12	Sha Ma, Qiong Huang 0001, Mingwu Zhang, Bo Yang 0003	Efficient Public Key Encryption With Equality Test Supporting Flexible Authorization.	IEEE Trans. Inf. Forensics Secur.	2015	DBLP DOI BibTeX RDF
12	Shih-Sen Chang, Lin Wang, Xiong Rui Wang, Gang Wang	General Split Equality Equilibrium Problems with Application to Split Optimization Problems.	J. Optim. Theory Appl.	2015	DBLP DOI BibTeX RDF
12	Felix Joos, Dieter Rautenbach	Equality of distance packing numbers.	Discret. Math.	2015	DBLP DOI BibTeX RDF
12	Huapeng Yu, Hai Zhu, Dayuan Gao, Meng Yu 0006, Wenqi Wu	A Stationary North-Finding Scheme for an Azimuth Rotational IMU Utilizing a Linear State Equality Constraint.	Sensors	2015	DBLP DOI BibTeX RDF
12	Yiming Zhang 0006, Vincent Sircoulomb, Nicolas Langlois	Robust state estimation in networked control systems under linear hard equality constraints.	Int. J. Model. Identif. Control.	2015	DBLP DOI BibTeX RDF
12	Yong Jin Park	Do men and women differ in privacy? Gendered privacy and (in)equality in the Internet.	Comput. Hum. Behav.	2015	DBLP DOI BibTeX RDF
12	Raúl Gutiérrez, José Meseguer 0001, Camilo Rocha	Order-sorted equality enrichments modulo axioms.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
12	Guang Ping He	Comment on "Quantum private comparison of equality protocol without a third party".	Quantum Inf. Process.	2015	DBLP DOI BibTeX RDF
12	Bo Zhang, Xingtong Liu, Jian Wang 0020, Chaojing Tang	Cryptanalysis and improvement of quantum private comparison of equality protocol without a third party.	Quantum Inf. Process.	2015	DBLP DOI BibTeX RDF
12	Camelia-Mihaela Pintea	A Unifying Survey of Agent-Based Approaches for Equality-Generalized Traveling Salesman Problem.	Informatica	2015	DBLP BibTeX RDF
12	Fei Hu, JongHae Keum, De-Qi Zhang	Criteria for the existence of equivariant fibrations on algebraic surfaces and hyperkähler manifolds and equality of automorphisms up to powers: a dynamical viewpoint.	J. Lond. Math. Soc.	2015	DBLP DOI BibTeX RDF