Search results for "Qualification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Michael Fuchs 0002, Claudio Muscogiuri, Claudia Niederée, Matthias L. Hemmje	An Open Framework for Integrated Qualification Management Portals.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
72	Long-sheng Huang, Li-pu Zhang	Solution method for Fuzzy Assignment problem with Restriction of Qualification.	ISDA (1)	2006	DBLP DOI BibTeX RDF	Fuzzy Assignment, Restriction of Qualification, Decision Matrix, Solution Matrix, Fuzzy Variable
67	Michael Fuchs 0002, Claudio Muscogiuri, Claudia Niederée, Matthias L. Hemmje	Digital libraries in knowledge management: an e-learning case study.	Int. J. Digit. Libr.	2004	DBLP DOI BibTeX RDF	Metadesign, System authoring, Qualification management, Knowledge management, e-Learning
64	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
63	Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol 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
58	Jane J. Ye, Qiji J. Zhu	Multiobjective optimization problem with variational inequality constraints.	Math. Program.	2003	DBLP DOI BibTeX RDF
52	Haijun Zhao	Related Problems of the Vocational Qualification Standard for Online Financial Marketing.	I3E (1)	2007	DBLP DOI BibTeX RDF
52	Claudio Cubillos, Fabrizio Lamberti, Claudio Demartini	National Qualification Systems Integration using Ontologies.	Education for the 21st Century	2006	DBLP DOI BibTeX RDF
49	Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonéro	Decreasing Test Qualification Time in AMS and RF Systems.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF	AMS and RF SoCs, parametric fault injection, behavioral modeling, fault-based test, design validation, VHDL-AMS, qualification
46	Shinsuke Nakajima, Katsumi Tanaka	Relative Queries and the Relative Cluster-Mapping Method.	DASFAA	2004	DBLP DOI BibTeX RDF
44	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
44	Rafael Caballero 0001, 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
44	Gui-Hua Lin, Masao Fukushima	A Modified Relaxation Scheme for Mathematical Programs with Complementarity Constraints.	Ann. Oper. Res.	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
41	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
40	Carl Johnzen, Philippe Vialletelle, Stéphane Dauzère-Pérès, Claude Yugma, Alexandre Derreumaux	Impact of qualification management on scheduling in semiconductor manufacturing.	WSC	2008	DBLP DOI BibTeX RDF
40	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
40	Andreas Vörg, Martin Radetzki, Wolfgang Rosenstiel	Measurement of IP Qualification Costs and Benefits.	DATE	2004	DBLP DOI BibTeX RDF
40	Siegfried Kaiser	Qualification Requirements in e-Government: The Need for Information Systems in Public Administration Education.	EGOV	2004	DBLP DOI BibTeX RDF
40	Ralf Seepold, Natividad Martínez Madrid, Andreas Vörg, Wolfgang Rosenstiel, Martin Radetzki, Peter Neumann, Jürgen Haase	A Qualification Platform for Design Reuse.	ISQED	2002	DBLP DOI BibTeX RDF
40	Nick Papadakis, Dimitris Plexousakis	The Ramification and Qualification Problems in Temporal Databases.	SETN	2002	DBLP DOI BibTeX RDF
40	Yves Martin, Michael Thielscher	Addressing the Qualification Problem in FLUX.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
40	Benoit Baudry, Vu Le Hanh, Yves Le Traon	Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
37	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
37	Fumihiko Kamijo, Masato Nakayashiki	Difficulties in integrating the IT qualification test and training curriculum.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	Information technology engineers, qualification examination, curriculum integration, large-application integration
35	Wolfgang Achtziger, Christian Kanzow	Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications.	Math. Program.	2008	DBLP DOI BibTeX RDF	Vanishing constraints, Constrained optimization, Optimality conditions, Structural optimization, Constraint qualifications, Mathematical programs with equilibrium constraints
35	Youssef Serrestou, Vincent Beroulle, Chantal Robach	Impact of hardware emulation on the verification quality improvement.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
35	Eric Gouardères, Yon Dourisboure, Guy Gouardères, Mansour Saber	The ARS Model: Virtual Learning Communities with P2PAgents on the Grid.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF	Peer-to-Peer Agents, e-Portfolio, Grid, Role Models, Virtual Learning Communities
35	Martyn Clark, Roger D. Boyle	The Transition from School to University: Would Prior Study of Computing Help?	ISSEP	2005	DBLP DOI BibTeX RDF
35	Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski	Evaluation of Software Development Tools for High Assurance Safety Critical Systems.	HASE	2004	DBLP DOI BibTeX RDF
35	Andreas Billig, Lutz Nentwig, Johannes Werner Erdmann, Kurt Sandkuhl	Mecomp.net - Organizational, Sociological and Technological Aspects of a Community Network in the Field of Education and Employment.	PDP	2003	DBLP DOI BibTeX RDF
34	Maxime Martelli	Approche haut niveau pour l'accélération d'algorithmes sur des architectures hétérogènes CPU/GPU/FPGA. Application à la qualification des radars et des systèmes d'écoute électromagnétique. (High-Level Approach for the Acceleration of Algorithms on CPU/GPU/FPGA Heterogeneous Architectures. Application to Radar Qualification and Electromagnetic Listening Systems).		2019	RDF
34	Rayane El Sibai	Sampling, qualification and analysis of data streams. (Échantillonnage, qualification et analyse des flux de données).		2018	RDF
34	Jean-Philippe Dillenseger	Imagerie préclinique multimodale chez le petit animal : qualification des instruments et des méthodes (IRM, µTDM et µTEMP). (Preclinical multimodal small animal imaging : qualification of instruments and methods (MRI, µCT and µSPECT)).		2017	RDF
34	Anthony Gelibert	Contribution à la mise en œuvre d'un outillage unifié pour faciliter la qualification d'environnements normés. (Toward a unified tooling to ease the qualification process of standardized environments).		2016	RDF
34	Elie Richa	Qualification of source code generators in the avionics domain : automated testing of model transformation chains. (Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles).		2015	RDF
34	Oscar Slotosch	Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification.	SEFM Satellite Events	2012	DBLP DOI BibTeX RDF
34	Yoann Ladroit	Amélioration des méthodes de détection et de qualification des sondes pour les sondeurs multifaisceaux bathymétriques. (Improvement of soundings detection and qualification methods for bathymétric multibeam echosounders).		2012	RDF
34	P. Audenino, L. Rognant, Jean-Marc Chassery	Qualification of SRTM DEM. A first approach toward an application dependant qualification framework.	IGARSS	2003	DBLP DOI BibTeX RDF
32	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
32	Tadeusz Antczak	On G-invex multiobjective programming. Part I. Optimality.	J. Glob. Optim.	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
32	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
32	Andrew J. Kornecki, Janusz Zalewski	Experimental evaluation of software development tools for safety-critical real-time systems.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Tool qualification, Safety-critical systems, CASE tools, Software safety
32	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
32	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
32	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
28	Frances Paulisch, Peter Zimmerer	A role-based qualification and certification program for software architects: an experience report from Siemens.	ICSE (2)	2010	DBLP DOI BibTeX RDF	software engineering, software architecture, education, testing, training, curriculum, certification
28	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
28	Yingxu Wang	Qualification and quantification of fuzzy linguistic variables and fuzzy expressions.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
28	Loizos Michael, Antonis C. Kakas	Knowledge Qualification through Argumentation.	LPNMR	2009	DBLP DOI BibTeX RDF
28	Roberto Andreani, Ernesto G. Birgin, José Mario Martínez, María Laura 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
28	Jerzy Siuzdak, Tomasz Czarnecki	Employment of Voice Band Modems in Subscriber Loop Qualification.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
28	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
28	Naohiro Matsumura, Yoshihiro Sasaki	Leader Qualification in Managing Nonprofit Organization.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
28	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
28	Lori 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
28	Hans-Jürgen Brand, Steffen Rülke, Martin Radetzki	IPQ: IP Qualification for Efficient System Design.	ISQED	2004	DBLP DOI BibTeX RDF
28	Quoc Bao Vo, Norman Y. Foo	Solving the Qualification Problem.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
28	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
23	Aram V. Arutyunov, Evgeniy R. Avakov, Alexey F. Izmailov	Necessary optimality conditions for constrained optimization problems under relaxed constraint qualifications.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 49K27, 47J07, 90C30
23	Balázs Kövesi, Stéphane Ragot, Alain Le Guyader	An 64-80-96 kbit/s scalable wideband speech coding candidate for ITU-T G.711-WB standardization.	ICASSP	2008	DBLP DOI BibTeX RDF
23	Zhao Ru, Weiran Xu, Jun Guo 0002	An Expert Experience Probabilistic Model for Enterprise Expert Finding.	FSKD (1)	2007	DBLP DOI BibTeX RDF
23	Seong-Yoon Shin, Oh-Hyung Kang, Seong-Eun Baek, Ki-Hong Park, Yang-Won Rhee, Moonhaeng Huh	A Real-Time Evaluation System for Acquisition of Certificates in Computer Skills.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	Easy-to-access Active Learning System, User Profile, Evaluation System
23	Carsten W. Scherer, Camile W. J. Hol	Matrix Sum-of-Squares Relaxations for Robust Semi-Definite Programs.	Math. Program.	2006	DBLP DOI BibTeX RDF
23	Ninghui Li, Qihua Wang	Beyond separation of duty: an algebra for specifying high-level security policies.	CCS	2006	DBLP DOI BibTeX RDF	access control, category, separation of duty, policy design
23	Nor Iadah Yusop	Teaching Object-Oriented Systems Analysis to Non-IT Students: A Practical Experience.	QSIC	2006	DBLP DOI BibTeX RDF
23	Keith B. Frikken, Mikhail J. Atallah, Chen Zhang	Privacy-preserving credit checking.	EC	2005	DBLP DOI BibTeX RDF	privacy, e-commerce, secure protocol, secure multi-party computation
23	Charalambos Spathis, Michael Doumpos, Constantin Zopounidis	A multicriteria discrimination approach to model qualified audit reports.	Oper. Res.	2004	DBLP DOI BibTeX RDF	Qualified audit report, Financial statements, Classification, Multicriteria decision aid
23	Margit Scholl, Sabine Schröter	Customer Support for Job Learning on Demand.	EGOV	2004	DBLP DOI BibTeX RDF
23	Clóvis C. Gonzaga, Rómulo A. Castillo	A nonlinear programming algorithm based on non-coercive penalty functions.	Math. Program.	2003	DBLP DOI BibTeX RDF
23	Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones	Integrity Static Analysis of COTS/SOUP.	SAFECOMP	2003	DBLP DOI BibTeX RDF
23	Ricardo Azambuja Silveira, Rosa Maria Vicari	Developing Distributed Intelligent Learning Environment with JADE - Java Agents for Distance Education Framework.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
23	Ricky Valentin, Jeremy Cunningham, Michael D. Osterman, Abhijit Dasgupta 0002, Michael G. Pecht, Dinos Tsagos	Weapon and communication systems: virtual life assessment of electronic hardware used in the Advanced Amphibious Assault Vehicle (AAAV).	WSC	2002	DBLP DOI BibTeX RDF
23	Ricardo Azambuja Silveira, Rosa Maria Vicari	Improving Interactivity in e-Learning Systems with Multi-agent Architecture.	AH	2002	DBLP DOI BibTeX RDF
23	Grace SauLan Loo, Kok-Huat Lee	An Interface to Databases for Flexible Query Answering: A Fuzzy-Set Approach.	DEXA	2000	DBLP DOI BibTeX RDF	alpha-cut, design, interface, approximate, flexibility, fuzzy, linguistic, imprecise, query modification
23	Amihai Motro	VAGUE: A User Interface to Relational Databases that Permits Vague Queries.	ACM Trans. Inf. Syst.	1988	DBLP DOI BibTeX RDF
20	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
20	Panos M. Pardalos	Kuhn-Tucker Optimality Conditions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	KT point, Complexity, Optimality conditions, Constraint qualification
20	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
20	Diethard Klatte	Second Order Constraint Qualifications.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Parabolic curve approach, Stability, Duality, Optimality conditions, Constraint qualification
20	Diethard Klatte	First Order Constraint Qualifications.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Stability, Regularity, Duality, Optimality conditions, Constraint qualification
20	Henry Wolkowicz	Duality for Semidefinite Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Lagrangian duality, Strong and weak duality, Semidefinite programming, Convex programming, Constraint qualification, Complementarity
20	Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon	Qualifying input test data for model transformations.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Test qualification, Software testing, Model transformation, Metamodelling, Model-based testing, Test criteria
20	Martin Kröll	E-Assessment: A Suitable Alternative for Measuring Competences?	HCI (4)	2009	DBLP DOI BibTeX RDF	key qualification, self-organization, employability, e-assessment
20	Rafael Caballero 0001, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Similarity-based reasoning in qualified logic programming.	PPDP	2008	DBLP DOI BibTeX RDF	qualification domains, similarity relations
20	Carine Neus, Wim Foubert, Leo Van Biesen	Loop Identification and Capacity Estimation of Digital Subscriber Lines with Single Ended Line Testing.	AccessNets	2008	DBLP DOI BibTeX RDF	Digital Subscriber Line (DSL), Single Ended Line Testing (SELT), transfer function estimation, loop qualification, channel capacity
20	Simon P. Schurr, André L. Tits, Dianne P. O'Leary	Universal duality in conic convex optimization.	Math. Program.	2007	DBLP DOI BibTeX RDF	Conic Convex Optimization, Universal Duality, Generic Property, Constraint Qualification, Duality Gap
20	David A. Sunderland, Gary L. Duncan, Brad J. Rasmussen, Harry E. Nichols, Daniel T. Kain, Lawrence C. Lee 0002, Brian A. Clebowicz, Richard W. Hollis IV, Larry Wissel, Tad Wilder	Megagate ASICs for the Thuraya Satellite Digital Signal Processor (invited).	ISQED	2002	DBLP DOI BibTeX RDF	radiation tolerance, CCGA, reliability, DSP, ASIC, satellite communications, qualification
20	Carmen Usón, Valeo Eclairage, Pierre Bouchon	A Physically Exact Real Time Simulator for Car Head Light.	VR	1999	DBLP DOI BibTeX RDF	Physically Exact Real Time Lighting, Headlight, Blind Test Qualification, Automotive, Expert Evaluation
17	Jung Hee Choi, Dong Geun Ahn, Jae Min Yoo, Joong Soon Jang, Kun Young Lee	Virtual qualification using digital twin for product development: A case study on liquid crystal display.	Qual. Reliab. Eng. Int.	2024	DBLP DOI BibTeX RDF
17	Mi-Hyun Bang, Young-Min Lee	Pilot study on the digitalization of the national qualification exam for Korean engineers.	Educ. Inf. Technol.	2024	DBLP DOI BibTeX RDF
17	Vu Thi Huong, Duong Thi Viet An, Hong-Kun Xu	Subdifferentials of optimal value functions under metric qualification conditions.	J. Glob. Optim.	2024	DBLP DOI BibTeX RDF
17	Zahra Mansour, Verena N. Uslar, Dirk Weyhe, Danilo Hollosi, Nils Strodthoff	SonicGuard Sensor - A Multichannel Acoustic Sensor for Long-Term Monitoring of Abdominal Sounds Examined through a Qualification Study.	Sensors	2024	DBLP DOI BibTeX RDF
17	Yuliang Shi, Lin Cheng, Cheng Jiang, Hui Zhang, Guifeng Li, Xiaoli Tang, Han Yu, Zhiqi Shen 0001, Cyril Leung	IBCA: An Intelligent Platform for Social Insurance Benefit Qualification Status Assessment.	AAAI	2024	DBLP DOI BibTeX RDF
17	Constance Thierry, Arnaud Martin, Jean-Christophe Dubois, Yolande Le Gall	Estimation of the qualification and behavior of a contributor and aggregation of his answers in a crowdsourcing context.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
17	Mario Gleirscher, Robert Sachtleben, Jan Peleska 0001	Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?	CoRR	2023	DBLP DOI BibTeX RDF
17	Nadia Ibellaatti, Edouard Lepape, Alp Kiliç, Kaya Akyel, Kassem Chouayakh, Fabrizio Ferrandi, Claudio Barone, Serena Curzel, Michele Fiorito, Giovanni Gozzi, Miguel Masmano, Ana Risquez Navarro, Manuel Muñoz, Vicente Nicolau Gallego, Patricia López Cueva, Jean-noel Letrillard, Franck Wartel	HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem.	CoRR	2023	DBLP DOI BibTeX RDF
17	Constance Thierry, Arnaud Martin, Jean-Christophe Dubois, Yolande Le Gall	Estimation of the qualification and behavior of a contributor and aggregation of his answers in a crowdsourcing context.	CoRR	2023	DBLP DOI BibTeX RDF
17	Mohammad Ghaljehei, Mojdeh Khorsand	A Data-Driven Policy for Addressing Deployability Issue of FMM FRPs: Resources Qualification and Deliverability.	CoRR	2023	DBLP DOI BibTeX RDF
17	Federica Bologna, Angelo Di Iorio, Silvio Peroni, Francesco Poggi	Do open citations give insights on the qualitative peer-review evaluation in research assessments? An analysis of the Italian National Scientific Qualification.	Scientometrics	2023	DBLP DOI BibTeX RDF
17	Gang Xu, Qingrui Yue, Xiaogang Liu	Deep learning algorithm for real-time automatic crack detection, segmentation, qualification.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF