|
|
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. |
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 |
|
Displaying result #1 - #100 of 731 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|