Search
Search Results
-
Virtual Validation for Certification of Railway Vehicle Braking Performance
Railway vehicles have to undergo extensive authorization tests before they are put into service. This is especially true for railway vehicle brake...
-
Map** collaboration in international coffee certification research
This article aims to map scientific production and cooperation networks on the theme of certified coffee in the Scopus and Web of Science databases...
-
Predicting Certification in MOOCs Based on Students’ Weekly Activities
Massive Open Online Courses (MOOCs) have been growing rapidly, offering low-cost knowledge for both learners and content providers. However,...
-
Research on Effective Teaching Based on the BOPPPS Model Under the Background of Engineering Education Professional Certification
According to the general requirement of the engineering education professional certification and aiming at the problem of how to develop...
-
Designing to FIPS-140 A Guide for Engineers and Programmers
This book provides detailed and practical information for practitioners to understand why they should choose certification. It covers the pros and...
-
Certification of Model Robustness in Active Class Selection
Active class selection provides machine learning practitioners with the freedom to actively choose the class proportions of their training data....
-
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite...
-
Challenges in Certification of ISO/IEC 15504 Level 2 for Software for Railway Control and Protection Systems
ASELSAN-UGES (Transportation, Security, Energy Automation and Healthcare Business Sector) design, develop and manufacture the systems and critical...
-
Towards a framework for certification of reliable autonomous systems
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control....
-
The Future of Agile Coaches: Do Large Companies Need a Standardized Agile Coach Certification and What Are the Alternatives?
Agility has become a necessary mindset for companies facing new challenges, and the role of the agile coach is becoming increasingly important in the...
-
Robustness verification of k-nearest neighbors by abstract interpretation
We study the certification of stability properties, such as robustness and individual fairness, of the k -nearest neighbor algorithm ( k NN). Our...
-
An Empirical Study into Ransomware Campaigns Against the Education Sector and Adopting the Cybersecurity Maturity Model Certification Framework
The global pandemic forced many education establishments around the world to move to remotely learning. Criminals, have taken this opportunity to...
-
Certification as a Service
The development of industry 4.0 and smart energy IT-Components relies on highly standardized communication protocols to reach vendor-independent...
-
Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution
Approximating while compressing lookup tables (LUT) with a set of neural networks (NN) is an emerging trend in safety critical systems, such as...
-
Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version)
The use of domain-specific modeling (DSM) in safety-critical avionics is rare, even though the ever-increasing complexity of avionics systems makes...
-
Microsoft Power BI Data Analyst Certification Companion Preparation for Exam PL-300
Use this book to study for the PL-300 Microsoft Power BI Data Analyst exam. The book follows the “Skills Measured” outline provided by Microsoft to...
-
Clinical Informatics Subspecialty Certification and Training
In this chapter, we discuss the history of clinical informatics and the development of the Clinical Informatics subspecialty including the...
-
Certifying Accuracy, Privacy, and Robustness of ML-Based Malware Detection
Recent advances in artificial intelligence (AI) are radically changing how systems and applications are designed and developed. In this context, new...
-
Develo** Solutions for Microsoft Azure Certification Companion Hands-on Preparation and Practice for Exam AZ-204
Improve your odds of passing one of the most highly sought-after exams for developers working with Microsoft’s cloud platform: Exam AZ-204: Develo**...
-
Patterns for Certification Standards
One of the absolute preconditions for a safety-critical system to enter the market is to be issued a certificate by the regulating authorities. To...