Search Results - "inference"

An Insight Into the Molecular Mechanism of Berberine Towards Multiple Cancer Types Through Systems Pharmacology by Pengfei Guo, Pengfei Guo, Chuipu Cai, Chuipu Cai, Xiaoqin Wu, Xiude Fan, Wei Huang, Jingwei Zhou, Qihui Wu, Yujie Huang, Wei Zhao, Fengxue Zhang, Qi Wang, Qi Wang, Yongbin Zhang, Jiansong Fang, Jiansong Fang, Jiansong Fang

Connect to this object online.

Analisis Berpikir Kritis Siswa dalam Pemecahan Masalah Aljabar Ditinjau dari Gaya Belajar Visual by Agustina Agustina, Nizlel Huda, Maison Maison

Connect to this object online.

Statistical analysis of regional variation and factors associated with birth weight of babies in Ethiopia: Multilevel ordinal logistic regression by Gurmessa Nugussu, Jaleta Abdisa, Dechasa Bedada

Connect to this object online.

Research trends in microarray data analysis: modelling gene regulatory network by integrating transcription factors data / Farzana Kabir Ahmad and Siti Sakira Kamaruddin by Kabir Ahmad, Farzana, Kamaruddin, Siti Sakira

Link Metadata

Fuzzy-PID Position Control of a Three Fingered Robot Hand for Grasping Varying Loads / Norshariza Mohd Salleh ...[et al.] by Mohd Salleh, Norshariza, Ahmad Shauri, Ruhizan Liza, Nasir, Khairunnisa, Remeli, Nurul Hanani

Link Metadata

Pengaruh Keaktifan Berorganisasi Siswa Di Sekolah Terhadap Motivasi Belajar Siswa Kelas X Dan Xi Sekolah Menengah Atas Negeri 1 Kartasura Tahun Ajaran 2015/2016 by Iskandar, Resya, , Drs. Djumali, M.Pd

Connect to this object online

IMPLEMENTASI SISTEM PENDUKUNG KEPUTUSAN PENILAIAN KINERJA PEGAWAI NEGERI SIPIL DENGAN MODEL FUZZY MULTI ATRIBUTE DECISION MAKING by ARTI, Tiara Fitriani

Link Metadata

PENERAPAN PENDEKATAN REALISTIC MATHEMATICS EDUCATION UNTUK MENINGKATKAN PEMAHAMAN KONSEP MATEMATIS SISWA KELAS IV SEKOLAH DASAR by Nur Anisa, -

Link Metadata

ENHANCING STUDENTS' CRITICAL THINKING THROUGH NASA SCIENCE AS INTERACTIVE MULTIMEDIA IN LEARNING SOLAR SYSTEM by Nurul Azizah Al Mar' Ati, -

Link Metadata

PROFILING JUNIOR HIGH SCHOOL STUDENT'S CRITICAL-THINKING SKILL ON LEARNING SPEED IN CAMBRIDGE CURRICULUM by Diana Ayu Latifah, -

Link Metadata

PENGARUH PELATIHAN, PENGAWASAN, DAN DISIPLIN KERJA : Terhadap Kinerja Karyawan PT Bank DKI Cabang Permata Hijau Jakarta Selatan by Faura Zillah,

Link Metadata

PENERAPAN DIAGRAM VEE DALAM PEMBELAJARAN BERBASIS MASALAH UNTUK MENINGKATKAN KEMAMPUAN BERPIKIR KRITIS DAN METAKOGNISI PADA MATERI SISTEM RESPIRASI by Laelasari, Iseu

Link Metadata

EFEKTIVITAS PENERAPAN MODEL PEMBELAJARAN SEARCH, SOLVE, CREATE, AND SHARE (SSCS) TERHADAP PENINGKATAN KEMAMPUAN BERPIKIR KRITIS SISWA by Yuliarini, Seni

Link Metadata

IMPLEMENTASI KURIKULUM MERDEKA MENGGUNAKAN CITIZEN SCIENCE PROJECT WEATHER-IT UNTUK MENINGKATKAN KETERAMPILAN BERPIKIR KRITIS DAN SIKAP ILMIAH SISWA SMP DALAM PEMBELAJARAN IPA by St E Sururiyatul Mu'aziyah, -

Link Metadata

The Fundamentals of People Analytics With Applications in R / by Starbuck, Craig

Table of Contents: “…Descriptive Statistics -- 8. Statistical Inference -- 9. Analysis of Differences -- 10. Linear Regression -- 11. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Data Science for Wind Energy by Ding, Yu

DOAB: download the publication
DOAB: description of the publication

Mobile Ad Hoc Networks Current Status and Future Trends by Loo, Jonathan

DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication

Nanocomposites of Polymers and Inorganic Nanoparticles

DOAB: download the publication
DOAB: description of the publication

Entropy-Based Applications in Economics, Finance, and Management

DOAB: download the publication
DOAB: description of the publication