Results 21 to 30 of about 352,832 (233)

Research on component design strategy and anti-oxidation performance of high entropy carbide ultrahigh temperature ceramics [PDF]

AIP Advances
This article focuses on the bottleneck problem of antioxidant performance of high entropy carbide ultrahigh temperature ceramics in extreme environmental applications.
Han Lin, Yu Yang, Lingqing Zhao, Ye Chen
doaj   +1 more source

Consistency and stability of risk indicators: The case of road infrastructures [PDF]

, 2018
Over the last decade, the World Road Association – PIARC and several European research projects, among which Ecoroads, have encouraged a promising reflection on risk analysis methods, acceptance criteria and safety practices applied to the road system ...
Di Mascio, Paola, Lombardi, Mara, Rossi, Giuliano   +2 more
core   +1 more source

Feasibility study of a novel hash algorithm-based neutron activation analysis system for arms control treaty verification

Nuclear Engineering and Technology
Information on isotopic composition and geometric structure is necessary for identifying a true warhead. Nevertheless, such classified information should be protected physically or electronically.
Xiao-Suo He, Yao-Dong Dai, Xiao-Tao He, Qing-Hua He   +3 more
doaj   +1 more source

Retrenching the Purse: Finite Exception Logs, and Validating the Small

, 2006
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification.
Banach, Richard, Jeske, Czeslaw, Poppleton, Michael, Stepney, Susan   +3 more
core   +3 more sources

Integrating model checking with HiP-HOPS in model-based safety analysis [PDF]

, 2014
The ability to perform an effective and robust safety analysis on the design of modern safety–critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by ...
Papadopoulos, Yiannis, Sharvia, Septavera   +1 more
core   +1 more source

Reliability Thermal Design, Simulation and Experimental Verification of Electronic Monitoring Unit for Magnetic Resonance System

Zhongguo yiliao qixie zazhi
The monitoring unit used in the nuclear magnetic resonance system, as an important unit of the system, faces a high thermal risk during its entire life cycle.
Tingwei LIU, Cunli ZHANG, Yahong WANG, Huaiyu Dong, Yuehan JIN   +4 more
doaj   +1 more source

On the tailoring of CAST-32A certification guidance to real COTS multicore architectures [PDF]

, 2017
The use of Commercial Off-The-Shelf (COTS) multicores in real-time industry is on the rise due to multicores' potential performance increase and energy reduction.
Abella Ferrer, Jaume, Agirre, Irune, Azkarate-Askasua, Mikel, Cazorla, Francisco J.   +3 more
core   +1 more source

Assurance Benefits of ISO 26262 compliant Microcontrollers for safety-critical Avionics

, 2018
The usage of complex Microcontroller Units (MCUs) in avionic systems constitutes a challenge in assuring their safety. They are not developed according to the development requirements accepted by the aerospace industry.
Forsberg, Håkan, Schwierz, Andreas
core   +1 more source

Parent‐to‐Child Information Disclosure in Pediatric Oncology

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Despite professional consensus regarding the importance of open communication with pediatric cancer patients about their disease, actual practice patterns of disclosure are understudied. Extant literature suggests a significant proportion of children are not told about their diagnosis/prognosis, which is purported to negatively ...
Rachel A. Kentor, Flora Hoodin, Michelle Byrd, Kristin A. Kullgren, Leah LaLonde, Lauren Benkoske, Patrick Smith, Dawn Carson, Karen MacDonald, Susumu Inoue, Brenda Kitchen, Kate Gowans, Gregory A. Yanik   +12 more
wiley   +1 more source

Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model [PDF]

, 2001
Compensation plays an important role in advanced transaction models, cooperative work and workflow systems. A schema designer is typically required to supply for each transaction another transaction to semantically undo the effects of .
Ammann, Benedikt, Benzaken, Boulton, Cattell, Chen, Chkliaev, Delobel, Doherty, Doherty, Doherty, Elmagarmid, Eswaran, Even, Even, Herlihy, Ibarra, Jacobs, Klas, Klingemann, Korth, Lynch, Martin, Nipkow, Owre, Paulson, Paulson, Qian, Rusinkiewicz, Sheard, Spelt, Spelt, Spelt, Spivey, Veijalainen, Weihl, Weihl, Weikum, Wäsch, Özsu   +39 more
core   +7 more sources