|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1529 occurrences of 882 keywords
|
|
|
Results
Found 3119 publication records. Showing 3119 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Stylianos Karagiannis, Marco Manso, Emmanouil Magkos, Luís L. Ribeiro, Luís Campos |
Automated and On-Demand Cybersecurity Certification. |
CSR |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Eleni-Constantina Davri, Eleni Darra, Isidoros Monogioudis, Athanasios Grigoriadis, Christos Iliou, Notis Mengidis, Theodora Tsikrika, Stefanos Vrochidis, Adamantini Peratikou, Helen Gibson, Damir Haskovic, Dimitrios Kavallieros, Evangelos Chaskos, Peng Zhao, Stavros Shiaeles, Nick Savage 0001, Babak Akhgar, Xavier J. A. Bellekens, Mohamed Amine Ben Farah |
Cyber Security Certification Programmes. |
CSR |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Yang Zhao |
An Evaluation Model of the Course of Electrical Control and PLC for Engineering Education Professional Certification. |
CIPAE |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Kai Burkholder, Kenny Kwock, Yuesheng Xu, Jiaxin Liu, Chao Chen, Sihong Xie |
Certification and Trade-off of Multiple Fairness Criteria in Graph-based Spam Detection. |
CIKM |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Linyi Li, Maurice Weber, Xiaojun Xu, Luka Rimanic, Bhavya Kailkhura, Tao Xie 0001, Ce Zhang 0001, Bo Li 0026 |
TSS: Transformation-Specific Smoothing for Robustness Certification. |
CCS |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos 0003, Holger Blasum, Mario Brotz, Caspar Gries, Torsten Vögler, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Technikon, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Thales Austria, Frank Golatowski, Thorsten Schulz |
Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS. |
ICPS |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Dionysios Solomos, Nikos Tsianos, Parisa Ghodous, Andreas Riel |
The European CHAISE Initiative to Shape the Future of Blockchain Skill Qualification and Certification. |
EuroSPI |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Maria-Camilla Fiazza, Paolo Fiorini |
Design for Interpretability: Meeting the Certification Challenge for Surgical Robots. |
ISR |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Guglielmo Frigo |
Design of a High-Accuracy and Traceable Reference Instrument for Flickermeter Certification. |
I2MTC |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Mike Hulshof, Maya Daneva |
Benefits and Challenges in Information Security Certification - A Systematic Literature Review. |
BMSD |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière |
Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. |
SAFECOMP |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Imane Lamrani, Ayan Banerjee 0001, Sandeep K. S. Gupta |
Certification Game for the Safety Analysis of AI-Based CPS. |
SAFECOMP Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Kai Sauerwald, Philip Heltweg |
On Using Model Checking for the Certification of Iterated Belief Changes. |
FCR@KI |
2021 |
DBLP BibTeX RDF |
|
12 | Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska |
Certification of iterative predictions in Bayesian neural networks. |
UAI |
2021 |
DBLP BibTeX RDF |
|
12 | Ji Gao, Amin Karbasi, Mohammad Mahmoody |
Learning and certification under instance-targeted poisoning. |
UAI |
2021 |
DBLP BibTeX RDF |
|
12 | Henrique Santos 0001, André Oliveira, Lúcia Soares, Alan Satis, Alexandre J. T. Santos |
Information Security Assessment and Certification within Supply Chains. |
ARES |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Adam Kurpisz, Aaron Potechin, Elias Samuel Wirth |
SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Arnström, Alberto Bemporad, Daniel Axehill |
Complexity Certification of Proximal-Point Methods for Numerically Stable Quadratic Programming. |
ACC |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Kristine Hovhannisyan, Piotr Bogacki, Consuelo Assunta Colabuono, Domenico Lofù, Maria Vittoria Marabello, Brady Eugene Maxwell |
Towards a Healthcare Cybersecurity Certification Scheme. |
CyberSA |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy 0002, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Ying Chen |
Teaching Reform of Engineering Graphics Course Based on Engineering Certification under Big Data. |
ICISCAE (ACM) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Dafeng Liu, Mian Huang |
Engineering Certification Practice Teaching Management and Data Mining Based on Complex Hierarchical Model. |
ICISCAE (ACM) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad Alshehri, Ahmed Alamri, Alexandra I. Cristea |
Predicting Certification in MOOCs Based on Students' Weekly Activities. |
ITS |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Karine Altisen, Pierre Corbineau, Stéphane Devismes |
Certification of an Exact Worst-Case Self-Stabilization Time. |
ICDCN |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Alexandre Didier, Kim Peter Wabersich, Melanie N. Zeilinger |
Adaptive Model Predictive Safety Certification for Learning-based Control. |
CDC |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Cori Thompson, Todd Margo, Feliciano Yu, Christoph U. Lehmann |
Developing a Pediatric EHR Testing & Certification Program in the USA: Initial Phase. |
MedInfo |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Xian Chen, Feng Hu, Jun Lai, Chunmei Tao, Hyoseop Shin |
Research on Engineering Certification-Oriented Course Design for Software Engineering under the Background of New Engineering. |
ICEIT |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Mohammed A. Alsheri, Ahmed Alamri, Alexandra I. Cristea, Craig D. Stewart |
Forum-based Prediction of Certification in Massive Open Online Courses. |
ISD |
2021 |
DBLP BibTeX RDF |
|
12 | Nicolas Bousquet, Laurent Feuilloley, Théo Pierron |
Brief Announcement: Local Certification of Graph Decompositions and Applications to Minor-Free Classes. |
DISC |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Pinelopi Kyranoud, Eleni-Maria Kalogeraki, Alexandra K. Michota, Nineta Polemi |
Cybersecurity Certification Requirements for Supply Chain Services. |
ISCC |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos 0003, Holger Blasum, Mario Brotz, Rudolf Fuchsen, Guillaume Fumaroli, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Frank Golatowski, Thorsten Schulz |
Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture. |
IECON |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Gary L. Wallace |
The Need for Certification-Based Security Curriculum: A Matter of National Security. |
CSCI |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Anian Ruoss, Maximilian Baader, Mislav Balunovic, Martin T. Vechev |
Efficient Certification of Spatial Robustness. |
AAAI |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Matthias Beckerle, Argyro Chatzopoulou, Simone Fischer-Hübner |
Towards Cybersecurity MOOC Certification. |
EuroS&P Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Sébastien Dupont, Guillaume Ginis, Mirko Malacario, Claudio Porretti, Nicolò Maunero, Christophe Ponsard, Philippe Massonet |
Incremental Common Criteria Certification Processes using DevSecOps Practices. |
EuroS&P Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev |
Fast and precise certification of transformers. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev |
Robustness certification with generative models. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Shohei Kakei, Yoshiaki Shiraishi, Shoichi Saito |
Simplifying Dynamic Public Key Certificate Graph for Certification Path Building in Distributed Public Key Infrastructure. |
ICTC |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Diego F. Aranha, Anders P. K. Dalskov, Daniel Escudero 0001, Claudio Orlandi |
Improved Threshold Signatures, Proactive Secret Sharing, and Input Certification from LSS Isomorphisms. |
LATINCRYPT |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Denis Mazzucato, Caterina Urban |
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. |
SAS |
2021 |
DBLP DOI BibTeX RDF |
|
12 | |
Optimization Design of Teaching Evaluation System Based on B/S Mode in the Context of Normal Majors Certification. |
ICIMTECH |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Hanna Soroka-Potrzebna |
The importance of certification in project management in the labor market. |
KES |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Oksana Buinytska, Svitlana V. Vasylenko |
Modeling of the internal certification system of educational resources view or update. |
CoSinE@ICTERI |
2021 |
DBLP BibTeX RDF |
|
12 | Nicolas Bousquet, Laurent Feuilloley, Théo Pierron |
Local Certification of Graph Decompositions and Applications to Minor-Free Classes. |
OPODIS |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Youna Jung, Tanner Mallari, Emily Hattman |
DRMACert: Certification for Disaster Response Mobile Applications. |
CSSE |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Francesca Fallucchi, Marco Gerardi, Michele Petito, Ernesto William De Luca |
Blockchain Framework in Digital Government for the Certification of Authenticity, Timestamping and Data Property. |
HICSS |
2021 |
DBLP BibTeX RDF |
|
12 | Andrés Heredia, Gabriel Barros-Gavilanes |
Dealing with multi-step verification processes for certification issuance in universities. |
UCC Companion |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Raman Barakat, Faruk Catal, Sascha Hackel, Axel Rennoch, Martin A. Schneider |
Towards a certification scheme for IoT security evaluation. |
GI-Jahrestagung |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Tong Chen 0002, Jean B. Lasserre, Victor Magron, Edouard Pauwels |
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification. |
NeurIPS |
2021 |
DBLP BibTeX RDF |
|
12 | Feng GuanBo, J. I. A. Yue |
Innovation of Software Engineering Course with the Background of Engineering Education Professional Certification. |
ICCSE |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Simon Rohlmann, Vladislav Mladenov, Christian Mainka, Jörg Schwenk |
Breaking the Specification: PDF Certification. |
SP |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Wei Wei, Lin Guo, Yin Zhang, Lina Zhang, Xue Xing, Zhiyuan Pei |
Simulating the spatial distribution of agricultural population based on rural contracted land registration and certification data. |
Agro-Geoinformatics |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Chengqiang Huang, Hu Zheng, Xiaowei Huang 0001, Ke Pei |
Statistical Certification of Acceptable Robustness for Neural Networks. |
ICANN (1) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Luiz Otavio Duarte, José Augusto de Lima Prestes |
IoT solution information security certification conceptual framework: IoT solution information securityOn improving the transparency and accountability of IoT Solutions through an Open World perspective. |
SBSI |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Juanjo Pérez-Sánchez, Joaquín Nicolás Ros, Juan Manuel Carrillo de Gea |
DevOps Certification in IT Industry: Preliminary Findings. |
WorldCIST (4) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Alkhansaa A. Abuhashim, Hassan A. Shafei, Chiu C. Tan 0001 |
Block-VC: A Blockchain-Based Global Vaccination Certification. |
Blockchain |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Omar S. Saleh, Osman Ghazali, Norbik Bashah Idris |
A New Decentralized Certification Verification Privacy Control Protocol. |
CRC |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
Fast Geometric Projections for Local Robustness Certification. |
ICLR |
2021 |
DBLP BibTeX RDF |
|
12 | Anne Henriksen, Simon Enni, Anja Bechmann |
Situated Accountability: Ethical Principles, Certification Standards, and Explanation Methods in Applied AI. |
AIES |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Matt Jordan, Alex Dimakis |
Provable Lipschitz Certification for Generative Models. |
ICML |
2021 |
DBLP BibTeX RDF |
|
12 | Sung Woo Park, Junseok Kwon |
Wasserstein Distributional Normalization For Robust Distributional Certification of Noisy Labeled Data. |
ICML |
2021 |
DBLP BibTeX RDF |
|
12 | Christophe Gabreau, Béatrice Pesquet-Popescu, Fateh Kaakai, Baptiste Lefèvre |
Artificial Intelligence for Future Skies: On-going Standardization Activities to Build the Next Certification/Approval Framework for Airborne and Ground Aeronautic Products. |
AISafety@IJCAI |
2021 |
DBLP BibTeX RDF |
|
12 | Matthew Thorpe, Bao Wang |
Robust Certification for Laplace Learning on Geometric Graphs. |
MSML |
2021 |
DBLP BibTeX RDF |
|
12 | Jorge Maluenda Albornoz, Marcela Varas Contreras, Diego Chacano-Osses, Celia Galve-González |
Implementation of a certification program for the exercise of competent teaching in engineering education. |
SCCC |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Adriana Di Biase |
Student engagement in distance learning environment: the experience of language certification preparation courses during the coronavirus pandemic. |
teleXbe |
2021 |
DBLP BibTeX RDF |
|
12 | Chin-Lun Lai |
A Simulation Learning in Communication Technique Skill by Virtual Reality - Certification of Telecommunication Line Plant. |
ICITL |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Michael Fisher 0001, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith |
Summarising a Framework for the Certification of Reliable Autonomous Systems. (PDF / PS) |
AAMAS |
2021 |
DBLP BibTeX RDF |
|
12 | Jassim Happa, Anthony Steed, Mashhuda Glencross |
Privacy-certification standards for extended-reality devices and services. |
VR Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Alina Fanisovna Domracheva, Gulnara F. Khasanova, Mansur Galikhanov |
Use of VR in Engineers Certification at Hazardous Production Facilities in Petrochemical Industry. |
ICL (2) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Marco Anisetti, Claudio Agostino Ardagna, Filippo Berto, Ernesto Damiani |
Security Certification Scheme for Content-centric Networks. |
SCC |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Pierre-Léo Bégay |
Developing and certifying in Coq/MathComp of Datalog optimizations for network verification. (Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau). |
|
2021 |
RDF |
|
12 | Tanya Amert |
Enabling Real-Time Certification of Autonomous driving Applications. |
|
2021 |
DOI RDF |
|
12 | Daniel Arnström, Alberto Bemporad, Daniel Axehill |
Exact Complexity Certification of a Nonnegative Least-Squares Method for Quadratic Programming. |
IEEE Control. Syst. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang |
Perfectly parallel fairness certification of neural networks. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Dapeng Li 0002, Yingru Li, Quynh C. Nguyen, Laura K. Siebeneck |
A Study on the GIS Professional (GISP) Certification Program in the U.S. |
ISPRS Int. J. Geo Inf. |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Shuai Liu 0006, Yuanning Liu, Xiaodong Zhu 0001, Guang Huo, Jingwei Cui, Qixian Zhang, Zukang Wu, Xinlong Li, Chaoqun Wang |
Heterogeneous iris certification method with universal sensors and safety output based on multisource fusion features and entropy labels of lightweight samples. |
J. Electronic Imaging |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Shuai Liu 0006, Yuanning Liu, Xiaodong Zhu 0001, Guang Huo, Jingwei Cui, Qixian Zhang, Zhiyi Dong, Xue Jiang |
Current optimal active feedback and stealing response mechanism for low-end device constrained defocused iris certification. |
J. Electronic Imaging |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Marco Anisetti, Claudio Agostino Ardagna, Ernesto Damiani, Filippo Gaudenzi |
A Semi-Automatic and Trustworthy Scheme for Continuous Cloud Service Certification. |
IEEE Trans. Serv. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Shohei Kakei, Yoshiaki Shiraishi, Masami Mohri, Toru Nakamura, Masayuki Hashimoto, Shoichi Saito |
Cross-Certification Towards Distributed Authentication Infrastructure: A Case of Hyperledger Fabric. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Giuseppe Sciumè, Emilio J. Palacios-García, Pierluigi Gallo, Eleonora Riva Sanseverino, Juan C. Vasquez 0001, Josep M. Guerrero |
Demand Response Service Certification and Customer Baseline Evaluation Using Blockchain Technology. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Roberto De Prisco, Alfredo De Santis, Pompeo Faruolo, Marco Mannetta |
Design of an outdoor position certification authority. |
Int. J. Embed. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Dennis-Kenji Kipker |
EU Cybersecurity Act und Certification Schemes: ein aktueller Fortschrittsbericht. |
Datenschutz und Datensicherheit |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Dennis-Kenji Kipker |
EU Cybersecurity Act and Certification Schemes: an up-to-date progress report. |
Datenschutz und Datensicherheit |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Milan Randelovic, Slobodan Nedeljkovic, Mihailo Jovanovic, Milan Cabarkapa, Vladica S. Stojanovic, Aleksandar Aleksic, Dragan M. Randelovic |
Use of Determination of the Importance of Criteria in Business-Friendly Certification of Cities as Sustainable Local Economic Development Planning Tool. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Shun Zhang |
Primal-Dual Reduced Basis Methods for Convex Minimization Variational Problems: Robust True Solution a Posteriori Error Certification and Adaptive Greedy Algorithms. |
SIAM J. Sci. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Archana B. Saxena, Meenu Dave |
Certification Attainment - A Gizmo to Evaluate Provider's Trust: Trust Evaluation is Grounded on Provider's Attainment Status Concerning Recommended Certifications. |
Int. J. Nat. Comput. Res. |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Dan Holle |
Certification or Advanced Degrees. |
Big Data |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Nengkun Yu |
Multipartite Entanglement Certification, With or Without Tomography. |
IEEE Trans. Inf. Theory |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Jeet Mohapatra, Ching-Yun Ko, Tsui-Wei Weng, Pin-Yu Chen, Sijia Liu 0001, Luca Daniel |
Higher-Order Certification for Randomized Smoothing. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Huijie Feng, Chunpeng Wu, Guoyang Chen, Weifeng Zhang 0003, Yang Ning |
Regularized Training and Tight Certification for Randomized Smoothed Classifier with Provable Robustness. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Ching-Chia Kao, Jhe-Bang Ko, Chun-Shien Lu |
Deterministic Certification to Adversarial Attacks via Bernstein Polynomial Approximation. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Aaron Potechin, Goutham Rajendran |
Machinery for Proving Sum-of-Squares Lower Bounds on Certification Problems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Thomas Soumarmon |
Ensuring Dataset Quality for Machine Learning Certification. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Laurent Feuilloley, Pierre Fraigniaud, Ivan Rapaport, Eric Rémila, Pedro Montealegre 0001, Ioan Todinca |
Compact Distributed Certification of Planar Graphs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Hassan Ashtiani, Vinayak Pathak, Ruth Urner |
Black-box Certification and Learning under Adversarial Perturbations. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Mike McKerns, Francis J. Alexander, Kyle S. Hickmann, Timothy John Sullivan, Diane E. Vaughan |
Optimal Bounds on Nonlinear Partial Differential Equations in Model Certification, Validation, and Experimental Design. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Stefano Calzavara, Claudio Lucchese, Federico Marcuzzi, Salvatore Orlando 0001 |
Feature Partitioning for Robust Tree Ensembles and their Certification in Adversarial Scenarios. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Matthew Mirman, Timon Gehr, Martin T. Vechev |
Robustness Certification of Generative Models. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Jaroslaw Adam Miszczak |
Variational certification of quantum devices. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
12 | Constantin Catalin Dragan, Mark Manulis |
KYChain: User-Controlled KYC Data Sharing and Certification. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
|
|