Results 41 to 50 of about 29,773 (302)
IACR Cryptol. ePrint Arch., 2023 ISBN:978-3-95977-263 ...
Baig, Mirza Ahad +5 more
openaire +5 more sources
Research on Modeling and Analysis Technology of General Quality Characteristics Based on MBSE
Hangkong gongcheng jinzhan, 2021 The reliability,safety and testability analysis of aviation equipment has a lot of repetitive work in engineering application,such as repeated failure mode and effect analysis(FMEA).However,traditional FMEA has many management and technical problems,and ...
LIJiao, AO Liang, REN Wenming
doaj +1 more source
Static Analysis of Functional Programs [PDF]
, 1994 In this paper, the static analysis of programs in the functional programming language Miranda* is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of callgraphs ...
Berg, K.G. van den, Broek, P.M. van den
core +4 more sources
Indian Journal of Ophthalmology, 2014 Context: The provision of ocular surgical interventions for poorer, less educated populations is increasing as a result of increased globalization and outreach.
Abraar Karan +4 more
doaj +1 more source
Intelligent Design: Describing and Criticizing Elliott Sober’s View Point [PDF]
پژوهشنامه فلسفه دین, 2016 Intelligent Design (ID) is an attempt to defend the idea that the order of nature bears marks of its Creator. This image of the concept has a historical root in ancient Greek philosophy.
Roozbeh Zare, Farah Ramin
doaj +1 more source
Mixed-Signal Testability Analysis for Data-Converter IPs [PDF]
, 2005 In this paper, a new procedure to derive testability measures is presented. Digital testability can be calculated by means of probability, while in analog it is possible to calculate testability using impedance values. Although attempts have been made to
Kerkhoff, Hans G., Kraats, Araldo van de
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
Indian Journal of Ophthalmology, 2014 Purpose: To compare the outcome of Collagen cross-linking (CXL) with that following topography-guided customized ablation treatment (T-CAT) with simultaneous CXL in eyes with progressive keratoconus.
Prema Padmanabhan +4 more
doaj +1 more source
Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results [PDF]
, 1996 Testability is defined as the probability that a program will fail a test, conditional on the program containing some fault. In this paper, we show that statements about the testability of a program can be more simply described in terms of assumptions on
A Bertolino +14 more
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie +4 more
wiley +1 more source