Keywords: جایی که; congenital heart defects; neonatal screening; pulse oximetry; perfusion index; CHDs; Congenital heart defects; HLHS; Hypoplastic left heart syndrome; HoL; Hours of life; PI; Perfusion index; POX; Pulse oximetry; sCHD; Severe CHD; SpO2; Oxygen saturation;
مقالات ISI جایی که (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: جایی که; ABM; agent based modeling; ASSAI; average substation service availability index; CI; critical infrastructure; CNT; complex network theory; CPC; common performance condition; CREAM; cognitive reliability error analysis method; CU; communication unit; CV; c
Keywords: جایی که; Reliability analysis; Lifetime analysis; Failure rate; Hazard function; Fractile function; Statistical properties; Random variables; Formal methods; Theorem proving; HOL
Pyrolysis-GC-MS to assess the fungal pretreatment efficiency for wheat straw anaerobic digestion
Keywords: جایی که; 2w; two weeks (pretreatment duration); ANOVA; analysis of variance; BMP; biochemical methane potential; BRF; brown-rot fungi; BRFM; Banque de Ressources Fongiques de Marseille Bank of Fungal Ressources; Ev.; electron volt; GC; gas chromatography; H/L; hol
Randomised testing of a microprocessor model using SMT-solver state generation
Keywords: جایی که; Randomised testing; Microprocessor models; HOL; SMT
Compositionality and correctness of fault tolerant patterns in HOL4
Keywords: جایی که; Redundancy management; Fault tolerance; Behavioural preservation; Theorem proving; HOL
Material Flow Analysis in a cooked mussel processing industry
Keywords: جایی که; BAT; Best Available Technique; DAF; Dissolved Air Flotation; HHV; High Heating Value; HOL; High Organic Load; IF; Improvable Flows; IPPC; Integrated Pollution Prevention and Control; LCA; Life Cycle Assessment; LCT; Life Cycle Thinking; LOL; Low Organic L
Mechanised wire-wise verification of Handel-C synthesis
Keywords: جایی که; Handel-C synthesis; Denotational semantics; Correctness; Mechanical verification; HOL
Formal reliability analysis of combinational circuits using theorem proving
Keywords: جایی که; Formal verification; Higher-order logic; HOL; Probability theory; Reliability analysis; Theorem proving
Error analysis of digital filters using HOL theorem proving
Keywords: جایی که; Error analysis; Digital filters; Theorem proving; Fixed-point; Floating-point; HOL
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
Keywords: جایی که; Logical frameworks; Foundation of mathematics; Automath; Set theory; Higher order logic; Type theory; Category theory; Zermelo–Fraenkel; ZF; ZFC; New foundations; NF; HOL; Isabelle; Calculus of constructions; Martin-Löf type theory; Formalization of mathe