NSTL国家科技图书文献中心

1. Formal Validation and ERTMS Simulation NSTL国家科技图书文献中心

Thierry Lecomte - 《Leveraging Applications of Formal Methods,Verification and Validation,Part V.Application Areas》 - International Symposium on Leveraging Applications of Formal Methods,Verification and Validation - 2025, - 142～158 - 共17页

摘要： presents some of the formal verification and validation | ERTMS aims to facilitate train traffic in | Europe by providing a single, interoperable framework | . ERTMS represents a set of several thousand pages of | specification, covering both high-level and (very) low-level

关键词： ERTMS | Safety | Formal methods

2. Validation Without Rules: A Data Integration Case Study NSTL国家科技图书文献中心

Stefan Dzalev | Goran Velinov - 《Database Engineered Applications》 - International Symposium on Database Engineered Applications - 2025, - 281～294 - 共14页

摘要：. Data validity is a collection of validation* rules* | applied to the dataset's attributes. The validation | the data validation* checks. In practice domain* | validation rules. The framework comprises statistical and | validation time to data integration execution time is low

关键词： Data validation | Data integration | Outlier detection | Low code

3. An Iterative Formal Model-Driven Approach to Railway Systems Validation NSTL国家科技图书文献中心

Asfand Yar | Akram Idani ... - 《Engineering of Complex Computer Systems》 - International Conference on Engineering of Complex Computer Systems - 2025, - 272～289 - 共18页

摘要： not investigate the validation* problem. To deal with* | European Rail Traffic Management System (ERTMS | ) is a standard for the train control and signalling | system whose application is spreading throughout Europe | . The ETCS (European Train Control System) level 3 is

关键词： Domain-specific languages | B method | Validation | Refinement | ERTMS/ETCS

4. CNES Autonomous Navigation Solution for ExoMars Rover: Validation Approach and Results NSTL国家科技图书文献中心

Michel Delpech | Irene Valenzuela - 《Space Operations》 - International Conference on Space Operations - 2025, - 339～371 - 共33页

摘要： validation for both solutions is achieved and the | validation by the prime contractor Thales Alenia Space (TAS | focuses on the validation* approach adopted to fulfil the* | The objective of ExoMars mission (ESA) is to | land and operate on Mars the Rosalind rover to search

关键词： Planetary exploration | Rover autonomy | Validation

5. FedSV: A Privacy-Preserving Byzantine-Robust Federated Learning Scheme with Self-validation NSTL国家科技图书文献中心

Wenhao Jiang | Shaojing Fu ... - 《Algorithms and Architectures for Parallel Processing,Part I》 - International Conference on Algorithms and Architectures for Parallel Processing - 2025, - 242～260 - 共19页

摘要： aggregation based on validation* datasets involves using* | schemes based on validation* datasets require clients to* | aggregation scheme that uses validation* datasets, allowing* | algorithms that use validation* datasets. Specifically, We* | algorithm to split user groups based on the validation

关键词： Federated learning | Byzantine robustness | Privacy protection | Validation datasets

6. Calibration and Validation of NOAA-21: Processes, Outcomes, and Lessons Learned NSTL国家科技图书文献中心

Lihang Zhou - 《Earth Observing Missions and Sensors: Development,Implementation,and Characterization VI》 - Earth Observing Missions and Sensors: Development,Implementation,and Characterization (conference) - 2025, - 1326703.1～1326703.4 - 共4页

摘要： requires rigorous calibration and validation* (Cal/Val* | NOAA-21 is the NOAA primary operational polar | satellite in the Joint Polar Satellite System (JPSS | ), plays a crucial role in global environmental | monitoring by providing critical data for weather

关键词： LEO | JPSS | NOAA-21 | NOAA-20 | SNPP | Calibration/Validation

7. White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining NSTL国家科技图书文献中心

Roberto Casaluce | Max Tschaikowski ... - 《Leveraging Applications of Formal Methods, Verification and Validation,Part I.Practice》 - International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - 2025, - 204～222 - 共19页

摘要： particular process mining, to ease the validation* and* | Modeling and analyzing collective adaptive | systems with heterogeneous components poses challenges | to language designers, software engineers, and | computer scientists interested in the formal verification

关键词： SCEL | Statistical model checking | Process mining

8. Enabling Efficient and Semantic-Aware Constraint Validation in Knowledge Graphs NSTL国家科技图书文献中心

Jin Ke - 《The Semantic Web: ESWC 2024 Satellite Events,Part II》 - European Semantic Web Conference - 2025, - 104～114 - 共11页

摘要： structure compliance. However, a SHACL validation* that* | . Semantic-aware SHACL validation* addresses this by* | enabling thorough and accurate data validation. Current | validation often face efficiency challenges due to the | -aware SHACL validation, presenting the problem

关键词： SHACL | RDF | Data quality | Reasoning | Constraints

9. Non-symmetrical Confidence Interval of AUC Measure Based on Cross-Validation NSTL国家科技图书文献中心

Yu Wang | Xiaoyan Zhao ... - 《Pattern Recognition,Part IX》 - International Conference on Pattern Recognition - 2025, - 439～454 - 共16页

摘要： of AUC measure based on K-fold cross-validation* is* | In pattern recognition research, model | (algorithm) performance measure is a very important | research direction, because the performance measure index | has been used to evaluate the model performance

关键词： Confidence interval | AUC measure | Cross-validation | Degrees of confidence | Interval length

10. FaVEL: Fact Validation Ensemble Learning NSTL国家科技图书文献中心

Umair Qudus | Franck Lionel Tatkeu...... - 《Knowledge Engineering and Knowledge Management》 - International Conference on Knowledge Engineering and Knowledge Management - 2025, - 209～225 - 共17页

摘要：Validating assertions before adding them to a | knowledge graph is an essential part of its creation and | maintenance. Due to the sheer size of knowledge graphs | , automatic fact-checking approaches have been developed | . These approaches rely on reference knowledge to decide

摘要： presents some of the formal verification and validation | ERTMS aims to facilitate train traffic in | Europe by providing a single, interoperable framework | . ERTMS represents a set of several thousand pages of | specification, covering both high-level and (very) low-level

关键词： ERTMS | Safety | Formal methods

摘要：. Data validity is a collection of validation* rules* | applied to the dataset's attributes. The validation | the data validation* checks. In practice domain* | validation rules. The framework comprises statistical and | validation time to data integration execution time is low

关键词： Data validation | Data integration | Outlier detection | Low code

摘要： not investigate the validation* problem. To deal with* | European Rail Traffic Management System (ERTMS | ) is a standard for the train control and signalling | system whose application is spreading throughout Europe | . The ETCS (European Train Control System) level 3 is

关键词： Domain-specific languages | B method | Validation | Refinement | ERTMS/ETCS

摘要： validation for both solutions is achieved and the | validation by the prime contractor Thales Alenia Space (TAS | focuses on the validation* approach adopted to fulfil the* | The objective of ExoMars mission (ESA) is to | land and operate on Mars the Rosalind rover to search

关键词： Planetary exploration | Rover autonomy | Validation

关键词： Federated learning | Byzantine robustness | Privacy protection | Validation datasets

摘要： requires rigorous calibration and validation* (Cal/Val* | NOAA-21 is the NOAA primary operational polar | satellite in the Joint Polar Satellite System (JPSS | ), plays a crucial role in global environmental | monitoring by providing critical data for weather

关键词： LEO | JPSS | NOAA-21 | NOAA-20 | SNPP | Calibration/Validation

摘要： particular process mining, to ease the validation* and* | Modeling and analyzing collective adaptive | systems with heterogeneous components poses challenges | to language designers, software engineers, and | computer scientists interested in the formal verification

关键词： SCEL | Statistical model checking | Process mining

摘要： structure compliance. However, a SHACL validation* that* | . Semantic-aware SHACL validation* addresses this by* | enabling thorough and accurate data validation. Current | validation often face efficiency challenges due to the | -aware SHACL validation, presenting the problem

关键词： SHACL | RDF | Data quality | Reasoning | Constraints

摘要： of AUC measure based on K-fold cross-validation* is* | In pattern recognition research, model | (algorithm) performance measure is a very important | research direction, because the performance measure index | has been used to evaluate the model performance

关键词： Confidence interval | AUC measure | Cross-validation | Degrees of confidence | Interval length

摘要：Validating assertions before adding them to a | knowledge graph is an essential part of its creation and | maintenance. Due to the sheer size of knowledge graphs | , automatic fact-checking approaches have been developed | . These approaches rely on reference knowledge to decide

关键词： Fact checking | Ensemble learning | Transfer learning | Knowledge management

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： presents some of the formal verification and validation | ERTMS aims to facilitate train traffic in | Europe by providing a single, interoperable framework | . ERTMS represents a set of several thousand pages of | specification, covering both high-level and (very) low-level

关键词： ERTMS | Safety | Formal methods

摘要：. Data validity is a collection of validation rules | applied to the dataset's attributes. The validation | the data validation checks. In practice domain | validation rules. The framework comprises statistical and | validation time to data integration execution time is low

关键词： Data validation | Data integration | Outlier detection | Low code

摘要： not investigate the validation problem. To deal with | European Rail Traffic Management System (ERTMS | ) is a standard for the train control and signalling | system whose application is spreading throughout Europe | . The ETCS (European Train Control System) level 3 is

关键词： Domain-specific languages | B method | Validation | Refinement | ERTMS/ETCS

摘要： validation for both solutions is achieved and the | validation by the prime contractor Thales Alenia Space (TAS | focuses on the validation approach adopted to fulfil the | The objective of ExoMars mission (ESA) is to | land and operate on Mars the Rosalind rover to search

关键词： Planetary exploration | Rover autonomy | Validation

关键词： Federated learning | Byzantine robustness | Privacy protection | Validation datasets

摘要： requires rigorous calibration and validation (Cal/Val | NOAA-21 is the NOAA primary operational polar | satellite in the Joint Polar Satellite System (JPSS | ), plays a crucial role in global environmental | monitoring by providing critical data for weather

关键词： LEO | JPSS | NOAA-21 | NOAA-20 | SNPP | Calibration/Validation

摘要： particular process mining, to ease the validation and | Modeling and analyzing collective adaptive | systems with heterogeneous components poses challenges | to language designers, software engineers, and | computer scientists interested in the formal verification

关键词： SCEL | Statistical model checking | Process mining

摘要： structure compliance. However, a SHACL validation that | . Semantic-aware SHACL validation addresses this by | enabling thorough and accurate data validation. Current | validation often face efficiency challenges due to the | -aware SHACL validation, presenting the problem

关键词： SHACL | RDF | Data quality | Reasoning | Constraints

摘要： of AUC measure based on K-fold cross-validation is | In pattern recognition research, model | (algorithm) performance measure is a very important | research direction, because the performance measure index | has been used to evaluate the model performance

关键词： Confidence interval | AUC measure | Cross-validation | Degrees of confidence | Interval length

摘要：Validating assertions before adding them to a | knowledge graph is an essential part of its creation and | maintenance. Due to the sheer size of knowledge graphs | , automatic fact-checking approaches have been developed | . These approaches rely on reference knowledge to decide

关键词： Fact checking | Ensemble learning | Transfer learning | Knowledge management

4008-161-200 800-990-8900

国家科技图书文献中心

摘要：. Data validity is a collection of validation* rules* | applied to the dataset's attributes. The validation | the data validation* checks. In practice domain* | validation rules. The framework comprises statistical and | validation time to data integration execution time is low

摘要： not investigate the validation* problem. To deal with* | European Rail Traffic Management System (ERTMS | ) is a standard for the train control and signalling | system whose application is spreading throughout Europe | . The ETCS (European Train Control System) level 3 is

摘要： validation for both solutions is achieved and the | validation by the prime contractor Thales Alenia Space (TAS | focuses on the validation* approach adopted to fulfil the* | The objective of ExoMars mission (ESA) is to | land and operate on Mars the Rosalind rover to search

摘要： requires rigorous calibration and validation* (Cal/Val* | NOAA-21 is the NOAA primary operational polar | satellite in the Joint Polar Satellite System (JPSS | ), plays a crucial role in global environmental | monitoring by providing critical data for weather

摘要： particular process mining, to ease the validation* and* | Modeling and analyzing collective adaptive | systems with heterogeneous components poses challenges | to language designers, software engineers, and | computer scientists interested in the formal verification

摘要： structure compliance. However, a SHACL validation* that* | . Semantic-aware SHACL validation* addresses this by* | enabling thorough and accurate data validation. Current | validation often face efficiency challenges due to the | -aware SHACL validation, presenting the problem

摘要： of AUC measure based on K-fold cross-validation* is* | In pattern recognition research, model | (algorithm) performance measure is a very important | research direction, because the performance measure index | has been used to evaluate the model performance