Search Results - "symbol"

HUBUNGAN ANTARA LEMAK VISERAL DAN FUNGSI KOGNITIF PADA MAHASISWA FAKULTAS KEDOKTERAN UPN "VETERAN" JAKARTA by Anisa Novita Budiman,

Link Metadata

HUBUNGAN ANTARA MASSA OTOT DAN FUNGSI KOGNITIF PADA MAHASISWA KEDOKTERAN by Alifianisa Fazriani,

Link Metadata

REPRESENTASI SOSOK AUTISM SPECTRUM DISORDER PADA DRAMA KOREA EXTRAORDINARY ATTORNEY WOO by Aulia Nurhidayah,

Link Metadata

Aktivitas antibakteri flavonoid propolis Trigona sp terhadap bakteri Streptococcus mutans (in vitro) (In vitro antibacterial activity of flavonoids Trigona sp propolis against Stre... by Ardo Sabir

Connect to this object online.

Cuantificación de plomo, cadmio y cromo mediante sialoquímica Quantification of lead, cadmium and chromium through sialochemistry by MIREYA GONZÁLEZ, JOSÉ ANTONIO BANDERAS, CLAUDIA RAYA, ARMANDO BÁEZ, RAÚL BELMONT

Connect to this object online.

REPRESENTASI BENTUK BIAS GENDER TERHADAP WANITA DALAM PERIBAHASA KOREA (KAJIAN SEMIOTIKA) by Aziza Nurul Hudayah Qur aini, -

Link Metadata

PENGUATAN NILAI KARAKTER BANGSA MELALUI PERTUNJUKAN WAYANG GOLEK PURWA VERSI DALANG TRAH A. SUNARYA by Sabunga, Barnas

Link Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Linear Algebra Done Right by Axler, Sheldon

Table of Contents: “…Trace and Determinant-Photo Credits-Symbol Index-Index.…”
Link to Metadata

Chapter Japanese shōjin ryōri: the green competition from Buddhist temples to TV shows by GHIDINI, Chiara

DOAB: download the publication
DOAB: description of the publication

Intoxicación aguda por plaguicidas Acute poisoning from pesticides by Jaime Jesús Durán-Nah, Julián Collí-Quintal

Connect to this object online.

Cognitive symptoms associated with antipsychotic course experience in residual schizophrenia by D. Safonov

Connect to this object online.

Landscape and its Functions in the Stories of "Christmas Tree" by Mykhailo Kotsiubynskyi and "Pine Tree" by Olena Pchilka by Nataliia Vivcharyk

Connect to this object online.

Haplotype-based, case-control study of myosin phosphatase target subunit 1 (PPP1R12A) gene and hypertensive disorders of pregnancy by Ai Kono, Kaori Shinya, Tomohiro Nakayama, Elisa Shikata, Tatsuo Yamamoto, Kei Kawana

Connect to this object online.

Differential gene expression profile evaluation between uterine leiomyoma and leiomyosarcoma using a machine learning approach by Sonal Upadhyay, Ravi Bhushan, Anima Tripathi, Lavina Chaubey, Amita Diwakar, Pawan K. Dubey

Connect to this object online.

Multisymbol Time Division Coding for High-Frequency Steady-State Visual Evoked Potential-Based Brain-Computer Interface by Xiaochen Ye, Chen Yang, Yonghao Chen, Yijun Wang, Xiaorong Gao, Hongxin Zhang

Connect to this object online.

Association between healthy eating index-2015 and various cognitive domains in US adults aged 60 years or older: the National Health and Nutrition Examination Survey (NHANES) 2011-... by Yameng Fan, Yinyin Zhang, Jiaqiao Li, Yamei Liu, Huan Chang, Yude Jiang, Xingxia Tuo, Long Zhou, Yan Yu

Connect to this object online.

The FH mutation database: an online database of fumarate hydratase mutations involved in the MCUL (HLRCC) tumor syndrome and congenital fumarase deficiency by Tomlinson Ian PM, Launonen Virpi, Bayley Jean-Pierre

Connect to this object online.

RAGBY-HISTORICKO SPOLEČENSKÝ VÝVOJ HRY U NÁS A V ZAHRANIČÍ [RUGBY- SOCIO HISTORICAL DESCRIPTION OF THE GAME ABROAD AND IN THE CZECH REPUBLIC] by Šárka Vašíčková

Connect to this object online.

Minimal Hepatic Encephalopathy in Patients with Alcohol Related and Non-alcoholic Steatohepatitis Related Cirrhosis by Psychometric Hepatic Cephalopathy Score and Critical Flicker... by Nitin Jagtap, Pintu Bhakhar, Muhammad Miftahussurur, Yashavanth H S, Pankaj Shrimal, Mithun Sharma, Rajesh Gupta, P N Rao, D Nageshwar Reddy

Connect to this object online.