Search results for "Qualification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonéro	Decreasing Test Qualification Time in AMS and RF Systems.	IEEE Design & Test of Computers	2008	DBLP DOI BibTeX RDF	AMS and RF SoCs, parametric fault injection, behavioral modeling, fault-based test, design validation, VHDL-AMS, qualification
3	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Quantitative Logic Programming Revisited.	FLOPS	2008	DBLP DOI BibTeX RDF	Quantitative Logic Programming, Qualification Domains, Qualification Constraints
3	Long-sheng Huang, Li-pu Zhang	Solution method for Fuzzy Assignment problem with Restriction of Qualification.	ISDA	2006	DBLP DOI BibTeX RDF	Fuzzy Assignment, Restriction of Qualification, Decision Matrix, Solution Matrix, Fuzzy Variable
2	Frances Paulisch, Peter Zimmerer	A role-based qualification and certification program for software architects: an experience report from Siemens.	ICSE	2010	DBLP DOI BibTeX RDF	software engineering, software architecture, education, testing, training, curriculum, certification
2	Emil Ernst, Michel Théra	On the necessity of the Moreau-Rockafellar-Robinson qualification condition in Banach spaces.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C46, 90C51, 49K40, 46N10
2	Brian Butka, Janusz Zalewski, Andrew J. Kornecki	Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Tool Qualification, Formal Methods, Safety-Critical Systems, Hardware Design, HDL, PLD
2	Loizos Michael, Antonis C. Kakas	Knowledge Qualification through Argumentation.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Yingxu Wang	Qualification and quantification of fuzzy linguistic variables and fuzzy expressions.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
2	Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai	Integrated Formal Approach for Qualified Critical Embedded Code Generator.	FMICS	2009	DBLP DOI BibTeX RDF	formal verification, automatic code generator, qualification, Coq proof assistant
2	Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Qualified Computations in Functional Logic Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification
2	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	ISSE	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
2	Tadeusz Antczak	On G-invex multiobjective programming. Part I. Optimality.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	(weak) Pareto optimal solution, (strictly) G-invex vector function with respect to ?, G-Karush-Kuhn-Tucker necessary optimality conditions, Kuhn-Tucker constraint qualification, Multiobjective programming
2	Anthony V. Fiacco	Sensitivity and Stability in NLP: Continuity and Differential Stability.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Sensitivity analysis, Nonlinear programming, Optimality conditions, Constraint qualification
2	Katta G. Murty	Second Order Optimality Conditions for Nonlinear Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Convex and nonconvex programming problems, Regularity condition, Mangasarian-Fromovitz constraint qualification, Sufficient optimality conditions, KKT conditions, First order and second order optimality conditions, Constraint qualification, Global minimum, Stationary point, Necessary optimality conditions, Local minimum, Nonlinear optimization problem
2	Roberto Andreani, Ernesto G. Birgin, José Mario Martínez, M. L. Schuverdt	Augmented Lagrangian methods under the constant positive linear dependence constraint qualification.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65K05, 65K10
2	Carl Johnzen, Philippe Vialletelle, Stéphane Dauzère-Pérès, Claude Yugma, Alexandre Derreumaux	Impact of qualification management on scheduling in semiconductor manufacturing.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
2	J. Siuzdak, T. Czarnecki	Employment of Voice Band Modems in Subscriber Loop Qualification.	IEEE Transactions on Communications	2007	DBLP DOI BibTeX RDF
2	Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonéro	Qualification of behavioral level design validation for AMS & RF SoCs.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
2	Haijun Zhao	Related Problems of the Vocational Qualification Standard for Online Financial Marketing.	I3E	2007	DBLP DOI BibTeX RDF
2	Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jang-Yeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon	Defense-in-Depth and Diverse Qualification of Safety-Critical Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF
2	Emanuela Falcinelli, Floriana Falcinelli, Chiara Laici, Alfredo Milani	Experience of blended e-learning in post-graduate training for High School Teaching Qualification.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
2	Claudio Cubillos, Fabrizio Lamberti, Claudio Demartini	National Qualification Systems Integration using Ontologies.	Education for the 21st Century	2006	DBLP DOI BibTeX RDF
2	Naohiro Matsumura, Yoshihiro Sasaki	Leader Qualification in Managing Nonprofit Organization.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
2	Antonis C. Kakas, Loizos Michael, Rob Miller 0002	Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems.	LPNMR	2005	DBLP DOI BibTeX RDF
2	L. A. Flynn, Hans-Peter Dommel	The QuORRUM Protocol: Efficient Tree Repair for Qualification-Based Multicast.	QSHINE	2005	DBLP DOI BibTeX RDF	Multicast tree formation and repair, sparsemode protocols, QoS routing
2	Gui-Hua Lin, Masao Fukushima	A Modified Relaxation Scheme for Mathematical Programs with Complementarity Constraints.	Annals OR	2005	DBLP DOI BibTeX RDF	mathematical program with complementarity constraints, (MPEC-)linear independence constraint qualification, (B-, M-, C-)stationarity, weak second-order necessary conditions, upper level strict complementarity, nondegeneracy
2	Andrew J. Kornecki, Janusz Zalewski	Experimental evaluation of software development tools for safety-critical real-time systems.	ISSE	2005	DBLP DOI BibTeX RDF	Tool qualification, Safety-critical systems, CASE tools, Software safety
2	Hans-Jürgen Brand, Steffen Rülke, Martin Radetzki	IPQ: IP Qualification for Efficient System Design.	ISQED	2004	DBLP DOI BibTeX RDF
2	Andreas Vörg, Martin Radetzki, Wolfgang Rosenstiel	Measurement of IP Qualification Costs and Benefits.	DATE	2004	DBLP DOI BibTeX RDF
2	Siegfried Kaiser	Qualification Requirements in e-Government: The Need for Information Systems in Public Administration Education.	EGOV	2004	DBLP DOI BibTeX RDF
2	Michael Fuchs, Claudio Muscogiuri, Claudia Niederée, Matthias Hemmje	Digital libraries in knowledge management: an e-learning case study.	Int. J. on Digital Libraries	2004	DBLP DOI BibTeX RDF	Metadesign, System authoring, Qualification management, Knowledge management, e-Learning
2	Ralf Seepold, Natividad Martínez Madrid, Andreas Vörg, Wolfgang Rosenstiel, Martin Radetzki, P. Neumann, J. Haase	A Qualification Platform for Design Reuse. (PDF / PS)	ISQED	2002	DBLP DOI BibTeX RDF
2	Nick Papadakis, Dimitris Plexousakis	The Ramification and Qualification Problems in Temporal Databases.	SETN	2002	DBLP DOI BibTeX RDF
2	Michael Fuchs, Claudio Muscogiuri, Claudia Niederée, Matthias Hemmje	An Open Framework for Integrated Qualification Management Portals. (PDF / PS)	DEXA Workshops	2002	DBLP DOI BibTeX RDF
2	Quoc Bao Vo, Norman Y. Foo	Solving the Qualification Problem.	Australian Joint Conference on Artificial Intelligence	2001	DBLP BibTeX RDF
2	Yves Martin, Michael Thielscher	Addressing the Qualification Problem in FLUX.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
2	Benoit Baudry, Vu Le Hanh, Yves Le Traon	Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification.	TOOLS	2000	DBLP DOI BibTeX RDF
2	Guilaine Talens, Danielle Boulanger, Isabelle Dedun	A knowledge based system: an object case approach.	ICTAI	2000	DBLP DOI BibTeX RDF	object case approach, domain knowledge representation, case based paradigm, legal qualification, knowledge domains, medical practice, legal evaluation, case model, expert knowledge capture, object indexes, problem representation, case indexation, similar case retrieval, case modeling, object-oriented programming, knowledge based systems, knowledge based system, software reuse, case-based reasoning, software libraries, software libraries, object based system
2	Alexi I. Kononov, Gennady A. Reimarov	A Rating System for Qualification Analysis with Application to Personal Evaluation.	APL	1994	DBLP DOI BibTeX RDF	APL*PLUS, Personal suitability evaluation, machine made testimonial, menu dialogue, statistical rating algorithm, APL, system design
2	Fumihiko Kamijo, Masato Nakayashiki	Difficulties in integrating the IT qualification test and training curriculum.	Journal of Systems Integration	1992	DBLP DOI BibTeX RDF	Information technology engineers, qualification examination, curriculum integration, large-application integration
2	Karama Kanoun, Marta Rettelbusch de Bastos Martini, Jorge Moreira de Souza	A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	prediction application, TROPICO-R switching system, reliability decrease, reliability growth, S-shaped model, hyperexponential model, software residual failure rate, qualification index, Brazilian electronic switching system, electronic switching systems, software reliability, software reliability, reliability theory, software behavior, reliability growth models
2	Barry Richards, Yuejun Jiang, H. Choi	On Interval-based Temporal Planning: An IQ Strategy.	ISMIS	1991	DBLP DOI BibTeX RDF	Qualification Problem, Interval Principle, Collapsing and Stretching/Clipping, Temporal Logics, Planning, Constraint Satisfaction, Points, Actions, Intervals, Maximal, Frame Problem
1	Tyrel Russell, Peter van Beek	A hybrid constraint programming and enumeration approach for solving NHL playoff qualification and elimination problems.	European Journal of Operational Research	2012	DBLP DOI BibTeX RDF
1	Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	A Transformation-based Implementation for CLP with Qualification and Proximity	CoRR	2012	DBLP BibTeX RDF
1	Satoshi Suzuki, Daishi Kuroiwa	Necessary and Sufficient Constraint Qualification for Surrogate Duality.	J. Optimization Theory and Applications	2012	DBLP DOI BibTeX RDF
1	Yann Perrot, Laurent Gargiulo, Michael Houry, Nolwenn Kammerer, Delphine Keller, Yvan Measson, Gérard Piolain, Alexandre Verney	Long-reach articulated robots for inspection and mini-invasive interventions in hazardous environments: Recent robotics research, qualification testing, and tool developments.	J. Field Robotics	2012	DBLP DOI BibTeX RDF
1	Hsiu-Yi Lin, Chun-Yao Wang, Shih-Chieh Chang, Yung-Chih Chen, Hsuan-Ming Chou, Ching-Yi Huang, Yen-Chi Yang, Chun-Chien Shen	A probabilistic analysis method for functional qualification under Mutation Analysis.	DATE	2012	DBLP BibTeX RDF
1	Yuqing Sun, Qihua Wang, Ninghui Li, Elisa Bertino, Mikhail J. Atallah	On the Complexity of Authorization in RBAC under Qualification and Security Constraints.	IEEE Trans. Dependable Sec. Comput.	2011	DBLP DOI BibTeX RDF
1	Giuliano Augusti, Sebastião Feyo de Azevedo	Qualification Frameworks and Field-specific Approaches to Quality Assurance: Initiatives in Engineering and Technical Education.	IJQAETE	2011	DBLP BibTeX RDF
1	Ernesto Araujo, Karl Kienitz, Sandra Sandri	Fuzzy goal-driven intelligent control for satellite environmental qualification.	Appl. Soft Comput.	2011	DBLP DOI BibTeX RDF
1	J. G. van Hassel, G. A. D. Bock, G. van den Berg	Failure mechanisms in advanced BCD technology during reliability qualification.	Microelectronics Reliability	2011	DBLP DOI BibTeX RDF
1	Stephan Dempe, Alain B. Zemkoho	The Generalized Mangasarian-Fromowitz Constraint Qualification and Optimality Conditions for Bilevel Programs.	J. Optimization Theory and Applications	2011	DBLP DOI BibTeX RDF
1	Satoshi Suzuki, Daishi Kuroiwa	On Set Containment Characterization and Constraint Qualification for Quasiconvex Programming.	J. Optimization Theory and Applications	2011	DBLP DOI BibTeX RDF
1	Antonis C. Kakas, Loizos Michael, Rob Miller 0002	Modular-έ and the role of elaboration tolerance in solving the qualification problem.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Shu Lu	Implications of the constant rank constraint qualification.	Math. Program.	2011	DBLP DOI BibTeX RDF
1	Pierre Jallon, Benjamin Dupre, Michel Antonakios	A graph based method for timed up & go test qualification using inertial sensors.	ICASSP	2011	DBLP DOI BibTeX RDF
1	Hugo Arboleda, Jean-Claude Royer	Component types qualification in Java legacy code driven by communication integrity rules.	ISEC	2011	DBLP DOI BibTeX RDF
1	Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Stefano Di Alesio, Dag McGeorge, Vidar Åhjem, Jonas Borg	Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology.	HASE	2011	DBLP DOI BibTeX RDF
1	Yuqin Wang, Guohua Han, Yongmei Zhang	Probing into the Teaching Reformation with Modern Information Technology Based on the Professional Qualification Development for Dispatcher Education in Travel Agency Field.	CSEE	2011	DBLP DOI BibTeX RDF
1	Loizos Michael, Antonis C. Kakas	A Unified Argumentation-Based Framework for Knowledge Qualification.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
1	Qiuting Jia, Guizhen Wang, Jinyong Cheng	A qualification system for high temperature sterilization.	EMEIT	2011	DBLP DOI BibTeX RDF
1	Lakshmanan Balasubramanian, Puneet Sabbarwal, R. K. Mittal, Prakash Narayanan, R. K. Dash, A. D. Kudari, S. Manian, S. Polarouthu, Harikrishna Parthasarathy, R. C. Vijayaraghavan, S. Turkewadikar	Circuit and DFT techniques for robust and low cost qualification of a mixed-signal SoC with integrated power management system.	DATE	2011	DBLP BibTeX RDF
1	M. Balkovic, M. Korac	Methodology used for qualification standard and curriculum; "Technician for computing" development based on the learning outcomes concept and labor market analysis.	MIPRO	2011	DBLP BibTeX RDF
1	Francisco Guerra Vázquez, Hubertus Th. Jongen, Vladimir Shikhman	General Semi-Infinite Programming: Symmetric Mangasarian-Fromovitz Constraint Qualification and the Closure of the Feasible Set.	SIAM Journal on Optimization	2010	DBLP DOI BibTeX RDF
1	Shu Lu	Variational Conditions Under the Constant Rank Constraint Qualification.	Math. Oper. Res.	2010	DBLP DOI BibTeX RDF
1	Xiaosong Ma, Kaspar M. B. Jansen, G. Q. Zhang, Willem D. van Driel, Olaf van der Sluis, Leo J. Ernst, C. Regards, Christian Gautier, Hélène Frémont	A fast moisture sensitivity level qualification method.	Microelectronics Reliability	2010	DBLP DOI BibTeX RDF
1	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	A Declarative Semantics for CLP with Qualification and Proximity	CoRR	2010	DBLP BibTeX RDF
1	Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	A Transformation-based Implementation for CLP with Qualification and Proximity	CoRR	2010	DBLP BibTeX RDF
1	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity	CoRR	2010	DBLP BibTeX RDF
1	Marko Neitola, Timo Rahkonen, Janne Raappana	A Qualification Approach to DAC Mismatch-Shaping Methods.	IEEE Trans. on Circuits and Systems	2010	DBLP DOI BibTeX RDF
1	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	A declarative semantics for CLP with qualification and proximity.	TPLP	2010	DBLP DOI BibTeX RDF
1	Carl P. L. Schultz, Robert Amor, Hans W. Guesgen	The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi.	Australasian Conference on Artificial Intelligence	2010	DBLP DOI BibTeX RDF
1	Xu Bing, Guan Xia	Analysis on the Pre-qualification System of Construction Project Bidding.	ICEE	2010	DBLP DOI BibTeX RDF
1	Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli	Vacuity analysis for property qualification by mutation of checkers.	DATE	2010	DBLP BibTeX RDF
1	Alexis Alexandropoulos, Fotis Plessas, Michael K. Birbas	A dynamic DFI-compatible strobe qualification system for Double Data Rate (DDR) physical interfaces.	ICECS	2010	DBLP DOI BibTeX RDF
1	Michel Pignol, Florence Malou, Corinne Aicardi	Qualification and relifing testing for space applications applied to the agilent G-Link components.	IOLTS	2010	DBLP DOI BibTeX RDF
1	Anca Draghici, George Draghici, Monica Izvercianu, Andreas Riel, Serge Tichkiewitch, Richard Messnarz	Qualification and Certification of Research-Entrepreneur Skills Using the ECQA Platform.	CENTERIS	2010	DBLP DOI BibTeX RDF
1	Mengying Fu, Moeed Haghnevis, Ronald G. Askin, John Fowler, Muhong Zhang	Machine qualification management for a semiconductor back-end facility.	Winter Simulation Conference	2010	DBLP DOI BibTeX RDF
1	Julie S. Downs, Mandy B. Holbrook, Steve Sheng, Lorrie Faith Cranor	Are your participants gaming the system?: screening mechanical turk workers.	CHI	2010	DBLP DOI BibTeX RDF	survey, crowdsourcing, screening, mechanical turk
1	Zhixi Wan, Damian R. Beil	RFQ Auctions with Supplier Qualification Screening.	Operations Research	2009	DBLP DOI BibTeX RDF
1	Michael J. Ohletz, F. Schulze	Design, qualification and production of integrated sensor interface circuits for high-quality automotive applications.	Microelectronics Journal	2009	DBLP DOI BibTeX RDF
1	Chad M. S. Steel	Web-Based Child Pornography: Quantification and Qualification of Demand.	IJDCF	2009	DBLP DOI BibTeX RDF
1	Hamid R. Ekbia	Digital artifacts as quasi-objects: Qualification, mediation, and materiality.	JASIST	2009	DBLP DOI BibTeX RDF
1	F. Molière, B. Foucher, Philippe Perdu, A. Bravaix	Analysis of deep submicron VLSI technological risks: A new qualification process for professional electronics.	Microelectronics Reliability	2009	DBLP DOI BibTeX RDF
1	Charles Regard, Christian Gautier, Hélène Frémont, Patrick Poirier, Xiaosong Ma, Kaspar M. B. Jansen	Fast reliability qualification of SiP products.	Microelectronics Reliability	2009	DBLP DOI BibTeX RDF
1	Sebastien Bruyere, Vincent Pillet, Luc Quoniam	Proposition d'une methode de qualification et de selection d'un logiciel d'analyse et de suivi du referencement dans les moteurs de recherche	CoRR	2009	DBLP BibTeX RDF
1	Bozenna Pasik-Duncan, Matthew Verleger	Education and Qualification for Control and Automation.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
1	Yongquan Fan, Zeljko Zilic	Accelerating jitter tolerance qualification for high speed serial interfaces.	ISQED	2009	DBLP DOI BibTeX RDF
1	Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli	The role of mutation analysis for property qualification.	MEMOCODE	2009	DBLP DOI BibTeX RDF
1	Simon Baillarin, Laurent Lebegue, Philippe Kubik	Pleiades-HR System Qualification: A Focus on Ground Processing and Image Products Performances, a Few Months before Launch.	IGARSS	2009	DBLP DOI BibTeX RDF
1	Gabriel Simões, Leandro Krug Wives, José Palazzo Moreira de Oliveira	Open Publication System: Evaluating Users Qualification and Reputation.	CSEDU	2009	DBLP BibTeX RDF
1	Jens Braunes, Rainer G. Spallek	Generating the trace qualification configuration for MCDS from a high level language.	DATE	2009	DBLP BibTeX RDF
1	Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe	Functional qualification of TLM verification.	DATE	2009	DBLP BibTeX RDF
1	Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe	On the Functional Qualification of a Platform Model.	DFT	2009	DBLP DOI BibTeX RDF
1	Martin Kröll	E-Assessment: A Suitable Alternative for Measuring Competences?	HCI	2009	DBLP DOI BibTeX RDF	key qualification, self-organization, employability, e-assessment
1	Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon	Qualifying input test data for model transformations.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Test qualification, Software testing, Model transformation, Metamodelling, Model-based testing, Test criteria
1	Donald W. Hearn, Timothy J. Lowe	Lagrangian Duality: BASICS.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Primal optimization problem, Dual optimization problem, Constraint qualification, Subgradient, Duality gap
1	Hubertus Th. Jongen, Jan-J. Rückmann, Oliver Stein	Parametric Global Optimization: Sensitivity.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	reduction Ansatz, Mangasarian-Fromovitz constraint qualification, Trap-door point, Genericity, Singularity, Structural stability, Parametric programming
1	Diethard Klatte	Second Order Constraint Qualifications.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Parabolic curve approach, Stability, Duality, Optimality conditions, Constraint qualification
1	Diethard Klatte	First Order Constraint Qualifications.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Stability, Regularity, Duality, Optimality conditions, Constraint qualification