Titlebook: Inductive Logic Programming; 29th International C Dimitar Kazakov,Can Erten Conference proceedings 2020 Springer Nature Switzerland AG 2020

善于騙人

Eyad Algahtani,Dimitar Kazakova weak point concerning safety assurance. An aspect requiring study is how the interactions between machine-learning components and other non-ML components evolve with training of the former. It is theoretically possible that learning by Neural Networks may reduce the effectiveness of error checkers

patriarch

conservative

Abeer Dyoub,Stefania Costantini,Francesca A. Lisi by the normative regulations ISO 26262, its relative ISO/PAS 21448, and their respective methodologies. In recent publications, an emerging demand to combine environmental influences, machine learning, or reasoning under uncertainty with standard-compliant analysis techniques can be noticed. Theref

不來

Insatiable

Yingbing Hua,Bj?rn Heina weak point concerning safety assurance. An aspect requiring study is how the interactions between machine-learning components and other non-ML components evolve with training of the former. It is theoretically possible that learning by Neural Networks may reduce the effectiveness of error checkers

進取心

insecticide

Yin Jun Phua,Katsumi Inoue transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ago were very difficult if not impossible. As they perform these tasks with increasing efficiency, more and more tasks are shifted from hardware to soft

針葉

Hien D. Nguyen,Chiaki Sakama challenging task. Examples of such dependencies across software-stack layers (e.g., between application and middleware layer) are common causes and failure propagation scenarios in which a failure of one software component propagates to another software component through shared services and/or comm

去掉

Jonas Schouterden,Jesse Davis,Hendrik Blockeeltions for data exchange between Computer Systems. AFDX implements extensions on standard Ethernet to achieve a deterministic and fault-tolerant network, which is demonstrated through its frame management design. AFDX, like other emerging time-critical Ethernet-based standards, has potential for use

Condescending