Search Results - NBDL~

Good Governance Strategy in Maintaining the National Interest of State Defense: A Study in the North Natuna Sea Region by Theo L Sambuaga Sambuaga, Amarulla Octavian, Asep Adang Supriyadi, I. Gede Sumertha

Connect to this object online.

Alisol A-24-acetate promotes glucose uptake via activation of AMPK in C2C12 myotubes by Jia-xiang Chen, Hai-yan Li, Tian-tian Li, Wen-cheng Fu, Xin Du, Chun-hui Liu, Wen Zhang

Connect to this object online.

RNA-binding protein GIGYF2 orchestrates hepatic insulin resistance through STAU1/PTEN-mediated disruption of the PI3K/AKT signaling cascade by Ziwei Lv, Yuanyuan Ren, Yang Li, Fanglin Niu, Zhuozhuo Li, Man Li, Xiaofang Li, Qinhua Li, Deqing Huang, Yi Yu, Yuyan Xiong, Lu Qian

Connect to this object online.

Understanding Energy Innovation Learning from Smart Grid Experiments / by Lovell, Heather

Table of Contents: “…Chapter One - Introduction -- Chapter Two - Networks -- Chapter Three - Nodes -- Chapter Four - Narratives -- Chapter Five - Nostalgia -- Chapter Six - Conclusions.…”
Link to Metadata

Water Quality Engineering and Wastewater Treatment

DOAB: download the publication
DOAB: description of the publication

Identification of substandard drug products using electronic tongue: cefdinir suspension as a pilot example by Abu-Khalaf N, Zaid AN, Jaradat N, Alkilany AM, Abulateefeh SR, Al Ramahi R, Ghanem M

Connect to this object online.

Why Syphilis Infection is High Among Pregnant Women in Refugee Camps? A Case in Ethiopia by Tadesse A, Geda A

Connect to this object online.

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata

Shipping and Globalization in the Post-War Era Contexts, Companies, Connections /

Table of Contents: “…Shipping and globalization in the post-war era: Contexts, companies, connections- Niels P. Petersson, Stig Tenold and Nicholas J. White -- Part I: Contexts -- 2. …”
Link to Metadata

Assessment of the usability of a digital learning technology prototype for monitoring intracranial pressure by Lilian Regina de Carvalho, Yolanda Dora Martinez Évora, Silvia Helena Zem-Mascarenhas

Connect to this object online.

A Newborn with Arhinia: Suspected BAM Syndrome by Coşkun Armağan, Tuğba Üçüncü Egeli, Can Akyıldız, Kadri Murat Erdoğan, Funda Erdoğan, Nuray Duman, Hasan Özkan

Connect to this object online.

Ranciere'owska interpretacja pracy własnej w warszawskim niepublicznym liceum: emancypacja jako de-instrumentalizacja by Anna Blumsztajn

Connect to this object online.

SEPTOPLASTIC IN CHILDREN by T.A. Polunina, M.M. Polunin

Connect to this object online.

Considering the Role of the Teacher: Buber, Freire and Gur-Ze'ev by Alexandre Guilherme, John Morgan

Connect to this object online.

Diazoksit Yanıtsız Hiperinsülinemik Hipoglisemili Bir Olguda Tedavi ve İzlem by Damla Gökşen, Nurhan Murat, Özge Altun Köroğlu, Burçe Emine Yaşar, Samim Özen, Sanem Yılmaz, Mehmet Yalaz, Nilgün Kültürsay, Yeşim Ertan, Ahmet Çelik, Şükran Darcan

Connect to this object online.

Could Ergonomics of Portable Oxygen Cylinders Prevent Wastage? Comparison of Two Delivery Devices by Bodier-Montagutelli Elsa, Maréchal Antonin, Porcher Richard, Remérand Francis, Respaud Renaud

Connect to this object online.

Гендерний складник змісту шкільних підручників з української літератури як умова формування егалітарної свідомості особистості... by Леся Басюк

Connect to this object online.

Primary Hyperparathyroidism Due to Parathyroid Adenoma: Clinical Case by A. E. Shklyaev, A. M. Khisamutdinova, A. G. Bessonov, O. V. Muravtseva, A. V. Kobelev, S. N. Styazhkina

Connect to this object online.

A Work In Progress: Investigating the identity of the artist teacher/ freelance artist tutor and its implications for learning throughout the life course. by Jessica Singer

Connect to this object online.

A socio-linguistic theory of closing the gap in Scottish schools by Ian Williams

Connect to this object online.