|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 312 occurrences of 264 keywords
|
|
|
Results
Found 731 publication records. Showing 731 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2-6 September 2002, Aix-en-Provence, France, pp. 361-365, 2002, IEEE Computer Society, 0-7695-1668-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
72 | Long-sheng Huang, Li-pu Zhang |
Solution method for Fuzzy Assignment problem with Restriction of Qualification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (1) ![In: Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China, pp. 765-769, 2006, IEEE Computer Society, 0-7695-2528-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 4(1), pp. 31-35, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 272-288, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 258-263, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Jane J. Ye, Qiji J. Zhu |
Multiobjective optimization problem with variational inequality constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 96(1), pp. 139-160, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
52 | Haijun Zhao |
Related Problems of the Vocational Qualification Standard for Online Financial Marketing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I3E (1) ![In: Integration and Innovation Orient to E-Society, Volume 1, Seventh IFIP International Conference on e-Business, e-Services, and e-Society (I3E2007), October 10-12, Wuhan, China, pp. 96-106, 2007, Springer, 978-0-387-75465-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Claudio Cubillos, Fabrizio Lamberti, Claudio Demartini |
National Qualification Systems Integration using Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Education for the 21st Century ![In: Education for the 21st Century - Impact of ICT and Digital Resources, IFIP 19th World Computer Congress, TC-3, Education, August 21-24, 2006, Santiago, Chile, pp. 285-289, 2006, Springer, 0-387-34627-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 25(1), pp. 29-37, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advances Applications, 9th International Conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2004, Proceedings, pp. 843-856, 2004, Springer, 3-540-21047-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Andrew J. Kornecki, Janusz Zalewski |
Certification of software for real-time safety-critical systems: state of the art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(2), pp. 149-161, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 449-463, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 133(1-4), pp. 63-84, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3361-3365, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 2059-2066, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: IFIP VLSI-SoC 2007, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Atlanta, GA, USA, 15-17 October 2007, pp. 206-211, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Vörg, Martin Radetzki, Wolfgang Rosenstiel |
Measurement of IP Qualification Costs and Benefits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 996-1001, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Siegfried Kaiser |
Qualification Requirements in e-Government: The Need for Information Systems in Public Administration Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government: Third International Conference, EGOV 2004, Zaragoza, Spain, August 30 - September 3, 2004, Proceedings, pp. 464-467, 2004, Springer, 3-540-22916-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 3rd International Symposium on Quality of Electronic Design, ISQED 2002, San Jose, CA, USA, March 18-21, 2002, pp. 75-80, 2002, IEEE Computer Society, 0-7695-1561-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Nick Papadakis, Dimitris Plexousakis |
The Ramification and Qualification Problems in Temporal Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Second Hellenic Conference on AI, SETN 2002. Thessaloniki, Greece, April 11-12, 2002, Proceedings, pp. 18-29, 2002, Springer, 3-540-43472-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Yves Martin, Michael Thielscher |
Addressing the Qualification Problem in FLUX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI/ÖGAI ![In: KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings, pp. 290-304, 2001, Springer, 3-540-42612-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 108-119, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 201-214, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 2(3), pp. 291-312, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 114(1), pp. 69-99, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: IFIP VLSI-SoC 2007, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Atlanta, GA, USA, 15-17 October 2007, pp. 218-223, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada, pp. 73, 2007, IEEE Computer Society, 0-7695-2881-3. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSEP ![In: From Computer Literacy to Informatics Fundamentals, International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005, Proceedings, pp. 37-45, 2005, Springer, 3-540-25336-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 273-274, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 11th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2003), 5-7 February 2003, Genova, Italy, pp. 507-, 2003, IEEE Computer Society, 0-7695-1875-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
34 | Rayane El Sibai |
Sampling, qualification and analysis of data streams. (Échantillonnage, qualification et analyse des flux de données). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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)). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
34 | Oscar Slotosch |
Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Satellite Events ![In: Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers, pp. 215-228, 2012, Springer, 978-3-642-54337-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
34 | P. Audenino, L. Rognant, Jean-Marc Chassery |
Qualification of SRTM DEM. A first approach toward an application dependant qualification framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2003 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2003, Toulouse, France, July 21-15, 2003, pp. 3082-3084, 2003, IEEE, 0-7803-7929-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Anthony V. Fiacco |
Sensitivity and Stability in NLP: Continuity and Differential Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3467-3471, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sensitivity analysis, Nonlinear programming, Optimality conditions, Constraint qualification |
32 | Tadeusz Antczak |
On G-invex multiobjective programming. Part I. Optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 43(1), pp. 97-109, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 199-201, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 1(2), pp. 176-188, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 190-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(4), pp. 334-344, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 226-235, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 21-27, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 117(1-2), pp. 149-161, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China, pp. 256-263, 2009, IEEE Computer Society, 978-1-4244-4642-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Loizos Michael, Antonis C. Kakas |
Knowledge Qualification through Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 209-222, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 111(1-2), pp. 5-32, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 55(11), pp. 2070-2072, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 3-7 September 2007, Regensburg, Germany, pp. 663-667, 2007, IEEE Computer Society, 0-7695-2932-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Naohiro Matsumura, Yoshihiro Sasaki |
Leader Qualification in Managing Nonprofit Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI Workshops ![In: New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings, pp. 411-419, 2005, Springer, 3-540-35470-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, pp. 211-226, 2005, Springer, 3-540-28538-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Lori A. Flynn, Hans-Peter Dommel |
The QuORRUM Protocol: Efficient Tree Repair for Qualification-Based Multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2005), 22-24 August 2005, Lake Buena Vista, FL, USA, pp. 34, 2005, IEEE Computer Society, 0-7695-2423-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 5th International Symposium on Quality of Electronic Design (ISQED 2004), 22-24 March 2004, San Jose, CA, USA, pp. 478-482, 2004, IEEE Computer Society, 0-7695-2093-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Quoc Bao Vo, Norman Y. Foo |
Solving the Qualification Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings, pp. 519-531, 2001, Springer, 3-540-42960-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Alexi I. Kononov, Gennady A. Reimarov |
A Rating System for Qualification Analysis with Application to Personal Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the International Conference on APL 1994: The Language and Its Applications, Antwerp, Belgium, September 11-15, 1994., pp. 95-104, 1994, ACM, 0-89791-675-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 114(1), pp. 37-68, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 4801-4804, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Zhao Ru, Weiran Xu, Jun Guo 0002 |
An Expert Experience Probabilistic Model for Enterprise Expert Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 477-481, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I, pp. 1024-1033, 2007, Springer, 978-3-540-74468-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 107(1-2), pp. 189-211, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Ninghui Li, Qihua Wang |
Beyond separation of duty: an algebra for specifying high-level security policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, October 30 - November 3, 2006, pp. 356-369, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China, pp. 354-359, 2006, IEEE Computer Society, 0-7695-2718-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Keith B. Frikken, Mikhail J. Atallah, Chen Zhang |
Privacy-preserving credit checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), Vancouver, BC, Canada, June 5-8, 2005, pp. 147-154, 2005, ACM, 1-59593-049-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 4(3), pp. 347-355, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government: Third International Conference, EGOV 2004, Zaragoza, Spain, August 30 - September 3, 2004, Proceedings, pp. 112-115, 2004, Springer, 3-540-22916-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Clóvis C. Gonzaga, Rómulo A. Castillo |
A nonlinear programming algorithm based on non-coercive penalty functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 96(1), pp. 87-101, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones |
Integrity Static Analysis of COTS/SOUP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, pp. 63-76, 2003, Springer, 3-540-20126-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Proceedings, pp. 105-118, 2002, Springer, 3-540-43750-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 948-953, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Ricardo Azambuja Silveira, Rosa Maria Vicari |
Improving Interactivity in e-Learning Systems with Multi-agent Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Adaptive Hypermedia and Adaptive Web-Based Systems, Second International Conference, AH 2002, Malaga, Spain, May 29-31, 2002, Proceedings, pp. 466-471, 2002, Springer, 3-540-43737-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Grace SauLan Loo, Kok-Huat Lee |
An Interface to Databases for Flexible Query Answering: A Fuzzy-Set Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 654-663, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 6(3), pp. 187-214, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Hubertus Th. Jongen, Jan-J. Rückmann, Oliver Stein |
Parametric Global Optimization: Sensitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2912-2917, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1794-1797, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
KT point, Complexity, Optimality conditions, Constraint qualification |
20 | Donald W. Hearn, Timothy J. Lowe |
Lagrangian Duality: BASICS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1805-1813, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Primal optimization problem, Dual optimization problem, Constraint qualification, Subgradient, Duality gap |
20 | Diethard Klatte |
Second Order Constraint Qualifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3357-3361, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Parabolic curve approach, Stability, Duality, Optimality conditions, Constraint qualification |
20 | Diethard Klatte |
First Order Constraint Qualifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1055-1060, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stability, Regularity, Duality, Optimality conditions, Constraint qualification |
20 | Henry Wolkowicz |
Duality for Semidefinite Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 811-814, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(2), pp. 185-203, 2009. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 543-550, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 185-194, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AccessNets ![In: AccessNets, Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers, pp. 427-440, 2008, Springer, 978-3-642-04647-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 109(1), pp. 69-88, 2007. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 3rd International Symposium on Quality of Electronic Design, ISQED 2002, San Jose, CA, USA, March 18-21, 2002, pp. 479-486, 2002, IEEE Computer Society, 0-7695-1561-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality 1999 Conference, VR'99, Houston, Texas, USA, March 13-17, 1999, Proceedings, pp. 76, 1999, IEEE Computer Society, 0-7695-0093-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 40(3), pp. 1420-1434, April 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 29(1), pp. 21-50, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 88(1), pp. 253-283, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(6), pp. 1843, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 22815-22823, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 216, pp. 119496, April 2023. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.09546, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.06427, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.04548, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.07846, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 128(1), pp. 19-53, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Gang Xu, Qingrui Yue, Xiaogang Liu |
Deep learning algorithm for real-time automatic crack detection, segmentation, qualification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 126, pp. 107085, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 731 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|